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