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