summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/emcc_O2_hello_world.fromasm12
-rw-r--r--test/emcc_O2_hello_world.fromasm.imprecise12
-rw-r--r--test/emcc_hello_world.fromasm64
-rw-r--r--test/emcc_hello_world.fromasm.imprecise64
-rw-r--r--test/example/c-api-kitchen-sink.txt16
-rw-r--r--test/example/c-api-kitchen-sink.txt.txt8
-rw-r--r--test/memorygrowth.fromasm12
-rw-r--r--test/memorygrowth.fromasm.imprecise12
-rw-r--r--test/passes/remove-unused-brs.txt8
-rw-r--r--test/passes/remove-unused-brs.wast8
-rw-r--r--test/unit.fromasm10
-rw-r--r--test/unit.fromasm.imprecise10
12 files changed, 139 insertions, 97 deletions
diff --git a/test/emcc_O2_hello_world.fromasm b/test/emcc_O2_hello_world.fromasm
index b8e25baa5..072d9f97f 100644
--- a/test/emcc_O2_hello_world.fromasm
+++ b/test/emcc_O2_hello_world.fromasm
@@ -4674,11 +4674,13 @@
)
)
(block i32
- (br_if $do-once$67
- (i32.const 31)
- (i32.gt_u
- (get_local $15)
- (i32.const 16777215)
+ (drop
+ (br_if $do-once$67
+ (i32.const 31)
+ (i32.gt_u
+ (get_local $15)
+ (i32.const 16777215)
+ )
)
)
(i32.or
diff --git a/test/emcc_O2_hello_world.fromasm.imprecise b/test/emcc_O2_hello_world.fromasm.imprecise
index f2b2c401c..233a485b8 100644
--- a/test/emcc_O2_hello_world.fromasm.imprecise
+++ b/test/emcc_O2_hello_world.fromasm.imprecise
@@ -4672,11 +4672,13 @@
)
)
(block i32
- (br_if $do-once$67
- (i32.const 31)
- (i32.gt_u
- (get_local $15)
- (i32.const 16777215)
+ (drop
+ (br_if $do-once$67
+ (i32.const 31)
+ (i32.gt_u
+ (get_local $15)
+ (i32.const 16777215)
+ )
)
)
(i32.or
diff --git a/test/emcc_hello_world.fromasm b/test/emcc_hello_world.fromasm
index 24f6d4f75..a12c7fe56 100644
--- a/test/emcc_hello_world.fromasm
+++ b/test/emcc_hello_world.fromasm
@@ -4607,15 +4607,17 @@
(i32.const 1)
)
(block i32
- (br_if $do-once$64
- (get_local $6)
- (i32.and
- (get_local $16)
+ (drop
+ (br_if $do-once$64
+ (get_local $6)
(i32.and
- (get_local $12)
- (f64.eq
- (get_local $14)
- (f64.const 0)
+ (get_local $16)
+ (i32.and
+ (get_local $12)
+ (f64.eq
+ (get_local $14)
+ (f64.const 0)
+ )
)
)
)
@@ -4965,10 +4967,12 @@
)
)
)
- (br_if $do-once$70
- (get_local $9)
- (i32.eqz
- (get_local $5)
+ (drop
+ (br_if $do-once$70
+ (get_local $9)
+ (i32.eqz
+ (get_local $5)
+ )
)
)
(i32.store
@@ -5175,10 +5179,12 @@
)
)
)
- (br_if $do-once$78
- (get_local $5)
- (i32.eqz
- (get_local $9)
+ (drop
+ (br_if $do-once$78
+ (get_local $5)
+ (i32.eqz
+ (get_local $9)
+ )
)
)
(i32.store
@@ -5513,13 +5519,15 @@
(if
(get_local $30)
(block f64
- (br_if $do-once$90
- (get_local $22)
- (i32.ne
- (i32.load8_s
- (get_local $36)
+ (drop
+ (br_if $do-once$90
+ (get_local $22)
+ (i32.ne
+ (i32.load8_s
+ (get_local $36)
+ )
+ (i32.const 45)
)
- (i32.const 45)
)
)
(set_local $14
@@ -12607,11 +12615,13 @@
)
)
(block i32
- (br_if $do-once$69
- (i32.const 31)
- (i32.gt_u
- (get_local $2)
- (i32.const 16777215)
+ (drop
+ (br_if $do-once$69
+ (i32.const 31)
+ (i32.gt_u
+ (get_local $2)
+ (i32.const 16777215)
+ )
)
)
(i32.or
diff --git a/test/emcc_hello_world.fromasm.imprecise b/test/emcc_hello_world.fromasm.imprecise
index c6123841a..75534025e 100644
--- a/test/emcc_hello_world.fromasm.imprecise
+++ b/test/emcc_hello_world.fromasm.imprecise
@@ -4600,15 +4600,17 @@
(i32.const 1)
)
(block i32
- (br_if $do-once$64
- (get_local $6)
- (i32.and
- (get_local $16)
+ (drop
+ (br_if $do-once$64
+ (get_local $6)
(i32.and
- (get_local $12)
- (f64.eq
- (get_local $14)
- (f64.const 0)
+ (get_local $16)
+ (i32.and
+ (get_local $12)
+ (f64.eq
+ (get_local $14)
+ (f64.const 0)
+ )
)
)
)
@@ -4958,10 +4960,12 @@
)
)
)
- (br_if $do-once$70
- (get_local $9)
- (i32.eqz
- (get_local $5)
+ (drop
+ (br_if $do-once$70
+ (get_local $9)
+ (i32.eqz
+ (get_local $5)
+ )
)
)
(i32.store
@@ -5168,10 +5172,12 @@
)
)
)
- (br_if $do-once$78
- (get_local $5)
- (i32.eqz
- (get_local $9)
+ (drop
+ (br_if $do-once$78
+ (get_local $5)
+ (i32.eqz
+ (get_local $9)
+ )
)
)
(i32.store
@@ -5506,13 +5512,15 @@
(if
(get_local $30)
(block f64
- (br_if $do-once$90
- (get_local $22)
- (i32.ne
- (i32.load8_s
- (get_local $36)
+ (drop
+ (br_if $do-once$90
+ (get_local $22)
+ (i32.ne
+ (i32.load8_s
+ (get_local $36)
+ )
+ (i32.const 45)
)
- (i32.const 45)
)
)
(set_local $14
@@ -12600,11 +12608,13 @@
)
)
(block i32
- (br_if $do-once$69
- (i32.const 31)
- (i32.gt_u
- (get_local $2)
- (i32.const 16777215)
+ (drop
+ (br_if $do-once$69
+ (i32.const 31)
+ (i32.gt_u
+ (get_local $2)
+ (i32.const 16777215)
+ )
)
)
(i32.or
diff --git a/test/example/c-api-kitchen-sink.txt b/test/example/c-api-kitchen-sink.txt
index 41d64089e..28d7b759b 100644
--- a/test/example/c-api-kitchen-sink.txt
+++ b/test/example/c-api-kitchen-sink.txt
@@ -422,9 +422,11 @@ BinaryenFloat64: 4
(i32.const 0)
)
)
- (br_if $the-value
- (i32.const 1)
- (i32.const 0)
+ (drop
+ (br_if $the-value
+ (i32.const 1)
+ (i32.const 0)
+ )
)
(br_if $the-nothing
(i32.const 2)
@@ -2013,9 +2015,11 @@ int main() {
(i32.const 0)
)
)
- (br_if $the-value
- (i32.const 1)
- (i32.const 0)
+ (drop
+ (br_if $the-value
+ (i32.const 1)
+ (i32.const 0)
+ )
)
(br_if $the-nothing
(i32.const 2)
diff --git a/test/example/c-api-kitchen-sink.txt.txt b/test/example/c-api-kitchen-sink.txt.txt
index 10a698717..f66b714eb 100644
--- a/test/example/c-api-kitchen-sink.txt.txt
+++ b/test/example/c-api-kitchen-sink.txt.txt
@@ -417,9 +417,11 @@
(i32.const 0)
)
)
- (br_if $the-value
- (i32.const 1)
- (i32.const 0)
+ (drop
+ (br_if $the-value
+ (i32.const 1)
+ (i32.const 0)
+ )
)
(br_if $the-nothing
(i32.const 2)
diff --git a/test/memorygrowth.fromasm b/test/memorygrowth.fromasm
index a07d71fd4..7efde4442 100644
--- a/test/memorygrowth.fromasm
+++ b/test/memorygrowth.fromasm
@@ -4730,11 +4730,13 @@
)
)
(block i32
- (br_if $do-once$67
- (i32.const 31)
- (i32.gt_u
- (get_local $14)
- (i32.const 16777215)
+ (drop
+ (br_if $do-once$67
+ (i32.const 31)
+ (i32.gt_u
+ (get_local $14)
+ (i32.const 16777215)
+ )
)
)
(i32.or
diff --git a/test/memorygrowth.fromasm.imprecise b/test/memorygrowth.fromasm.imprecise
index ea085352f..1a93b6e60 100644
--- a/test/memorygrowth.fromasm.imprecise
+++ b/test/memorygrowth.fromasm.imprecise
@@ -4728,11 +4728,13 @@
)
)
(block i32
- (br_if $do-once$67
- (i32.const 31)
- (i32.gt_u
- (get_local $14)
- (i32.const 16777215)
+ (drop
+ (br_if $do-once$67
+ (i32.const 31)
+ (i32.gt_u
+ (get_local $14)
+ (i32.const 16777215)
+ )
)
)
(i32.or
diff --git a/test/passes/remove-unused-brs.txt b/test/passes/remove-unused-brs.txt
index 3c51c8f99..da19d7ac8 100644
--- a/test/passes/remove-unused-brs.txt
+++ b/test/passes/remove-unused-brs.txt
@@ -152,9 +152,11 @@
(drop
(i32.const 12)
)
- (br_if $topmost
- (i32.const 1)
- (i32.const 1)
+ (drop
+ (br_if $topmost
+ (i32.const 1)
+ (i32.const 1)
+ )
)
)
(block $block3
diff --git a/test/passes/remove-unused-brs.wast b/test/passes/remove-unused-brs.wast
index 995ab2d3a..50d936dc7 100644
--- a/test/passes/remove-unused-brs.wast
+++ b/test/passes/remove-unused-brs.wast
@@ -158,9 +158,11 @@
(drop
(i32.const 12)
)
- (br_if $topmost
- (i32.const 1)
- (i32.const 1)
+ (drop
+ (br_if $topmost
+ (i32.const 1)
+ (i32.const 1)
+ )
)
)
(block $block3
diff --git a/test/unit.fromasm b/test/unit.fromasm
index ea0ff0843..fe8b616f4 100644
--- a/test/unit.fromasm
+++ b/test/unit.fromasm
@@ -493,10 +493,12 @@
)
(func $phi (result i32)
(block $do-once$0 i32
- (br_if $do-once$0
- (i32.const 0)
- (call $lb
- (i32.const 1)
+ (drop
+ (br_if $do-once$0
+ (i32.const 0)
+ (call $lb
+ (i32.const 1)
+ )
)
)
(i32.const 1)
diff --git a/test/unit.fromasm.imprecise b/test/unit.fromasm.imprecise
index 5ea81aad3..8752f179a 100644
--- a/test/unit.fromasm.imprecise
+++ b/test/unit.fromasm.imprecise
@@ -474,10 +474,12 @@
)
(func $phi (result i32)
(block $do-once$0 i32
- (br_if $do-once$0
- (i32.const 0)
- (call $lb
- (i32.const 1)
+ (drop
+ (br_if $do-once$0
+ (i32.const 0)
+ (call $lb
+ (i32.const 1)
+ )
)
)
(i32.const 1)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-12 18:39:48 +0000