blob: 78b6e75d2b257fac8c23b01627a00f89b35458d1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
;; 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: ref.null type should be allowed
;; GC: (drop
;; GC: (ref.null eq)
;; GC: )
(module
(func $foo
(drop
(ref.null eq)
)
)
)
|
