[vvhitespace] / stdlib / logic.pvvs

#ifndef VVS_STDLIB_LOGIC
#define VVS_STDLIB_LOGIC

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@ These subroutines assume they are running on the official VVS interpreter
@ which internally uses a twos-complement representation.
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@ Name:
@   not (101000)
@ Description:
@   Performs a bitwise NOT on the TOS word.
@ Call Stack:
@   X
@ Return Stack:
@   NOT(X)
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
NSSVTSTSSSN             | Mark: 101000 (not)
@ In twos-complement, NOT(X) = (-X)-1
SSTTN                   | PUSH -1
TSSN                    | MULTIPLY
SSTTN                   | PUSH -1
TSST                    | SUBTRACT
NTN                     | RTS

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@ Name:
@   rshift (101100)
@ Description:
@   Shifts 'X' right by 'shiftcount' bits with sign extension.
@ Call Stack:
@   X
@   shiftcount
@ Return Stack:
@   X >> shiftcount
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
NSSVTSTTSSN             | Mark: 101100 (rshift)

@ Test for loop completion first since it's allowable to shift by zero.
NSSVSSTSTTSSSSSSSSSTN   | Mark: 00101100 00000001
SNS                     | DUP
NTSSSTSTTSSSSSSSSSSN    | BRZ > 00101100 00000000
@ Shift by one bit on each pass.
SNT                     | SWAP
SSSTSN                  | PUSH 2
TSTS                    | DIVIDE
@ Decrement the counter.
SNT                     | SWAP
SSSTN                   | PUSH 1
TSST                    | SUBTRACT
@ Loop again.
NSNSSTSTTSSSSSSSSSTN    | JMP > 00101100 00000001

@ Clean up and return.
NSSVSSTSTTSSSSSSSSSSN   | Mark: 00101100 00000000
SNN                     | DROP
NTN                     | RTS

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@ Name:
@   lshift (101101)
@ Description:
@   Shifts 'X' left by 'shiftcount' bits with zero filling.
@ Call Stack:
@   X
@   shiftcount
@ Return Stack:
@   X << shiftcount
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
NSSVTSTTSTN             | Mark: 101101 (lshift)

@ Test for loop completion first since it's allowable to shift by zero.
NSSVSSTSTTSTSSSSSSSTN   | Mark: 00101101 00000001
SNS                     | DUP
NTSSSTSTTSTSSSSSSSSN    | BRZ > 00101101 00000000
@ Shift by one bit on each pass.
SNT                     | SWAP
SSSTSN                  | PUSH 2
TSSN                    | MULTIPLY
@ Decrement the counter.
SNT                     | SWAP
SSSTN                   | PUSH 1
TSST                    | SUBTRACT
@ Loop again.
NSNSSTSTTSTSSSSSSSTN    | JMP > 00101101 00000001

@ Clean up and return.
NSSVSSTSTTSTSSSSSSSSN   | Mark: 00101101 00000000
SNN                     | DROP
NTN                     | RTS

#endif
Commit	Line	Data
0c56152e AT	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	#endif