(module (func $ret (export "ret") (result i32) (block $out (result i32) (drop (call $ret)) (if (call $ret) (return (return (i32.const 1) ) ) ) (drop (br_if $out (i32.const 999) (i32.const 1))) (unreachable) ) ) (func $if-0-unreachable-to-none (export "waka") (param $var$0 i64) (local $var$1 i64) (local $var$2 i64) (block $label$1 (if (i32.const 0) (br $label$1) (unreachable) ) ) ) (func $many-selects (export "many-selects") (param $0 i32) (result i32) (if (i32.lt_s (local.get $0) (i32.const -1073741824) ) (local.set $0 (i32.const -1073741824) ) (if (i32.gt_s (local.get $0) (i32.const 1073741823) ) (local.set $0 (i32.const 1073741823) ) ) ) (local.get $0) ) (func $end-if-else (export "end-if-else") (param $x i32) (result i32) (if (local.get $x) (local.set $x (i32.const 1) ) ) (local.get $x) ) (func $end-if-else-call (export "end-if-else-call") (param $x i32) (result i32) (if (local.get $x) (local.set $x (call $ret) ) ) (local.get $x) ) )