; RUN: llvm-dis < %s.bc | FileCheck %s

define void @f2(i32* %x, i32 %y.orig, i32 %z) {
entry:
  br label %a
b:
  cmpxchg i32* %x, i32 %y, i32 %z acquire acquire
; CHECK: cmpxchg i32* %x, i32 %y, i32 %z acquire acquire
  ret void
a:
  %y = add i32 %y.orig, 1
  br label %a
}