diff options
Diffstat (limited to 'test/lit/wasm-split/instrument-memory-too-small.wast')
| -rw-r--r-- | test/lit/wasm-split/instrument-memory-too-small.wast | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/lit/wasm-split/instrument-memory-too-small.wast b/test/lit/wasm-split/instrument-memory-too-small.wast new file mode 100644 index 000000000..3c5017390 --- /dev/null +++ b/test/lit/wasm-split/instrument-memory-too-small.wast @@ -0,0 +1,10 @@ +;; Test that the instrumentation increases the memory bounds if necessary + +;; RUN: wasm-split %s --instrument -S -o - | filecheck %s + +;; CHECK: (memory $0 1 1) +;; CHECK: (export "__write_profile" (func $__write_profile)) + +(module + (memory $0 0 0) +) |