125 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=i686-unknown -mattr=+avx512f,+avx512bw,+avx512vl,+avx512dq | FileCheck %s -check-prefix=X863; RUN: llc < %s -mtriple=x86_64-unknown -mattr=+avx512f,+avx512bw,+avx512vl,+avx512dq | FileCheck %s -check-prefix=X644; According to https://bugs.llvm.org/show_bug.cgi?id=32329 it checks DAG ISEL failure on SKX target5 6%struct.AA = type { i24, [4 x i8] }7 8@obj = external dso_local local_unnamed_addr global %struct.AA, align 89@var_27 = external dso_local local_unnamed_addr constant i8, align 110@var_2 = external dso_local local_unnamed_addr constant i16, align 211@var_24 = external dso_local local_unnamed_addr constant i64, align 812@var_310 = external dso_local local_unnamed_addr global i64, align 813@var_50 = external dso_local local_unnamed_addr global i64, align 814@var_205 = external dso_local local_unnamed_addr global i8, align 115@var_218 = external dso_local local_unnamed_addr global i8, align 116 17define void @foo() local_unnamed_addr {18; X86-LABEL: foo:19; X86: # %bb.0: # %entry20; X86-NEXT: pushl %ebp21; X86-NEXT: .cfi_def_cfa_offset 822; X86-NEXT: pushl %ebx23; X86-NEXT: .cfi_def_cfa_offset 1224; X86-NEXT: pushl %edi25; X86-NEXT: .cfi_def_cfa_offset 1626; X86-NEXT: pushl %esi27; X86-NEXT: .cfi_def_cfa_offset 2028; X86-NEXT: .cfi_offset %esi, -2029; X86-NEXT: .cfi_offset %edi, -1630; X86-NEXT: .cfi_offset %ebx, -1231; X86-NEXT: .cfi_offset %ebp, -832; X86-NEXT: movsbl var_27, %eax33; X86-NEXT: movzwl var_2, %ebx34; X86-NEXT: movl var_310, %ecx35; X86-NEXT: imull %eax, %ecx36; X86-NEXT: addl var_24, %ecx37; X86-NEXT: movl $4194303, %esi # imm = 0x3FFFFF38; X86-NEXT: andl obj, %esi39; X86-NEXT: leal (%esi,%esi), %edx40; X86-NEXT: subl %eax, %edx41; X86-NEXT: movl %edx, %edi42; X86-NEXT: subl %ebx, %edi43; X86-NEXT: imull %edi, %ecx44; X86-NEXT: addb $113, %cl45; X86-NEXT: movl $9, %ebx46; X86-NEXT: xorl %ebp, %ebp47; X86-NEXT: shldl %cl, %ebx, %ebp48; X86-NEXT: shll %cl, %ebx49; X86-NEXT: testb $32, %cl50; X86-NEXT: cmovnel %ebx, %ebp51; X86-NEXT: movl $0, %ecx52; X86-NEXT: cmovnel %ecx, %ebx53; X86-NEXT: cmpl %esi, %edi54; X86-NEXT: movl %ebp, var_50+455; X86-NEXT: movl %ebx, var_5056; X86-NEXT: setge var_20557; X86-NEXT: imull %eax, %edx58; X86-NEXT: movb %dl, var_21859; X86-NEXT: popl %esi60; X86-NEXT: .cfi_def_cfa_offset 1661; X86-NEXT: popl %edi62; X86-NEXT: .cfi_def_cfa_offset 1263; X86-NEXT: popl %ebx64; X86-NEXT: .cfi_def_cfa_offset 865; X86-NEXT: popl %ebp66; X86-NEXT: .cfi_def_cfa_offset 467; X86-NEXT: retl68;69; X64-LABEL: foo:70; X64: # %bb.0: # %entry71; X64-NEXT: movsbl var_27(%rip), %eax72; X64-NEXT: movzwl var_2(%rip), %edx73; X64-NEXT: movl var_310(%rip), %ecx74; X64-NEXT: imull %eax, %ecx75; X64-NEXT: addl var_24(%rip), %ecx76; X64-NEXT: movl $4194303, %esi # imm = 0x3FFFFF77; X64-NEXT: andl obj(%rip), %esi78; X64-NEXT: leal (%rsi,%rsi), %edi79; X64-NEXT: subl %eax, %edi80; X64-NEXT: movl %edi, %r8d81; X64-NEXT: subl %edx, %r8d82; X64-NEXT: imull %r8d, %ecx83; X64-NEXT: addb $113, %cl84; X64-NEXT: movl $9, %edx85; X64-NEXT: # kill: def $cl killed $cl killed $ecx86; X64-NEXT: shlq %cl, %rdx87; X64-NEXT: movq %rdx, var_50(%rip)88; X64-NEXT: cmpl %esi, %r8d89; X64-NEXT: setge var_205(%rip)90; X64-NEXT: imull %eax, %edi91; X64-NEXT: movb %dil, var_218(%rip)92; X64-NEXT: retq93 entry:94 %bf.load = load i32, ptr @obj, align 895 %bf.clear = shl i32 %bf.load, 196 %add = and i32 %bf.clear, 838860697 %0 = load i8, ptr @var_27, align 198 %conv5 = sext i8 %0 to i3299 %sub = sub nsw i32 %add, %conv5100 %1 = load i16, ptr @var_2, align 2101 %conv6 = zext i16 %1 to i32102 %sub7 = sub nsw i32 %sub, %conv6103 %conv8 = sext i32 %sub7 to i64104 %2 = load i64, ptr @var_24, align 8105 %3 = load i64, ptr @var_310, align 8106 %conv9 = sext i8 %0 to i64107 %mul = mul i64 %3, %conv9108 %add10 = add i64 %mul, %2109 %mul11 = mul i64 %add10, %conv8110 %sub12 = add i64 %mul11, 8662905354777116273111 %shl = shl i64 9, %sub12112 store i64 %shl, ptr @var_50, align 8113 %bf.clear14 = and i32 %bf.load, 4194303114 %add21 = shl nuw nsw i32 %bf.clear14, 1115 %sub23 = sub nsw i32 %add21, %conv5116 %sub25 = sub nsw i32 %sub23, %conv6117 %cmp = icmp sge i32 %sub25, %bf.clear14118 %conv30 = zext i1 %cmp to i8119 store i8 %conv30, ptr @var_205, align 1120 %mul43 = mul nsw i32 %sub, %conv5121 %conv44 = trunc i32 %mul43 to i8122 store i8 %conv44, ptr @var_218, align 1123 ret void124}125