summaryrefslogtreecommitdiff
path: root/test/lit/passes/local-cse_all-features.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/passes/local-cse_all-features.wast')
-rw-r--r--test/lit/passes/local-cse_all-features.wast18
1 files changed, 7 insertions, 11 deletions
diff --git a/test/lit/passes/local-cse_all-features.wast b/test/lit/passes/local-cse_all-features.wast
index 5d9184e8e..fd1af725b 100644
--- a/test/lit/passes/local-cse_all-features.wast
+++ b/test/lit/passes/local-cse_all-features.wast
@@ -148,22 +148,18 @@
)
;; CHECK: (func $non-nullable-value (param $ref (ref $A))
- ;; CHECK-NEXT: (local $1 (ref null $A))
+ ;; CHECK-NEXT: (local $1 (ref $A))
;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (ref.as_non_null
- ;; CHECK-NEXT: (local.tee $1
- ;; CHECK-NEXT: (select (result (ref $A))
- ;; CHECK-NEXT: (local.get $ref)
- ;; CHECK-NEXT: (local.get $ref)
- ;; CHECK-NEXT: (i32.const 1)
- ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (local.tee $1
+ ;; CHECK-NEXT: (select (result (ref $A))
+ ;; CHECK-NEXT: (local.get $ref)
+ ;; CHECK-NEXT: (local.get $ref)
+ ;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (ref.as_non_null
- ;; CHECK-NEXT: (local.get $1)
- ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (local.get $1)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $non-nullable-value (param $ref (ref $A))