1 files changed, 24 insertions, 0 deletions
diff --git a/test/lit/validation/extended-const.wast b/test/lit/validation/extended-const.wast
new file mode 100644
index 000000000..4269ca2b7
--- /dev/null
+++ b/test/lit/validation/extended-const.wast
@@ -0,0 +1,24 @@
+;; Test that shared memory requires atomics
+
+;; RUN: not wasm-opt %s 2>&1 | filecheck %s --check-prefix NO-EXTENDED
+;; RUN: wasm-opt %s --enable-extended-const -o - -S | filecheck %s --check-prefix EXTENDED
+
+;; NO-EXTENDED: unexpected false: global init must be valid
+;; NO-EXTENDED: unexpected false: memory segment offset should be reasonable
+
+;; EXTENDED: (import "env" "global" (global $gimport$0 i32))
+;; EXTENDED: (global $1 i32 (i32.add
+;; EXTENDED:  (global.get $gimport$0)
+;; EXTENDED:  (i32.const 42)
+;; EXTENDED: ))
+;; EXTENDED: (data (i32.sub
+;; EXTENDED:  (global.get $gimport$0)
+;; EXTENDED:  (i32.const 10)
+;; EXTENDED: ) "hello world")
+
+(module
+  (memory 1 1)
+  (import "env" "global" (global i32))
+  (global i32 (i32.add (global.get 0) (i32.const 42)))
+  (data (i32.sub (global.get 0) (i32.const 10)) "hello world")
+)