diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/passes/extract-function_pass-arg=extract@foo.txt | 21 | ||||
-rw-r--r-- | test/passes/extract-function_pass-arg=extract@foo.wast | 26 |
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)) + ) +) |