Home » Archimedes archive » Archimedes World » AW-1992-03.adf » AWMar92 » !AWMar92/Goodies/ArcAut/Info/Table1

!AWMar92/Goodies/ArcAut/Info/Table1

This website contains an archive of files for the Acorn Electron, BBC Micro, Acorn Archimedes, Commodore 16 and Commodore 64 computers, which Dominic Ford has rescued from his private collection of floppy disks and cassettes.

Some of these files were originally commercial releases in the 1980s and 1990s, but they are now widely available online. I assume that copyright over them is no longer being asserted. If you own the copyright and would like files to be removed, please contact me.

Tape/disk: Home » Archimedes archive » Archimedes World » AW-1992-03.adf » AWMar92
Filename: !AWMar92/Goodies/ArcAut/Info/Table1
Read OK:
File size: 0980 bytes
Load address: 0000
Exec address: 0000
File contents
 TABLE 1: Operators


 Operator            Prior stack state                    Resulting stack state                              
                    {bottom,   middle, & top of stack}   {bottom,   middle, & top of stack}

      NOT            ?a       ?b        n                ?a         ?b        bitwise NOT of n
    TRASH            ?a       ?b        n                empty      ?a        ?b
      DUP            empty    ?a        n                ?a         n         n
      ROT            n        m         o                o          n         m
     SWAP            ?a       n         m                ?a         m         n
       +             ?a       n         m                empty      ?a        n+m
       -             ?a       n         m                empty      ?a        n-m
       *             ?a       n         m                empty      ?a        n*m
     DIV             ?a       n         m                ?a         n DIV m   n MOD m
     EOR             ?a       n         m                empty      ?a        bitwise n EOR m
     AND             ?a       n         m                empty      ?a        bitwise n AND m
      OR             ?a       n         m                empty      ?a        bitwise n OR m
       <             ?a       n         m                empty      ?a        TRUE if n<m, else FALSE
       >             ?a       n         m                empty      ?a        TRUE if n>m, else FALSE
       =             ?a       n         m                empty      ?a        TRUE if n=m, else FALSE
      <=             ?a       n         m                empty      ?a        TRUE if n<=m, else FALSE
      >=             ?a       n         m                empty      ?a        TRUE if n>=m, else FALSE
      <>             ?a       n         m                empty      ?a        TRUE if n<>m, else FALSE
      <<             ?a       n         m                empty      ?a        n*2^m
      >>             ?a       n         m                empty      ?a        n/2^m
     >>>             ?a       n         m                empty      ?a        n >>> m

        
 empty      indicates that position must/will be free                                                                     
 ?a, ?b, ?c indicates an unknown value (or possible free location)
 n, m or o  indicates the presence of a value
 TRUE       has the value -1
 FALSE      has the value 0     
