Added label initialization check to `vvi`.
[vvhitespace] / stdlib / heap.pvvs
CommitLineData
3695b659
AT
1#ifndef VVS_STDLIB_HEAP
2#define VVS_STDLIB_HEAP
3
4@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
bb21580a
AT
5@ Name:
6@ memset (11000)
3695b659 7@ Description:
bb21580a 8@ Writes 'pattern' in memory locations 'startaddr' to 'startaddr+count'.
3695b659
AT
9@ Call Stack:
10@ pattern
11@ startaddr
3d75b928 12@ count <-- TOS
3695b659
AT
13@ Return Stack:
14@ <empty>
15@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
16NSSVTTSSSN | Mark: 11000 (memset)
bb21580a
AT
17SSSTTN | PUSH 3
18NSTTTTTTN | JSR > 11111 (spew)
3695b659 19
bb21580a 20@ Store 'pattern' into one memory location on each pass through this loop.
3695b659 21NSSVSSSTTSSSSSSSSSSSN | Mark: 00011000 00000000
3695b659
AT
22SSSTN | PUSH 1 (ptr)
23TTT | LOAD
3695b659
AT
24SSSTSN | PUSH 2 (ptr)
25TTT | LOAD
bb21580a
AT
26TSSS | ADD
27SSSTTN | PUSH 3 (ptr)
28TTT | LOAD
3695b659
AT
29TTS | STORE
30
bb21580a
AT
31@ Decrement and check for loop end condition 'count == 0'.
32SSSTN | PUSH 1 (ptr)
3695b659
AT
33TTT | LOAD
34SNS | DUP
35NTSSSSTTSSSSSSSSSSTN | BRZ > 00011000 00000001
36SSSTN | PUSH 1
37TSST | SUBTRACT
bb21580a 38SSSTN | PUSH 1 (ptr)
3695b659
AT
39SNT | SWAP
40TTS | STORE
41NSNSSSTTSSSSSSSSSSSN | JMP > 00011000 00000000
42
43@ Clean up and return
44NSSVSSSTTSSSSSSSSSSTN | Mark: 00011000 00000001
45SNN | DROP
46NTN | RTS
47
3d75b928 48@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
bb21580a
AT
49@ Name:
50@ memcpy (11001)
3d75b928 51@ Description:
bb21580a 52@ Copies 'count+1' words from 'source' to 'destination'.
3d75b928
AT
53@ Call Stack:
54@ source
55@ destination
56@ count <-- TOS
57@ Return Stack:
58@ <empty>
59@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
60NSSVTTSSTN | Mark: 11001 (memcpy)
bb21580a
AT
61SSSTTN | PUSH 3
62NSTTTTTTN | JSR > 11111 (spew)
3d75b928
AT
63
64@ Copy one word on each pass through this loop.
65NSSVSSSTTSSTSSSSSSSSN | Mark: 00011001 00000000
bb21580a 66SSSTSN | PUSH 2 (ptr)
3d75b928 67TTT | LOAD
bb21580a 68SSSTN | PUSH 1 (ptr)
3d75b928
AT
69TTT | LOAD
70TSSS | ADD
bb21580a 71SSSTTN | PUSH 3 (ptr)
3d75b928 72TTT | LOAD
bb21580a 73SSSTN | PUSH 1 (ptr)
3d75b928
AT
74TTT | LOAD
75TSSS | ADD
76TTT | LOAD
77TTS | STORE
78
79@ Decrement and check for loop end conditions.
bb21580a 80SSSTN | PUSH 1 (ptr)
3d75b928
AT
81TTT | LOAD
82SNS | DUP
83NTSSSSTTSSTSSSSSSSTN | BRZ > 00011001 00000001
84SSSTN | PUSH 1
85TSST | SUBTRACT
bb21580a 86SSSTN | PUSH 1 (ptr)
3d75b928
AT
87SNT | SWAP
88TTS | STORE
89NSNSSSTTSSTSSSSSSSSN | JMP > 00011001 00000000
90
91@ Clean up and return
92NSSVSSSTTSSTSSSSSSSTN | Mark: 00011001 00000001
93SNN | DROP
94NTN | RTS
95
d63de3fa 96@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
bb21580a
AT
97@ Name:
98@ memrand (11010)
d63de3fa 99@ Description:
bb21580a 100@ Writes random words into memory locations 'startaddr' to 'startaddr+count'.
d63de3fa
AT
101@ Call Stack:
102@ count
103@ startaddr <-- TOS
104@ Return Stack:
105@ <empty>
106@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
bb21580a 107#include <math.pvvs>
d63de3fa 108NSSVTTSTSN | Mark: 11010 (memrand)
bb21580a
AT
109SSSTN | PUSH 1
110NSTTTTTTN | JSR > 11111 (spew)
d63de3fa
AT
111
112@ Store random word into one memory location on each pass through this loop.
113NSSVSSSTTSTSSSSSSSSSN | Mark: 00011010 00000000
114SNS | DUP
bb21580a 115SSSTN | PUSH 1 (ptr)
d63de3fa
AT
116TTT | LOAD
117TSSS | ADD
118NSTTSSSSN | JSR > 10000 (random)
119TTS | STORE
120
121@ Decrement and check loop end conditions
122SNS | DUP
123NTSSSSTTSTSSSSSSSSTN | BRZ > 00011010 00000001
124SSSTN | PUSH 1
125TSST | SUBTRACT
126NSNSSSTTSTSSSSSSSSSN | JMP > 00011010 00000000
127
d63de3fa
AT
128@ Clean up and return
129NSSVSSSTTSTSSSSSSSSTN | Mark: 00011010 00000001
130SNN | DROP
131NTN | RTS
132
87d27426 133@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
bb21580a
AT
134@ Name:
135@ memcmp (11011)
87d27426 136@ Description:
bb21580a 137@ Compares two blocks of memory:
87d27426
AT
138@ blk1ptr -> blk1ptr+count
139@ -- versus --
140@ blk2ptr -> blk2ptr+count
141@ The return value is zero if the blocks are identical, otherwise non-zero.
142@ Call Stack:
143@ count
144@ blk1ptr
145@ blk2ptr <-- TOS
146@ Return Stack:
147@ retvalue <-- TOS
148@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
149NSSVTTSTTN | Mark: 11011 (memcmp)
bb21580a
AT
150SSSTSN | PUSH 2
151NSTTTTTTN | JSR > 11111 (spew)
87d27426
AT
152
153@ Compare one word on each pass through this loop.
154NSSVSSSTTSTTSSSSSSSSN | Mark: 00011011 00000000
155SNS | DUP
156SNS | DUP
bb21580a 157SSSTN | PUSH 1 (ptr)
87d27426
AT
158TTT | LOAD
159TSSS | ADD
160TTT | LOAD
161SNT | SWAP
bb21580a 162SSTSN | PUSH 2 (ptr)
87d27426
AT
163TTT | LOAD
164TSSS | ADD
165TTT | LOAD
166TSST | SUBTRACT
167NTSSSSTTSTTSSSSSSTSN | BRZ > 00011011 00000010 (jump if words match)
168
169@ Return 'match? = false'
170SNN | DROP
171SSSTN | PUSH 1
172NTN | RTS
173
d00258fa 174@ Decrement and loop again if loop is not complete.
87d27426
AT
175NSSVSSSTTSTTSSSSSSTSN | Mark: 00011011 00000010
176SNS | DUP
177NTSSSSTTSTTSSSSSSSTN | BRZ > 00011011 00000001 (jump if loop is complete)
178SSSTN | PUSH 1
179TSST | SUBTRACT
180NSNSSSTTSTTSSSSSSSSN | JMP > 00011011 00000000
181
182@ Return 'match? = true'
183NSSVSSSTTSTTSSSSSSSTN | Mark: 00011011 00000001
184SNN | DROP
185SSSSN | PUSH 0
186NTN | RTS
187
fd04fb41 188@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
bb21580a
AT
189@ Name:
190@ memsrch (11100)
fd04fb41 191@ Description:
bb21580a
AT
192@ Searches the heap from 'address' to 'address+count'.
193@ If 'pattern' is found, the return value is a pointer to the matching word.
fd04fb41
AT
194@ If not found, the return value is a null pointer.
195@ Call Stack:
196@ pattern
197@ count
198@ address <-- TOS
199@ Return Stack:
200@ pointer <-- TOS
201@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
202NSSVTTTSSN | Mark: 11100 (memsrch)
bb21580a
AT
203SSSTTN | PUSH 3
204NSTTTTTTN | JSR > 11111 (spew)
fd04fb41
AT
205
206@ Compare one word on each pass through this loop.
207NSSVSSSTTTSSSSSSSSSSN | Mark: 00011100 00000000
208SNS | DUP
bb21580a 209SSSTN | PUSH 1 (ptr)
fd04fb41
AT
210TTT | LOAD
211TSSS | ADD
212TTT | LOAD
bb21580a 213SSSTTN | PUSH 3 (ptr)
fd04fb41
AT
214TTT | LOAD
215TSST | SUBTRACT
216NTSSSSTTTSSSSSSSSSTN | BRZ > 00011100 00000001
217SNS | DUP
bb21580a 218SSSTSN | PUSH 2 (ptr)
fd04fb41
AT
219TTT | LOAD
220TSST | SUBTRACT
221NTSSSSTTTSSSSSSSSTSN | BRZ > 00011100 00000010
222SSSTN | PUSH 1
223TSSS | ADD
224NSNSSSTTTSSSSSSSSSSN | JMP > 00011100 00000000
225
226@ Found a match. Clean up and return.
227NSSVSSSTTTSSSSSSSSSTN | Mark: 00011100 00000001
bb21580a 228SSSTN | PUSH 1 (ptr)
fd04fb41
AT
229TTT | LOAD
230TSSS | ADD
231NTN | RTS
232
233@ No match found. Clean up and return.
234NSSVSSSTTTSSSSSSSSTSN | Mark: 00011100 00000010
235SNN | DROP
236SSSSN | PUSH 0
237NTN | RTS
238
bb21580a
AT
239@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
240@ Name:
241@ slurp (11110)
242@ Description:
243@ Reads 'count' values from heap to stack in complementary order to 'spew'.
244@ Call Stack:
245@ count
246@ Return Stack:
247@ heap[count]
248@ ...
249@ heap[2]
250@ heap[1] <-- TOS
251@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
252NSSVTTTTSN | Mark: 11110 (slurp)
253
254@ Load one word from heap on each pass.
255NSSVSSSTTTTSSSSSSSSSN | Mark: 00011110 00000000
256SNS | DUP
257TTT | LOAD
258SNT | SWAP
259
260@ Check for loop completion.
261@ As a side effect, prepare the next address.
262SSSTN | PUSH 1
263TSST | SUBTRACT
264SNS | DUP
265NTSSSSTTTTSSSSSSSSTN | BRZ > 00011110 00000001
266NSNSSSTTTTSSSSSSSSSN | JMP > 00011110 00000000
267NSSVSSSTTTTSSSSSSSSTN | Mark: 00011110 00000001
268SNN | DROP
269NTN | RTS
270
271@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
272@ Name:
273@ spew (11111)
274@ Description:
275@ Writes 'count' values from stack to heap in this order:
276@ TOS -> heap[1]
277@ TOS+1 -> heap[2]
278@ ...
279@ TOS+n -> heap[count]
280@ This is the only stdlib function which uses heap[0] for storage.
281@ Call Stack:
282@ data-words
283@ ...
284@ data-words
285@ count <-- TOS
286@ Return Stack:
287@ <empty>
288@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
289NSSVTTTTTN | Mark: 11111 (spew)
290
291@ Create a counter in heap[0] that doubles as a destination pointer generator.
292SSSSN | PUSH 0 (ptr)
293SSSTN | PUSH 1
294TTS | STORE
295
296@ Store one word to heap on each pass.
297NSSVSSSTTTTTSSSSSSSSN | Mark: 00011111 00000000
298SNT | SWAP
299SSSSN | PUSH 0 (ptr)
300TTT | LOAD
301SNT | SWAP
302TTS | STORE
303
304@ Check for loop completion.
305SNS | DUP
306SSSSN | PUSH 0 (ptr)
307TTT | LOAD
308TSST | SUBTRACT
309NTSSSSTTTTTSSSSSSSTN | BRZ > 00011111 00000001
310
311@ Increment heap[0] if continuing.
312SSSSN | PUSH 0 (ptr)
313SNS | DUP
314TTT | LOAD
315SSSTN | PUSH 1
316TSSS | ADD
317TTS | STORE
318NSNSSSTTTTTSSSSSSSSN | JMP > 00011111 00000000
319
320@ Clean up and return.
321NSSVSSSTTTTTSSSSSSSTN | Mark: 00011111 00000001
322SNN | DROP
323NTN | RTS
d63de3fa 324
3695b659 325#endif