194 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -S -mtriple=x86_64-unknown -mattr=+avx -passes=slp-vectorizer | FileCheck %s3 4;void phiUsingLoads(int *restrict A, int *restrict B) {5; int tmp0, tmp1, tmp2, tmp3;6; for (int i = 0; i < 100; i++) {7; if (A[0] == 0) {8; tmp0 = A[i + 0];9; tmp1 = A[i + 1];10; tmp2 = A[i + 2];11; tmp3 = A[i + 3];12; } else if (A[25] == 0) {13; tmp0 = A[i + 0];14; tmp1 = A[i + 1];15; tmp2 = A[i + 2];16; tmp3 = A[i + 3];17; } else if (A[50] == 0) {18; tmp0 = A[i + 0];19; tmp1 = A[i + 1];20; tmp2 = A[i + 2];21; tmp3 = A[i + 3];22; } else if (A[75] == 0) {23; tmp0 = A[i + 0];24; tmp1 = A[i + 1];25; tmp2 = A[i + 3];26; tmp3 = A[i + 2];27; }28; }29; B[0] = tmp0;30; B[1] = tmp1;31; B[2] = tmp2;32; B[3] = tmp3;33;}34 35 36; Function Attrs: norecurse nounwind uwtable37define void @phiUsingLoads(ptr noalias nocapture readonly %A, ptr noalias nocapture %B) local_unnamed_addr #0 {38; CHECK-LABEL: @phiUsingLoads(39; CHECK-NEXT: entry:40; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[A:%.*]], align 441; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 [[TMP0]], 042; CHECK-NEXT: [[ARRAYIDX12:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 2543; CHECK-NEXT: [[ARRAYIDX28:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 5044; CHECK-NEXT: [[ARRAYIDX44:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 7545; CHECK-NEXT: br label [[FOR_BODY:%.*]]46; CHECK: for.cond.cleanup:47; CHECK-NEXT: store <4 x i32> [[TMP14:%.*]], ptr [[B:%.*]], align 448; CHECK-NEXT: ret void49; CHECK: for.body:50; CHECK-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ 0, [[ENTRY:%.*]] ], [ [[INDVARS_IV_NEXT:%.*]], [[FOR_INC:%.*]] ]51; CHECK-NEXT: [[TMP2:%.*]] = phi <4 x i32> [ undef, [[ENTRY]] ], [ [[TMP14]], [[FOR_INC]] ]52; CHECK-NEXT: br i1 [[CMP1]], label [[IF_THEN:%.*]], label [[IF_ELSE:%.*]]53; CHECK: if.then:54; CHECK-NEXT: [[ARRAYIDX2:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[INDVARS_IV]]55; CHECK-NEXT: [[TMP4:%.*]] = load <4 x i32>, ptr [[ARRAYIDX2]], align 456; CHECK-NEXT: br label [[FOR_INC]]57; CHECK: if.else:58; CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr [[ARRAYIDX12]], align 459; CHECK-NEXT: [[CMP13:%.*]] = icmp eq i32 [[TMP5]], 060; CHECK-NEXT: br i1 [[CMP13]], label [[IF_THEN14:%.*]], label [[IF_ELSE27:%.*]]61; CHECK: if.then14:62; CHECK-NEXT: [[ARRAYIDX17:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[INDVARS_IV]]63; CHECK-NEXT: [[TMP7:%.*]] = load <4 x i32>, ptr [[ARRAYIDX17]], align 464; CHECK-NEXT: br label [[FOR_INC]]65; CHECK: if.else27:66; CHECK-NEXT: [[TMP8:%.*]] = load i32, ptr [[ARRAYIDX28]], align 467; CHECK-NEXT: [[CMP29:%.*]] = icmp eq i32 [[TMP8]], 068; CHECK-NEXT: br i1 [[CMP29]], label [[IF_THEN30:%.*]], label [[IF_ELSE43:%.*]]69; CHECK: if.then30:70; CHECK-NEXT: [[ARRAYIDX33:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[INDVARS_IV]]71; CHECK-NEXT: [[TMP10:%.*]] = load <4 x i32>, ptr [[ARRAYIDX33]], align 472; CHECK-NEXT: br label [[FOR_INC]]73; CHECK: if.else43:74; CHECK-NEXT: [[TMP11:%.*]] = load i32, ptr [[ARRAYIDX44]], align 475; CHECK-NEXT: [[CMP45:%.*]] = icmp eq i32 [[TMP11]], 076; CHECK-NEXT: br i1 [[CMP45]], label [[IF_THEN46:%.*]], label [[FOR_INC]]77; CHECK: if.then46:78; CHECK-NEXT: [[ARRAYIDX49:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 [[INDVARS_IV]]79; CHECK-NEXT: [[TMP13:%.*]] = load <4 x i32>, ptr [[ARRAYIDX49]], align 480; CHECK-NEXT: [[SHUFFLE:%.*]] = shufflevector <4 x i32> [[TMP13]], <4 x i32> poison, <4 x i32> <i32 0, i32 1, i32 3, i32 2>81; CHECK-NEXT: br label [[FOR_INC]]82; CHECK: for.inc:83; CHECK-NEXT: [[TMP14]] = phi <4 x i32> [ [[TMP4]], [[IF_THEN]] ], [ [[TMP7]], [[IF_THEN14]] ], [ [[TMP10]], [[IF_THEN30]] ], [ [[SHUFFLE]], [[IF_THEN46]] ], [ [[TMP2]], [[IF_ELSE43]] ]84; CHECK-NEXT: [[INDVARS_IV_NEXT]] = add nuw nsw i64 [[INDVARS_IV]], 185; CHECK-NEXT: [[EXITCOND:%.*]] = icmp eq i64 [[INDVARS_IV_NEXT]], 10086; CHECK-NEXT: br i1 [[EXITCOND]], label [[FOR_COND_CLEANUP:%.*]], label [[FOR_BODY]]87;88entry:89 %0 = load i32, ptr %A, align 490 %cmp1 = icmp eq i32 %0, 091 %arrayidx12 = getelementptr inbounds i32, ptr %A, i64 2592 %arrayidx28 = getelementptr inbounds i32, ptr %A, i64 5093 %arrayidx44 = getelementptr inbounds i32, ptr %A, i64 7594 br label %for.body95 96for.cond.cleanup: ; preds = %for.inc97 store i32 %tmp0.1, ptr %B, align 498 %arrayidx64 = getelementptr inbounds i32, ptr %B, i64 199 store i32 %tmp1.1, ptr %arrayidx64, align 4100 %arrayidx65 = getelementptr inbounds i32, ptr %B, i64 2101 store i32 %tmp2.1, ptr %arrayidx65, align 4102 %arrayidx66 = getelementptr inbounds i32, ptr %B, i64 3103 store i32 %tmp3.1, ptr %arrayidx66, align 4104 ret void105 106for.body: ; preds = %for.inc, %entry107 %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.inc ]108 %tmp3.0111 = phi i32 [ undef, %entry ], [ %tmp3.1, %for.inc ]109 %tmp2.0110 = phi i32 [ undef, %entry ], [ %tmp2.1, %for.inc ]110 %tmp1.0109 = phi i32 [ undef, %entry ], [ %tmp1.1, %for.inc ]111 %tmp0.0108 = phi i32 [ undef, %entry ], [ %tmp0.1, %for.inc ]112 br i1 %cmp1, label %if.then, label %if.else113 114if.then: ; preds = %for.body115 %arrayidx2 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv116 %1 = load i32, ptr %arrayidx2, align 4117 %2 = add nuw nsw i64 %indvars.iv, 1118 %arrayidx5 = getelementptr inbounds i32, ptr %A, i64 %2119 %3 = load i32, ptr %arrayidx5, align 4120 %4 = add nuw nsw i64 %indvars.iv, 2121 %arrayidx8 = getelementptr inbounds i32, ptr %A, i64 %4122 %5 = load i32, ptr %arrayidx8, align 4123 %6 = add nuw nsw i64 %indvars.iv, 3124 %arrayidx11 = getelementptr inbounds i32, ptr %A, i64 %6125 %7 = load i32, ptr %arrayidx11, align 4126 br label %for.inc127 128if.else: ; preds = %for.body129 %8 = load i32, ptr %arrayidx12, align 4130 %cmp13 = icmp eq i32 %8, 0131 br i1 %cmp13, label %if.then14, label %if.else27132 133if.then14: ; preds = %if.else134 %arrayidx17 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv135 %9 = load i32, ptr %arrayidx17, align 4136 %10 = add nuw nsw i64 %indvars.iv, 1137 %arrayidx20 = getelementptr inbounds i32, ptr %A, i64 %10138 %11 = load i32, ptr %arrayidx20, align 4139 %12 = add nuw nsw i64 %indvars.iv, 2140 %arrayidx23 = getelementptr inbounds i32, ptr %A, i64 %12141 %13 = load i32, ptr %arrayidx23, align 4142 %14 = add nuw nsw i64 %indvars.iv, 3143 %arrayidx26 = getelementptr inbounds i32, ptr %A, i64 %14144 %15 = load i32, ptr %arrayidx26, align 4145 br label %for.inc146 147if.else27: ; preds = %if.else148 %16 = load i32, ptr %arrayidx28, align 4149 %cmp29 = icmp eq i32 %16, 0150 br i1 %cmp29, label %if.then30, label %if.else43151 152if.then30: ; preds = %if.else27153 %arrayidx33 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv154 %17 = load i32, ptr %arrayidx33, align 4155 %18 = add nuw nsw i64 %indvars.iv, 1156 %arrayidx36 = getelementptr inbounds i32, ptr %A, i64 %18157 %19 = load i32, ptr %arrayidx36, align 4158 %20 = add nuw nsw i64 %indvars.iv, 2159 %arrayidx39 = getelementptr inbounds i32, ptr %A, i64 %20160 %21 = load i32, ptr %arrayidx39, align 4161 %22 = add nuw nsw i64 %indvars.iv, 3162 %arrayidx42 = getelementptr inbounds i32, ptr %A, i64 %22163 %23 = load i32, ptr %arrayidx42, align 4164 br label %for.inc165 166if.else43: ; preds = %if.else27167 %24 = load i32, ptr %arrayidx44, align 4168 %cmp45 = icmp eq i32 %24, 0169 br i1 %cmp45, label %if.then46, label %for.inc170 171if.then46: ; preds = %if.else43172 %arrayidx49 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv173 %25 = load i32, ptr %arrayidx49, align 4174 %26 = add nuw nsw i64 %indvars.iv, 1175 %arrayidx52 = getelementptr inbounds i32, ptr %A, i64 %26176 %27 = load i32, ptr %arrayidx52, align 4177 %28 = add nuw nsw i64 %indvars.iv, 3178 %arrayidx55 = getelementptr inbounds i32, ptr %A, i64 %28179 %29 = load i32, ptr %arrayidx55, align 4180 %30 = add nuw nsw i64 %indvars.iv, 2181 %arrayidx58 = getelementptr inbounds i32, ptr %A, i64 %30182 %31 = load i32, ptr %arrayidx58, align 4183 br label %for.inc184 185for.inc: ; preds = %if.then, %if.then30, %if.else43, %if.then46, %if.then14186 %tmp0.1 = phi i32 [ %1, %if.then ], [ %9, %if.then14 ], [ %17, %if.then30 ], [ %25, %if.then46 ], [ %tmp0.0108, %if.else43 ]187 %tmp1.1 = phi i32 [ %3, %if.then ], [ %11, %if.then14 ], [ %19, %if.then30 ], [ %27, %if.then46 ], [ %tmp1.0109, %if.else43 ]188 %tmp2.1 = phi i32 [ %5, %if.then ], [ %13, %if.then14 ], [ %21, %if.then30 ], [ %29, %if.then46 ], [ %tmp2.0110, %if.else43 ]189 %tmp3.1 = phi i32 [ %7, %if.then ], [ %15, %if.then14 ], [ %23, %if.then30 ], [ %31, %if.then46 ], [ %tmp3.0111, %if.else43 ]190 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1191 %exitcond = icmp eq i64 %indvars.iv.next, 100192 br i1 %exitcond, label %for.cond.cleanup, label %for.body193}194