1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>Mu - apps/tile/rpn.mu</title>
<meta name="Generator" content="Vim/8.1">
<meta name="plugin-version" content="vim8.1_v1">
<meta name="syntax" content="none">
<meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
<meta name="colorscheme" content="minimal-light">
<style type="text/css">
<!--
pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #c6c6c6; }
body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; }
a { color:inherit; }
* { font-size:12pt; font-size: 1em; }
.CommentedCode { color: #8a8a8a; }
.muComment { color: #005faf; }
.LineNr { }
.SpecialChar { color: #d70000; }
.Delimiter { color: #c000c0; }
.muFunction { color: #af5f00; text-decoration: underline; }
.Constant { color: #008787; }
.PreProc { color: #c000c0; }
-->
</style>
<script type='text/javascript'>
<!--
/* function to open any folds containing a jumped-to line before jumping to it */
function JumpToLine()
{
var lineNum;
lineNum = window.location.hash;
lineNum = lineNum.substr(1); /* strip off '#' */
if (lineNum.indexOf('L') == -1) {
lineNum = 'L'+lineNum;
}
var lineElem = document.getElementById(lineNum);
/* Always jump to new location even if the line was hidden inside a fold, or
* we corrected the raw number to a line ID.
*/
if (lineElem) {
lineElem.scrollIntoView(true);
}
return true;
}
if ('onhashchange' in window) {
window.onhashchange = JumpToLine;
}
-->
</script>
</head>
<body onload='JumpToLine();'>
<a href='https://github.com/akkartik/mu/blob/master/apps/tile/rpn.mu'>https://github.com/akkartik/mu/blob/master/apps/tile/rpn.mu</a>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr"> 1 </span><span class="PreProc">fn</span> <span class="muFunction"><a href='rpn.mu.html#L1'>evaluate</a></span> defs: (addr handle function), bindings: (addr table), scratch: (addr line), end: (addr word), out: (addr value-stack) <span class="Delimiter">{</span>
<span id="L2" class="LineNr"> 2 </span> <span class="PreProc">var</span> line/<span class="Constant">eax</span>: (addr line) <span class="SpecialChar"><-</span> copy scratch
<span id="L3" class="LineNr"> 3 </span> <span class="PreProc">var</span> word-ah/<span class="Constant">eax</span>: (addr handle word) <span class="SpecialChar"><-</span> <a href='../../131table.subx.html#L26'>get</a> line, data
<span id="L4" class="LineNr"> 4 </span> <span class="PreProc">var</span> curr/<span class="Constant">eax</span>: (addr word) <span class="SpecialChar"><-</span> <a href='../../120allocate.subx.html#L256'>lookup</a> *word-ah
<span id="L5" class="LineNr"> 5 </span> <span class="PreProc">var</span> curr-stream-storage: (stream byte <span class="Constant">0x10</span>)
<span id="L6" class="LineNr"> 6 </span> <span class="PreProc">var</span> curr-stream/<span class="Constant">edi</span>: (addr stream byte) <span class="SpecialChar"><-</span> address curr-stream-storage
<span id="L7" class="LineNr"> 7 </span> clear-value-stack out
<span id="L8" class="LineNr"> 8 </span> $evaluate:<span class="PreProc">loop</span>: <span class="Delimiter">{</span>
<span id="L9" class="LineNr"> 9 </span> <span class="muComment"># precondition (should never hit)</span>
<span id="L10" class="LineNr"> 10 </span> compare curr, <span class="Constant">0</span>
<span id="L11" class="LineNr"> 11 </span> <span class="PreProc">break-if-=</span>
<span id="L12" class="LineNr"> 12 </span> <span class="muComment"># update curr-stream</span>
<span id="L13" class="LineNr"> 13 </span> emit-word curr, curr-stream
<span id="L14" class="LineNr"> 14 </span><span class="CommentedCode">#? print-stream-to-real-screen curr-stream</span>
<span id="L15" class="LineNr"> 15 </span><span class="CommentedCode">#? print-string-to-real-screen "\n"</span>
<span id="L16" class="LineNr"> 16 </span> $evaluate:process-word: <span class="Delimiter">{</span>
<span id="L17" class="LineNr"> 17 </span> <span class="muComment"># if curr-stream is an operator, perform it</span>
<span id="L18" class="LineNr"> 18 </span> <span class="Delimiter">{</span>
<span id="L19" class="LineNr"> 19 </span> <span class="PreProc">var</span> is-add?/<span class="Constant">eax</span>: boolean <span class="SpecialChar"><-</span> <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, <span class="Constant">"+"</span>
<span id="L20" class="LineNr"> 20 </span> compare is-add?, <span class="Constant">0</span>
<span id="L21" class="LineNr"> 21 </span> <span class="PreProc">break-if-=</span>
<span id="L22" class="LineNr"> 22 </span> <span class="PreProc">var</span> _b/<span class="Constant">eax</span>: int <span class="SpecialChar"><-</span> pop-int-from-value-stack out
<span id="L23" class="LineNr"> 23 </span> <span class="PreProc">var</span> b/<span class="Constant">edx</span>: int <span class="SpecialChar"><-</span> copy _b
<span id="L24" class="LineNr"> 24 </span> <span class="PreProc">var</span> a/<span class="Constant">eax</span>: int <span class="SpecialChar"><-</span> pop-int-from-value-stack out
<span id="L25" class="LineNr"> 25 </span> a <span class="SpecialChar"><-</span> add b
<span id="L26" class="LineNr"> 26 </span> push-int-to-value-stack out, a
<span id="L27" class="LineNr"> 27 </span> <span class="PreProc">break</span> $evaluate:process-word
<span id="L28" class="LineNr"> 28 </span> <span class="Delimiter">}</span>
<span id="L29" class="LineNr"> 29 </span> <span class="Delimiter">{</span>
<span id="L30" class="LineNr"> 30 </span> <span class="PreProc">var</span> is-sub?/<span class="Constant">eax</span>: boolean <span class="SpecialChar"><-</span> <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, <span class="Constant">"-"</span>
<span id="L31" class="LineNr"> 31 </span> compare is-sub?, <span class="Constant">0</span>
<span id="L32" class="LineNr"> 32 </span> <span class="PreProc">break-if-=</span>
<span id="L33" class="LineNr"> 33 </span> <span class="PreProc">var</span> _b/<span class="Constant">eax</span>: int <span class="SpecialChar"><-</span> pop-int-from-value-stack out
<span id="L34" class="LineNr"> 34 </span> <span class="PreProc">var</span> b/<span class="Constant">edx</span>: int <span class="SpecialChar"><-</span> copy _b
<span id="L35" class="LineNr"> 35 </span> <span class="PreProc">var</span> a/<span class="Constant">eax</span>: int <span class="SpecialChar"><-</span> pop-int-from-value-stack out
<span id="L36" class="LineNr"> 36 </span> a <span class="SpecialChar"><-</span> subtract b
<span id="L37" class="LineNr"> 37 </span> push-int-to-value-stack out, a
<span id="L38" class="LineNr"> 38 </span> <span class="PreProc">break</span> $evaluate:process-word
<span id="L39" class="LineNr"> 39 </span> <span class="Delimiter">}</span>
<span id="L40" class="LineNr"> 40 </span> <span class="Delimiter">{</span>
<span id="L41" class="LineNr"> 41 </span> <span class="PreProc">var</span> is-mul?/<span class="Constant">eax</span>: boolean <span class="SpecialChar"><-</span> <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> curr-stream, <span class="Constant">"*"</span>
<span id="L42" class="LineNr"> 42 </span> compare is-mul?, <span class="Constant">0</span>
<span id="L43" class="LineNr"> 43 </span> <span class="PreProc">break-if-=</span>
<span id="L44" class="LineNr"> 44 </span> <span class="PreProc">var</span> _b/<span class="Constant">eax</span>: int <span class="SpecialChar"><-</span> pop-int-from-value-stack out
<span id="L45" class="LineNr"> 45 </span> <span class="PreProc">var</span> b/<span class="Constant">edx</span>: int <span class="SpecialChar"><-</span> copy _b
<span id="L46" class="LineNr"> 46 </span> <span class="PreProc">var</span> a/<span class="Constant">eax</span>: int <span class="SpecialChar"><-</span> pop-int-from-value-stack out
<span id="L47" class="LineNr"> 47 </span> a <span class="SpecialChar"><-</span> multiply b
<span id="L48" class="LineNr"> 48 </span> push-int-to-value-stack out, a
<span id="L49" class="LineNr"> 49 </span> <span class="PreProc">break</span> $evaluate:process-word
<span id="L50" class="LineNr"> 50 </span> <span class="Delimiter">}</span>
<span id="L51" class="LineNr"> 51 </span> <span class="muComment"># if curr-stream is a known function name, call it appropriately</span>
<span id="L52" class="LineNr"> 52 </span> <span class="Delimiter">{</span>
<span id="L53" class="LineNr"> 53 </span> <span class="PreProc">var</span> callee-h: (handle function)
<span id="L54" class="LineNr"> 54 </span> <span class="PreProc">var</span> callee-ah/<span class="Constant">eax</span>: (addr handle function) <span class="SpecialChar"><-</span> address callee-h
<span id="L55" class="LineNr"> 55 </span> <a href='rpn.mu.html#L101'>find-function</a> defs, curr-stream, callee-ah
<span id="L56" class="LineNr"> 56 </span> <span class="PreProc">var</span> callee/<span class="Constant">eax</span>: (addr function) <span class="SpecialChar"><-</span> <a href='../../120allocate.subx.html#L256'>lookup</a> *callee-ah
<span id="L57" class="LineNr"> 57 </span> compare callee, <span class="Constant">0</span>
<span id="L58" class="LineNr"> 58 </span> <span class="PreProc">break-if-=</span>
<span id="L59" class="LineNr"> 59 </span> <a href='rpn.mu.html#L122'>perform-call</a> callee, out, defs
<span id="L60" class="LineNr"> 60 </span> <span class="PreProc">break</span> $evaluate:process-word
<span id="L61" class="LineNr"> 61 </span> <span class="Delimiter">}</span>
<span id="L62" class="LineNr"> 62 </span> <span class="muComment"># if it's a name, push its value</span>
<span id="L63" class="LineNr"> 63 </span> <span class="Delimiter">{</span>
<span id="L64" class="LineNr"> 64 </span> compare bindings, <span class="Constant">0</span>
<span id="L65" class="LineNr"> 65 </span> <span class="PreProc">break-if-=</span>
<span id="L66" class="LineNr"> 66 </span> <span class="PreProc">var</span> tmp: (handle array byte)
<span id="L67" class="LineNr"> 67 </span> <span class="PreProc">var</span> curr-string-ah/<span class="Constant">edx</span>: (addr handle array byte) <span class="SpecialChar"><-</span> address tmp
<span id="L68" class="LineNr"> 68 </span> <a href='../../310copy-bytes.subx.html#L59'>stream-to-string</a> curr-stream, curr-string-ah <span class="muComment"># unfortunate leak</span>
<span id="L69" class="LineNr"> 69 </span> <span class="PreProc">var</span> curr-string/<span class="Constant">eax</span>: (addr array byte) <span class="SpecialChar"><-</span> <a href='../../120allocate.subx.html#L256'>lookup</a> *curr-string-ah
<span id="L70" class="LineNr"> 70 </span> <span class="PreProc">var</span> val-storage: (handle value)
<span id="L71" class="LineNr"> 71 </span> <span class="PreProc">var</span> val-ah/<span class="Constant">edi</span>: (addr handle value) <span class="SpecialChar"><-</span> address val-storage
<span id="L72" class="LineNr"> 72 </span> lookup-binding bindings, curr-string, val-ah
<span id="L73" class="LineNr"> 73 </span> <span class="PreProc">var</span> val/<span class="Constant">eax</span>: (addr value) <span class="SpecialChar"><-</span> <a href='../../120allocate.subx.html#L256'>lookup</a> *val-ah
<span id="L74" class="LineNr"> 74 </span> compare val, <span class="Constant">0</span>
<span id="L75" class="LineNr"> 75 </span> <span class="PreProc">break-if-=</span>
<span id="L76" class="LineNr"> 76 </span><span class="CommentedCode">#? print-string-to-real-screen "value of "</span>
<span id="L77" class="LineNr"> 77 </span><span class="CommentedCode">#? print-string-to-real-screen curr-string</span>
<span id="L78" class="LineNr"> 78 </span><span class="CommentedCode">#? print-string-to-real-screen " is "</span>
<span id="L79" class="LineNr"> 79 </span><span class="CommentedCode">#? print-int32-hex-to-real-screen result</span>
<span id="L80" class="LineNr"> 80 </span><span class="CommentedCode">#? print-string-to-real-screen "\n"</span>
<span id="L81" class="LineNr"> 81 </span> push-value-stack out, val
<span id="L82" class="LineNr"> 82 </span> <span class="PreProc">break</span> $evaluate:process-word
<span id="L83" class="LineNr"> 83 </span> <span class="Delimiter">}</span>
<span id="L84" class="LineNr"> 84 </span> <span class="muComment"># otherwise assume it's a literal int and push it</span>
<span id="L85" class="LineNr"> 85 </span> <span class="Delimiter">{</span>
<span id="L86" class="LineNr"> 86 </span> <span class="PreProc">var</span> n/<span class="Constant">eax</span>: int <span class="SpecialChar"><-</span> <a href='../../311decimal-int.subx.html#L46'>parse-decimal-int-from-stream</a> curr-stream
<span id="L87" class="LineNr"> 87 </span> push-int-to-value-stack out, n
<span id="L88" class="LineNr"> 88 </span> <span class="Delimiter">}</span>
<span id="L89" class="LineNr"> 89 </span> <span class="Delimiter">}</span>
<span id="L90" class="LineNr"> 90 </span> <span class="muComment"># termination check</span>
<span id="L91" class="LineNr"> 91 </span> compare curr, end
<span id="L92" class="LineNr"> 92 </span> <span class="PreProc">break-if-=</span>
<span id="L93" class="LineNr"> 93 </span> <span class="muComment"># update</span>
<span id="L94" class="LineNr"> 94 </span> <span class="PreProc">var</span> next-word-ah/<span class="Constant">edx</span>: (addr handle word) <span class="SpecialChar"><-</span> <a href='../../131table.subx.html#L26'>get</a> curr, next
<span id="L95" class="LineNr"> 95 </span> curr <span class="SpecialChar"><-</span> <a href='../../120allocate.subx.html#L256'>lookup</a> *next-word-ah
<span id="L96" class="LineNr"> 96 </span> <span class="muComment">#</span>
<span id="L97" class="LineNr"> 97 </span> <span class="PreProc">loop</span>
<span id="L98" class="LineNr"> 98 </span> <span class="Delimiter">}</span>
<span id="L99" class="LineNr"> 99 </span><span class="Delimiter">}</span>
<span id="L100" class="LineNr">100 </span>
<span id="L101" class="LineNr">101 </span><span class="PreProc">fn</span> <span class="muFunction"><a href='rpn.mu.html#L101'>find-function</a></span> first: (addr handle function), name: (addr stream byte), out: (addr handle function) <span class="Delimiter">{</span>
<span id="L102" class="LineNr">102 </span> <span class="PreProc">var</span> curr/<span class="Constant">esi</span>: (addr handle function) <span class="SpecialChar"><-</span> copy first
<span id="L103" class="LineNr">103 </span> $find-function:<span class="PreProc">loop</span>: <span class="Delimiter">{</span>
<span id="L104" class="LineNr">104 </span> <span class="PreProc">var</span> _f/<span class="Constant">eax</span>: (addr function) <span class="SpecialChar"><-</span> <a href='../../120allocate.subx.html#L256'>lookup</a> *curr
<span id="L105" class="LineNr">105 </span> <span class="PreProc">var</span> f/<span class="Constant">ecx</span>: (addr function) <span class="SpecialChar"><-</span> copy _f
<span id="L106" class="LineNr">106 </span> compare f, <span class="Constant">0</span>
<span id="L107" class="LineNr">107 </span> <span class="PreProc">break-if-=</span>
<span id="L108" class="LineNr">108 </span> <span class="PreProc">var</span> curr-name-ah/<span class="Constant">eax</span>: (addr handle array byte) <span class="SpecialChar"><-</span> <a href='../../131table.subx.html#L26'>get</a> f, name
<span id="L109" class="LineNr">109 </span> <span class="PreProc">var</span> curr-name/<span class="Constant">eax</span>: (addr array byte) <span class="SpecialChar"><-</span> <a href='../../120allocate.subx.html#L256'>lookup</a> *curr-name-ah
<span id="L110" class="LineNr">110 </span> <span class="PreProc">var</span> done?/<span class="Constant">eax</span>: boolean <span class="SpecialChar"><-</span> <a href='../../109stream-equal.subx.html#L9'>stream-data-equal?</a> name, curr-name
<span id="L111" class="LineNr">111 </span> compare done?, <span class="Constant">0</span> <span class="muComment"># false</span>
<span id="L112" class="LineNr">112 </span> <span class="Delimiter">{</span>
<span id="L113" class="LineNr">113 </span> <span class="PreProc">break-if-=</span>
<span id="L114" class="LineNr">114 </span> <a href='../../120allocate.subx.html#L489'>copy-handle</a> *curr, out
<span id="L115" class="LineNr">115 </span> <span class="PreProc">break</span> $find-function:<span class="PreProc">loop</span>
<span id="L116" class="LineNr">116 </span> <span class="Delimiter">}</span>
<span id="L117" class="LineNr">117 </span> curr <span class="SpecialChar"><-</span> <a href='../../131table.subx.html#L26'>get</a> f, next
<span id="L118" class="LineNr">118 </span> <span class="PreProc">loop</span>
<span id="L119" class="LineNr">119 </span> <span class="Delimiter">}</span>
<span id="L120" class="LineNr">120 </span><span class="Delimiter">}</span>
<span id="L121" class="LineNr">121 </span>
<span id="L122" class="LineNr">122 </span><span class="PreProc">fn</span> <span class="muFunction"><a href='rpn.mu.html#L122'>perform-call</a></span> _callee: (addr function), caller-stack: (addr value-stack), defs: (addr handle function) <span class="Delimiter">{</span>
<span id="L123" class="LineNr">123 </span> <span class="PreProc">var</span> callee/<span class="Constant">ecx</span>: (addr function) <span class="SpecialChar"><-</span> copy _callee
<span id="L124" class="LineNr">124 </span> <span class="muComment"># create bindings for args</span>
<span id="L125" class="LineNr">125 </span> <span class="PreProc">var</span> table-storage: table
<span id="L126" class="LineNr">126 </span> <span class="PreProc">var</span> table/<span class="Constant">esi</span>: (addr table) <span class="SpecialChar"><-</span> address table-storage
<span id="L127" class="LineNr">127 </span> initialize-table table, <span class="Constant">0x10</span>
<span id="L128" class="LineNr">128 </span> <a href='rpn.mu.html#L144'>bind-args</a> callee, caller-stack, table
<span id="L129" class="LineNr">129 </span> <span class="muComment"># obtain body</span>
<span id="L130" class="LineNr">130 </span> <span class="PreProc">var</span> body-ah/<span class="Constant">eax</span>: (addr handle line) <span class="SpecialChar"><-</span> <a href='../../131table.subx.html#L26'>get</a> callee, body
<span id="L131" class="LineNr">131 </span> <span class="PreProc">var</span> body/<span class="Constant">eax</span>: (addr line) <span class="SpecialChar"><-</span> <a href='../../120allocate.subx.html#L256'>lookup</a> *body-ah
<span id="L132" class="LineNr">132 </span> <span class="muComment"># perform call</span>
<span id="L133" class="LineNr">133 </span> <span class="PreProc">var</span> stack-storage: value-stack
<span id="L134" class="LineNr">134 </span> <span class="PreProc">var</span> stack/<span class="Constant">edi</span>: (addr value-stack) <span class="SpecialChar"><-</span> address stack-storage
<span id="L135" class="LineNr">135 </span> initialize-value-stack stack, <span class="Constant">0x10</span>
<span id="L136" class="LineNr">136 </span><span class="CommentedCode">#? print-string-to-real-screen "about to enter recursive eval\n"</span>
<span id="L137" class="LineNr">137 </span> <a href='rpn.mu.html#L1'>evaluate</a> defs, table, body, <span class="Constant">0</span>, stack
<span id="L138" class="LineNr">138 </span><span class="CommentedCode">#? print-string-to-real-screen "exited recursive eval\n"</span>
<span id="L139" class="LineNr">139 </span> <span class="muComment"># stitch result from stack into caller</span>
<span id="L140" class="LineNr">140 </span> <span class="PreProc">var</span> result/<span class="Constant">eax</span>: int <span class="SpecialChar"><-</span> pop-int-from-value-stack stack
<span id="L141" class="LineNr">141 </span> push-int-to-value-stack caller-stack, result
<span id="L142" class="LineNr">142 </span><span class="Delimiter">}</span>
<span id="L143" class="LineNr">143 </span>
<span id="L144" class="LineNr">144 </span><span class="PreProc">fn</span> <span class="muFunction"><a href='rpn.mu.html#L144'>bind-args</a></span> _callee: (addr function), caller-stack: (addr value-stack), table: (addr table) <span class="Delimiter">{</span>
<span id="L145" class="LineNr">145 </span> <span class="PreProc">var</span> callee/<span class="Constant">ecx</span>: (addr function) <span class="SpecialChar"><-</span> copy _callee
<span id="L146" class="LineNr">146 </span> <span class="PreProc">var</span> curr-arg-ah/<span class="Constant">eax</span>: (addr handle word) <span class="SpecialChar"><-</span> <a href='../../131table.subx.html#L26'>get</a> callee, args
<span id="L147" class="LineNr">147 </span> <span class="PreProc">var</span> curr-arg/<span class="Constant">eax</span>: (addr word) <span class="SpecialChar"><-</span> <a href='../../120allocate.subx.html#L256'>lookup</a> *curr-arg-ah
<span id="L148" class="LineNr">148 </span> <span class="muComment">#</span>
<span id="L149" class="LineNr">149 </span> <span class="PreProc">var</span> curr-key-storage: (handle array byte)
<span id="L150" class="LineNr">150 </span> <span class="PreProc">var</span> curr-key/<span class="Constant">edx</span>: (addr handle array byte) <span class="SpecialChar"><-</span> address curr-key-storage
<span id="L151" class="LineNr">151 </span> <span class="Delimiter">{</span>
<span id="L152" class="LineNr">152 </span> compare curr-arg, <span class="Constant">0</span>
<span id="L153" class="LineNr">153 </span> <span class="PreProc">break-if-=</span>
<span id="L154" class="LineNr">154 </span> <span class="muComment"># create binding</span>
<span id="L155" class="LineNr">155 </span> word-to-string curr-arg, curr-key
<span id="L156" class="LineNr">156 </span> <span class="Delimiter">{</span>
<span id="L157" class="LineNr">157 </span><span class="CommentedCode">#? var tmp/eax: (addr array byte) <- lookup *curr-key</span>
<span id="L158" class="LineNr">158 </span><span class="CommentedCode">#? print-string-to-real-screen "binding "</span>
<span id="L159" class="LineNr">159 </span><span class="CommentedCode">#? print-string-to-real-screen tmp</span>
<span id="L160" class="LineNr">160 </span><span class="CommentedCode">#? print-string-to-real-screen " to "</span>
<span id="L161" class="LineNr">161 </span> <span class="PreProc">var</span> curr-val/<span class="Constant">eax</span>: int <span class="SpecialChar"><-</span> pop-int-from-value-stack caller-stack
<span id="L162" class="LineNr">162 </span><span class="CommentedCode">#? print-int32-decimal-to-real-screen curr-val</span>
<span id="L163" class="LineNr">163 </span><span class="CommentedCode">#? print-string-to-real-screen "\n"</span>
<span id="L164" class="LineNr">164 </span> bind-int-in-table table, curr-key, curr-val
<span id="L165" class="LineNr">165 </span> <span class="Delimiter">}</span>
<span id="L166" class="LineNr">166 </span> <span class="muComment">#</span>
<span id="L167" class="LineNr">167 </span> <span class="PreProc">var</span> next-arg-ah/<span class="Constant">edx</span>: (addr handle word) <span class="SpecialChar"><-</span> <a href='../../131table.subx.html#L26'>get</a> curr-arg, next
<span id="L168" class="LineNr">168 </span> curr-arg <span class="SpecialChar"><-</span> <a href='../../120allocate.subx.html#L256'>lookup</a> *next-arg-ah
<span id="L169" class="LineNr">169 </span> <span class="PreProc">loop</span>
<span id="L170" class="LineNr">170 </span> <span class="Delimiter">}</span>
<span id="L171" class="LineNr">171 </span><span class="Delimiter">}</span>
<span id="L172" class="LineNr">172 </span>
<span id="L173" class="LineNr">173 </span><span class="muComment"># Copy of 'simplify' that just tracks the maximum stack depth needed</span>
<span id="L174" class="LineNr">174 </span><span class="muComment"># Doesn't actually need to simulate the stack, since every word has a predictable effect.</span>
<span id="L175" class="LineNr">175 </span><span class="PreProc">fn</span> <span class="muFunction"><a href='rpn.mu.html#L175'>max-stack-depth</a></span> first-word: (addr word), final-word: (addr word)<span class="PreProc"> -> </span>result/<span class="Constant">edi</span>: int <span class="Delimiter">{</span>
<span id="L176" class="LineNr">176 </span> <span class="PreProc">var</span> curr-word/<span class="Constant">eax</span>: (addr word) <span class="SpecialChar"><-</span> copy first-word
<span id="L177" class="LineNr">177 </span> <span class="PreProc">var</span> curr-depth/<span class="Constant">ecx</span>: int <span class="SpecialChar"><-</span> copy <span class="Constant">0</span>
<span id="L178" class="LineNr">178 </span> result <span class="SpecialChar"><-</span> copy <span class="Constant">0</span>
<span id="L179" class="LineNr">179 </span> $max-stack-depth:<span class="PreProc">loop</span>: <span class="Delimiter">{</span>
<span id="L180" class="LineNr">180 </span> $max-stack-depth:process-word: <span class="Delimiter">{</span>
<span id="L181" class="LineNr">181 </span> <span class="muComment"># handle operators</span>
<span id="L182" class="LineNr">182 </span> <span class="Delimiter">{</span>
<span id="L183" class="LineNr">183 </span> <span class="PreProc">var</span> is-add?/<span class="Constant">eax</span>: boolean <span class="SpecialChar"><-</span> word-equal? curr-word, <span class="Constant">"+"</span>
<span id="L184" class="LineNr">184 </span> compare is-add?, <span class="Constant">0</span>
<span id="L185" class="LineNr">185 </span> <span class="PreProc">break-if-=</span>
<span id="L186" class="LineNr">186 </span> curr-depth <span class="SpecialChar"><-</span> decrement
<span id="L187" class="LineNr">187 </span> <span class="PreProc">break</span> $max-stack-depth:process-word
<span id="L188" class="LineNr">188 </span> <span class="Delimiter">}</span>
<span id="L189" class="LineNr">189 </span> <span class="Delimiter">{</span>
<span id="L190" class="LineNr">190 </span> <span class="PreProc">var</span> is-sub?/<span class="Constant">eax</span>: boolean <span class="SpecialChar"><-</span> word-equal? curr-word, <span class="Constant">"-"</span>
<span id="L191" class="LineNr">191 </span> compare is-sub?, <span class="Constant">0</span>
<span id="L192" class="LineNr">192 </span> <span class="PreProc">break-if-=</span>
<span id="L193" class="LineNr">193 </span> curr-depth <span class="SpecialChar"><-</span> decrement
<span id="L194" class="LineNr">194 </span> <span class="PreProc">break</span> $max-stack-depth:process-word
<span id="L195" class="LineNr">195 </span> <span class="Delimiter">}</span>
<span id="L196" class="LineNr">196 </span> <span class="Delimiter">{</span>
<span id="L197" class="LineNr">197 </span> <span class="PreProc">var</span> is-mul?/<span class="Constant">eax</span>: boolean <span class="SpecialChar"><-</span> word-equal? curr-word, <span class="Constant">"*"</span>
<span id="L198" class="LineNr">198 </span> compare is-mul?, <span class="Constant">0</span>
<span id="L199" class="LineNr">199 </span> <span class="PreProc">break-if-=</span>
<span id="L200" class="LineNr">200 </span> curr-depth <span class="SpecialChar"><-</span> decrement
<span id="L201" class="LineNr">201 </span> <span class="PreProc">break</span> $max-stack-depth:process-word
<span id="L202" class="LineNr">202 </span> <span class="Delimiter">}</span>
<span id="L203" class="LineNr">203 </span> <span class="muComment"># otherwise it's an int (do we need error-checking?)</span>
<span id="L204" class="LineNr">204 </span> curr-depth <span class="SpecialChar"><-</span> increment
<span id="L205" class="LineNr">205 </span> <span class="muComment"># update max depth if necessary</span>
<span id="L206" class="LineNr">206 </span> <span class="Delimiter">{</span>
<span id="L207" class="LineNr">207 </span> compare curr-depth, result
<span id="L208" class="LineNr">208 </span> <span class="PreProc">break-if-<=</span>
<span id="L209" class="LineNr">209 </span> result <span class="SpecialChar"><-</span> copy curr-depth
<span id="L210" class="LineNr">210 </span> <span class="Delimiter">}</span>
<span id="L211" class="LineNr">211 </span> <span class="Delimiter">}</span>
<span id="L212" class="LineNr">212 </span> <span class="muComment"># if curr-word == final-word break</span>
<span id="L213" class="LineNr">213 </span> compare curr-word, final-word
<span id="L214" class="LineNr">214 </span> <span class="PreProc">break-if-=</span>
<span id="L215" class="LineNr">215 </span> <span class="muComment"># curr-word = curr-word->next</span>
<span id="L216" class="LineNr">216 </span> <span class="PreProc">var</span> next-word-ah/<span class="Constant">edx</span>: (addr handle word) <span class="SpecialChar"><-</span> <a href='../../131table.subx.html#L26'>get</a> curr-word, next
<span id="L217" class="LineNr">217 </span> curr-word <span class="SpecialChar"><-</span> <a href='../../120allocate.subx.html#L256'>lookup</a> *next-word-ah
<span id="L218" class="LineNr">218 </span> <span class="muComment">#</span>
<span id="L219" class="LineNr">219 </span> <span class="PreProc">loop</span>
<span id="L220" class="LineNr">220 </span> <span class="Delimiter">}</span>
<span id="L221" class="LineNr">221 </span><span class="Delimiter">}</span>
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->
|