summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/lit/validation/imports.wast9
1 files changed, 9 insertions, 0 deletions
diff --git a/test/lit/validation/imports.wast b/test/lit/validation/imports.wast
new file mode 100644
index 000000000..57fa39ce2
--- /dev/null
+++ b/test/lit/validation/imports.wast
@@ -0,0 +1,9 @@
+;; Test that we validate imported functions.
+
+;; RUN: not wasm-opt %s -all --disable-simd 2>&1 | filecheck %s
+
+;; CHECK: all used types should be allowed
+
+(module
+ (import "env" "imported-v128" (func $imported-v128 (result v128)))
+)