diff options
Diffstat (limited to 'test/lit/wasm-split/initial-table-used.wast')
| -rw-r--r-- | test/lit/wasm-split/initial-table-used.wast | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/test/lit/wasm-split/initial-table-used.wast b/test/lit/wasm-split/initial-table-used.wast new file mode 100644 index 000000000..23ae068c6 --- /dev/null +++ b/test/lit/wasm-split/initial-table-used.wast @@ -0,0 +1,22 @@ +;; Test that the --initial-table flag works as expected when the secondary +;; module uses the table. + +;; RUN: wasm-split %s --instrument --initial-table=1234 -S | filecheck %s + +;; RUN: wasm-split %s -g -o1 %t.1.wasm -o2 %t.2.wasm --split-funcs=use-table --initial-table=1234 +;; RUN: wasm-dis %t.1.wasm | filecheck %s +;; RUN: wasm-dis %t.2.wasm | filecheck %s + +;; CHECK: (table $table 1234 funcref) + +(module + (table $table 3 funcref) + (func $use-table + (call_indirect + (i32.const 0) + ) + ) + (func $use-use-table + (call $use-table) + ) +) |