1; RUN: llvm-dis < %s.bc | FileCheck %s
2
3define void @f2(i32* %x, i32 %y.orig, i32 %z) {
4entry:
5 br label %a
6b:
7 cmpxchg i32* %x, i32 %y, i32 %z acquire acquire
8; CHECK: cmpxchg i32* %x, i32 %y, i32 %z acquire acquire
9 ret void
10a:
11 %y = add i32 %y.orig, 1
12 br label %a
13}
14