| ; RUN: llvm-as %s -o - | llvm-dis | FileCheck %s |
| ; RUN: verify-uselistorder < %s |
| |
| define void @test_cmpxchg(i32* %addr, i32 %desired, i32 %new) { |
| cmpxchg i32* %addr, i32 %desired, i32 %new seq_cst seq_cst |
| ; CHECK: cmpxchg ptr %addr, i32 %desired, i32 %new seq_cst seq_cst |
| |
| cmpxchg volatile i32* %addr, i32 %desired, i32 %new seq_cst monotonic |
| ; CHECK: cmpxchg volatile ptr %addr, i32 %desired, i32 %new seq_cst monotonic |
| |
| cmpxchg weak i32* %addr, i32 %desired, i32 %new acq_rel acquire |
| ; CHECK: cmpxchg weak ptr %addr, i32 %desired, i32 %new acq_rel acquire |
| |
| cmpxchg weak volatile i32* %addr, i32 %desired, i32 %new syncscope("singlethread") release monotonic |
| ; CHECK: cmpxchg weak volatile ptr %addr, i32 %desired, i32 %new syncscope("singlethread") release monotonic |
| |
| ret void |
| } |
