diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/wasm-split/initial-table.wast | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/lit/wasm-split/initial-table.wast b/test/lit/wasm-split/initial-table.wast new file mode 100644 index 000000000..534f7f3a9 --- /dev/null +++ b/test/lit/wasm-split/initial-table.wast @@ -0,0 +1,13 @@ +;; Test that the --initial-table flag works as expected + +;; RUN: wasm-split %s --instrument --initial-table=1234 -S | filecheck %s + +;; RUN: wasm-split %s -g -o1 %t.1.wasm -o2 %t.2.wasm --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) +) |