blob: 8de1e93fab5cd7d488c67005fc8dee11e01f608f (
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 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 $eqref_=>_none) (param $x eqref)
(module
(func $foo (param $x eqref)
(nop)
)
)
|
