waforth/scripts/word.wat

;; Template for defining 'word' modules
;; Used to 'reverse engineer' the binary code to emit from the compiler
(module $quadruple
  (import "env" "table" (table 4 anyfunc))
  (import "env" "memory" (memory 1))
  (import "env" "tos" (global $tos i32))

  (type $void (func))
  (type $push (func (param i32)))
  (type $pop (func (result i32)))
  (type $endLoop (func (param i32) (result i32)))

  (func $word (param $n i32)
    (local $index1 i32)
    (local $end1 i32)
    (local $incr1 i32)

    ;; Push
    (call_indirect (type $push) (i32.const 43) (i32.const 1))

    ;; Word call
    (call_indirect (type $push) (i32.const 10) (i32.const 9))

    ;; Conditional
    (if (i32.ne (call_indirect (type $pop) (i32.const 2)) (i32.const 0))
      (then
        (nop)
        (nop))
      (else
        (nop)
        (nop)
        (nop)))

    ;; do loop
    (set_local $index1 (call_indirect (type $pop) (i32.const 2)))
    (set_local $end1 (call_indirect (type $pop) (i32.const 2)))
    (set_local $incr1 (i32.ge_s (get_local $end1) (get_local $index1)))
    (block $endDoLoop
      (loop $doLoop
        (nop)
        (set_local $index1 (i32.add (get_local $index1) (i32.const 1)))
        (if (i32.eqz (get_local $incr1))
          (then (br_if $endDoLoop (i32.le_s (get_local $index1) (get_local $end1))))
          (else (br_if $endDoLoop (i32.ge_s (get_local $index1) (get_local $end1)))))
        (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 (get_local $n)))

  (elem (i32.const 44) $word))