272 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -disable-output -passes="print<da>" \3; RUN: -da-disable-delinearization-checks 2>&1 | FileCheck %s4; RUN: opt < %s -disable-output -passes="print<da>" \5; RUN: 2>&1 | FileCheck --check-prefix=LIN %s6 7;; void t1(int n, int m, int a[][m]) {8;; for (int i = 0; i < n-1; ++i)9;; for (int j = 2; j < m; ++j)10;; a[i][j] = a[i+1][j-2];11;; }12 13define void @t1(i32 signext %n, i32 signext %m, ptr %a) {14; CHECK-LABEL: 't1'15; CHECK-NEXT: Src: %6 = load i32, ptr %arrayidx7, align 4 --> Dst: %6 = load i32, ptr %arrayidx7, align 416; CHECK-NEXT: da analyze - none!17; CHECK-NEXT: Src: %6 = load i32, ptr %arrayidx7, align 4 --> Dst: store i32 %6, ptr %arrayidx11, align 418; CHECK-NEXT: da analyze - consistent anti [1 -2]!19; CHECK-NEXT: Src: store i32 %6, ptr %arrayidx11, align 4 --> Dst: store i32 %6, ptr %arrayidx11, align 420; CHECK-NEXT: da analyze - none!21;22; LIN-LABEL: 't1'23; LIN-NEXT: Src: %6 = load i32, ptr %arrayidx7, align 4 --> Dst: %6 = load i32, ptr %arrayidx7, align 424; LIN-NEXT: da analyze - input [* *]!25; LIN-NEXT: Src: %6 = load i32, ptr %arrayidx7, align 4 --> Dst: store i32 %6, ptr %arrayidx11, align 426; LIN-NEXT: da analyze - anti [* *|<]!27; LIN-NEXT: Src: store i32 %6, ptr %arrayidx11, align 4 --> Dst: store i32 %6, ptr %arrayidx11, align 428; LIN-NEXT: da analyze - output [* *]!29;30entry:31 %0 = zext i32 %m to i6432 %1 = sext i32 %m to i6433 %sub = add nsw i32 %n, -134 %2 = sext i32 %sub to i6435 %cmp7 = icmp slt i64 0, %236 br i1 %cmp7, label %for.body, label %for.end1437 38for.body: ; preds = %entry, %for.inc1239 %indvars.iv28 = phi i64 [ %indvars.iv.next3, %for.inc12 ], [ 0, %entry ]40 %cmp25 = icmp slt i64 2, %141 br i1 %cmp25, label %for.body4, label %for.inc1242 43for.body4: ; preds = %for.body, %for.body444 %indvars.iv6 = phi i64 [ %indvars.iv.next, %for.body4 ], [ 2, %for.body ]45 %3 = add nuw nsw i64 %indvars.iv28, 146 %4 = mul nuw nsw i64 %3, %047 %arrayidx = getelementptr inbounds i32, ptr %a, i64 %448 %5 = add nsw i64 %indvars.iv6, -249 %arrayidx7 = getelementptr inbounds i32, ptr %arrayidx, i64 %550 %6 = load i32, ptr %arrayidx7, align 451 %7 = mul nuw nsw i64 %indvars.iv28, %052 %arrayidx9 = getelementptr inbounds i32, ptr %a, i64 %753 %arrayidx11 = getelementptr inbounds i32, ptr %arrayidx9, i64 %indvars.iv654 store i32 %6, ptr %arrayidx11, align 455 %indvars.iv.next = add nuw nsw i64 %indvars.iv6, 156 %cmp2 = icmp slt i64 %indvars.iv.next, %157 br i1 %cmp2, label %for.body4, label %for.inc1258 59for.inc12: ; preds = %for.body4, %for.body60 %indvars.iv29 = phi i64 [ %indvars.iv28, %for.body ], [ %indvars.iv28, %for.body4 ]61 %indvars.iv.next3 = add nuw nsw i64 %indvars.iv29, 162 %cmp = icmp slt i64 %indvars.iv.next3, %263 br i1 %cmp, label %for.body, label %for.end1464 65for.end14: ; preds = %entry, %for.inc1266 ret void67}68 69;; void t2(int n, int m, int a[][n][n][n][m]) {70;; for (int i1 = 0; i1 < n-1; ++i1)71;; for (int i2 = 2; i2 < n; ++i2)72;; for (int i3 = 0; i3 < n; ++i3)73;; for (int i4 = 3; i4 < n; ++i4)74;; for (int i5 = 0; i5 < m-2; ++i5)75;; a[i1][i2][i3][i4][i5] = a[i1+1][i2-2][i3][i4-3][i5+2];76;; }77 78define void @t2(i32 signext %n, i32 signext %m, ptr %a) {79; CHECK-LABEL: 't2'80; CHECK-NEXT: Src: %21 = load i32, ptr %arrayidx28, align 4 --> Dst: %21 = load i32, ptr %arrayidx28, align 481; CHECK-NEXT: da analyze - none!82; CHECK-NEXT: Src: %21 = load i32, ptr %arrayidx28, align 4 --> Dst: store i32 %21, ptr %arrayidx38, align 483; CHECK-NEXT: da analyze - consistent anti [1 -2 0 -3 2]!84; CHECK-NEXT: Src: store i32 %21, ptr %arrayidx38, align 4 --> Dst: store i32 %21, ptr %arrayidx38, align 485; CHECK-NEXT: da analyze - none!86;87; LIN-LABEL: 't2'88; LIN-NEXT: Src: %21 = load i32, ptr %arrayidx28, align 4 --> Dst: %21 = load i32, ptr %arrayidx28, align 489; LIN-NEXT: da analyze - input [* * * * *]!90; LIN-NEXT: Src: %21 = load i32, ptr %arrayidx28, align 4 --> Dst: store i32 %21, ptr %arrayidx38, align 491; LIN-NEXT: da analyze - anti [* * * * *|<]!92; LIN-NEXT: Src: store i32 %21, ptr %arrayidx38, align 4 --> Dst: store i32 %21, ptr %arrayidx38, align 493; LIN-NEXT: da analyze - output [* * * * *]!94;95entry:96 %0 = zext i32 %n to i6497 %1 = zext i32 %n to i6498 %2 = zext i32 %n to i6499 %3 = zext i32 %m to i64100 %4 = sext i32 %n to i64101 %sub = add nsw i32 %n, -1102 %5 = sext i32 %sub to i64103 %cmp26 = icmp slt i64 0, %5104 br i1 %cmp26, label %for.body, label %for.end50105 106for.body: ; preds = %entry, %for.inc48107 %indvars.iv1227 = phi i64 [ %indvars.iv.next13, %for.inc48 ], [ 0, %entry ]108 %cmp223 = icmp slt i64 2, %4109 br i1 %cmp223, label %for.body4, label %for.inc48110 111for.body4: ; preds = %for.body, %for.inc45112 %indvars.iv924 = phi i64 [ %indvars.iv.next10, %for.inc45 ], [ 2, %for.body ]113 %wide.trip.count7 = zext i32 %n to i64114 %exitcond820 = icmp ne i64 0, %wide.trip.count7115 br i1 %exitcond820, label %for.body8, label %for.inc45116 117for.body8: ; preds = %for.body4, %for.inc42118 %indvars.iv521 = phi i64 [ %indvars.iv.next6, %for.inc42 ], [ 0, %for.body4 ]119 %wide.trip.count = zext i32 %n to i64120 %exitcond17 = icmp ne i64 3, %wide.trip.count121 br i1 %exitcond17, label %for.body12, label %for.inc42122 123for.body12: ; preds = %for.body8, %for.inc39124 %indvars.iv218 = phi i64 [ %indvars.iv.next3, %for.inc39 ], [ 3, %for.body8 ]125 %sub14 = add nsw i32 %m, -2126 %6 = sext i32 %sub14 to i64127 %cmp1515 = icmp slt i64 0, %6128 br i1 %cmp1515, label %for.body17, label %for.inc39129 130for.body17: ; preds = %for.body12, %for.body17131 %indvars.iv16 = phi i64 [ %indvars.iv.next, %for.body17 ], [ 0, %for.body12 ]132 %7 = add nuw nsw i64 %indvars.iv1227, 1133 %8 = mul nuw i64 %0, %1134 %9 = mul nuw i64 %8, %2135 %10 = mul nuw i64 %9, %3136 %11 = mul nsw i64 %10, %7137 %arrayidx = getelementptr inbounds i32, ptr %a, i64 %11138 %12 = add nsw i64 %indvars.iv924, -2139 %13 = mul nuw i64 %1, %2140 %14 = mul nuw i64 %13, %3141 %15 = mul nsw i64 %14, %12142 %arrayidx20 = getelementptr inbounds i32, ptr %arrayidx, i64 %15143 %16 = mul nuw i64 %2, %3144 %17 = mul nsw i64 %16, %indvars.iv521145 %arrayidx22 = getelementptr inbounds i32, ptr %arrayidx20, i64 %17146 %18 = add nsw i64 %indvars.iv218, -3147 %19 = mul nuw nsw i64 %18, %3148 %arrayidx25 = getelementptr inbounds i32, ptr %arrayidx22, i64 %19149 %20 = add nuw nsw i64 %indvars.iv16, 2150 %arrayidx28 = getelementptr inbounds i32, ptr %arrayidx25, i64 %20151 %21 = load i32, ptr %arrayidx28, align 4152 %22 = mul nuw i64 %0, %1153 %23 = mul nuw i64 %22, %2154 %24 = mul nuw i64 %23, %3155 %25 = mul nsw i64 %24, %indvars.iv1227156 %arrayidx30 = getelementptr inbounds i32, ptr %a, i64 %25157 %26 = mul nuw i64 %1, %2158 %27 = mul nuw i64 %26, %3159 %28 = mul nsw i64 %27, %indvars.iv924160 %arrayidx32 = getelementptr inbounds i32, ptr %arrayidx30, i64 %28161 %29 = mul nuw i64 %2, %3162 %30 = mul nsw i64 %29, %indvars.iv521163 %arrayidx34 = getelementptr inbounds i32, ptr %arrayidx32, i64 %30164 %31 = mul nuw nsw i64 %indvars.iv218, %3165 %arrayidx36 = getelementptr inbounds i32, ptr %arrayidx34, i64 %31166 %arrayidx38 = getelementptr inbounds i32, ptr %arrayidx36, i64 %indvars.iv16167 store i32 %21, ptr %arrayidx38, align 4168 %indvars.iv.next = add nuw nsw i64 %indvars.iv16, 1169 %cmp15 = icmp slt i64 %indvars.iv.next, %6170 br i1 %cmp15, label %for.body17, label %for.inc39171 172for.inc39: ; preds = %for.body17, %for.body12173 %indvars.iv219 = phi i64 [ %indvars.iv218, %for.body12 ], [ %indvars.iv218, %for.body17 ]174 %indvars.iv.next3 = add nuw nsw i64 %indvars.iv219, 1175 %exitcond = icmp ne i64 %indvars.iv.next3, %wide.trip.count176 br i1 %exitcond, label %for.body12, label %for.inc42177 178for.inc42: ; preds = %for.inc39, %for.body8179 %indvars.iv522 = phi i64 [ %indvars.iv521, %for.body8 ], [ %indvars.iv521, %for.inc39 ]180 %indvars.iv.next6 = add nuw nsw i64 %indvars.iv522, 1181 %exitcond8 = icmp ne i64 %indvars.iv.next6, %wide.trip.count7182 br i1 %exitcond8, label %for.body8, label %for.inc45183 184for.inc45: ; preds = %for.inc42, %for.body4185 %indvars.iv925 = phi i64 [ %indvars.iv924, %for.body4 ], [ %indvars.iv924, %for.inc42 ]186 %indvars.iv.next10 = add nuw nsw i64 %indvars.iv925, 1187 %cmp2 = icmp slt i64 %indvars.iv.next10, %4188 br i1 %cmp2, label %for.body4, label %for.inc48189 190for.inc48: ; preds = %for.inc45, %for.body191 %indvars.iv1228 = phi i64 [ %indvars.iv1227, %for.body ], [ %indvars.iv1227, %for.inc45 ]192 %indvars.iv.next13 = add nuw nsw i64 %indvars.iv1228, 1193 %cmp = icmp slt i64 %indvars.iv.next13, %5194 br i1 %cmp, label %for.body, label %for.end50195 196for.end50: ; preds = %entry, %for.inc48197 ret void198}199 200 201;; // No sign or zero extension, but with compile-time unknown loop lower bound.202;; void t3(unsigned long long n, unsigned long long m, unsigned long long lb, float a[][m]) {203;; for (unsigned long long i = 0; i < n-1; ++i)204;; for (unsigned long long j = lb; j < m; ++j)205;; a[i][j] = a[i+1][j-2];206;; }207 208define void @t3(i64 %n, i64 %m, i64 %lb, ptr %a) {209; CHECK-LABEL: 't3'210; CHECK-NEXT: Src: %2 = load i32, ptr %arrayidx6, align 4 --> Dst: %2 = load i32, ptr %arrayidx6, align 4211; CHECK-NEXT: da analyze - none!212; CHECK-NEXT: Src: %2 = load i32, ptr %arrayidx6, align 4 --> Dst: store i32 %2, ptr %arrayidx8, align 4213; CHECK-NEXT: da analyze - anti [1 *]!214; CHECK-NEXT: Src: store i32 %2, ptr %arrayidx8, align 4 --> Dst: store i32 %2, ptr %arrayidx8, align 4215; CHECK-NEXT: da analyze - none!216;217; LIN-LABEL: 't3'218; LIN-NEXT: Src: %2 = load i32, ptr %arrayidx6, align 4 --> Dst: %2 = load i32, ptr %arrayidx6, align 4219; LIN-NEXT: da analyze - input [* *]!220; LIN-NEXT: Src: %2 = load i32, ptr %arrayidx6, align 4 --> Dst: store i32 %2, ptr %arrayidx8, align 4221; LIN-NEXT: da analyze - anti [* *|<]!222; LIN-NEXT: Src: store i32 %2, ptr %arrayidx8, align 4 --> Dst: store i32 %2, ptr %arrayidx8, align 4223; LIN-NEXT: da analyze - output [* *]!224;225entry:226 %0 = add i64 %n, -1227 %exitcond3 = icmp ne i64 0, %0228 br i1 %exitcond3, label %for.body.preheader, label %for.end11229 230for.body.preheader: ; preds = %entry231 br label %for.body232 233for.body: ; preds = %for.body.preheader, %for.inc9234 %i.04 = phi i64 [ %inc10, %for.inc9 ], [ 0, %for.body.preheader ]235 %cmp21 = icmp ult i64 %lb, %m236 br i1 %cmp21, label %for.body4.preheader, label %for.inc9237 238for.body4.preheader: ; preds = %for.body239 br label %for.body4240 241for.body4: ; preds = %for.body4.preheader, %for.body4242 %j.02 = phi i64 [ %inc, %for.body4 ], [ %lb, %for.body4.preheader ]243 %add = add i64 %i.04, 1244 %1 = mul nsw i64 %add, %m245 %arrayidx = getelementptr inbounds float, ptr %a, i64 %1246 %sub5 = add i64 %j.02, -2247 %arrayidx6 = getelementptr inbounds float, ptr %arrayidx, i64 %sub5248 %2 = load i32, ptr %arrayidx6, align 4249 %3 = mul nsw i64 %i.04, %m250 %arrayidx7 = getelementptr inbounds float, ptr %a, i64 %3251 %arrayidx8 = getelementptr inbounds float, ptr %arrayidx7, i64 %j.02252 store i32 %2, ptr %arrayidx8, align 4253 %inc = add i64 %j.02, 1254 %cmp2 = icmp ult i64 %inc, %m255 br i1 %cmp2, label %for.body4, label %for.inc9.loopexit256 257for.inc9.loopexit: ; preds = %for.body4258 br label %for.inc9259 260for.inc9: ; preds = %for.inc9.loopexit, %for.body261 %inc10 = add i64 %i.04, 1262 %exitcond = icmp ne i64 %inc10, %0263 br i1 %exitcond, label %for.body, label %for.end11.loopexit264 265for.end11.loopexit: ; preds = %for.inc9266 br label %for.end11267 268for.end11: ; preds = %for.end11.loopexit, %entry269 ret void270}271 272