diff options
Diffstat (limited to 'test/passes/optimize-instructions.txt')
| -rw-r--r-- | test/passes/optimize-instructions.txt | 399 |
1 files changed, 300 insertions, 99 deletions
diff --git a/test/passes/optimize-instructions.txt b/test/passes/optimize-instructions.txt index 51a5113b1..7d82ae8b1 100644 --- a/test/passes/optimize-instructions.txt +++ b/test/passes/optimize-instructions.txt @@ -1,17 +1,18 @@ (module (type $0 (func (param i32 i64))) (type $1 (func)) - (type $2 (func (result i32))) - (type $3 (func (param i32) (result i32))) - (type $4 (func (param i32 i32))) - (type $5 (func (param i32))) - (type $6 (func (param i32 i32) (result i32))) - (type $7 (func (param i64) (result i64))) - (type $8 (func (result i64))) - (type $9 (func (param i32 i64 f32 f64))) - (type $10 (func (param i32 i64 f32))) - (type $11 (func (param i32 i64 f64 i32))) - (type $12 (func (result f64))) + (type $2 (func (param i32 i32 f64 f64))) + (type $3 (func (result i32))) + (type $4 (func (param i32) (result i32))) + (type $5 (func (param i32 i32))) + (type $6 (func (param i32))) + (type $7 (func (param i32 i32) (result i32))) + (type $8 (func (param i64) (result i64))) + (type $9 (func (result i64))) + (type $10 (func (param i32 i64 f32 f64))) + (type $11 (func (param i32 i64 f32))) + (type $12 (func (param i32 i64 f64 i32))) + (type $13 (func (result f64))) (memory $0 0) (export "load-off-2" (func $load-off-2)) (func $f (; 0 ;) (type $0) (param $i1 i32) (param $i2 i64) @@ -346,7 +347,7 @@ ) ) ) - (func $canonicalize-binary (; 4 ;) (type $1) + (func $canonicalize (; 4 ;) (type $2) (param $x i32) (param $y i32) (param $fx f64) (param $fy f64) (drop (i32.and (unreachable) @@ -371,8 +372,208 @@ (unreachable) ) ) + (drop + (i32.and + (i32.const 1) + (i32.const 2) + ) + ) + (drop + (i32.and + (get_local $x) + (i32.const 3) + ) + ) + (drop + (i32.and + (get_local $x) + (i32.const 4) + ) + ) + (drop + (i32.and + (get_local $x) + (get_local $y) + ) + ) + (drop + (i32.and + (get_local $x) + (get_local $y) + ) + ) + (drop + (i32.and + (tee_local $x + (i32.const -4) + ) + (get_local $y) + ) + ) + (drop + (i32.and + (block $block (result i32) + (i32.const -5) + ) + (get_local $x) + ) + ) + (drop + (i32.and + (block $block3 (result i32) + (i32.const -6) + ) + (get_local $x) + ) + ) + (drop + (i32.and + (block $block4 (result i32) + (i32.const 5) + ) + (loop $loop-in (result i32) + (i32.const 6) + ) + ) + ) + (drop + (i32.and + (block $block6 (result i32) + (i32.const 8) + ) + (loop $loop-in5 (result i32) + (i32.const 7) + ) + ) + ) + (drop + (i32.and + (block $block8 (result i32) + (i32.const 10) + ) + (loop $loop-in7 (result i32) + (call $and-pos1) + (i32.const 9) + ) + ) + ) + (drop + (i32.and + (block $block10 (result i32) + (call $and-pos1) + (i32.const 12) + ) + (loop $loop-in9 (result i32) + (i32.const 11) + ) + ) + ) + (drop + (i32.and + (loop $loop-in11 (result i32) + (call $and-pos1) + (i32.const 13) + ) + (block $block12 (result i32) + (call $and-pos1) + (i32.const 14) + ) + ) + ) + (drop + (i32.and + (block $block13 (result i32) + (call $and-pos1) + (i32.const 14) + ) + (loop $loop-in14 (result i32) + (call $and-pos1) + (i32.const 13) + ) + ) + ) + (drop + (i32.and + (block $block15 (result i32) + (i32.const 15) + ) + (get_local $x) + ) + ) + (drop + (i32.and + (block $block16 (result i32) + (i32.const 15) + ) + (get_local $x) + ) + ) + (drop + (i32.and + (i32.gt_s + (i32.const 16) + (i32.const 17) + ) + (i32.gt_u + (i32.const 18) + (i32.const 19) + ) + ) + ) + (drop + (i32.and + (i32.gt_s + (i32.const 22) + (i32.const 23) + ) + (i32.gt_u + (i32.const 20) + (i32.const 21) + ) + ) + ) + (drop + (i32.add + (i32.ctz + (get_local $x) + ) + (i32.ctz + (get_local $y) + ) + ) + ) + (drop + (i32.add + (i32.ctz + (get_local $y) + ) + (i32.ctz + (get_local $x) + ) + ) + ) + (drop + (i32.add + (i32.ctz + (get_local $x) + ) + (i32.eqz + (get_local $y) + ) + ) + ) + (drop + (i32.add + (i32.ctz + (get_local $y) + ) + (i32.eqz + (get_local $x) + ) + ) + ) ) - (func $ne0 (; 5 ;) (type $2) (result i32) + (func $ne0 (; 5 ;) (type $3) (result i32) (if (call $ne0) (nop) @@ -420,10 +621,10 @@ (nop) ) ) - (func $ne1 (; 7 ;) (type $2) (result i32) + (func $ne1 (; 7 ;) (type $3) (result i32) (unreachable) ) - (func $load-off-2 (; 8 ;) (type $3) (param $0 i32) (result i32) + (func $load-off-2 (; 8 ;) (type $4) (param $0 i32) (result i32) (i32.store (i32.const 6) (get_local $0) @@ -506,7 +707,7 @@ ) ) ) - (func $sign-ext (; 9 ;) (type $4) (param $0 i32) (param $1 i32) + (func $sign-ext (; 9 ;) (type $5) (param $0 i32) (param $1 i32) (drop (i32.eqz (i32.and @@ -617,7 +818,7 @@ ) ) ) - (func $sign-ext-input (; 10 ;) (type $4) (param $0 i32) (param $1 i32) + (func $sign-ext-input (; 10 ;) (type $5) (param $0 i32) (param $1 i32) (drop (i32.const 100) ) @@ -936,11 +1137,11 @@ (i32.shr_s (i32.shl (i32.xor + (get_local $0) (i32.le_u (get_local $0) (i32.const 2) ) - (get_local $0) ) (i32.const 24) ) @@ -948,14 +1149,14 @@ ) ) ) - (func $linear-sums (; 11 ;) (type $4) (param $0 i32) (param $1 i32) + (func $linear-sums (; 11 ;) (type $5) (param $0 i32) (param $1 i32) (drop (i32.add - (get_local $1) (i32.shl (get_local $0) (i32.const 4) ) + (get_local $1) ) ) (drop @@ -1040,7 +1241,7 @@ (get_local $0) ) ) - (func $almost-sign-ext (; 12 ;) (type $4) (param $0 i32) (param $0 i32) + (func $almost-sign-ext (; 12 ;) (type $5) (param $0 i32) (param $0 i32) (drop (i32.shr_s (i32.shl @@ -1057,7 +1258,7 @@ ) ) ) - (func $squaring (; 13 ;) (type $4) (param $0 i32) (param $1 i32) + (func $squaring (; 13 ;) (type $5) (param $0 i32) (param $1 i32) (drop (i32.and (get_local $0) @@ -1066,11 +1267,11 @@ ) (drop (i32.and + (get_local $0) (i32.and (get_local $0) (i32.const 11) ) - (get_local $0) ) ) (drop @@ -1113,7 +1314,7 @@ ) ) ) - (func $sign-ext-ne (; 14 ;) (type $4) (param $0 i32) (param $1 i32) + (func $sign-ext-ne (; 14 ;) (type $5) (param $0 i32) (param $1 i32) (drop (i32.ne (i32.and @@ -1163,7 +1364,7 @@ ) ) ) - (func $sign-ext-eqz (; 15 ;) (type $4) (param $0 i32) (param $1 i32) + (func $sign-ext-eqz (; 15 ;) (type $5) (param $0 i32) (param $1 i32) (drop (i32.eqz (i32.and @@ -1173,7 +1374,7 @@ ) ) ) - (func $sign-ext-boolean (; 16 ;) (type $4) (param $0 i32) (param $1 i32) + (func $sign-ext-boolean (; 16 ;) (type $5) (param $0 i32) (param $1 i32) (drop (if (result i32) (i32.and @@ -1185,7 +1386,7 @@ ) ) ) - (func $add-sub-zero (; 17 ;) (type $4) (param $0 i32) (param $1 i32) + (func $add-sub-zero (; 17 ;) (type $5) (param $0 i32) (param $1 i32) (drop (get_local $0) ) @@ -1193,7 +1394,7 @@ (get_local $0) ) ) - (func $store-signext (; 18 ;) (type $5) (param $0 i32) + (func $store-signext (; 18 ;) (type $6) (param $0 i32) (i32.store8 (i32.const 8) (get_local $0) @@ -1251,7 +1452,7 @@ ) ) ) - (func $sign-ext-tee (; 19 ;) (type $4) (param $0 i32) (param $1 i32) + (func $sign-ext-tee (; 19 ;) (type $5) (param $0 i32) (param $1 i32) (drop (i32.shr_s (i32.shl @@ -1269,7 +1470,7 @@ ) ) ) - (func $sign-ext-load (; 20 ;) (type $4) (param $0 i32) (param $1 i32) + (func $sign-ext-load (; 20 ;) (type $5) (param $0 i32) (param $1 i32) (drop (i32.load8_s (i32.const 256) @@ -1340,7 +1541,7 @@ ) ) ) - (func $mask-bits (; 21 ;) (type $4) (param $0 i32) (param $1 i32) + (func $mask-bits (; 21 ;) (type $5) (param $0 i32) (param $1 i32) (drop (tee_local $0 (i32.const 127) @@ -1394,7 +1595,7 @@ ) ) ) - (func $local-info-zero-ext (; 22 ;) (type $4) (param $0 i32) (param $1 i32) + (func $local-info-zero-ext (; 22 ;) (type $5) (param $0 i32) (param $1 i32) (local $x i32) (local $y i32) (local $z i32) @@ -1445,7 +1646,7 @@ ) ) ) - (func $local-info-sign-ext-bitsize (; 23 ;) (type $4) (param $0 i32) (param $1 i32) + (func $local-info-sign-ext-bitsize (; 23 ;) (type $5) (param $0 i32) (param $1 i32) (local $x i32) (local $y i32) (local $z i32) @@ -1505,7 +1706,7 @@ ) ) ) - (func $local-info-sign-ext-already-exted (; 24 ;) (type $4) (param $0 i32) (param $1 i32) + (func $local-info-sign-ext-already-exted (; 24 ;) (type $5) (param $0 i32) (param $1 i32) (local $x i32) (local $y i32) (local $z i32) @@ -1616,7 +1817,7 @@ ) ) ) - (func $signed-loads-fill-the-bits (; 25 ;) (type $3) (param $$e i32) (result i32) + (func $signed-loads-fill-the-bits (; 25 ;) (type $4) (param $$e i32) (result i32) (local $$0 i32) (local $$conv i32) (set_local $$0 @@ -1632,12 +1833,12 @@ ) (return (i32.eq - (get_local $$conv) (get_local $$e) + (get_local $$conv) ) ) ) - (func $local-info-sign-ext-already-exted-by-load (; 26 ;) (type $4) (param $0 i32) (param $1 i32) + (func $local-info-sign-ext-already-exted-by-load (; 26 ;) (type $5) (param $0 i32) (param $1 i32) (local $x i32) (local $y i32) (local $z i32) @@ -1679,7 +1880,7 @@ ) ) ) - (func $compare-load-s-sign-extend (; 27 ;) (type $4) (param $0 i32) (param $1 i32) + (func $compare-load-s-sign-extend (; 27 ;) (type $5) (param $0 i32) (param $1 i32) (drop (i32.eq (i32.load8_u @@ -1693,13 +1894,13 @@ ) (drop (i32.eq + (i32.load8_u + (get_local $0) + ) (i32.and (get_local $1) (i32.const 255) ) - (i32.load8_u - (get_local $0) - ) ) ) (drop @@ -1732,6 +1933,9 @@ ) (drop (i32.eq + (i32.load8_u + (get_local $0) + ) (i32.shr_s (i32.shl (get_local $1) @@ -1739,13 +1943,13 @@ ) (i32.const 24) ) - (i32.load8_u - (get_local $0) - ) ) ) (drop (i32.eq + (i32.load8_s + (get_local $0) + ) (i32.shr_s (i32.shl (get_local $1) @@ -1753,13 +1957,10 @@ ) (i32.const 16) ) - (i32.load8_s - (get_local $0) - ) ) ) ) - (func $unsign-diff-sizes (; 28 ;) (type $6) (param $x i32) (param $y i32) (result i32) + (func $unsign-diff-sizes (; 28 ;) (type $7) (param $x i32) (param $y i32) (result i32) (i32.ne (i32.shr_s (i32.shl @@ -1783,7 +1984,7 @@ ) ) ) - (func $unsign-same-sizes (; 29 ;) (type $6) (param $x i32) (param $y i32) (result i32) + (func $unsign-same-sizes (; 29 ;) (type $7) (param $x i32) (param $y i32) (result i32) (i32.ne (i32.and (call $unsign-same-sizes @@ -1825,7 +2026,7 @@ ) ) ) - (func $fuzz-comp-impossible (; 31 ;) (type $5) (param $x i32) + (func $fuzz-comp-impossible (; 31 ;) (type $6) (param $x i32) (drop (i32.eq (i32.and @@ -1890,7 +2091,7 @@ ) ) ) - (func $if-parallel (; 32 ;) (type $4) (param $0 i32) (param $1 i32) + (func $if-parallel (; 32 ;) (type $5) (param $0 i32) (param $1 i32) (drop (i32.add (get_local $1) @@ -1945,7 +2146,7 @@ ) ) ) - (func $select-parallel (; 33 ;) (type $4) (param $0 i32) (param $1 i32) + (func $select-parallel (; 33 ;) (type $5) (param $0 i32) (param $1 i32) (drop (i32.add (get_local $1) @@ -2022,7 +2223,7 @@ ) ) ) - (func $zero-ops (; 35 ;) (type $2) (result i32) + (func $zero-ops (; 35 ;) (type $3) (result i32) (return (i32.eq (i32.load16_s align=1 @@ -2032,7 +2233,7 @@ ) ) ) - (func $sign-ext-1-and-ne (; 36 ;) (type $2) (result i32) + (func $sign-ext-1-and-ne (; 36 ;) (type $3) (result i32) (i32.ne (i32.and (call $sign-ext-1-and-ne) @@ -2041,7 +2242,7 @@ (i32.const -2147483648) ) ) - (func $neg-shifts-and-255 (; 37 ;) (type $2) (result i32) + (func $neg-shifts-and-255 (; 37 ;) (type $3) (result i32) (i32.and (i32.shr_u (i32.const -99) @@ -2050,7 +2251,7 @@ (i32.const 255) ) ) - (func $neg-shifts-and-255-b (; 38 ;) (type $2) (result i32) + (func $neg-shifts-and-255-b (; 38 ;) (type $3) (result i32) (i32.and (i32.shl (i32.const -2349025) @@ -2059,7 +2260,7 @@ (i32.const 255) ) ) - (func $shifts-square-overflow (; 39 ;) (type $3) (param $x i32) (result i32) + (func $shifts-square-overflow (; 39 ;) (type $4) (param $x i32) (result i32) (i32.shr_u (i32.shr_u (get_local $x) @@ -2068,13 +2269,13 @@ (i32.const 32767) ) ) - (func $shifts-square-no-overflow-small (; 40 ;) (type $3) (param $x i32) (result i32) + (func $shifts-square-no-overflow-small (; 40 ;) (type $4) (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const 9) ) ) - (func $shifts-square-overflow-64 (; 41 ;) (type $7) (param $x i64) (result i64) + (func $shifts-square-overflow-64 (; 41 ;) (type $8) (param $x i64) (result i64) (i64.shr_u (i64.shr_u (get_local $x) @@ -2083,13 +2284,13 @@ (i64.const 64767) ) ) - (func $shifts-square-no-overflow-small-64 (; 42 ;) (type $7) (param $x i64) (result i64) + (func $shifts-square-no-overflow-small-64 (; 42 ;) (type $8) (param $x i64) (result i64) (i64.shr_u (get_local $x) (i64.const 9) ) ) - (func $shifts-square-unreachable (; 43 ;) (type $3) (param $x i32) (result i32) + (func $shifts-square-unreachable (; 43 ;) (type $4) (param $x i32) (result i32) (i32.shr_u (i32.shr_u (unreachable) @@ -2098,7 +2299,7 @@ (i32.const 4098) ) ) - (func $mix-shifts (; 44 ;) (type $2) (result i32) + (func $mix-shifts (; 44 ;) (type $3) (result i32) (i32.shr_s (i32.shl (i32.const 23) @@ -2107,13 +2308,13 @@ (i32.const 168) ) ) - (func $actually-no-shifts (; 45 ;) (type $2) (result i32) + (func $actually-no-shifts (; 45 ;) (type $3) (result i32) (i32.const 33) ) - (func $less-shifts-than-it-seems (; 46 ;) (type $3) (param $x i32) (result i32) + (func $less-shifts-than-it-seems (; 46 ;) (type $4) (param $x i32) (result i32) (i32.const 4800) ) - (func $and-popcount32 (; 47 ;) (type $2) (result i32) + (func $and-popcount32 (; 47 ;) (type $3) (result i32) (i32.and (i32.popcnt (i32.const -1) @@ -2121,12 +2322,12 @@ (i32.const 31) ) ) - (func $and-popcount32-big (; 48 ;) (type $2) (result i32) + (func $and-popcount32-big (; 48 ;) (type $3) (result i32) (i32.popcnt (i32.const -1) ) ) - (func $and-popcount64 (; 49 ;) (type $8) (result i64) + (func $and-popcount64 (; 49 ;) (type $9) (result i64) (i64.and (i64.popcnt (i64.const -1) @@ -2134,7 +2335,7 @@ (i64.const 63) ) ) - (func $and-popcount64-big (; 50 ;) (type $8) (result i64) + (func $and-popcount64-big (; 50 ;) (type $9) (result i64) (i64.and (i64.popcnt (i64.const -1) @@ -2142,7 +2343,7 @@ (i64.const 127) ) ) - (func $and-popcount64-bigger (; 51 ;) (type $8) (result i64) + (func $and-popcount64-bigger (; 51 ;) (type $9) (result i64) (i64.and (i64.popcnt (i64.const -1) @@ -2150,7 +2351,7 @@ (i64.const 255) ) ) - (func $optimizeAddedConstants-filters-through-nonzero (; 52 ;) (type $2) (result i32) + (func $optimizeAddedConstants-filters-through-nonzero (; 52 ;) (type $3) (result i32) (i32.add (i32.shl (i32.const -536870912) @@ -2161,7 +2362,7 @@ (i32.const -31744) ) ) - (func $optimizeAddedConstants-filters-through-nonzero-b (; 53 ;) (type $2) (result i32) + (func $optimizeAddedConstants-filters-through-nonzero-b (; 53 ;) (type $3) (result i32) (i32.add (i32.shl (i32.const -536870912) @@ -2172,7 +2373,7 @@ (i32.const -31744) ) ) - (func $return-proper-value-from-shift-left-by-zero (; 54 ;) (type $2) (result i32) + (func $return-proper-value-from-shift-left-by-zero (; 54 ;) (type $3) (result i32) (if (result i32) (i32.add (loop $label$0 (result i32) @@ -2191,7 +2392,7 @@ (i32.const 0) ) ) - (func $de-morgan-2 (; 55 ;) (type $4) (param $x i32) (param $y i32) + (func $de-morgan-2 (; 55 ;) (type $5) (param $x i32) (param $y i32) (drop (i32.eqz (i32.or @@ -2222,18 +2423,18 @@ ) (drop (i32.and + (get_local $y) (i32.eqz (get_local $x) ) - (get_local $y) ) ) (drop (i32.and - (get_local $x) (i32.eqz (get_local $y) ) + (get_local $x) ) ) (drop @@ -2248,16 +2449,16 @@ ) (drop (i32.and - (i32.wrap/i64 - (i64.const 1) - ) (i32.eqz (get_local $y) ) + (i32.wrap/i64 + (i64.const 1) + ) ) ) ) - (func $subzero1 (; 56 ;) (type $3) (param $0 i32) (result i32) + (func $subzero1 (; 56 ;) (type $4) (param $0 i32) (result i32) (i32.sub (i32.const 32) (i32.clz @@ -2265,7 +2466,7 @@ ) ) ) - (func $subzero2 (; 57 ;) (type $3) (param $0 i32) (result i32) + (func $subzero2 (; 57 ;) (type $4) (param $0 i32) (result i32) (i32.sub (i32.const 32) (i32.clz @@ -2273,7 +2474,7 @@ ) ) ) - (func $subzero3 (; 58 ;) (type $6) (param $0 i32) (param $1 i32) (result i32) + (func $subzero3 (; 58 ;) (type $7) (param $0 i32) (param $1 i32) (result i32) (i32.sub (get_local $1) (i32.clz @@ -2281,7 +2482,7 @@ ) ) ) - (func $subzero4 (; 59 ;) (type $6) (param $0 i32) (param $1 i32) (result i32) + (func $subzero4 (; 59 ;) (type $7) (param $0 i32) (param $1 i32) (result i32) (i32.sub (get_local $0) (i32.clz @@ -2289,7 +2490,7 @@ ) ) ) - (func $mul-power-2 (; 60 ;) (type $3) (param $x i32) (result i32) + (func $mul-power-2 (; 60 ;) (type $4) (param $x i32) (result i32) (drop (call $mul-power-2 (i32.shl @@ -2344,7 +2545,7 @@ ) (unreachable) ) - (func $urem-power-2 (; 61 ;) (type $3) (param $x i32) (result i32) + (func $urem-power-2 (; 61 ;) (type $4) (param $x i32) (result i32) (drop (call $urem-power-2 (i32.and @@ -2392,10 +2593,10 @@ ) (unreachable) ) - (func $orZero (; 62 ;) (type $3) (param $0 i32) (result i32) + (func $orZero (; 62 ;) (type $4) (param $0 i32) (result i32) (get_local $0) ) - (func $andZero (; 63 ;) (type $3) (param $0 i32) (result i32) + (func $andZero (; 63 ;) (type $4) (param $0 i32) (result i32) (drop (i32.const 0) ) @@ -2409,7 +2610,7 @@ ) (unreachable) ) - (func $abstract-additions (; 64 ;) (type $9) (param $x32 i32) (param $x64 i64) (param $y32 f32) (param $y64 f64) + (func $abstract-additions (; 64 ;) (type $10) (param $x32 i32) (param $x64 i64) (param $y32 f32) (param $y64 f64) (drop (get_local $x32) ) @@ -2565,11 +2766,11 @@ ) (drop (i32.eq - (get_local $x32) (i32.add (get_local $x32) (i32.const 10) ) + (get_local $x32) ) ) (drop @@ -2580,29 +2781,29 @@ ) (drop (i32.eq - (get_local $x32) (i32.sub (get_local $x32) (i32.const 30) ) + (get_local $x32) ) ) (drop (i32.eq - (get_local $x32) - (i32.add + (i32.sub (get_local $x32) (i32.const 30) ) + (get_local $x32) ) ) (drop (i32.eq - (get_local $x32) (i32.sub (get_local $x32) (i32.const 10) ) + (get_local $x32) ) ) (drop @@ -2615,7 +2816,7 @@ ) ) ) - (func $negatives-are-sometimes-better (; 65 ;) (type $10) (param $x i32) (param $y i64) (param $z f32) + (func $negatives-are-sometimes-better (; 65 ;) (type $11) (param $x i32) (param $y i64) (param $z f32) (drop (i32.sub (get_local $x) @@ -2713,7 +2914,7 @@ ) ) ) - (func $shift-a-zero (; 66 ;) (type $10) (param $x i32) (param $y i64) (param $z f32) + (func $shift-a-zero (; 66 ;) (type $11) (param $x i32) (param $y i64) (param $z f32) (drop (i32.const 0) ) @@ -2733,7 +2934,7 @@ ) ) ) - (func $identical-siblings (; 67 ;) (type $11) (param $x i32) (param $y i64) (param $z f64) (param $xx i32) + (func $identical-siblings (; 67 ;) (type $12) (param $x i32) (param $y i64) (param $z f64) (param $xx i32) (drop (i32.const 0) ) @@ -2870,7 +3071,7 @@ (get_local $x) ) ) - (func $select-on-const (; 70 ;) (type $4) (param $x i32) (param $y i32) + (func $select-on-const (; 70 ;) (type $5) (param $x i32) (param $y i32) (drop (get_local $x) ) @@ -2986,7 +3187,7 @@ ) ) ) - (func $tee-with-unreachable-value (; 72 ;) (type $12) (result f64) + (func $tee-with-unreachable-value (; 72 ;) (type $13) (result f64) (local $var$0 i32) (block $label$1 (result f64) (tee_local $var$0 @@ -2997,7 +3198,7 @@ ) ) ) - (func $add-sub-zero-reorder-1 (; 73 ;) (type $3) (param $temp i32) (result i32) + (func $add-sub-zero-reorder-1 (; 73 ;) (type $4) (param $temp i32) (result i32) (i32.add (i32.add (i32.sub @@ -3011,7 +3212,7 @@ (i32.const 2) ) ) - (func $add-sub-zero-reorder-2 (; 74 ;) (type $3) (param $temp i32) (result i32) + (func $add-sub-zero-reorder-2 (; 74 ;) (type $4) (param $temp i32) (result i32) (i32.add (i32.sub (tee_local $temp |