1; RUN: not llvm-as < %s 2>&1 | FileCheck %s 2 3define void @f(ptr %a, i32 %b, i32 %c) { 4; CHECK: invalid cmpxchg success ordering 5 %x = cmpxchg ptr %a, i32 %b, i32 %c unordered monotonic 6 ret void 7} 8