summaryrefslogtreecommitdiff
path: root/test/lit/validation/eqref.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/validation/eqref.wast')
-rw-r--r--test/lit/validation/eqref.wast12
1 files changed, 4 insertions, 8 deletions
diff --git a/test/lit/validation/eqref.wast b/test/lit/validation/eqref.wast
index 78b6e75d2..4c97ad39b 100644
--- a/test/lit/validation/eqref.wast
+++ b/test/lit/validation/eqref.wast
@@ -4,16 +4,12 @@
;; RUN: not wasm-opt --enable-reference-types %s 2>&1 | filecheck %s --check-prefix NO-GC
;; RUN: wasm-opt --enable-reference-types --enable-gc %s -o - -S | filecheck %s --check-prefix GC
-;; NO-GC: ref.null type should be allowed
+;; NO-GC: all used types should be allowed
-;; GC: (drop
-;; GC: (ref.null eq)
-;; GC: )
+;; GC: (func $foo (param $x eqref)
(module
- (func $foo
- (drop
- (ref.null eq)
- )
+ (func $foo (param $x eqref)
+ (nop)
)
)