wasmer/tests/spectests/forward.wast
2020-04-03 14:24:40 -07:00

21 lines
689 B
Plaintext

(module
(func $even (export "even") (param $n i32) (result i32)
(if (result i32) (i32.eq (local.get $n) (i32.const 0))
(then (i32.const 1))
(else (call $odd (i32.sub (local.get $n) (i32.const 1))))
)
)
(func $odd (export "odd") (param $n i32) (result i32)
(if (result i32) (i32.eq (local.get $n) (i32.const 0))
(then (i32.const 0))
(else (call $even (i32.sub (local.get $n) (i32.const 1))))
)
)
)
(assert_return (invoke "even" (i32.const 13)) (i32.const 0))
(assert_return (invoke "even" (i32.const 20)) (i32.const 1))
(assert_return (invoke "odd" (i32.const 13)) (i32.const 1))
(assert_return (invoke "odd" (i32.const 20)) (i32.const 0))