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