00000000  0a 20 54 41 42 4c 45 20  31 3a 20 4f 70 65 72 61  |. TABLE 1: Opera|
00000010  74 6f 72 73 0a 0a 0a 20  4f 70 65 72 61 74 6f 72  |tors... Operator|
00000020  20 20 20 20 20 20 20 20  20 20 20 20 50 72 69 6f  |            Prio|
00000030  72 20 73 74 61 63 6b 20  73 74 61 74 65 20 20 20  |r stack state   |
00000040  20 20 20 20 20 20 20 20  20 20 20 20 20 20 20 20  |                |
00000050  20 52 65 73 75 6c 74 69  6e 67 20 73 74 61 63 6b  | Resulting stack|
00000060  20 73 74 61 74 65 20 20  20 20 20 20 20 20 20 20  | state          |
00000070  20 20 20 20 20 20 20 20  20 20 20 20 20 20 20 20  |                |
00000080  20 20 20 20 0a 20 20 20  20 20 20 20 20 20 20 20  |    .           |
00000090  20 20 20 20 20 20 20 20  20 7b 62 6f 74 74 6f 6d  |         {bottom|
000000a0  2c 20 20 20 6d 69 64 64  6c 65 2c 20 26 20 74 6f  |,   middle, & to|
000000b0  70 20 6f 66 20 73 74 61  63 6b 7d 20 20 20 7b 62  |p of stack}   {b|
000000c0  6f 74 74 6f 6d 2c 20 20  20 6d 69 64 64 6c 65 2c  |ottom,   middle,|
000000d0  20 26 20 74 6f 70 20 6f  66 20 73 74 61 63 6b 7d  | & top of stack}|
000000e0  0a 0a 20 20 20 20 20 20  4e 4f 54 20 20 20 20 20  |..      NOT     |
000000f0  20 20 20 20 20 20 20 3f  61 20 20 20 20 20 20 20  |       ?a       |
00000100  3f 62 20 20 20 20 20 20  20 20 6e 20 20 20 20 20  |?b        n     |
00000110  20 20 20 20 20 20 20 20  20 20 20 3f 61 20 20 20  |           ?a   |
00000120  20 20 20 20 20 20 3f 62  20 20 20 20 20 20 20 20  |      ?b        |
00000130  62 69 74 77 69 73 65 20  4e 4f 54 20 6f 66 20 6e  |bitwise NOT of n|
00000140  0a 20 20 20 20 54 52 41  53 48 20 20 20 20 20 20  |.    TRASH      |
00000150  20 20 20 20 20 20 3f 61  20 20 20 20 20 20 20 3f  |      ?a       ?|
00000160  62 20 20 20 20 20 20 20  20 6e 20 20 20 20 20 20  |b        n      |
00000170  20 20 20 20 20 20 20 20  20 20 65 6d 70 74 79 20  |          empty |
00000180  20 20 20 20 20 3f 61 20  20 20 20 20 20 20 20 3f  |     ?a        ?|
00000190  62 0a 20 20 20 20 20 20  44 55 50 20 20 20 20 20  |b.      DUP     |
000001a0  20 20 20 20 20 20 20 65  6d 70 74 79 20 20 20 20  |       empty    |
000001b0  3f 61 20 20 20 20 20 20  20 20 6e 20 20 20 20 20  |?a        n     |
000001c0  20 20 20 20 20 20 20 20  20 20 20 3f 61 20 20 20  |           ?a   |
000001d0  20 20 20 20 20 20 6e 20  20 20 20 20 20 20 20 20  |      n         |
000001e0  6e 0a 20 20 20 20 20 20  52 4f 54 20 20 20 20 20  |n.      ROT     |
000001f0  20 20 20 20 20 20 20 6e  20 20 20 20 20 20 20 20  |       n        |
00000200  6d 20 20 20 20 20 20 20  20 20 6f 20 20 20 20 20  |m         o     |
00000210  20 20 20 20 20 20 20 20  20 20 20 6f 20 20 20 20  |           o    |
00000220  20 20 20 20 20 20 6e 20  20 20 20 20 20 20 20 20  |      n         |
00000230  6d 0a 20 20 20 20 20 53  57 41 50 20 20 20 20 20  |m.     SWAP     |
00000240  20 20 20 20 20 20 20 3f  61 20 20 20 20 20 20 20  |       ?a       |
00000250  6e 20 20 20 20 20 20 20  20 20 6d 20 20 20 20 20  |n         m     |
00000260  20 20 20 20 20 20 20 20  20 20 20 3f 61 20 20 20  |           ?a   |
00000270  20 20 20 20 20 20 6d 20  20 20 20 20 20 20 20 20  |      m         |
00000280  6e 0a 20 20 20 20 20 20  20 2b 20 20 20 20 20 20  |n.       +      |
00000290  20 20 20 20 20 20 20 3f  61 20 20 20 20 20 20 20  |       ?a       |
000002a0  6e 20 20 20 20 20 20 20  20 20 6d 20 20 20 20 20  |n         m     |
000002b0  20 20 20 20 20 20 20 20  20 20 20 65 6d 70 74 79  |           empty|
000002c0  20 20 20 20 20 20 3f 61  20 20 20 20 20 20 20 20  |      ?a        |
000002d0  6e 2b 6d 0a 20 20 20 20  20 20 20 2d 20 20 20 20  |n+m.       -    |
000002e0  20 20 20 20 20 20 20 20  20 3f 61 20 20 20 20 20  |         ?a     |
000002f0  20 20 6e 20 20 20 20 20  20 20 20 20 6d 20 20 20  |  n         m   |
00000300  20 20 20 20 20 20 20 20  20 20 20 20 20 65 6d 70  |             emp|
00000310  74 79 20 20 20 20 20 20  3f 61 20 20 20 20 20 20  |ty      ?a      |
00000320  20 20 6e 2d 6d 0a 20 20  20 20 20 20 20 2a 20 20  |  n-m.       *  |
00000330  20 20 20 20 20 20 20 20  20 20 20 3f 61 20 20 20  |           ?a   |
00000340  20 20 20 20 6e 20 20 20  20 20 20 20 20 20 6d 20  |    n         m |
00000350  20 20 20 20 20 20 20 20  20 20 20 20 20 20 20 65  |               e|
00000360  6d 70 74 79 20 20 20 20  20 20 3f 61 20 20 20 20  |mpty      ?a    |
00000370  20 20 20 20 6e 2a 6d 0a  20 20 20 20 20 44 49 56  |    n*m.     DIV|
00000380  20 20 20 20 20 20 20 20  20 20 20 20 20 3f 61 20  |             ?a |
00000390  20 20 20 20 20 20 6e 20  20 20 20 20 20 20 20 20  |      n         |
000003a0  6d 20 20 20 20 20 20 20  20 20 20 20 20 20 20 20  |m               |
000003b0  20 3f 61 20 20 20 20 20  20 20 20 20 6e 20 44 49  | ?a         n DI|
000003c0  56 20 6d 20 20 20 6e 20  4d 4f 44 20 6d 0a 20 20  |V m   n MOD m.  |
000003d0  20 20 20 45 4f 52 20 20  20 20 20 20 20 20 20 20  |   EOR          |
000003e0  20 20 20 3f 61 20 20 20  20 20 20 20 6e 20 20 20  |   ?a       n   |
000003f0  20 20 20 20 20 20 6d 20  20 20 20 20 20 20 20 20  |      m         |
00000400  20 20 20 20 20 20 20 65  6d 70 74 79 20 20 20 20  |       empty    |
00000410  20 20 3f 61 20 20 20 20  20 20 20 20 62 69 74 77  |  ?a        bitw|
00000420  69 73 65 20 6e 20 45 4f  52 20 6d 0a 20 20 20 20  |ise n EOR m.    |
00000430  20 41 4e 44 20 20 20 20  20 20 20 20 20 20 20 20  | AND            |
00000440  20 3f 61 20 20 20 20 20  20 20 6e 20 20 20 20 20  | ?a       n     |
00000450  20 20 20 20 6d 20 20 20  20 20 20 20 20 20 20 20  |    m           |
00000460  20 20 20 20 20 65 6d 70  74 79 20 20 20 20 20 20  |     empty      |
00000470  3f 61 20 20 20 20 20 20  20 20 62 69 74 77 69 73  |?a        bitwis|
00000480  65 20 6e 20 41 4e 44 20  6d 0a 20 20 20 20 20 20  |e n AND m.      |
00000490  4f 52 20 20 20 20 20 20  20 20 20 20 20 20 20 3f  |OR             ?|
000004a0  61 20 20 20 20 20 20 20  6e 20 20 20 20 20 20 20  |a       n       |
000004b0  20 20 6d 20 20 20 20 20  20 20 20 20 20 20 20 20  |  m             |
000004c0  20 20 20 65 6d 70 74 79  20 20 20 20 20 20 3f 61  |   empty      ?a|
000004d0  20 20 20 20 20 20 20 20  62 69 74 77 69 73 65 20  |        bitwise |
000004e0  6e 20 4f 52 20 6d 0a 20  20 20 20 20 20 20 3c 20  |n OR m.       < |
000004f0  20 20 20 20 20 20 20 20  20 20 20 20 3f 61 20 20  |            ?a  |
00000500  20 20 20 20 20 6e 20 20  20 20 20 20 20 20 20 6d  |     n         m|
00000510  20 20 20 20 20 20 20 20  20 20 20 20 20 20 20 20  |                |
00000520  65 6d 70 74 79 20 20 20  20 20 20 3f 61 20 20 20  |empty      ?a   |
00000530  20 20 20 20 20 54 52 55  45 20 69 66 20 6e 3c 6d  |     TRUE if n<m|
00000540  2c 20 65 6c 73 65 20 46  41 4c 53 45 0a 20 20 20  |, else FALSE.   |
00000550  20 20 20 20 3e 20 20 20  20 20 20 20 20 20 20 20  |    >           |
00000560  20 20 3f 61 20 20 20 20  20 20 20 6e 20 20 20 20  |  ?a       n    |
00000570  20 20 20 20 20 6d 20 20  20 20 20 20 20 20 20 20  |     m          |
00000580  20 20 20 20 20 20 65 6d  70 74 79 20 20 20 20 20  |      empty     |
00000590  20 3f 61 20 20 20 20 20  20 20 20 54 52 55 45 20  | ?a        TRUE |
000005a0  69 66 20 6e 3e 6d 2c 20  65 6c 73 65 20 46 41 4c  |if n>m, else FAL|
000005b0  53 45 0a 20 20 20 20 20  20 20 3d 20 20 20 20 20  |SE.       =     |
000005c0  20 20 20 20 20 20 20 20  3f 61 20 20 20 20 20 20  |        ?a      |
000005d0  20 6e 20 20 20 20 20 20  20 20 20 6d 20 20 20 20  | n         m    |
000005e0  20 20 20 20 20 20 20 20  20 20 20 20 65 6d 70 74  |            empt|
000005f0  79 20 20 20 20 20 20 3f  61 20 20 20 20 20 20 20  |y      ?a       |
00000600  20 54 52 55 45 20 69 66  20 6e 3d 6d 2c 20 65 6c  | TRUE if n=m, el|
00000610  73 65 20 46 41 4c 53 45  0a 20 20 20 20 20 20 3c  |se FALSE.      <|
00000620  3d 20 20 20 20 20 20 20  20 20 20 20 20 20 3f 61  |=             ?a|
00000630  20 20 20 20 20 20 20 6e  20 20 20 20 20 20 20 20  |       n        |
00000640  20 6d 20 20 20 20 20 20  20 20 20 20 20 20 20 20  | m              |
00000650  20 20 65 6d 70 74 79 20  20 20 20 20 20 3f 61 20  |  empty      ?a |
00000660  20 20 20 20 20 20 20 54  52 55 45 20 69 66 20 6e  |       TRUE if n|
00000670  3c 3d 6d 2c 20 65 6c 73  65 20 46 41 4c 53 45 0a  |<=m, else FALSE.|
00000680  20 20 20 20 20 20 3e 3d  20 20 20 20 20 20 20 20  |      >=        |
00000690  20 20 20 20 20 3f 61 20  20 20 20 20 20 20 6e 20  |     ?a       n |
000006a0  20 20 20 20 20 20 20 20  6d 20 20 20 20 20 20 20  |        m       |
000006b0  20 20 20 20 20 20 20 20  20 65 6d 70 74 79 20 20  |         empty  |
000006c0  20 20 20 20 3f 61 20 20  20 20 20 20 20 20 54 52  |    ?a        TR|
000006d0  55 45 20 69 66 20 6e 3e  3d 6d 2c 20 65 6c 73 65  |UE if n>=m, else|
000006e0  20 46 41 4c 53 45 0a 20  20 20 20 20 20 3c 3e 20  | FALSE.      <> |
000006f0  20 20 20 20 20 20 20 20  20 20 20 20 3f 61 20 20  |            ?a  |
00000700  20 20 20 20 20 6e 20 20  20 20 20 20 20 20 20 6d  |     n         m|
00000710  20 20 20 20 20 20 20 20  20 20 20 20 20 20 20 20  |                |
00000720  65 6d 70 74 79 20 20 20  20 20 20 3f 61 20 20 20  |empty      ?a   |
00000730  20 20 20 20 20 54 52 55  45 20 69 66 20 6e 3c 3e  |     TRUE if n<>|
00000740  6d 2c 20 65 6c 73 65 20  46 41 4c 53 45 0a 20 20  |m, else FALSE.  |
00000750  20 20 20 20 3c 3c 20 20  20 20 20 20 20 20 20 20  |    <<          |
00000760  20 20 20 3f 61 20 20 20  20 20 20 20 6e 20 20 20  |   ?a       n   |
00000770  20 20 20 20 20 20 6d 20  20 20 20 20 20 20 20 20  |      m         |
00000780  20 20 20 20 20 20 20 65  6d 70 74 79 20 20 20 20  |       empty    |
00000790  20 20 3f 61 20 20 20 20  20 20 20 20 6e 2a 32 5e  |  ?a        n*2^|
000007a0  6d 0a 20 20 20 20 20 20  3e 3e 20 20 20 20 20 20  |m.      >>      |
000007b0  20 20 20 20 20 20 20 3f  61 20 20 20 20 20 20 20  |       ?a       |
000007c0  6e 20 20 20 20 20 20 20  20 20 6d 20 20 20 20 20  |n         m     |
000007d0  20 20 20 20 20 20 20 20  20 20 20 65 6d 70 74 79  |           empty|
000007e0  20 20 20 20 20 20 3f 61  20 20 20 20 20 20 20 20  |      ?a        |
000007f0  6e 2f 32 5e 6d 0a 20 20  20 20 20 3e 3e 3e 20 20  |n/2^m.     >>>  |
00000800  20 20 20 20 20 20 20 20  20 20 20 3f 61 20 20 20  |           ?a   |
00000810  20 20 20 20 6e 20 20 20  20 20 20 20 20 20 6d 20  |    n         m |
00000820  20 20 20 20 20 20 20 20  20 20 20 20 20 20 20 65  |               e|
00000830  6d 70 74 79 20 20 20 20  20 20 3f 61 20 20 20 20  |mpty      ?a    |
00000840  20 20 20 20 6e 20 3e 3e  3e 20 6d 0a 0a 20 20 20  |    n >>> m..   |
00000850  20 20 20 20 20 0a 20 65  6d 70 74 79 20 20 20 20  |     . empty    |
00000860  20 20 69 6e 64 69 63 61  74 65 73 20 74 68 61 74  |  indicates that|
00000870  20 70 6f 73 69 74 69 6f  6e 20 6d 75 73 74 2f 77  | position must/w|
00000880  69 6c 6c 20 62 65 20 66  72 65 65 20 20 20 20 20  |ill be free     |
00000890  20 20 20 20 20 20 20 20  20 20 20 20 20 20 20 20  |                |
*
000008d0  0a 20 3f 61 2c 20 3f 62  2c 20 3f 63 20 69 6e 64  |. ?a, ?b, ?c ind|
000008e0  69 63 61 74 65 73 20 61  6e 20 75 6e 6b 6e 6f 77  |icates an unknow|
000008f0  6e 20 76 61 6c 75 65 20  28 6f 72 20 70 6f 73 73  |n value (or poss|
00000900  69 62 6c 65 20 66 72 65  65 20 6c 6f 63 61 74 69  |ible free locati|
00000910  6f 6e 29 0a 20 6e 2c 20  6d 20 6f 72 20 6f 20 20  |on). n, m or o  |
00000920  69 6e 64 69 63 61 74 65  73 20 74 68 65 20 70 72  |indicates the pr|
00000930  65 73 65 6e 63 65 20 6f  66 20 61 20 76 61 6c 75  |esence of a valu|
00000940  65 0a 20 54 52 55 45 20  20 20 20 20 20 20 68 61  |e. TRUE       ha|
00000950  73 20 74 68 65 20 76 61  6c 75 65 20 2d 31 0a 20  |s the value -1. |
00000960  46 41 4c 53 45 20 20 20  20 20 20 68 61 73 20 74  |FALSE      has t|
00000970  68 65 20 76 61 6c 75 65  20 30 20 20 20 20 20 0a  |he value 0     .|
00000980