summaryrefslogtreecommitdiff
path: root/test/passes/remove-unused-brs_shrink-level=1.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/remove-unused-brs_shrink-level=1.wast')
-rw-r--r--test/passes/remove-unused-brs_shrink-level=1.wast36
1 files changed, 26 insertions, 10 deletions
diff --git a/test/passes/remove-unused-brs_shrink-level=1.wast b/test/passes/remove-unused-brs_shrink-level=1.wast
index 2033ffd7c..ce141c430 100644
--- a/test/passes/remove-unused-brs_shrink-level=1.wast
+++ b/test/passes/remove-unused-brs_shrink-level=1.wast
@@ -7,33 +7,49 @@
(drop
(if (result i32) ;; with shrinking, this can become a select
(i32.const 1)
- (block $block1 (result i32)
- (i32.const 12)
+ (then
+ (block $block1 (result i32)
+ (i32.const 12)
+ )
)
- (block $block3 (result i32)
- (i32.const 27)
+ (else
+ (block $block3 (result i32)
+ (i32.const 27)
+ )
)
)
)
(drop
(if (result i32)
(i32.const 1)
- (i32.load (i32.const 10)) ;; load may have side effects, unless ignored
- (i32.const 27)
+ (then
+ (i32.load (i32.const 10)) ;; load may have side effects, unless ignored
+ )
+ (else
+ (i32.const 27)
+ )
)
)
(drop
(if (result i32)
(i32.const 1)
- (i32.rem_s (i32.const 11) (i32.const 12)) ;; rem may have side effects, unless ignored
- (i32.const 27)
+ (then
+ (i32.rem_s (i32.const 11) (i32.const 12)) ;; rem may have side effects, unless ignored
+ )
+ (else
+ (i32.const 27)
+ )
)
)
(drop
(if (result i32)
(i32.const 1)
- (i32.trunc_f64_u (f64.const 12.34)) ;; float to int may have side effects, unless ignored
- (i32.const 27)
+ (then
+ (i32.trunc_f64_u (f64.const 12.34)) ;; float to int may have side effects, unless ignored
+ )
+ (else
+ (i32.const 27)
+ )
)
)
(i32.const 0)