diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/wat-kitchen-sink.wast | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/test/lit/wat-kitchen-sink.wast b/test/lit/wat-kitchen-sink.wast index 90d5d5b41..4b5ec740b 100644 --- a/test/lit/wat-kitchen-sink.wast +++ b/test/lit/wat-kitchen-sink.wast @@ -3,16 +3,27 @@ ;; RUN: wasm-opt --new-wat-parser -all %s -S -o - | filecheck %s (module $parse + ;; types + ;; CHECK: (type $void (func)) + (type $void (func)) + ;; CHECK: (type $many (func (param i32 i64 f32 f64) (result anyref (ref func)))) + (type $many (func (param $x i32) (param i64 f32) (param) (param $y f64) + (result anyref (ref func)))) ;; globals (global $g1 (export "g1") (export "g1.1") (import "mod" "g1") i32) (global $g2 (import "mod" "g2") (mut i64)) - + (global (import "" "g3") (ref 0)) + (global (import "mod" "") (ref null $many)) ) ;; CHECK: (import "mod" "g1" (global $g1 i32)) ;; CHECK: (import "mod" "g2" (global $g2 (mut i64))) +;; CHECK: (import "" "g3" (global $gimport$0 (ref $void))) + +;; CHECK: (import "mod" "" (global $gimport$1 (ref null $many))) + ;; CHECK: (export "g1" (global $g1)) ;; CHECK: (export "g1.1" (global $g1)) |