mirror of
https://github.com/remko/waforth
synced 2024-12-28 10:00:06 +01:00
48 lines
1.2 KiB
Text
48 lines
1.2 KiB
Text
|
;; Template for defining 'word' modules
|
||
|
|
;; Used to 'reverse engineer' the binary code to emit from the compiler
|
||
|
|
(module
|
||
|
|
(import "env" "table" (table 4 anyfunc))
|
||
|
|
(import "env" "tableBase" (global $tableBase i32))
|
||
|
|
|
||
|
|
(type $void (func))
|
||
|
|
(type $push (func (param i32)))
|
||
|
|
(type $pop (func (result i32)))
|
||
|
|
(type $endLoop (func (param i32) (result i32)))
|
||
|
|
|
||
|
|
(func $word
|
||
|
|
;; Push
|
||
|
|
(call_indirect (type $push) (i32.const 43) (i32.const 1))
|
||
|
|
|
||
|
|
;; Word call
|
||
|
|
(call_indirect (type $void) (i32.const 10))
|
||
|
|
|
||
|
|
;; Conditional
|
||
|
|
(if (i32.ne (call_indirect (type $pop) (i32.const 2)) (i32.const 0))
|
||
|
|
(then
|
||
|
|
(nop)
|
||
|
|
(nop))
|
||
|
|
(else
|
||
|
|
(nop)
|
||
|
|
(nop)
|
||
|
|
(nop)))
|
||
|
|
|
||
|
|
;; do loop
|
||
|
|
(call_indirect (type $void) (i32.const 4))
|
||
|
|
(block $endDoLoop
|
||
|
|
(loop $doLoop
|
||
|
|
(nop)
|
||
|
|
(br_if $endDoLoop (call_indirect (type $endLoop) (i32.const 1) (i32.const 3)))
|
||
|
|
(br $doLoop)))
|
||
|
|
|
||
|
|
;; repeat loop
|
||
|
|
(block $endRepeatLoop
|
||
|
|
(loop $repeatLoop
|
||
|
|
(nop)
|
||
|
|
(br_if $endRepeatLoop (i32.eqz (call_indirect (type $pop) (i32.const 2))))
|
||
|
|
(nop)
|
||
|
|
(br $repeatLoop)))
|
||
|
|
|
||
|
|
(call $word))
|
||
|
|
|
||
|
|
(elem (get_global $tableBase) $word))
|