summaryrefslogtreecommitdiff
path: root/test/passes/flatten.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/flatten.txt')
-rw-r--r--test/passes/flatten.txt1010
1 files changed, 505 insertions, 505 deletions
diff --git a/test/passes/flatten.txt b/test/passes/flatten.txt
index 11f03f98e..524e543c0 100644
--- a/test/passes/flatten.txt
+++ b/test/passes/flatten.txt
@@ -6,32 +6,32 @@
(type $4 (func (param i64 i64) (result i64)))
(type $5 (func (result f32)))
(memory $0 10)
- (table $0 1 1 anyfunc)
+ (table $0 1 1 funcref)
(elem (i32.const 0) $call-me)
(global $x (mut i32) (i32.const 0))
(func $a1 (; 0 ;) (type $1)
(local $0 i32)
- (set_local $0
+ (local.set $0
(i32.add
(i32.const 0)
(i32.const 1)
)
)
(drop
- (get_local $0)
+ (local.get $0)
)
(nop)
)
(func $a2 (; 1 ;) (type $2) (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 $a3 (; 2 ;) (type $2) (result i32)
@@ -39,21 +39,21 @@
(local $1 i32)
(local $2 i32)
(block $block
- (set_local $0
+ (local.set $0
(i32.const 1)
)
)
- (set_local $1
- (get_local $0)
+ (local.set $1
+ (local.get $0)
)
- (set_local $2
+ (local.set $2
(i32.add
(i32.const 0)
- (get_local $1)
+ (local.get $1)
)
)
(return
- (get_local $2)
+ (local.get $2)
)
)
(func $a4 (; 3 ;) (type $1)
@@ -61,21 +61,21 @@
(local $1 i32)
(local $2 i32)
(block $block
- (set_local $0
+ (local.set $0
(i32.const 1)
)
)
- (set_local $1
- (get_local $0)
+ (local.set $1
+ (local.get $0)
)
- (set_local $2
+ (local.set $2
(i32.add
(i32.const 0)
- (get_local $1)
+ (local.get $1)
)
)
(drop
- (get_local $2)
+ (local.get $2)
)
(nop)
)
@@ -86,29 +86,29 @@
(local $3 i32)
(local $4 i32)
(block $block
- (set_local $0
+ (local.set $0
(i32.const 0)
)
)
- (set_local $1
- (get_local $0)
+ (local.set $1
+ (local.get $0)
)
(block $block0
- (set_local $2
+ (local.set $2
(i32.const 1)
)
)
- (set_local $3
- (get_local $2)
+ (local.set $3
+ (local.get $2)
)
- (set_local $4
+ (local.set $4
(i32.add
- (get_local $1)
- (get_local $3)
+ (local.get $1)
+ (local.get $3)
)
)
(return
- (get_local $4)
+ (local.get $4)
)
)
(func $a6 (; 5 ;) (type $2) (result i32)
@@ -121,41 +121,41 @@
(local $6 i32)
(local $7 i32)
(block $block
- (set_local $x
+ (local.set $x
(i32.const 0)
)
- (set_local $1
- (get_local $x)
+ (local.set $1
+ (local.get $x)
)
- (set_local $2
- (get_local $1)
+ (local.set $2
+ (local.get $1)
)
)
- (set_local $3
- (get_local $2)
+ (local.set $3
+ (local.get $2)
)
(block $block1
- (set_local $x
+ (local.set $x
(i32.const 1)
)
- (set_local $4
- (get_local $x)
+ (local.set $4
+ (local.get $x)
)
- (set_local $5
- (get_local $4)
+ (local.set $5
+ (local.get $4)
)
)
- (set_local $6
- (get_local $5)
+ (local.set $6
+ (local.get $5)
)
- (set_local $7
+ (local.set $7
(i32.add
- (get_local $3)
- (get_local $6)
+ (local.get $3)
+ (local.get $6)
)
)
(return
- (get_local $7)
+ (local.get $7)
)
)
(func $a7 (; 6 ;) (type $2) (result i32)
@@ -171,48 +171,48 @@
(local $9 i32)
(block $block
(block $block2
- (set_local $x
+ (local.set $x
(i32.const 0)
)
- (set_local $1
- (get_local $x)
+ (local.set $1
+ (local.get $x)
)
- (set_local $2
- (get_local $1)
+ (local.set $2
+ (local.get $1)
)
)
- (set_local $3
- (get_local $2)
+ (local.set $3
+ (local.get $2)
)
(block $block3
- (set_local $x
+ (local.set $x
(i32.const 1)
)
- (set_local $4
- (get_local $x)
+ (local.set $4
+ (local.get $x)
)
- (set_local $5
- (get_local $4)
+ (local.set $5
+ (local.get $4)
)
)
- (set_local $6
- (get_local $5)
+ (local.set $6
+ (local.get $5)
)
- (set_local $7
+ (local.set $7
(i32.add
- (get_local $3)
- (get_local $6)
+ (local.get $3)
+ (local.get $6)
)
)
- (set_local $8
- (get_local $7)
+ (local.set $8
+ (local.get $7)
)
)
- (set_local $9
- (get_local $8)
+ (local.set $9
+ (local.get $8)
)
(return
- (get_local $9)
+ (local.get $9)
)
)
(func $a8 (; 7 ;) (type $2) (result i32)
@@ -230,64 +230,64 @@
(block $outer
(block $inner
(block $block
- (set_local $1
+ (local.set $1
(i32.const -1)
)
(br $inner)
(unreachable)
- (set_local $2
+ (local.set $2
(i32.const 0)
)
(br $outer)
(unreachable)
- (set_local $3
+ (local.set $3
(i32.const 1)
)
)
- (set_local $4
- (get_local $3)
+ (local.set $4
+ (local.get $3)
)
(block $block4
- (set_local $2
+ (local.set $2
(i32.const 2)
)
(br $outer)
(unreachable)
- (set_local $x
+ (local.set $x
(i32.const 3)
)
- (set_local $5
- (get_local $x)
+ (local.set $5
+ (local.get $x)
)
- (set_local $6
- (get_local $5)
+ (local.set $6
+ (local.get $5)
)
)
- (set_local $7
- (get_local $6)
+ (local.set $7
+ (local.get $6)
)
- (set_local $8
+ (local.set $8
(i32.add
- (get_local $4)
- (get_local $7)
+ (local.get $4)
+ (local.get $7)
)
)
- (set_local $1
- (get_local $8)
+ (local.set $1
+ (local.get $8)
)
)
- (set_local $9
- (get_local $1)
+ (local.set $9
+ (local.get $1)
)
- (set_local $2
- (get_local $9)
+ (local.set $2
+ (local.get $9)
)
)
- (set_local $10
- (get_local $2)
+ (local.set $10
+ (local.get $2)
)
(return
- (get_local $10)
+ (local.get $10)
)
)
(func $a9 (; 8 ;) (type $2) (result i32)
@@ -305,35 +305,35 @@
(i32.const -1)
)
(nop)
- (set_local $0
+ (local.set $0
(i32.add
(i32.const 0)
(i32.const 1)
)
)
- (set_local $1
- (get_local $0)
+ (local.set $1
+ (local.get $0)
)
)
- (set_local $2
- (get_local $1)
+ (local.set $2
+ (local.get $1)
)
- (set_local $3
- (get_local $2)
+ (local.set $3
+ (local.get $2)
)
)
- (set_local $4
- (get_local $3)
+ (local.set $4
+ (local.get $3)
)
- (set_local $5
- (get_local $4)
+ (local.set $5
+ (local.get $4)
)
)
- (set_local $6
- (get_local $5)
+ (local.set $6
+ (local.get $5)
)
(return
- (get_local $6)
+ (local.get $6)
)
)
(func $a10 (; 9 ;) (type $2) (result i32)
@@ -349,93 +349,93 @@
(local $9 i32)
(local $10 i32)
(block $outer
- (set_local $1
+ (local.set $1
(i32.const 0)
)
(br_if $outer
(i32.const 1)
)
- (set_local $2
- (get_local $1)
+ (local.set $2
+ (local.get $1)
)
(drop
- (get_local $2)
+ (local.get $2)
)
(nop)
- (set_local $x
+ (local.set $x
(i32.const 2)
)
- (set_local $3
- (get_local $x)
+ (local.set $3
+ (local.get $x)
)
- (set_local $1
- (get_local $3)
+ (local.set $1
+ (local.get $3)
)
(br_if $outer
(i32.const 3)
)
- (set_local $4
- (get_local $1)
+ (local.set $4
+ (local.get $1)
)
(drop
- (get_local $4)
+ (local.get $4)
)
(nop)
- (set_local $x
+ (local.set $x
(i32.const 5)
)
- (set_local $5
- (get_local $x)
+ (local.set $5
+ (local.get $x)
)
- (set_local $1
+ (local.set $1
(i32.const 4)
)
(br_if $outer
- (get_local $5)
+ (local.get $5)
)
- (set_local $6
- (get_local $1)
+ (local.set $6
+ (local.get $1)
)
(drop
- (get_local $6)
+ (local.get $6)
)
(nop)
- (set_local $x
+ (local.set $x
(i32.const 6)
)
- (set_local $7
- (get_local $x)
+ (local.set $7
+ (local.get $x)
)
- (set_local $x
+ (local.set $x
(i32.const 7)
)
- (set_local $8
- (get_local $x)
+ (local.set $8
+ (local.get $x)
)
- (set_local $1
- (get_local $7)
+ (local.set $1
+ (local.get $7)
)
(br_if $outer
- (get_local $8)
+ (local.get $8)
)
- (set_local $9
- (get_local $1)
+ (local.set $9
+ (local.get $1)
)
(drop
- (get_local $9)
+ (local.get $9)
)
(nop)
- (set_local $1
+ (local.set $1
(i32.const 8)
)
(br $outer)
(unreachable)
)
- (set_local $10
- (get_local $1)
+ (local.set $10
+ (local.get $1)
)
(return
- (get_local $10)
+ (local.get $10)
)
)
(func $a11 (; 10 ;) (type $1)
@@ -455,18 +455,18 @@
(local $1 i32)
(if
(i32.const 0)
- (set_local $0
+ (local.set $0
(i32.const 1)
)
- (set_local $0
+ (local.set $0
(i32.const 2)
)
)
- (set_local $1
- (get_local $0)
+ (local.set $1
+ (local.get $0)
)
(return
- (get_local $1)
+ (local.get $1)
)
)
(func $a13 (; 12 ;) (type $2) (result i32)
@@ -477,37 +477,37 @@
(local $4 i32)
(block $x
(block
- (set_local $0
+ (local.set $0
(i32.const 2)
)
- (set_local $1
- (get_local $0)
+ (local.set $1
+ (local.get $0)
)
(br_table $x
(i32.const 0)
)
(if
(unreachable)
- (set_local $2
+ (local.set $2
(i32.const 0)
)
- (set_local $2
+ (local.set $2
(i32.const 1)
)
)
)
- (set_local $3
- (get_local $2)
+ (local.set $3
+ (local.get $2)
)
- (set_local $1
- (get_local $3)
+ (local.set $1
+ (local.get $3)
)
)
- (set_local $4
- (get_local $1)
+ (local.set $4
+ (local.get $1)
)
(return
- (get_local $4)
+ (local.get $4)
)
)
(func $a14 (; 13 ;) (type $2) (result i32)
@@ -515,11 +515,11 @@
(local $1 i32)
(local $2 i32)
(block $block
- (set_local $0
+ (local.set $0
(i32.const 7)
)
- (set_local $1
- (get_local $0)
+ (local.set $1
+ (local.get $0)
)
(br_table $block
(i32.const 1)
@@ -531,11 +531,11 @@
)
(unreachable)
)
- (set_local $2
- (get_local $1)
+ (local.set $2
+ (local.get $1)
)
(return
- (get_local $2)
+ (local.get $2)
)
)
(func $a15 (; 14 ;) (type $1)
@@ -543,13 +543,13 @@
(local $1 f32)
(local $2 f32)
(block
- (set_local $0
+ (local.set $0
(i32.load16_u
(i32.const 53)
)
)
(if
- (get_local $0)
+ (local.get $0)
(block
(unreachable)
(unreachable)
@@ -559,11 +559,11 @@
(unreachable)
(unreachable)
)
- (set_local $2
- (get_local $1)
+ (local.set $2
+ (local.get $1)
)
(drop
- (get_local $2)
+ (local.get $2)
)
(nop)
)
@@ -581,51 +581,51 @@
(local $6 i32)
(local $7 i32)
(block $label$1
- (set_local $x
+ (local.set $x
(i32.const 1)
)
- (set_local $1
- (get_local $x)
+ (local.set $1
+ (local.get $x)
)
(block $label$2
- (set_local $x
+ (local.set $x
(i32.const 0)
)
(nop)
- (set_local $2
+ (local.set $2
(i32.const 0)
)
)
- (set_local $3
- (get_local $2)
+ (local.set $3
+ (local.get $2)
)
- (set_local $4
+ (local.set $4
(i32.eqz
- (get_local $3)
+ (local.get $3)
)
)
- (set_local $5
- (get_local $1)
+ (local.set $5
+ (local.get $1)
)
(br_if $label$1
- (get_local $4)
+ (local.get $4)
)
- (set_local $6
- (get_local $5)
+ (local.set $6
+ (local.get $5)
)
(drop
- (get_local $6)
+ (local.get $6)
)
(nop)
- (set_local $5
+ (local.set $5
(i32.const 0)
)
)
- (set_local $7
- (get_local $5)
+ (local.set $7
+ (local.get $5)
)
(return
- (get_local $7)
+ (local.get $7)
)
)
(func $a17 (; 16 ;) (type $5) (result f32)
@@ -635,33 +635,33 @@
(local $3 f32)
(local $4 f32)
(local $5 f32)
- (set_local $1
- (get_local $var$0)
+ (local.set $1
+ (local.get $var$0)
)
- (set_local $var$0
+ (local.set $var$0
(f32.const -137438953472)
)
- (set_local $2
- (get_local $var$0)
+ (local.set $2
+ (local.get $var$0)
)
- (set_local $3
- (get_local $var$0)
+ (local.set $3
+ (local.get $var$0)
)
- (set_local $4
+ (local.set $4
(select
- (get_local $2)
- (get_local $3)
+ (local.get $2)
+ (local.get $3)
(i32.const 0)
)
)
- (set_local $5
+ (local.set $5
(f32.max
- (get_local $1)
- (get_local $4)
+ (local.get $1)
+ (local.get $4)
)
)
(return
- (get_local $5)
+ (local.get $5)
)
)
(func $a18 (; 17 ;) (type $2) (result i32)
@@ -669,7 +669,7 @@
(local $1 i32)
(block $label$1
(unreachable)
- (set_local $0
+ (local.set $0
(i32.const 1)
)
(br_if $label$1
@@ -684,11 +684,11 @@
)
(unreachable)
)
- (set_local $1
- (get_local $0)
+ (local.set $1
+ (local.get $0)
)
(return
- (get_local $1)
+ (local.get $1)
)
)
(func $a19 (; 18 ;) (type $5) (result f32)
@@ -854,11 +854,11 @@
(unreachable)
(unreachable)
)
- (set_local $2
- (get_local $1)
+ (local.set $2
+ (local.get $1)
)
(drop
- (get_local $2)
+ (local.get $2)
)
(nop)
)
@@ -878,11 +878,11 @@
(unreachable)
(unreachable)
)
- (set_local $4
- (get_local $3)
+ (local.set $4
+ (local.get $3)
)
(drop
- (get_local $4)
+ (local.get $4)
)
(nop)
)
@@ -903,11 +903,11 @@
(unreachable)
(unreachable)
)
- (set_local $6
- (get_local $5)
+ (local.set $6
+ (local.get $5)
)
(drop
- (get_local $6)
+ (local.get $6)
)
(nop)
)
@@ -1377,11 +1377,11 @@
)
(unreachable)
)
- (set_local $1
- (get_local $0)
+ (local.set $1
+ (local.get $0)
)
(return
- (get_local $1)
+ (local.get $1)
)
)
(func $typed-block-remove-br-changes-type (; 24 ;) (type $3) (param $$$0 i32) (result i32)
@@ -1402,22 +1402,22 @@
(nop)
)
(nop)
- (set_local $1
- (get_local $$$0)
+ (local.set $1
+ (local.get $$$0)
)
(return
- (get_local $1)
+ (local.get $1)
)
(unreachable)
(br $switch$7)
(unreachable)
)
(nop)
- (set_local $2
- (get_local $$$0)
+ (local.set $2
+ (local.get $$$0)
)
(return
- (get_local $2)
+ (local.get $2)
)
(unreachable)
)
@@ -1427,11 +1427,11 @@
)
(unreachable)
)
- (set_local $4
- (get_local $3)
+ (local.set $4
+ (local.get $3)
)
(return
- (get_local $4)
+ (local.get $4)
)
)
(func $global (; 25 ;) (type $1)
@@ -1439,14 +1439,14 @@
(block
(unreachable)
(unreachable)
- (set_local $0
- (get_global $x)
+ (local.set $0
+ (global.get $x)
)
(drop
- (get_local $0)
+ (local.get $0)
)
(nop)
- (set_global $x
+ (global.set $x
(i32.const 1)
)
(nop)
@@ -1462,33 +1462,33 @@
)
(unreachable)
(nop)
- (set_local $0
+ (local.set $0
(i32.const 0)
)
)
- (set_local $1
- (get_local $0)
+ (local.set $1
+ (local.get $0)
)
(return
- (get_local $1)
+ (local.get $1)
)
)
(func $unreachable-br (; 27 ;) (type $2) (result i32)
(local $0 i32)
(local $1 i32)
(block $out
- (set_local $0
+ (local.set $0
(i32.const 0)
)
(br $out)
(unreachable)
(unreachable)
)
- (set_local $1
- (get_local $0)
+ (local.set $1
+ (local.get $0)
)
(return
- (get_local $1)
+ (local.get $1)
)
)
(func $unreachable-br-loop (; 28 ;) (type $2) (result i32)
@@ -1513,15 +1513,15 @@
(unreachable)
)
(nop)
- (set_local $0
+ (local.set $0
(i32.const 19)
)
)
- (set_local $1
- (get_local $0)
+ (local.set $1
+ (local.get $0)
)
(return
- (get_local $1)
+ (local.get $1)
)
)
(func $unreachable-block-ends-br_if (; 30 ;) (type $2) (result i32)
@@ -1539,22 +1539,22 @@
(unreachable)
)
(nop)
- (set_local $0
+ (local.set $0
(i32.const 19)
)
)
- (set_local $1
- (get_local $0)
+ (local.set $1
+ (local.get $0)
)
(return
- (get_local $1)
+ (local.get $1)
)
)
(func $unreachable-brs-3 (; 31 ;) (type $2) (result i32)
(local $0 i32)
(local $1 i32)
(block $label$0
- (set_local $0
+ (local.set $0
(i32.const 18)
)
(br $label$0)
@@ -1563,15 +1563,15 @@
)
(unreachable)
(unreachable)
- (set_local $0
+ (local.set $0
(i32.const 21)
)
)
- (set_local $1
- (get_local $0)
+ (local.set $1
+ (local.get $0)
)
(return
- (get_local $1)
+ (local.get $1)
)
)
(func $unreachable-brs-4 (; 32 ;) (type $3) (param $var$0 i32) (result i32)
@@ -1583,7 +1583,7 @@
(block $label$0
(block $label$1
(unreachable)
- (set_local $1
+ (local.set $1
(i32.const 4104)
)
(br_if $label$0
@@ -1594,33 +1594,33 @@
(unreachable)
)
(unreachable)
- (set_local $2
+ (local.set $2
(i32.const 4)
)
)
- (set_local $3
- (get_local $2)
+ (local.set $3
+ (local.get $2)
)
- (set_local $1
- (get_local $3)
+ (local.set $1
+ (local.get $3)
)
(br $label$0)
(unreachable)
- (set_local $1
+ (local.set $1
(i32.const 16)
)
)
- (set_local $4
- (get_local $1)
+ (local.set $4
+ (local.get $1)
)
- (set_local $5
+ (local.set $5
(i32.add
(i32.const 1)
- (get_local $4)
+ (local.get $4)
)
)
(return
- (get_local $5)
+ (local.get $5)
)
)
(func $call-unreach (; 33 ;) (type $4) (param $var$0 i64) (param $var$1 i64) (result i64)
@@ -1641,87 +1641,87 @@
(local $16 i64)
(local $17 i64)
(block
- (set_local $3
- (get_local $var$0)
+ (local.set $3
+ (local.get $var$0)
)
- (set_local $4
+ (local.set $4
(i64.eqz
- (get_local $3)
+ (local.get $3)
)
)
(if
- (get_local $4)
+ (local.get $4)
(block
(block $label$0
- (set_local $5
- (get_local $var$1)
+ (local.set $5
+ (local.get $var$1)
)
- (set_local $6
- (get_local $5)
+ (local.set $6
+ (local.get $5)
)
)
- (set_local $7
- (get_local $6)
+ (local.set $7
+ (local.get $6)
)
- (set_local $16
- (get_local $7)
+ (local.set $16
+ (local.get $7)
)
)
(block
(block $label$1
- (set_local $8
- (get_local $var$0)
+ (local.set $8
+ (local.get $var$0)
)
- (set_local $9
+ (local.set $9
(i64.sub
- (get_local $8)
+ (local.get $8)
(i64.const 1)
)
)
(block $block
- (set_local $10
- (get_local $var$0)
+ (local.set $10
+ (local.get $var$0)
)
- (set_local $2
- (get_local $10)
+ (local.set $2
+ (local.get $10)
)
(nop)
(nop)
- (set_local $11
- (get_local $2)
+ (local.set $11
+ (local.get $2)
)
- (set_local $12
- (get_local $11)
+ (local.set $12
+ (local.get $11)
)
)
- (set_local $13
- (get_local $12)
+ (local.set $13
+ (local.get $12)
)
(unreachable)
(i64.mul
- (get_local $13)
+ (local.get $13)
(unreachable)
)
(call $call-unreach
- (get_local $9)
+ (local.get $9)
(unreachable)
)
(unreachable)
)
- (set_local $15
- (get_local $14)
+ (local.set $15
+ (local.get $14)
)
- (set_local $16
- (get_local $15)
+ (local.set $16
+ (local.get $15)
)
)
)
)
- (set_local $17
- (get_local $16)
+ (local.set $17
+ (local.get $16)
)
(return
- (get_local $17)
+ (local.get $17)
)
)
(func $test-flatten (; 34 ;) (type $1)
@@ -1766,14 +1766,14 @@
(local $38 i32)
(local $39 i32)
(block $out
- (set_local $0
+ (local.set $0
(i32.add
(i32.const 1)
(i32.const 2)
)
)
(drop
- (get_local $0)
+ (local.get $0)
)
(nop)
(br $out)
@@ -1814,109 +1814,109 @@
(i32.const 3)
)
(nop)
- (set_local $1
+ (local.set $1
(i32.const 4)
)
)
- (set_local $2
- (get_local $1)
+ (local.set $2
+ (local.get $1)
)
- (set_local $3
+ (local.set $3
(i32.add
(i32.const 1)
- (get_local $2)
+ (local.get $2)
)
)
(drop
- (get_local $3)
+ (local.get $3)
)
(nop)
(block $in
(block $switch-in
- (set_local $4
+ (local.set $4
(i32.const 2)
)
- (set_local $5
- (get_local $4)
+ (local.set $5
+ (local.get $4)
)
- (set_local $6
- (get_local $4)
+ (local.set $6
+ (local.get $4)
)
(br_table $in $switch-in $in
(i32.const 777)
)
(unreachable)
)
- (set_local $7
- (get_local $6)
+ (local.set $7
+ (local.get $6)
)
(drop
- (get_local $7)
+ (local.get $7)
)
(nop)
- (set_local $5
+ (local.set $5
(i32.const 3)
)
(br $in)
(unreachable)
- (set_local $5
+ (local.set $5
(i32.const 4)
)
)
- (set_local $8
- (get_local $5)
+ (local.set $8
+ (local.get $5)
)
- (set_local $9
+ (local.set $9
(i32.add
(i32.const 1)
- (get_local $8)
+ (local.get $8)
)
)
(drop
- (get_local $9)
+ (local.get $9)
)
(nop)
(loop $loop-in
- (set_local $10
+ (local.set $10
(i32.const 5)
)
)
- (set_local $11
- (get_local $10)
+ (local.set $11
+ (local.get $10)
)
- (set_local $12
+ (local.set $12
(i32.add
(i32.const 1)
- (get_local $11)
+ (local.get $11)
)
)
(drop
- (get_local $12)
+ (local.get $12)
)
(nop)
(if
(i32.const 6)
- (set_local $13
+ (local.set $13
(i32.const 7)
)
- (set_local $13
+ (local.set $13
(i32.const 8)
)
)
- (set_local $14
- (get_local $13)
+ (local.set $14
+ (local.get $13)
)
- (set_local $15
+ (local.set $15
(i32.add
(i32.const 1)
- (get_local $14)
+ (local.get $14)
)
)
(drop
- (get_local $15)
+ (local.get $15)
)
(nop)
- (set_local $16
+ (local.set $16
(select
(i32.const 9)
(i32.const 10)
@@ -1924,7 +1924,7 @@
)
)
(drop
- (get_local $16)
+ (local.get $16)
)
(nop)
(br $out)
@@ -1959,106 +1959,106 @@
(unreachable)
(if
(i32.const 11)
- (set_local $17
+ (local.set $17
(i32.const 12)
)
- (set_local $17
+ (local.set $17
(i32.const 13)
)
)
- (set_local $18
- (get_local $17)
+ (local.set $18
+ (local.get $17)
)
- (set_local $19
+ (local.set $19
(select
- (get_local $18)
+ (local.get $18)
(i32.const 9)
(i32.const 10)
)
)
(drop
- (get_local $19)
+ (local.get $19)
)
(nop)
(if
(i32.const 11)
- (set_local $20
+ (local.set $20
(i32.const 12)
)
- (set_local $20
+ (local.set $20
(i32.const 13)
)
)
- (set_local $21
- (get_local $20)
+ (local.set $21
+ (local.get $20)
)
- (set_local $22
+ (local.set $22
(select
(i32.const 9)
- (get_local $21)
+ (local.get $21)
(i32.const 10)
)
)
(drop
- (get_local $22)
+ (local.get $22)
)
(nop)
(if
(i32.const 11)
- (set_local $23
+ (local.set $23
(i32.const 12)
)
- (set_local $23
+ (local.set $23
(i32.const 13)
)
)
- (set_local $24
- (get_local $23)
+ (local.set $24
+ (local.get $23)
)
- (set_local $25
+ (local.set $25
(select
(i32.const 9)
(i32.const 10)
- (get_local $24)
+ (local.get $24)
)
)
(drop
- (get_local $25)
+ (local.get $25)
)
(nop)
(if
(i32.const 11)
- (set_local $26
+ (local.set $26
(i32.const 12)
)
- (set_local $26
+ (local.set $26
(i32.const 13)
)
)
- (set_local $27
- (get_local $26)
+ (local.set $27
+ (local.get $26)
)
(if
(i32.const 15)
- (set_local $28
+ (local.set $28
(i32.const 16)
)
- (set_local $28
+ (local.set $28
(i32.const 17)
)
)
- (set_local $29
- (get_local $28)
+ (local.set $29
+ (local.get $28)
)
- (set_local $30
+ (local.set $30
(select
- (get_local $27)
+ (local.get $27)
(i32.const 14)
- (get_local $29)
+ (local.get $29)
)
)
(drop
- (get_local $30)
+ (local.get $30)
)
(nop)
(return)
@@ -2082,66 +2082,66 @@
(block
(if
(i32.const 5)
- (set_local $31
+ (local.set $31
(i32.const 6)
)
- (set_local $31
+ (local.set $31
(i32.const 7)
)
)
- (set_local $32
- (get_local $31)
+ (local.set $32
+ (local.get $31)
)
(if
- (get_local $32)
- (set_local $35
+ (local.get $32)
+ (local.set $35
(i32.const 8)
)
(block
(if
(i32.const 9)
- (set_local $33
+ (local.set $33
(i32.const 10)
)
- (set_local $33
+ (local.set $33
(i32.const 11)
)
)
- (set_local $34
- (get_local $33)
+ (local.set $34
+ (local.get $33)
)
- (set_local $35
- (get_local $34)
+ (local.set $35
+ (local.get $34)
)
)
)
)
- (set_local $36
- (get_local $35)
+ (local.set $36
+ (local.get $35)
)
(drop
- (get_local $36)
+ (local.get $36)
)
(nop)
(block $temp
- (set_local $37
+ (local.set $37
(i32.const 1)
)
(br_if $temp
(i32.const 2)
)
- (set_local $38
- (get_local $37)
+ (local.set $38
+ (local.get $37)
)
- (set_local $37
- (get_local $38)
+ (local.set $37
+ (local.get $38)
)
)
- (set_local $39
- (get_local $37)
+ (local.set $39
+ (local.get $37)
)
(drop
- (get_local $39)
+ (local.get $39)
)
(nop)
)
@@ -2162,15 +2162,15 @@
(unreachable)
)
(unreachable)
- (set_local $0
+ (local.set $0
(i32.const 3)
)
)
- (set_local $1
- (get_local $0)
+ (local.set $1
+ (local.get $0)
)
(return
- (get_local $1)
+ (local.get $1)
)
)
(func $unbug (; 36 ;) (type $1)
@@ -2199,31 +2199,31 @@
(local $22 i32)
(block $block
(block
- (set_local $7
- (get_local $12)
+ (local.set $7
+ (local.get $12)
)
- (set_local $8
+ (local.set $8
(i32.eq
- (get_local $7)
+ (local.get $7)
(i32.const 65535)
)
)
(if
- (get_local $8)
+ (local.get $8)
(block
(block $block44
(block $label$78
- (set_local $430
+ (local.set $430
(i32.const 0)
)
(nop)
)
(nop)
- (set_local $9
- (get_local $430)
+ (local.set $9
+ (local.get $430)
)
- (set_local $432
- (get_local $9)
+ (local.set $432
+ (local.get $9)
)
(nop)
)
@@ -2232,49 +2232,49 @@
(block
(block $block45
(block $label$79
- (set_local $10
- (get_local $9)
+ (local.set $10
+ (local.get $9)
)
- (set_local $11
- (get_local $5)
+ (local.set $11
+ (local.get $5)
)
- (set_local $12
- (get_local $12)
+ (local.set $12
+ (local.get $12)
)
- (set_local $13
+ (local.set $13
(i32.mul
- (get_local $12)
+ (local.get $12)
(i32.const 12)
)
)
- (set_local $14
+ (local.set $14
(i32.add
- (get_local $11)
- (get_local $13)
+ (local.get $11)
+ (local.get $13)
)
)
- (set_local $15
+ (local.set $15
(i32.load16_u offset=2
- (get_local $14)
+ (local.get $14)
)
)
- (set_local $16
+ (local.set $16
(i32.lt_u
- (get_local $10)
- (get_local $15)
+ (local.get $10)
+ (local.get $15)
)
)
- (set_local $431
- (get_local $16)
+ (local.set $431
+ (local.get $16)
)
(nop)
)
(nop)
- (set_local $17
- (get_local $431)
+ (local.set $17
+ (local.get $431)
)
- (set_local $432
- (get_local $17)
+ (local.set $432
+ (local.get $17)
)
(nop)
)
@@ -2283,31 +2283,31 @@
)
)
(nop)
- (set_local $433
+ (local.set $433
(i32.const 1)
)
(nop)
- (set_local $18
- (get_local $432)
+ (local.set $18
+ (local.get $432)
)
- (set_local $19
- (get_local $433)
+ (local.set $19
+ (local.get $433)
)
- (set_local $20
+ (local.set $20
(i32.xor
- (get_local $18)
- (get_local $19)
+ (local.get $18)
+ (local.get $19)
)
)
- (set_local $21
- (get_local $20)
+ (local.set $21
+ (local.get $20)
)
)
- (set_local $22
- (get_local $21)
+ (local.set $22
+ (local.get $21)
)
(drop
- (get_local $22)
+ (local.get $22)
)
(nop)
)
@@ -2319,28 +2319,28 @@
(local $5 i32)
(block $block
(block $label$0
- (set_local $1
+ (local.set $1
(i32.const 16)
)
)
- (set_local $2
- (get_local $1)
+ (local.set $2
+ (local.get $1)
)
- (set_local $3
+ (local.set $3
(i32.add
(i32.const 1)
- (get_local $2)
+ (local.get $2)
)
)
- (set_local $4
- (get_local $3)
+ (local.set $4
+ (local.get $3)
)
)
- (set_local $5
- (get_local $4)
+ (local.set $5
+ (local.get $4)
)
(return
- (get_local $5)
+ (local.get $5)
)
)
(func $nested-br_if-with-value (; 38 ;) (type $2) (result i32)
@@ -2353,38 +2353,38 @@
(local $6 i32)
(block $label$0
(block $block
- (set_local $1
- (get_local $0)
+ (local.set $1
+ (local.get $0)
)
- (set_local $2
- (get_local $1)
+ (local.set $2
+ (local.get $1)
)
)
- (set_local $3
- (get_local $2)
+ (local.set $3
+ (local.get $2)
)
- (set_local $4
+ (local.set $4
(i32.const 0)
)
(br_if $label$0
- (get_local $3)
+ (local.get $3)
)
- (set_local $5
- (get_local $4)
+ (local.set $5
+ (local.get $4)
)
(drop
- (get_local $5)
+ (local.get $5)
)
(nop)
- (set_local $4
+ (local.set $4
(i32.const 1)
)
)
- (set_local $6
- (get_local $4)
+ (local.set $6
+ (local.get $4)
)
(return
- (get_local $6)
+ (local.get $6)
)
)
(func $switch-unreachable (; 39 ;) (type $1)
@@ -2409,53 +2409,53 @@
(local $9 i32)
(block $outer
(block $inner
- (set_local $1
+ (local.set $1
(i32.const 0)
)
(br_if $outer
(i32.const 1)
)
- (set_local $2
- (get_local $1)
+ (local.set $2
+ (local.get $1)
)
(block $block
- (set_local $3
+ (local.set $3
(i32.const -16)
)
)
- (set_local $4
- (get_local $3)
+ (local.set $4
+ (local.get $3)
)
- (set_local $5
+ (local.set $5
(call $br_if_order
- (get_local $4)
+ (local.get $4)
)
)
- (set_local $6
- (get_local $2)
+ (local.set $6
+ (local.get $2)
)
(br_if $inner
- (get_local $5)
+ (local.get $5)
)
- (set_local $7
- (get_local $6)
+ (local.set $7
+ (local.get $6)
)
- (set_local $6
- (get_local $7)
+ (local.set $6
+ (local.get $7)
)
)
- (set_local $8
- (get_local $6)
+ (local.set $8
+ (local.get $6)
)
- (set_local $1
- (get_local $8)
+ (local.set $1
+ (local.get $8)
)
)
- (set_local $9
- (get_local $1)
+ (local.set $9
+ (local.get $1)
)
(return
- (get_local $9)
+ (local.get $9)
)
)
(func $tees (; 41 ;) (type $ii) (param $x i32) (param $y i32)
@@ -2463,14 +2463,14 @@
(local $3 i32)
(local $4 i32)
(block
- (set_local $x
+ (local.set $x
(i32.const 1)
)
- (set_local $2
- (get_local $x)
+ (local.set $2
+ (local.get $x)
)
(drop
- (get_local $2)
+ (local.get $2)
)
(nop)
(unreachable)
@@ -2479,20 +2479,20 @@
(unreachable)
)
(unreachable)
- (set_local $x
+ (local.set $x
(i32.const 2)
)
- (set_local $3
- (get_local $x)
+ (local.set $3
+ (local.get $x)
)
- (set_local $y
- (get_local $3)
+ (local.set $y
+ (local.get $3)
)
- (set_local $4
- (get_local $y)
+ (local.set $4
+ (local.get $y)
)
(drop
- (get_local $4)
+ (local.get $4)
)
(nop)
)
@@ -2500,14 +2500,14 @@
)
(func $return (; 42 ;) (type $3) (param $x i32) (result i32)
(local $1 i32)
- (set_local $1
+ (local.set $1
(i32.sub
(i32.const 1)
(i32.const 2)
)
)
(return
- (get_local $1)
+ (local.get $1)
)
(unreachable)
)