[X86] Add tests for `(atomicrmw xor p, Imm)`; NFC

[goldstein.w.n]

Rebase

[RKSimon]

LGTM

llvm/test/CodeGen/X86/atomic-xor.ll

2

Worth adding i686 coverage as well?

[goldstein.w.n]

Add 32-bit tests

llvm/test/CodeGen/X86/atomic-xor.ll

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