summaryrefslogtreecommitdiff
path: root/test/lit/passes/gufa-ssa.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/passes/gufa-ssa.wast')
-rw-r--r--test/lit/passes/gufa-ssa.wast12
1 files changed, 8 insertions, 4 deletions
diff --git a/test/lit/passes/gufa-ssa.wast b/test/lit/passes/gufa-ssa.wast
index c97e30a62..355999f61 100644
--- a/test/lit/passes/gufa-ssa.wast
+++ b/test/lit/passes/gufa-ssa.wast
@@ -40,8 +40,10 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: (if
;; CHECK-NEXT: (i32.const 30)
- ;; CHECK-NEXT: (local.set $y
- ;; CHECK-NEXT: (i32.const 50)
+ ;; CHECK-NEXT: (then
+ ;; CHECK-NEXT: (local.set $y
+ ;; CHECK-NEXT: (i32.const 50)
+ ;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
@@ -89,8 +91,10 @@
)
(if
(local.get $x)
- (local.set $y
- (i32.const 50)
+ (then
+ (local.set $y
+ (i32.const 50)
+ )
)
)
;; x is the same but y is no longer optimizable, since it might contain 50.