summaryrefslogtreecommitdiff
path: root/test/lit/validation/elem-type.wast
blob: c98593abafde30fc6c299ab108a3f0e8775e45fd (plain)
1
2
3
4
5
6
7
8
9
10
11
12
;; Test that the features required by element segment types are checked

;; RUN: not wasm-opt %s -all --disable-shared-everything 2>&1 | filecheck %s --check-prefix NO-SHARED
;; RUN: wasm-opt %s -all -S -o - | filecheck %s --check-prefix SHARED

;; NO-SHARED: element segment type requires additional features
;; NO-SHARED: [--enable-shared-everything]
;; SHARED: (elem $e (ref null (shared func)))

(module
  (elem $e (ref null (shared func)))
)