test/lit/parse-bad-gc-rmw-orders.wast

;; RUN: not wasm-opt %s -all 2>&1 | filecheck %s

(module
  (type $struct (struct (field (mut i32))))

  ;; CHECK: 8:5: error: struct.atomic.rmw memory orders must be identical
  (func $rmw (param (ref null $struct))
    (struct.atomic.rmw.add seqcst acqrel 0
      (local.get 0)
      (i32.const 1)
    )
  )
)