243 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=slp-vectorizer -S -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s3 4; See https://reviews.llvm.org/D70068 and https://reviews.llvm.org/D70587 for context5 6; Checks that vector insertvalues into the struct become SLP seeds.7define { <2 x float>, <2 x float> } @StructOfVectors(ptr %Ptr) {8; CHECK-LABEL: @StructOfVectors(9; CHECK-NEXT: [[TMP2:%.*]] = load <4 x float>, ptr [[PTR:%.*]], align 410; CHECK-NEXT: [[TMP3:%.*]] = fadd fast <4 x float> [[TMP2]], <float 1.100000e+01, float 1.200000e+01, float 1.300000e+01, float 1.400000e+01>11; CHECK-NEXT: [[TMP4:%.*]] = shufflevector <4 x float> [[TMP3]], <4 x float> poison, <2 x i32> <i32 0, i32 1>12; CHECK-NEXT: [[TMP5:%.*]] = shufflevector <4 x float> [[TMP3]], <4 x float> poison, <2 x i32> <i32 2, i32 3>13; CHECK-NEXT: [[RET0:%.*]] = insertvalue { <2 x float>, <2 x float> } undef, <2 x float> [[TMP4]], 014; CHECK-NEXT: [[RET1:%.*]] = insertvalue { <2 x float>, <2 x float> } [[RET0]], <2 x float> [[TMP5]], 115; CHECK-NEXT: ret { <2 x float>, <2 x float> } [[RET1]]16;17 %L0 = load float, ptr %Ptr18 %GEP1 = getelementptr inbounds float, ptr %Ptr, i64 119 %L1 = load float, ptr %GEP120 %GEP2 = getelementptr inbounds float, ptr %Ptr, i64 221 %L2 = load float, ptr %GEP222 %GEP3 = getelementptr inbounds float, ptr %Ptr, i64 323 %L3 = load float, ptr %GEP324 25 %Fadd0 = fadd fast float %L0, 1.1e+0126 %Fadd1 = fadd fast float %L1, 1.2e+0127 %Fadd2 = fadd fast float %L2, 1.3e+0128 %Fadd3 = fadd fast float %L3, 1.4e+0129 30 %VecIn0 = insertelement <2 x float> undef, float %Fadd0, i64 031 %VecIn1 = insertelement <2 x float> %VecIn0, float %Fadd1, i64 132 33 %VecIn2 = insertelement <2 x float> undef, float %Fadd2, i64 034 %VecIn3 = insertelement <2 x float> %VecIn2, float %Fadd3, i64 135 36 %Ret0 = insertvalue {<2 x float>, <2 x float>} undef, <2 x float> %VecIn1, 037 %Ret1 = insertvalue {<2 x float>, <2 x float>} %Ret0, <2 x float> %VecIn3, 138 ret {<2 x float>, <2 x float>} %Ret139}40 41%StructTy = type { float, float}42 43define [2 x %StructTy] @ArrayOfStruct(ptr %Ptr) {44; CHECK-LABEL: @ArrayOfStruct(45; CHECK-NEXT: [[TMP2:%.*]] = load <4 x float>, ptr [[PTR:%.*]], align 446; CHECK-NEXT: [[TMP3:%.*]] = fadd fast <4 x float> [[TMP2]], <float 1.100000e+01, float 1.200000e+01, float 1.300000e+01, float 1.400000e+01>47; CHECK-NEXT: [[TMP4:%.*]] = extractelement <4 x float> [[TMP3]], i32 048; CHECK-NEXT: [[STRUCTIN0:%.*]] = insertvalue [[STRUCTTY:%.*]] undef, float [[TMP4]], 049; CHECK-NEXT: [[TMP5:%.*]] = extractelement <4 x float> [[TMP3]], i32 150; CHECK-NEXT: [[STRUCTIN1:%.*]] = insertvalue [[STRUCTTY]] [[STRUCTIN0]], float [[TMP5]], 151; CHECK-NEXT: [[TMP6:%.*]] = extractelement <4 x float> [[TMP3]], i32 252; CHECK-NEXT: [[STRUCTIN2:%.*]] = insertvalue [[STRUCTTY]] undef, float [[TMP6]], 053; CHECK-NEXT: [[TMP7:%.*]] = extractelement <4 x float> [[TMP3]], i32 354; CHECK-NEXT: [[STRUCTIN3:%.*]] = insertvalue [[STRUCTTY]] [[STRUCTIN2]], float [[TMP7]], 155; CHECK-NEXT: [[RET0:%.*]] = insertvalue [2 x %StructTy] undef, [[STRUCTTY]] [[STRUCTIN1]], 056; CHECK-NEXT: [[RET1:%.*]] = insertvalue [2 x %StructTy] [[RET0]], [[STRUCTTY]] [[STRUCTIN3]], 157; CHECK-NEXT: ret [2 x %StructTy] [[RET1]]58;59 %L0 = load float, ptr %Ptr60 %GEP1 = getelementptr inbounds float, ptr %Ptr, i64 161 %L1 = load float, ptr %GEP162 %GEP2 = getelementptr inbounds float, ptr %Ptr, i64 263 %L2 = load float, ptr %GEP264 %GEP3 = getelementptr inbounds float, ptr %Ptr, i64 365 %L3 = load float, ptr %GEP366 67 %Fadd0 = fadd fast float %L0, 1.1e+0168 %Fadd1 = fadd fast float %L1, 1.2e+0169 %Fadd2 = fadd fast float %L2, 1.3e+0170 %Fadd3 = fadd fast float %L3, 1.4e+0171 72 %StructIn0 = insertvalue %StructTy undef, float %Fadd0, 073 %StructIn1 = insertvalue %StructTy %StructIn0, float %Fadd1, 174 75 %StructIn2 = insertvalue %StructTy undef, float %Fadd2, 076 %StructIn3 = insertvalue %StructTy %StructIn2, float %Fadd3, 177 78 %Ret0 = insertvalue [2 x %StructTy] undef, %StructTy %StructIn1, 079 %Ret1 = insertvalue [2 x %StructTy] %Ret0, %StructTy %StructIn3, 180 ret [2 x %StructTy] %Ret181}82 83define {%StructTy, %StructTy} @StructOfStruct(ptr %Ptr) {84; CHECK-LABEL: @StructOfStruct(85; CHECK-NEXT: [[TMP2:%.*]] = load <4 x float>, ptr [[PTR:%.*]], align 486; CHECK-NEXT: [[TMP3:%.*]] = fadd fast <4 x float> [[TMP2]], <float 1.100000e+01, float 1.200000e+01, float 1.300000e+01, float 1.400000e+01>87; CHECK-NEXT: [[TMP4:%.*]] = extractelement <4 x float> [[TMP3]], i32 088; CHECK-NEXT: [[STRUCTIN0:%.*]] = insertvalue [[STRUCTTY:%.*]] undef, float [[TMP4]], 089; CHECK-NEXT: [[TMP5:%.*]] = extractelement <4 x float> [[TMP3]], i32 190; CHECK-NEXT: [[STRUCTIN1:%.*]] = insertvalue [[STRUCTTY]] [[STRUCTIN0]], float [[TMP5]], 191; CHECK-NEXT: [[TMP6:%.*]] = extractelement <4 x float> [[TMP3]], i32 292; CHECK-NEXT: [[STRUCTIN2:%.*]] = insertvalue [[STRUCTTY]] undef, float [[TMP6]], 093; CHECK-NEXT: [[TMP7:%.*]] = extractelement <4 x float> [[TMP3]], i32 394; CHECK-NEXT: [[STRUCTIN3:%.*]] = insertvalue [[STRUCTTY]] [[STRUCTIN2]], float [[TMP7]], 195; CHECK-NEXT: [[RET0:%.*]] = insertvalue { [[STRUCTTY]], [[STRUCTTY]] } undef, [[STRUCTTY]] [[STRUCTIN1]], 096; CHECK-NEXT: [[RET1:%.*]] = insertvalue { [[STRUCTTY]], [[STRUCTTY]] } [[RET0]], [[STRUCTTY]] [[STRUCTIN3]], 197; CHECK-NEXT: ret { [[STRUCTTY]], [[STRUCTTY]] } [[RET1]]98;99 %L0 = load float, ptr %Ptr100 %GEP1 = getelementptr inbounds float, ptr %Ptr, i64 1101 %L1 = load float, ptr %GEP1102 %GEP2 = getelementptr inbounds float, ptr %Ptr, i64 2103 %L2 = load float, ptr %GEP2104 %GEP3 = getelementptr inbounds float, ptr %Ptr, i64 3105 %L3 = load float, ptr %GEP3106 107 %Fadd0 = fadd fast float %L0, 1.1e+01108 %Fadd1 = fadd fast float %L1, 1.2e+01109 %Fadd2 = fadd fast float %L2, 1.3e+01110 %Fadd3 = fadd fast float %L3, 1.4e+01111 112 %StructIn0 = insertvalue %StructTy undef, float %Fadd0, 0113 %StructIn1 = insertvalue %StructTy %StructIn0, float %Fadd1, 1114 115 %StructIn2 = insertvalue %StructTy undef, float %Fadd2, 0116 %StructIn3 = insertvalue %StructTy %StructIn2, float %Fadd3, 1117 118 %Ret0 = insertvalue {%StructTy, %StructTy} undef, %StructTy %StructIn1, 0119 %Ret1 = insertvalue {%StructTy, %StructTy} %Ret0, %StructTy %StructIn3, 1120 ret {%StructTy, %StructTy} %Ret1121}122 123define {%StructTy, float, float} @NonHomogeneousStruct(ptr %Ptr) {124; CHECK-LABEL: @NonHomogeneousStruct(125; CHECK-NEXT: [[L0:%.*]] = load float, ptr [[PTR:%.*]], align 4126; CHECK-NEXT: [[GEP1:%.*]] = getelementptr inbounds float, ptr [[PTR]], i64 1127; CHECK-NEXT: [[L1:%.*]] = load float, ptr [[GEP1]], align 4128; CHECK-NEXT: [[GEP2:%.*]] = getelementptr inbounds float, ptr [[PTR]], i64 2129; CHECK-NEXT: [[L2:%.*]] = load float, ptr [[GEP2]], align 4130; CHECK-NEXT: [[GEP3:%.*]] = getelementptr inbounds float, ptr [[PTR]], i64 3131; CHECK-NEXT: [[L3:%.*]] = load float, ptr [[GEP3]], align 4132; CHECK-NEXT: [[FADD0:%.*]] = fadd fast float [[L0]], 1.100000e+01133; CHECK-NEXT: [[FADD1:%.*]] = fadd fast float [[L1]], 1.200000e+01134; CHECK-NEXT: [[FADD2:%.*]] = fadd fast float [[L2]], 1.300000e+01135; CHECK-NEXT: [[FADD3:%.*]] = fadd fast float [[L3]], 1.400000e+01136; CHECK-NEXT: [[STRUCTIN0:%.*]] = insertvalue [[STRUCTTY:%.*]] undef, float [[FADD0]], 0137; CHECK-NEXT: [[STRUCTIN1:%.*]] = insertvalue [[STRUCTTY]] [[STRUCTIN0]], float [[FADD1]], 1138; CHECK-NEXT: [[RET0:%.*]] = insertvalue { [[STRUCTTY]], float, float } undef, [[STRUCTTY]] [[STRUCTIN1]], 0139; CHECK-NEXT: [[RET1:%.*]] = insertvalue { [[STRUCTTY]], float, float } [[RET0]], float [[FADD2]], 1140; CHECK-NEXT: [[RET2:%.*]] = insertvalue { [[STRUCTTY]], float, float } [[RET1]], float [[FADD3]], 2141; CHECK-NEXT: ret { [[STRUCTTY]], float, float } [[RET2]]142;143 %L0 = load float, ptr %Ptr144 %GEP1 = getelementptr inbounds float, ptr %Ptr, i64 1145 %L1 = load float, ptr %GEP1146 %GEP2 = getelementptr inbounds float, ptr %Ptr, i64 2147 %L2 = load float, ptr %GEP2148 %GEP3 = getelementptr inbounds float, ptr %Ptr, i64 3149 %L3 = load float, ptr %GEP3150 151 %Fadd0 = fadd fast float %L0, 1.1e+01152 %Fadd1 = fadd fast float %L1, 1.2e+01153 %Fadd2 = fadd fast float %L2, 1.3e+01154 %Fadd3 = fadd fast float %L3, 1.4e+01155 156 %StructIn0 = insertvalue %StructTy undef, float %Fadd0, 0157 %StructIn1 = insertvalue %StructTy %StructIn0, float %Fadd1, 1158 159 %Ret0 = insertvalue {%StructTy, float, float} undef, %StructTy %StructIn1, 0160 %Ret1 = insertvalue {%StructTy, float, float} %Ret0, float %Fadd2, 1161 %Ret2 = insertvalue {%StructTy, float, float} %Ret1, float %Fadd3, 2162 ret {%StructTy, float, float} %Ret2163}164 165%Struct1Ty = type { i16, i16 }166%Struct2Ty = type { %Struct1Ty, %Struct1Ty}167 168define {%Struct2Ty, %Struct2Ty} @StructOfStructOfStruct(ptr %Ptr) {169; CHECK-LABEL: @StructOfStructOfStruct(170; CHECK-NEXT: [[TMP2:%.*]] = load <8 x i16>, ptr [[PTR:%.*]], align 2171; CHECK-NEXT: [[TMP3:%.*]] = add <8 x i16> [[TMP2]], <i16 1, i16 2, i16 3, i16 4, i16 5, i16 6, i16 7, i16 8>172; CHECK-NEXT: [[TMP4:%.*]] = extractelement <8 x i16> [[TMP3]], i32 0173; CHECK-NEXT: [[STRUCTIN0:%.*]] = insertvalue [[STRUCT1TY:%.*]] undef, i16 [[TMP4]], 0174; CHECK-NEXT: [[TMP5:%.*]] = extractelement <8 x i16> [[TMP3]], i32 1175; CHECK-NEXT: [[STRUCTIN1:%.*]] = insertvalue [[STRUCT1TY]] [[STRUCTIN0]], i16 [[TMP5]], 1176; CHECK-NEXT: [[TMP6:%.*]] = extractelement <8 x i16> [[TMP3]], i32 2177; CHECK-NEXT: [[STRUCTIN2:%.*]] = insertvalue [[STRUCT1TY]] undef, i16 [[TMP6]], 0178; CHECK-NEXT: [[TMP7:%.*]] = extractelement <8 x i16> [[TMP3]], i32 3179; CHECK-NEXT: [[STRUCTIN3:%.*]] = insertvalue [[STRUCT1TY]] [[STRUCTIN2]], i16 [[TMP7]], 1180; CHECK-NEXT: [[TMP8:%.*]] = extractelement <8 x i16> [[TMP3]], i32 4181; CHECK-NEXT: [[STRUCTIN4:%.*]] = insertvalue [[STRUCT1TY]] undef, i16 [[TMP8]], 0182; CHECK-NEXT: [[TMP9:%.*]] = extractelement <8 x i16> [[TMP3]], i32 5183; CHECK-NEXT: [[STRUCTIN5:%.*]] = insertvalue [[STRUCT1TY]] [[STRUCTIN4]], i16 [[TMP9]], 1184; CHECK-NEXT: [[TMP10:%.*]] = extractelement <8 x i16> [[TMP3]], i32 6185; CHECK-NEXT: [[STRUCTIN6:%.*]] = insertvalue [[STRUCT1TY]] undef, i16 [[TMP10]], 0186; CHECK-NEXT: [[TMP11:%.*]] = extractelement <8 x i16> [[TMP3]], i32 7187; CHECK-NEXT: [[STRUCTIN7:%.*]] = insertvalue [[STRUCT1TY]] [[STRUCTIN6]], i16 [[TMP11]], 1188; CHECK-NEXT: [[STRUCT2IN0:%.*]] = insertvalue [[STRUCT2TY:%.*]] undef, [[STRUCT1TY]] [[STRUCTIN1]], 0189; CHECK-NEXT: [[STRUCT2IN1:%.*]] = insertvalue [[STRUCT2TY]] [[STRUCT2IN0]], [[STRUCT1TY]] [[STRUCTIN3]], 1190; CHECK-NEXT: [[STRUCT2IN2:%.*]] = insertvalue [[STRUCT2TY]] undef, [[STRUCT1TY]] [[STRUCTIN5]], 0191; CHECK-NEXT: [[STRUCT2IN3:%.*]] = insertvalue [[STRUCT2TY]] [[STRUCT2IN2]], [[STRUCT1TY]] [[STRUCTIN7]], 1192; CHECK-NEXT: [[RET0:%.*]] = insertvalue { [[STRUCT2TY]], [[STRUCT2TY]] } undef, [[STRUCT2TY]] [[STRUCT2IN1]], 0193; CHECK-NEXT: [[RET1:%.*]] = insertvalue { [[STRUCT2TY]], [[STRUCT2TY]] } [[RET0]], [[STRUCT2TY]] [[STRUCT2IN3]], 1194; CHECK-NEXT: ret { [[STRUCT2TY]], [[STRUCT2TY]] } [[RET1]]195;196 %L0 = load i16, ptr %Ptr197 %GEP1 = getelementptr inbounds i16, ptr %Ptr, i64 1198 %L1 = load i16, ptr %GEP1199 %GEP2 = getelementptr inbounds i16, ptr %Ptr, i64 2200 %L2 = load i16, ptr %GEP2201 %GEP3 = getelementptr inbounds i16, ptr %Ptr, i64 3202 %L3 = load i16, ptr %GEP3203 %GEP4 = getelementptr inbounds i16, ptr %Ptr, i64 4204 %L4 = load i16, ptr %GEP4205 %GEP5 = getelementptr inbounds i16, ptr %Ptr, i64 5206 %L5 = load i16, ptr %GEP5207 %GEP6 = getelementptr inbounds i16, ptr %Ptr, i64 6208 %L6 = load i16, ptr %GEP6209 %GEP7 = getelementptr inbounds i16, ptr %Ptr, i64 7210 %L7 = load i16, ptr %GEP7211 212 %Fadd0 = add i16 %L0, 1213 %Fadd1 = add i16 %L1, 2214 %Fadd2 = add i16 %L2, 3215 %Fadd3 = add i16 %L3, 4216 %Fadd4 = add i16 %L4, 5217 %Fadd5 = add i16 %L5, 6218 %Fadd6 = add i16 %L6, 7219 %Fadd7 = add i16 %L7, 8220 221 %StructIn0 = insertvalue %Struct1Ty undef, i16 %Fadd0, 0222 %StructIn1 = insertvalue %Struct1Ty %StructIn0, i16 %Fadd1, 1223 224 %StructIn2 = insertvalue %Struct1Ty undef, i16 %Fadd2, 0225 %StructIn3 = insertvalue %Struct1Ty %StructIn2, i16 %Fadd3, 1226 227 %StructIn4 = insertvalue %Struct1Ty undef, i16 %Fadd4, 0228 %StructIn5 = insertvalue %Struct1Ty %StructIn4, i16 %Fadd5, 1229 230 %StructIn6 = insertvalue %Struct1Ty undef, i16 %Fadd6, 0231 %StructIn7 = insertvalue %Struct1Ty %StructIn6, i16 %Fadd7, 1232 233 %Struct2In0 = insertvalue %Struct2Ty undef, %Struct1Ty %StructIn1, 0234 %Struct2In1 = insertvalue %Struct2Ty %Struct2In0, %Struct1Ty %StructIn3, 1235 236 %Struct2In2 = insertvalue %Struct2Ty undef, %Struct1Ty %StructIn5, 0237 %Struct2In3 = insertvalue %Struct2Ty %Struct2In2, %Struct1Ty %StructIn7, 1238 239 %Ret0 = insertvalue {%Struct2Ty, %Struct2Ty} undef, %Struct2Ty %Struct2In1, 0240 %Ret1 = insertvalue {%Struct2Ty, %Struct2Ty} %Ret0, %Struct2Ty %Struct2In3, 1241 ret {%Struct2Ty, %Struct2Ty} %Ret1242}243