199 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=i686-unknown-unknown | FileCheck %s --check-prefix=X863; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s --check-prefix=X644 5define void @xor32_signbit_unused(ptr %p) nounwind {6; X86-LABEL: xor32_signbit_unused:7; X86: # %bb.0:8; X86-NEXT: movl {{[0-9]+}}(%esp), %eax9; X86-NEXT: lock xorl $-2147483648, (%eax) # imm = 0x8000000010; X86-NEXT: retl11;12; X64-LABEL: xor32_signbit_unused:13; X64: # %bb.0:14; X64-NEXT: lock xorl $-2147483648, (%rdi) # imm = 0x8000000015; X64-NEXT: retq16 %r = atomicrmw xor ptr %p, i32 2147483648 monotonic17 ret void18}19 20define i128 @xor128_signbit_used(ptr %p) nounwind {21; X86-LABEL: xor128_signbit_used:22; X86: # %bb.0:23; X86-NEXT: pushl %ebp24; X86-NEXT: movl %esp, %ebp25; X86-NEXT: pushl %ebx26; X86-NEXT: pushl %edi27; X86-NEXT: pushl %esi28; X86-NEXT: andl $-16, %esp29; X86-NEXT: subl $48, %esp30; X86-NEXT: movl 12(%ebp), %edi31; X86-NEXT: movl 12(%edi), %ecx32; X86-NEXT: movl 8(%edi), %edx33; X86-NEXT: movl (%edi), %ebx34; X86-NEXT: movl 4(%edi), %esi35; X86-NEXT: .p2align 436; X86-NEXT: .LBB1_1: # %atomicrmw.start37; X86-NEXT: # =>This Inner Loop Header: Depth=138; X86-NEXT: movl %ebx, (%esp)39; X86-NEXT: movl %esi, {{[0-9]+}}(%esp)40; X86-NEXT: movl %edx, {{[0-9]+}}(%esp)41; X86-NEXT: movl %ecx, {{[0-9]+}}(%esp)42; X86-NEXT: addl $-2147483648, %ecx # imm = 0x8000000043; X86-NEXT: movl %ecx, {{[0-9]+}}(%esp)44; X86-NEXT: movl %edx, {{[0-9]+}}(%esp)45; X86-NEXT: movl %esi, {{[0-9]+}}(%esp)46; X86-NEXT: movl %ebx, {{[0-9]+}}(%esp)47; X86-NEXT: pushl $048; X86-NEXT: pushl $049; X86-NEXT: leal {{[0-9]+}}(%esp), %eax50; X86-NEXT: pushl %eax51; X86-NEXT: leal {{[0-9]+}}(%esp), %eax52; X86-NEXT: pushl %eax53; X86-NEXT: pushl %edi54; X86-NEXT: pushl $1655; X86-NEXT: calll __atomic_compare_exchange@PLT56; X86-NEXT: addl $24, %esp57; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx58; X86-NEXT: movl {{[0-9]+}}(%esp), %edx59; X86-NEXT: movl (%esp), %ebx60; X86-NEXT: movl {{[0-9]+}}(%esp), %esi61; X86-NEXT: testb %al, %al62; X86-NEXT: je .LBB1_163; X86-NEXT: # %bb.2: # %atomicrmw.end64; X86-NEXT: movl 8(%ebp), %eax65; X86-NEXT: movl %ebx, (%eax)66; X86-NEXT: movl %esi, 4(%eax)67; X86-NEXT: movl %edx, 8(%eax)68; X86-NEXT: movl %ecx, 12(%eax)69; X86-NEXT: leal -12(%ebp), %esp70; X86-NEXT: popl %esi71; X86-NEXT: popl %edi72; X86-NEXT: popl %ebx73; X86-NEXT: popl %ebp74; X86-NEXT: retl $475;76; X64-LABEL: xor128_signbit_used:77; X64: # %bb.0:78; X64-NEXT: pushq %rax79; X64-NEXT: movabsq $-9223372036854775808, %rdx # imm = 0x800000000000000080; X64-NEXT: xorl %esi, %esi81; X64-NEXT: xorl %ecx, %ecx82; X64-NEXT: callq __atomic_fetch_xor_16@PLT83; X64-NEXT: popq %rcx84; X64-NEXT: retq85 %r = atomicrmw xor ptr %p, i128 170141183460469231731687303715884105728 monotonic86 ret i128 %r87}88 89define i64 @xor64_signbit_used(ptr %p) nounwind {90; X86-LABEL: xor64_signbit_used:91; X86: # %bb.0:92; X86-NEXT: pushl %ebx93; X86-NEXT: pushl %esi94; X86-NEXT: movl {{[0-9]+}}(%esp), %esi95; X86-NEXT: movl (%esi), %eax96; X86-NEXT: movl 4(%esi), %edx97; X86-NEXT: .p2align 498; X86-NEXT: .LBB2_1: # %atomicrmw.start99; X86-NEXT: # =>This Inner Loop Header: Depth=1100; X86-NEXT: leal -2147483648(%edx), %ecx101; X86-NEXT: movl %eax, %ebx102; X86-NEXT: lock cmpxchg8b (%esi)103; X86-NEXT: jne .LBB2_1104; X86-NEXT: # %bb.2: # %atomicrmw.end105; X86-NEXT: popl %esi106; X86-NEXT: popl %ebx107; X86-NEXT: retl108;109; X64-LABEL: xor64_signbit_used:110; X64: # %bb.0:111; X64-NEXT: movabsq $-9223372036854775808, %rax # imm = 0x8000000000000000112; X64-NEXT: lock xaddq %rax, (%rdi)113; X64-NEXT: retq114 %r = atomicrmw xor ptr %p, i64 9223372036854775808 monotonic115 ret i64 %r116}117 118define i32 @xor32_signbit_used(ptr %p) nounwind {119; X86-LABEL: xor32_signbit_used:120; X86: # %bb.0:121; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx122; X86-NEXT: movl $-2147483648, %eax # imm = 0x80000000123; X86-NEXT: lock xaddl %eax, (%ecx)124; X86-NEXT: retl125;126; X64-LABEL: xor32_signbit_used:127; X64: # %bb.0:128; X64-NEXT: movl $-2147483648, %eax # imm = 0x80000000129; X64-NEXT: lock xaddl %eax, (%rdi)130; X64-NEXT: retq131 %r = atomicrmw xor ptr %p, i32 2147483648 monotonic132 ret i32 %r133}134 135define i16 @xor16_signbit_used(ptr %p) nounwind {136; X86-LABEL: xor16_signbit_used:137; X86: # %bb.0:138; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx139; X86-NEXT: movw $-32768, %ax # imm = 0x8000140; X86-NEXT: lock xaddw %ax, (%ecx)141; X86-NEXT: retl142;143; X64-LABEL: xor16_signbit_used:144; X64: # %bb.0:145; X64-NEXT: movw $-32768, %ax # imm = 0x8000146; X64-NEXT: lock xaddw %ax, (%rdi)147; X64-NEXT: retq148 %r = atomicrmw xor ptr %p, i16 32768 monotonic149 ret i16 %r150}151 152define i8 @xor8_signbit_used(ptr %p) nounwind {153; X86-LABEL: xor8_signbit_used:154; X86: # %bb.0:155; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx156; X86-NEXT: movb $-128, %al157; X86-NEXT: lock xaddb %al, (%ecx)158; X86-NEXT: retl159;160; X64-LABEL: xor8_signbit_used:161; X64: # %bb.0:162; X64-NEXT: movb $-128, %al163; X64-NEXT: lock xaddb %al, (%rdi)164; X64-NEXT: retq165 %r = atomicrmw xor ptr %p, i8 128 monotonic166 ret i8 %r167}168 169define i32 @xor32_not_signbit_used(ptr %p) nounwind {170; X86-LABEL: xor32_not_signbit_used:171; X86: # %bb.0:172; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx173; X86-NEXT: movl (%ecx), %eax174; X86-NEXT: .p2align 4175; X86-NEXT: .LBB6_1: # %atomicrmw.start176; X86-NEXT: # =>This Inner Loop Header: Depth=1177; X86-NEXT: movl %eax, %edx178; X86-NEXT: xorl $-2147483647, %edx # imm = 0x80000001179; X86-NEXT: lock cmpxchgl %edx, (%ecx)180; X86-NEXT: jne .LBB6_1181; X86-NEXT: # %bb.2: # %atomicrmw.end182; X86-NEXT: retl183;184; X64-LABEL: xor32_not_signbit_used:185; X64: # %bb.0:186; X64-NEXT: movl (%rdi), %eax187; X64-NEXT: .p2align 4188; X64-NEXT: .LBB6_1: # %atomicrmw.start189; X64-NEXT: # =>This Inner Loop Header: Depth=1190; X64-NEXT: movl %eax, %ecx191; X64-NEXT: xorl $-2147483647, %ecx # imm = 0x80000001192; X64-NEXT: lock cmpxchgl %ecx, (%rdi)193; X64-NEXT: jne .LBB6_1194; X64-NEXT: # %bb.2: # %atomicrmw.end195; X64-NEXT: retq196 %r = atomicrmw xor ptr %p, i32 2147483649 monotonic197 ret i32 %r198}199