summaryrefslogtreecommitdiff
path: root/test/passes
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes')
-rw-r--r--test/passes/coalesce-locals-learning.txt214
-rw-r--r--test/passes/coalesce-locals-learning.wast214
-rw-r--r--test/passes/coalesce-locals.txt194
-rw-r--r--test/passes/coalesce-locals.wast194
-rw-r--r--test/passes/dce.txt12
-rw-r--r--test/passes/dce.wast8
-rw-r--r--test/passes/duplicate-function-elimination.txt2
-rw-r--r--test/passes/duplicate-function-elimination.wast4
-rw-r--r--test/passes/nm.txt2
-rw-r--r--test/passes/nm.wast2
-rw-r--r--test/passes/precompute.txt2
-rw-r--r--test/passes/precompute.wast2
-rw-r--r--test/passes/remove-unused-names.txt45
-rw-r--r--test/passes/remove-unused-names.wast35
-rw-r--r--test/passes/simplify-locals.txt2
-rw-r--r--test/passes/simplify-locals.wast2
-rw-r--r--test/passes/vacuum.wast6
17 files changed, 489 insertions, 451 deletions
diff --git a/test/passes/coalesce-locals-learning.txt b/test/passes/coalesce-locals-learning.txt
index 6ec6f94ae..a9039e4d8 100644
--- a/test/passes/coalesce-locals-learning.txt
+++ b/test/passes/coalesce-locals-learning.txt
@@ -375,17 +375,19 @@
(func $loop (type $2)
(local $0 i32)
(local $1 i32)
- (loop $out $in
- (drop
- (get_local $0)
- )
- (set_local $0
- (i32.const 0)
- )
- (drop
- (get_local $1)
+ (block $out
+ (loop $in
+ (drop
+ (get_local $0)
+ )
+ (set_local $0
+ (i32.const 0)
+ )
+ (drop
+ (get_local $1)
+ )
+ (br $in)
)
- (br $in)
)
)
(func $interfere-in-dead (type $2)
@@ -711,129 +713,135 @@
)
)
(block $block2
- (loop $while-out$0 $while-in$1
- (if
- (i32.eqz
- (i32.and
- (get_local $0)
- (i32.const 3)
- )
- )
- (br $while-out$0)
- )
- (block $block4
+ (block $while-out$0
+ (loop $while-in$1
(if
(i32.eqz
- (get_local $2)
- )
- (return
- (get_local $3)
+ (i32.and
+ (get_local $0)
+ (i32.const 3)
+ )
)
- )
- (i32.store8
- (get_local $0)
- (i32.load8_s
- (get_local $1)
+ (br $while-out$0)
+ )
+ (block $block4
+ (if
+ (i32.eqz
+ (get_local $2)
+ )
+ (return
+ (get_local $3)
+ )
)
- )
- (set_local $0
- (i32.add
+ (i32.store8
(get_local $0)
- (i32.const 1)
+ (i32.load8_s
+ (get_local $1)
+ )
)
- )
- (set_local $1
- (i32.add
- (get_local $1)
- (i32.const 1)
+ (set_local $0
+ (i32.add
+ (get_local $0)
+ (i32.const 1)
+ )
)
- )
- (set_local $2
- (i32.sub
- (get_local $2)
- (i32.const 1)
+ (set_local $1
+ (i32.add
+ (get_local $1)
+ (i32.const 1)
+ )
)
- )
- )
- (br $while-in$1)
- )
- (loop $while-out$2 $while-in$3
- (if
- (i32.eqz
- (i32.ge_s
- (get_local $2)
- (i32.const 4)
+ (set_local $2
+ (i32.sub
+ (get_local $2)
+ (i32.const 1)
+ )
)
)
- (br $while-out$2)
+ (br $while-in$1)
)
- (block $block7
- (i32.store
- (get_local $0)
- (i32.load
- (get_local $1)
+ )
+ (block $while-out$2
+ (loop $while-in$3
+ (if
+ (i32.eqz
+ (i32.ge_s
+ (get_local $2)
+ (i32.const 4)
+ )
)
+ (br $while-out$2)
)
- (set_local $0
- (i32.add
+ (block $block7
+ (i32.store
(get_local $0)
- (i32.const 4)
+ (i32.load
+ (get_local $1)
+ )
)
- )
- (set_local $1
- (i32.add
- (get_local $1)
- (i32.const 4)
+ (set_local $0
+ (i32.add
+ (get_local $0)
+ (i32.const 4)
+ )
)
- )
- (set_local $2
- (i32.sub
- (get_local $2)
- (i32.const 4)
+ (set_local $1
+ (i32.add
+ (get_local $1)
+ (i32.const 4)
+ )
+ )
+ (set_local $2
+ (i32.sub
+ (get_local $2)
+ (i32.const 4)
+ )
)
)
+ (br $while-in$3)
)
- (br $while-in$3)
)
)
)
- (loop $while-out$4 $while-in$5
- (if
- (i32.eqz
- (i32.gt_s
- (get_local $2)
- (i32.const 0)
- )
- )
- (br $while-out$4)
- )
- (block $block9
- (i32.store8
- (get_local $0)
- (i32.load8_s
- (get_local $1)
+ (block $while-out$4
+ (loop $while-in$5
+ (if
+ (i32.eqz
+ (i32.gt_s
+ (get_local $2)
+ (i32.const 0)
+ )
)
+ (br $while-out$4)
)
- (set_local $0
- (i32.add
+ (block $block9
+ (i32.store8
(get_local $0)
- (i32.const 1)
+ (i32.load8_s
+ (get_local $1)
+ )
)
- )
- (set_local $1
- (i32.add
- (get_local $1)
- (i32.const 1)
+ (set_local $0
+ (i32.add
+ (get_local $0)
+ (i32.const 1)
+ )
)
- )
- (set_local $2
- (i32.sub
- (get_local $2)
- (i32.const 1)
+ (set_local $1
+ (i32.add
+ (get_local $1)
+ (i32.const 1)
+ )
+ )
+ (set_local $2
+ (i32.sub
+ (get_local $2)
+ (i32.const 1)
+ )
)
)
+ (br $while-in$5)
)
- (br $while-in$5)
)
(return
(get_local $3)
diff --git a/test/passes/coalesce-locals-learning.wast b/test/passes/coalesce-locals-learning.wast
index 1e82a73b9..469a034ba 100644
--- a/test/passes/coalesce-locals-learning.wast
+++ b/test/passes/coalesce-locals-learning.wast
@@ -384,17 +384,19 @@
(func $loop (type $2)
(local $x i32)
(local $y i32)
- (loop $out $in
- (drop
- (get_local $x)
- )
- (set_local $x
- (i32.const 0)
- )
- (drop
- (get_local $y)
+ (block $out
+ (loop $in
+ (drop
+ (get_local $x)
+ )
+ (set_local $x
+ (i32.const 0)
+ )
+ (drop
+ (get_local $y)
+ )
+ (br $in)
)
- (br $in)
)
)
(func $interfere-in-dead (type $2)
@@ -733,129 +735,135 @@
)
)
(block $block2
- (loop $while-out$0 $while-in$1
- (if
- (i32.eqz
- (i32.and
- (get_local $i1)
- (i32.const 3)
- )
- )
- (br $while-out$0)
- )
- (block $block4
+ (block $while-out$0
+ (loop $while-in$1
(if
(i32.eqz
- (get_local $i3)
- )
- (return
- (get_local $i4)
+ (i32.and
+ (get_local $i1)
+ (i32.const 3)
+ )
)
- )
- (i32.store8
- (get_local $i1)
- (i32.load8_s
- (get_local $i2)
+ (br $while-out$0)
+ )
+ (block $block4
+ (if
+ (i32.eqz
+ (get_local $i3)
+ )
+ (return
+ (get_local $i4)
+ )
)
- )
- (set_local $i1
- (i32.add
+ (i32.store8
(get_local $i1)
- (i32.const 1)
+ (i32.load8_s
+ (get_local $i2)
+ )
)
- )
- (set_local $i2
- (i32.add
- (get_local $i2)
- (i32.const 1)
+ (set_local $i1
+ (i32.add
+ (get_local $i1)
+ (i32.const 1)
+ )
)
- )
- (set_local $i3
- (i32.sub
- (get_local $i3)
- (i32.const 1)
+ (set_local $i2
+ (i32.add
+ (get_local $i2)
+ (i32.const 1)
+ )
)
- )
- )
- (br $while-in$1)
- )
- (loop $while-out$2 $while-in$3
- (if
- (i32.eqz
- (i32.ge_s
- (get_local $i3)
- (i32.const 4)
+ (set_local $i3
+ (i32.sub
+ (get_local $i3)
+ (i32.const 1)
+ )
)
)
- (br $while-out$2)
+ (br $while-in$1)
)
- (block $block7
- (i32.store
- (get_local $i1)
- (i32.load
- (get_local $i2)
+ )
+ (block $while-out$2
+ (loop $while-in$3
+ (if
+ (i32.eqz
+ (i32.ge_s
+ (get_local $i3)
+ (i32.const 4)
+ )
)
+ (br $while-out$2)
)
- (set_local $i1
- (i32.add
+ (block $block7
+ (i32.store
(get_local $i1)
- (i32.const 4)
+ (i32.load
+ (get_local $i2)
+ )
)
- )
- (set_local $i2
- (i32.add
- (get_local $i2)
- (i32.const 4)
+ (set_local $i1
+ (i32.add
+ (get_local $i1)
+ (i32.const 4)
+ )
)
- )
- (set_local $i3
- (i32.sub
- (get_local $i3)
- (i32.const 4)
+ (set_local $i2
+ (i32.add
+ (get_local $i2)
+ (i32.const 4)
+ )
+ )
+ (set_local $i3
+ (i32.sub
+ (get_local $i3)
+ (i32.const 4)
+ )
)
)
+ (br $while-in$3)
)
- (br $while-in$3)
)
)
)
- (loop $while-out$4 $while-in$5
- (if
- (i32.eqz
- (i32.gt_s
- (get_local $i3)
- (i32.const 0)
- )
- )
- (br $while-out$4)
- )
- (block $block9
- (i32.store8
- (get_local $i1)
- (i32.load8_s
- (get_local $i2)
+ (block $while-out$4
+ (loop $while-in$5
+ (if
+ (i32.eqz
+ (i32.gt_s
+ (get_local $i3)
+ (i32.const 0)
+ )
)
+ (br $while-out$4)
)
- (set_local $i1
- (i32.add
+ (block $block9
+ (i32.store8
(get_local $i1)
- (i32.const 1)
+ (i32.load8_s
+ (get_local $i2)
+ )
)
- )
- (set_local $i2
- (i32.add
- (get_local $i2)
- (i32.const 1)
+ (set_local $i1
+ (i32.add
+ (get_local $i1)
+ (i32.const 1)
+ )
)
- )
- (set_local $i3
- (i32.sub
- (get_local $i3)
- (i32.const 1)
+ (set_local $i2
+ (i32.add
+ (get_local $i2)
+ (i32.const 1)
+ )
+ )
+ (set_local $i3
+ (i32.sub
+ (get_local $i3)
+ (i32.const 1)
+ )
)
)
+ (br $while-in$5)
)
- (br $while-in$5)
)
(return
(get_local $i4)
diff --git a/test/passes/coalesce-locals.txt b/test/passes/coalesce-locals.txt
index b8d97b921..3a038ca27 100644
--- a/test/passes/coalesce-locals.txt
+++ b/test/passes/coalesce-locals.txt
@@ -375,7 +375,7 @@
(func $loop (type $2)
(local $0 i32)
(local $1 i32)
- (loop $out $in
+ (loop $in
(drop
(get_local $0)
)
@@ -712,129 +712,135 @@
)
)
(block $block2
- (loop $while-out$0 $while-in$1
- (if
- (i32.eqz
- (i32.and
- (get_local $0)
- (i32.const 3)
- )
- )
- (br $while-out$0)
- )
- (block $block4
+ (block $while-out$0
+ (loop $while-in$1
(if
(i32.eqz
- (get_local $2)
+ (i32.and
+ (get_local $0)
+ (i32.const 3)
+ )
)
- (return
- (get_local $3)
- )
- )
- (i32.store8
- (get_local $0)
- (i32.load8_s
- (get_local $1)
+ (br $while-out$0)
+ )
+ (block $block4
+ (if
+ (i32.eqz
+ (get_local $2)
+ )
+ (return
+ (get_local $3)
+ )
)
- )
- (set_local $0
- (i32.add
+ (i32.store8
(get_local $0)
- (i32.const 1)
+ (i32.load8_s
+ (get_local $1)
+ )
)
- )
- (set_local $1
- (i32.add
- (get_local $1)
- (i32.const 1)
+ (set_local $0
+ (i32.add
+ (get_local $0)
+ (i32.const 1)
+ )
)
- )
- (set_local $2
- (i32.sub
- (get_local $2)
- (i32.const 1)
+ (set_local $1
+ (i32.add
+ (get_local $1)
+ (i32.const 1)
+ )
)
- )
- )
- (br $while-in$1)
- )
- (loop $while-out$2 $while-in$3
- (if
- (i32.eqz
- (i32.ge_s
- (get_local $2)
- (i32.const 4)
+ (set_local $2
+ (i32.sub
+ (get_local $2)
+ (i32.const 1)
+ )
)
)
- (br $while-out$2)
+ (br $while-in$1)
)
- (block $block7
- (i32.store
- (get_local $0)
- (i32.load
- (get_local $1)
+ )
+ (block $while-out$2
+ (loop $while-in$3
+ (if
+ (i32.eqz
+ (i32.ge_s
+ (get_local $2)
+ (i32.const 4)
+ )
)
+ (br $while-out$2)
)
- (set_local $0
- (i32.add
+ (block $block7
+ (i32.store
(get_local $0)
- (i32.const 4)
+ (i32.load
+ (get_local $1)
+ )
)
- )
- (set_local $1
- (i32.add
- (get_local $1)
- (i32.const 4)
+ (set_local $0
+ (i32.add
+ (get_local $0)
+ (i32.const 4)
+ )
)
- )
- (set_local $2
- (i32.sub
- (get_local $2)
- (i32.const 4)
+ (set_local $1
+ (i32.add
+ (get_local $1)
+ (i32.const 4)
+ )
+ )
+ (set_local $2
+ (i32.sub
+ (get_local $2)
+ (i32.const 4)
+ )
)
)
+ (br $while-in$3)
)
- (br $while-in$3)
)
)
)
- (loop $while-out$4 $while-in$5
- (if
- (i32.eqz
- (i32.gt_s
- (get_local $2)
- (i32.const 0)
- )
- )
- (br $while-out$4)
- )
- (block $block9
- (i32.store8
- (get_local $0)
- (i32.load8_s
- (get_local $1)
+ (block $while-out$4
+ (loop $while-in$5
+ (if
+ (i32.eqz
+ (i32.gt_s
+ (get_local $2)
+ (i32.const 0)
+ )
)
+ (br $while-out$4)
)
- (set_local $0
- (i32.add
+ (block $block9
+ (i32.store8
(get_local $0)
- (i32.const 1)
+ (i32.load8_s
+ (get_local $1)
+ )
)
- )
- (set_local $1
- (i32.add
- (get_local $1)
- (i32.const 1)
+ (set_local $0
+ (i32.add
+ (get_local $0)
+ (i32.const 1)
+ )
)
- )
- (set_local $2
- (i32.sub
- (get_local $2)
- (i32.const 1)
+ (set_local $1
+ (i32.add
+ (get_local $1)
+ (i32.const 1)
+ )
+ )
+ (set_local $2
+ (i32.sub
+ (get_local $2)
+ (i32.const 1)
+ )
)
)
+ (br $while-in$5)
)
- (br $while-in$5)
)
(return
(get_local $3)
diff --git a/test/passes/coalesce-locals.wast b/test/passes/coalesce-locals.wast
index 568b3741c..713fd7dd9 100644
--- a/test/passes/coalesce-locals.wast
+++ b/test/passes/coalesce-locals.wast
@@ -384,7 +384,7 @@
(func $loop (type $2)
(local $x i32)
(local $y i32)
- (loop $out $in
+ (loop $in
(drop
(get_local $x)
)
@@ -733,129 +733,135 @@
)
)
(block $block2
- (loop $while-out$0 $while-in$1
- (if
- (i32.eqz
- (i32.and
- (get_local $i1)
- (i32.const 3)
- )
- )
- (br $while-out$0)
- )
- (block $block4
+ (block $while-out$0
+ (loop $while-in$1
(if
(i32.eqz
- (get_local $i3)
+ (i32.and
+ (get_local $i1)
+ (i32.const 3)
+ )
)
- (return
- (get_local $i4)
+ (br $while-out$0)
+ )
+ (block $block4
+ (if
+ (i32.eqz
+ (get_local $i3)
+ )
+ (return
+ (get_local $i4)
+ )
)
- )
- (i32.store8
- (get_local $i1)
- (i32.load8_s
- (get_local $i2)
- )
- )
- (set_local $i1
- (i32.add
+ (i32.store8
(get_local $i1)
- (i32.const 1)
+ (i32.load8_s
+ (get_local $i2)
+ )
)
- )
- (set_local $i2
- (i32.add
- (get_local $i2)
- (i32.const 1)
+ (set_local $i1
+ (i32.add
+ (get_local $i1)
+ (i32.const 1)
+ )
)
- )
- (set_local $i3
- (i32.sub
- (get_local $i3)
- (i32.const 1)
+ (set_local $i2
+ (i32.add
+ (get_local $i2)
+ (i32.const 1)
+ )
)
- )
- )
- (br $while-in$1)
- )
- (loop $while-out$2 $while-in$3
- (if
- (i32.eqz
- (i32.ge_s
- (get_local $i3)
- (i32.const 4)
+ (set_local $i3
+ (i32.sub
+ (get_local $i3)
+ (i32.const 1)
+ )
)
)
- (br $while-out$2)
+ (br $while-in$1)
)
- (block $block7
- (i32.store
- (get_local $i1)
- (i32.load
- (get_local $i2)
+ )
+ (block $while-out$2
+ (loop $while-in$3
+ (if
+ (i32.eqz
+ (i32.ge_s
+ (get_local $i3)
+ (i32.const 4)
+ )
)
+ (br $while-out$2)
)
- (set_local $i1
- (i32.add
+ (block $block7
+ (i32.store
(get_local $i1)
- (i32.const 4)
+ (i32.load
+ (get_local $i2)
+ )
)
- )
- (set_local $i2
- (i32.add
- (get_local $i2)
- (i32.const 4)
+ (set_local $i1
+ (i32.add
+ (get_local $i1)
+ (i32.const 4)
+ )
)
- )
- (set_local $i3
- (i32.sub
- (get_local $i3)
- (i32.const 4)
+ (set_local $i2
+ (i32.add
+ (get_local $i2)
+ (i32.const 4)
+ )
+ )
+ (set_local $i3
+ (i32.sub
+ (get_local $i3)
+ (i32.const 4)
+ )
)
)
+ (br $while-in$3)
)
- (br $while-in$3)
)
)
)
- (loop $while-out$4 $while-in$5
- (if
- (i32.eqz
- (i32.gt_s
- (get_local $i3)
- (i32.const 0)
- )
- )
- (br $while-out$4)
- )
- (block $block9
- (i32.store8
- (get_local $i1)
- (i32.load8_s
- (get_local $i2)
+ (block $while-out$4
+ (loop $while-in$5
+ (if
+ (i32.eqz
+ (i32.gt_s
+ (get_local $i3)
+ (i32.const 0)
+ )
)
+ (br $while-out$4)
)
- (set_local $i1
- (i32.add
+ (block $block9
+ (i32.store8
(get_local $i1)
- (i32.const 1)
+ (i32.load8_s
+ (get_local $i2)
+ )
)
- )
- (set_local $i2
- (i32.add
- (get_local $i2)
- (i32.const 1)
+ (set_local $i1
+ (i32.add
+ (get_local $i1)
+ (i32.const 1)
+ )
)
- )
- (set_local $i3
- (i32.sub
- (get_local $i3)
- (i32.const 1)
+ (set_local $i2
+ (i32.add
+ (get_local $i2)
+ (i32.const 1)
+ )
+ )
+ (set_local $i3
+ (i32.sub
+ (get_local $i3)
+ (i32.const 1)
+ )
)
)
+ (br $while-in$5)
)
- (br $while-in$5)
)
(return
(get_local $i4)
diff --git a/test/passes/dce.txt b/test/passes/dce.txt
index 92fea5c28..6e70cd8de 100644
--- a/test/passes/dce.txt
+++ b/test/passes/dce.txt
@@ -123,16 +123,18 @@
(i32.const 0)
(unreachable)
)
- (loop $out $in
- (br_if $out
- (i32.const 1)
+ (block $out
+ (loop $in
+ (br_if $out
+ (i32.const 1)
+ )
+ (unreachable)
)
- (unreachable)
)
(if
(i32.const 0)
(block $block20
- (loop $out $in
+ (loop $in
(br_if $in
(i32.const 1)
)
diff --git a/test/passes/dce.wast b/test/passes/dce.wast
index 22ae25fbc..61b3138e5 100644
--- a/test/passes/dce.wast
+++ b/test/passes/dce.wast
@@ -194,20 +194,22 @@
)
(if
(i32.const 0)
- (loop $loop-out17 $loop-in18
+ (loop $loop-in18
(unreachable)
)
)
- (loop $out $in
+ (block $out
+ (loop $in
(br_if $out
(i32.const 1)
)
(unreachable)
)
+ )
(if
(i32.const 0)
(block $block20
- (loop $out $in
+ (loop $in
(br_if $in
(i32.const 1)
)
diff --git a/test/passes/duplicate-function-elimination.txt b/test/passes/duplicate-function-elimination.txt
index 022d45052..c37c41fe3 100644
--- a/test/passes/duplicate-function-elimination.txt
+++ b/test/passes/duplicate-function-elimination.txt
@@ -283,7 +283,7 @@
(memory 0)
(type $0 (func))
(func $erase (type $0)
- (loop $foo $bar
+ (loop $bar
(nop)
)
)
diff --git a/test/passes/duplicate-function-elimination.wast b/test/passes/duplicate-function-elimination.wast
index 1e0aaaf33..843e812f9 100644
--- a/test/passes/duplicate-function-elimination.wast
+++ b/test/passes/duplicate-function-elimination.wast
@@ -335,12 +335,12 @@
(memory 0)
(type $0 (func))
(func $erase (type $0)
- (loop $foo $bar
+ (loop $bar
(nop)
)
)
(func $other (type $0)
- (loop $sfo $sjc
+ (loop $sjc
(nop)
)
)
diff --git a/test/passes/nm.txt b/test/passes/nm.txt
index 8e3771ba2..1b12c5cff 100644
--- a/test/passes/nm.txt
+++ b/test/passes/nm.txt
@@ -9,7 +9,7 @@
)
(func $b (type $0)
(drop
- (loop $loop-out0 $loop-in1
+ (loop $loop-in1
(nop)
(i32.const 1000)
)
diff --git a/test/passes/nm.wast b/test/passes/nm.wast
index d75a2b99e..8cea1e648 100644
--- a/test/passes/nm.wast
+++ b/test/passes/nm.wast
@@ -6,7 +6,7 @@
)
(func $b (type $0)
(drop
- (loop $loop-out0 $loop-in1
+ (loop $loop-in1
(nop)
(i32.const 1000)
)
diff --git a/test/passes/precompute.txt b/test/passes/precompute.txt
index 9c40148b6..9825594b6 100644
--- a/test/passes/precompute.txt
+++ b/test/passes/precompute.txt
@@ -20,7 +20,7 @@
(drop
(i32.const 3)
)
- (loop $loop-out0 $in
+ (loop $in
(br $in)
)
)
diff --git a/test/passes/precompute.wast b/test/passes/precompute.wast
index c702f2e8b..808485a34 100644
--- a/test/passes/precompute.wast
+++ b/test/passes/precompute.wast
@@ -38,7 +38,7 @@
(i32.const 1)
)
)
- (loop $loop-out0 $in
+ (loop $in
(br $in)
)
)
diff --git a/test/passes/remove-unused-names.txt b/test/passes/remove-unused-names.txt
index b36ebb622..fa42e8d28 100644
--- a/test/passes/remove-unused-names.txt
+++ b/test/passes/remove-unused-names.txt
@@ -6,42 +6,45 @@
(i32.const 0)
)
(func $loops (type $1)
- (loop $out $in
- (br $out)
- (br $in)
- )
(block $out
- (br $out)
+ (loop $in
+ (br $out)
+ (br $in)
+ )
)
(loop $in
(br $in)
)
- (loop
- (nop)
- )
- (loop
- (loop $out $in
+ (nop)
+ (block $out
+ (loop $in
(br $out)
(br $in)
)
)
- (block
- (loop $out $in
+ (block $out
+ (loop $in
(br $out)
(br $in)
)
)
- (loop $out $in
- (br $out)
- (br $in)
+ (loop $in
+ (block $out
+ (br $out)
+ (br $in)
+ )
)
- (loop $out $in
- (br $out)
- (br $in)
+ (loop $in
+ (block $out
+ (br $out)
+ (br $in)
+ )
)
- (loop $out $in
- (br $out)
- (br $in)
+ (block $out
+ (loop $in
+ (br $out)
+ (br $in)
+ )
)
)
(func $merges (type $1)
diff --git a/test/passes/remove-unused-names.wast b/test/passes/remove-unused-names.wast
index 4b3365bf8..c8efa0c15 100644
--- a/test/passes/remove-unused-names.wast
+++ b/test/passes/remove-unused-names.wast
@@ -8,45 +8,48 @@
)
)
(func $loops (type $1)
- (loop $out $in
- (br $out)
- (br $in)
- )
- (loop $out $in
- (br $out)
+ (block $out
+ (loop $in
+ (br $out)
+ (br $in)
+ )
)
- (loop $out $in
+ (loop $in
(br $in)
)
- (loop $out $in
+ (loop $in
(nop)
)
- (loop $out $in
- (loop $out $in
- (br $out)
- (br $in)
+ (block $out
+ (loop $in
+ (block $out
+ (loop $in
+ (br $out)
+ (br $in)
+ )
+ )
)
)
(block $out
- (loop $out $in
+ (loop $in
(br $out)
(br $in)
)
)
- (loop $out $in
+ (loop $in
(block $out
(br $out)
(br $in)
)
)
- (loop $loop-out0 $in
+ (loop $in
(block $out
(br $out)
(br $in)
)
)
(block $out
- (loop $loop-out1 $in
+ (loop $in
(br $out)
(br $in)
)
diff --git a/test/passes/simplify-locals.txt b/test/passes/simplify-locals.txt
index f2425b364..60e07f3fb 100644
--- a/test/passes/simplify-locals.txt
+++ b/test/passes/simplify-locals.txt
@@ -319,7 +319,7 @@
(i32.const 1337)
)
(drop
- (loop $loop-out4 $loop-in5
+ (loop $loop-in5
(drop
(get_local $a)
)
diff --git a/test/passes/simplify-locals.wast b/test/passes/simplify-locals.wast
index 07d7ccd03..d74ebe054 100644
--- a/test/passes/simplify-locals.wast
+++ b/test/passes/simplify-locals.wast
@@ -366,7 +366,7 @@
(i32.const 1337)
)
(drop
- (loop $loop-out4 $loop-in5
+ (loop $loop-in5
(drop
(get_local $a)
)
diff --git a/test/passes/vacuum.wast b/test/passes/vacuum.wast
index 7dc77eac6..7b8d6a08a 100644
--- a/test/passes/vacuum.wast
+++ b/test/passes/vacuum.wast
@@ -99,15 +99,15 @@
)
)
(func $loopy (type $1) (param $0 i32)
- (loop $loop-out0 $loop-in1
+ (loop $loop-in1
(nop)
)
- (loop $loop-out2 $loop-in3
+ (loop $loop-in3
(nop)
(nop)
)
(drop
- (loop $loop-out4 $loop-in5
+ (loop $loop-in5
(drop
(get_local $0)
)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-06 22:40:29 +0000