4 <ENTRY ARITH-ANA MOD-ANA ASTATE ABS-ANA ROT-ANA LSH-ANA FIX-ANA FLOAT-ANA ARITHP-ANA HACK-BOUNDS BIT-TEST-ANA>
6 <USE "SYMANA" "CHKDCL" "COMPDEC" "ADVMESS" "NPRINT">
8 " This file contains analyzers and code generators for arithmetic
9 SUBRs and predicates. For convenience many of the SUBRs that are
10 similar are combined into one analyzer/generator. For more info
11 on analyzers see SYMANA and on generators see CODGEN.
14 <SETG ASTATE '[![2 3 5!] ![2 4 5!] ![4 3 5!] ![4 4 5!] ![5 5 5!]]>
16 <GDECL (ASTATE) <VECTOR [REST <UVECTOR [REST FIX]>]>>
18 " Analyze +,-,* and /. Take care of no arg and one arg problems."
21 <GFCN
\1aARITH-ANA ("VALUE" ANY NODE ANY) NOD4 RTYP5>
22 <TEMP TEMP3:LBIND TEMP13 (TEMP14 %<>) NN6 DEFLT7 K9:LIST TEMP43 N94:NODE>
24 <GETS 'BIND = TEMP3 (TYPE LBIND)>
25 <BBIND 'NOD 'NODE %<> NOD4>
28 <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
29 <NTHR TEMP14 1 = TEMP13 (RECORD-TYPE LBIND)>
31 <NTHUV TEMP13 4 = NN6>
35 <CALL '
\1aGET-DF 1 = DEFLT7>
36 <BBIND 'STATE 'FIX 'FIX 1>
37 <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
38 <NTHR TEMP14 1 = TEMP13 (RECORD-TYPE LBIND)>
40 <NTHUV TEMP13 5 = K9 (TYPE LIST)>
42 <BBIND 'ALL-CONST 'ANY 'FIX 'ALL-CONST>
46 <CALL '
\1aTYPE-OK? 2 = TEMP13>
47 <TYPE? TEMP13 <TYPE-CODE FALSE> - PHRASE21>
49 <SET TEMP13 'FIX (TYPE ATOM)>
52 <SET TEMP13 <OR FIX FLOAT> (TYPE FORM)>
54 <EMPL? K9 - PHRASE25 (TYPE LIST) (DEAD-FALL K9 NN6 TEMP13)>
55 <NTHR 'NOD 2 = TEMP13 (RECORD-TYPE ATOM) (TYPE LBIND)>
56 <NTHR TEMP13 1 = TEMP13 (RECORD-TYPE LBIND)>
57 <PUTUV TEMP13 1 2 (TYPE FIX)>
59 <NTHR 'NOD 2 = TEMP13 (RECORD-TYPE ATOM) (TYPE LBIND)>
60 <NTHR TEMP13 1 = TEMP13 (RECORD-TYPE LBIND)>
63 <CALL '
\1aTYPE 1 = TEMP14>
64 <PUTUV TEMP13 3 TEMP14>
66 <NTHR 'NOD 2 = TEMP13 (RECORD-TYPE ATOM) (TYPE LBIND)>
67 <NTHR TEMP13 1 = TEMP13 (RECORD-TYPE LBIND)>
68 <PUTUV TEMP13 4 DEFLT7>
70 <NTHR 'NOD 2 = TEMP13 (RECORD-TYPE ATOM) (TYPE LBIND)>
71 <NTHR TEMP13 1 = TEMP13 (RECORD-TYPE LBIND)>
72 <PUTUV TEMP13 5 () (TYPE LIST)>
78 <CALL '
\1aTYPE 1 = STACK>
81 <RESTL K9 1 = TEMP14 (TYPE LIST)>
82 <EMPL? TEMP14 - PHRASE37 (TYPE LIST) (DEAD-JUMP DEFLT7)>
84 <NTHL K9 1 = TEMP14 (TYPE NODE)>
85 <NTHUV TEMP14 1 = TEMP14 (TYPE FIX)>
86 <VEQUAL? TEMP14 3 + PHRASE37 (TYPE FIX) (DEAD-JUMP DEFLT7)>
88 <NTHL K9 1 = TEMP14 (TYPE NODE)>
89 <NTHUV TEMP14 1 = TEMP14 (TYPE FIX)>
90 <VEQUAL? TEMP14 68 + PHRASE37 (TYPE FIX) (DEAD-JUMP DEFLT7)>
92 <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
93 <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
94 <NTHUV TEMP14 9 = TEMP14>
96 <EQUAL? TEMP14 TEMP43 - PHRASE40 (DEAD-JUMP RTYP5 DEFLT7 NN6)>
98 <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
99 <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
102 <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
103 <NTHR TEMP14 1 = STACK (RECORD-TYPE LBIND)>
107 <CALL '
\1aTYPE 1 = STACK>
111 <CALL '
\1aNODE1 5 = TEMP14>
112 <CONS TEMP14 () = TEMP14>
117 <PUTUV TEMP43 5 K9 (TYPE LIST)>
122 <NTHL K9 1 = STACK (TYPE NODE)>
125 <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
126 <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
127 <NTHUV TEMP43 4 = STACK>
129 <CALL '
\1aEANA 3 = TEMP13>
130 <NTHL K9 1 = TEMP43 (TYPE NODE)>
131 <NTHUV TEMP43 1 = TEMP43 (TYPE FIX)>
132 <VEQUAL? TEMP43 2 - PHRASE55 (TYPE FIX) (DEAD-JUMP K9)>
134 <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
135 <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
136 <NTHUV TEMP43 9 = TEMP43>
138 <EQUAL? TEMP43 TEMP14 - PHRASE57>
140 <NTHL K9 1 = TEMP14 (TYPE NODE)>
142 <NTHUV TEMP14 4 = TEMP14>
143 <TYPE? TEMP14 <TYPE-CODE FIX> - TAG60>
144 <SUB 0 TEMP14 = TEMP14 (TYPE FIX)>
147 <SUBF 0.0 TEMP14 = TEMP14 (TYPE FLOAT)>
149 <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
150 <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
151 <PUTUV TEMP43 4 TEMP14>
155 <NTHL K9 1 = TEMP43 (TYPE NODE)>
157 <NTHUV TEMP43 4 = TEMP43>
158 <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
159 <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
160 <PUTUV TEMP14 4 TEMP43>
163 <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
164 <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
165 <PUTUV TEMP14 1 2 (TYPE FIX)>
167 <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
168 <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
170 <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
171 <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
172 <NTHUV TEMP43 4 = STACK>
174 <CALL '
\1aTYPE 1 = TEMP43>
175 <PUTUV TEMP14 3 TEMP43>
177 <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
178 <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
179 <PUTUV TEMP14 5 () (TYPE LIST)>
183 <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
184 <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
185 <NTHUV TEMP14 9 = TEMP14>
187 <EQUAL? TEMP14 TEMP43 - PHRASE76>
189 <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
190 <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
191 <PUTUV TEMP43 1 38 (TYPE FIX)>
195 <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
196 <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
197 <PUTUV TEMP43 1 42 (TYPE FIX)>
201 <SET TEMP43 K9 (TYPE LIST)>
205 <EMPL? TEMP43 + MAPAP89 (DEAD-JUMP TEMP43 TEMP13)>
206 <NTHL TEMP43 1 = N94>
207 <FRAME '
\1aARITH-ELE>
211 <NTHR 'NOD 2 = DEFLT7 (RECORD-TYPE ATOM) (TYPE LBIND)>
212 <NTHR DEFLT7 1 = TEMP14 (RECORD-TYPE LBIND)>
214 <NTHUV TEMP14 9 = STACK>
216 <CALL '
\1aARITH-ELE 3>
217 <RESTL TEMP43 1 = TEMP43 (TYPE LIST)>
220 <VEQUAL? NN6 '+ - PHRASE101>
221 <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
222 <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
223 <FRAME '
\1aFLUSH-CONST>
226 <CALL '
\1aFLUSH-CONST 2 = TEMP13>
227 <PUTUV TEMP43 5 TEMP13 (TYPE LIST)>
231 <VEQUAL? NN6 '- - PHRASE105>
232 <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
233 <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
234 <FRAME '
\1aFLUSH-CONST>
235 <RESTL K9 1 = STACK (TYPE LIST)>
237 <CALL '
\1aFLUSH-CONST 2 = TEMP13>
238 <NTHL K9 1 = TEMP14 (TYPE NODE)>
240 <CONS TEMP14 TEMP13 = K9>
242 <PUTUV TEMP43 5 K9 (TYPE LIST)>
244 <EMPL? K9 + PHRASE152>
245 <RESTL K9 1 = TEMP13 (TYPE LIST)>
246 <EMPL? TEMP13 - PHRASE152>
248 <NTHR 'NOD 2 = TEMP13 (RECORD-TYPE ATOM) (TYPE LBIND)>
249 <NTHR TEMP13 1 = TEMP13 (RECORD-TYPE LBIND)>
253 <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
254 <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
255 <PUTUV TEMP43 9 TEMP13>
259 <VEQUAL? NN6 '* - PHRASE115>
260 <FRAME '
\1aFIND-ZERO>
262 <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
263 <NTHR TEMP43 1 = STACK (RECORD-TYPE LBIND)>
265 <CALL '
\1aFIND-ZERO 2 = TEMP43>
266 <TYPE? TEMP43 <TYPE-CODE FALSE> + PHRASE117>
268 <NTHR 'STATE 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
269 <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
270 <VEQUAL? TEMP43 2 - PHRASE122 (TYPE FIX)>
272 <SET TEMP43 0 (TYPE FIX)>
275 <SET TEMP43 0.0 (TYPE FLOAT)>
277 <NTHR 'ALL-CONST 2 = TEMP13 (RECORD-TYPE ATOM) (TYPE LBIND)>
278 <PUTR TEMP13 1 TEMP43 (RECORD-TYPE LBIND)>
282 <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
283 <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
284 <FRAME '
\1aFLUSH-CONST>
287 <CALL '
\1aFLUSH-CONST 2 = TEMP13>
288 <PUTUV TEMP43 5 TEMP13 (TYPE LIST)>
292 <VEQUAL? NN6 '/ - PHRASE152>
293 <FRAME '
\1aFIND-ZERO>
294 <RESTL K9 1 = STACK (TYPE LIST)>
295 <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
296 <NTHR TEMP43 1 = STACK (RECORD-TYPE LBIND)>
298 <CALL '
\1aFIND-ZERO 2 = TEMP43>
299 <TYPE? TEMP43 <TYPE-CODE FALSE> + PHRASE134>
301 <FRAME '
\1aCOMPILE-ERROR>
302 <PUSH "Divide by 0 ">
303 <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
304 <NTHR TEMP43 1 = STACK (RECORD-TYPE LBIND)>
306 <CALL '
\1aCOMPILE-ERROR 2>
309 <FRAME '
\1aFIND-ZERO>
310 <NTHL K9 1 = TEMP14 (TYPE NODE)>
311 <CONS TEMP14 () = STACK>
313 <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
314 <NTHR TEMP14 1 = STACK (RECORD-TYPE LBIND)>
316 <CALL '
\1aFIND-ZERO 2 = TEMP14>
317 <TYPE? TEMP14 <TYPE-CODE FALSE> + PHRASE141>
319 <NTHR 'STATE 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
320 <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
321 <VEQUAL? TEMP14 2 - PHRASE146 (TYPE FIX)>
323 <SET TEMP14 0 (TYPE FIX)>
326 <SET TEMP14 0.0 (TYPE FLOAT)>
328 <NTHR 'ALL-CONST 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
329 <PUTR TEMP43 1 TEMP14 (RECORD-TYPE LBIND)>
333 <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
334 <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
335 <FRAME '
\1aFLUSH-CONST>
336 <RESTL K9 1 = STACK (TYPE LIST)>
338 <CALL '
\1aFLUSH-CONST 2 = TEMP43>
339 <NTHL K9 1 = TEMP13 (TYPE NODE)>
340 <CONS TEMP13 TEMP43 = TEMP43>
342 <PUTUV TEMP14 5 TEMP43 (TYPE LIST)>
345 <NTHR 'ALL-CONST 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
346 <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
347 <TYPE? TEMP14 <TYPE-CODE FALSE> + PHRASE157 (DEAD-FALL K9 NN6)>
349 <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
350 <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
351 <PUTUV TEMP14 1 2 (TYPE FIX)>
353 <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
354 <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
356 <NTHR 'ALL-CONST 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
357 <NTHR TEMP43 1 = STACK (RECORD-TYPE LBIND)>
359 <CALL '
\1aTYPE 1 = TEMP43>
360 <PUTUV TEMP14 3 TEMP43>
362 <NTHR 'ALL-CONST 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
363 <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
364 <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
365 <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
366 <PUTUV TEMP43 4 TEMP14>
368 <NTHR 'NOD 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
369 <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
370 <PUTUV TEMP43 5 () (TYPE LIST)>
374 <NTHR 'STATE 2 = TEMP43 (RECORD-TYPE ATOM) (TYPE LBIND)>
375 <NTHR TEMP43 1 = TEMP43 (RECORD-TYPE LBIND)>
376 <LESS? TEMP43 5 - PHRASE173 (TYPE FIX) (DEAD-JUMP K9 NN6)>
378 <VEQUAL? NN6 'MAX + BOOL181 (DEAD-JUMP NN6)>
379 <VEQUAL? NN6 'MIN - PHRASE180>
382 <SET TEMP43 35 (TYPE FIX)>
385 <SET TEMP43 18 (TYPE FIX)>
387 <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
388 <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
389 <PUTUV TEMP14 1 TEMP43 (TYPE FIX)>
391 <SET TEMP14 K9 (TYPE LIST)>
396 <EMPL? TEMP14 + PHRASE195 (DEAD-JUMP TEMP14)>
397 <NTHL TEMP14 1 = N94>
398 <NTHUV N94 1 = DEFLT7 (TYPE FIX)>
399 <VEQUAL? DEFLT7 3 - PHRASE194 (TYPE FIX) (DEAD-JUMP N94)>
401 <PUTUV N94 1 68 (TYPE FIX)>
404 <RESTL TEMP14 1 = TEMP14 (TYPE LIST)>
407 <NTHR 'NOD 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
408 <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
409 <PUTUV TEMP14 1 52 (TYPE FIX)>
413 <NTHR 'STATE 2 = TEMP14 (RECORD-TYPE ATOM) (TYPE LBIND)>
414 <NTHR TEMP14 1 = TEMP14 (RECORD-TYPE LBIND)>
415 <SUB TEMP14 1 = TEMP14 (TYPE FIX)>
416 <NTHUV [FIX FLOAT FLOAT <OR FIX FLOAT>] TEMP14 = STACK>
421 <CALL '
\1aTYPE-OK? 2 = TEMP13>
430 <GFCN
\1aFIND-ZERO ("VALUE" <OR ATOM FALSE> <LIST [REST NODE]> NODE) K4 NOD5>
431 <TEMP TEMP10 TEMP20 TEMP26>
433 <LENUV NOD5 = TEMP10 (TYPE FIX)>
434 <LESS? TEMP10 8 + TAG11 (TYPE FIX) (DEAD-JUMP NOD5)>
436 <NTHUV NOD5 8 = TEMP10>
438 <TYPE? TEMP10 <TYPE-CODE FALSE> + TAG11 (DEAD-FALL K4)>
442 <SET TEMP20 %<> (TYPE FALSE)>
443 <SET TEMP10 K4 (TYPE LIST)>
448 <EMPL? TEMP10 + MAPAP16 (DEAD-JUMP TEMP10) (DEAD-FALL TEMP20)>
449 <NTHL TEMP10 1 = TEMP20>
450 <NTHUV TEMP20 1 = TEMP26 (TYPE FIX)>
451 <VEQUAL? TEMP26 2 - PEEP31 (TYPE FIX) (DEAD-JUMP TEMP20)>
453 <NTHUV TEMP20 4 = TEMP26>
455 <VEQUAL? TEMP26 0 + TAG28 (TYPE FIX) (DEAD-JUMP TEMP10)>
458 <SET TEMP20 %<> (TYPE FALSE)>
463 <RESTL TEMP10 1 = TEMP10 (TYPE LIST)>
470 <GFCN
\1aFLUSH-CONST ("VALUE" <LIST [REST NODE]> <LIST [REST NODE]> FIX) K4 C5>
471 <TEMP FC6:FLOAT KK7:LIST (KP8:LIST ()) TEMP9 NN12:NODE>
473 <FLOAT C5 = FC6 (TYPE FLOAT)>
478 <EMPL? KK7 - PHRASE15 (TYPE LIST) (DEAD-FALL C5 KP8 KK7 FC6)>
482 <NTHL KK7 1 = NN12 (TYPE NODE)>
483 <NTHUV NN12 1 = TEMP9 (TYPE FIX)>
484 <VEQUAL? TEMP9 2 - PHRASE17 (TYPE FIX) (DEAD-JUMP NN12 KP8)>
486 <NTHUV NN12 4 = TEMP9>
487 <EQUAL? TEMP9 C5 + BOOL20 (DEAD-JUMP NN12)>
489 <NTHUV NN12 4 = TEMP9>
491 <EQUAL? TEMP9 FC6 - PHRASE17 (DEAD-JUMP KP8)>
494 <VEQUAL? K4 KK7 - PHRASE22 (DEAD-FALL KK7)>
495 <RESTL K4 1 = KK7 (TYPE LIST)>
498 <EMPL? K4 - PHRASE26 (TYPE LIST) (DEAD-FALL C5 KP8 KK7 FC6)>
502 <RESTL KK7 1 = TEMP9 (TYPE LIST)>
509 <RESTL KK7 1 = KK7 (TYPE LIST)>
513 <GFCN
\1aGET-DF ("VALUE" ANY ATOM) S4>
514 <TEMP TEMP5:VECTOR TEMP10 TEMP11>
516 <GVAL 'DFS = TEMP5 (TYPE VECTOR)>
517 <SET TEMP10 [MAX MIN * / - +] (TYPE VECTOR)>
518 <LOOP (S4 VALUE) (TEMP10 LENGTH VALUE)>
520 <NTHUV TEMP10 1 = TEMP11>
521 <VEQUAL? TEMP11 S4 + TAG7 (DEAD-JUMP S4)>
523 <RESTUV TEMP10 1 = TEMP10 (TYPE VECTOR)>
524 <EMPUV? TEMP10 - TAG8 (DEAD-FALL S4 TEMP10)>
525 <SET TEMP10 %<> (TYPE FALSE)>
527 <LENUV TEMP10 = TEMP10 (TYPE FIX)>
528 <NTHUV TEMP5 TEMP10 = TEMP11>
533 <SETG DFS [0 0 1 1 <CHTYPE <MIN> FIX> <CHTYPE <MAX> FIX>]>
538 <GFCN
\1aARITH-ELE ("VALUE" FIX NODE ANY "OPTIONAL" ANY) N6 RT7 OP8>
539 <OPT-DISPATCH 2 %<> OPT4 OPT5>
543 <TEMP (FL11 %<>) A-C12 NOD13 ISTATE14:FIX TEMP26>
545 <GEN-LVAL 'ALL-CONST = A-C12>
546 <GEN-LVAL 'NOD = NOD13>
547 <GEN-LVAL 'STATE = ISTATE14>
548 <NTHUV N6 1 = TEMP26 (TYPE FIX)>
549 <VEQUAL? TEMP26 3 + BOOL25 (TYPE FIX) (DEAD-JUMP OP8 A-C12 FL11)>
551 <NTHUV N6 1 = TEMP26 (TYPE FIX)>
552 <VEQUAL? TEMP26 68 - PHRASE24 (TYPE FIX) (DEAD-FALL OP8 A-C12 FL11)>
555 <SET FL11 'T (TYPE ATOM)>
557 <NTHUV N6 5 = TEMP26 (TYPE LIST)>
558 <NTHL TEMP26 1 = STACK (TYPE NODE)>
565 <UBLOCK <TYPE-CODE VECTOR> 2 = STACK>
566 <CALL '
\1aFORM 2 = STACK>
567 <NTHUV NOD13 4 = STACK>
569 <CALL '
\1aEANA 3 = NOD13>
570 <NTHUV N6 5 = TEMP26 (TYPE LIST)>
571 <NTHL TEMP26 1 = TEMP26 (TYPE NODE)>
572 <NTHUV TEMP26 3 = TEMP26>
575 <GEN-SET 'ALL-CONST %<>>
578 <CALL '
\1aISTYPE? 1 = A-C12>
579 <TYPE? A-C12 <TYPE-CODE FALSE> + BOOL33 (DEAD-JUMP NOD13)>
581 <FRAME '
\1aGET-ELE-TYPE>
585 <CALL '
\1aGET-ELE-TYPE 2 = TEMP26>
586 <TYPE? TEMP26 <TYPE-CODE FALSE> - BOOL32 (DEAD-FALL TEMP26)>
588 <SET TEMP26 'ANY (TYPE ATOM)>
598 <NTHUV NOD13 4 = STACK>
600 <CALL '
\1aEANA 3 = NOD13>
601 <NTHUV N6 1 = TEMP26 (TYPE FIX)>
602 <VEQUAL? TEMP26 2 - PHRASE40 (TYPE FIX) (DEAD-JUMP OP8 A-C12)>
604 <VEQUAL? ISTATE14 4 + BOOL43 (TYPE FIX)>
605 <VEQUAL? ISTATE14 3 - PHRASE42 (TYPE FIX)>
607 <NTHUV N6 4 = TEMP26>
608 <TYPE? TEMP26 <TYPE-CODE FLOAT> + TAG44>
609 <FLOAT TEMP26 = TEMP26 (TYPE FLOAT)>
615 <EQUAL? A-C12 'ALL-CONST - PHRASE46 (DEAD-FALL OP8 A-C12)>
616 <NTHUV N6 4 = TEMP26>
619 <TYPE? A-C12 <TYPE-CODE FALSE> + PHRASE53 (DEAD-JUMP OP8 A-C12)>
624 <ACALL OP8 2 = TEMP26>
627 <GEN-SET 'ALL-CONST TEMP26>
631 <GEN-SET 'ALL-CONST %<>>
635 <CALL '
\1aISTYPE? 1 = TEMP26>
636 <VEQUAL? TEMP26 'FIX + PEEP82 (DEAD-JUMP FL11)>
638 <EQUAL? NOD13 'FLOAT + PEEP81 (DEAD-JUMP FL11)>
642 <CALL '
\1aTYPE-OK? 2 = A-C12>
643 <TYPE? A-C12 <TYPE-CODE FALSE> - PHRASE60>
645 <VEQUAL? FL11 0 + PHRASE63>
647 <FRAME '
\1aTYPE-MERGE>
648 <PUSH <STRUCTURED [REST FIX]>>
650 <CALL '
\1aTYPE-MERGE 2 = A-C12>
653 <SET A-C12 'FIX (TYPE ATOM)>
658 <SET TEMP26 1 (TYPE FIX)>
664 <CALL '
\1aTYPE-OK? 2 = A-C12>
665 <TYPE? A-C12 <TYPE-CODE FALSE> - PHRASE66 (DEAD-JUMP FL11)>
667 <VEQUAL? FL11 0 + PHRASE69>
669 <FRAME '
\1aTYPE-MERGE>
670 <PUSH <STRUCTURED [REST FLOAT]>>
672 <CALL '
\1aTYPE-MERGE 2 = A-C12>
675 <SET A-C12 'FLOAT (TYPE ATOM)>
680 <SET TEMP26 2 (TYPE FIX)>
683 <SET TEMP26 3 (TYPE FIX)>
687 <GEN-LVAL 'VERBOSE = TEMP26>
688 <TYPE? TEMP26 <TYPE-CODE FALSE> + PHRASE74 (DEAD-JUMP N6 NOD13)>
690 <VEQUAL? FL11 3 - PHRASE74 (TYPE FIX) (DEAD-JUMP N6 NOD13)>
692 <NTHUV N6 2 = STACK (TYPE NODE)>
693 <CONS NOD13 () = TEMP26>
695 <CONS " is of type: " TEMP26 = TEMP26>
696 <CONS N6 TEMP26 = TEMP26>
698 <CONS "Arithmetic can't open compile because: " TEMP26 = STACK>
700 <CALL '
\1aADDVMESS 2>
702 <GVAL 'ASTATE = TEMP26 (TYPE VECTOR)>
703 <NTHUV TEMP26 ISTATE14 = A-C12 (TYPE UVECTOR)>
704 <DEAD TEMP26 ISTATE14>
705 <NTHUU A-C12 FL11 = TEMP26 (TYPE FIX)>
707 <GEN-SET 'STATE TEMP26>
712 <GFCN
\1aABS-ANA ("VALUE" ANY NODE ANY) N4 RT5>
715 <NTHUV N4 5 = K6 (TYPE LIST)>
719 <CALL '
\1aSEGFLUSH 2 = TEMP9>
720 <TYPE? TEMP9 <TYPE-CODE FALSE> - PHRASE11 (DEAD-JUMP RT5 N4 K6) (DEAD-FALL TEMP9)>
722 <LENL K6 = STACK (TYPE FIX)>
727 <PUTUV N4 1 38 (TYPE FIX)>
730 <NTHL K6 1 = STACK (TYPE NODE)>
732 <PUSH <OR FIX FLOAT>>
734 <CALL '
\1aEANA 3 = TEMP9>
737 <GVAL 'ABS-DECL = STACK>
740 <CALL '
\1aTYPE-OK? 2 = STACK>
743 <CALL '
\1aTYPE-OK? 2 = TEMP9>
748 <SETG ABS-DECL <FORM OR FLOAT <FORM FIX (0 <MIN>)>>>
750 <COND (<GASSIGNED? ABS-ANA> <PUTPROP ,ABS ANALYSIS ,ABS-ANA>)>
753 <GFCN
\1aMOD-ANA ("VALUE" ANY NODE ANY) N4 R5>
754 <TEMP K6:LIST TEMP9 TEMP17>
756 <NTHUV N4 5 = K6 (TYPE LIST)>
760 <CALL '
\1aSEGFLUSH 2 = TEMP9>
761 <TYPE? TEMP9 <TYPE-CODE FALSE> - PHRASE18>
764 <LENL K6 = STACK (TYPE FIX)>
770 <NTHL K6 1 = STACK (TYPE NODE)>
775 <RESTL K6 1 = TEMP9 (TYPE LIST)>
776 <NTHL TEMP9 1 = STACK (TYPE NODE)>
781 <NTHL K6 1 = TEMP9 (TYPE NODE)>
782 <NTHUV TEMP9 1 = TEMP9 (TYPE FIX)>
783 <VEQUAL? TEMP9 2 - PHRASE15 (TYPE FIX)>
785 <RESTL K6 1 = TEMP9 (TYPE LIST)>
786 <NTHL TEMP9 1 = TEMP9 (TYPE NODE)>
787 <NTHUV TEMP9 1 = TEMP9 (TYPE FIX)>
788 <VEQUAL? TEMP9 2 - PHRASE15 (TYPE FIX)>
790 <NTHL K6 1 = TEMP9 (TYPE NODE)>
791 <NTHUV TEMP9 4 = TEMP9 (TYPE FIX)>
792 <RESTL K6 1 = TEMP17 (TYPE LIST)>
793 <NTHL TEMP17 1 = TEMP17 (TYPE NODE)>
794 <NTHUV TEMP17 4 = TEMP17 (TYPE FIX)>
795 <MOD TEMP9 TEMP17 = TEMP17 (TYPE FIX)>
799 <PUTUV N4 1 2 (TYPE FIX)>
800 <PUTUV N4 5 () (TYPE LIST)>
803 <PUTUV N4 1 41 (TYPE FIX)>
806 <NTHUV N4 5 = TEMP17 (TYPE LIST)>
808 <EMPL? TEMP17 + PHRASE21 (TYPE LIST) (DEAD-JUMP K6)>
810 <RESTL K6 1 = TEMP17 (TYPE LIST)>
811 <NTHL TEMP17 1 = TEMP17 (TYPE NODE)>
812 <NTHUV TEMP17 1 = TEMP17 (TYPE FIX)>
813 <VEQUAL? TEMP17 2 - PHRASE21 (TYPE FIX) (DEAD-JUMP K6)>
817 <RESTL K6 1 = TEMP17 (TYPE LIST)>
819 <NTHL TEMP17 1 = TEMP17 (TYPE NODE)>
820 <NTHUV TEMP17 4 = TEMP17>
821 <SUB TEMP17 1 = TEMP17 (TYPE FIX)>
822 <CONS TEMP17 () = TEMP17>
823 <CONS 0 TEMP17 = STACK>
825 <CALL '
\1aFORM 2 = TEMP17>
828 <SET TEMP17 'FIX (TYPE ATOM)>
834 <CALL '
\1aTYPE-OK? 2 = TEMP17>
838 <COND (<GASSIGNED? MOD-ANA> <PUTPROP ,MOD ANALYSIS ,MOD-ANA>)>
841 <GFCN
\1aROT-LSH-ANA ("VALUE" ANY ANY ANY ANY) N4 R5 COD6>
842 <TEMP K7:LIST NAM8 TEMP11>
844 <NTHUV N4 5 = K7 (TYPE LIST)>
849 <CALL '
\1aSEGFLUSH 2 = TEMP11>
850 <TYPE? TEMP11 <TYPE-CODE FALSE> - PHRASE23 (DEAD-JUMP COD6 N4 NAM8 K7)>
853 <LENL K7 = STACK (TYPE FIX)>
859 <NTHL K7 1 = STACK (TYPE NODE)>
860 <PUSH <PRIMTYPE WORD>>
864 <RESTL K7 1 = TEMP11 (TYPE LIST)>
865 <NTHL TEMP11 1 = STACK (TYPE NODE)>
871 <NTHL K7 1 = TEMP11 (TYPE NODE)>
872 <NTHUV TEMP11 1 = TEMP11 (TYPE FIX)>
873 <VEQUAL? TEMP11 2 - PHRASE17 (TYPE FIX) (DEAD-JUMP K7)>
875 <RESTL K7 1 = TEMP11 (TYPE LIST)>
876 <NTHL TEMP11 1 = TEMP11 (TYPE NODE)>
877 <NTHUV TEMP11 1 = TEMP11 (TYPE FIX)>
878 <VEQUAL? TEMP11 2 - PHRASE17 (TYPE FIX) (DEAD-JUMP K7)>
880 <EQUAL? COD6 87 - PHRASE20>
882 <NTHL K7 1 = TEMP11 (TYPE NODE)>
883 <NTHUV TEMP11 4 = TEMP11>
884 <RESTL K7 1 = NAM8 (TYPE LIST)>
886 <NTHL NAM8 1 = NAM8 (TYPE NODE)>
887 <NTHUV NAM8 4 = NAM8 (TYPE FIX)>
888 <LSH TEMP11 NAM8 = NAM8 (TYPE FIX)>
894 <NTHL K7 1 = NAM8 (TYPE NODE)>
895 <NTHUV NAM8 4 = NAM8>
896 <RESTL K7 1 = TEMP11 (TYPE LIST)>
898 <NTHL TEMP11 1 = TEMP11 (TYPE NODE)>
899 <NTHUV TEMP11 4 = TEMP11 (TYPE FIX)>
900 <ROT NAM8 TEMP11 = TEMP11 (TYPE FIX)>
905 <PUTUV N4 5 () (TYPE LIST)>
906 <PUTUV N4 1 2 (TYPE FIX)>
917 <CALL '
\1aTYPE-OK? 2 = TEMP11>
922 <GFCN
\1aROT-ANA ("VALUE" ANY ANY ANY) N4 R5>
925 <FRAME '
\1aROT-LSH-ANA>
931 <CALL '
\1aROT-LSH-ANA 3 = TEMP7>
936 <GFCN
\1aLSH-ANA ("VALUE" ANY ANY ANY) N4 R5>
939 <FRAME '
\1aROT-LSH-ANA>
945 <CALL '
\1aROT-LSH-ANA 3 = TEMP7>
949 <COND (<GASSIGNED? ROT-ANA> <PUTPROP ,ROT ANALYSIS ,ROT-ANA> <PUTPROP ,LSH ANALYSIS ,LSH-ANA>)>
952 <GFCN
\1aFLOAT-ANA ("VALUE" ANY NODE ANY) N4 R5>
955 <FRAME '
\1aFL-FI-ANA>
963 <CALL '
\1aFL-FI-ANA 5 = TEMP7>
967 <COND (<GASSIGNED? FLOAT-ANA> <PUTPROP ,FLOAT ANALYSIS ,FLOAT-ANA>)>
970 <GFCN
\1aFIX-ANA ("VALUE" ANY NODE ANY) N4 R5>
973 <FRAME '
\1aFL-FI-ANA>
981 <CALL '
\1aFL-FI-ANA 5 = TEMP7>
985 <COND (<GASSIGNED? FIX-ANA> <PUTPROP ,FIX ANALYSIS ,FIX-ANA>)>
988 <GFCN
\1aFL-FI-ANA ("VALUE" ANY NODE ANY ATOM ATOM FIX) N4 RT5 OT6 IT7 COD8>
991 <NTHUV N4 5 = K9 (TYPE LIST)>
995 <CALL '
\1aSEGFLUSH 2 = TEMP14>
996 <TYPE? TEMP14 <TYPE-CODE FALSE> - PHRASE22 (DEAD-JUMP COD8 N4 K9)>
999 <LENL K9 = STACK (TYPE FIX)>
1005 <NTHL K9 1 = K9 (TYPE NODE)>
1007 <PUSH <OR FIX FLOAT>>
1010 <NTHUV K9 1 = TEMP14 (TYPE FIX)>
1011 <VEQUAL? TEMP14 2 - PHRASE19 (TYPE FIX) (DEAD-JUMP K9) (DEAD-FALL COD8)>
1013 <PUTUV N4 1 2 (TYPE FIX)>
1016 <NTHUV K9 4 = STACK>
1018 <ACALL TEMP14 1 = TEMP14>
1023 <PUTUV N4 1 COD8 (TYPE FIX)>
1026 <FRAME '
\1aTYPE-OK?>
1031 <CALL '
\1aTYPE-OK? 2 = TEMP14>
1036 <GFCN
\1aARITHP-ANA ("VALUE" ANY NODE ANY) NOD4 RTYP5>
1037 <TEMP TEMP3:LBIND TEMP22 TEMP25 N11:FIX K12:LIST (TY18 'BOOLEAN) NT16>
1039 <GETS 'BIND = TEMP3 (TYPE LBIND)>
1040 <BBIND 'NOD 'NODE %<> NOD4>
1043 <GEN-LVAL 'PRED = TEMP22>
1044 <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1045 <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1046 <NTHUV TEMP25 2 = TEMP25>
1047 <EQUAL? TEMP22 TEMP25 + TAG21>
1048 <DEAD TEMP22 TEMP25>
1049 <SET TEMP22 %<> (TYPE FALSE)>
1052 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1053 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1055 <BBIND 'WHON 'ANY 'FIX TEMP22>
1057 <BBIND 'WHO 'LIST 'FIX ()>
1058 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1059 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1060 <BBIND 'GLN 'ANY 'FIX TEMP22>
1062 <BBIND 'GLE 'LIST 'FIX ()>
1063 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1064 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1065 <NTHUV TEMP22 4 = TEMP22>
1066 <EQUAL? TEMP22 '0? + BOOL37 (DEAD-JUMP TEMP22)>
1067 <EQUAL? TEMP22 '1? + BOOL37>
1069 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1070 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1071 <NTHUV TEMP22 1 = TEMP22 (TYPE FIX)>
1072 <VEQUAL? TEMP22 19 - PHRASE36 (TYPE FIX)>
1075 <SET TEMP22 1 (TYPE FIX)>
1078 <SET TEMP22 2 (TYPE FIX)>
1082 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1083 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1084 <NTHUV TEMP22 5 = K12 (TYPE LIST)>
1086 <BBIND 'STATE 'FIX 'FIX 1>
1087 <BBIND 'ALL-CONST 'ANY 'FIX 'ALL-CONST>
1088 <FRAME '
\1aSEGFLUSH>
1089 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1090 <NTHR TEMP22 1 = STACK (RECORD-TYPE LBIND)>
1093 <CALL '
\1aSEGFLUSH 2 = TEMP22>
1094 <TYPE? TEMP22 <TYPE-CODE FALSE> + PHRASE44 (DEAD-FALL TY18 K12 N11)>
1096 <SET TY18 <OR FALSE ATOM> (TYPE FORM)>
1099 <VEQUAL? N11 2 - PHRASE50 (TYPE FIX)>
1100 <EMPL? K12 + PHRASE50>
1101 <RESTL K12 1 = TEMP22 (TYPE LIST)>
1102 <EMPL? TEMP22 - PHRASE50>
1104 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1105 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1106 <NTHUV TEMP22 5 = TEMP22 (TYPE LIST)>
1107 <NTHL TEMP22 1 = NT16 (TYPE NODE)>
1109 <NTHUV NT16 1 = TEMP22 (TYPE FIX)>
1110 <VEQUAL? TEMP22 6 - PHRASE50 (TYPE FIX) (DEAD-JUMP NT16)>
1112 <NTHUV NT16 4 = TEMP22>
1113 <EQUAL? TEMP22 'LENGTH - PHRASE50 (DEAD-JUMP NT16)>
1115 <NTHUV NT16 5 = NT16 (TYPE LIST)>
1116 <EMPL? NT16 + PHRASE50 (DEAD-JUMP NT16)>
1117 <RESTL NT16 1 = TEMP22 (TYPE LIST)>
1118 <EMPL? TEMP22 + PHRASE50 (DEAD-JUMP NT16 TEMP22)>
1119 <RESTL TEMP22 1 = TEMP22 (TYPE LIST)>
1120 <EMPL? TEMP22 - PHRASE50 (DEAD-JUMP NT16)>
1122 <FRAME '
\1aCOMPILE-WARNING>
1123 <PUSH "Attempting to repair probable erroneous code:
1125 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1126 <NTHR TEMP22 1 = STACK (RECORD-TYPE LBIND)>
1130 <CALL '
\1aCOMPILE-WARNING 3>
1131 <RESTL NT16 1 = TEMP25 (TYPE LIST)>
1132 <PUTREST K12 TEMP25>
1135 <NTHL NT16 1 = TEMP25 (TYPE NODE)>
1137 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1138 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1139 <PUTUV TEMP25 2 TEMP22>
1140 <DEAD TEMP25 TEMP22>
1141 <FRAME '
\1aNODE-COMPLAIN>
1142 <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1143 <NTHR TEMP25 1 = STACK (RECORD-TYPE LBIND)>
1145 <CALL '
\1aNODE-COMPLAIN 1>
1147 <GEN-LVAL 'OUTCHAN = STACK>
1151 <LENL K12 = STACK (TYPE FIX)>
1153 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1154 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1155 <NTHUV TEMP22 4 = STACK>
1157 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1158 <NTHR TEMP22 1 = STACK (RECORD-TYPE LBIND)>
1161 <SET TEMP22 K12 (TYPE LIST)>
1165 <EMPL? TEMP22 + MAPAP76 (DEAD-JUMP TEMP22)>
1166 <NTHL TEMP22 1 = NT16>
1167 <FRAME '
\1aARITH-ELE>
1170 <PUSH <OR FIX FLOAT>>
1171 <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1172 <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1173 <NTHUV TEMP25 9 = STACK>
1175 <CALL '
\1aARITH-ELE 3>
1176 <RESTL TEMP22 1 = TEMP22 (TYPE LIST)>
1179 <NTHR 'ALL-CONST 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1180 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1181 <TYPE? TEMP22 <TYPE-CODE FALSE> + PHRASE88 (DEAD-FALL TY18)>
1183 <VEQUAL? N11 1 - PHRASE92 (TYPE FIX)>
1186 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1187 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1188 <NTHUV TEMP22 9 = TEMP22>
1189 <NTHR 'ALL-CONST 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1190 <NTHR TEMP25 1 = STACK (RECORD-TYPE LBIND)>
1192 <ACALL TEMP22 1 = TEMP25>
1194 <NTHR 'ALL-CONST 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1195 <PUTR TEMP22 1 TEMP25 (RECORD-TYPE LBIND)>
1196 <DEAD TEMP22 TEMP25>
1198 <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1199 <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1200 <PUTUV TEMP25 1 2 (TYPE FIX)>
1202 <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1203 <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1205 <NTHR 'ALL-CONST 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1206 <NTHR TEMP22 1 = STACK (RECORD-TYPE LBIND)>
1208 <CALL '
\1aTYPE 1 = TY18>
1209 <PUTUV TEMP25 3 TY18>
1211 <NTHR 'ALL-CONST 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1212 <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1213 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1214 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1215 <PUTUV TEMP22 4 TEMP25>
1216 <DEAD TEMP22 TEMP25>
1217 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1218 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1219 <PUTUV TEMP22 5 () (TYPE LIST)>
1221 <NTHR 'ALL-CONST 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1222 <PUTR TEMP22 1 'T (RECORD-TYPE LBIND)>
1226 <VEQUAL? N11 2 - PHRASE117 (TYPE FIX)>
1227 <NTHL K12 1 = TEMP25 (TYPE NODE)>
1228 <NTHUV TEMP25 1 = TEMP25 (TYPE FIX)>
1229 <VEQUAL? TEMP25 2 - BOOL120 (TYPE FIX)>
1231 <NTHL K12 1 = TEMP25 (TYPE NODE)>
1232 <NTHUV TEMP25 4 = TEMP25>
1233 <EQUAL? TEMP25 0 + BOOL121 (DEAD-JUMP N11)>
1235 <NTHL K12 1 = TEMP25 (TYPE NODE)>
1236 <NTHUV TEMP25 4 = TEMP25>
1237 <EQUAL? TEMP25 0.0 - BOOL120 (DEAD-FALL N11)>
1240 <RESTL K12 1 = TEMP25 (TYPE LIST)>
1241 <NTHL TEMP25 1 = NT16 (TYPE NODE)>
1243 <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1244 <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1246 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1247 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1248 <NTHUV TEMP22 4 = STACK (TYPE ATOM)>
1250 <CALL '
\1aFLOPP 1 = TEMP22>
1251 <PUTUV TEMP25 4 TEMP22>
1252 <DEAD TEMP25 TEMP22>
1255 <RESTL K12 1 = TEMP25 (TYPE LIST)>
1256 <NTHL TEMP25 1 = TEMP25 (TYPE NODE)>
1257 <NTHUV TEMP25 1 = TEMP25 (TYPE FIX)>
1258 <VEQUAL? TEMP25 2 - PHRASE117 (TYPE FIX)>
1260 <RESTL K12 1 = TEMP25 (TYPE LIST)>
1261 <NTHL TEMP25 1 = TEMP25 (TYPE NODE)>
1262 <NTHUV TEMP25 4 = TEMP25>
1263 <EQUAL? TEMP25 0 + BOOL128 (DEAD-JUMP N11)>
1265 <RESTL K12 1 = TEMP25 (TYPE LIST)>
1266 <NTHL TEMP25 1 = TEMP25 (TYPE NODE)>
1267 <NTHUV TEMP25 4 = TEMP25>
1268 <EQUAL? TEMP25 0.0 - PHRASE117 (DEAD-FALL N11)>
1271 <NTHL K12 1 = NT16 (TYPE NODE)>
1273 <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1274 <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1275 <PUTUV TEMP25 1 19 (TYPE FIX)>
1277 <CONS NT16 () = TEMP25>
1279 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1280 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1281 <PUTUV TEMP22 5 TEMP25 (TYPE LIST)>
1282 <DEAD TEMP22 TEMP25>
1285 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1286 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1287 <NTHUV TEMP22 1 = TEMP22 (TYPE FIX)>
1288 <VEQUAL? TEMP22 19 + PHRASE167 (TYPE FIX) (DEAD-JUMP N11)>
1290 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1291 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1292 <NTHUV TEMP22 4 = TEMP22>
1293 <EQUAL? TEMP22 '0? + BOOL136 (DEAD-JUMP N11)>
1295 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1296 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1297 <NTHUV TEMP22 4 = TEMP22>
1298 <EQUAL? TEMP22 'N0? - PHRASE135 (DEAD-FALL N11)>
1301 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1302 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1303 <PUTUV TEMP22 1 19 (TYPE FIX)>
1307 <NTHR 'STATE 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1308 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1309 <LESS? TEMP22 5 - PHRASE143 (TYPE FIX) (DEAD-JUMP N11)>
1311 <VEQUAL? N11 2 - PHRASE147 (TYPE FIX)>
1313 <SET TEMP22 22 (TYPE FIX)>
1316 <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1317 <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1318 <NTHUV TEMP25 4 = TEMP25>
1319 <EQUAL? TEMP25 '0? - PHRASE148>
1321 <SET TEMP22 19 (TYPE FIX)>
1324 <SET TEMP22 21 (TYPE FIX)>
1326 <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1327 <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1328 <PUTUV TEMP25 1 TEMP22 (TYPE FIX)>
1329 <DEAD TEMP25 TEMP22>
1332 <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1333 <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1334 <NTHUV TEMP25 9 = TEMP25>
1336 <EQUAL? TEMP25 TEMP22 - PHRASE154>
1337 <DEAD TEMP25 TEMP22>
1338 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1339 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1340 <PUTUV TEMP22 1 21 (TYPE FIX)>
1344 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1345 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1346 <NTHUV TEMP22 9 = TEMP22>
1347 <GVAL '==? = TEMP25>
1348 <EQUAL? TEMP22 TEMP25 + BOOL160>
1349 <DEAD TEMP22 TEMP25>
1350 <NTHR 'NOD 2 = TEMP25 (RECORD-TYPE ATOM) (TYPE LBIND)>
1351 <NTHR TEMP25 1 = TEMP25 (RECORD-TYPE LBIND)>
1352 <NTHUV TEMP25 9 = TEMP25>
1353 <GVAL 'N==? = TEMP22>
1354 <EQUAL? TEMP25 TEMP22 - PHRASE159 (DEAD-JUMP TY18)>
1355 <DEAD TEMP25 TEMP22>
1357 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1358 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1359 <PUTUV TEMP22 1 23 (TYPE FIX)>
1363 <SET TY18 <OR ATOM FALSE> (TYPE FORM)>
1364 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1365 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1366 <PUTUV TEMP22 1 52 (TYPE FIX)>
1369 <NTHR 'STATE 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1370 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1371 <VEQUAL? TEMP22 2 - PHRASE171 (TYPE FIX) (DEAD-JUMP K12)>
1373 <NTHR 'ALL-CONST 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1374 <NTHR TEMP22 1 = TEMP22 (RECORD-TYPE LBIND)>
1375 <TYPE? TEMP22 <TYPE-CODE FALSE> - PHRASE171 (DEAD-JUMP K12)>
1377 <FRAME '
\1aHACK-BOUNDS>
1378 <NTHR 'WHO 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1379 <NTHR TEMP22 1 = STACK (RECORD-TYPE LBIND)>
1381 <NTHR 'GLE 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1382 <NTHR TEMP22 1 = STACK (RECORD-TYPE LBIND)>
1384 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1385 <NTHR TEMP22 1 = STACK (RECORD-TYPE LBIND)>
1389 <CALL '
\1aHACK-BOUNDS 4>
1391 <FRAME '
\1aCHECK-FOR-BIT-HACK>
1392 <NTHR 'NOD 2 = TEMP22 (RECORD-TYPE ATOM) (TYPE LBIND)>
1393 <NTHR TEMP22 1 = STACK (RECORD-TYPE LBIND)>
1395 <CALL '
\1aCHECK-FOR-BIT-HACK 1>
1397 <FRAME '
\1aTYPE-OK?>
1402 <CALL '
\1aTYPE-OK? 2 = TEMP22>
1410 <GFCN
\1aCHECK-FOR-BIT-HACK ("VALUE" !<FALSE> ANY) N4>
1414 <END
\1aCHECK-FOR-BIT-HACK>
1415 '<DEFINE CHECK-FOR-BIT-HACK (N "AUX" (NN <1 <KIDS .N>>) DATA CONST K) #DECL ((NN DATA N) NODE (CONST) <PRIMTYPE WORD>) <COND (<AND <==? <NODE-TYPE .N> ,0-TST-CODE> <==? <NODE-TYPE .NN> ,CHTYPE-CODE> <SET NN <1 <KIDS .NN>>> <OR <AND <==? <NODE-TYPE .NN> ,GETBITS-CODE> <SET K <KIDS .NN>> <==? <NODE-TYPE <2 .K>> ,QUOTE-CODE> <SET DATA <1 .K>> <SET CONST <PUTBITS 0 <NODE-NAME <2 .K>> -1>>> <AND <==? <NODE-TYPE .NN> ,BITL-CODE> <==? <NODE-SUBR .NN> ,ANDB> <==? <LENGTH <SET K <KIDS .NN>>> 2> <OR <AND <==? <NODE-TYPE <1 .K>> ,QUOTE-CODE> <SET CONST <NODE-NAME <1 .K>>> <SET DATA <2 .K>>> <AND <==? <NODE-TYPE <2 .K>> ,QUOTE-CODE> <SET CONST <NODE-NAME <2 .K>>> <SET DATA <1 .K>>> <SET CONST 0>>>>> <PUT .N ,NODE-TYPE ,BIT-TEST-CODE> <PUT .N ,NODE-SUBR .CONST> <PUT .N ,KIDS <COND (<ASSIGNED? DATA> (.DATA)) (ELSE .K)>> <COND (<ASSIGNED? DATA> <PUT .DATA ,PARENT .N>) (ELSE <PUT <1 .K> ,PARENT .N> <PUT <2 .K> ,PARENT .N>)>)>>
1418 <GFCN
\1aBIT-TEST-ANA ("VALUE" ANY NODE ANY) N4 R5>
1421 <NTHUV N4 5 = K6 (TYPE LIST)>
1423 <NTHL K6 1 = STACK (TYPE NODE)>
1424 <PUSH <PRIMTYPE WORD>>
1427 <RESTL K6 1 = K6 (TYPE LIST)>
1428 <EMPL? K6 + PHRASE9 (TYPE LIST) (DEAD-JUMP K6)>
1430 <NTHL K6 1 = STACK (TYPE NODE)>
1432 <PUSH <PRIMTYPE WORD>>
1436 <FRAME '
\1aTYPE-OK?>
1437 <NTHUV N4 3 = STACK>
1441 <CALL '
\1aTYPE-OK? 2 = K6>
1444 <END
\1aBIT-TEST-ANA>
1446 <GFCN
\1aHACK-BOUNDS ("VALUE" <OR ATOM FALSE> LIST LIST NODE <LIST [REST NODE]>) WHO4 GLE5 NOD6 K7>
1447 <TEMP (HACKT12 %<>) TEMP17 TEMP19 NUM8 YES9:FORM NO10:FORM L39:LIST TEMP45>
1449 <NTHUV NOD6 4 = TEMP17>
1450 <EQUAL? TEMP17 '0? + BOOL16 (DEAD-JUMP K7)>
1452 <NTHUV NOD6 1 = TEMP17 (TYPE FIX)>
1453 <VEQUAL? TEMP17 19 - PHRASE15 (TYPE FIX) (DEAD-FALL K7)>
1456 <SET TEMP17 0 (TYPE FIX)>
1459 <NTHUV NOD6 4 = TEMP19>
1460 <EQUAL? TEMP19 '1? - PHRASE18 (DEAD-FALL K7)>
1462 <SET TEMP17 1 (TYPE FIX)>
1465 <NTHL K7 1 = TEMP19 (TYPE NODE)>
1466 <NTHUV TEMP19 1 = TEMP19 (TYPE FIX)>
1467 <VEQUAL? TEMP19 2 - PHRASE20 (TYPE FIX)>
1469 <NTHL K7 1 = TEMP19 (TYPE NODE)>
1473 <RESTL K7 1 = TEMP19 (TYPE LIST)>
1474 <NTHL TEMP19 1 = TEMP19 (TYPE NODE)>
1475 <NTHUV TEMP19 1 = TEMP19 (TYPE FIX)>
1476 <VEQUAL? TEMP19 2 + TAG22 (TYPE FIX) (DEAD-FALL K7)>
1478 <SET TEMP17 %<> (TYPE FALSE)>
1482 <NTHUV NOD6 4 = STACK (TYPE ATOM)>
1483 <CALL '
\1aFLOPP 1 = TEMP19>
1484 <PUTUV NOD6 4 TEMP19>
1486 <NTHL K7 1 = TEMP19 (TYPE NODE)>
1487 <CONS TEMP19 () = TEMP19>
1488 <RESTL K7 1 = TEMP17 (TYPE LIST)>
1489 <NTHL TEMP17 1 = TEMP17 (TYPE NODE)>
1490 <CONS TEMP17 TEMP19 = TEMP19>
1492 <PUTUV NOD6 5 TEMP19 (TYPE LIST)>
1494 <RESTL K7 1 = TEMP19 (TYPE LIST)>
1496 <NTHL TEMP19 1 = TEMP19 (TYPE NODE)>
1498 <NTHUV TEMP19 4 = TEMP17>
1503 <TYPE? NUM8 <TYPE-CODE FALSE> + MAPAP35 (DEAD-JUMP WHO4)>
1509 <CALL '
\1aGTV 2 = STACK>
1510 <CALL '
\1aFORM 2 = YES9>
1516 <CALL '
\1aNGTV 2 = STACK>
1517 <CALL '
\1aFORM 2 = NO10>
1518 <SET TEMP17 WHO4 (TYPE LIST)>
1523 <EMPL? TEMP17 + MAPAP35 (DEAD-JUMP NO10 YES9 TEMP17)>
1524 <NTHL TEMP17 1 = L39>
1525 <RESTL L39 1 = TEMP19 (TYPE LIST)>
1526 <NTHL TEMP19 1 = TEMP19 (TYPE SYMTAB)>
1527 <FRAME '
\1aADD-TYPE-LIST>
1530 <GEN-LVAL 'TRUTH = STACK>
1532 <RESTL L39 1 = TEMP45 (TYPE LIST)>
1533 <RESTL TEMP45 1 = STACK (TYPE LIST)>
1535 <CALL '
\1aADD-TYPE-LIST 5 = TEMP45>
1536 <GEN-SET 'TRUTH TEMP45>
1538 <FRAME '
\1aADD-TYPE-LIST>
1542 <GEN-LVAL 'UNTRUTH = STACK>
1544 <RESTL L39 1 = TEMP45 (TYPE LIST)>
1546 <RESTL TEMP45 1 = STACK (TYPE LIST)>
1548 <CALL '
\1aADD-TYPE-LIST 5 = TEMP45>
1549 <GEN-SET 'UNTRUTH TEMP45>
1551 <RESTL TEMP17 1 = TEMP17 (TYPE LIST)>
1555 <TYPE? TEMP17 <TYPE-CODE FALSE> + MAPAP90 (DEAD-JUMP NOD6 GLE5 NUM8 HACKT12) (DEAD-FALL TEMP17)>
1556 <LESS? NUM8 0 - TAG57 (TYPE FIX) (DEAD-FALL NOD6 GLE5 NUM8 HACKT12)>
1559 <VEQUAL? NUM8 0 + BOOL63 (TYPE FIX)>
1560 <NTHUV NOD6 4 = TEMP17>
1561 <EQUAL? TEMP17 'G=? + BOOL70>
1563 <NTHUV NOD6 4 = TEMP17>
1564 <EQUAL? TEMP17 'L? + BOOL70>
1567 <VEQUAL? NUM8 0 - PHRASE61 (TYPE FIX)>
1568 <NTHUV NOD6 4 = TEMP17>
1569 <EQUAL? TEMP17 'G? - BOOL71 (DEAD-FALL HACKT12)>
1571 <SET HACKT12 'T (TYPE ATOM)>
1574 <NTHUV NOD6 4 = TEMP17>
1575 <EQUAL? TEMP17 'L=? - PHRASE61>
1578 <ADD NUM8 1 = NUM8 (TYPE FIX)>
1580 <VEQUAL? HACKT12 0 - TAG77 (DEAD-FALL HACKT12)>
1581 <NTHUV NOD6 4 = TEMP17>
1582 <SET TEMP19 [1? L? L=? ==?] (TYPE VECTOR)>
1583 <TYPE? TEMP17 <TYPE-CODE ATOM> - TAG73 (DEAD-JUMP TEMP19 TEMP17)>
1584 <LOOP (TEMP17 VALUE) (TEMP19 LENGTH VALUE)>
1586 <NTHUV TEMP19 1 = TEMP45>
1587 <VEQUAL? TEMP45 TEMP17 + TAG74 (DEAD-JUMP TEMP17)>
1589 <RESTUV TEMP19 1 = TEMP19 (TYPE VECTOR)>
1590 <EMPUV? TEMP19 - TAG75 (DEAD-FALL TEMP19 TEMP17)>
1592 <SET HACKT12 %<> (TYPE FALSE)>
1595 <SET HACKT12 TEMP19>
1598 <NTHUV NOD6 4 = TEMP19>
1600 <EQUAL? TEMP19 '0? - PHRASE79 (DEAD-FALL NUM8)>
1602 <SET NUM8 1 (TYPE FIX)>
1604 <GRTR? NUM8 0 + PHRASE81 (TYPE FIX) (DEAD-FALL NUM8)>
1605 <SET NUM8 'STRUCTURED (TYPE ATOM)>
1611 <CALL '
\1aANY-PAT 1 = TEMP19>
1612 <CONS 'STRUCTURED TEMP19 = TEMP19>
1613 <CHTYPE TEMP19 <TYPE-CODE FORM> = NUM8>
1616 <SET TEMP17 %<> (TYPE FALSE)>
1617 <SET TEMP19 GLE5 (TYPE LIST)>
1622 <EMPL? TEMP19 + MAPAP90 (DEAD-JUMP NUM8 TEMP19 HACKT12) (DEAD-FALL TEMP17)>
1623 <NTHL TEMP19 1 = L39>
1624 <RESTL L39 1 = TEMP17 (TYPE LIST)>
1625 <NTHL TEMP17 1 = TEMP17 (TYPE SYMTAB)>
1626 <TYPE? HACKT12 <TYPE-CODE FALSE> + PHRASE99>
1627 <FRAME '
\1aADD-TYPE-LIST>
1631 <GEN-LVAL 'TRUTH = STACK>
1633 <RESTL L39 1 = TEMP17 (TYPE LIST)>
1635 <RESTL TEMP17 1 = STACK (TYPE LIST)>
1637 <CALL '
\1aADD-TYPE-LIST 5 = TEMP17>
1638 <GEN-SET 'TRUTH TEMP17>
1642 <FRAME '
\1aADD-TYPE-LIST>
1646 <GEN-LVAL 'UNTRUTH = STACK>
1648 <RESTL L39 1 = L39 (TYPE LIST)>
1649 <RESTL L39 1 = STACK (TYPE LIST)>
1651 <CALL '
\1aADD-TYPE-LIST 5 = L39>
1652 <GEN-SET 'UNTRUTH L39>
1655 <SET TEMP17 'T (TYPE ATOM)>
1656 <RESTL TEMP19 1 = TEMP19 (TYPE LIST)>
1661 <END
\1aHACK-BOUNDS>
1662 <SETG APSUBTAB [1? 0? L? L=? G? G=? ==? N==?]>
1664 <GDECL (APSUBTAB) <VECTOR [REST ATOM]>>
1666 <SETG DCLTAB [(1 1) (0 0) ('<COND (<==? .VAL ,PLUSINF> .VAL) (ELSE <+ .VAL 1>)> ,PLUSINF) ('.VAL ,PLUSINF) (,MINUSINF '<COND (<==? .VAL ,MINUSINF> .VAL) (ELSE <- .VAL 1>)>) (,MINUSINF '.VAL) ('.VAL '.VAL) (,MINUSINF '<COND (<==? .VAL ,MINUSINF> .VAL) (ELSE <- .VAL 1>)> '<COND (<==? .VAL ,PLUSINF> .VAL) (ELSE <+ .VAL 1>)> ,PLUSINF)]>
1668 <SETG NDCLTAB [(,MINUSINF 0 2 ,PLUSINF) (,MINUSINF -1 1 ,PLUSINF) (,MINUSINF '.VAL) (,MINUSINF '<COND (<==? .VAL ,MINUSINF> .VAL) (ELSE <- .VAL 1>)>) ('.VAL ,PLUSINF) ('<COND (<==? .VAL ,PLUSINF> .VAL) (ELSE <+ .VAL 1>)> ,PLUSINF) (,MINUSINF '<COND (<==? .VAL ,MINUSINF> .VAL) (ELSE <- .VAL 1>)> '<COND (<==? .VAL ,PLUSINF> .VAL) (ELSE <+ .VAL 1>)> ,PLUSINF) ('.VAL '.VAL)]>
1670 <GDECL (DCLTAB NDCLTAB) VECTOR>
1673 <GFCN
\1aNGTV ("VALUE" ANY NODE ANY) NOD4 VAL5>
1674 <TEMP TEMP3:LBIND TEMP7:VECTOR TEMP14 TEMP15 TEMP16>
1676 <GETS 'BIND = TEMP3 (TYPE LBIND)>
1677 <BBIND 'VAL 'ANY %<> VAL5>
1681 <GVAL 'NDCLTAB = TEMP7 (TYPE VECTOR)>
1683 <NTHUV NOD4 4 = TEMP14>
1685 <GVAL 'APSUBTAB = TEMP15 (TYPE VECTOR)>
1686 <TYPE? TEMP14 <TYPE-CODE ATOM> - TAG10 (DEAD-JUMP TEMP15 TEMP14)>
1687 <EMPUV? TEMP15 + TAG10 (DEAD-JUMP TEMP15 TEMP14)>
1688 <LOOP (TEMP14 VALUE) (TEMP15 LENGTH VALUE)>
1690 <NTHUV TEMP15 1 = TEMP16>
1691 <VEQUAL? TEMP16 TEMP14 + TAG11 (DEAD-JUMP TEMP14)>
1693 <RESTUV TEMP15 1 = TEMP15 (TYPE VECTOR)>
1694 <EMPUV? TEMP15 - TAG12 (DEAD-FALL TEMP15 TEMP14)>
1702 <CALL '
\1aLENGTH 1 = TEMP15>
1703 <SUB 9 TEMP15 = TEMP14 (TYPE FIX)>
1705 <NTHUV TEMP7 TEMP14 = STACK>
1707 <CALL '
\1aEVAL 1 = TEMP14>
1715 <GFCN
\1aGTV ("VALUE" ANY NODE ANY) NOD4 VAL5>
1716 <TEMP TEMP3:LBIND TEMP7:VECTOR TEMP14 TEMP15 TEMP16>
1718 <GETS 'BIND = TEMP3 (TYPE LBIND)>
1719 <BBIND 'VAL 'ANY %<> VAL5>
1723 <GVAL 'DCLTAB = TEMP7 (TYPE VECTOR)>
1725 <NTHUV NOD4 4 = TEMP14>
1727 <GVAL 'APSUBTAB = TEMP15 (TYPE VECTOR)>
1728 <TYPE? TEMP14 <TYPE-CODE ATOM> - TAG10 (DEAD-JUMP TEMP15 TEMP14)>
1729 <EMPUV? TEMP15 + TAG10 (DEAD-JUMP TEMP15 TEMP14)>
1730 <LOOP (TEMP14 VALUE) (TEMP15 LENGTH VALUE)>
1732 <NTHUV TEMP15 1 = TEMP16>
1733 <VEQUAL? TEMP16 TEMP14 + TAG11 (DEAD-JUMP TEMP14)>
1735 <RESTUV TEMP15 1 = TEMP15 (TYPE VECTOR)>
1736 <EMPUV? TEMP15 - TAG12 (DEAD-FALL TEMP15 TEMP14)>
1744 <CALL '
\1aLENGTH 1 = TEMP15>
1745 <SUB 9 TEMP15 = TEMP14 (TYPE FIX)>
1747 <NTHUV TEMP7 TEMP14 = STACK>
1749 <CALL '
\1aEVAL 1 = TEMP14>
1757 <GFCN
\1aFLOPP ("VALUE" ATOM ATOM) SUBR4>
1760 <SET TEMP9 [G? L? G? G=? L=? G=? ==? ==? N==? N==?] (TYPE VECTOR)>
1761 <LOOP (SUBR4 VALUE) (TEMP9 LENGTH VALUE)>
1763 <NTHUV TEMP9 1 = TEMP10>
1764 <VEQUAL? TEMP10 SUBR4 + TAG6 (DEAD-JUMP SUBR4)>
1766 <RESTUV TEMP9 1 = TEMP9 (TYPE VECTOR)>
1767 <EMPUV? TEMP9 - TAG7 (DEAD-FALL SUBR4 TEMP9)>
1768 <SET TEMP9 %<> (TYPE FALSE)>
1770 <RESTUV TEMP9 1 = TEMP9 (TYPE VECTOR)>
1771 <NTHUV TEMP9 1 = TEMP9 (TYPE ATOM)>
1775 <COND (<GASSIGNED? ARITH-ANA> <PUTPROP ,+ ANALYSIS ,ARITH-ANA> <PUTPROP ,- ANALYSIS ,ARITH-ANA> <PUTPROP ,* ANALYSIS ,ARITH-ANA> <PUTPROP ,/ ANALYSIS ,ARITH-ANA> <PUTPROP ,MAX ANALYSIS ,ARITH-ANA> <PUTPROP ,MIN ANALYSIS ,ARITH-ANA> <PUTPROP ,0? ANALYSIS ,ARITHP-ANA> <PUTPROP ,1? ANALYSIS ,ARITHP-ANA> <PUTPROP ,L? ANALYSIS ,ARITHP-ANA> <PUTPROP ,G? ANALYSIS ,ARITHP-ANA> <PUTPROP ,G=? ANALYSIS ,ARITHP-ANA> <PUTPROP ,L=? ANALYSIS ,ARITHP-ANA>)>