summaryrefslogtreecommitdiff
path: root/test/lit/validation/nn-tuples.wast
blob: 452a6c77e1ef4966ac04c0bea1dde88d00c7bda4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
;; Test for non-nullable types in tuples

;; RUN: not wasm-opt -all %s 2>&1 | filecheck %s --check-prefix NO-NN-LOCALS
;; RUN:     wasm-opt -all %s --enable-gc-nn-locals -o - -S | filecheck %s --check-prefix NN-LOCALS

;; NO-NN-LOCALS: vars must be defaultable

;; NN-LOCALS: (module
;; NN-LOCALS:  (local $tuple ((ref any) (ref any)))
;; NN-LOCALS:  (nop)
;; NN-LOCALS: )

(module
  (func $foo
    (local $tuple ((ref any) (ref any)))
  )
)