diff --git a/llvm/test/CodeGen/X86/atomic-xor.ll b/llvm/test/CodeGen/X86/atomic-xor.ll new file mode 100644 --- /dev/null +++ b/llvm/test/CodeGen/X86/atomic-xor.ll @@ -0,0 +1,117 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc < %s -mtriple=x86_64-- -verify-machineinstrs | FileCheck %s + +define void @xor32_signbit_unused(ptr %p) nounwind { +; CHECK-LABEL: xor32_signbit_unused: +; CHECK: # %bb.0: +; CHECK-NEXT: lock xorl $-2147483648, (%rdi) # imm = 0x80000000 +; CHECK-NEXT: retq + %r = atomicrmw xor ptr %p, i32 2147483648 monotonic + ret void +} + +define i128 @xor128_signbit_used(ptr %p) nounwind { +; CHECK-LABEL: xor128_signbit_used: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: movabsq $-9223372036854775808, %rdx # imm = 0x8000000000000000 +; CHECK-NEXT: xorl %esi, %esi +; CHECK-NEXT: callq __sync_fetch_and_xor_16@PLT +; CHECK-NEXT: popq %rcx +; CHECK-NEXT: retq + %r = atomicrmw xor ptr %p, i128 170141183460469231731687303715884105728 monotonic + ret i128 %r +} + +define i64 @xor64_signbit_used(ptr %p) nounwind { +; CHECK-LABEL: xor64_signbit_used: +; CHECK: # %bb.0: +; CHECK-NEXT: movq (%rdi), %rax +; CHECK-NEXT: movabsq $-9223372036854775808, %rcx # imm = 0x8000000000000000 +; CHECK-NEXT: .p2align 4, 0x90 +; CHECK-NEXT: .LBB2_1: # %atomicrmw.start +; CHECK-NEXT: # =>This Inner Loop Header: Depth=1 +; CHECK-NEXT: movq %rax, %rdx +; CHECK-NEXT: xorq %rcx, %rdx +; CHECK-NEXT: lock cmpxchgq %rdx, (%rdi) +; CHECK-NEXT: jne .LBB2_1 +; CHECK-NEXT: # %bb.2: # %atomicrmw.end +; CHECK-NEXT: retq + %r = atomicrmw xor ptr %p, i64 9223372036854775808 monotonic + ret i64 %r +} + +define i32 @xor32_signbit_used(ptr %p) nounwind { +; CHECK-LABEL: xor32_signbit_used: +; CHECK: # %bb.0: +; CHECK-NEXT: movl (%rdi), %eax +; CHECK-NEXT: .p2align 4, 0x90 +; CHECK-NEXT: .LBB3_1: # %atomicrmw.start +; CHECK-NEXT: # =>This Inner Loop Header: Depth=1 +; CHECK-NEXT: leal -2147483648(%rax), %ecx +; CHECK-NEXT: # kill: def $eax killed $eax killed $rax +; CHECK-NEXT: lock cmpxchgl %ecx, (%rdi) +; CHECK-NEXT: # kill: def $eax killed $eax def $rax +; CHECK-NEXT: jne .LBB3_1 +; CHECK-NEXT: # %bb.2: # %atomicrmw.end +; CHECK-NEXT: # kill: def $eax killed $eax killed $rax +; CHECK-NEXT: retq + %r = atomicrmw xor ptr %p, i32 2147483648 monotonic + ret i32 %r +} + +define i16 @xor16_signbit_used(ptr %p) nounwind { +; CHECK-LABEL: xor16_signbit_used: +; CHECK: # %bb.0: +; CHECK-NEXT: movzwl (%rdi), %eax +; CHECK-NEXT: .p2align 4, 0x90 +; CHECK-NEXT: .LBB4_1: # %atomicrmw.start +; CHECK-NEXT: # =>This Inner Loop Header: Depth=1 +; CHECK-NEXT: movl %eax, %ecx +; CHECK-NEXT: xorl $32768, %ecx # imm = 0x8000 +; CHECK-NEXT: # kill: def $ax killed $ax killed $eax +; CHECK-NEXT: lock cmpxchgw %cx, (%rdi) +; CHECK-NEXT: # kill: def $ax killed $ax def $eax +; CHECK-NEXT: jne .LBB4_1 +; CHECK-NEXT: # %bb.2: # %atomicrmw.end +; CHECK-NEXT: # kill: def $ax killed $ax killed $eax +; CHECK-NEXT: retq + %r = atomicrmw xor ptr %p, i16 32768 monotonic + ret i16 %r +} + +define i8 @xor8_signbit_used(ptr %p) nounwind { +; CHECK-LABEL: xor8_signbit_used: +; CHECK: # %bb.0: +; CHECK-NEXT: movzbl (%rdi), %eax +; CHECK-NEXT: .p2align 4, 0x90 +; CHECK-NEXT: .LBB5_1: # %atomicrmw.start +; CHECK-NEXT: # =>This Inner Loop Header: Depth=1 +; CHECK-NEXT: leal -128(%rax), %ecx +; CHECK-NEXT: # kill: def $al killed $al killed $rax +; CHECK-NEXT: lock cmpxchgb %cl, (%rdi) +; CHECK-NEXT: # kill: def $al killed $al def $rax +; CHECK-NEXT: jne .LBB5_1 +; CHECK-NEXT: # %bb.2: # %atomicrmw.end +; CHECK-NEXT: # kill: def $al killed $al killed $rax +; CHECK-NEXT: retq + %r = atomicrmw xor ptr %p, i8 128 monotonic + ret i8 %r +} + +define i32 @xor32_not_signbit_used(ptr %p) nounwind { +; CHECK-LABEL: xor32_not_signbit_used: +; CHECK: # %bb.0: +; CHECK-NEXT: movl (%rdi), %eax +; CHECK-NEXT: .p2align 4, 0x90 +; CHECK-NEXT: .LBB6_1: # %atomicrmw.start +; CHECK-NEXT: # =>This Inner Loop Header: Depth=1 +; CHECK-NEXT: movl %eax, %ecx +; CHECK-NEXT: xorl $-2147483647, %ecx # imm = 0x80000001 +; CHECK-NEXT: lock cmpxchgl %ecx, (%rdi) +; CHECK-NEXT: jne .LBB6_1 +; CHECK-NEXT: # %bb.2: # %atomicrmw.end +; CHECK-NEXT: retq + %r = atomicrmw xor ptr %p, i32 2147483649 monotonic + ret i32 %r +}