| ; 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 | |
| } |