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.ssub.sat.i4(i4, i4)6declare i8 @llvm.ssub.sat.i8(i8, i8)7declare i16 @llvm.ssub.sat.i16(i16, i16)8declare i32 @llvm.ssub.sat.i32(i32, i32)9declare i64 @llvm.ssub.sat.i64(i64, i64)10declare <4 x i32> @llvm.ssub.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), %edx17; X86-NEXT: xorl %ecx, %ecx18; X86-NEXT: cmpl %edx, %eax19; X86-NEXT: setns %cl20; X86-NEXT: addl $2147483647, %ecx # imm = 0x7FFFFFFF21; X86-NEXT: subl %edx, %eax22; X86-NEXT: cmovol %ecx, %eax23; X86-NEXT: retl24;25; X64-LABEL: func:26; X64: # %bb.0:27; X64-NEXT: xorl %eax, %eax28; X64-NEXT: cmpl %esi, %edi29; X64-NEXT: setns %al30; X64-NEXT: addl $2147483647, %eax # imm = 0x7FFFFFFF31; X64-NEXT: subl %esi, %edi32; X64-NEXT: cmovnol %edi, %eax33; X64-NEXT: retq34 %tmp = call i32 @llvm.ssub.sat.i32(i32 %x, i32 %y)35 ret i32 %tmp36}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: subl {{[0-9]+}}(%esp), %eax45; X86-NEXT: sbbl {{[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: xorl %ecx, %ecx60; X64-NEXT: cmpq %rsi, %rdi61; X64-NEXT: setns %cl62; X64-NEXT: movabsq $9223372036854775807, %rax # imm = 0x7FFFFFFFFFFFFFFF63; X64-NEXT: addq %rcx, %rax64; X64-NEXT: subq %rsi, %rdi65; X64-NEXT: cmovnoq %rdi, %rax66; X64-NEXT: retq67 %tmp = call i64 @llvm.ssub.sat.i64(i64 %x, i64 %y)68 ret i64 %tmp69}70 71define signext i16 @func16(i16 signext %x, i16 signext %y) nounwind {72; X86-LABEL: func16:73; X86: # %bb.0:74; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax75; X86-NEXT: movzwl {{[0-9]+}}(%esp), %edx76; X86-NEXT: xorl %ecx, %ecx77; X86-NEXT: cmpw %dx, %ax78; X86-NEXT: setns %cl79; X86-NEXT: addl $32767, %ecx # imm = 0x7FFF80; X86-NEXT: subw %dx, %ax81; X86-NEXT: cmovol %ecx, %eax82; X86-NEXT: # kill: def $ax killed $ax killed $eax83; X86-NEXT: retl84;85; X64-LABEL: func16:86; X64: # %bb.0:87; X64-NEXT: xorl %eax, %eax88; X64-NEXT: cmpw %si, %di89; X64-NEXT: setns %al90; X64-NEXT: addl $32767, %eax # imm = 0x7FFF91; X64-NEXT: subw %si, %di92; X64-NEXT: cmovnol %edi, %eax93; X64-NEXT: # kill: def $ax killed $ax killed $eax94; X64-NEXT: retq95 %tmp = call i16 @llvm.ssub.sat.i16(i16 %x, i16 %y)96 ret i16 %tmp97}98 99define signext i8 @func8(i8 signext %x, i8 signext %y) nounwind {100; X86-LABEL: func8:101; X86: # %bb.0:102; X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax103; X86-NEXT: movzbl {{[0-9]+}}(%esp), %edx104; X86-NEXT: xorl %ecx, %ecx105; X86-NEXT: cmpb %dl, %al106; X86-NEXT: setns %cl107; X86-NEXT: addl $127, %ecx108; X86-NEXT: subb %dl, %al109; X86-NEXT: movzbl %al, %eax110; X86-NEXT: cmovol %ecx, %eax111; X86-NEXT: # kill: def $al killed $al killed $eax112; X86-NEXT: retl113;114; X64-LABEL: func8:115; X64: # %bb.0:116; X64-NEXT: xorl %ecx, %ecx117; X64-NEXT: cmpb %sil, %dil118; X64-NEXT: setns %cl119; X64-NEXT: addl $127, %ecx120; X64-NEXT: subb %sil, %dil121; X64-NEXT: movzbl %dil, %eax122; X64-NEXT: cmovol %ecx, %eax123; X64-NEXT: # kill: def $al killed $al killed $eax124; X64-NEXT: retq125 %tmp = call i8 @llvm.ssub.sat.i8(i8 %x, i8 %y)126 ret i8 %tmp127}128 129define signext i4 @func3(i4 signext %x, i4 signext %y) nounwind {130; X86-LABEL: func3:131; X86: # %bb.0:132; X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax133; X86-NEXT: subb {{[0-9]+}}(%esp), %al134; X86-NEXT: movzbl %al, %ecx135; X86-NEXT: cmpb $7, %al136; X86-NEXT: movl $7, %eax137; X86-NEXT: cmovll %ecx, %eax138; X86-NEXT: cmpb $-7, %al139; X86-NEXT: movl $248, %ecx140; X86-NEXT: cmovgel %eax, %ecx141; X86-NEXT: movsbl %cl, %eax142; X86-NEXT: retl143;144; X64-LABEL: func3:145; X64: # %bb.0:146; X64-NEXT: subb %sil, %dil147; X64-NEXT: movzbl %dil, %eax148; X64-NEXT: cmpb $7, %al149; X64-NEXT: movl $7, %ecx150; X64-NEXT: cmovll %eax, %ecx151; X64-NEXT: cmpb $-7, %cl152; X64-NEXT: movl $248, %eax153; X64-NEXT: cmovgel %ecx, %eax154; X64-NEXT: movsbl %al, %eax155; X64-NEXT: retq156 %tmp = call i4 @llvm.ssub.sat.i4(i4 %x, i4 %y)157 ret i4 %tmp158}159 160define <4 x i32> @vec(<4 x i32> %x, <4 x i32> %y) nounwind {161; X86-LABEL: vec:162; X86: # %bb.0:163; X86-NEXT: pushl %ebx164; X86-NEXT: pushl %edi165; X86-NEXT: pushl %esi166; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx167; X86-NEXT: movl {{[0-9]+}}(%esp), %edx168; X86-NEXT: xorl %eax, %eax169; X86-NEXT: cmpl %edx, %ecx170; X86-NEXT: setns %al171; X86-NEXT: addl $2147483647, %eax # imm = 0x7FFFFFFF172; X86-NEXT: subl %edx, %ecx173; X86-NEXT: movl {{[0-9]+}}(%esp), %edx174; X86-NEXT: cmovol %eax, %ecx175; X86-NEXT: movl {{[0-9]+}}(%esp), %esi176; X86-NEXT: xorl %eax, %eax177; X86-NEXT: cmpl %esi, %edx178; X86-NEXT: setns %al179; X86-NEXT: addl $2147483647, %eax # imm = 0x7FFFFFFF180; X86-NEXT: subl %esi, %edx181; X86-NEXT: movl {{[0-9]+}}(%esp), %esi182; X86-NEXT: cmovol %eax, %edx183; X86-NEXT: movl {{[0-9]+}}(%esp), %edi184; X86-NEXT: xorl %eax, %eax185; X86-NEXT: cmpl %edi, %esi186; X86-NEXT: setns %al187; X86-NEXT: addl $2147483647, %eax # imm = 0x7FFFFFFF188; X86-NEXT: subl %edi, %esi189; X86-NEXT: movl {{[0-9]+}}(%esp), %edi190; X86-NEXT: cmovol %eax, %esi191; X86-NEXT: movl {{[0-9]+}}(%esp), %eax192; X86-NEXT: xorl %ebx, %ebx193; X86-NEXT: cmpl %eax, %edi194; X86-NEXT: setns %bl195; X86-NEXT: addl $2147483647, %ebx # imm = 0x7FFFFFFF196; X86-NEXT: subl %eax, %edi197; X86-NEXT: movl {{[0-9]+}}(%esp), %eax198; X86-NEXT: cmovol %ebx, %edi199; X86-NEXT: movl %ecx, 12(%eax)200; X86-NEXT: movl %edx, 8(%eax)201; X86-NEXT: movl %esi, 4(%eax)202; X86-NEXT: movl %edi, (%eax)203; X86-NEXT: popl %esi204; X86-NEXT: popl %edi205; X86-NEXT: popl %ebx206; X86-NEXT: retl $4207;208; X64-LABEL: vec:209; X64: # %bb.0:210; X64-NEXT: pxor %xmm2, %xmm2211; X64-NEXT: movdqa %xmm0, %xmm3212; X64-NEXT: psubd %xmm1, %xmm3213; X64-NEXT: pcmpgtd %xmm2, %xmm1214; X64-NEXT: pcmpgtd %xmm3, %xmm0215; X64-NEXT: pxor %xmm1, %xmm0216; X64-NEXT: movdqa %xmm0, %xmm1217; X64-NEXT: pandn %xmm3, %xmm1218; X64-NEXT: psrad $31, %xmm3219; X64-NEXT: pxor {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm3220; X64-NEXT: pand %xmm3, %xmm0221; X64-NEXT: por %xmm1, %xmm0222; X64-NEXT: retq223 %tmp = call <4 x i32> @llvm.ssub.sat.v4i32(<4 x i32> %x, <4 x i32> %y)224 ret <4 x i32> %tmp225}226