4 files changed, 69 insertions, 0 deletions
diff --git a/test/newsyntax.wast b/test/newsyntax.wast
new file mode 100644
index 000000000..aba263d24
--- /dev/null
+++ b/test/newsyntax.wast
@@ -0,0 +1,10 @@
+(module
+  (import "env" "table" (table 9 9 anyfunc))
+  (func "call_indirect"
+    (drop
+      (call_indirect (param i32) (param f64) (result i32) (i32.const 10) (f64.const 20) (i32.const 30))
+    )
+    (call_indirect (i32.const 1))
+  )
+)
+
diff --git a/test/newsyntax.wast.from-wast b/test/newsyntax.wast.from-wast
new file mode 100644
index 000000000..bf77b7e46
--- /dev/null
+++ b/test/newsyntax.wast.from-wast
@@ -0,0 +1,19 @@
+(module
+ (type $0 (func))
+ (type $FUNCSIG$iid (func (param i32 f64) (result i32)))
+ (type $FUNCSIG$v (func))
+ (import "env" "table" (table $0 9 9 anyfunc))
+ (export "call_indirect" (func $0))
+ (func $0 (; 0 ;) (type $0)
+  (drop
+   (call_indirect (type $FUNCSIG$iid)
+    (i32.const 10)
+    (f64.const 20)
+    (i32.const 30)
+   )
+  )
+  (call_indirect (type $FUNCSIG$v)
+   (i32.const 1)
+  )
+ )
+)
diff --git a/test/newsyntax.wast.fromBinary b/test/newsyntax.wast.fromBinary
new file mode 100644
index 000000000..392e3eccd
--- /dev/null
+++ b/test/newsyntax.wast.fromBinary
@@ -0,0 +1,20 @@
+(module
+ (type $0 (func))
+ (type $1 (func (param i32 f64) (result i32)))
+ (type $2 (func))
+ (import "env" "table" (table $timport$0 9 9 anyfunc))
+ (export "call_indirect" (func $0))
+ (func $0 (; 0 ;) (type $0)
+  (drop
+   (call_indirect (type $1)
+    (i32.const 10)
+    (f64.const 20)
+    (i32.const 30)
+   )
+  )
+  (call_indirect (type $2)
+   (i32.const 1)
+  )
+ )
+)
+
diff --git a/test/newsyntax.wast.fromBinary.noDebugInfo b/test/newsyntax.wast.fromBinary.noDebugInfo
new file mode 100644
index 000000000..392e3eccd
--- /dev/null
+++ b/test/newsyntax.wast.fromBinary.noDebugInfo
@@ -0,0 +1,20 @@
+(module
+ (type $0 (func))
+ (type $1 (func (param i32 f64) (result i32)))
+ (type $2 (func))
+ (import "env" "table" (table $timport$0 9 9 anyfunc))
+ (export "call_indirect" (func $0))
+ (func $0 (; 0 ;) (type $0)
+  (drop
+   (call_indirect (type $1)
+    (i32.const 10)
+    (f64.const 20)
+    (i32.const 30)
+   )
+  )
+  (call_indirect (type $2)
+   (i32.const 1)
+  )
+ )
+)
+