summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/passes/extract-function_pass-arg=extract@foo.txt21
-rw-r--r--test/passes/extract-function_pass-arg=extract@foo.wast26
2 files changed, 45 insertions, 2 deletions
diff --git a/test/passes/extract-function_pass-arg=extract@foo.txt b/test/passes/extract-function_pass-arg=extract@foo.txt
index 6726bb3a4..3caf274c3 100644
--- a/test/passes/extract-function_pass-arg=extract@foo.txt
+++ b/test/passes/extract-function_pass-arg=extract@foo.txt
@@ -1,9 +1,28 @@
(module
(type $none_=>_none (func))
(import "env" "bar" (func $bar))
- (import "env" "other" (func $other))
(export "foo" (func $foo))
(func $foo
(call $bar)
)
)
+(module
+ (type $none_=>_none (func))
+ (import "env" "other" (func $other))
+ (export "foo" (func $foo))
+ (func $foo
+ (nop)
+ )
+)
+(module
+ (type $none (func))
+ (import "env" "other" (func $other))
+ (table $t 10 funcref)
+ (elem $0 (i32.const 0) $other)
+ (export "foo" (func $foo))
+ (func $foo
+ (call_indirect (type $none)
+ (i32.const 10)
+ )
+ )
+)
diff --git a/test/passes/extract-function_pass-arg=extract@foo.wast b/test/passes/extract-function_pass-arg=extract@foo.wast
index 876910300..ab1d8b269 100644
--- a/test/passes/extract-function_pass-arg=extract@foo.wast
+++ b/test/passes/extract-function_pass-arg=extract@foo.wast
@@ -9,4 +9,28 @@
(drop (i32.const 1))
)
)
-
+(module
+ ;; Use another function in the table, but the table is not used in the
+ ;; extracted function
+ (table $t 10 funcref)
+ (elem $0 (table $t) (i32.const 0) func $other)
+ (func $foo
+ )
+ (func $other
+ (drop (i32.const 1))
+ )
+)
+(module
+ ;; Use another function in the table, and the table *is* used. As a result,
+ ;; the table and its elements will remain. The called function, $other, will
+ ;; remain as an import that is placed in the table.
+ (type $none (func))
+ (table $t 10 funcref)
+ (elem $0 (table $t) (i32.const 0) func $other)
+ (func $foo
+ (call_indirect (type $none) (i32.const 10))
+ )
+ (func $other
+ (drop (i32.const 1))
+ )
+)