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