1(module 2 (func $ret (export "ret") (result i32) 3 (block $out (result i32) 4 (drop (call $ret)) 5 (if (call $ret) 6 (return 7 (return 8 (i32.const 1) 9 ) 10 ) 11 ) 12 (drop (br_if $out (i32.const 999) (i32.const 1))) 13 (unreachable) 14 ) 15 ) 16 (func $if-0-unreachable-to-none (export "waka") (param $var$0 i64) 17 (local $var$1 i64) 18 (local $var$2 i64) 19 (block $label$1 20 (if 21 (i32.const 0) 22 (br $label$1) 23 (unreachable) 24 ) 25 ) 26 ) 27 (func $many-selects (export "many-selects") (param $0 i32) (result i32) 28 (if 29 (i32.lt_s 30 (local.get $0) 31 (i32.const -1073741824) 32 ) 33 (local.set $0 34 (i32.const -1073741824) 35 ) 36 (if 37 (i32.gt_s 38 (local.get $0) 39 (i32.const 1073741823) 40 ) 41 (local.set $0 42 (i32.const 1073741823) 43 ) 44 ) 45 ) 46 (local.get $0) 47 ) 48 (func $end-if-else (export "end-if-else") (param $x i32) (result i32) 49 (if 50 (local.get $x) 51 (local.set $x 52 (i32.const 1) 53 ) 54 ) 55 (local.get $x) 56 ) 57 (func $end-if-else-call (export "end-if-else-call") (param $x i32) (result i32) 58 (if 59 (local.get $x) 60 (local.set $x 61 (call $ret) 62 ) 63 ) 64 (local.get $x) 65 ) 66) 67 68