164 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.uadd.sat.i4(i4, i4)6declare i8 @llvm.uadd.sat.i8(i8, i8)7declare i16 @llvm.uadd.sat.i16(i16, i16)8declare i32 @llvm.uadd.sat.i32(i32, i32)9declare i64 @llvm.uadd.sat.i64(i64, i64)10declare <4 x i32> @llvm.uadd.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), %ecx16; X86-NEXT: addl {{[0-9]+}}(%esp), %ecx17; X86-NEXT: movl $-1, %eax18; X86-NEXT: cmovael %ecx, %eax19; X86-NEXT: retl20;21; X64-LABEL: func:22; X64: # %bb.0:23; X64-NEXT: addl %esi, %edi24; X64-NEXT: movl $-1, %eax25; X64-NEXT: cmovael %edi, %eax26; X64-NEXT: retq27 %tmp = call i32 @llvm.uadd.sat.i32(i32 %x, i32 %y)28 ret i32 %tmp29}30 31define i64 @func2(i64 %x, i64 %y) nounwind {32; X86-LABEL: func2:33; X86: # %bb.0:34; X86-NEXT: movl {{[0-9]+}}(%esp), %eax35; X86-NEXT: movl {{[0-9]+}}(%esp), %edx36; X86-NEXT: addl {{[0-9]+}}(%esp), %eax37; X86-NEXT: adcl {{[0-9]+}}(%esp), %edx38; X86-NEXT: movl $-1, %ecx39; X86-NEXT: cmovbl %ecx, %edx40; X86-NEXT: cmovbl %ecx, %eax41; X86-NEXT: retl42;43; X64-LABEL: func2:44; X64: # %bb.0:45; X64-NEXT: addq %rsi, %rdi46; X64-NEXT: movq $-1, %rax47; X64-NEXT: cmovaeq %rdi, %rax48; X64-NEXT: retq49 %tmp = call i64 @llvm.uadd.sat.i64(i64 %x, i64 %y)50 ret i64 %tmp51}52 53define zeroext i16 @func16(i16 zeroext %x, i16 zeroext %y) nounwind {54; X86-LABEL: func16:55; X86: # %bb.0:56; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx57; X86-NEXT: addw {{[0-9]+}}(%esp), %cx58; X86-NEXT: movl $65535, %eax # imm = 0xFFFF59; X86-NEXT: cmovael %ecx, %eax60; X86-NEXT: # kill: def $ax killed $ax killed $eax61; X86-NEXT: retl62;63; X64-LABEL: func16:64; X64: # %bb.0:65; X64-NEXT: addw %si, %di66; X64-NEXT: movl $65535, %eax # imm = 0xFFFF67; X64-NEXT: cmovael %edi, %eax68; X64-NEXT: # kill: def $ax killed $ax killed $eax69; X64-NEXT: retq70 %tmp = call i16 @llvm.uadd.sat.i16(i16 %x, i16 %y)71 ret i16 %tmp72}73 74define zeroext i8 @func8(i8 zeroext %x, i8 zeroext %y) nounwind {75; X86-LABEL: func8:76; X86: # %bb.0:77; X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax78; X86-NEXT: addb {{[0-9]+}}(%esp), %al79; X86-NEXT: movzbl %al, %ecx80; X86-NEXT: movl $255, %eax81; X86-NEXT: cmovael %ecx, %eax82; X86-NEXT: # kill: def $al killed $al killed $eax83; X86-NEXT: retl84;85; X64-LABEL: func8:86; X64: # %bb.0:87; X64-NEXT: addb %sil, %dil88; X64-NEXT: movzbl %dil, %ecx89; X64-NEXT: movl $255, %eax90; X64-NEXT: cmovael %ecx, %eax91; X64-NEXT: # kill: def $al killed $al killed $eax92; X64-NEXT: retq93 %tmp = call i8 @llvm.uadd.sat.i8(i8 %x, i8 %y)94 ret i8 %tmp95}96 97define zeroext i4 @func3(i4 zeroext %x, i4 zeroext %y) nounwind {98; X86-LABEL: func3:99; X86: # %bb.0:100; X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax101; X86-NEXT: addb {{[0-9]+}}(%esp), %al102; X86-NEXT: movzbl %al, %ecx103; X86-NEXT: cmpb $15, %al104; X86-NEXT: movl $15, %eax105; X86-NEXT: cmovbl %ecx, %eax106; X86-NEXT: movzbl %al, %eax107; X86-NEXT: retl108;109; X64-LABEL: func3:110; X64: # %bb.0:111; X64-NEXT: addb %sil, %dil112; X64-NEXT: movzbl %dil, %eax113; X64-NEXT: cmpb $15, %al114; X64-NEXT: movl $15, %ecx115; X64-NEXT: cmovbl %eax, %ecx116; X64-NEXT: movzbl %cl, %eax117; X64-NEXT: retq118 %tmp = call i4 @llvm.uadd.sat.i4(i4 %x, i4 %y)119 ret i4 %tmp120}121 122define <4 x i32> @vec(<4 x i32> %x, <4 x i32> %y) nounwind {123; X86-LABEL: vec:124; X86: # %bb.0:125; X86-NEXT: pushl %ebx126; X86-NEXT: pushl %edi127; X86-NEXT: pushl %esi128; X86-NEXT: movl {{[0-9]+}}(%esp), %eax129; X86-NEXT: movl {{[0-9]+}}(%esp), %edi130; X86-NEXT: movl {{[0-9]+}}(%esp), %esi131; X86-NEXT: movl {{[0-9]+}}(%esp), %edx132; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx133; X86-NEXT: addl {{[0-9]+}}(%esp), %ecx134; X86-NEXT: movl $-1, %ebx135; X86-NEXT: cmovbl %ebx, %ecx136; X86-NEXT: addl {{[0-9]+}}(%esp), %edx137; X86-NEXT: cmovbl %ebx, %edx138; X86-NEXT: addl {{[0-9]+}}(%esp), %esi139; X86-NEXT: cmovbl %ebx, %esi140; X86-NEXT: addl {{[0-9]+}}(%esp), %edi141; X86-NEXT: cmovbl %ebx, %edi142; X86-NEXT: movl %edi, 12(%eax)143; X86-NEXT: movl %esi, 8(%eax)144; X86-NEXT: movl %edx, 4(%eax)145; X86-NEXT: movl %ecx, (%eax)146; X86-NEXT: popl %esi147; X86-NEXT: popl %edi148; X86-NEXT: popl %ebx149; X86-NEXT: retl $4150;151; X64-LABEL: vec:152; X64: # %bb.0:153; X64-NEXT: movdqa {{.*#+}} xmm2 = [2147483648,2147483648,2147483648,2147483648]154; X64-NEXT: movdqa %xmm0, %xmm3155; X64-NEXT: pxor %xmm2, %xmm3156; X64-NEXT: paddd %xmm1, %xmm0157; X64-NEXT: pxor %xmm0, %xmm2158; X64-NEXT: pcmpgtd %xmm2, %xmm3159; X64-NEXT: por %xmm3, %xmm0160; X64-NEXT: retq161 %tmp = call <4 x i32> @llvm.uadd.sat.v4i32(<4 x i32> %x, <4 x i32> %y)162 ret <4 x i32> %tmp163}164