summaryrefslogtreecommitdiff
path: root/test/lit/basic/memory-shared.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/basic/memory-shared.wast')
-rw-r--r--test/lit/basic/memory-shared.wast17
1 files changed, 17 insertions, 0 deletions
diff --git a/test/lit/basic/memory-shared.wast b/test/lit/basic/memory-shared.wast
new file mode 100644
index 000000000..bc2f8bacc
--- /dev/null
+++ b/test/lit/basic/memory-shared.wast
@@ -0,0 +1,17 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
+
+;; RUN: wasm-opt %s -all -o %t.text.wast -g -S
+;; RUN: wasm-as %s -all -g -o %t.wasm
+;; RUN: wasm-dis %t.wasm -all -o %t.bin.wast
+;; RUN: wasm-as %s -all -o %t.nodebug.wasm
+;; RUN: wasm-dis %t.nodebug.wasm -all -o %t.bin.nodebug.wast
+;; RUN: cat %t.text.wast | filecheck %s --check-prefix=CHECK-TEXT
+;; RUN: cat %t.bin.wast | filecheck %s --check-prefix=CHECK-BIN
+;; RUN: cat %t.bin.nodebug.wast | filecheck %s --check-prefix=CHECK-BIN-NODEBUG
+
+(module
+ ;; CHECK-TEXT: (memory $0 (shared 23 256))
+ ;; CHECK-BIN: (memory $0 (shared 23 256))
+ ;; CHECK-BIN-NODEBUG: (memory $0 (shared 23 256))
+ (memory $0 (shared 23 256))
+)