252 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=i686-- | FileCheck %s --check-prefixes=X863; RUN: llc < %s -mtriple=x86_64-- | FileCheck %s --check-prefixes=X644 5;6; fixed avg(x,y) = sub(or(x,y),ashr(xor(x,y),1))7;8; ext avg(x,y) = trunc(ashr(add(sext(x),sext(y),1),1))9;10 11define i8 @test_fixed_i8(i8 %a0, i8 %a1) nounwind {12; X86-LABEL: test_fixed_i8:13; X86: # %bb.0:14; X86-NEXT: movsbl {{[0-9]+}}(%esp), %eax15; X86-NEXT: movsbl {{[0-9]+}}(%esp), %ecx16; X86-NEXT: leal 1(%ecx,%eax), %eax17; X86-NEXT: shrl %eax18; X86-NEXT: # kill: def $al killed $al killed $eax19; X86-NEXT: retl20;21; X64-LABEL: test_fixed_i8:22; X64: # %bb.0:23; X64-NEXT: movsbl %sil, %eax24; X64-NEXT: movsbl %dil, %ecx25; X64-NEXT: leal 1(%rcx,%rax), %eax26; X64-NEXT: shrl %eax27; X64-NEXT: # kill: def $al killed $al killed $eax28; X64-NEXT: retq29 %or = or i8 %a0, %a130 %xor = xor i8 %a0, %a131 %shift = ashr i8 %xor, 132 %res = sub i8 %or, %shift33 ret i8 %res34}35 36define i8 @test_ext_i8(i8 %a0, i8 %a1) nounwind {37; X86-LABEL: test_ext_i8:38; X86: # %bb.0:39; X86-NEXT: movsbl {{[0-9]+}}(%esp), %eax40; X86-NEXT: movsbl {{[0-9]+}}(%esp), %ecx41; X86-NEXT: leal 1(%ecx,%eax), %eax42; X86-NEXT: shrl %eax43; X86-NEXT: # kill: def $al killed $al killed $eax44; X86-NEXT: retl45;46; X64-LABEL: test_ext_i8:47; X64: # %bb.0:48; X64-NEXT: movsbl %sil, %eax49; X64-NEXT: movsbl %dil, %ecx50; X64-NEXT: leal 1(%rcx,%rax), %eax51; X64-NEXT: shrl %eax52; X64-NEXT: # kill: def $al killed $al killed $eax53; X64-NEXT: retq54 %x0 = sext i8 %a0 to i1655 %x1 = sext i8 %a1 to i1656 %sum = add i16 %x0, %x157 %sum1 = add i16 %sum, 158 %shift = ashr i16 %sum1, 159 %res = trunc i16 %shift to i860 ret i8 %res61}62 63define i16 @test_fixed_i16(i16 %a0, i16 %a1) nounwind {64; X86-LABEL: test_fixed_i16:65; X86: # %bb.0:66; X86-NEXT: movswl {{[0-9]+}}(%esp), %eax67; X86-NEXT: movswl {{[0-9]+}}(%esp), %ecx68; X86-NEXT: leal 1(%ecx,%eax), %eax69; X86-NEXT: shrl %eax70; X86-NEXT: # kill: def $ax killed $ax killed $eax71; X86-NEXT: retl72;73; X64-LABEL: test_fixed_i16:74; X64: # %bb.0:75; X64-NEXT: movswl %si, %eax76; X64-NEXT: movswl %di, %ecx77; X64-NEXT: leal 1(%rcx,%rax), %eax78; X64-NEXT: shrl %eax79; X64-NEXT: # kill: def $ax killed $ax killed $eax80; X64-NEXT: retq81 %or = or i16 %a0, %a182 %xor = xor i16 %a0, %a183 %shift = ashr i16 %xor, 184 %res = sub i16 %or, %shift85 ret i16 %res86}87 88define i16 @test_ext_i16(i16 %a0, i16 %a1) nounwind {89; X86-LABEL: test_ext_i16:90; X86: # %bb.0:91; X86-NEXT: movswl {{[0-9]+}}(%esp), %eax92; X86-NEXT: movswl {{[0-9]+}}(%esp), %ecx93; X86-NEXT: leal 1(%ecx,%eax), %eax94; X86-NEXT: shrl %eax95; X86-NEXT: # kill: def $ax killed $ax killed $eax96; X86-NEXT: retl97;98; X64-LABEL: test_ext_i16:99; X64: # %bb.0:100; X64-NEXT: movswl %si, %eax101; X64-NEXT: movswl %di, %ecx102; X64-NEXT: leal 1(%rcx,%rax), %eax103; X64-NEXT: shrl %eax104; X64-NEXT: # kill: def $ax killed $ax killed $eax105; X64-NEXT: retq106 %x0 = sext i16 %a0 to i32107 %x1 = sext i16 %a1 to i32108 %sum = add i32 %x0, %x1109 %sum1 = add i32 %sum, 1110 %shift = ashr i32 %sum1, 1111 %res = trunc i32 %shift to i16112 ret i16 %res113}114 115define i32 @test_fixed_i32(i32 %a0, i32 %a1) nounwind {116; X86-LABEL: test_fixed_i32:117; X86: # %bb.0:118; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx119; X86-NEXT: movl {{[0-9]+}}(%esp), %edx120; X86-NEXT: movl %edx, %eax121; X86-NEXT: orl %ecx, %eax122; X86-NEXT: xorl %ecx, %edx123; X86-NEXT: sarl %edx124; X86-NEXT: subl %edx, %eax125; X86-NEXT: retl126;127; X64-LABEL: test_fixed_i32:128; X64: # %bb.0:129; X64-NEXT: movslq %esi, %rax130; X64-NEXT: movslq %edi, %rcx131; X64-NEXT: leaq 1(%rcx,%rax), %rax132; X64-NEXT: shrq %rax133; X64-NEXT: # kill: def $eax killed $eax killed $rax134; X64-NEXT: retq135 %or = or i32 %a0, %a1136 %xor = xor i32 %a1, %a0137 %shift = ashr i32 %xor, 1138 %res = sub i32 %or, %shift139 ret i32 %res140}141 142define i32 @test_ext_i32(i32 %a0, i32 %a1) nounwind {143; X86-LABEL: test_ext_i32:144; X86: # %bb.0:145; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx146; X86-NEXT: movl {{[0-9]+}}(%esp), %edx147; X86-NEXT: movl %edx, %eax148; X86-NEXT: orl %ecx, %eax149; X86-NEXT: xorl %ecx, %edx150; X86-NEXT: sarl %edx151; X86-NEXT: subl %edx, %eax152; X86-NEXT: retl153;154; X64-LABEL: test_ext_i32:155; X64: # %bb.0:156; X64-NEXT: movslq %esi, %rax157; X64-NEXT: movslq %edi, %rcx158; X64-NEXT: leaq 1(%rcx,%rax), %rax159; X64-NEXT: shrq %rax160; X64-NEXT: # kill: def $eax killed $eax killed $rax161; X64-NEXT: retq162 %x0 = sext i32 %a0 to i64163 %x1 = sext i32 %a1 to i64164 %sum = add i64 %x0, %x1165 %sum1 = add i64 %sum, 1166 %shift = ashr i64 %sum1, 1167 %res = trunc i64 %shift to i32168 ret i32 %res169}170 171define i64 @test_fixed_i64(i64 %a0, i64 %a1) nounwind {172; X86-LABEL: test_fixed_i64:173; X86: # %bb.0:174; X86-NEXT: pushl %ebx175; X86-NEXT: pushl %edi176; X86-NEXT: pushl %esi177; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx178; X86-NEXT: movl {{[0-9]+}}(%esp), %esi179; X86-NEXT: movl {{[0-9]+}}(%esp), %eax180; X86-NEXT: movl {{[0-9]+}}(%esp), %edx181; X86-NEXT: movl %eax, %edi182; X86-NEXT: xorl %ecx, %edi183; X86-NEXT: movl %edx, %ebx184; X86-NEXT: xorl %esi, %ebx185; X86-NEXT: shrdl $1, %ebx, %edi186; X86-NEXT: orl %esi, %edx187; X86-NEXT: sarl %ebx188; X86-NEXT: orl %ecx, %eax189; X86-NEXT: subl %edi, %eax190; X86-NEXT: sbbl %ebx, %edx191; X86-NEXT: popl %esi192; X86-NEXT: popl %edi193; X86-NEXT: popl %ebx194; X86-NEXT: retl195;196; X64-LABEL: test_fixed_i64:197; X64: # %bb.0:198; X64-NEXT: movq %rdi, %rax199; X64-NEXT: orq %rsi, %rax200; X64-NEXT: xorq %rsi, %rdi201; X64-NEXT: sarq %rdi202; X64-NEXT: subq %rdi, %rax203; X64-NEXT: retq204 %or = or i64 %a0, %a1205 %xor = xor i64 %a1, %a0206 %shift = ashr i64 %xor, 1207 %res = sub i64 %or, %shift208 ret i64 %res209}210 211define i64 @test_ext_i64(i64 %a0, i64 %a1) nounwind {212; X86-LABEL: test_ext_i64:213; X86: # %bb.0:214; X86-NEXT: pushl %ebx215; X86-NEXT: pushl %edi216; X86-NEXT: pushl %esi217; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx218; X86-NEXT: movl {{[0-9]+}}(%esp), %esi219; X86-NEXT: movl {{[0-9]+}}(%esp), %eax220; X86-NEXT: movl {{[0-9]+}}(%esp), %edx221; X86-NEXT: movl %eax, %edi222; X86-NEXT: xorl %ecx, %edi223; X86-NEXT: movl %edx, %ebx224; X86-NEXT: xorl %esi, %ebx225; X86-NEXT: shrdl $1, %ebx, %edi226; X86-NEXT: orl %esi, %edx227; X86-NEXT: sarl %ebx228; X86-NEXT: orl %ecx, %eax229; X86-NEXT: subl %edi, %eax230; X86-NEXT: sbbl %ebx, %edx231; X86-NEXT: popl %esi232; X86-NEXT: popl %edi233; X86-NEXT: popl %ebx234; X86-NEXT: retl235;236; X64-LABEL: test_ext_i64:237; X64: # %bb.0:238; X64-NEXT: movq %rdi, %rax239; X64-NEXT: orq %rsi, %rax240; X64-NEXT: xorq %rsi, %rdi241; X64-NEXT: sarq %rdi242; X64-NEXT: subq %rdi, %rax243; X64-NEXT: retq244 %x0 = sext i64 %a0 to i128245 %x1 = sext i64 %a1 to i128246 %sum = add i128 %x0, %x1247 %sum1 = add i128 %sum, 1248 %shift = ashr i128 %sum1, 1249 %res = trunc i128 %shift to i64250 ret i64 %res251}252