| 1 | #ifndef VVS_STDLIB_LOGIC |
| 2 | #define VVS_STDLIB_LOGIC |
| 3 | |
| 4 | @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ |
| 5 | @ These subroutines assume they are running on the official VVS interpreter |
| 6 | @ which internally uses a twos-complement representation. |
| 7 | @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ |
| 8 | |
| 9 | @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ |
| 10 | @ Name: |
| 11 | @ not (101000) |
| 12 | @ Description: |
| 13 | @ Performs a bitwise NOT on the TOS word. |
| 14 | @ Call Stack: |
| 15 | @ X |
| 16 | @ Return Stack: |
| 17 | @ NOT(X) |
| 18 | @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ |
| 19 | NSSVTSTSSSN | Mark: 101000 (not) |
| 20 | @ In twos-complement, NOT(X) = (-X)-1 |
| 21 | SSTTN | PUSH -1 |
| 22 | TSSN | MULTIPLY |
| 23 | SSTTN | PUSH -1 |
| 24 | TSST | SUBTRACT |
| 25 | NTN | RTS |
| 26 | |
| 27 | @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ |
| 28 | @ Name: |
| 29 | @ rshift (101100) |
| 30 | @ Description: |
| 31 | @ Shifts 'X' right by 'shiftcount' bits with sign extension. |
| 32 | @ Call Stack: |
| 33 | @ X |
| 34 | @ shiftcount |
| 35 | @ Return Stack: |
| 36 | @ X >> shiftcount |
| 37 | @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ |
| 38 | NSSVTSTTSSN | Mark: 101100 (rshift) |
| 39 | |
| 40 | @ Test for loop completion first since it's allowable to shift by zero. |
| 41 | NSSVSSTSTTSSSSSSSSSTN | Mark: 00101100 00000001 |
| 42 | SNS | DUP |
| 43 | NTSSSTSTTSSSSSSSSSSN | BRZ > 00101100 00000000 |
| 44 | @ Shift by one bit on each pass. |
| 45 | SNT | SWAP |
| 46 | SSSTSN | PUSH 2 |
| 47 | TSTS | DIVIDE |
| 48 | @ Decrement the counter. |
| 49 | SNT | SWAP |
| 50 | SSSTN | PUSH 1 |
| 51 | TSST | SUBTRACT |
| 52 | @ Loop again. |
| 53 | NSNSSTSTTSSSSSSSSSTN | JMP > 00101100 00000001 |
| 54 | |
| 55 | @ Clean up and return. |
| 56 | NSSVSSTSTTSSSSSSSSSSN | Mark: 00101100 00000000 |
| 57 | SNN | DROP |
| 58 | NTN | RTS |
| 59 | |
| 60 | @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ |
| 61 | @ Name: |
| 62 | @ lshift (101101) |
| 63 | @ Description: |
| 64 | @ Shifts 'X' left by 'shiftcount' bits with zero filling. |
| 65 | @ Call Stack: |
| 66 | @ X |
| 67 | @ shiftcount |
| 68 | @ Return Stack: |
| 69 | @ X << shiftcount |
| 70 | @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ |
| 71 | NSSVTSTTSTN | Mark: 101101 (lshift) |
| 72 | |
| 73 | @ Test for loop completion first since it's allowable to shift by zero. |
| 74 | NSSVSSTSTTSTSSSSSSSTN | Mark: 00101101 00000001 |
| 75 | SNS | DUP |
| 76 | NTSSSTSTTSTSSSSSSSSN | BRZ > 00101101 00000000 |
| 77 | @ Shift by one bit on each pass. |
| 78 | SNT | SWAP |
| 79 | SSSTSN | PUSH 2 |
| 80 | TSSN | MULTIPLY |
| 81 | @ Decrement the counter. |
| 82 | SNT | SWAP |
| 83 | SSSTN | PUSH 1 |
| 84 | TSST | SUBTRACT |
| 85 | @ Loop again. |
| 86 | NSNSSTSTTSTSSSSSSSTN | JMP > 00101101 00000001 |
| 87 | |
| 88 | @ Clean up and return. |
| 89 | NSSVSSTSTTSTSSSSSSSSN | Mark: 00101101 00000000 |
| 90 | SNN | DROP |
| 91 | NTN | RTS |
| 92 | |
| 93 | @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ |
| 94 | @ Name: |
| 95 | @ lowbitand (1000000) |
| 96 | @ Description: |
| 97 | @ Performs logical AND on the least-significant bit of 'X' and 'Y'. |
| 98 | @ Returns either 1 or 0, no other values. |
| 99 | @ Call Stack: |
| 100 | @ X |
| 101 | @ Y |
| 102 | @ Return Stack: |
| 103 | @ lsb(X) AND lsb(Y) |
| 104 | @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ |
| 105 | NSSVTSSSSSSN | Mark: 1000000 (lowbitand) |
| 106 | SSSTSN | PUSH 2 |
| 107 | TSTT | MODULO |
| 108 | SNT | SWAP |
| 109 | SSSTSN | PUSH 2 |
| 110 | TSTT | MODULO |
| 111 | TSSS | ADD |
| 112 | SSSTSN | PUSH 2 |
| 113 | TSTS | DIVIDE |
| 114 | NTN | RTS |
| 115 | |
| 116 | #endif |