[rustc.git] / src / binaryen / test / spec / forward.wast

(module
  (func $even (export "even") (param $n i32) (result i32)
    (if i32 (i32.eq (get_local $n) (i32.const 0))
      (i32.const 1)
      (call $odd (i32.sub (get_local $n) (i32.const 1)))
    )
  )

  (func $odd (export "odd") (param $n i32) (result i32)
    (if i32 (i32.eq (get_local $n) (i32.const 0))
      (i32.const 0)
      (call $even (i32.sub (get_local $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))
Commit	Line	Data
abe05a73 XL	1	(module
	2	(func $even (export "even") (param $n i32) (result i32)
	3	(if i32 (i32.eq (get_local $n) (i32.const 0))
	4	(i32.const 1)
	5	(call $odd (i32.sub (get_local $n) (i32.const 1)))
	6	)
	7	)
	8
	9	(func $odd (export "odd") (param $n i32) (result i32)
	10	(if i32 (i32.eq (get_local $n) (i32.const 0))
	11	(i32.const 0)
	12	(call $even (i32.sub (get_local $n) (i32.const 1)))
	13	)
	14	)
	15	)
	16
	17	(assert_return (invoke "even" (i32.const 13)) (i32.const 0))
	18	(assert_return (invoke "even" (i32.const 20)) (i32.const 1))
	19	(assert_return (invoke "odd" (i32.const 13)) (i32.const 1))
	20	(assert_return (invoke "odd" (i32.const 20)) (i32.const 0))