Fixing a label I missed when moving functions in the stdlib.
[vvhitespace] / stdlib / heap.pvvs
... / ...
CommitLineData
1#ifndef VVS_STDLIB_HEAP
2#define VVS_STDLIB_HEAP
3
4@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
5@ Name:
6@ memset (11000)
7@ Description:
8@ Writes 'pattern' in memory locations 'startaddr' to 'startaddr+count'.
9@ Call Stack:
10@ pattern
11@ startaddr
12@ count <-- TOS
13@ Return Stack:
14@ <empty>
15@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
16NSSVTTSSSN | Mark: 11000 (memset)
17SSSTTN | PUSH 3
18NSTTSSSSSTN | JSR > 1000001 (spewreg)
19
20@ Store 'pattern' into one memory location on each pass through this loop.
21NSSVSSSTTSSSSSSSSSSSN | Mark: 00011000 00000000
22SSSTN | PUSH 1 (ptr)
23TTT | LOAD
24SSSTSN | PUSH 2 (ptr)
25TTT | LOAD
26TSSS | ADD
27SSSTTN | PUSH 3 (ptr)
28TTT | LOAD
29TTS | STORE
30
31@ Decrement and check for loop end condition 'count == 0'.
32SSSTN | PUSH 1 (ptr)
33TTT | LOAD
34SNS | DUP
35NTSSSSTTSSSSSSSSSSTN | BRZ > 00011000 00000001
36SSSTN | PUSH 1
37TSST | SUBTRACT
38SSSTN | PUSH 1 (ptr)
39SNT | SWAP
40TTS | STORE
41NSNSSSTTSSSSSSSSSSSN | JMP > 00011000 00000000
42
43@ Clean up and return
44NSSVSSSTTSSSSSSSSSSTN | Mark: 00011000 00000001
45SNN | DROP
46NTN | RTS
47
48@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
49@ Name:
50@ memcpy (11001)
51@ Description:
52@ Copies 'count+1' words from 'source' to 'destination'.
53@ Call Stack:
54@ source
55@ destination
56@ count <-- TOS
57@ Return Stack:
58@ <empty>
59@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
60NSSVTTSSTN | Mark: 11001 (memcpy)
61SSSTTN | PUSH 3
62NSTTSSSSSTN | JSR > 1000001 (spewreg)
63
64@ Copy one word on each pass through this loop.
65NSSVSSSTTSSTSSSSSSSSN | Mark: 00011001 00000000
66SSSTSN | PUSH 2 (ptr)
67TTT | LOAD
68SSSTN | PUSH 1 (ptr)
69TTT | LOAD
70TSSS | ADD
71SSSTTN | PUSH 3 (ptr)
72TTT | LOAD
73SSSTN | PUSH 1 (ptr)
74TTT | LOAD
75TSSS | ADD
76TTT | LOAD
77TTS | STORE
78
79@ Decrement and check for loop end conditions.
80SSSTN | PUSH 1 (ptr)
81TTT | LOAD
82SNS | DUP
83NTSSSSTTSSTSSSSSSSTN | BRZ > 00011001 00000001
84SSSTN | PUSH 1
85TSST | SUBTRACT
86SSSTN | PUSH 1 (ptr)
87SNT | SWAP
88TTS | STORE
89NSNSSSTTSSTSSSSSSSSN | JMP > 00011001 00000000
90
91@ Clean up and return
92NSSVSSSTTSSTSSSSSSSTN | Mark: 00011001 00000001
93SNN | DROP
94NTN | RTS
95
96@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
97@ Name:
98@ memrand (11010)
99@ Description:
100@ Writes random words into memory locations 'startaddr' to 'startaddr+count'.
101@ Call Stack:
102@ count
103@ startaddr <-- TOS
104@ Return Stack:
105@ <empty>
106@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
107#include <math.pvvs>
108NSSVTTSTSN | Mark: 11010 (memrand)
109SSSTN | PUSH 1
110NSTTSSSSSTN | JSR > 1000001 (spewreg)
111
112@ Store random word into one memory location on each pass through this loop.
113NSSVSSSTTSTSSSSSSSSSN | Mark: 00011010 00000000
114SNS | DUP
115SSSTN | PUSH 1 (ptr)
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
128@ Clean up and return
129NSSVSSSTTSTSSSSSSSSTN | Mark: 00011010 00000001
130SNN | DROP
131NTN | RTS
132
133@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
134@ Name:
135@ memcmp (11011)
136@ Description:
137@ Compares two blocks of memory:
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)
150SSSTSN | PUSH 2
151NSTTSSSSSTN | JSR > 1000001 (spewreg)
152
153@ Compare one word on each pass through this loop.
154NSSVSSSTTSTTSSSSSSSSN | Mark: 00011011 00000000
155SNS | DUP
156SNS | DUP
157SSSTN | PUSH 1 (ptr)
158TTT | LOAD
159TSSS | ADD
160TTT | LOAD
161SNT | SWAP
162SSTSN | PUSH 2 (ptr)
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
174@ Decrement and loop again if loop is not complete.
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
188@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
189@ Name:
190@ memsrch (11100)
191@ Description:
192@ Searches the heap from 'address' to 'address+count'.
193@ If 'pattern' is found, the return value is a pointer to the matching word.
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)
203SSSTTN | PUSH 3
204NSTTSSSSSTN | JSR > 1000001 (spewreg)
205
206@ Compare one word on each pass through this loop.
207NSSVSSSTTTSSSSSSSSSSN | Mark: 00011100 00000000
208SNS | DUP
209SSSTN | PUSH 1 (ptr)
210TTT | LOAD
211TSSS | ADD
212TTT | LOAD
213SSSTTN | PUSH 3 (ptr)
214TTT | LOAD
215TSST | SUBTRACT
216NTSSSSTTTSSSSSSSSSTN | BRZ > 00011100 00000001
217SNS | DUP
218SSSTSN | PUSH 2 (ptr)
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
228SSSTN | PUSH 1 (ptr)
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
239@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
240@ Name:
241@ slurpreg (1000000)
242@ Description:
243@ Reads 'count' values from heap to stack in complementary order to 'spewreg'.
244@ Call Stack:
245@ count
246@ Return Stack:
247@ heap[count]
248@ ...
249@ heap[2]
250@ heap[1] <-- TOS
251@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
252NSSVTSSSSSSN | Mark: 1000000 (slurpreg)
253
254@ Load one word from heap on each pass.
255NSSVSTSSSSSSSSSSSSSSN | Mark: 01000000 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
265NTSSTSSSSSSSSSSSSSTN | BRZ > 01000000 00000001
266NSNSTSSSSSSSSSSSSSSN | JMP > 01000000 00000000
267NSSVSTSSSSSSSSSSSSSTN | Mark: 01000000 00000001
268SNN | DROP
269NTN | RTS
270
271@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
272@ Name:
273@ spewreg (1000001)
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 function uses heap[15] for temporary storage, thus limiting the total
281@ registers to 14 since heap[0] is reserved. Since this function populates
282@ the registers, encoding the value here seems a natural location to document
283@ the limit. TODO: Should this be turned into a CPP define?
284@ Call Stack:
285@ data-words
286@ ...
287@ data-words
288@ count <-- TOS
289@ Return Stack:
290@ <empty>
291@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
292NSSVTSSSSSTN | Mark: 1000001 (spewreg)
293
294@ Create a counter in heap[15] that doubles as a destination pointer generator.
295SSSTTTTN | PUSH 15 (ptr)
296SSSTN | PUSH 1
297TTS | STORE
298
299@ Store one word to heap on each pass.
300NSSVSTSSSSSTSSSSSSSSN | Mark: 01000001 00000000
301SNT | SWAP
302SSSTTTTN | PUSH 15 (ptr)
303TTT | LOAD
304SNT | SWAP
305TTS | STORE
306
307@ Check for loop completion.
308SNS | DUP
309SSSTTTTN | PUSH 15 (ptr)
310TTT | LOAD
311TSST | SUBTRACT
312NTSSTSSSSSTSSSSSSSTN | BRZ > 01000001 00000001
313
314@ Increment heap[15] if continuing.
315SSSTTTTN | PUSH 15 (ptr)
316SNS | DUP
317TTT | LOAD
318SSSTN | PUSH 1
319TSSS | ADD
320TTS | STORE
321NSNSTSSSSSTSSSSSSSSN | JMP > 01000001 00000000
322
323@ Clean up and return.
324NSSVSTSSSSSTSSSSSSSTN | Mark: 01000001 00000001
325SNN | DROP
326NTN | RTS
327
328@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
329@ Name:
330@ slurp (11110)
331@ Description:
332@ Reads values from heap to stack in complementary order to 'spew'.
333@ Call Stack:
334@ address
335@ count <-- TOS
336@ Return Stack:
337@ heap[address+count]
338@ ...
339@ heap[address+1]
340@ heap[address] <-- TOS
341@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
342NSSVTTTTSN | Mark: 11110 (slurp)
343SSSTSN | PUSH 2
344NSTTSSSSSTN | JSR > 1000001 (spewreg)
345
346@ Load one word from heap on each pass.
347NSSVSSSTTTTSSSSSSSSSN | Mark: 00011110 00000000
348SSSTN | PUSH 1 (ptr)
349TTT | LOAD
350SSSTSN | PUSH 2 (ptr)
351TTT | LOAD
352TSSS | ADD
353TTT | LOAD
354
355@ Check for loop completion.
356@ As a side effect, prepare the next address.
357SSSTN | PUSH 1 (ptr)
358SNS | DUP
359TTT | LOAD
360SNS | DUP
361NTSSSSTTTTSSSSSSSSTN | BRZ > 00011110 00000001
362SSSTN | PUSH 1
363TSST | SUBTRACT
364TTS | STORE
365NSNSSSTTTTSSSSSSSSSN | JMP > 00011110 00000000
366NSSVSSSTTTTSSSSSSSSTN | Mark: 00011110 00000001
367SNN | DROP
368SNN | DROP
369NTN | RTS
370
371@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
372@ Name:
373@ spew (11111)
374@ Description:
375@ Writes values from stack to heap in this order:
376@ TOS -> heap[address]
377@ TOS+1 -> heap[address+1]
378@ ...
379@ TOS+n -> heap[address+count]
380@ Call Stack:
381@ data-words
382@ ...
383@ data-words
384@ address
385@ count <-- TOS
386@ Return Stack:
387@ <empty>
388@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
389NSSVTTTTTN | Mark: 11111 (spew)
390SSSTSN | PUSH 2
391NSTTSSSSSTN | JSR > 1000001 (spewreg)
392
393@ Create a counter in heap[3] that doubles as a dest. pointer offset generator.
394SSSTTN | PUSH 3 (ptr)
395SSSSN | PUSH 0
396TTS | STORE
397
398@ Store one word to heap on each pass.
399NSSVSSSTTTTTSSSSSSSSN | Mark: 00011111 00000000
400SSSTSN | PUSH 2 (ptr)
401TTT | LOAD
402SSSTTN | PUSH 3 (ptr)
403TTT | LOAD
404TSSS | ADD
405SNT | SWAP
406TTS | STORE
407
408@ Check for loop completion.
409SSSTN | PUSH 1 (ptr)
410TTT | LOAD
411SSSTTN | PUSH 3 (ptr)
412TTT | LOAD
413TSST | SUBTRACT
414NTSSSSTTTTTSSSSSSSTN | BRZ > 00011111 00000001
415
416@ Increment heap[3] if continuing.
417SSSTTN | PUSH 3 (ptr)
418SNS | DUP
419TTT | LOAD
420SSSTN | PUSH 1
421TSSS | ADD
422TTS | STORE
423NSNSSSTTTTTSSSSSSSSN | JMP > 00011111 00000000
424
425@ Clean up and return.
426NSSVSSSTTTTTSSSSSSSTN | Mark: 00011111 00000001
427NTN | RTS
428
429#endif