test/passes/precompute.txt

(module
 (type $0 (func (param i32)))
 (type $1 (func (result i32)))
 (type $2 (func))
 (memory $0 0)
 (func $x (type $0) (param $x i32)
  (call $x
   (i32.const 2300)
  )
  (nop)
  (drop
   (i32.add
    (i32.const 1)
    (get_local $x)
   )
  )
  (nop)
  (nop)
  (nop)
  (loop $in
   (br $in)
  )
  (nop)
  (block $c
   (nop)
   (call $x
    (i32.const 4)
   )
   (br $c)
   (br $c)
  )
  (drop
   (block $val i32
    (nop)
    (call $x
     (i32.const 4)
    )
    (br $val
     (i32.const 101)
    )
    (br $val
     (i32.const 102)
    )
   )
  )
  (nop)
  (drop
   (block $d0 i32
    (call $x
     (i32.const 5)
    )
    (nop)
    (i32.const 1)
   )
  )
  (drop
   (block $d2 i32
    (call $x
     (i32.const 6)
    )
    (nop)
    (i32.const 1)
   )
  )
  (drop
   (block $d4 i32
    (call $x
     (i32.const 7)
    )
    (nop)
    (i32.const 2)
   )
  )
  (call $x
   (i32.const 2)
  )
  (call $x
   (i32.const 1)
  )
  (call $x
   (i32.const 0)
  )
  (call $x
   (i32.const 0)
  )
 )
 (func $ret (type $1) (result i32)
  (if
   (call $ret)
   (return
    (i32.const 0)
   )
  )
  (if
   (call $ret)
   (return
    (i32.const 1)
   )
  )
  (i32.const 1)
 )
 (func $noret (type $2)
  (if
   (call $ret)
   (return)
  )
 )
)