Added label initialization check to `vvi`.
[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
18NSTTTTTTN | JSR > 11111 (spew)
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
62NSTTTTTTN | JSR > 11111 (spew)
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
110NSTTTTTTN | JSR > 11111 (spew)
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
151NSTTTTTTN | JSR > 11111 (spew)
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
204NSTTTTTTN | JSR > 11111 (spew)
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@ 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
324
325#endif