summaryrefslogtreecommitdiff
path: root/test/lit/passes/optimize-instructions-gc.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/passes/optimize-instructions-gc.wast')
-rw-r--r--test/lit/passes/optimize-instructions-gc.wast18
1 files changed, 9 insertions, 9 deletions
diff --git a/test/lit/passes/optimize-instructions-gc.wast b/test/lit/passes/optimize-instructions-gc.wast
index 954cb1999..21d6291a9 100644
--- a/test/lit/passes/optimize-instructions-gc.wast
+++ b/test/lit/passes/optimize-instructions-gc.wast
@@ -89,7 +89,7 @@
)
;; Stored values automatically truncate unneeded bytes.
- ;; CHECK: (func $store-trunc (type $10) (param $x (ref null $struct))
+ ;; CHECK: (func $store-trunc (type $11) (param $x (ref null $struct))
;; CHECK-NEXT: (struct.set $struct $i8
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: (i32.const 35)
@@ -402,7 +402,7 @@
(unreachable)
)
- ;; CHECK: (func $ref-eq (type $9) (param $x eqref) (param $y eqref)
+ ;; CHECK: (func $ref-eq (type $10) (param $x eqref) (param $y eqref)
;; CHECK-NEXT: (local $lx eqref)
;; CHECK-NEXT: (local $ly eqref)
;; CHECK-NEXT: (drop
@@ -920,7 +920,7 @@
)
)
- ;; CHECK: (func $ref-eq-possible (type $9) (param $x eqref) (param $y eqref)
+ ;; CHECK: (func $ref-eq-possible (type $10) (param $x eqref) (param $y eqref)
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (ref.eq
;; CHECK-NEXT: (ref.cast (ref null $struct)
@@ -947,7 +947,7 @@
)
)
- ;; CHECK: (func $ref-eq-impossible (type $9) (param $x eqref) (param $y eqref)
+ ;; CHECK: (func $ref-eq-impossible (type $10) (param $x eqref) (param $y eqref)
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (block (result i32)
;; CHECK-NEXT: (drop
@@ -1039,7 +1039,7 @@
)
)
- ;; CHECK: (func $ref-eq-possible-b (type $9) (param $x eqref) (param $y eqref)
+ ;; CHECK: (func $ref-eq-possible-b (type $10) (param $x eqref) (param $y eqref)
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (ref.eq
;; CHECK-NEXT: (ref.cast (ref $A)
@@ -1144,7 +1144,7 @@
)
)
- ;; CHECK: (func $incompatible-cast-of-null (type $10) (param $x (ref null $struct))
+ ;; CHECK: (func $incompatible-cast-of-null (type $11) (param $x (ref null $struct))
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
@@ -1179,7 +1179,7 @@
)
)
- ;; CHECK: (func $incompatible-cast-of-unknown (type $10) (param $struct (ref null $struct))
+ ;; CHECK: (func $incompatible-cast-of-unknown (type $11) (param $struct (ref null $struct))
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (ref.cast nullref
;; CHECK-NEXT: (local.get $struct)
@@ -1194,7 +1194,7 @@
)
)
- ;; CHECK: (func $incompatible-test (type $10) (param $struct (ref null $struct))
+ ;; CHECK: (func $incompatible-test (type $11) (param $struct (ref null $struct))
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (block (result i32)
;; CHECK-NEXT: (drop
@@ -2214,7 +2214,7 @@
)
)
- ;; CHECK: (func $ref-boolean (type $9) (param $x eqref) (param $y eqref)
+ ;; CHECK: (func $ref-boolean (type $10) (param $x eqref) (param $y eqref)
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (ref.eq
;; CHECK-NEXT: (local.get $x)