summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/passes/directize.txt14
-rw-r--r--test/passes/directize.wast13
2 files changed, 26 insertions, 1 deletions
diff --git a/test/passes/directize.txt b/test/passes/directize.txt
index 7f4b1a57c..fb6d94e4c 100644
--- a/test/passes/directize.txt
+++ b/test/passes/directize.txt
@@ -181,3 +181,17 @@
(unreachable)
)
)
+(module
+ (type $0 (func))
+ (table $0 8 8 funcref)
+ (func $0 (; 0 ;) (type $0)
+ (block $block
+ (nop)
+ (block
+ (block
+ )
+ (unreachable)
+ )
+ )
+ )
+)
diff --git a/test/passes/directize.wast b/test/passes/directize.wast
index 8e6839457..7deb2572c 100644
--- a/test/passes/directize.wast
+++ b/test/passes/directize.wast
@@ -179,4 +179,15 @@
(unreachable)
)
)
-
+;; change types
+(module
+ (table $0 8 8 funcref)
+ (func $0
+ (block ;; the type of this block will change
+ (nop)
+ (call_indirect (type $0)
+ (i32.const 15)
+ )
+ )
+ )
+)