;; Test that shared memory requires atomics

;; RUN: not wasm-opt %s 2>&1 | filecheck %s --check-prefix NO-ATOMICS
;; RUN: wasm-opt %s --enable-threads -o - -S | filecheck %s --check-prefix ATOMICS

;; NO-ATOMICS: memory is shared, but atomics are disabled
;; ATOMICS: (memory $0 (shared 10 20))

(module
  (memory (shared 10 20))
)