(module | |
(func (export "test") (param i32) (result i32) | |
(block (result i32) | |
(br_if 0 | |
(i32.const 2) | |
(if (result i32) (local.get 0) | |
(then (i32.const 1)) | |
(else (i32.const 0)) | |
) | |
) | |
(return (i32.const 3)) | |
) | |
) | |
(func (export "checkResult") (param i32) (result i32) | |
(i32.eq (i32.const 3) (local.get 0)) | |
) | |
) |