210 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=i686-unknown-linux-gnu < %s | FileCheck %s --check-prefixes=X863; RUN: llc -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s --check-prefixes=X644 5declare i64 @llvm.abs.i64(i64, i1)6declare i32 @llvm.abs.i32(i32, i1)7declare i16 @llvm.abs.i16(i16, i1)8declare i8 @llvm.abs.i8(i8, i1)9 10define i64 @eq_or_with_dom_abs(i64 %x) nounwind {11; X86-LABEL: eq_or_with_dom_abs:12; X86: # %bb.0:13; X86-NEXT: pushl %ebx14; X86-NEXT: pushl %edi15; X86-NEXT: pushl %esi16; X86-NEXT: movl {{[0-9]+}}(%esp), %edx17; X86-NEXT: movl %edx, %eax18; X86-NEXT: sarl $31, %eax19; X86-NEXT: xorl %eax, %edx20; X86-NEXT: movl {{[0-9]+}}(%esp), %esi21; X86-NEXT: xorl %eax, %esi22; X86-NEXT: subl %eax, %esi23; X86-NEXT: sbbl %eax, %edx24; X86-NEXT: movl %esi, %eax25; X86-NEXT: xorl $12312, %eax # imm = 0x301826; X86-NEXT: xorl $64, %esi27; X86-NEXT: xorl %ecx, %ecx28; X86-NEXT: orl %edx, %esi29; X86-NEXT: sete %bl30; X86-NEXT: xorl %esi, %esi31; X86-NEXT: movl $2344, %edi # imm = 0x92832; X86-NEXT: cmpl %eax, %edi33; X86-NEXT: sbbl %edx, %esi34; X86-NEXT: jb .LBB0_235; X86-NEXT: # %bb.1:36; X86-NEXT: movb %bl, %cl37; X86-NEXT: xorl %edx, %edx38; X86-NEXT: movl %ecx, %eax39; X86-NEXT: .LBB0_2:40; X86-NEXT: popl %esi41; X86-NEXT: popl %edi42; X86-NEXT: popl %ebx43; X86-NEXT: retl44;45; X64-LABEL: eq_or_with_dom_abs:46; X64: # %bb.0:47; X64-NEXT: movq %rdi, %rcx48; X64-NEXT: negq %rcx49; X64-NEXT: cmovsq %rdi, %rcx50; X64-NEXT: movq %rcx, %rdx51; X64-NEXT: xorq $12312, %rdx # imm = 0x301852; X64-NEXT: xorl %eax, %eax53; X64-NEXT: cmpq $64, %rcx54; X64-NEXT: sete %al55; X64-NEXT: cmpq $2345, %rdx # imm = 0x92956; X64-NEXT: cmovaeq %rdx, %rax57; X64-NEXT: retq58 %absx = call i64 @llvm.abs.i64(i64 %x, i1 true)59 %foo = xor i64 %absx, 1231260 %bar = icmp ugt i64 %foo, 234461 %cmp0 = icmp eq i64 %x, 6462 %cmp1 = icmp eq i64 %x, -6463 %cmp = or i1 %cmp0, %cmp164 %cmp64 = zext i1 %cmp to i6465 %r = select i1 %bar, i64 %foo, i64 %cmp6466 ret i64 %r67}68 69define i32 @eq_or_with_dom_abs_non_po2(i32 %x) nounwind {70; X86-LABEL: eq_or_with_dom_abs_non_po2:71; X86: # %bb.0:72; X86-NEXT: movl {{[0-9]+}}(%esp), %edx73; X86-NEXT: movl %edx, %eax74; X86-NEXT: sarl $31, %eax75; X86-NEXT: xorl %eax, %edx76; X86-NEXT: subl %eax, %edx77; X86-NEXT: movl %edx, %eax78; X86-NEXT: xorl $12312, %eax # imm = 0x301879; X86-NEXT: xorl %ecx, %ecx80; X86-NEXT: cmpl $123, %edx81; X86-NEXT: sete %dl82; X86-NEXT: cmpl $2345, %eax # imm = 0x92983; X86-NEXT: jae .LBB1_284; X86-NEXT: # %bb.1:85; X86-NEXT: movb %dl, %cl86; X86-NEXT: movl %ecx, %eax87; X86-NEXT: .LBB1_2:88; X86-NEXT: retl89;90; X64-LABEL: eq_or_with_dom_abs_non_po2:91; X64: # %bb.0:92; X64-NEXT: movl %edi, %ecx93; X64-NEXT: negl %ecx94; X64-NEXT: cmovsl %edi, %ecx95; X64-NEXT: movl %ecx, %edx96; X64-NEXT: xorl $12312, %edx # imm = 0x301897; X64-NEXT: xorl %eax, %eax98; X64-NEXT: cmpl $123, %ecx99; X64-NEXT: sete %al100; X64-NEXT: cmpl $2345, %edx # imm = 0x929101; X64-NEXT: cmovael %edx, %eax102; X64-NEXT: retq103 %absx = call i32 @llvm.abs.i32(i32 %x, i1 true)104 %foo = xor i32 %absx, 12312105 %bar = icmp ugt i32 %foo, 2344106 %cmp0 = icmp eq i32 %x, 123107 %cmp1 = icmp eq i32 %x, -123108 %cmp = or i1 %cmp0, %cmp1109 %cmp64 = zext i1 %cmp to i32110 %r = select i1 %bar, i32 %foo, i32 %cmp64111 ret i32 %r112}113 114define i8 @ne_and_with_dom_abs_non_pow2(i8 %x) nounwind {115; X86-LABEL: ne_and_with_dom_abs_non_pow2:116; X86: # %bb.0:117; X86-NEXT: movzbl {{[0-9]+}}(%esp), %ecx118; X86-NEXT: movl %ecx, %eax119; X86-NEXT: sarb $7, %al120; X86-NEXT: xorb %al, %cl121; X86-NEXT: subb %al, %cl122; X86-NEXT: movl %ecx, %eax123; X86-NEXT: xorb $12, %al124; X86-NEXT: cmpb $121, %cl125; X86-NEXT: setne %cl126; X86-NEXT: cmpb $24, %al127; X86-NEXT: jae .LBB2_2128; X86-NEXT: # %bb.1:129; X86-NEXT: movl %ecx, %eax130; X86-NEXT: .LBB2_2:131; X86-NEXT: retl132;133; X64-LABEL: ne_and_with_dom_abs_non_pow2:134; X64: # %bb.0:135; X64-NEXT: movl %edi, %eax136; X64-NEXT: sarb $7, %al137; X64-NEXT: xorb %al, %dil138; X64-NEXT: subb %al, %dil139; X64-NEXT: movl %edi, %ecx140; X64-NEXT: xorb $12, %cl141; X64-NEXT: xorl %eax, %eax142; X64-NEXT: cmpb $121, %dil143; X64-NEXT: setne %al144; X64-NEXT: cmpb $24, %cl145; X64-NEXT: movzbl %cl, %ecx146; X64-NEXT: cmovael %ecx, %eax147; X64-NEXT: # kill: def $al killed $al killed $eax148; X64-NEXT: retq149 %absx = call i8 @llvm.abs.i8(i8 %x, i1 true)150 %foo = xor i8 %absx, 12151 %bar = icmp ugt i8 %foo, 23152 %cmp0 = icmp ne i8 %x, 121153 %cmp1 = icmp ne i8 %x, -121154 %cmp = and i1 %cmp0, %cmp1155 %cmp64 = zext i1 %cmp to i8156 %r = select i1 %bar, i8 %foo, i8 %cmp64157 ret i8 %r158}159 160define i16 @ne_and_with_dom_abs(i16 %x) nounwind {161; X86-LABEL: ne_and_with_dom_abs:162; X86: # %bb.0:163; X86-NEXT: pushl %esi164; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax165; X86-NEXT: movswl %ax, %ecx166; X86-NEXT: sarl $15, %ecx167; X86-NEXT: xorl %ecx, %eax168; X86-NEXT: subl %ecx, %eax169; X86-NEXT: movl %eax, %edx170; X86-NEXT: xorl $12312, %eax # imm = 0x3018171; X86-NEXT: movzwl %ax, %esi172; X86-NEXT: xorl %ecx, %ecx173; X86-NEXT: cmpw $64, %dx174; X86-NEXT: setne %dl175; X86-NEXT: cmpl $2345, %esi # imm = 0x929176; X86-NEXT: jae .LBB3_2177; X86-NEXT: # %bb.1:178; X86-NEXT: movb %dl, %cl179; X86-NEXT: movl %ecx, %eax180; X86-NEXT: .LBB3_2:181; X86-NEXT: # kill: def $ax killed $ax killed $eax182; X86-NEXT: popl %esi183; X86-NEXT: retl184;185; X64-LABEL: ne_and_with_dom_abs:186; X64: # %bb.0:187; X64-NEXT: movl %edi, %ecx188; X64-NEXT: negw %cx189; X64-NEXT: cmovsw %di, %cx190; X64-NEXT: movl %ecx, %edx191; X64-NEXT: xorl $12312, %edx # imm = 0x3018192; X64-NEXT: movzwl %dx, %esi193; X64-NEXT: xorl %eax, %eax194; X64-NEXT: cmpw $64, %cx195; X64-NEXT: setne %al196; X64-NEXT: cmpl $2345, %esi # imm = 0x929197; X64-NEXT: cmovael %edx, %eax198; X64-NEXT: # kill: def $ax killed $ax killed $eax199; X64-NEXT: retq200 %absx = call i16 @llvm.abs.i16(i16 %x, i1 true)201 %foo = xor i16 %absx, 12312202 %bar = icmp ugt i16 %foo, 2344203 %cmp0 = icmp ne i16 %x, 64204 %cmp1 = icmp ne i16 %x, -64205 %cmp = and i1 %cmp0, %cmp1206 %cmp64 = zext i1 %cmp to i16207 %r = select i1 %bar, i16 %foo, i16 %cmp64208 ret i16 %r209}210