summaryrefslogtreecommitdiff
path: root/test/passes/flatten_simplify-locals-nonesting_souperify-single-use_enable-threads.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/flatten_simplify-locals-nonesting_souperify-single-use_enable-threads.txt')
-rw-r--r--test/passes/flatten_simplify-locals-nonesting_souperify-single-use_enable-threads.txt1673
1 files changed, 625 insertions, 1048 deletions
diff --git a/test/passes/flatten_simplify-locals-nonesting_souperify-single-use_enable-threads.txt b/test/passes/flatten_simplify-locals-nonesting_souperify-single-use_enable-threads.txt
index 2116e0e42..8677d9ed3 100644
--- a/test/passes/flatten_simplify-locals-nonesting_souperify-single-use_enable-threads.txt
+++ b/test/passes/flatten_simplify-locals-nonesting_souperify-single-use_enable-threads.txt
@@ -1472,8 +1472,6 @@ infer %4
(nop)
(nop)
(nop)
- (nop)
- (nop)
(local.set $12
(i64.eq
(local.get $a)
@@ -1488,7 +1486,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $15
(i32.and
(local.get $12)
@@ -1543,8 +1540,6 @@ infer %4
(nop)
(nop)
(nop)
- (nop)
- (nop)
(local.set $15
(i64.eq
(local.get $a)
@@ -1559,7 +1554,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $18
(i32.and
(local.get $15)
@@ -1573,10 +1567,7 @@ infer %4
)
(unreachable)
)
- (block
- (unreachable)
- (unreachable)
- )
+ (unreachable)
)
)
(unreachable)
@@ -1612,7 +1603,6 @@ infer %4
(i32.const 1)
)
)
- (nop)
)
(block
(nop)
@@ -1623,12 +1613,10 @@ infer %4
(i32.const 2)
)
)
- (nop)
)
)
)
(nop)
- (nop)
(local.set $8
(i32.and
(local.get $x)
@@ -1660,147 +1648,124 @@ infer %4
(local $11 i32)
(local $12 i32)
(local $13 i32)
- (block
- (nop)
- (nop)
- (nop)
- (local.set $x
- (i32.ge_s
- (local.get $x)
- (local.get $y)
- )
- )
- (nop)
- (nop)
- (nop)
- (nop)
- (local.set $x
- (i32.ge_u
- (local.get $x)
- (local.get $y)
- )
+ (nop)
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.ge_s
+ (local.get $x)
+ (local.get $y)
)
- (nop)
- (nop)
- (nop)
- (nop)
- (local.set $x
- (i32.gt_s
- (local.get $x)
- (local.get $y)
- )
+ )
+ (nop)
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.ge_u
+ (local.get $x)
+ (local.get $y)
)
- (nop)
- (nop)
- (nop)
- (nop)
- (local.set $x
- (i32.gt_u
- (local.get $x)
- (local.get $y)
- )
+ )
+ (nop)
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.gt_s
+ (local.get $x)
+ (local.get $y)
)
- (nop)
)
(nop)
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.gt_u
+ (local.get $x)
+ (local.get $y)
+ )
+ )
)
(func $various-conditions-1 (; 4 ;) (param $x i32)
(local $1 i32)
(local $2 i32)
(local $3 i32)
- (block
- (nop)
- (if
- (local.get $x)
- (block
- (nop)
- (nop)
- (local.set $x
- (i32.add
- (local.get $x)
- (i32.const 1)
- )
+ (nop)
+ (if
+ (local.get $x)
+ (block
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.add
+ (local.get $x)
+ (i32.const 1)
)
- (nop)
)
)
)
- (nop)
)
(func $various-conditions-2 (; 5 ;) (param $x i32)
(local $1 i32)
(local $2 i32)
(local $3 i32)
(local $4 i32)
- (block
- (nop)
- (local.set $2
- (i32.lt_s
- (local.get $x)
- (i32.const 0)
- )
+ (nop)
+ (local.set $2
+ (i32.lt_s
+ (local.get $x)
+ (i32.const 0)
)
- (if
- (local.get $2)
- (block
- (nop)
- (nop)
- (local.set $x
- (i32.sub
- (local.get $x)
- (i32.const 2)
- )
+ )
+ (if
+ (local.get $2)
+ (block
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.sub
+ (local.get $x)
+ (i32.const 2)
)
- (nop)
)
)
)
- (nop)
)
(func $various-conditions-3 (; 6 ;) (param $x i32)
(local $1 i32)
(local $2 i32)
(local $3 i32)
- (block
- (local.set $1
- (i32.reinterpret_f32
- (f32.const 0)
- )
+ (local.set $1
+ (i32.reinterpret_f32
+ (f32.const 0)
)
- (if
- (local.get $1)
- (block
- (nop)
- (nop)
- (local.set $x
- (i32.sub
- (local.get $x)
- (i32.const 4)
- )
+ )
+ (if
+ (local.get $1)
+ (block
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.sub
+ (local.get $x)
+ (i32.const 4)
)
- (nop)
)
)
)
- (nop)
)
(func $various-conditions-4 (; 7 ;) (param $x i32)
(local $1 i32)
(local $2 i32)
- (block
+ (if
(unreachable)
- (if
- (unreachable)
- (block
- (nop)
- (nop)
- (local.set $x
- (i32.add
- (local.get $x)
- (i32.const 3)
- )
+ (block
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.add
+ (local.get $x)
+ (i32.const 3)
)
- (nop)
)
)
)
@@ -1817,52 +1782,48 @@ infer %4
(local $9 i32)
(local $10 i32)
(local $11 i32)
- (block
- (nop)
- (local.set $3
- (i32.eqz
- (local.get $x)
- )
+ (nop)
+ (local.set $3
+ (i32.eqz
+ (local.get $x)
)
- (if
- (local.get $3)
- (block
- (nop)
- (local.set $5
- (i32.ctz
- (local.get $y)
- )
+ )
+ (if
+ (local.get $3)
+ (block
+ (nop)
+ (local.set $5
+ (i32.ctz
+ (local.get $y)
)
- (nop)
- (local.set $7
- (i32.clz
- (local.get $x)
- )
+ )
+ (nop)
+ (local.set $7
+ (i32.clz
+ (local.get $x)
)
- (nop)
- (local.set $9
- (i32.popcnt
- (local.get $y)
- )
+ )
+ (nop)
+ (local.set $9
+ (i32.popcnt
+ (local.get $y)
)
- (local.set $10
- (i32.sub
- (local.get $7)
- (local.get $9)
- )
+ )
+ (local.set $10
+ (i32.sub
+ (local.get $7)
+ (local.get $9)
)
- (nop)
- (local.set $x
- (i32.add
- (local.get $5)
- (local.get $10)
- )
+ )
+ (nop)
+ (local.set $x
+ (i32.add
+ (local.get $5)
+ (local.get $10)
)
- (nop)
)
)
)
- (nop)
)
(func $unary-condition (; 9 ;) (param $x i32)
(local $1 i32)
@@ -1870,35 +1831,31 @@ infer %4
(local $3 i32)
(local $4 i32)
(local $5 i32)
- (block
- (nop)
- (local.set $2
- (i32.gt_u
- (local.get $x)
- (i32.const 1)
- )
+ (nop)
+ (local.set $2
+ (i32.gt_u
+ (local.get $x)
+ (i32.const 1)
)
- (local.set $3
- (i32.ctz
- (local.get $2)
- )
+ )
+ (local.set $3
+ (i32.ctz
+ (local.get $2)
)
- (if
- (local.get $3)
- (block
- (nop)
- (nop)
- (local.set $x
- (i32.add
- (local.get $x)
- (i32.const 2)
- )
+ )
+ (if
+ (local.get $3)
+ (block
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.add
+ (local.get $x)
+ (i32.const 2)
)
- (nop)
)
)
)
- (nop)
)
(func $unary-condition-2 (; 10 ;) (param $x i32)
(local $1 i32)
@@ -1906,35 +1863,31 @@ infer %4
(local $3 i32)
(local $4 i32)
(local $5 i32)
- (block
- (nop)
- (local.set $2
- (i32.gt_u
- (local.get $x)
- (i32.const 1)
- )
+ (nop)
+ (local.set $2
+ (i32.gt_u
+ (local.get $x)
+ (i32.const 1)
)
- (local.set $3
- (i32.eqz
- (local.get $2)
- )
+ )
+ (local.set $3
+ (i32.eqz
+ (local.get $2)
)
- (if
- (local.get $3)
- (block
- (nop)
- (nop)
- (local.set $x
- (i32.add
- (local.get $x)
- (i32.const 2)
- )
+ )
+ (if
+ (local.get $3)
+ (block
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.add
+ (local.get $x)
+ (i32.const 2)
)
- (nop)
)
)
)
- (nop)
)
(func $if-else-cond (; 11 ;) (param $x i32) (result i32)
(local $1 i32)
@@ -1967,7 +1920,6 @@ infer %4
(i32.const 1)
)
)
- (nop)
)
(block
(nop)
@@ -1978,12 +1930,10 @@ infer %4
(i32.const 2)
)
)
- (nop)
)
)
)
(nop)
- (nop)
(local.set $8
(i32.and
(local.get $x)
@@ -2094,23 +2044,16 @@ infer %4
(nop)
(if
(local.get $2)
- (block
- (local.set $x
- (i32.const 1)
- )
- (nop)
+ (local.set $x
+ (i32.const 1)
)
- (block
- (local.set $x
- (i32.const 2)
- )
- (nop)
+ (local.set $x
+ (i32.const 2)
)
)
)
(nop)
(nop)
- (nop)
)
(nop)
(return
@@ -2195,25 +2138,21 @@ infer %4
)
)
(nop)
- (nop)
(br_if $out
(local.get $y)
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.add
(local.get $x)
(i32.const 2)
)
)
- (nop)
)
(nop)
(nop)
(nop)
- (nop)
)
(local.set $10
(i32.add
@@ -2237,20 +2176,16 @@ infer %4
(i32.const 1)
)
(nop)
- (nop)
(br_if $out
(local.get $y)
)
- (nop)
(local.set $x
(i32.const 2)
)
- (nop)
)
(nop)
(nop)
(nop)
- (nop)
)
(local.set $6
(i32.add
@@ -2270,16 +2205,12 @@ infer %4
(block
(if
(i32.const 0)
- (block
- (local.set $x
- (f64.const 1)
- )
- (nop)
+ (local.set $x
+ (f64.const 1)
)
)
(nop)
(nop)
- (nop)
)
(nop)
(return
@@ -2345,7 +2276,6 @@ infer %4
(local.get $y)
)
)
- (nop)
)
(block
(nop)
@@ -2357,13 +2287,11 @@ infer %4
(local.get $y)
)
)
- (nop)
)
)
)
(nop)
(nop)
- (nop)
)
(nop)
(return
@@ -2426,7 +2354,6 @@ infer %4
(i32.const 1)
)
(nop)
- (nop)
(return
(local.get $x)
)
@@ -2434,16 +2361,12 @@ infer %4
)
(unreachable)
)
- (block
- (local.set $x
- (i32.const 2)
- )
- (nop)
+ (local.set $x
+ (i32.const 2)
)
)
)
(nop)
- (nop)
(return
(local.get $x)
)
@@ -2469,22 +2392,16 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
- (unreachable)
(unreachable)
)
(unreachable)
)
- (block
- (local.set $x
- (i32.const 2)
- )
- (nop)
+ (local.set $x
+ (i32.const 2)
)
)
)
(nop)
- (nop)
(return
(local.get $x)
)
@@ -2512,29 +2429,23 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
(br $out)
(unreachable)
)
(unreachable)
)
- (block
- (local.set $x
- (i32.const 2)
- )
- (nop)
+ (local.set $x
+ (i32.const 2)
)
)
)
(nop)
- (nop)
(return
(local.get $x)
)
(unreachable)
)
(nop)
- (nop)
(return
(local.get $x)
)
@@ -2562,7 +2473,6 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
(br_table $out $out $out
(i32.const 1)
)
@@ -2570,23 +2480,18 @@ infer %4
)
(unreachable)
)
- (block
- (local.set $x
- (i32.const 2)
- )
- (nop)
+ (local.set $x
+ (i32.const 2)
)
)
)
(nop)
- (nop)
(return
(local.get $x)
)
(unreachable)
)
(nop)
- (nop)
(return
(local.get $x)
)
@@ -2610,37 +2515,27 @@ infer %4
(nop)
(if
(local.get $x)
- (block
- (block $block
- (local.set $x
- (i32.const 1)
- )
- (nop)
- (nop)
- (br_if $out
- (local.get $x)
- )
- (nop)
- )
- (nop)
- )
- (block
+ (block $block
(local.set $x
- (i32.const 2)
+ (i32.const 1)
)
(nop)
+ (br_if $out
+ (local.get $x)
+ )
+ )
+ (local.set $x
+ (i32.const 2)
)
)
)
(nop)
- (nop)
(return
(local.get $x)
)
(unreachable)
)
(nop)
- (nop)
(return
(local.get $x)
)
@@ -2656,109 +2551,88 @@ infer %4
(local $5 i32)
(local $6 i32)
(local $7 i32)
- (block
- (block $label$1
- (block $label$2
- (block $label$3
- (block
- (nop)
- (if
- (local.get $2)
+ (block $label$1
+ (block $label$2
+ (block $label$3
+ (block
+ (nop)
+ (if
+ (local.get $2)
+ (block
(block
- (block
- (nop)
- (if
- (local.get $0)
- (block
- (block $block
- (local.set $1
- (i32.const -8531)
- )
- (nop)
- (br $label$3)
- (unreachable)
+ (nop)
+ (if
+ (local.get $0)
+ (block
+ (block $block
+ (local.set $1
+ (i32.const -8531)
)
+ (br $label$3)
(unreachable)
)
- (block
- (block $block3
- (local.set $1
- (i32.const -8531)
- )
- (nop)
- (br $label$1)
- (unreachable)
+ (unreachable)
+ )
+ (block
+ (block $block3
+ (local.set $1
+ (i32.const -8531)
)
+ (br $label$1)
(unreachable)
)
+ (unreachable)
)
)
- (unreachable)
)
+ (unreachable)
)
)
- (nop)
- (br $label$2)
- (unreachable)
)
- (nop)
- (local.set $6
- (i32.load
- (i32.const 0)
- )
- )
- (drop
- (local.get $6)
- )
- (nop)
- (br $label$1)
+ (br $label$2)
(unreachable)
)
- (nop)
- (nop)
- (i32.store16
- (i32.const 1)
- (local.get $1)
+ (local.set $6
+ (i32.load
+ (i32.const 0)
+ )
)
- (nop)
- (unreachable)
+ (drop
+ (local.get $6)
+ )
+ (br $label$1)
(unreachable)
)
(nop)
(i32.store16
- (i32.const 0)
- (i32.const -8531)
+ (i32.const 1)
+ (local.get $1)
)
- (nop)
+ (unreachable)
+ )
+ (i32.store16
+ (i32.const 0)
+ (i32.const -8531)
)
- (nop)
)
(func $in-unreachable-operations (; 31 ;) (param $x i32) (param $y i32) (result i32)
(local $2 i32)
(local $3 i32)
(block $block
(unreachable)
- (unreachable)
(block
(nop)
(if
(local.get $x)
- (block
- (local.set $x
- (i32.const 1)
- )
- (nop)
+ (local.set $x
+ (i32.const 1)
)
- (block
- (local.set $x
- (i32.const 2)
- )
- (nop)
+ (local.set $x
+ (i32.const 2)
)
)
)
(nop)
- (nop)
(return
(local.get $x)
)
@@ -2789,15 +2663,11 @@ infer %4
)
(unreachable)
)
- (nop)
- (unreachable)
(unreachable)
)
- (nop)
(br $label$1)
(unreachable)
)
- (nop)
(local.set $var$0
(i32.const 8)
)
@@ -2811,22 +2681,17 @@ infer %4
(local.get $3)
(f64.const 0)
)
- (nop)
(br $label$1)
(unreachable)
)
- (nop)
- (unreachable)
(unreachable)
)
(nop)
- (nop)
(i32.store
(local.get $var$0)
(i32.const 16)
)
(nop)
- (nop)
)
(local.set $6
(i32.const 1)
@@ -2902,7 +2767,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.mul
(local.get $x)
@@ -2911,7 +2775,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.xor
(local.get $x)
@@ -2920,7 +2783,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.mul
(local.get $x)
@@ -2929,7 +2791,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.xor
(local.get $x)
@@ -2938,7 +2799,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.mul
(local.get $x)
@@ -2947,7 +2807,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.xor
(local.get $x)
@@ -2956,7 +2815,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.mul
(local.get $x)
@@ -2965,7 +2823,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.xor
(local.get $x)
@@ -2974,7 +2831,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.mul
(local.get $x)
@@ -2983,7 +2839,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.xor
(local.get $x)
@@ -2992,7 +2847,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.mul
(local.get $x)
@@ -3001,7 +2855,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.xor
(local.get $x)
@@ -3010,7 +2863,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.mul
(local.get $x)
@@ -3019,7 +2871,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.xor
(local.get $x)
@@ -3028,7 +2879,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.mul
(local.get $x)
@@ -3037,7 +2887,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.xor
(local.get $x)
@@ -3046,7 +2895,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.mul
(local.get $x)
@@ -3055,7 +2903,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.xor
(local.get $x)
@@ -3064,7 +2911,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.mul
(local.get $x)
@@ -3073,7 +2919,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.xor
(local.get $x)
@@ -3082,7 +2927,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.mul
(local.get $x)
@@ -3091,7 +2935,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.xor
(local.get $x)
@@ -3100,7 +2943,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.mul
(local.get $x)
@@ -3109,7 +2951,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.xor
(local.get $x)
@@ -3118,7 +2959,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.mul
(local.get $x)
@@ -3127,7 +2967,6 @@ infer %4
)
(nop)
(nop)
- (nop)
)
(nop)
(return
@@ -3170,85 +3009,74 @@ infer %4
(if
(local.get $5)
(block
- (block
- (nop)
- (local.set $7
- (i64.eqz
- (local.get $x)
- )
+ (nop)
+ (local.set $7
+ (i64.eqz
+ (local.get $x)
)
- (if
- (local.get $7)
- (block
- (nop)
- (nop)
- (nop)
- (local.set $t
- (i64.add
- (local.get $x)
- (local.get $y)
- )
+ )
+ (if
+ (local.get $7)
+ (block
+ (nop)
+ (nop)
+ (nop)
+ (local.set $t
+ (i64.add
+ (local.get $x)
+ (local.get $y)
)
- (nop)
)
- (block
- (nop)
- (nop)
- (nop)
- (local.set $t
- (i64.sub
- (local.get $x)
- (local.get $y)
- )
+ )
+ (block
+ (nop)
+ (nop)
+ (nop)
+ (local.set $t
+ (i64.sub
+ (local.get $x)
+ (local.get $y)
)
- (nop)
)
)
)
- (nop)
)
(block
- (block
- (nop)
- (local.set $15
- (i64.eqz
- (local.get $y)
- )
+ (nop)
+ (local.set $15
+ (i64.eqz
+ (local.get $y)
)
- (if
- (local.get $15)
- (block
- (nop)
- (nop)
- (nop)
- (local.set $t
- (i64.mul
- (local.get $x)
- (local.get $y)
- )
+ )
+ (if
+ (local.get $15)
+ (block
+ (nop)
+ (nop)
+ (nop)
+ (local.set $t
+ (i64.mul
+ (local.get $x)
+ (local.get $y)
)
- (nop)
)
- (block
- (nop)
- (nop)
- (nop)
- (local.set $t
- (i64.div_s
- (local.get $x)
- (local.get $y)
- )
+ )
+ (block
+ (nop)
+ (nop)
+ (nop)
+ (local.set $t
+ (i64.div_s
+ (local.get $x)
+ (local.get $y)
)
- (nop)
)
)
)
- (nop)
)
)
)
(nop)
- (nop)
(return
(local.get $t)
)
@@ -3269,17 +3097,14 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
(local.set $y
(i32.const 2)
)
- (nop)
(loop $loopy
(nop)
)
(nop)
(nop)
- (nop)
(local.set $4
(i32.add
(local.get $x)
@@ -3310,37 +3135,29 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
(local.set $y
(i32.const 2)
)
- (nop)
(loop $loopy
- (block
- (nop)
- (nop)
- (local.set $x
- (i32.add
- (local.get $x)
- (i32.const 3)
- )
- )
- (nop)
- (nop)
- (nop)
- (local.set $y
- (i32.add
- (local.get $y)
- (i32.const 4)
- )
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.add
+ (local.get $x)
+ (i32.const 3)
)
- (nop)
)
(nop)
+ (nop)
+ (local.set $y
+ (i32.add
+ (local.get $y)
+ (i32.const 4)
+ )
+ )
)
(nop)
(nop)
- (nop)
(local.set $8
(i32.add
(local.get $x)
@@ -3372,42 +3189,33 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
(local.set $y
(i32.const 2)
)
- (nop)
(loop $loopy
- (block
- (nop)
- (nop)
- (local.set $x
- (i32.add
- (local.get $x)
- (i32.const 3)
- )
- )
- (nop)
- (nop)
- (nop)
- (local.set $y
- (i32.add
- (local.get $y)
- (i32.const 4)
- )
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.add
+ (local.get $x)
+ (i32.const 3)
)
- (nop)
- (nop)
- (br_if $loopy
+ )
+ (nop)
+ (nop)
+ (local.set $y
+ (i32.add
(local.get $y)
+ (i32.const 4)
)
- (nop)
)
(nop)
+ (br_if $loopy
+ (local.get $y)
+ )
)
(nop)
(nop)
- (nop)
(local.set $9
(i32.add
(local.get $x)
@@ -3437,33 +3245,25 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
(local.set $y
(i32.const 2)
)
- (nop)
(loop $loopy
- (block
- (nop)
- (nop)
- (local.set $x
- (i32.add
- (local.get $x)
- (i32.const 3)
- )
- )
- (nop)
- (nop)
- (br_if $loopy
- (local.get $y)
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.add
+ (local.get $x)
+ (i32.const 3)
)
- (nop)
)
(nop)
+ (br_if $loopy
+ (local.get $y)
+ )
)
(nop)
(nop)
- (nop)
(local.set $7
(i32.add
(local.get $x)
@@ -3493,37 +3293,28 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
(local.set $y
(i32.const 2)
)
- (nop)
(loop $loopy
- (block
- (nop)
- (nop)
- (local.set $x
- (i32.add
- (local.get $x)
- (i32.const 3)
- )
- )
- (nop)
- (local.set $y
- (i32.const 2)
- )
- (nop)
- (nop)
- (br_if $loopy
- (local.get $y)
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.add
+ (local.get $x)
+ (i32.const 3)
)
- (nop)
+ )
+ (local.set $y
+ (i32.const 2)
)
(nop)
+ (br_if $loopy
+ (local.get $y)
+ )
)
(nop)
(nop)
- (nop)
(local.set $7
(i32.add
(local.get $x)
@@ -3554,36 +3345,27 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
(local.set $y
(i32.const 2)
)
- (nop)
(loop $loopy
- (block
- (nop)
- (nop)
- (local.set $x
- (i32.add
- (local.get $x)
- (i32.const 3)
- )
- )
- (nop)
- (nop)
- (nop)
- (nop)
- (nop)
- (br_if $loopy
- (local.get $y)
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.add
+ (local.get $x)
+ (i32.const 3)
)
- (nop)
)
(nop)
+ (nop)
+ (nop)
+ (br_if $loopy
+ (local.get $y)
+ )
)
(nop)
(nop)
- (nop)
(local.set $8
(i32.add
(local.get $x)
@@ -3613,37 +3395,28 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
(local.set $y
(i32.const 2)
)
- (nop)
(loop $loopy
- (block
- (nop)
- (nop)
- (local.set $x
- (i32.add
- (local.get $x)
- (i32.const 3)
- )
- )
- (nop)
- (local.set $y
- (i32.const 5)
- )
- (nop)
- (nop)
- (br_if $loopy
- (local.get $y)
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.add
+ (local.get $x)
+ (i32.const 3)
)
- (nop)
+ )
+ (local.set $y
+ (i32.const 5)
)
(nop)
+ (br_if $loopy
+ (local.get $y)
+ )
)
(nop)
(nop)
- (nop)
(local.set $7
(i32.add
(local.get $x)
@@ -3679,42 +3452,31 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
(local.set $y
(i32.const 2)
)
- (nop)
(loop $loopy
- (block
- (nop)
- (local.set $z
- (local.get $x)
- )
- (nop)
- (nop)
- (local.set $w
- (local.get $y)
- )
- (nop)
- (local.set $x
- (i32.const 1)
- )
- (nop)
- (local.set $y
- (i32.const 4)
- )
- (nop)
- (nop)
- (br_if $loopy
- (local.get $y)
- )
- (nop)
+ (nop)
+ (local.set $z
+ (local.get $x)
)
(nop)
+ (local.set $w
+ (local.get $y)
+ )
+ (local.set $x
+ (i32.const 1)
+ )
+ (local.set $y
+ (i32.const 4)
+ )
+ (nop)
+ (br_if $loopy
+ (local.get $y)
+ )
)
(nop)
(nop)
- (nop)
(local.set $9
(i32.add
(local.get $x)
@@ -3760,39 +3522,29 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
(local.set $y
(i32.const 2)
)
- (nop)
(loop $loopy
- (block
- (nop)
- (local.set $t
- (local.get $x)
- )
- (nop)
- (nop)
- (local.set $x
- (local.get $y)
- )
- (nop)
- (nop)
- (local.set $y
- (local.get $t)
- )
- (nop)
- (nop)
- (br_if $loopy
- (local.get $y)
- )
- (nop)
+ (nop)
+ (local.set $t
+ (local.get $x)
+ )
+ (nop)
+ (local.set $x
+ (local.get $y)
)
(nop)
+ (local.set $y
+ (local.get $t)
+ )
+ (nop)
+ (br_if $loopy
+ (local.get $y)
+ )
)
(nop)
(nop)
- (nop)
(local.set $9
(i32.add
(local.get $x)
@@ -3824,39 +3576,29 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
(local.set $y
(i32.const 1)
)
- (nop)
(loop $loopy
- (block
- (nop)
- (local.set $t
- (local.get $x)
- )
- (nop)
- (nop)
- (local.set $x
- (local.get $y)
- )
- (nop)
- (nop)
- (local.set $y
- (local.get $t)
- )
- (nop)
- (nop)
- (br_if $loopy
- (local.get $y)
- )
- (nop)
+ (nop)
+ (local.set $t
+ (local.get $x)
+ )
+ (nop)
+ (local.set $x
+ (local.get $y)
)
(nop)
+ (local.set $y
+ (local.get $t)
+ )
+ (nop)
+ (br_if $loopy
+ (local.get $y)
+ )
)
(nop)
(nop)
- (nop)
(local.set $9
(i32.add
(local.get $x)
@@ -3887,46 +3629,34 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
(local.set $y
(i32.const 2)
)
- (nop)
(local.set $z
(i32.const 3)
)
- (nop)
(loop $loopy
- (block
- (local.set $x
- (i32.const 4)
- )
- (nop)
- (nop)
- (br_if $loopy
- (local.get $t)
- )
- (nop)
- (local.set $y
- (i32.const 5)
- )
- (nop)
- (nop)
- (br_if $loopy
- (local.get $t)
- )
- (nop)
- (local.set $z
- (i32.const 6)
- )
- (nop)
+ (local.set $x
+ (i32.const 4)
)
(nop)
+ (br_if $loopy
+ (local.get $t)
+ )
+ (local.set $y
+ (i32.const 5)
+ )
+ (nop)
+ (br_if $loopy
+ (local.get $t)
+ )
+ (local.set $z
+ (i32.const 6)
+ )
)
(nop)
(nop)
(nop)
- (nop)
(local.set $9
(select
(local.get $x)
@@ -3964,61 +3694,49 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
(local.set $y
(i32.const 2)
)
- (nop)
(local.set $z
(i32.const 3)
)
- (nop)
(loop $loopy
- (block
- (nop)
- (nop)
- (local.set $x
- (i32.add
- (local.get $x)
- (i32.const 4)
- )
- )
- (nop)
- (nop)
- (br_if $loopy
- (local.get $t)
- )
- (nop)
- (nop)
- (nop)
- (local.set $y
- (i32.add
- (local.get $y)
- (i32.const 5)
- )
- )
- (nop)
- (nop)
- (br_if $loopy
- (local.get $t)
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.add
+ (local.get $x)
+ (i32.const 4)
)
- (nop)
- (nop)
- (nop)
- (local.set $z
- (i32.add
- (local.get $z)
- (i32.const 6)
- )
+ )
+ (nop)
+ (br_if $loopy
+ (local.get $t)
+ )
+ (nop)
+ (nop)
+ (local.set $y
+ (i32.add
+ (local.get $y)
+ (i32.const 5)
)
- (nop)
)
(nop)
+ (br_if $loopy
+ (local.get $t)
+ )
+ (nop)
+ (nop)
+ (local.set $z
+ (i32.add
+ (local.get $z)
+ (i32.const 6)
+ )
+ )
)
(nop)
(nop)
(nop)
- (nop)
(local.set $15
(select
(local.get $x)
@@ -4056,15 +3774,12 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
(local.set $y
(i32.const 2)
)
- (nop)
(local.set $z
(i32.const 3)
)
- (nop)
(loop $loopy
(block $out
(nop)
@@ -4076,13 +3791,11 @@ infer %4
)
)
(nop)
- (nop)
(br_if $out
(local.get $t)
)
(nop)
(nop)
- (nop)
(local.set $y
(i32.add
(local.get $y)
@@ -4090,29 +3803,24 @@ infer %4
)
)
(nop)
- (nop)
(br_if $out
(local.get $t)
)
(nop)
(nop)
- (nop)
(local.set $z
(i32.add
(local.get $z)
(i32.const 6)
)
)
- (nop)
(br $loopy)
(unreachable)
)
- (nop)
)
(nop)
(nop)
(nop)
- (nop)
(local.set $15
(select
(local.get $x)
@@ -4150,15 +3858,12 @@ infer %4
(local.set $x
(i32.const 1)
)
- (nop)
(local.set $y
(i32.const 2)
)
- (nop)
(local.set $z
(i32.const 3)
)
- (nop)
(block $out
(loop $loopy
(block
@@ -4171,13 +3876,11 @@ infer %4
)
)
(nop)
- (nop)
(br_if $out
(local.get $t)
)
(nop)
(nop)
- (nop)
(local.set $y
(i32.add
(local.get $y)
@@ -4185,20 +3888,17 @@ infer %4
)
)
(nop)
- (nop)
(br_if $out
(local.get $t)
)
(nop)
(nop)
- (nop)
(local.set $z
(i32.add
(local.get $z)
(i32.const 6)
)
)
- (nop)
(br $loopy)
(unreachable)
)
@@ -4209,7 +3909,6 @@ infer %4
(nop)
(nop)
(nop)
- (nop)
(local.set $15
(select
(local.get $x)
@@ -4236,59 +3935,46 @@ infer %4
(local $9 f64)
(local $10 f64)
(local $11 f64)
- (block
- (nop)
- (if
- (local.get $var$2)
- (block
- (loop $label$2
+ (nop)
+ (if
+ (local.get $var$2)
+ (block
+ (loop $label$2
+ (block
(block
- (block
- (block $label$3
- (if
- (i32.const 0)
- (block
- (unreachable)
- (unreachable)
- )
- )
- (nop)
- (nop)
- (nop)
- )
- (local.set $6
- (i32.const 0)
- )
+ (block $label$3
(if
- (local.get $6)
- (block
- (unreachable)
- (unreachable)
- )
+ (i32.const 0)
+ (unreachable)
)
+ (nop)
+ (nop)
)
- (nop)
- (nop)
- (br_if $label$2
- (local.get $var$2)
+ (local.set $6
+ (i32.const 0)
+ )
+ (if
+ (local.get $6)
+ (unreachable)
)
- (nop)
- (nop)
)
(nop)
- (local.set $10
- (f64.const 0)
+ (br_if $label$2
+ (local.get $var$2)
)
+ (nop)
)
(nop)
- (drop
- (local.get $10)
+ (local.set $10
+ (f64.const 0)
)
- (nop)
+ )
+ (nop)
+ (drop
+ (local.get $10)
)
)
)
- (nop)
)
(func $loop-unreachable (; 50 ;)
(local $var$0 i32)
@@ -4312,18 +3998,13 @@ infer %4
(block $label$4
(if
(i32.const 1337)
- (block
- (unreachable)
- (unreachable)
- )
+ (unreachable)
)
(nop)
(nop)
- (nop)
)
(nop)
(nop)
- (nop)
(loop $label$6
(block $label$7
(nop)
@@ -4338,7 +4019,6 @@ infer %4
(local.get $6)
)
(nop)
- (nop)
(local.set $6
(local.get $var$0)
)
@@ -4349,25 +4029,19 @@ infer %4
(drop
(local.get $6)
)
- (nop)
- (unreachable)
(unreachable)
)
(nop)
(br_if $label$6
(local.get $6)
)
- (nop)
)
- (nop)
)
(nop)
(nop)
- (nop)
)
(nop)
(nop)
- (nop)
(br $label$1)
(unreachable)
)
@@ -4406,10 +4080,7 @@ infer %4
(nop)
(if
(local.get $var$0)
- (block
- (unreachable)
- (unreachable)
- )
+ (unreachable)
(block
(block $block
(block
@@ -4440,7 +4111,6 @@ infer %4
)
)
(nop)
- (nop)
)
(nop)
(local.set $14
@@ -4451,8 +4121,6 @@ infer %4
)
(nop)
(nop)
- (nop)
- (unreachable)
(unreachable)
)
(nop)
@@ -4482,7 +4150,6 @@ infer %4
(nop)
(nop)
(nop)
- (nop)
)
(local.set $8
(i32.add
@@ -4516,7 +4183,6 @@ infer %4
)
(nop)
(nop)
- (nop)
(local.set $x
(i32.mul
(local.get $temp)
@@ -4527,7 +4193,6 @@ infer %4
(nop)
(nop)
(nop)
- (nop)
)
(local.set $10
(i32.sub
@@ -4596,78 +4261,62 @@ infer %4
(local $11 i32)
(local $12 i32)
(local $13 i32)
- (block
- (nop)
- (nop)
- (local.set $var$0
- (i32.add
- (local.get $var$0)
- (i32.const -7)
- )
- )
- (nop)
- (if
+ (nop)
+ (nop)
+ (local.set $var$0
+ (i32.add
(local.get $var$0)
+ (i32.const -7)
+ )
+ )
+ (nop)
+ (if
+ (local.get $var$0)
+ (block $label$2
+ (block $label$3
+ (nop)
+ (local.set $var$1
+ (local.get $var$0)
+ )
+ (nop)
+ (local.set $8
+ (i32.const 12)
+ )
+ (br_if $label$3
+ (local.get $8)
+ )
+ (unreachable)
+ )
+ (nop)
+ (local.set $10
+ (i32.eqz
+ (local.get $var$1)
+ )
+ )
+ (br_if $label$2
+ (local.get $10)
+ )
(block
- (block $label$2
- (block $label$3
- (nop)
- (local.set $var$1
- (local.get $var$0)
- )
- (nop)
- (nop)
- (local.set $8
- (i32.const 12)
- )
- (br_if $label$3
- (local.get $8)
- )
- (nop)
- (unreachable)
- (unreachable)
- )
- (nop)
- (nop)
- (local.set $10
- (i32.eqz
- (local.get $var$1)
- )
- )
- (br_if $label$2
- (local.get $10)
+ (local.set $11
+ (i32.load
+ (i32.const 0)
)
- (nop)
- (block
- (local.set $11
- (i32.load
- (i32.const 0)
- )
- )
- (nop)
- (local.set $13
- (i32.ne
- (local.get $11)
- (local.get $var$0)
- )
- )
- (if
- (local.get $13)
- (block
- (unreachable)
- (unreachable)
- )
- )
+ )
+ (nop)
+ (local.set $13
+ (i32.ne
+ (local.get $11)
+ (local.get $var$0)
)
- (nop)
- (unreachable)
+ )
+ (if
+ (local.get $13)
(unreachable)
)
- (nop)
)
+ (unreachable)
)
)
- (nop)
)
(func $multiple-uses-to-non-expression (; 56 ;) (param $x i32)
(local $temp i32)
@@ -4676,36 +4325,30 @@ infer %4
(local $4 i32)
(local $5 i32)
(local $6 i32)
- (block
- (nop)
- (nop)
- (local.set $x
- (i32.add
- (local.get $x)
- (i32.const 10)
- )
- )
- (nop)
- (nop)
- (i32.store
- (i32.const 1)
+ (nop)
+ (nop)
+ (local.set $x
+ (i32.add
(local.get $x)
+ (i32.const 10)
)
- (nop)
- (nop)
- (local.set $6
- (i32.add
- (local.get $x)
- (i32.const 20)
- )
- )
- (i32.store
- (i32.const 2)
- (local.get $6)
- )
- (nop)
)
(nop)
+ (i32.store
+ (i32.const 1)
+ (local.get $x)
+ )
+ (nop)
+ (local.set $6
+ (i32.add
+ (local.get $x)
+ (i32.const 20)
+ )
+ )
+ (i32.store
+ (i32.const 2)
+ (local.get $6)
+ )
)
(func $nested-phi-forwarding (; 57 ;) (param $var$0 i32) (result i32)
(local $var$1 i32)
@@ -4721,51 +4364,38 @@ infer %4
(block $label$1
(block $label$2
(loop $label$3
- (block
- (block $label$4
- (block $label$5
- (block $label$6
- (block $label$7
- (block $label$8
- (nop)
- (br_table $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$8 $label$2 $label$2 $label$2 $label$6 $label$2 $label$2 $label$7 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$5 $label$4
- (local.get $var$0)
- )
- (unreachable)
- )
+ (block $label$4
+ (block $label$5
+ (block $label$6
+ (block $label$7
+ (block $label$8
(nop)
- (local.set $var$1
- (i32.const 1)
+ (br_table $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$8 $label$2 $label$2 $label$2 $label$6 $label$2 $label$2 $label$7 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$2 $label$5 $label$4
+ (local.get $var$0)
)
- (nop)
+ (unreachable)
+ )
+ (local.set $var$1
+ (i32.const 1)
)
- (nop)
- (br $label$4)
- (unreachable)
)
- (nop)
- (unreachable)
+ (br $label$4)
(unreachable)
)
- (nop)
- (br $label$1)
(unreachable)
)
- (nop)
- (local.set $var$2
- (i32.const 1)
- )
- (nop)
- (br_if $label$3
- (local.get $var$2)
- )
- (nop)
+ (br $label$1)
+ (unreachable)
+ )
+ (local.set $var$2
+ (i32.const 1)
)
(nop)
+ (br_if $label$3
+ (local.get $var$2)
+ )
)
- (nop)
)
- (nop)
(block $label$9
(nop)
(local.set $6
@@ -4777,20 +4407,15 @@ infer %4
(br_if $label$9
(local.get $6)
)
- (nop)
)
- (nop)
- (unreachable)
(unreachable)
)
(nop)
- (nop)
(i32.store offset=176
(i32.const 0)
(local.get $var$2)
)
(nop)
- (nop)
)
(local.set $9
(i32.const 0)
@@ -4807,51 +4432,44 @@ infer %4
(local $6 i32)
(local $7 i32)
(local $8 i32)
- (block
- (block $label$1
- (local.set $2
- (i32.load
- (i32.const -8)
- )
- )
- (local.set $3
- (i32.const 1)
- )
- (br_if $label$1
- (local.get $2)
- )
- (nop)
- (drop
- (local.get $3)
- )
- (nop)
- (local.set $5
- (i32.load
- (i32.const -16)
- )
- )
- (nop)
- (local.set $3
- (i32.eqz
- (local.get $5)
- )
+ (block $label$1
+ (local.set $2
+ (i32.load
+ (i32.const -8)
)
)
+ (local.set $3
+ (i32.const 1)
+ )
+ (br_if $label$1
+ (local.get $2)
+ )
(nop)
- (local.set $8
- (i32.ctz
- (local.get $3)
+ (drop
+ (local.get $3)
+ )
+ (local.set $5
+ (i32.load
+ (i32.const -16)
)
)
- (if
- (local.get $8)
- (block
- (unreachable)
- (unreachable)
+ (nop)
+ (local.set $3
+ (i32.eqz
+ (local.get $5)
)
)
)
(nop)
+ (local.set $8
+ (i32.ctz
+ (local.get $3)
+ )
+ )
+ (if
+ (local.get $8)
+ (unreachable)
+ )
)
(func $zext-numGets-hasAnotherUse (; 59 ;) (param $var$0 i32) (param $var$1 i32)
(local $temp i32)
@@ -4864,61 +4482,52 @@ infer %4
(local $9 i32)
(local $10 i32)
(local $11 i32)
- (block
- (block $label$1
- (local.set $3
- (i32.load
- (i32.const -8)
- )
- )
- (local.set $4
- (i32.const 1)
- )
- (br_if $label$1
- (local.get $3)
- )
- (nop)
- (drop
- (local.get $4)
- )
- (nop)
- (local.set $6
- (i32.load
- (i32.const -16)
- )
- )
- (nop)
- (local.set $temp
- (i32.eqz
- (local.get $6)
- )
- )
- (nop)
- (nop)
- (drop
- (local.get $temp)
- )
- (nop)
- (nop)
- (local.set $4
- (local.get $temp)
+ (block $label$1
+ (local.set $3
+ (i32.load
+ (i32.const -8)
)
)
+ (local.set $4
+ (i32.const 1)
+ )
+ (br_if $label$1
+ (local.get $3)
+ )
(nop)
- (local.set $11
- (i32.ctz
- (local.get $4)
+ (drop
+ (local.get $4)
+ )
+ (local.set $6
+ (i32.load
+ (i32.const -16)
)
)
- (if
- (local.get $11)
- (block
- (unreachable)
- (unreachable)
+ (nop)
+ (local.set $temp
+ (i32.eqz
+ (local.get $6)
)
)
+ (nop)
+ (drop
+ (local.get $temp)
+ )
+ (nop)
+ (local.set $4
+ (local.get $temp)
+ )
)
(nop)
+ (local.set $11
+ (i32.ctz
+ (local.get $4)
+ )
+ )
+ (if
+ (local.get $11)
+ (unreachable)
+ )
)
(func $flipped-needs-right-origin (; 60 ;) (param $var$0 i32) (result i32)
(local $var$1 i32)
@@ -4938,13 +4547,10 @@ infer %4
(br_if $label$1
(local.get $2)
)
- (nop)
(local.set $var$1
(i32.const 2)
)
- (nop)
)
- (nop)
(block
(nop)
(local.set $4
@@ -4961,14 +4567,10 @@ infer %4
)
(if
(local.get $5)
- (block
- (unreachable)
- (unreachable)
- )
+ (unreachable)
)
)
(nop)
- (nop)
)
(local.set $7
(i32.const 5)
@@ -5000,7 +4602,6 @@ infer %4
(i32.const 2)
)
(nop)
- (nop)
(local.set $7
(i32.sub
(i32.const 4)
@@ -5011,8 +4612,6 @@ infer %4
(i32.const 3)
(local.get $7)
)
- (nop)
- (unreachable)
(unreachable)
)
(nop)
@@ -5037,7 +4636,6 @@ infer %4
(i32.const 1)
)
)
- (nop)
(br $label$1)
(unreachable)
)
@@ -5048,9 +4646,6 @@ infer %4
(nop)
(nop)
(nop)
- (nop)
- (nop)
- (nop)
(br $label$1)
(unreachable)
)
@@ -5077,57 +4672,42 @@ infer %4
(local.set $var$1
(i32.const 1)
)
- (nop)
(if
(i32.const 0)
- (block
- (loop $label$2
- (block
- (block
- (nop)
- (if
- (local.get $var$1)
- (nop)
- )
- )
- (nop)
- (local.set $var$3
- (i32.const 1)
- )
- (nop)
- (nop)
- (local.set $var$1
- (i32.sub
- (i32.const 0)
- (local.get $var$3)
- )
- )
- (nop)
- (br_if $label$2
- (i32.const 0)
- )
+ (loop $label$2
+ (block
+ (nop)
+ (if
+ (local.get $var$1)
(nop)
)
- (nop)
+ )
+ (local.set $var$3
+ (i32.const 1)
)
(nop)
+ (nop)
+ (local.set $var$1
+ (i32.sub
+ (i32.const 0)
+ (local.get $var$3)
+ )
+ )
+ (br_if $label$2
+ (i32.const 0)
+ )
)
)
- (nop)
(block
(nop)
(if
(local.get $var$1)
- (block
- (local.set $var$3
- (i32.const 1)
- )
- (nop)
+ (local.set $var$3
+ (i32.const 1)
)
)
)
(nop)
- (nop)
(local.set $14
(i32.add
(local.get $var$3)
@@ -5138,13 +4718,10 @@ infer %4
(i32.const 8)
(local.get $14)
)
- (nop)
(i32.store
(i32.const 8)
(i32.const 64)
)
- (nop)
- (unreachable)
(unreachable)
)
(nop)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-08 05:18:43 +0000