1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=loop-vectorize,dce,instcombine -force-vector-interleave=4 -force-vector-width=4 -prefer-inloop-reductions -S | FileCheck %s 3 4target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 5 6define i32 @reduction_sum_single(ptr noalias nocapture %A) { 7; CHECK-LABEL: @reduction_sum_single( 8; CHECK-NEXT: entry: 9; CHECK-NEXT: br i1 false, label [[SCALAR_PH:%.*]], label [[VECTOR_PH:%.*]] 10; CHECK: vector.ph: 11; CHECK-NEXT: br label [[VECTOR_BODY:%.*]] 12; CHECK: vector.body: 13; CHECK-NEXT: [[INDEX:%.*]] = phi i64 [ 0, [[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], [[VECTOR_BODY]] ] 14; CHECK-NEXT: [[VEC_PHI:%.*]] = phi i32 [ 0, [[VECTOR_PH]] ], [ [[TMP5:%.*]], [[VECTOR_BODY]] ] 15; CHECK-NEXT: [[VEC_PHI1:%.*]] = phi i32 [ 0, [[VECTOR_PH]] ], [ [[TMP7:%.*]], [[VECTOR_BODY]] ] 16; CHECK-NEXT: [[VEC_PHI2:%.*]] = phi i32 [ 0, [[VECTOR_PH]] ], [ [[TMP9:%.*]], [[VECTOR_BODY]] ] 17; CHECK-NEXT: [[VEC_PHI3:%.*]] = phi i32 [ 0, [[VECTOR_PH]] ], [ [[TMP11:%.*]], [[VECTOR_BODY]] ] 18; CHECK-NEXT: [[TMP0:%.*]] = getelementptr inbounds i32, ptr [[A:%.*]], i64 [[INDEX]] 19; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds nuw i8, ptr [[TMP0]], i64 16 20; CHECK-NEXT: [[TMP2:%.*]] = getelementptr inbounds nuw i8, ptr [[TMP0]], i64 32 21; CHECK-NEXT: [[TMP3:%.*]] = getelementptr inbounds nuw i8, ptr [[TMP0]], i64 48 22; CHECK-NEXT: [[WIDE_LOAD:%.*]] = load <4 x i32>, ptr [[TMP0]], align 4 23; CHECK-NEXT: [[WIDE_LOAD4:%.*]] = load <4 x i32>, ptr [[TMP1]], align 4 24; CHECK-NEXT: [[WIDE_LOAD5:%.*]] = load <4 x i32>, ptr [[TMP2]], align 4 25; CHECK-NEXT: [[WIDE_LOAD6:%.*]] = load <4 x i32>, ptr [[TMP3]], align 4 26; CHECK-NEXT: [[TMP4:%.*]] = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> [[WIDE_LOAD]]) 27; CHECK-NEXT: [[TMP5]] = add i32 [[TMP4]], [[VEC_PHI]] 28; CHECK-NEXT: [[TMP6:%.*]] = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> [[WIDE_LOAD4]]) 29; CHECK-NEXT: [[TMP7]] = add i32 [[TMP6]], [[VEC_PHI1]] 30; CHECK-NEXT: [[TMP8:%.*]] = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> [[WIDE_LOAD5]]) 31; CHECK-NEXT: [[TMP9]] = add i32 [[TMP8]], [[VEC_PHI2]] 32; CHECK-NEXT: [[TMP10:%.*]] = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> [[WIDE_LOAD6]]) 33; CHECK-NEXT: [[TMP11]] = add i32 [[TMP10]], [[VEC_PHI3]] 34; CHECK-NEXT: [[INDEX_NEXT]] = add nuw i64 [[INDEX]], 16 35; CHECK-NEXT: [[TMP12:%.*]] = icmp eq i64 [[INDEX_NEXT]], 256 36; CHECK-NEXT: br i1 [[TMP12]], label [[MIDDLE_BLOCK:%.*]], label [[VECTOR_BODY]], !llvm.loop [[LOOP0:![0-9]+]] 37; CHECK: middle.block: 38; CHECK-NEXT: [[BIN_RDX:%.*]] = add i32 [[TMP7]], [[TMP5]] 39; CHECK-NEXT: [[BIN_RDX7:%.*]] = add i32 [[TMP9]], [[BIN_RDX]] 40; CHECK-NEXT: [[BIN_RDX8:%.*]] = add i32 [[TMP11]], [[BIN_RDX7]] 41; CHECK-NEXT: br i1 true, label [[DOT_CRIT_EDGE:%.*]], label [[SCALAR_PH]] 42; CHECK: scalar.ph: 43; CHECK-NEXT: br label [[DOTLR_PH:%.*]] 44; CHECK: .lr.ph: 45; CHECK-NEXT: br i1 poison, label [[DOT_CRIT_EDGE]], label [[DOTLR_PH]], !llvm.loop [[LOOP3:![0-9]+]] 46; CHECK: ._crit_edge: 47; CHECK-NEXT: [[SUM_0_LCSSA:%.*]] = phi i32 [ poison, [[DOTLR_PH]] ], [ [[BIN_RDX8]], [[MIDDLE_BLOCK]] ] 48; CHECK-NEXT: ret i32 [[SUM_0_LCSSA]] 49; 50entry: 51 br label %.lr.ph 52 53.lr.ph: ; preds = %entry, %.lr.ph 54 %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ 0, %entry ] 55 %sum.02 = phi i32 [ %l7, %.lr.ph ], [ 0, %entry ] 56 %l2 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv 57 %l3 = load i32, ptr %l2, align 4 58 %l7 = add i32 %sum.02, %l3 59 %indvars.iv.next = add i64 %indvars.iv, 1 60 %lftr.wideiv = trunc i64 %indvars.iv.next to i32 61 %exitcond = icmp eq i32 %lftr.wideiv, 256 62 br i1 %exitcond, label %._crit_edge, label %.lr.ph 63 64._crit_edge: ; preds = %.lr.ph 65 %sum.0.lcssa = phi i32 [ %l7, %.lr.ph ] 66 ret i32 %sum.0.lcssa 67} 68 69define i32 @predicated(ptr noalias nocapture %A) { 70; CHECK-LABEL: @predicated( 71; CHECK-NEXT: entry: 72; CHECK-NEXT: br i1 false, label [[SCALAR_PH:%.*]], label [[VECTOR_PH:%.*]] 73; CHECK: vector.ph: 74; CHECK-NEXT: br label [[VECTOR_BODY:%.*]] 75; CHECK: vector.body: 76; CHECK-NEXT: [[INDEX:%.*]] = phi i64 [ 0, [[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], [[PRED_LOAD_CONTINUE36:%.*]] ] 77; CHECK-NEXT: [[VEC_IND:%.*]] = phi <4 x i64> [ <i64 0, i64 1, i64 2, i64 3>, [[VECTOR_PH]] ], [ [[VEC_IND_NEXT:%.*]], [[PRED_LOAD_CONTINUE36]] ] 78; CHECK-NEXT: [[VEC_PHI:%.*]] = phi i32 [ 0, [[VECTOR_PH]] ], [ [[TMP101:%.*]], [[PRED_LOAD_CONTINUE36]] ] 79; CHECK-NEXT: [[VEC_PHI4:%.*]] = phi i32 [ 0, [[VECTOR_PH]] ], [ [[TMP104:%.*]], [[PRED_LOAD_CONTINUE36]] ] 80; CHECK-NEXT: [[VEC_PHI5:%.*]] = phi i32 [ 0, [[VECTOR_PH]] ], [ [[TMP107:%.*]], [[PRED_LOAD_CONTINUE36]] ] 81; CHECK-NEXT: [[VEC_PHI6:%.*]] = phi i32 [ 0, [[VECTOR_PH]] ], [ [[TMP110:%.*]], [[PRED_LOAD_CONTINUE36]] ] 82; CHECK-NEXT: [[STEP_ADD:%.*]] = add <4 x i64> [[VEC_IND]], splat (i64 4) 83; CHECK-NEXT: [[STEP_ADD_2:%.*]] = add <4 x i64> [[VEC_IND]], splat (i64 8) 84; CHECK-NEXT: [[STEP_ADD_3:%.*]] = add <4 x i64> [[VEC_IND]], splat (i64 12) 85; CHECK-NEXT: [[TMP0:%.*]] = icmp ult <4 x i64> [[VEC_IND]], splat (i64 257) 86; CHECK-NEXT: [[TMP1:%.*]] = icmp ult <4 x i64> [[STEP_ADD]], splat (i64 257) 87; CHECK-NEXT: [[TMP2:%.*]] = icmp ult <4 x i64> [[STEP_ADD_2]], splat (i64 257) 88; CHECK-NEXT: [[TMP3:%.*]] = icmp ult <4 x i64> [[STEP_ADD_3]], splat (i64 257) 89; CHECK-NEXT: [[TMP4:%.*]] = extractelement <4 x i1> [[TMP0]], i64 0 90; CHECK-NEXT: br i1 [[TMP4]], label [[PRED_LOAD_IF:%.*]], label [[PRED_LOAD_CONTINUE:%.*]] 91; CHECK: pred.load.if: 92; CHECK-NEXT: [[TMP5:%.*]] = getelementptr inbounds i32, ptr [[A:%.*]], i64 [[INDEX]] 93; CHECK-NEXT: [[TMP6:%.*]] = load i32, ptr [[TMP5]], align 4 94; CHECK-NEXT: [[TMP7:%.*]] = insertelement <4 x i32> poison, i32 [[TMP6]], i64 0 95; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE]] 96; CHECK: pred.load.continue: 97; CHECK-NEXT: [[TMP8:%.*]] = phi <4 x i32> [ poison, [[VECTOR_BODY]] ], [ [[TMP7]], [[PRED_LOAD_IF]] ] 98; CHECK-NEXT: [[TMP9:%.*]] = extractelement <4 x i1> [[TMP0]], i64 1 99; CHECK-NEXT: br i1 [[TMP9]], label [[PRED_LOAD_IF7:%.*]], label [[PRED_LOAD_CONTINUE8:%.*]] 100; CHECK: pred.load.if4: 101; CHECK-NEXT: [[TMP10:%.*]] = or disjoint i64 [[INDEX]], 1 102; CHECK-NEXT: [[TMP11:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP10]] 103; CHECK-NEXT: [[TMP12:%.*]] = load i32, ptr [[TMP11]], align 4 104; CHECK-NEXT: [[TMP13:%.*]] = insertelement <4 x i32> [[TMP8]], i32 [[TMP12]], i64 1 105; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE8]] 106; CHECK: pred.load.continue5: 107; CHECK-NEXT: [[TMP14:%.*]] = phi <4 x i32> [ [[TMP8]], [[PRED_LOAD_CONTINUE]] ], [ [[TMP13]], [[PRED_LOAD_IF7]] ] 108; CHECK-NEXT: [[TMP15:%.*]] = extractelement <4 x i1> [[TMP0]], i64 2 109; CHECK-NEXT: br i1 [[TMP15]], label [[PRED_LOAD_IF9:%.*]], label [[PRED_LOAD_CONTINUE10:%.*]] 110; CHECK: pred.load.if6: 111; CHECK-NEXT: [[TMP16:%.*]] = or disjoint i64 [[INDEX]], 2 112; CHECK-NEXT: [[TMP17:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP16]] 113; CHECK-NEXT: [[TMP18:%.*]] = load i32, ptr [[TMP17]], align 4 114; CHECK-NEXT: [[TMP19:%.*]] = insertelement <4 x i32> [[TMP14]], i32 [[TMP18]], i64 2 115; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE10]] 116; CHECK: pred.load.continue7: 117; CHECK-NEXT: [[TMP20:%.*]] = phi <4 x i32> [ [[TMP14]], [[PRED_LOAD_CONTINUE8]] ], [ [[TMP19]], [[PRED_LOAD_IF9]] ] 118; CHECK-NEXT: [[TMP21:%.*]] = extractelement <4 x i1> [[TMP0]], i64 3 119; CHECK-NEXT: br i1 [[TMP21]], label [[PRED_LOAD_IF11:%.*]], label [[PRED_LOAD_CONTINUE12:%.*]] 120; CHECK: pred.load.if8: 121; CHECK-NEXT: [[TMP22:%.*]] = or disjoint i64 [[INDEX]], 3 122; CHECK-NEXT: [[TMP23:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP22]] 123; CHECK-NEXT: [[TMP24:%.*]] = load i32, ptr [[TMP23]], align 4 124; CHECK-NEXT: [[TMP25:%.*]] = insertelement <4 x i32> [[TMP20]], i32 [[TMP24]], i64 3 125; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE12]] 126; CHECK: pred.load.continue9: 127; CHECK-NEXT: [[TMP26:%.*]] = phi <4 x i32> [ [[TMP20]], [[PRED_LOAD_CONTINUE10]] ], [ [[TMP25]], [[PRED_LOAD_IF11]] ] 128; CHECK-NEXT: [[TMP27:%.*]] = extractelement <4 x i1> [[TMP1]], i64 0 129; CHECK-NEXT: br i1 [[TMP27]], label [[PRED_LOAD_IF13:%.*]], label [[PRED_LOAD_CONTINUE14:%.*]] 130; CHECK: pred.load.if10: 131; CHECK-NEXT: [[TMP28:%.*]] = or disjoint i64 [[INDEX]], 4 132; CHECK-NEXT: [[TMP29:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP28]] 133; CHECK-NEXT: [[TMP30:%.*]] = load i32, ptr [[TMP29]], align 4 134; CHECK-NEXT: [[TMP31:%.*]] = insertelement <4 x i32> poison, i32 [[TMP30]], i64 0 135; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE14]] 136; CHECK: pred.load.continue11: 137; CHECK-NEXT: [[TMP32:%.*]] = phi <4 x i32> [ poison, [[PRED_LOAD_CONTINUE12]] ], [ [[TMP31]], [[PRED_LOAD_IF13]] ] 138; CHECK-NEXT: [[TMP33:%.*]] = extractelement <4 x i1> [[TMP1]], i64 1 139; CHECK-NEXT: br i1 [[TMP33]], label [[PRED_LOAD_IF15:%.*]], label [[PRED_LOAD_CONTINUE16:%.*]] 140; CHECK: pred.load.if12: 141; CHECK-NEXT: [[TMP34:%.*]] = or disjoint i64 [[INDEX]], 5 142; CHECK-NEXT: [[TMP35:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP34]] 143; CHECK-NEXT: [[TMP36:%.*]] = load i32, ptr [[TMP35]], align 4 144; CHECK-NEXT: [[TMP37:%.*]] = insertelement <4 x i32> [[TMP32]], i32 [[TMP36]], i64 1 145; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE16]] 146; CHECK: pred.load.continue13: 147; CHECK-NEXT: [[TMP38:%.*]] = phi <4 x i32> [ [[TMP32]], [[PRED_LOAD_CONTINUE14]] ], [ [[TMP37]], [[PRED_LOAD_IF15]] ] 148; CHECK-NEXT: [[TMP39:%.*]] = extractelement <4 x i1> [[TMP1]], i64 2 149; CHECK-NEXT: br i1 [[TMP39]], label [[PRED_LOAD_IF17:%.*]], label [[PRED_LOAD_CONTINUE18:%.*]] 150; CHECK: pred.load.if14: 151; CHECK-NEXT: [[TMP40:%.*]] = or disjoint i64 [[INDEX]], 6 152; CHECK-NEXT: [[TMP41:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP40]] 153; CHECK-NEXT: [[TMP42:%.*]] = load i32, ptr [[TMP41]], align 4 154; CHECK-NEXT: [[TMP43:%.*]] = insertelement <4 x i32> [[TMP38]], i32 [[TMP42]], i64 2 155; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE18]] 156; CHECK: pred.load.continue15: 157; CHECK-NEXT: [[TMP44:%.*]] = phi <4 x i32> [ [[TMP38]], [[PRED_LOAD_CONTINUE16]] ], [ [[TMP43]], [[PRED_LOAD_IF17]] ] 158; CHECK-NEXT: [[TMP45:%.*]] = extractelement <4 x i1> [[TMP1]], i64 3 159; CHECK-NEXT: br i1 [[TMP45]], label [[PRED_LOAD_IF19:%.*]], label [[PRED_LOAD_CONTINUE20:%.*]] 160; CHECK: pred.load.if16: 161; CHECK-NEXT: [[TMP46:%.*]] = or disjoint i64 [[INDEX]], 7 162; CHECK-NEXT: [[TMP47:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP46]] 163; CHECK-NEXT: [[TMP48:%.*]] = load i32, ptr [[TMP47]], align 4 164; CHECK-NEXT: [[TMP49:%.*]] = insertelement <4 x i32> [[TMP44]], i32 [[TMP48]], i64 3 165; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE20]] 166; CHECK: pred.load.continue17: 167; CHECK-NEXT: [[TMP50:%.*]] = phi <4 x i32> [ [[TMP44]], [[PRED_LOAD_CONTINUE18]] ], [ [[TMP49]], [[PRED_LOAD_IF19]] ] 168; CHECK-NEXT: [[TMP51:%.*]] = extractelement <4 x i1> [[TMP2]], i64 0 169; CHECK-NEXT: br i1 [[TMP51]], label [[PRED_LOAD_IF21:%.*]], label [[PRED_LOAD_CONTINUE22:%.*]] 170; CHECK: pred.load.if18: 171; CHECK-NEXT: [[TMP52:%.*]] = or disjoint i64 [[INDEX]], 8 172; CHECK-NEXT: [[TMP53:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP52]] 173; CHECK-NEXT: [[TMP54:%.*]] = load i32, ptr [[TMP53]], align 4 174; CHECK-NEXT: [[TMP55:%.*]] = insertelement <4 x i32> poison, i32 [[TMP54]], i64 0 175; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE22]] 176; CHECK: pred.load.continue19: 177; CHECK-NEXT: [[TMP56:%.*]] = phi <4 x i32> [ poison, [[PRED_LOAD_CONTINUE20]] ], [ [[TMP55]], [[PRED_LOAD_IF21]] ] 178; CHECK-NEXT: [[TMP57:%.*]] = extractelement <4 x i1> [[TMP2]], i64 1 179; CHECK-NEXT: br i1 [[TMP57]], label [[PRED_LOAD_IF23:%.*]], label [[PRED_LOAD_CONTINUE24:%.*]] 180; CHECK: pred.load.if20: 181; CHECK-NEXT: [[TMP58:%.*]] = or disjoint i64 [[INDEX]], 9 182; CHECK-NEXT: [[TMP59:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP58]] 183; CHECK-NEXT: [[TMP60:%.*]] = load i32, ptr [[TMP59]], align 4 184; CHECK-NEXT: [[TMP61:%.*]] = insertelement <4 x i32> [[TMP56]], i32 [[TMP60]], i64 1 185; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE24]] 186; CHECK: pred.load.continue21: 187; CHECK-NEXT: [[TMP62:%.*]] = phi <4 x i32> [ [[TMP56]], [[PRED_LOAD_CONTINUE22]] ], [ [[TMP61]], [[PRED_LOAD_IF23]] ] 188; CHECK-NEXT: [[TMP63:%.*]] = extractelement <4 x i1> [[TMP2]], i64 2 189; CHECK-NEXT: br i1 [[TMP63]], label [[PRED_LOAD_IF25:%.*]], label [[PRED_LOAD_CONTINUE26:%.*]] 190; CHECK: pred.load.if22: 191; CHECK-NEXT: [[TMP64:%.*]] = or disjoint i64 [[INDEX]], 10 192; CHECK-NEXT: [[TMP65:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP64]] 193; CHECK-NEXT: [[TMP66:%.*]] = load i32, ptr [[TMP65]], align 4 194; CHECK-NEXT: [[TMP67:%.*]] = insertelement <4 x i32> [[TMP62]], i32 [[TMP66]], i64 2 195; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE26]] 196; CHECK: pred.load.continue23: 197; CHECK-NEXT: [[TMP68:%.*]] = phi <4 x i32> [ [[TMP62]], [[PRED_LOAD_CONTINUE24]] ], [ [[TMP67]], [[PRED_LOAD_IF25]] ] 198; CHECK-NEXT: [[TMP69:%.*]] = extractelement <4 x i1> [[TMP2]], i64 3 199; CHECK-NEXT: br i1 [[TMP69]], label [[PRED_LOAD_IF27:%.*]], label [[PRED_LOAD_CONTINUE28:%.*]] 200; CHECK: pred.load.if24: 201; CHECK-NEXT: [[TMP70:%.*]] = or disjoint i64 [[INDEX]], 11 202; CHECK-NEXT: [[TMP71:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP70]] 203; CHECK-NEXT: [[TMP72:%.*]] = load i32, ptr [[TMP71]], align 4 204; CHECK-NEXT: [[TMP73:%.*]] = insertelement <4 x i32> [[TMP68]], i32 [[TMP72]], i64 3 205; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE28]] 206; CHECK: pred.load.continue25: 207; CHECK-NEXT: [[TMP74:%.*]] = phi <4 x i32> [ [[TMP68]], [[PRED_LOAD_CONTINUE26]] ], [ [[TMP73]], [[PRED_LOAD_IF27]] ] 208; CHECK-NEXT: [[TMP75:%.*]] = extractelement <4 x i1> [[TMP3]], i64 0 209; CHECK-NEXT: br i1 [[TMP75]], label [[PRED_LOAD_IF29:%.*]], label [[PRED_LOAD_CONTINUE30:%.*]] 210; CHECK: pred.load.if26: 211; CHECK-NEXT: [[TMP76:%.*]] = or disjoint i64 [[INDEX]], 12 212; CHECK-NEXT: [[TMP77:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP76]] 213; CHECK-NEXT: [[TMP78:%.*]] = load i32, ptr [[TMP77]], align 4 214; CHECK-NEXT: [[TMP79:%.*]] = insertelement <4 x i32> poison, i32 [[TMP78]], i64 0 215; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE30]] 216; CHECK: pred.load.continue27: 217; CHECK-NEXT: [[TMP80:%.*]] = phi <4 x i32> [ poison, [[PRED_LOAD_CONTINUE28]] ], [ [[TMP79]], [[PRED_LOAD_IF29]] ] 218; CHECK-NEXT: [[TMP81:%.*]] = extractelement <4 x i1> [[TMP3]], i64 1 219; CHECK-NEXT: br i1 [[TMP81]], label [[PRED_LOAD_IF31:%.*]], label [[PRED_LOAD_CONTINUE32:%.*]] 220; CHECK: pred.load.if28: 221; CHECK-NEXT: [[TMP82:%.*]] = or disjoint i64 [[INDEX]], 13 222; CHECK-NEXT: [[TMP83:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP82]] 223; CHECK-NEXT: [[TMP84:%.*]] = load i32, ptr [[TMP83]], align 4 224; CHECK-NEXT: [[TMP85:%.*]] = insertelement <4 x i32> [[TMP80]], i32 [[TMP84]], i64 1 225; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE32]] 226; CHECK: pred.load.continue29: 227; CHECK-NEXT: [[TMP86:%.*]] = phi <4 x i32> [ [[TMP80]], [[PRED_LOAD_CONTINUE30]] ], [ [[TMP85]], [[PRED_LOAD_IF31]] ] 228; CHECK-NEXT: [[TMP87:%.*]] = extractelement <4 x i1> [[TMP3]], i64 2 229; CHECK-NEXT: br i1 [[TMP87]], label [[PRED_LOAD_IF33:%.*]], label [[PRED_LOAD_CONTINUE34:%.*]] 230; CHECK: pred.load.if30: 231; CHECK-NEXT: [[TMP88:%.*]] = or disjoint i64 [[INDEX]], 14 232; CHECK-NEXT: [[TMP89:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP88]] 233; CHECK-NEXT: [[TMP90:%.*]] = load i32, ptr [[TMP89]], align 4 234; CHECK-NEXT: [[TMP91:%.*]] = insertelement <4 x i32> [[TMP86]], i32 [[TMP90]], i64 2 235; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE34]] 236; CHECK: pred.load.continue31: 237; CHECK-NEXT: [[TMP92:%.*]] = phi <4 x i32> [ [[TMP86]], [[PRED_LOAD_CONTINUE32]] ], [ [[TMP91]], [[PRED_LOAD_IF33]] ] 238; CHECK-NEXT: [[TMP93:%.*]] = extractelement <4 x i1> [[TMP3]], i64 3 239; CHECK-NEXT: br i1 [[TMP93]], label [[PRED_LOAD_IF35:%.*]], label [[PRED_LOAD_CONTINUE36]] 240; CHECK: pred.load.if32: 241; CHECK-NEXT: [[TMP94:%.*]] = or disjoint i64 [[INDEX]], 15 242; CHECK-NEXT: [[TMP95:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP94]] 243; CHECK-NEXT: [[TMP96:%.*]] = load i32, ptr [[TMP95]], align 4 244; CHECK-NEXT: [[TMP97:%.*]] = insertelement <4 x i32> [[TMP92]], i32 [[TMP96]], i64 3 245; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE36]] 246; CHECK: pred.load.continue33: 247; CHECK-NEXT: [[TMP98:%.*]] = phi <4 x i32> [ [[TMP92]], [[PRED_LOAD_CONTINUE34]] ], [ [[TMP97]], [[PRED_LOAD_IF35]] ] 248; CHECK-NEXT: [[TMP99:%.*]] = select <4 x i1> [[TMP0]], <4 x i32> [[TMP26]], <4 x i32> zeroinitializer 249; CHECK-NEXT: [[TMP100:%.*]] = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> [[TMP99]]) 250; CHECK-NEXT: [[TMP101]] = add i32 [[TMP100]], [[VEC_PHI]] 251; CHECK-NEXT: [[TMP102:%.*]] = select <4 x i1> [[TMP1]], <4 x i32> [[TMP50]], <4 x i32> zeroinitializer 252; CHECK-NEXT: [[TMP103:%.*]] = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> [[TMP102]]) 253; CHECK-NEXT: [[TMP104]] = add i32 [[TMP103]], [[VEC_PHI4]] 254; CHECK-NEXT: [[TMP105:%.*]] = select <4 x i1> [[TMP2]], <4 x i32> [[TMP74]], <4 x i32> zeroinitializer 255; CHECK-NEXT: [[TMP106:%.*]] = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> [[TMP105]]) 256; CHECK-NEXT: [[TMP107]] = add i32 [[TMP106]], [[VEC_PHI5]] 257; CHECK-NEXT: [[TMP108:%.*]] = select <4 x i1> [[TMP3]], <4 x i32> [[TMP98]], <4 x i32> zeroinitializer 258; CHECK-NEXT: [[TMP109:%.*]] = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> [[TMP108]]) 259; CHECK-NEXT: [[TMP110]] = add i32 [[TMP109]], [[VEC_PHI6]] 260; CHECK-NEXT: [[INDEX_NEXT]] = add nuw i64 [[INDEX]], 16 261; CHECK-NEXT: [[VEC_IND_NEXT]] = add <4 x i64> [[VEC_IND]], splat (i64 16) 262; CHECK-NEXT: [[TMP111:%.*]] = icmp eq i64 [[INDEX_NEXT]], 272 263; CHECK-NEXT: br i1 [[TMP111]], label [[MIDDLE_BLOCK:%.*]], label [[VECTOR_BODY]], !llvm.loop [[LOOP4:![0-9]+]] 264; CHECK: middle.block: 265; CHECK-NEXT: [[BIN_RDX:%.*]] = add i32 [[TMP104]], [[TMP101]] 266; CHECK-NEXT: [[BIN_RDX37:%.*]] = add i32 [[TMP107]], [[BIN_RDX]] 267; CHECK-NEXT: [[BIN_RDX38:%.*]] = add i32 [[TMP110]], [[BIN_RDX37]] 268; CHECK-NEXT: br i1 true, label [[DOT_CRIT_EDGE:%.*]], label [[SCALAR_PH]] 269; CHECK: scalar.ph: 270; CHECK-NEXT: br label [[DOTLR_PH:%.*]] 271; CHECK: .lr.ph: 272; CHECK-NEXT: br i1 poison, label [[DOT_CRIT_EDGE]], label [[DOTLR_PH]], !llvm.loop [[LOOP5:![0-9]+]] 273; CHECK: ._crit_edge: 274; CHECK-NEXT: [[SUM_0_LCSSA:%.*]] = phi i32 [ poison, [[DOTLR_PH]] ], [ [[BIN_RDX38]], [[MIDDLE_BLOCK]] ] 275; CHECK-NEXT: ret i32 [[SUM_0_LCSSA]] 276; 277entry: 278 br label %.lr.ph 279 280.lr.ph: ; preds = %entry, %.lr.ph 281 %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ 0, %entry ] 282 %sum.02 = phi i32 [ %l7, %.lr.ph ], [ 0, %entry ] 283 %l2 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv 284 %l3 = load i32, ptr %l2, align 4 285 %l7 = add i32 %sum.02, %l3 286 %indvars.iv.next = add i64 %indvars.iv, 1 287 %lftr.wideiv = trunc i64 %indvars.iv.next to i32 288 %exitcond = icmp eq i32 %lftr.wideiv, 257 289 br i1 %exitcond, label %._crit_edge, label %.lr.ph, !llvm.loop !6 290 291._crit_edge: ; preds = %.lr.ph 292 %sum.0.lcssa = phi i32 [ %l7, %.lr.ph ] 293 ret i32 %sum.0.lcssa 294} 295 296define i32 @cond_rdx_pred(i32 %cond, ptr noalias %a, i64 %N) { 297; CHECK-LABEL: @cond_rdx_pred( 298; CHECK-NEXT: entry: 299; CHECK-NEXT: br i1 false, label [[SCALAR_PH:%.*]], label [[VECTOR_PH:%.*]] 300; CHECK: vector.ph: 301; CHECK-NEXT: [[N_RND_UP:%.*]] = add i64 [[N:%.*]], 15 302; CHECK-NEXT: [[N_VEC:%.*]] = and i64 [[N_RND_UP]], -16 303; CHECK-NEXT: [[TRIP_COUNT_MINUS_1:%.*]] = add i64 [[N]], -1 304; CHECK-NEXT: [[BROADCAST_SPLATINSERT7:%.*]] = insertelement <4 x i32> poison, i32 [[COND:%.*]], i64 0 305; CHECK-NEXT: [[TMP4:%.*]] = icmp sgt <4 x i32> [[BROADCAST_SPLATINSERT7]], splat (i32 7) 306; CHECK-NEXT: [[BROADCAST_SPLAT8:%.*]] = shufflevector <4 x i1> [[TMP4]], <4 x i1> poison, <4 x i32> zeroinitializer 307; CHECK-NEXT: [[BROADCAST_SPLATINSERT:%.*]] = insertelement <4 x i64> poison, i64 [[TRIP_COUNT_MINUS_1]], i64 0 308; CHECK-NEXT: [[BROADCAST_SPLAT:%.*]] = shufflevector <4 x i64> [[BROADCAST_SPLATINSERT]], <4 x i64> poison, <4 x i32> zeroinitializer 309; CHECK-NEXT: br label [[VECTOR_BODY:%.*]] 310; CHECK: vector.body: 311; CHECK-NEXT: [[INDEX:%.*]] = phi i64 [ 0, [[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], [[PRED_LOAD_CONTINUE38:%.*]] ] 312; CHECK-NEXT: [[VEC_IND:%.*]] = phi <4 x i64> [ <i64 0, i64 1, i64 2, i64 3>, [[VECTOR_PH]] ], [ [[VEC_IND_NEXT:%.*]], [[PRED_LOAD_CONTINUE38]] ] 313; CHECK-NEXT: [[VEC_PHI:%.*]] = phi i32 [ 4, [[VECTOR_PH]] ], [ [[TMP109:%.*]], [[PRED_LOAD_CONTINUE38]] ] 314; CHECK-NEXT: [[VEC_PHI4:%.*]] = phi i32 [ 1, [[VECTOR_PH]] ], [ [[TMP112:%.*]], [[PRED_LOAD_CONTINUE38]] ] 315; CHECK-NEXT: [[VEC_PHI5:%.*]] = phi i32 [ 1, [[VECTOR_PH]] ], [ [[TMP115:%.*]], [[PRED_LOAD_CONTINUE38]] ] 316; CHECK-NEXT: [[VEC_PHI6:%.*]] = phi i32 [ 1, [[VECTOR_PH]] ], [ [[TMP118:%.*]], [[PRED_LOAD_CONTINUE38]] ] 317; CHECK-NEXT: [[STEP_ADD:%.*]] = add <4 x i64> [[VEC_IND]], splat (i64 4) 318; CHECK-NEXT: [[STEP_ADD1:%.*]] = add <4 x i64> [[VEC_IND]], splat (i64 8) 319; CHECK-NEXT: [[STEP_ADD2:%.*]] = add <4 x i64> [[VEC_IND]], splat (i64 12) 320; CHECK-NEXT: [[TMP0:%.*]] = icmp ule <4 x i64> [[VEC_IND]], [[BROADCAST_SPLAT]] 321; CHECK-NEXT: [[TMP1:%.*]] = icmp ule <4 x i64> [[STEP_ADD]], [[BROADCAST_SPLAT]] 322; CHECK-NEXT: [[TMP2:%.*]] = icmp ule <4 x i64> [[STEP_ADD1]], [[BROADCAST_SPLAT]] 323; CHECK-NEXT: [[TMP3:%.*]] = icmp ule <4 x i64> [[STEP_ADD2]], [[BROADCAST_SPLAT]] 324; CHECK-NEXT: [[TMP8:%.*]] = select <4 x i1> [[TMP0]], <4 x i1> [[BROADCAST_SPLAT8]], <4 x i1> zeroinitializer 325; CHECK-NEXT: [[TMP9:%.*]] = select <4 x i1> [[TMP1]], <4 x i1> [[BROADCAST_SPLAT8]], <4 x i1> zeroinitializer 326; CHECK-NEXT: [[TMP10:%.*]] = select <4 x i1> [[TMP2]], <4 x i1> [[BROADCAST_SPLAT8]], <4 x i1> zeroinitializer 327; CHECK-NEXT: [[TMP11:%.*]] = select <4 x i1> [[TMP3]], <4 x i1> [[BROADCAST_SPLAT8]], <4 x i1> zeroinitializer 328; CHECK-NEXT: [[TMP12:%.*]] = extractelement <4 x i1> [[TMP8]], i64 0 329; CHECK-NEXT: br i1 [[TMP12]], label [[PRED_LOAD_IF:%.*]], label [[PRED_LOAD_CONTINUE:%.*]] 330; CHECK: pred.load.if: 331; CHECK-NEXT: [[TMP13:%.*]] = getelementptr inbounds i32, ptr [[A:%.*]], i64 [[INDEX]] 332; CHECK-NEXT: [[TMP14:%.*]] = load i32, ptr [[TMP13]], align 4 333; CHECK-NEXT: [[TMP15:%.*]] = insertelement <4 x i32> poison, i32 [[TMP14]], i64 0 334; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE]] 335; CHECK: pred.load.continue: 336; CHECK-NEXT: [[TMP16:%.*]] = phi <4 x i32> [ poison, [[VECTOR_BODY]] ], [ [[TMP15]], [[PRED_LOAD_IF]] ] 337; CHECK-NEXT: [[TMP17:%.*]] = extractelement <4 x i1> [[TMP8]], i64 1 338; CHECK-NEXT: br i1 [[TMP17]], label [[PRED_LOAD_IF9:%.*]], label [[PRED_LOAD_CONTINUE10:%.*]] 339; CHECK: pred.load.if6: 340; CHECK-NEXT: [[TMP18:%.*]] = or disjoint i64 [[INDEX]], 1 341; CHECK-NEXT: [[TMP19:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP18]] 342; CHECK-NEXT: [[TMP20:%.*]] = load i32, ptr [[TMP19]], align 4 343; CHECK-NEXT: [[TMP21:%.*]] = insertelement <4 x i32> [[TMP16]], i32 [[TMP20]], i64 1 344; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE10]] 345; CHECK: pred.load.continue7: 346; CHECK-NEXT: [[TMP22:%.*]] = phi <4 x i32> [ [[TMP16]], [[PRED_LOAD_CONTINUE]] ], [ [[TMP21]], [[PRED_LOAD_IF9]] ] 347; CHECK-NEXT: [[TMP23:%.*]] = extractelement <4 x i1> [[TMP8]], i64 2 348; CHECK-NEXT: br i1 [[TMP23]], label [[PRED_LOAD_IF11:%.*]], label [[PRED_LOAD_CONTINUE12:%.*]] 349; CHECK: pred.load.if8: 350; CHECK-NEXT: [[TMP24:%.*]] = or disjoint i64 [[INDEX]], 2 351; CHECK-NEXT: [[TMP25:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP24]] 352; CHECK-NEXT: [[TMP26:%.*]] = load i32, ptr [[TMP25]], align 4 353; CHECK-NEXT: [[TMP27:%.*]] = insertelement <4 x i32> [[TMP22]], i32 [[TMP26]], i64 2 354; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE12]] 355; CHECK: pred.load.continue9: 356; CHECK-NEXT: [[TMP28:%.*]] = phi <4 x i32> [ [[TMP22]], [[PRED_LOAD_CONTINUE10]] ], [ [[TMP27]], [[PRED_LOAD_IF11]] ] 357; CHECK-NEXT: [[TMP29:%.*]] = extractelement <4 x i1> [[TMP8]], i64 3 358; CHECK-NEXT: br i1 [[TMP29]], label [[PRED_LOAD_IF13:%.*]], label [[PRED_LOAD_CONTINUE14:%.*]] 359; CHECK: pred.load.if10: 360; CHECK-NEXT: [[TMP30:%.*]] = or disjoint i64 [[INDEX]], 3 361; CHECK-NEXT: [[TMP31:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP30]] 362; CHECK-NEXT: [[TMP32:%.*]] = load i32, ptr [[TMP31]], align 4 363; CHECK-NEXT: [[TMP33:%.*]] = insertelement <4 x i32> [[TMP28]], i32 [[TMP32]], i64 3 364; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE14]] 365; CHECK: pred.load.continue11: 366; CHECK-NEXT: [[TMP34:%.*]] = phi <4 x i32> [ [[TMP28]], [[PRED_LOAD_CONTINUE12]] ], [ [[TMP33]], [[PRED_LOAD_IF13]] ] 367; CHECK-NEXT: [[TMP35:%.*]] = extractelement <4 x i1> [[TMP9]], i64 0 368; CHECK-NEXT: br i1 [[TMP35]], label [[PRED_LOAD_IF15:%.*]], label [[PRED_LOAD_CONTINUE16:%.*]] 369; CHECK: pred.load.if12: 370; CHECK-NEXT: [[TMP36:%.*]] = or disjoint i64 [[INDEX]], 4 371; CHECK-NEXT: [[TMP37:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP36]] 372; CHECK-NEXT: [[TMP38:%.*]] = load i32, ptr [[TMP37]], align 4 373; CHECK-NEXT: [[TMP39:%.*]] = insertelement <4 x i32> poison, i32 [[TMP38]], i64 0 374; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE16]] 375; CHECK: pred.load.continue13: 376; CHECK-NEXT: [[TMP40:%.*]] = phi <4 x i32> [ poison, [[PRED_LOAD_CONTINUE14]] ], [ [[TMP39]], [[PRED_LOAD_IF15]] ] 377; CHECK-NEXT: [[TMP41:%.*]] = extractelement <4 x i1> [[TMP9]], i64 1 378; CHECK-NEXT: br i1 [[TMP41]], label [[PRED_LOAD_IF17:%.*]], label [[PRED_LOAD_CONTINUE18:%.*]] 379; CHECK: pred.load.if14: 380; CHECK-NEXT: [[TMP42:%.*]] = or disjoint i64 [[INDEX]], 5 381; CHECK-NEXT: [[TMP43:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP42]] 382; CHECK-NEXT: [[TMP44:%.*]] = load i32, ptr [[TMP43]], align 4 383; CHECK-NEXT: [[TMP45:%.*]] = insertelement <4 x i32> [[TMP40]], i32 [[TMP44]], i64 1 384; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE18]] 385; CHECK: pred.load.continue15: 386; CHECK-NEXT: [[TMP46:%.*]] = phi <4 x i32> [ [[TMP40]], [[PRED_LOAD_CONTINUE16]] ], [ [[TMP45]], [[PRED_LOAD_IF17]] ] 387; CHECK-NEXT: [[TMP47:%.*]] = extractelement <4 x i1> [[TMP9]], i64 2 388; CHECK-NEXT: br i1 [[TMP47]], label [[PRED_LOAD_IF19:%.*]], label [[PRED_LOAD_CONTINUE20:%.*]] 389; CHECK: pred.load.if16: 390; CHECK-NEXT: [[TMP48:%.*]] = or disjoint i64 [[INDEX]], 6 391; CHECK-NEXT: [[TMP49:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP48]] 392; CHECK-NEXT: [[TMP50:%.*]] = load i32, ptr [[TMP49]], align 4 393; CHECK-NEXT: [[TMP51:%.*]] = insertelement <4 x i32> [[TMP46]], i32 [[TMP50]], i64 2 394; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE20]] 395; CHECK: pred.load.continue17: 396; CHECK-NEXT: [[TMP52:%.*]] = phi <4 x i32> [ [[TMP46]], [[PRED_LOAD_CONTINUE18]] ], [ [[TMP51]], [[PRED_LOAD_IF19]] ] 397; CHECK-NEXT: [[TMP53:%.*]] = extractelement <4 x i1> [[TMP9]], i64 3 398; CHECK-NEXT: br i1 [[TMP53]], label [[PRED_LOAD_IF21:%.*]], label [[PRED_LOAD_CONTINUE22:%.*]] 399; CHECK: pred.load.if18: 400; CHECK-NEXT: [[TMP54:%.*]] = or disjoint i64 [[INDEX]], 7 401; CHECK-NEXT: [[TMP55:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP54]] 402; CHECK-NEXT: [[TMP56:%.*]] = load i32, ptr [[TMP55]], align 4 403; CHECK-NEXT: [[TMP57:%.*]] = insertelement <4 x i32> [[TMP52]], i32 [[TMP56]], i64 3 404; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE22]] 405; CHECK: pred.load.continue19: 406; CHECK-NEXT: [[TMP58:%.*]] = phi <4 x i32> [ [[TMP52]], [[PRED_LOAD_CONTINUE20]] ], [ [[TMP57]], [[PRED_LOAD_IF21]] ] 407; CHECK-NEXT: [[TMP59:%.*]] = extractelement <4 x i1> [[TMP10]], i64 0 408; CHECK-NEXT: br i1 [[TMP59]], label [[PRED_LOAD_IF23:%.*]], label [[PRED_LOAD_CONTINUE24:%.*]] 409; CHECK: pred.load.if20: 410; CHECK-NEXT: [[TMP60:%.*]] = or disjoint i64 [[INDEX]], 8 411; CHECK-NEXT: [[TMP61:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP60]] 412; CHECK-NEXT: [[TMP62:%.*]] = load i32, ptr [[TMP61]], align 4 413; CHECK-NEXT: [[TMP63:%.*]] = insertelement <4 x i32> poison, i32 [[TMP62]], i64 0 414; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE24]] 415; CHECK: pred.load.continue21: 416; CHECK-NEXT: [[TMP64:%.*]] = phi <4 x i32> [ poison, [[PRED_LOAD_CONTINUE22]] ], [ [[TMP63]], [[PRED_LOAD_IF23]] ] 417; CHECK-NEXT: [[TMP65:%.*]] = extractelement <4 x i1> [[TMP10]], i64 1 418; CHECK-NEXT: br i1 [[TMP65]], label [[PRED_LOAD_IF25:%.*]], label [[PRED_LOAD_CONTINUE26:%.*]] 419; CHECK: pred.load.if22: 420; CHECK-NEXT: [[TMP66:%.*]] = or disjoint i64 [[INDEX]], 9 421; CHECK-NEXT: [[TMP67:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP66]] 422; CHECK-NEXT: [[TMP68:%.*]] = load i32, ptr [[TMP67]], align 4 423; CHECK-NEXT: [[TMP69:%.*]] = insertelement <4 x i32> [[TMP64]], i32 [[TMP68]], i64 1 424; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE26]] 425; CHECK: pred.load.continue23: 426; CHECK-NEXT: [[TMP70:%.*]] = phi <4 x i32> [ [[TMP64]], [[PRED_LOAD_CONTINUE24]] ], [ [[TMP69]], [[PRED_LOAD_IF25]] ] 427; CHECK-NEXT: [[TMP71:%.*]] = extractelement <4 x i1> [[TMP10]], i64 2 428; CHECK-NEXT: br i1 [[TMP71]], label [[PRED_LOAD_IF27:%.*]], label [[PRED_LOAD_CONTINUE28:%.*]] 429; CHECK: pred.load.if24: 430; CHECK-NEXT: [[TMP72:%.*]] = or disjoint i64 [[INDEX]], 10 431; CHECK-NEXT: [[TMP73:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP72]] 432; CHECK-NEXT: [[TMP74:%.*]] = load i32, ptr [[TMP73]], align 4 433; CHECK-NEXT: [[TMP75:%.*]] = insertelement <4 x i32> [[TMP70]], i32 [[TMP74]], i64 2 434; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE28]] 435; CHECK: pred.load.continue25: 436; CHECK-NEXT: [[TMP76:%.*]] = phi <4 x i32> [ [[TMP70]], [[PRED_LOAD_CONTINUE26]] ], [ [[TMP75]], [[PRED_LOAD_IF27]] ] 437; CHECK-NEXT: [[TMP77:%.*]] = extractelement <4 x i1> [[TMP10]], i64 3 438; CHECK-NEXT: br i1 [[TMP77]], label [[PRED_LOAD_IF29:%.*]], label [[PRED_LOAD_CONTINUE30:%.*]] 439; CHECK: pred.load.if26: 440; CHECK-NEXT: [[TMP78:%.*]] = or disjoint i64 [[INDEX]], 11 441; CHECK-NEXT: [[TMP79:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP78]] 442; CHECK-NEXT: [[TMP80:%.*]] = load i32, ptr [[TMP79]], align 4 443; CHECK-NEXT: [[TMP81:%.*]] = insertelement <4 x i32> [[TMP76]], i32 [[TMP80]], i64 3 444; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE30]] 445; CHECK: pred.load.continue27: 446; CHECK-NEXT: [[TMP82:%.*]] = phi <4 x i32> [ [[TMP76]], [[PRED_LOAD_CONTINUE28]] ], [ [[TMP81]], [[PRED_LOAD_IF29]] ] 447; CHECK-NEXT: [[TMP83:%.*]] = extractelement <4 x i1> [[TMP11]], i64 0 448; CHECK-NEXT: br i1 [[TMP83]], label [[PRED_LOAD_IF31:%.*]], label [[PRED_LOAD_CONTINUE32:%.*]] 449; CHECK: pred.load.if28: 450; CHECK-NEXT: [[TMP84:%.*]] = or disjoint i64 [[INDEX]], 12 451; CHECK-NEXT: [[TMP85:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP84]] 452; CHECK-NEXT: [[TMP86:%.*]] = load i32, ptr [[TMP85]], align 4 453; CHECK-NEXT: [[TMP87:%.*]] = insertelement <4 x i32> poison, i32 [[TMP86]], i64 0 454; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE32]] 455; CHECK: pred.load.continue29: 456; CHECK-NEXT: [[TMP88:%.*]] = phi <4 x i32> [ poison, [[PRED_LOAD_CONTINUE30]] ], [ [[TMP87]], [[PRED_LOAD_IF31]] ] 457; CHECK-NEXT: [[TMP89:%.*]] = extractelement <4 x i1> [[TMP11]], i64 1 458; CHECK-NEXT: br i1 [[TMP89]], label [[PRED_LOAD_IF33:%.*]], label [[PRED_LOAD_CONTINUE34:%.*]] 459; CHECK: pred.load.if30: 460; CHECK-NEXT: [[TMP90:%.*]] = or disjoint i64 [[INDEX]], 13 461; CHECK-NEXT: [[TMP91:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP90]] 462; CHECK-NEXT: [[TMP92:%.*]] = load i32, ptr [[TMP91]], align 4 463; CHECK-NEXT: [[TMP93:%.*]] = insertelement <4 x i32> [[TMP88]], i32 [[TMP92]], i64 1 464; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE34]] 465; CHECK: pred.load.continue31: 466; CHECK-NEXT: [[TMP94:%.*]] = phi <4 x i32> [ [[TMP88]], [[PRED_LOAD_CONTINUE32]] ], [ [[TMP93]], [[PRED_LOAD_IF33]] ] 467; CHECK-NEXT: [[TMP95:%.*]] = extractelement <4 x i1> [[TMP11]], i64 2 468; CHECK-NEXT: br i1 [[TMP95]], label [[PRED_LOAD_IF35:%.*]], label [[PRED_LOAD_CONTINUE36:%.*]] 469; CHECK: pred.load.if32: 470; CHECK-NEXT: [[TMP96:%.*]] = or disjoint i64 [[INDEX]], 14 471; CHECK-NEXT: [[TMP97:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP96]] 472; CHECK-NEXT: [[TMP98:%.*]] = load i32, ptr [[TMP97]], align 4 473; CHECK-NEXT: [[TMP99:%.*]] = insertelement <4 x i32> [[TMP94]], i32 [[TMP98]], i64 2 474; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE36]] 475; CHECK: pred.load.continue33: 476; CHECK-NEXT: [[TMP100:%.*]] = phi <4 x i32> [ [[TMP94]], [[PRED_LOAD_CONTINUE34]] ], [ [[TMP99]], [[PRED_LOAD_IF35]] ] 477; CHECK-NEXT: [[TMP101:%.*]] = extractelement <4 x i1> [[TMP11]], i64 3 478; CHECK-NEXT: br i1 [[TMP101]], label [[PRED_LOAD_IF37:%.*]], label [[PRED_LOAD_CONTINUE38]] 479; CHECK: pred.load.if34: 480; CHECK-NEXT: [[TMP102:%.*]] = or disjoint i64 [[INDEX]], 15 481; CHECK-NEXT: [[TMP103:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[TMP102]] 482; CHECK-NEXT: [[TMP104:%.*]] = load i32, ptr [[TMP103]], align 4 483; CHECK-NEXT: [[TMP105:%.*]] = insertelement <4 x i32> [[TMP100]], i32 [[TMP104]], i64 3 484; CHECK-NEXT: br label [[PRED_LOAD_CONTINUE38]] 485; CHECK: pred.load.continue35: 486; CHECK-NEXT: [[TMP106:%.*]] = phi <4 x i32> [ [[TMP100]], [[PRED_LOAD_CONTINUE36]] ], [ [[TMP105]], [[PRED_LOAD_IF37]] ] 487; CHECK-NEXT: [[TMP107:%.*]] = select <4 x i1> [[TMP8]], <4 x i32> [[TMP34]], <4 x i32> splat (i32 1) 488; CHECK-NEXT: [[TMP108:%.*]] = call i32 @llvm.vector.reduce.mul.v4i32(<4 x i32> [[TMP107]]) 489; CHECK-NEXT: [[TMP109]] = mul i32 [[TMP108]], [[VEC_PHI]] 490; CHECK-NEXT: [[TMP110:%.*]] = select <4 x i1> [[TMP9]], <4 x i32> [[TMP58]], <4 x i32> splat (i32 1) 491; CHECK-NEXT: [[TMP111:%.*]] = call i32 @llvm.vector.reduce.mul.v4i32(<4 x i32> [[TMP110]]) 492; CHECK-NEXT: [[TMP112]] = mul i32 [[TMP111]], [[VEC_PHI4]] 493; CHECK-NEXT: [[TMP113:%.*]] = select <4 x i1> [[TMP10]], <4 x i32> [[TMP82]], <4 x i32> splat (i32 1) 494; CHECK-NEXT: [[TMP114:%.*]] = call i32 @llvm.vector.reduce.mul.v4i32(<4 x i32> [[TMP113]]) 495; CHECK-NEXT: [[TMP115]] = mul i32 [[TMP114]], [[VEC_PHI5]] 496; CHECK-NEXT: [[TMP116:%.*]] = select <4 x i1> [[TMP11]], <4 x i32> [[TMP106]], <4 x i32> splat (i32 1) 497; CHECK-NEXT: [[TMP117:%.*]] = call i32 @llvm.vector.reduce.mul.v4i32(<4 x i32> [[TMP116]]) 498; CHECK-NEXT: [[TMP118]] = mul i32 [[TMP117]], [[VEC_PHI6]] 499; CHECK-NEXT: [[INDEX_NEXT]] = add i64 [[INDEX]], 16 500; CHECK-NEXT: [[VEC_IND_NEXT]] = add <4 x i64> [[VEC_IND]], splat (i64 16) 501; CHECK-NEXT: [[TMP119:%.*]] = icmp eq i64 [[INDEX_NEXT]], [[N_VEC]] 502; CHECK-NEXT: br i1 [[TMP119]], label [[MIDDLE_BLOCK:%.*]], label [[VECTOR_BODY]], !llvm.loop [[LOOP6:![0-9]+]] 503; CHECK: middle.block: 504; CHECK-NEXT: [[BIN_RDX:%.*]] = mul i32 [[TMP112]], [[TMP109]] 505; CHECK-NEXT: [[BIN_RDX39:%.*]] = mul i32 [[TMP115]], [[BIN_RDX]] 506; CHECK-NEXT: [[BIN_RDX40:%.*]] = mul i32 [[TMP118]], [[BIN_RDX39]] 507; CHECK-NEXT: br i1 true, label [[FOR_END:%.*]], label [[SCALAR_PH]] 508; CHECK: scalar.ph: 509; CHECK-NEXT: br label [[FOR_BODY:%.*]] 510; CHECK: for.body: 511; CHECK-NEXT: br i1 poison, label [[IF_THEN:%.*]], label [[FOR_INC:%.*]] 512; CHECK: if.then: 513; CHECK-NEXT: br label [[FOR_INC]] 514; CHECK: for.inc: 515; CHECK-NEXT: br i1 poison, label [[FOR_END]], label [[FOR_BODY]], !llvm.loop [[LOOP7:![0-9]+]] 516; CHECK: for.end: 517; CHECK-NEXT: [[RES_LCSSA:%.*]] = phi i32 [ poison, [[FOR_INC]] ], [ [[BIN_RDX40]], [[MIDDLE_BLOCK]] ] 518; CHECK-NEXT: ret i32 [[RES_LCSSA]] 519; 520entry: 521 br label %for.body 522 523for.body: 524 %iv = phi i64 [ %inc, %for.inc ], [ 0, %entry ] 525 %sum = phi i32 [ %res, %for.inc ], [ 4, %entry ] 526 %cmp1 = icmp sgt i32 %cond, 7 527 br i1 %cmp1, label %if.then, label %for.inc 528 529if.then: 530 %arrayidx = getelementptr inbounds i32, ptr %a, i64 %iv 531 %load = load i32, ptr %arrayidx 532 %mul = mul nsw i32 %load, %sum 533 br label %for.inc 534 535for.inc: 536 %res = phi i32 [ %mul, %if.then ], [ %sum, %for.body ] 537 %inc = add nuw nsw i64 %iv, 1 538 %exitcond.not = icmp eq i64 %inc, %N 539 br i1 %exitcond.not, label %for.end, label %for.body, !llvm.loop !6 540 541for.end: 542 ret i32 %res 543} 544 545!6 = distinct !{!6, !7, !8} 546!7 = !{!"llvm.loop.vectorize.predicate.enable", i1 true} 547!8 = !{!"llvm.loop.vectorize.enable", i1 true} 548