blob: 3c636592f9cc53e059db094b166ec1a4af1d2286 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
;; Test for eqref validating only with GC, and not just reference types, even
;; when only declared in a null.
;; RUN: not wasm-opt --enable-reference-types %s -o - -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: all used types should be allowed
;; GC: (func $foo (type $0) (param $x eqref)
(module
(func $foo (param $x eqref)
(nop)
)
)
|
