226 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=i686 -mattr=cmov | FileCheck %s --check-prefix=X863; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s --check-prefix=X644 5declare i4 @llvm.sadd.sat.i4(i4, i4)6declare i8 @llvm.sadd.sat.i8(i8, i8)7declare i16 @llvm.sadd.sat.i16(i16, i16)8declare i32 @llvm.sadd.sat.i32(i32, i32)9declare i64 @llvm.sadd.sat.i64(i64, i64)10declare <4 x i32> @llvm.sadd.sat.v4i32(<4 x i32>, <4 x i32>)11 12define i32 @func(i32 %x, i32 %y) nounwind {13; X86-LABEL: func:14; X86: # %bb.0:15; X86-NEXT: movl {{[0-9]+}}(%esp), %eax16; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx17; X86-NEXT: leal (%eax,%ecx), %edx18; X86-NEXT: sarl $31, %edx19; X86-NEXT: addl $-2147483648, %edx # imm = 0x8000000020; X86-NEXT: addl %ecx, %eax21; X86-NEXT: cmovol %edx, %eax22; X86-NEXT: retl23;24; X64-LABEL: func:25; X64: # %bb.0:26; X64-NEXT: # kill: def $esi killed $esi def $rsi27; X64-NEXT: # kill: def $edi killed $edi def $rdi28; X64-NEXT: leal (%rdi,%rsi), %eax29; X64-NEXT: sarl $31, %eax30; X64-NEXT: addl $-2147483648, %eax # imm = 0x8000000031; X64-NEXT: addl %esi, %edi32; X64-NEXT: cmovnol %edi, %eax33; X64-NEXT: retq34 %tmp = call i32 @llvm.sadd.sat.i32(i32 %x, i32 %y);35 ret i32 %tmp;36}37 38define i64 @func2(i64 %x, i64 %y) nounwind {39; X86-LABEL: func2:40; X86: # %bb.0:41; X86-NEXT: pushl %ebx42; X86-NEXT: movl {{[0-9]+}}(%esp), %eax43; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx44; X86-NEXT: addl {{[0-9]+}}(%esp), %eax45; X86-NEXT: adcl {{[0-9]+}}(%esp), %ecx46; X86-NEXT: seto %bl47; X86-NEXT: movl %ecx, %edx48; X86-NEXT: sarl $31, %edx49; X86-NEXT: testb %bl, %bl50; X86-NEXT: cmovnel %edx, %eax51; X86-NEXT: addl $-2147483648, %edx # imm = 0x8000000052; X86-NEXT: testb %bl, %bl53; X86-NEXT: cmovel %ecx, %edx54; X86-NEXT: popl %ebx55; X86-NEXT: retl56;57; X64-LABEL: func2:58; X64: # %bb.0:59; X64-NEXT: leaq (%rdi,%rsi), %rcx60; X64-NEXT: sarq $63, %rcx61; X64-NEXT: movabsq $-9223372036854775808, %rax # imm = 0x800000000000000062; X64-NEXT: xorq %rcx, %rax63; X64-NEXT: addq %rsi, %rdi64; X64-NEXT: cmovnoq %rdi, %rax65; X64-NEXT: retq66 %tmp = call i64 @llvm.sadd.sat.i64(i64 %x, i64 %y);67 ret i64 %tmp;68}69 70define signext i16 @func16(i16 signext %x, i16 signext %y) nounwind {71; X86-LABEL: func16:72; X86: # %bb.0:73; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax74; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx75; X86-NEXT: movl %eax, %edx76; X86-NEXT: addw %cx, %dx77; X86-NEXT: movswl %dx, %edx78; X86-NEXT: sarl $15, %edx79; X86-NEXT: xorl $-32768, %edx # imm = 0x800080; X86-NEXT: addw %cx, %ax81; X86-NEXT: cmovol %edx, %eax82; X86-NEXT: # kill: def $ax killed $ax killed $eax83; X86-NEXT: retl84;85; X64-LABEL: func16:86; X64: # %bb.0:87; X64-NEXT: # kill: def $esi killed $esi def $rsi88; X64-NEXT: # kill: def $edi killed $edi def $rdi89; X64-NEXT: leal (%rdi,%rsi), %eax90; X64-NEXT: cwtl91; X64-NEXT: sarl $15, %eax92; X64-NEXT: xorl $-32768, %eax # imm = 0x800093; X64-NEXT: addw %si, %di94; X64-NEXT: cmovnol %edi, %eax95; X64-NEXT: # kill: def $ax killed $ax killed $eax96; X64-NEXT: retq97 %tmp = call i16 @llvm.sadd.sat.i16(i16 %x, i16 %y)98 ret i16 %tmp99}100 101define signext i8 @func8(i8 signext %x, i8 signext %y) nounwind {102; X86-LABEL: func8:103; X86: # %bb.0:104; X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax105; X86-NEXT: movzbl {{[0-9]+}}(%esp), %ecx106; X86-NEXT: movl %eax, %edx107; X86-NEXT: addb %cl, %dl108; X86-NEXT: sarb $7, %dl109; X86-NEXT: addb $-128, %dl110; X86-NEXT: addb %cl, %al111; X86-NEXT: movzbl %al, %ecx112; X86-NEXT: movzbl %dl, %eax113; X86-NEXT: cmovnol %ecx, %eax114; X86-NEXT: # kill: def $al killed $al killed $eax115; X86-NEXT: retl116;117; X64-LABEL: func8:118; X64: # %bb.0:119; X64-NEXT: # kill: def $esi killed $esi def $rsi120; X64-NEXT: # kill: def $edi killed $edi def $rdi121; X64-NEXT: leal (%rdi,%rsi), %eax122; X64-NEXT: sarb $7, %al123; X64-NEXT: addb $-128, %al124; X64-NEXT: addb %sil, %dil125; X64-NEXT: movzbl %dil, %ecx126; X64-NEXT: movzbl %al, %eax127; X64-NEXT: cmovnol %ecx, %eax128; X64-NEXT: # kill: def $al killed $al killed $eax129; X64-NEXT: retq130 %tmp = call i8 @llvm.sadd.sat.i8(i8 %x, i8 %y)131 ret i8 %tmp132}133 134define signext i4 @func3(i4 signext %x, i4 signext %y) nounwind {135; X86-LABEL: func3:136; X86: # %bb.0:137; X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax138; X86-NEXT: addb {{[0-9]+}}(%esp), %al139; X86-NEXT: movzbl %al, %ecx140; X86-NEXT: cmpb $7, %al141; X86-NEXT: movl $7, %eax142; X86-NEXT: cmovll %ecx, %eax143; X86-NEXT: cmpb $-7, %al144; X86-NEXT: movl $248, %ecx145; X86-NEXT: cmovgel %eax, %ecx146; X86-NEXT: movsbl %cl, %eax147; X86-NEXT: retl148;149; X64-LABEL: func3:150; X64: # %bb.0:151; X64-NEXT: addb %sil, %dil152; X64-NEXT: movzbl %dil, %eax153; X64-NEXT: cmpb $7, %al154; X64-NEXT: movl $7, %ecx155; X64-NEXT: cmovll %eax, %ecx156; X64-NEXT: cmpb $-7, %cl157; X64-NEXT: movl $248, %eax158; X64-NEXT: cmovgel %ecx, %eax159; X64-NEXT: movsbl %al, %eax160; X64-NEXT: retq161 %tmp = call i4 @llvm.sadd.sat.i4(i4 %x, i4 %y);162 ret i4 %tmp;163}164 165define <4 x i32> @vec(<4 x i32> %x, <4 x i32> %y) nounwind {166; X86-LABEL: vec:167; X86: # %bb.0:168; X86-NEXT: pushl %ebx169; X86-NEXT: pushl %edi170; X86-NEXT: pushl %esi171; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx172; X86-NEXT: movl {{[0-9]+}}(%esp), %eax173; X86-NEXT: leal (%ecx,%eax), %esi174; X86-NEXT: sarl $31, %esi175; X86-NEXT: addl $-2147483648, %esi # imm = 0x80000000176; X86-NEXT: addl %eax, %ecx177; X86-NEXT: movl {{[0-9]+}}(%esp), %edx178; X86-NEXT: cmovol %esi, %ecx179; X86-NEXT: movl {{[0-9]+}}(%esp), %eax180; X86-NEXT: leal (%edx,%eax), %edi181; X86-NEXT: sarl $31, %edi182; X86-NEXT: addl $-2147483648, %edi # imm = 0x80000000183; X86-NEXT: addl %eax, %edx184; X86-NEXT: movl {{[0-9]+}}(%esp), %esi185; X86-NEXT: cmovol %edi, %edx186; X86-NEXT: movl {{[0-9]+}}(%esp), %eax187; X86-NEXT: leal (%esi,%eax), %ebx188; X86-NEXT: sarl $31, %ebx189; X86-NEXT: addl $-2147483648, %ebx # imm = 0x80000000190; X86-NEXT: addl %eax, %esi191; X86-NEXT: movl {{[0-9]+}}(%esp), %edi192; X86-NEXT: cmovol %ebx, %esi193; X86-NEXT: movl {{[0-9]+}}(%esp), %eax194; X86-NEXT: leal (%edi,%eax), %ebx195; X86-NEXT: sarl $31, %ebx196; X86-NEXT: addl $-2147483648, %ebx # imm = 0x80000000197; X86-NEXT: addl %eax, %edi198; X86-NEXT: movl {{[0-9]+}}(%esp), %eax199; X86-NEXT: cmovol %ebx, %edi200; X86-NEXT: movl %ecx, 12(%eax)201; X86-NEXT: movl %edx, 8(%eax)202; X86-NEXT: movl %esi, 4(%eax)203; X86-NEXT: movl %edi, (%eax)204; X86-NEXT: popl %esi205; X86-NEXT: popl %edi206; X86-NEXT: popl %ebx207; X86-NEXT: retl $4208;209; X64-LABEL: vec:210; X64: # %bb.0:211; X64-NEXT: pxor %xmm2, %xmm2212; X64-NEXT: pcmpgtd %xmm1, %xmm2213; X64-NEXT: paddd %xmm0, %xmm1214; X64-NEXT: pcmpgtd %xmm1, %xmm0215; X64-NEXT: pxor %xmm2, %xmm0216; X64-NEXT: movdqa %xmm0, %xmm2217; X64-NEXT: pandn %xmm1, %xmm2218; X64-NEXT: psrad $31, %xmm1219; X64-NEXT: pxor {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm1220; X64-NEXT: pand %xmm1, %xmm0221; X64-NEXT: por %xmm2, %xmm0222; X64-NEXT: retq223 %tmp = call <4 x i32> @llvm.sadd.sat.v4i32(<4 x i32> %x, <4 x i32> %y);224 ret <4 x i32> %tmp;225}226