summaryrefslogtreecommitdiff
path: root/test/passes/flatten_simplify-locals-nonesting_souperify-single-use.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/flatten_simplify-locals-nonesting_souperify-single-use.txt')
-rw-r--r--test/passes/flatten_simplify-locals-nonesting_souperify-single-use.txt1258
1 files changed, 629 insertions, 629 deletions
diff --git a/test/passes/flatten_simplify-locals-nonesting_souperify-single-use.txt b/test/passes/flatten_simplify-locals-nonesting_souperify-single-use.txt
index 0fe7b94cf..613084bb7 100644
--- a/test/passes/flatten_simplify-locals-nonesting_souperify-single-use.txt
+++ b/test/passes/flatten_simplify-locals-nonesting_souperify-single-use.txt
@@ -1474,35 +1474,35 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $12
+ (local.set $12
(i64.eq
- (get_local $a)
- (get_local $x)
+ (local.get $a)
+ (local.get $x)
)
)
- (set_local $13
+ (local.set $13
(i64.ne
- (get_local $a)
- (get_local $y)
+ (local.get $a)
+ (local.get $y)
)
)
(nop)
(nop)
(nop)
- (set_local $15
+ (local.set $15
(i32.and
- (get_local $12)
- (get_local $13)
+ (local.get $12)
+ (local.get $13)
)
)
(return
- (get_local $15)
+ (local.get $15)
)
(unreachable)
)
(nop)
(return
- (get_local $16)
+ (local.get $16)
)
)
(func $figure-1b (; 1 ;) (type $0) (param $a i64) (param $x i64) (param $y i64) (result i32)
@@ -1525,14 +1525,14 @@ infer %4
(block
(nop)
(nop)
- (set_local $8
+ (local.set $8
(i64.lt_s
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(if
- (get_local $8)
+ (local.get $8)
(block
(block $block
(nop)
@@ -1545,29 +1545,29 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $15
+ (local.set $15
(i64.eq
- (get_local $a)
- (get_local $x)
+ (local.get $a)
+ (local.get $x)
)
)
- (set_local $16
+ (local.set $16
(i64.ne
- (get_local $a)
- (get_local $y)
+ (local.get $a)
+ (local.get $y)
)
)
(nop)
(nop)
(nop)
- (set_local $18
+ (local.set $18
(i32.and
- (get_local $15)
- (get_local $16)
+ (local.get $15)
+ (local.get $16)
)
)
(return
- (get_local $18)
+ (local.get $18)
)
(unreachable)
)
@@ -1595,20 +1595,20 @@ infer %4
(block
(block
(nop)
- (set_local $2
+ (local.set $2
(i32.and
- (get_local $x)
+ (local.get $x)
(i32.const 1)
)
)
(if
- (get_local $2)
+ (local.get $2)
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 1)
)
)
@@ -1617,9 +1617,9 @@ infer %4
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 2)
)
)
@@ -1629,20 +1629,20 @@ infer %4
)
(nop)
(nop)
- (set_local $8
+ (local.set $8
(i32.and
- (get_local $x)
+ (local.get $x)
(i32.const 1)
)
)
(return
- (get_local $8)
+ (local.get $8)
)
(unreachable)
)
(nop)
(return
- (get_local $9)
+ (local.get $9)
)
)
(func $flips (; 3 ;) (type $2)
@@ -1664,40 +1664,40 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.ge_s
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(nop)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.ge_u
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(nop)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.gt_s
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(nop)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.gt_u
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(nop)
@@ -1711,13 +1711,13 @@ infer %4
(block
(nop)
(if
- (get_local $x)
+ (local.get $x)
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 1)
)
)
@@ -1734,20 +1734,20 @@ infer %4
(local $4 i32)
(block
(nop)
- (set_local $2
+ (local.set $2
(i32.lt_s
- (get_local $x)
+ (local.get $x)
(i32.const 0)
)
)
(if
- (get_local $2)
+ (local.get $2)
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.sub
- (get_local $x)
+ (local.get $x)
(i32.const 2)
)
)
@@ -1762,19 +1762,19 @@ infer %4
(local $2 i32)
(local $3 i32)
(block
- (set_local $1
- (i32.reinterpret/f32
+ (local.set $1
+ (i32.reinterpret_f32
(f32.const 0)
)
)
(if
- (get_local $1)
+ (local.get $1)
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.sub
- (get_local $x)
+ (local.get $x)
(i32.const 4)
)
)
@@ -1794,9 +1794,9 @@ infer %4
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 3)
)
)
@@ -1819,43 +1819,43 @@ infer %4
(local $11 i32)
(block
(nop)
- (set_local $3
+ (local.set $3
(i32.eqz
- (get_local $x)
+ (local.get $x)
)
)
(if
- (get_local $3)
+ (local.get $3)
(block
(nop)
- (set_local $5
+ (local.set $5
(i32.ctz
- (get_local $y)
+ (local.get $y)
)
)
(nop)
- (set_local $7
+ (local.set $7
(i32.clz
- (get_local $x)
+ (local.get $x)
)
)
(nop)
- (set_local $9
+ (local.set $9
(i32.popcnt
- (get_local $y)
+ (local.get $y)
)
)
- (set_local $10
+ (local.set $10
(i32.sub
- (get_local $7)
- (get_local $9)
+ (local.get $7)
+ (local.get $9)
)
)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $5)
- (get_local $10)
+ (local.get $5)
+ (local.get $10)
)
)
(nop)
@@ -1872,25 +1872,25 @@ infer %4
(local $5 i32)
(block
(nop)
- (set_local $2
+ (local.set $2
(i32.gt_u
- (get_local $x)
+ (local.get $x)
(i32.const 1)
)
)
- (set_local $3
+ (local.set $3
(i32.ctz
- (get_local $2)
+ (local.get $2)
)
)
(if
- (get_local $3)
+ (local.get $3)
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 2)
)
)
@@ -1908,25 +1908,25 @@ infer %4
(local $5 i32)
(block
(nop)
- (set_local $2
+ (local.set $2
(i32.gt_u
- (get_local $x)
+ (local.get $x)
(i32.const 1)
)
)
- (set_local $3
+ (local.set $3
(i32.eqz
- (get_local $2)
+ (local.get $2)
)
)
(if
- (get_local $3)
+ (local.get $3)
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 2)
)
)
@@ -1950,20 +1950,20 @@ infer %4
(block
(block
(nop)
- (set_local $2
+ (local.set $2
(i32.lt_s
- (get_local $x)
+ (local.get $x)
(i32.const 1)
)
)
(if
- (get_local $2)
+ (local.get $2)
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 1)
)
)
@@ -1972,9 +1972,9 @@ infer %4
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 2)
)
)
@@ -1984,32 +1984,32 @@ infer %4
)
(nop)
(nop)
- (set_local $8
+ (local.set $8
(i32.and
- (get_local $x)
+ (local.get $x)
(i32.const 1)
)
)
(return
- (get_local $8)
+ (local.get $8)
)
(unreachable)
)
(nop)
(return
- (get_local $9)
+ (local.get $9)
)
)
(func $trivial-ret (; 12 ;) (type $5) (result i32)
(local $0 i32)
- (set_local $0
+ (local.set $0
(i32.add
(i32.const 0)
(i32.const 1)
)
)
(return
- (get_local $0)
+ (local.get $0)
)
)
(func $trivial-const (; 13 ;) (type $5) (result i32)
@@ -2024,11 +2024,11 @@ infer %4
(nop)
(nop)
)
- (set_local $1
+ (local.set $1
(i32.const 0)
)
(return
- (get_local $1)
+ (local.get $1)
)
)
(func $bad-phi-value (; 15 ;) (type $5) (result i32)
@@ -2042,30 +2042,30 @@ infer %4
(i32.const 1)
(block
(nop)
- (set_local $1
+ (local.set $1
(i32.load
(i32.const 0)
)
)
)
- (set_local $1
+ (local.set $1
(i32.const 0)
)
)
(nop)
(if
- (get_local $1)
- (set_local $3
+ (local.get $1)
+ (local.set $3
(i32.const 0)
)
- (set_local $3
+ (local.set $3
(i32.const 1)
)
)
)
(nop)
(return
- (get_local $3)
+ (local.get $3)
)
)
(func $bad-phi-value-2 (; 16 ;) (type $1) (param $x i32) (result i32)
@@ -2081,27 +2081,27 @@ infer %4
(i32.const 1)
(block
(nop)
- (set_local $2
+ (local.set $2
(i32.load
(i32.const 0)
)
)
)
- (set_local $2
+ (local.set $2
(i32.const 0)
)
)
(nop)
(if
- (get_local $2)
+ (local.get $2)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
)
(block
- (set_local $x
+ (local.set $x
(i32.const 2)
)
(nop)
@@ -2114,12 +2114,12 @@ infer %4
)
(nop)
(return
- (get_local $x)
+ (local.get $x)
)
)
(func $select (; 17 ;) (type $1) (param $x i32) (result i32)
(local $1 i32)
- (set_local $1
+ (local.set $1
(select
(i32.const 1)
(i32.const 2)
@@ -2127,7 +2127,7 @@ infer %4
)
)
(return
- (get_local $1)
+ (local.get $1)
)
(unreachable)
)
@@ -2142,35 +2142,35 @@ infer %4
(local $9 i32)
(nop)
(nop)
- (set_local $4
+ (local.set $4
(i32.add
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(nop)
- (set_local $6
+ (local.set $6
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 1)
)
)
(nop)
- (set_local $8
+ (local.set $8
(i32.add
(i32.const 2)
- (get_local $y)
+ (local.get $y)
)
)
- (set_local $9
+ (local.set $9
(select
- (get_local $4)
- (get_local $6)
- (get_local $8)
+ (local.get $4)
+ (local.get $6)
+ (local.get $8)
)
)
(return
- (get_local $9)
+ (local.get $9)
)
(unreachable)
)
@@ -2188,23 +2188,23 @@ infer %4
(block $out
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 1)
)
)
(nop)
(nop)
(br_if $out
- (get_local $y)
+ (local.get $y)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 2)
)
)
@@ -2215,14 +2215,14 @@ infer %4
(nop)
(nop)
)
- (set_local $10
+ (local.set $10
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 3)
)
)
(return
- (get_local $10)
+ (local.get $10)
)
)
(func $block-phi-2 (; 20 ;) (type $6) (param $x i32) (param $y i32) (result i32)
@@ -2233,16 +2233,16 @@ infer %4
(local $6 i32)
(block
(block $out
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
(nop)
(br_if $out
- (get_local $y)
+ (local.get $y)
)
(nop)
- (set_local $x
+ (local.set $x
(i32.const 2)
)
(nop)
@@ -2252,14 +2252,14 @@ infer %4
(nop)
(nop)
)
- (set_local $6
+ (local.set $6
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 3)
)
)
(return
- (get_local $6)
+ (local.get $6)
)
)
(func $zero_init-phi-bad_type (; 21 ;) (type $7) (result f64)
@@ -2271,7 +2271,7 @@ infer %4
(if
(i32.const 0)
(block
- (set_local $x
+ (local.set $x
(f64.const 1)
)
(nop)
@@ -2283,7 +2283,7 @@ infer %4
)
(nop)
(return
- (get_local $x)
+ (local.get $x)
)
)
(func $phi-bad-type (; 22 ;) (type $7) (result f64)
@@ -2294,10 +2294,10 @@ infer %4
(block $label$1
(if
(i32.const 0)
- (set_local $0
+ (local.set $0
(f64.const 0)
)
- (set_local $0
+ (local.set $0
(f64.const 1)
)
)
@@ -2306,7 +2306,7 @@ infer %4
)
(nop)
(return
- (get_local $0)
+ (local.get $0)
)
)
(func $phi-one-side-i1 (; 23 ;) (type $6) (param $x i32) (param $y i32) (result i32)
@@ -2327,22 +2327,22 @@ infer %4
(block
(nop)
(nop)
- (set_local $5
+ (local.set $5
(i32.le_s
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(if
- (get_local $5)
+ (local.get $5)
(block
(nop)
(nop)
(nop)
- (set_local $i
+ (local.set $i
(i32.eq
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(nop)
@@ -2351,10 +2351,10 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $i
+ (local.set $i
(i32.add
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(nop)
@@ -2367,7 +2367,7 @@ infer %4
)
(nop)
(return
- (get_local $i)
+ (local.get $i)
)
)
(func $call (; 24 ;) (type $5) (result i32)
@@ -2377,35 +2377,35 @@ infer %4
(local $3 i32)
(local $4 i32)
(local $5 i32)
- (set_local $0
+ (local.set $0
(call $call)
)
- (set_local $1
+ (local.set $1
(call $call)
)
- (set_local $2
+ (local.set $2
(i32.add
- (get_local $0)
- (get_local $1)
+ (local.get $0)
+ (local.get $1)
)
)
- (set_local $3
+ (local.set $3
(call $call)
)
- (set_local $4
+ (local.set $4
(i32.add
(i32.const 10)
- (get_local $3)
+ (local.get $3)
)
)
- (set_local $5
+ (local.set $5
(i32.mul
- (get_local $2)
- (get_local $4)
+ (local.get $2)
+ (local.get $4)
)
)
(return
- (get_local $5)
+ (local.get $5)
)
(unreachable)
)
@@ -2419,23 +2419,23 @@ infer %4
(block
(nop)
(if
- (get_local $x)
+ (local.get $x)
(block
(block $block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
(nop)
(return
- (get_local $x)
+ (local.get $x)
)
(unreachable)
)
(unreachable)
)
(block
- (set_local $x
+ (local.set $x
(i32.const 2)
)
(nop)
@@ -2445,13 +2445,13 @@ infer %4
(nop)
(nop)
(return
- (get_local $x)
+ (local.get $x)
)
(unreachable)
)
(nop)
(return
- (get_local $5)
+ (local.get $5)
)
)
(func $in-unreachable-2 (; 26 ;) (type $6) (param $x i32) (param $y i32) (result i32)
@@ -2463,10 +2463,10 @@ infer %4
(block
(nop)
(if
- (get_local $x)
+ (local.get $x)
(block
(block $block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
@@ -2476,7 +2476,7 @@ infer %4
(unreachable)
)
(block
- (set_local $x
+ (local.set $x
(i32.const 2)
)
(nop)
@@ -2486,13 +2486,13 @@ infer %4
(nop)
(nop)
(return
- (get_local $x)
+ (local.get $x)
)
(unreachable)
)
(nop)
(return
- (get_local $4)
+ (local.get $4)
)
)
(func $in-unreachable-3 (; 27 ;) (type $6) (param $x i32) (param $y i32) (result i32)
@@ -2506,10 +2506,10 @@ infer %4
(block
(nop)
(if
- (get_local $x)
+ (local.get $x)
(block
(block $block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
@@ -2519,7 +2519,7 @@ infer %4
(unreachable)
)
(block
- (set_local $x
+ (local.set $x
(i32.const 2)
)
(nop)
@@ -2529,20 +2529,20 @@ infer %4
(nop)
(nop)
(return
- (get_local $x)
+ (local.get $x)
)
(unreachable)
)
(nop)
(nop)
(return
- (get_local $x)
+ (local.get $x)
)
(unreachable)
)
(nop)
(return
- (get_local $5)
+ (local.get $5)
)
)
(func $in-unreachable-4 (; 28 ;) (type $6) (param $x i32) (param $y i32) (result i32)
@@ -2556,10 +2556,10 @@ infer %4
(block
(nop)
(if
- (get_local $x)
+ (local.get $x)
(block
(block $block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
@@ -2571,7 +2571,7 @@ infer %4
(unreachable)
)
(block
- (set_local $x
+ (local.set $x
(i32.const 2)
)
(nop)
@@ -2581,20 +2581,20 @@ infer %4
(nop)
(nop)
(return
- (get_local $x)
+ (local.get $x)
)
(unreachable)
)
(nop)
(nop)
(return
- (get_local $x)
+ (local.get $x)
)
(unreachable)
)
(nop)
(return
- (get_local $5)
+ (local.get $5)
)
)
(func $in-unreachable-br_if (; 29 ;) (type $6) (param $x i32) (param $y i32) (result i32)
@@ -2609,23 +2609,23 @@ infer %4
(block
(nop)
(if
- (get_local $x)
+ (local.get $x)
(block
(block $block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
(nop)
(br_if $out
- (get_local $x)
+ (local.get $x)
)
(nop)
)
(nop)
)
(block
- (set_local $x
+ (local.set $x
(i32.const 2)
)
(nop)
@@ -2635,20 +2635,20 @@ infer %4
(nop)
(nop)
(return
- (get_local $x)
+ (local.get $x)
)
(unreachable)
)
(nop)
(nop)
(return
- (get_local $x)
+ (local.get $x)
)
(unreachable)
)
(nop)
(return
- (get_local $6)
+ (local.get $6)
)
)
(func $in-unreachable-big (; 30 ;) (type $8) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32)
@@ -2663,15 +2663,15 @@ infer %4
(block
(nop)
(if
- (get_local $2)
+ (local.get $2)
(block
(block
(nop)
(if
- (get_local $0)
+ (local.get $0)
(block
(block $block
- (set_local $1
+ (local.set $1
(i32.const -8531)
)
(nop)
@@ -2682,7 +2682,7 @@ infer %4
)
(block
(block $block3
- (set_local $1
+ (local.set $1
(i32.const -8531)
)
(nop)
@@ -2702,13 +2702,13 @@ infer %4
(unreachable)
)
(nop)
- (set_local $6
+ (local.set $6
(i32.load
(i32.const 0)
)
)
(drop
- (get_local $6)
+ (local.get $6)
)
(nop)
(br $label$1)
@@ -2718,7 +2718,7 @@ infer %4
(nop)
(i32.store16
(i32.const 1)
- (get_local $1)
+ (local.get $1)
)
(nop)
(unreachable)
@@ -2742,15 +2742,15 @@ infer %4
(block
(nop)
(if
- (get_local $x)
+ (local.get $x)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
)
(block
- (set_local $x
+ (local.set $x
(i32.const 2)
)
(nop)
@@ -2760,7 +2760,7 @@ infer %4
(nop)
(nop)
(return
- (get_local $x)
+ (local.get $x)
)
(unreachable)
)
@@ -2779,13 +2779,13 @@ infer %4
(block $label$3
(block $label$4
(block $label$5
- (set_local $1
+ (local.set $1
(i32.load
(i32.const 1)
)
)
(br_table $label$5 $label$4 $label$3 $label$2
- (get_local $1)
+ (local.get $1)
)
(unreachable)
)
@@ -2798,17 +2798,17 @@ infer %4
(unreachable)
)
(nop)
- (set_local $var$0
+ (local.set $var$0
(i32.const 8)
)
(nop)
- (set_local $3
+ (local.set $3
(i32.load
- (get_local $var$0)
+ (local.get $var$0)
)
)
(f64.store
- (get_local $3)
+ (local.get $3)
(f64.const 0)
)
(nop)
@@ -2822,17 +2822,17 @@ infer %4
(nop)
(nop)
(i32.store
- (get_local $var$0)
+ (local.get $var$0)
(i32.const 16)
)
(nop)
(nop)
)
- (set_local $6
+ (local.set $6
(i32.const 1)
)
(return
- (get_local $6)
+ (local.get $6)
)
)
(func $deep (; 33 ;) (type $1) (param $x i32) (result i32)
@@ -2894,234 +2894,234 @@ infer %4
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.xor
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.mul
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.xor
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.mul
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.xor
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.mul
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.xor
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.mul
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.xor
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.mul
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.xor
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.mul
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.xor
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.mul
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.xor
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.mul
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.xor
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.mul
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.xor
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.mul
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.xor
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.mul
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.xor
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.mul
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.xor
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.mul
- (get_local $x)
+ (local.get $x)
(i32.const 1234)
)
)
@@ -3131,7 +3131,7 @@ infer %4
)
(nop)
(return
- (get_local $x)
+ (local.get $x)
)
)
(func $two-pcs (; 34 ;) (type $9) (param $x i64) (param $y i64) (param $t i64) (result i64)
@@ -3161,32 +3161,32 @@ infer %4
(block
(nop)
(nop)
- (set_local $5
+ (local.set $5
(i64.lt_s
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(if
- (get_local $5)
+ (local.get $5)
(block
(block
(nop)
- (set_local $7
+ (local.set $7
(i64.eqz
- (get_local $x)
+ (local.get $x)
)
)
(if
- (get_local $7)
+ (local.get $7)
(block
(nop)
(nop)
(nop)
- (set_local $t
+ (local.set $t
(i64.add
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(nop)
@@ -3195,10 +3195,10 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $t
+ (local.set $t
(i64.sub
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(nop)
@@ -3210,21 +3210,21 @@ infer %4
(block
(block
(nop)
- (set_local $15
+ (local.set $15
(i64.eqz
- (get_local $y)
+ (local.get $y)
)
)
(if
- (get_local $15)
+ (local.get $15)
(block
(nop)
(nop)
(nop)
- (set_local $t
+ (local.set $t
(i64.mul
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(nop)
@@ -3233,10 +3233,10 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $t
+ (local.set $t
(i64.div_s
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(nop)
@@ -3250,13 +3250,13 @@ infer %4
(nop)
(nop)
(return
- (get_local $t)
+ (local.get $t)
)
(unreachable)
)
(nop)
(return
- (get_local $23)
+ (local.get $23)
)
)
(func $loop-1 (; 35 ;) (type $6) (param $x i32) (param $y i32) (result i32)
@@ -3266,11 +3266,11 @@ infer %4
(local $5 i32)
(local $6 i32)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 2)
)
(nop)
@@ -3280,20 +3280,20 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $4
+ (local.set $4
(i32.add
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(return
- (get_local $4)
+ (local.get $4)
)
(unreachable)
)
(nop)
(return
- (get_local $5)
+ (local.get $5)
)
)
(func $loop-2 (; 36 ;) (type $6) (param $x i32) (param $y i32) (result i32)
@@ -3307,11 +3307,11 @@ infer %4
(local $9 i32)
(local $10 i32)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 2)
)
(nop)
@@ -3319,18 +3319,18 @@ infer %4
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 3)
)
)
(nop)
(nop)
(nop)
- (set_local $y
+ (local.set $y
(i32.add
- (get_local $y)
+ (local.get $y)
(i32.const 4)
)
)
@@ -3341,20 +3341,20 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $8
+ (local.set $8
(i32.add
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(return
- (get_local $8)
+ (local.get $8)
)
(unreachable)
)
(nop)
(return
- (get_local $9)
+ (local.get $9)
)
)
(func $loop-3 (; 37 ;) (type $6) (param $x i32) (param $y i32) (result i32)
@@ -3369,11 +3369,11 @@ infer %4
(local $10 i32)
(local $11 i32)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 2)
)
(nop)
@@ -3381,25 +3381,25 @@ infer %4
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 3)
)
)
(nop)
(nop)
(nop)
- (set_local $y
+ (local.set $y
(i32.add
- (get_local $y)
+ (local.get $y)
(i32.const 4)
)
)
(nop)
(nop)
(br_if $loopy
- (get_local $y)
+ (local.get $y)
)
(nop)
)
@@ -3408,20 +3408,20 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $9
+ (local.set $9
(i32.add
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(return
- (get_local $9)
+ (local.get $9)
)
(unreachable)
)
(nop)
(return
- (get_local $10)
+ (local.get $10)
)
)
(func $loop-4 (; 38 ;) (type $6) (param $x i32) (param $y i32) (result i32)
@@ -3434,11 +3434,11 @@ infer %4
(local $8 i32)
(local $9 i32)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 2)
)
(nop)
@@ -3446,16 +3446,16 @@ infer %4
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 3)
)
)
(nop)
(nop)
(br_if $loopy
- (get_local $y)
+ (local.get $y)
)
(nop)
)
@@ -3464,20 +3464,20 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $7
+ (local.set $7
(i32.add
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(return
- (get_local $7)
+ (local.get $7)
)
(unreachable)
)
(nop)
(return
- (get_local $8)
+ (local.get $8)
)
)
(func $loop-5 (; 39 ;) (type $6) (param $x i32) (param $y i32) (result i32)
@@ -3490,11 +3490,11 @@ infer %4
(local $8 i32)
(local $9 i32)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 2)
)
(nop)
@@ -3502,20 +3502,20 @@ infer %4
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 3)
)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 2)
)
(nop)
(nop)
(br_if $loopy
- (get_local $y)
+ (local.get $y)
)
(nop)
)
@@ -3524,20 +3524,20 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $7
+ (local.set $7
(i32.add
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(return
- (get_local $7)
+ (local.get $7)
)
(unreachable)
)
(nop)
(return
- (get_local $8)
+ (local.get $8)
)
)
(func $loop-6 (; 40 ;) (type $6) (param $x i32) (param $y i32) (result i32)
@@ -3551,11 +3551,11 @@ infer %4
(local $9 i32)
(local $10 i32)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 2)
)
(nop)
@@ -3563,21 +3563,21 @@ infer %4
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 3)
)
)
(nop)
(nop)
- (set_local $y
- (get_local $y)
+ (local.set $y
+ (local.get $y)
)
(nop)
(nop)
(br_if $loopy
- (get_local $y)
+ (local.get $y)
)
(nop)
)
@@ -3586,20 +3586,20 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $8
+ (local.set $8
(i32.add
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(return
- (get_local $8)
+ (local.get $8)
)
(unreachable)
)
(nop)
(return
- (get_local $9)
+ (local.get $9)
)
)
(func $loop-7 (; 41 ;) (type $6) (param $x i32) (param $y i32) (result i32)
@@ -3612,11 +3612,11 @@ infer %4
(local $8 i32)
(local $9 i32)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 2)
)
(nop)
@@ -3624,20 +3624,20 @@ infer %4
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 3)
)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 5)
)
(nop)
(nop)
(br_if $loopy
- (get_local $y)
+ (local.get $y)
)
(nop)
)
@@ -3646,20 +3646,20 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $7
+ (local.set $7
(i32.add
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(return
- (get_local $7)
+ (local.get $7)
)
(unreachable)
)
(nop)
(return
- (get_local $8)
+ (local.get $8)
)
)
(func $loop-8 (; 42 ;) (type $6) (param $x i32) (param $y i32) (result i32)
@@ -3678,37 +3678,37 @@ infer %4
(local $14 i32)
(local $15 i32)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 2)
)
(nop)
(loop $loopy
(block
(nop)
- (set_local $z
- (get_local $x)
+ (local.set $z
+ (local.get $x)
)
(nop)
(nop)
- (set_local $w
- (get_local $y)
+ (local.set $w
+ (local.get $y)
)
(nop)
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 4)
)
(nop)
(nop)
(br_if $loopy
- (get_local $y)
+ (local.get $y)
)
(nop)
)
@@ -3717,34 +3717,34 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $9
+ (local.set $9
(i32.add
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(nop)
(nop)
- (set_local $12
+ (local.set $12
(i32.sub
- (get_local $z)
- (get_local $w)
+ (local.get $z)
+ (local.get $w)
)
)
- (set_local $13
+ (local.set $13
(i32.mul
- (get_local $9)
- (get_local $12)
+ (local.get $9)
+ (local.get $12)
)
)
(return
- (get_local $13)
+ (local.get $13)
)
(unreachable)
)
(nop)
(return
- (get_local $14)
+ (local.get $14)
)
)
(func $loop-9 (; 43 ;) (type $6) (param $x i32) (param $y i32) (result i32)
@@ -3759,34 +3759,34 @@ infer %4
(local $10 i32)
(local $11 i32)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 2)
)
(nop)
(loop $loopy
(block
(nop)
- (set_local $t
- (get_local $x)
+ (local.set $t
+ (local.get $x)
)
(nop)
(nop)
- (set_local $x
- (get_local $y)
+ (local.set $x
+ (local.get $y)
)
(nop)
(nop)
- (set_local $y
- (get_local $t)
+ (local.set $y
+ (local.get $t)
)
(nop)
(nop)
(br_if $loopy
- (get_local $y)
+ (local.get $y)
)
(nop)
)
@@ -3795,20 +3795,20 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $9
+ (local.set $9
(i32.add
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(return
- (get_local $9)
+ (local.get $9)
)
(unreachable)
)
(nop)
(return
- (get_local $10)
+ (local.get $10)
)
)
(func $loop-10 (; 44 ;) (type $6) (param $x i32) (param $y i32) (result i32)
@@ -3823,34 +3823,34 @@ infer %4
(local $10 i32)
(local $11 i32)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 1)
)
(nop)
(loop $loopy
(block
(nop)
- (set_local $t
- (get_local $x)
+ (local.set $t
+ (local.get $x)
)
(nop)
(nop)
- (set_local $x
- (get_local $y)
+ (local.set $x
+ (local.get $y)
)
(nop)
(nop)
- (set_local $y
- (get_local $t)
+ (local.set $y
+ (local.get $t)
)
(nop)
(nop)
(br_if $loopy
- (get_local $y)
+ (local.get $y)
)
(nop)
)
@@ -3859,20 +3859,20 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $9
+ (local.set $9
(i32.add
- (get_local $x)
- (get_local $y)
+ (local.get $x)
+ (local.get $y)
)
)
(return
- (get_local $9)
+ (local.get $9)
)
(unreachable)
)
(nop)
(return
- (get_local $10)
+ (local.get $10)
)
)
(func $loop-multicond-1 (; 45 ;) (type $10) (param $x i32) (param $y i32) (param $z i32) (result i32)
@@ -3886,39 +3886,39 @@ infer %4
(local $10 i32)
(local $11 i32)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 2)
)
(nop)
- (set_local $z
+ (local.set $z
(i32.const 3)
)
(nop)
(loop $loopy
(block
- (set_local $x
+ (local.set $x
(i32.const 4)
)
(nop)
(nop)
(br_if $loopy
- (get_local $t)
+ (local.get $t)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 5)
)
(nop)
(nop)
(br_if $loopy
- (get_local $t)
+ (local.get $t)
)
(nop)
- (set_local $z
+ (local.set $z
(i32.const 6)
)
(nop)
@@ -3929,21 +3929,21 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $9
+ (local.set $9
(select
- (get_local $x)
- (get_local $y)
- (get_local $z)
+ (local.get $x)
+ (local.get $y)
+ (local.get $z)
)
)
(return
- (get_local $9)
+ (local.get $9)
)
(unreachable)
)
(nop)
(return
- (get_local $10)
+ (local.get $10)
)
)
(func $loop-multicond-2 (; 46 ;) (type $10) (param $x i32) (param $y i32) (param $z i32) (result i32)
@@ -3963,15 +3963,15 @@ infer %4
(local $16 i32)
(local $17 i32)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 2)
)
(nop)
- (set_local $z
+ (local.set $z
(i32.const 3)
)
(nop)
@@ -3979,37 +3979,37 @@ infer %4
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 4)
)
)
(nop)
(nop)
(br_if $loopy
- (get_local $t)
+ (local.get $t)
)
(nop)
(nop)
(nop)
- (set_local $y
+ (local.set $y
(i32.add
- (get_local $y)
+ (local.get $y)
(i32.const 5)
)
)
(nop)
(nop)
(br_if $loopy
- (get_local $t)
+ (local.get $t)
)
(nop)
(nop)
(nop)
- (set_local $z
+ (local.set $z
(i32.add
- (get_local $z)
+ (local.get $z)
(i32.const 6)
)
)
@@ -4021,21 +4021,21 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $15
+ (local.set $15
(select
- (get_local $x)
- (get_local $y)
- (get_local $z)
+ (local.get $x)
+ (local.get $y)
+ (local.get $z)
)
)
(return
- (get_local $15)
+ (local.get $15)
)
(unreachable)
)
(nop)
(return
- (get_local $16)
+ (local.get $16)
)
)
(func $loop-block-1 (; 47 ;) (type $10) (param $x i32) (param $y i32) (param $z i32) (result i32)
@@ -4055,15 +4055,15 @@ infer %4
(local $16 i32)
(local $17 i32)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 2)
)
(nop)
- (set_local $z
+ (local.set $z
(i32.const 3)
)
(nop)
@@ -4071,37 +4071,37 @@ infer %4
(block $out
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 4)
)
)
(nop)
(nop)
(br_if $out
- (get_local $t)
+ (local.get $t)
)
(nop)
(nop)
(nop)
- (set_local $y
+ (local.set $y
(i32.add
- (get_local $y)
+ (local.get $y)
(i32.const 5)
)
)
(nop)
(nop)
(br_if $out
- (get_local $t)
+ (local.get $t)
)
(nop)
(nop)
(nop)
- (set_local $z
+ (local.set $z
(i32.add
- (get_local $z)
+ (local.get $z)
(i32.const 6)
)
)
@@ -4115,21 +4115,21 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $15
+ (local.set $15
(select
- (get_local $x)
- (get_local $y)
- (get_local $z)
+ (local.get $x)
+ (local.get $y)
+ (local.get $z)
)
)
(return
- (get_local $15)
+ (local.get $15)
)
(unreachable)
)
(nop)
(return
- (get_local $16)
+ (local.get $16)
)
)
(func $loop-block-2 (; 48 ;) (type $10) (param $x i32) (param $y i32) (param $z i32) (result i32)
@@ -4149,15 +4149,15 @@ infer %4
(local $16 i32)
(local $17 i32)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
(nop)
- (set_local $y
+ (local.set $y
(i32.const 2)
)
(nop)
- (set_local $z
+ (local.set $z
(i32.const 3)
)
(nop)
@@ -4166,37 +4166,37 @@ infer %4
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 4)
)
)
(nop)
(nop)
(br_if $out
- (get_local $t)
+ (local.get $t)
)
(nop)
(nop)
(nop)
- (set_local $y
+ (local.set $y
(i32.add
- (get_local $y)
+ (local.get $y)
(i32.const 5)
)
)
(nop)
(nop)
(br_if $out
- (get_local $t)
+ (local.get $t)
)
(nop)
(nop)
(nop)
- (set_local $z
+ (local.set $z
(i32.add
- (get_local $z)
+ (local.get $z)
(i32.const 6)
)
)
@@ -4212,21 +4212,21 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $15
+ (local.set $15
(select
- (get_local $x)
- (get_local $y)
- (get_local $z)
+ (local.get $x)
+ (local.get $y)
+ (local.get $z)
)
)
(return
- (get_local $15)
+ (local.get $15)
)
(unreachable)
)
(nop)
(return
- (get_local $16)
+ (local.get $16)
)
)
(func $bad-phi-type (; 49 ;) (type $11) (param $var$0 i64) (param $var$1 i64) (param $var$2 i32) (param $var$3 f32)
@@ -4241,7 +4241,7 @@ infer %4
(block
(nop)
(if
- (get_local $var$2)
+ (local.get $var$2)
(block
(loop $label$2
(block
@@ -4258,11 +4258,11 @@ infer %4
(nop)
(nop)
)
- (set_local $6
+ (local.set $6
(i32.const 0)
)
(if
- (get_local $6)
+ (local.get $6)
(block
(unreachable)
(unreachable)
@@ -4272,19 +4272,19 @@ infer %4
(nop)
(nop)
(br_if $label$2
- (get_local $var$2)
+ (local.get $var$2)
)
(nop)
(nop)
)
(nop)
- (set_local $10
+ (local.set $10
(f64.const 0)
)
)
(nop)
(drop
- (get_local $10)
+ (local.get $10)
)
(nop)
)
@@ -4324,34 +4324,34 @@ infer %4
(nop)
)
(nop)
- (set_local $var$0
- (get_local $var$0)
+ (local.set $var$0
+ (local.get $var$0)
)
(nop)
(loop $label$6
(block $label$7
(nop)
- (set_local $6
- (get_local $var$0)
+ (local.set $6
+ (local.get $var$0)
)
(br_if $label$7
(i32.const 65535)
)
(nop)
(drop
- (get_local $6)
+ (local.get $6)
)
(nop)
(nop)
- (set_local $6
- (get_local $var$0)
+ (local.set $6
+ (local.get $var$0)
)
(br_if $label$7
(i32.const 0)
)
(nop)
(drop
- (get_local $6)
+ (local.get $6)
)
(nop)
(unreachable)
@@ -4359,7 +4359,7 @@ infer %4
)
(nop)
(br_if $label$6
- (get_local $6)
+ (local.get $6)
)
(nop)
)
@@ -4370,8 +4370,8 @@ infer %4
(nop)
)
(nop)
- (set_local $var$1
- (get_local $var$1)
+ (local.set $var$1
+ (local.get $var$1)
)
(nop)
(br $label$1)
@@ -4403,15 +4403,15 @@ infer %4
(block
(block
(nop)
- (set_local $var$0
- (i32.atomic.rmw16_u.sub offset=22
+ (local.set $var$0
+ (i32.atomic.rmw16.sub_u offset=22
(i32.const 0)
(i32.const 0)
)
)
(nop)
(if
- (get_local $var$0)
+ (local.get $var$0)
(block
(unreachable)
(unreachable)
@@ -4422,28 +4422,28 @@ infer %4
(loop $label$3
(block $label$4
(nop)
- (set_local $6
- (get_local $var$0)
+ (local.set $6
+ (local.get $var$0)
)
(br_if $label$4
(i32.const 1)
)
(nop)
(nop)
- (set_local $6
+ (local.set $6
(i32.clz
- (get_local $6)
+ (local.get $6)
)
)
)
(nop)
(drop
- (get_local $6)
+ (local.get $6)
)
)
(nop)
(if
- (get_local $6)
+ (local.get $6)
(nop)
)
)
@@ -4451,7 +4451,7 @@ infer %4
(nop)
)
(nop)
- (set_local $14
+ (local.set $14
(f32.const 1)
)
)
@@ -4459,7 +4459,7 @@ infer %4
)
(nop)
(drop
- (get_local $14)
+ (local.get $14)
)
(nop)
(unreachable)
@@ -4467,7 +4467,7 @@ infer %4
)
(nop)
(return
- (get_local $16)
+ (local.get $16)
)
)
(func $multi-use (; 52 ;) (type $1) (param $x i32) (result i32)
@@ -4482,9 +4482,9 @@ infer %4
(block
(nop)
(nop)
- (set_local $temp
+ (local.set $temp
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 1)
)
)
@@ -4494,14 +4494,14 @@ infer %4
(nop)
(nop)
)
- (set_local $8
+ (local.set $8
(i32.add
- (get_local $temp)
- (get_local $temp)
+ (local.get $temp)
+ (local.get $temp)
)
)
(return
- (get_local $8)
+ (local.get $8)
)
)
(func $multi-use-2 (; 53 ;) (type $1) (param $x i32) (result i32)
@@ -4518,18 +4518,18 @@ infer %4
(block
(nop)
(nop)
- (set_local $temp
+ (local.set $temp
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 1)
)
)
(nop)
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.mul
- (get_local $temp)
+ (local.get $temp)
(i32.const 2)
)
)
@@ -4539,14 +4539,14 @@ infer %4
(nop)
(nop)
)
- (set_local $10
+ (local.set $10
(i32.sub
- (get_local $x)
- (get_local $temp)
+ (local.get $x)
+ (local.get $temp)
)
)
(return
- (get_local $10)
+ (local.get $10)
)
)
(func $many-single-uses-with-param (; 54 ;) (type $1) (param $x i32) (result i32)
@@ -4558,37 +4558,37 @@ infer %4
(local $6 i32)
(local $7 i32)
(nop)
- (set_local $2
+ (local.set $2
(i32.mul
(i32.const 10)
- (get_local $x)
+ (local.get $x)
)
)
(nop)
- (set_local $4
+ (local.set $4
(i32.ctz
- (get_local $x)
+ (local.get $x)
)
)
- (set_local $5
+ (local.set $5
(i32.sub
- (get_local $4)
+ (local.get $4)
(i32.const 20)
)
)
- (set_local $6
+ (local.set $6
(i32.add
- (get_local $2)
- (get_local $5)
+ (local.get $2)
+ (local.get $5)
)
)
- (set_local $7
+ (local.set $7
(i32.eqz
- (get_local $6)
+ (local.get $6)
)
)
(return
- (get_local $7)
+ (local.get $7)
)
(unreachable)
)
@@ -4609,29 +4609,29 @@ infer %4
(block
(nop)
(nop)
- (set_local $var$0
+ (local.set $var$0
(i32.add
- (get_local $var$0)
+ (local.get $var$0)
(i32.const -7)
)
)
(nop)
(if
- (get_local $var$0)
+ (local.get $var$0)
(block
(block $label$2
(block $label$3
(nop)
- (set_local $var$1
- (get_local $var$0)
+ (local.set $var$1
+ (local.get $var$0)
)
(nop)
(nop)
- (set_local $8
+ (local.set $8
(i32.const 12)
)
(br_if $label$3
- (get_local $8)
+ (local.get $8)
)
(nop)
(unreachable)
@@ -4639,30 +4639,30 @@ infer %4
)
(nop)
(nop)
- (set_local $10
+ (local.set $10
(i32.eqz
- (get_local $var$1)
+ (local.get $var$1)
)
)
(br_if $label$2
- (get_local $10)
+ (local.get $10)
)
(nop)
(block
- (set_local $11
+ (local.set $11
(i32.load
(i32.const 0)
)
)
(nop)
- (set_local $13
+ (local.set $13
(i32.ne
- (get_local $11)
- (get_local $var$0)
+ (local.get $11)
+ (local.get $var$0)
)
)
(if
- (get_local $13)
+ (local.get $13)
(block
(unreachable)
(unreachable)
@@ -4689,9 +4689,9 @@ infer %4
(block
(nop)
(nop)
- (set_local $x
+ (local.set $x
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 10)
)
)
@@ -4699,19 +4699,19 @@ infer %4
(nop)
(i32.store
(i32.const 1)
- (get_local $x)
+ (local.get $x)
)
(nop)
(nop)
- (set_local $6
+ (local.set $6
(i32.add
- (get_local $x)
+ (local.get $x)
(i32.const 20)
)
)
(i32.store
(i32.const 2)
- (get_local $6)
+ (local.get $6)
)
(nop)
)
@@ -4739,12 +4739,12 @@ infer %4
(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
- (get_local $var$0)
+ (local.get $var$0)
)
(unreachable)
)
(nop)
- (set_local $var$1
+ (local.set $var$1
(i32.const 1)
)
(nop)
@@ -4762,12 +4762,12 @@ infer %4
(unreachable)
)
(nop)
- (set_local $var$2
+ (local.set $var$2
(i32.const 1)
)
(nop)
(br_if $label$3
- (get_local $var$2)
+ (local.get $var$2)
)
(nop)
)
@@ -4778,14 +4778,14 @@ infer %4
(nop)
(block $label$9
(nop)
- (set_local $6
+ (local.set $6
(i32.or
(i32.const 1)
- (get_local $var$1)
+ (local.get $var$1)
)
)
(br_if $label$9
- (get_local $6)
+ (local.get $6)
)
(nop)
)
@@ -4797,16 +4797,16 @@ infer %4
(nop)
(i32.store offset=176
(i32.const 0)
- (get_local $var$2)
+ (local.get $var$2)
)
(nop)
(nop)
)
- (set_local $9
+ (local.set $9
(i32.const 0)
)
(return
- (get_local $9)
+ (local.get $9)
)
)
(func $zext-numGets (; 58 ;) (type $4) (param $var$0 i32) (param $var$1 i32)
@@ -4819,42 +4819,42 @@ infer %4
(local $8 i32)
(block
(block $label$1
- (set_local $2
+ (local.set $2
(i32.load
(i32.const -8)
)
)
- (set_local $3
+ (local.set $3
(i32.const 1)
)
(br_if $label$1
- (get_local $2)
+ (local.get $2)
)
(nop)
(drop
- (get_local $3)
+ (local.get $3)
)
(nop)
- (set_local $5
+ (local.set $5
(i32.load
(i32.const -16)
)
)
(nop)
- (set_local $3
+ (local.set $3
(i32.eqz
- (get_local $5)
+ (local.get $5)
)
)
)
(nop)
- (set_local $8
+ (local.set $8
(i32.ctz
- (get_local $3)
+ (local.get $3)
)
)
(if
- (get_local $8)
+ (local.get $8)
(block
(unreachable)
(unreachable)
@@ -4876,52 +4876,52 @@ infer %4
(local $11 i32)
(block
(block $label$1
- (set_local $3
+ (local.set $3
(i32.load
(i32.const -8)
)
)
- (set_local $4
+ (local.set $4
(i32.const 1)
)
(br_if $label$1
- (get_local $3)
+ (local.get $3)
)
(nop)
(drop
- (get_local $4)
+ (local.get $4)
)
(nop)
- (set_local $6
+ (local.set $6
(i32.load
(i32.const -16)
)
)
(nop)
- (set_local $temp
+ (local.set $temp
(i32.eqz
- (get_local $6)
+ (local.get $6)
)
)
(nop)
(nop)
(drop
- (get_local $temp)
+ (local.get $temp)
)
(nop)
(nop)
- (set_local $4
- (get_local $temp)
+ (local.set $4
+ (local.get $temp)
)
)
(nop)
- (set_local $11
+ (local.set $11
(i32.ctz
- (get_local $4)
+ (local.get $4)
)
)
(if
- (get_local $11)
+ (local.get $11)
(block
(unreachable)
(unreachable)
@@ -4940,16 +4940,16 @@ infer %4
(local $7 i32)
(block
(block $label$1
- (set_local $2
+ (local.set $2
(i32.load
(i32.const 1)
)
)
(br_if $label$1
- (get_local $2)
+ (local.get $2)
)
(nop)
- (set_local $var$1
+ (local.set $var$1
(i32.const 2)
)
(nop)
@@ -4957,20 +4957,20 @@ infer %4
(nop)
(block
(nop)
- (set_local $4
+ (local.set $4
(i32.add
- (get_local $var$1)
+ (local.get $var$1)
(i32.const 4)
)
)
- (set_local $5
+ (local.set $5
(i32.gt_s
(i32.const 3)
- (get_local $4)
+ (local.get $4)
)
)
(if
- (get_local $5)
+ (local.get $5)
(block
(unreachable)
(unreachable)
@@ -4980,11 +4980,11 @@ infer %4
(nop)
(nop)
)
- (set_local $7
+ (local.set $7
(i32.const 5)
)
(return
- (get_local $7)
+ (local.get $7)
)
)
(func $non-expr-nodes-may-have-multiple-uses-too-its-the-ORIGIN (; 61 ;) (type $10) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
@@ -4998,28 +4998,28 @@ infer %4
(block
(nop)
(nop)
- (set_local $var$1
+ (local.set $var$1
(i32.gt_u
- (get_local $var$1)
+ (local.get $var$1)
(i32.const 1)
)
)
(nop)
(i32.store
- (get_local $var$1)
+ (local.get $var$1)
(i32.const 2)
)
(nop)
(nop)
- (set_local $7
+ (local.set $7
(i32.sub
(i32.const 4)
- (get_local $var$1)
+ (local.get $var$1)
)
)
(i32.store offset=8
(i32.const 3)
- (get_local $7)
+ (local.get $7)
)
(nop)
(unreachable)
@@ -5027,7 +5027,7 @@ infer %4
)
(nop)
(return
- (get_local $8)
+ (local.get $8)
)
)
(func $loop-of-set-connections (; 62 ;) (type $12) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (param $var$4 i32) (result i32)
@@ -5041,7 +5041,7 @@ infer %4
(block
(block $block
(nop)
- (set_local $var$2
+ (local.set $var$2
(i32.add
(i32.const 0)
(i32.const 1)
@@ -5059,8 +5059,8 @@ infer %4
(nop)
(nop)
(nop)
- (set_local $var$2
- (get_local $var$2)
+ (local.set $var$2
+ (local.get $var$2)
)
(nop)
(br $label$1)
@@ -5086,7 +5086,7 @@ infer %4
(local $15 i32)
(local $16 i32)
(block
- (set_local $var$1
+ (local.set $var$1
(i32.const 1)
)
(nop)
@@ -5098,20 +5098,20 @@ infer %4
(block
(nop)
(if
- (get_local $var$1)
+ (local.get $var$1)
(nop)
)
)
(nop)
- (set_local $var$3
+ (local.set $var$3
(i32.const 1)
)
(nop)
(nop)
- (set_local $var$1
+ (local.set $var$1
(i32.sub
(i32.const 0)
- (get_local $var$3)
+ (local.get $var$3)
)
)
(nop)
@@ -5129,9 +5129,9 @@ infer %4
(block
(nop)
(if
- (get_local $var$1)
+ (local.get $var$1)
(block
- (set_local $var$3
+ (local.set $var$3
(i32.const 1)
)
(nop)
@@ -5140,15 +5140,15 @@ infer %4
)
(nop)
(nop)
- (set_local $14
+ (local.set $14
(i32.add
- (get_local $var$3)
+ (local.get $var$3)
(i32.const 16)
)
)
(i32.store
(i32.const 8)
- (get_local $14)
+ (local.get $14)
)
(nop)
(i32.store
@@ -5161,7 +5161,7 @@ infer %4
)
(nop)
(return
- (get_local $15)
+ (local.get $15)
)
)
)
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-05 04:56:41 +0000