diff options
Diffstat (limited to 'test/lit/wasm-split/imported-memory.wast')
| -rw-r--r-- | test/lit/wasm-split/imported-memory.wast | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/lit/wasm-split/imported-memory.wast b/test/lit/wasm-split/imported-memory.wast new file mode 100644 index 000000000..39e2a0073 --- /dev/null +++ b/test/lit/wasm-split/imported-memory.wast @@ -0,0 +1,12 @@ +;; RUN: wasm-split --instrument %s -all -S -o - | filecheck %s + +;; Check that an imported memory is not exported as "profile-memory" + +(module + (import "env" "mem" (memory $mem 1 1)) +) + +;; CHECK: (import "env" "mem" (memory $mem 1 1)) +;; CHECK: (export "__write_profile" (func $__write_profile)) + +;; CHECK-NOT: (export "profile-memory" (memory $mem)) |