2 (type $FUNCSIGi (func (result i32)))
3 (type $FUNCSIGii (func (param i32)))
4 (type $FUNCSIGiii (func))
5 (type $FUNCSIGiv (func (param i32 i32) (result i32)))
6 (type $FUNCSIG$v (func (param i32) (result i32)))
7 (type $FUNCSIG$vi (func (param i32 i32) (result i32)))
8 (import "env" "pop" (func $pop (result i32)))
9 (import "env" "push" (func $push (param i32)))
10 (import "env" "rinit" (func $rinit))
11 (import "env" "rpop" (func $rpop (result i32)))
12 (import "env" "rpush" (func $rpush (param i32)))
13 (import "env" "sys_read" (func $sys_read (param i32 i32) (result i32)))
14 (import "env" "sys_fetch" (func $sys_fetch (param i32 i32) (result i32)))
15 (import "env" "sys_listen" (func $sys_listen (param i32) (result i32)))
16 (import "env" "sys_write" (func $sys_write (param i32 i32 i32) (result i32)))
17 (import "env" "sys_echo" (func $sys_echo (param i32)))
18 (import "env" "sys_echochar" (func $sys_echochar (param i32)))
19 (import "env" "sys_reflect" (func $sys_reflect (param i32)))
20 (import "env" "vocab_get" (func $vocab_get (param i32 i32) (result i32)))
21 (import "env" "vocab_set" (func $vocab_set (param i32 i32 i32) (result i32)))
22 (import "env" "is_whitespace" (func $is_whitespace (param i32) (result i32)))
23 (import "env" "sys_parsenum" (func $sys_parsenum (param i32 i32 i32) (result i32)))
24 (import "env" "sys_stack" (func $sys_stack))
25 (import "env" "sys_words" (func $sys_words))
26 (table (;0;) 0 anyfunc)
28 (; String Belt ;) ;; 0x0000 Size: 8192
29 (global $wordbelt i32 (i32.const 8192)) ;; 0x2000 Size: 4096
30 (global $inbuf i32 (i32.const 12288)) ;; 0x3000 Size: 2048
31 (global $inbuf_size i32 (i32.const 12292))
32 (global $inbuf_data i32 (i32.const 12296))
33 (global $kvars i32 (i32.const 14336)) ;; 0x3800 Size: 2048
34 (data (i32.const 12288) "\fc\07\00\00") ;; 2044 len
35 (data (i32.const 14336) "\28\41\00\00") ;; MODE
36 (data (i32.const 14340) "\04\42\00\00") ;; HERE
37 (data (i32.const 14344) "\00\40\00\00") ;; START
38 (data (i32.const 14348) "\0a\00\00\00") ;; BASE
39 (data (i32.const 14352) "\00\00\00\00") ;; STRINGBELT_TAIL
40 (data (i32.const 14356) "\00\00\00\00") ;; STRINGBELT_HEAD
41 (data (i32.const 14360) "\00\20\00\00") ;; WORDBELT_TAIL
42 (data (i32.const 14364) "\00\20\00\00") ;; WORDBELT_HEAD
43 (data (i32.const 14368) "\00\00\00\00") ;; CHANNEL
45 (data (i32.const 16384) "\03\00\00\00") ;; RINIT xt
46 (data (i32.const 16388) "\10\40\00\00") ;; INTERPRET xt
47 (data (i32.const 16392) "\12\00\00\00") ;; JMP xt
48 (data (i32.const 16396) "\00\40\00\00") ;; quit location (16384)
50 (data (i32.const 16400) "\74\40\00\00") ;; WORD xt (16500)
51 (data (i32.const 16404) "\06\00\00\00") ;; DUP
52 (data (i32.const 16408) "\0e\00\00\00") ;; JZ:
53 (data (i32.const 16412) "\38\40\00\00") ;; INTERP-END addr (16444)
54 (data (i32.const 16416) "\02\00\00\00") ;; LIT xt
55 (data (i32.const 16420) "\00\38\00\00") ;; MODE addr (14336)
56 (data (i32.const 16424) "\0a\00\00\00") ;; @ (fetch) xt
57 (data (i32.const 16428) "\0c\00\00\00") ;; EXECUTE xt
58 (data (i32.const 16432) "\0d\00\00\00") ;; NOOP xt
59 (data (i32.const 16436) "\01\00\00\00") ;; RET
60 (data (i32.const 16440) "\10\00\00\00") ;; DROP <-- INTERP-END
61 (data (i32.const 16444) "\10\00\00\00") ;; DROP
62 (data (i32.const 16448) "\19\00\00\00") ;; BYE
64 (data (i32.const 16500) "\14\00\00\00") ;; WORDSTART
65 (data (i32.const 16504) "\05\00\00\00") ;; KEY <-- KEYLOOP
66 (data (i32.const 16508) "\06\00\00\00") ;; DUP
67 (data (i32.const 16512) "\18\00\00\00") ;; J-1: 18
68 (data (i32.const 16516) "\f0\40\00\00") ;; addr of WORDEND
69 (data (i32.const 16520) "\11\00\00\00") ;; WS?
70 (data (i32.const 16524) "\0f\00\00\00") ;; JNZ:
71 (data (i32.const 16528) "\bc\40\00\00") ;; addr of KEYDROP
72 (data (i32.const 16532) "\02\00\00\00") ;; LIT
73 (data (i32.const 16536) "\5c\00\00\00") ;; 92 (\ character)
74 (data (i32.const 16540) "\25\00\00\00") ;; =?
75 (data (i32.const 16544) "\0e\00\00\00") ;; JZ:
76 (data (i32.const 16548) "\e4\40\00\00") ;; addr of DOCHAR
77 (data (i32.const 16552) "\10\00\00\00") ;; DROP
78 (data (i32.const 16556) "\94\41\00\00") ;; DO-BACKSLASH (continue using this wbuf we started)
79 (data (i32.const 16560) "\0d\00\00\00") ;; NOOP
80 (data (i32.const 16564) "\12\00\00\00") ;; JMP:
81 (data (i32.const 16568) "\74\40\00\00") ;; addr of KEYLOOP-1 (get a new wbuf, call to wbuf+1 ate ours)
82 (data (i32.const 16572) "\10\00\00\00") ;; DROP <-- KEYDROP
83 (data (i32.const 16576) "\12\00\00\00") ;; JMP:
84 (data (i32.const 16580) "\78\40\00\00") ;; addr of KEYLOOP
85 (data (i32.const 16584) "\05\00\00\00") ;; KEY <-- WORDLOOP
86 (data (i32.const 16588) "\11\00\00\00") ;; WS?
87 (data (i32.const 16592) "\0f\00\00\00") ;; JNZ:
88 (data (i32.const 16596) "\f0\40\00\00") ;; addr of WORDEND
89 (data (i32.const 16600) "\06\00\00\00") ;; DUP
90 (data (i32.const 16604) "\18\00\00\00") ;; J-1:
91 (data (i32.const 16608) "\f0\40\00\00") ;; addr of WORDEND
92 (data (i32.const 16612) "\13\00\00\00") ;; WORDPUTC <-- DOCHAR
93 (data (i32.const 16616) "\12\00\00\00") ;; JMP:
94 (data (i32.const 16620) "\c8\40\00\00") ;; addr of WORDLOOP
95 (data (i32.const 16624) "\10\00\00\00") ;; DROP <-- WORDEND
96 (data (i32.const 16628) "\17\00\00\00") ;; WORDFINISH
97 (data (i32.const 16632) "\01\00\00\00") ;; RET
99 (data (i32.const 16680) "\1e\00\00\00") ;; DUP2
100 (data (i32.const 16684) "\15\00\00\00") ;; DICT_GET
101 (data (i32.const 16688) "\06\00\00\00") ;; DUP
102 (data (i32.const 16692) "\0e\00\00\00") ;; JZ:
103 (data (i32.const 16696) "\4c\41\00\00") ;; donum -1 (16716)
104 (data (i32.const 16700) "\1f\00\00\00") ;; ROT
105 (data (i32.const 16704) "\20\00\00\00") ;; DROP2
106 (data (i32.const 16708) "\0c\00\00\00") ;; EXECUTE
107 (data (i32.const 16712) "\01\00\00\00") ;; RET
108 (data (i32.const 16716) "\10\00\00\00") ;; DROP (xt from dictionary)
109 (data (i32.const 16720) "\16\00\00\00") ;; NUMBER <-- donum, pushes NUM, UNPARSED
110 (data (i32.const 16724) "\06\00\00\00") ;; DUP
111 (data (i32.const 16728) "\0f\00\00\00") ;; JNZ:
112 (data (i32.const 16732) "\68\41\00\00") ;; donum_err (16744)
113 (data (i32.const 16736) "\10\00\00\00") ;; DROP
114 (data (i32.const 16740) "\01\00\00\00") ;; RET
115 (data (i32.const 16744) "\10\00\00\00") ;; PARSE_ERR <-- donum_err
116 (data (i32.const 16748) "\10\00\00\00") ;; ( DROP DROP )
117 (data (i32.const 16752) "\19\00\00\00") ;; BYE
119 (data (i32.const 16788) "\05\00\00\00") ;; KEY
120 (data (i32.const 16792) "\02\00\00\00") ;; LIT
121 (data (i32.const 16796) "\20\00\00\00") ;; 32 (space)
122 (data (i32.const 16800) "\25\00\00\00") ;; =?
123 (data (i32.const 16804) "\0f\00\00\00") ;; JNZ:
124 (data (i32.const 16808) "\bc\41\00\00") ;; addr of keypump
125 (data (i32.const 16812) "\cc\40\00\00") ;; WORDLOOP + 1
126 (data (i32.const 16816) "\28\41\00\00") ;; EXECUTE-MODE
127 (data (i32.const 16820) "\01\00\00\00") ;; RET
128 (data (i32.const 16828) "\18\00\00\00") ;; j-1: <-- keypump
129 (data (i32.const 16832) "\e0\41\00\00") ;; addr of end
130 (data (i32.const 16836) "\05\00\00\00") ;; KEY
131 (data (i32.const 16840) "\02\00\00\00") ;; LIT
132 (data (i32.const 16844) "\0a\00\00\00") ;; 10 (line feed)
133 (data (i32.const 16848) "\25\00\00\00") ;; =?
134 (data (i32.const 16852) "\0e\00\00\00") ;; JZ:
135 (data (i32.const 16856) "\bc\41\00\00") ;; addr of keypump
136 (data (i32.const 16860) "\10\00\00\00") ;; DROP
137 (data (i32.const 16864) "\01\00\00\00") ;; RET
139 (export "memory" (memory $0))
140 (export "main" (func $main))
141 (func $main (result i32)
144 (func $interpret (result i32)
148 (local $inbuf_head i32)
149 (local $stringbelt_tail i32)
150 (local $stringbelt_head i32)
151 (local $wordbelt_tail i32)
152 (local $wordbelt_head i32)
160 get_global $inbuf_data
161 set_local $inbuf_head
164 set_local $stringbelt_tail
167 set_local $stringbelt_head
170 set_local $wordbelt_tail
173 set_local $wordbelt_head
190 block $default block $op0 block $ret block $lit block $rinit
191 block $word block $key block $dup block $plus block $noop2 block $emit
192 block $fetch block $set block $execute block $noop block $jz block $jnz
193 block $drop block $wsbool block $jmp block $wordputc block $wordstart
194 block $dictget block $parsenum block $wordfinish block $jneg1 block $swap
195 block $words block $here block $dictset block $dup2 block $rot block $drop2
196 block $comma block $subtract block $keychan block $sethere block $eqbool
199 br_table $op0 $ret (;2;)$lit $rinit (;4;)$word $key (;6;)$dup $plus
200 (;8;)$jmp $emit (;10;)$fetch $set (;12;)$execute $noop (;14;)$jz $jnz
201 (;16;)$drop $wsbool (;18;)$jmp $wordputc (;20;)$wordstart $dictget
202 (;22;)$parsenum $wordfinish (;24;)$jneg1 $bye (;26;)$swap $words
203 (;28;)$here $dictset (;30;)$dup2 $rot (;32;)$drop2 $comma
204 (;34;)$subtract $keychan (;36;)$sethere $eqbool (;38;)$echostring $default
330 get_local $wordbelt_tail
331 get_local $wordbelt_head
332 get_local $wordbelt_tail
336 tee_local $eax (; n bytes ;)
338 (; align to 32-bit ;)
339 get_local $wordbelt_head
344 set_local $wordbelt_head
346 get_local $wordbelt_tail
359 i32.const 14348 (; load BASE ;)
377 get_local $wordbelt_head
384 set_local $wordbelt_head
386 get_local $wordbelt_head
387 get_local $wordbelt_head
388 tee_local $wordbelt_tail
393 set_local $wordbelt_head
397 get_local $wordbelt_head
402 tee_local $wordbelt_head
403 get_local $wordbelt_tail
406 get_local $wordbelt_head
409 set_local $wordbelt_head
410 get_local $wordbelt_tail
413 set_local $wordbelt_tail
414 loop $copywordtostart
415 get_local $wordbelt_head
416 get_local $wordbelt_tail
419 get_local $wordbelt_head
422 set_local $wordbelt_head
423 get_local $wordbelt_tail
426 tee_local $wordbelt_tail
429 br_if $copywordtostart
432 set_local $wordbelt_tail
434 get_local $wordbelt_head
437 get_local $wordbelt_head
440 set_local $wordbelt_head
537 get_global $inbuf_size
539 get_local $inbuf_head
540 get_global $inbuf_data
544 get_local $inbuf_head
547 get_local $inbuf_head
550 set_local $inbuf_head
557 get_global $inbuf_size
563 i32.const -1 ;; <- keyval sent if sz == 0
602 get_local $stringbelt_tail
605 get_local $stringbelt_head
608 get_local $wordbelt_tail
611 get_local $wordbelt_head