diff options
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/CodeGen/X86/xchg-nofold.ll | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/X86/xchg-nofold.ll b/llvm/test/CodeGen/X86/xchg-nofold.ll new file mode 100644 index 00000000000..fddc7906e08 --- /dev/null +++ b/llvm/test/CodeGen/X86/xchg-nofold.ll @@ -0,0 +1,37 @@ +; RUN: llc -mtriple=x86_64-linux-gnu < %s | FileCheck %s + +%"struct.std::atomic" = type { %"struct.std::atomic_bool" } +%"struct.std::atomic_bool" = type { %"struct.std::__atomic_base" } +%"struct.std::__atomic_base" = type { i8 } + +; CHECK-LABEL: _Z3fooRSt6atomicIbEb +define zeroext i1 @_Z3fooRSt6atomicIbEb(%"struct.std::atomic"* nocapture dereferenceable(1) %a, i1 returned zeroext %b) nounwind { +entry: + %frombool.i.i = zext i1 %b to i8 + %_M_i.i.i = getelementptr inbounds %"struct.std::atomic", %"struct.std::atomic"* %a, i64 0, i32 0, i32 0, i32 0 + %0 = ptrtoint i8* %_M_i.i.i to i64 + %1 = lshr i64 %0, 3 + %2 = add i64 %1, 2147450880 + %3 = inttoptr i64 %2 to i8* + %4 = load i8, i8* %3 + %5 = icmp ne i8 %4, 0 + br i1 %5, label %6, label %11 + +; <label>:6: ; preds = %entry + %7 = and i64 %0, 7 + %8 = trunc i64 %7 to i8 + %9 = icmp sge i8 %8, %4 + br i1 %9, label %10, label %11 + +; <label>:10: ; preds = %6 + call void @__asan_report_store1(i64 %0) + call void asm sideeffect "", ""() + unreachable + +; <label>:11: ; preds = %6, %entry + store atomic i8 %frombool.i.i, i8* %_M_i.i.i seq_cst, align 1 +; CHECK: xchgb %{{.*}}, (%{{.*}}) + ret i1 %b +} + +declare void @__asan_report_store1(i64) |
