1(module
2  (func (result i32 i32 i32)
3    i32.const 1
4    i32.eqz
5    f64.const 0
6    f64.const 1
7    f64.ne
8    i32.const 1111
9  )
10  (export "d" (func 0))
11)
12
13(assert_return (invoke "d") (i32.const 0) (i32.const 1) (i32.const 1111))
14