summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/lld/hello_world.wast.membin0 -> 581 bytes
-rw-r--r--test/passes/remove-unused-brs.txt38
-rw-r--r--test/passes/remove-unused-brs.wast21
3 files changed, 51 insertions, 8 deletions
diff --git a/test/lld/hello_world.wast.mem b/test/lld/hello_world.wast.mem
new file mode 100644
index 000000000..674c410a9
--- /dev/null
+++ b/test/lld/hello_world.wast.mem
Binary files differ
diff --git a/test/passes/remove-unused-brs.txt b/test/passes/remove-unused-brs.txt
index daa7eca3c..48cfad529 100644
--- a/test/passes/remove-unused-brs.txt
+++ b/test/passes/remove-unused-brs.txt
@@ -938,15 +938,16 @@
(loop $typed (result i32)
(block $outer (result i32)
(block (result i32)
- (if (result i32)
- (i32.const 2)
- (block $block (result i32)
- (drop
- (call $loop-if)
- )
- (i32.const 0)
+ (br_if $typed
+ (i32.eqz
+ (i32.const 2)
)
- (br $typed)
+ )
+ (block $block (result i32)
+ (drop
+ (call $loop-if)
+ )
+ (i32.const 0)
)
)
)
@@ -2382,4 +2383,25 @@
(br $top)
)
)
+ (func $loop-end-set (; 111 ;) (type $10) (param $x i32) (result i32)
+ (loop $loop
+ (nop)
+ (br_if $loop
+ (get_local $x)
+ )
+ (set_local $x
+ (i32.const 1)
+ )
+ )
+ (get_local $x)
+ )
+ (func $loop-end-value (; 112 ;) (type $10) (param $x i32) (result i32)
+ (loop $loop (result i32)
+ (nop)
+ (br_if $loop
+ (get_local $x)
+ )
+ (i32.const 1)
+ )
+ )
)
diff --git a/test/passes/remove-unused-brs.wast b/test/passes/remove-unused-brs.wast
index fe195317d..9d53f4fda 100644
--- a/test/passes/remove-unused-brs.wast
+++ b/test/passes/remove-unused-brs.wast
@@ -1990,5 +1990,26 @@
(br $top)
)
)
+ (func $loop-end-set (param $x i32) (result i32)
+ (loop $loop
+ (nop)
+ (if
+ (get_local $x)
+ (br $loop)
+ (set_local $x (i32.const 1))
+ )
+ )
+ (get_local $x)
+ )
+ (func $loop-end-value (param $x i32) (result i32)
+ (loop $loop (result i32)
+ (nop)
+ (if (result i32)
+ (get_local $x)
+ (br $loop)
+ (i32.const 1)
+ )
+ )
+ )
)