1; RUN: opt < %s -disable-output -passes="print<da>" \ 2; RUN: -da-disable-delinearization-checks 2>&1 | FileCheck %s 3; RUN: opt < %s -da -analyze -enable-new-pm=0 -da-disable-delinearization-checks | FileCheck %s 4 5; CHECK-LABEL: t1 6; CHECK: da analyze - none! 7; CHECK: da analyze - consistent anti [1 -2]! 8; CHECK: da analyze - none! 9 10;; void t1(int n, int m, int a[][m]) { 11;; for (int i = 0; i < n-1; ++i) 12;; for (int j = 2; j < m; ++j) 13;; a[i][j] = a[i+1][j-2]; 14;; } 15 16define void @t1(i32 signext %n, i32 signext %m, i32* %a) { 17entry: 18 %0 = zext i32 %m to i64 19 %1 = sext i32 %m to i64 20 %sub = add nsw i32 %n, -1 21 %2 = sext i32 %sub to i64 22 %cmp7 = icmp slt i64 0, %2 23 br i1 %cmp7, label %for.body, label %for.end14 24 25for.body: ; preds = %entry, %for.inc12 26 %indvars.iv28 = phi i64 [ %indvars.iv.next3, %for.inc12 ], [ 0, %entry ] 27 %cmp25 = icmp slt i64 2, %1 28 br i1 %cmp25, label %for.body4, label %for.inc12 29 30for.body4: ; preds = %for.body, %for.body4 31 %indvars.iv6 = phi i64 [ %indvars.iv.next, %for.body4 ], [ 2, %for.body ] 32 %3 = add nuw nsw i64 %indvars.iv28, 1 33 %4 = mul nuw nsw i64 %3, %0 34 %arrayidx = getelementptr inbounds i32, i32* %a, i64 %4 35 %5 = add nsw i64 %indvars.iv6, -2 36 %arrayidx7 = getelementptr inbounds i32, i32* %arrayidx, i64 %5 37 %6 = load i32, i32* %arrayidx7, align 4 38 %7 = mul nuw nsw i64 %indvars.iv28, %0 39 %arrayidx9 = getelementptr inbounds i32, i32* %a, i64 %7 40 %arrayidx11 = getelementptr inbounds i32, i32* %arrayidx9, i64 %indvars.iv6 41 store i32 %6, i32* %arrayidx11, align 4 42 %indvars.iv.next = add nuw nsw i64 %indvars.iv6, 1 43 %cmp2 = icmp slt i64 %indvars.iv.next, %1 44 br i1 %cmp2, label %for.body4, label %for.inc12 45 46for.inc12: ; preds = %for.body4, %for.body 47 %indvars.iv29 = phi i64 [ %indvars.iv28, %for.body ], [ %indvars.iv28, %for.body4 ] 48 %indvars.iv.next3 = add nuw nsw i64 %indvars.iv29, 1 49 %cmp = icmp slt i64 %indvars.iv.next3, %2 50 br i1 %cmp, label %for.body, label %for.end14 51 52for.end14: ; preds = %entry, %for.inc12 53 ret void 54} 55 56; CHECK-LABEL: t2 57; CHECK: da analyze - none! 58; CHECK: da analyze - consistent anti [1 -2 0 -3 2]! 59; CHECK: da analyze - none! 60 61;; void t2(int n, int m, int a[][n][n][n][m]) { 62;; for (int i1 = 0; i1 < n-1; ++i1) 63;; for (int i2 = 2; i2 < n; ++i2) 64;; for (int i3 = 0; i3 < n; ++i3) 65;; for (int i4 = 3; i4 < n; ++i4) 66;; for (int i5 = 0; i5 < m-2; ++i5) 67;; a[i1][i2][i3][i4][i5] = a[i1+1][i2-2][i3][i4-3][i5+2]; 68;; } 69 70define void @t2(i32 signext %n, i32 signext %m, i32* %a) { 71entry: 72 %0 = zext i32 %n to i64 73 %1 = zext i32 %n to i64 74 %2 = zext i32 %n to i64 75 %3 = zext i32 %m to i64 76 %4 = sext i32 %n to i64 77 %sub = add nsw i32 %n, -1 78 %5 = sext i32 %sub to i64 79 %cmp26 = icmp slt i64 0, %5 80 br i1 %cmp26, label %for.body, label %for.end50 81 82for.body: ; preds = %entry, %for.inc48 83 %indvars.iv1227 = phi i64 [ %indvars.iv.next13, %for.inc48 ], [ 0, %entry ] 84 %cmp223 = icmp slt i64 2, %4 85 br i1 %cmp223, label %for.body4, label %for.inc48 86 87for.body4: ; preds = %for.body, %for.inc45 88 %indvars.iv924 = phi i64 [ %indvars.iv.next10, %for.inc45 ], [ 2, %for.body ] 89 %wide.trip.count7 = zext i32 %n to i64 90 %exitcond820 = icmp ne i64 0, %wide.trip.count7 91 br i1 %exitcond820, label %for.body8, label %for.inc45 92 93for.body8: ; preds = %for.body4, %for.inc42 94 %indvars.iv521 = phi i64 [ %indvars.iv.next6, %for.inc42 ], [ 0, %for.body4 ] 95 %wide.trip.count = zext i32 %n to i64 96 %exitcond17 = icmp ne i64 3, %wide.trip.count 97 br i1 %exitcond17, label %for.body12, label %for.inc42 98 99for.body12: ; preds = %for.body8, %for.inc39 100 %indvars.iv218 = phi i64 [ %indvars.iv.next3, %for.inc39 ], [ 3, %for.body8 ] 101 %sub14 = add nsw i32 %m, -2 102 %6 = sext i32 %sub14 to i64 103 %cmp1515 = icmp slt i64 0, %6 104 br i1 %cmp1515, label %for.body17, label %for.inc39 105 106for.body17: ; preds = %for.body12, %for.body17 107 %indvars.iv16 = phi i64 [ %indvars.iv.next, %for.body17 ], [ 0, %for.body12 ] 108 %7 = add nuw nsw i64 %indvars.iv1227, 1 109 %8 = mul nuw i64 %0, %1 110 %9 = mul nuw i64 %8, %2 111 %10 = mul nuw i64 %9, %3 112 %11 = mul nsw i64 %10, %7 113 %arrayidx = getelementptr inbounds i32, i32* %a, i64 %11 114 %12 = add nsw i64 %indvars.iv924, -2 115 %13 = mul nuw i64 %1, %2 116 %14 = mul nuw i64 %13, %3 117 %15 = mul nsw i64 %14, %12 118 %arrayidx20 = getelementptr inbounds i32, i32* %arrayidx, i64 %15 119 %16 = mul nuw i64 %2, %3 120 %17 = mul nsw i64 %16, %indvars.iv521 121 %arrayidx22 = getelementptr inbounds i32, i32* %arrayidx20, i64 %17 122 %18 = add nsw i64 %indvars.iv218, -3 123 %19 = mul nuw nsw i64 %18, %3 124 %arrayidx25 = getelementptr inbounds i32, i32* %arrayidx22, i64 %19 125 %20 = add nuw nsw i64 %indvars.iv16, 2 126 %arrayidx28 = getelementptr inbounds i32, i32* %arrayidx25, i64 %20 127 %21 = load i32, i32* %arrayidx28, align 4 128 %22 = mul nuw i64 %0, %1 129 %23 = mul nuw i64 %22, %2 130 %24 = mul nuw i64 %23, %3 131 %25 = mul nsw i64 %24, %indvars.iv1227 132 %arrayidx30 = getelementptr inbounds i32, i32* %a, i64 %25 133 %26 = mul nuw i64 %1, %2 134 %27 = mul nuw i64 %26, %3 135 %28 = mul nsw i64 %27, %indvars.iv924 136 %arrayidx32 = getelementptr inbounds i32, i32* %arrayidx30, i64 %28 137 %29 = mul nuw i64 %2, %3 138 %30 = mul nsw i64 %29, %indvars.iv521 139 %arrayidx34 = getelementptr inbounds i32, i32* %arrayidx32, i64 %30 140 %31 = mul nuw nsw i64 %indvars.iv218, %3 141 %arrayidx36 = getelementptr inbounds i32, i32* %arrayidx34, i64 %31 142 %arrayidx38 = getelementptr inbounds i32, i32* %arrayidx36, i64 %indvars.iv16 143 store i32 %21, i32* %arrayidx38, align 4 144 %indvars.iv.next = add nuw nsw i64 %indvars.iv16, 1 145 %cmp15 = icmp slt i64 %indvars.iv.next, %6 146 br i1 %cmp15, label %for.body17, label %for.inc39 147 148for.inc39: ; preds = %for.body17, %for.body12 149 %indvars.iv219 = phi i64 [ %indvars.iv218, %for.body12 ], [ %indvars.iv218, %for.body17 ] 150 %indvars.iv.next3 = add nuw nsw i64 %indvars.iv219, 1 151 %exitcond = icmp ne i64 %indvars.iv.next3, %wide.trip.count 152 br i1 %exitcond, label %for.body12, label %for.inc42 153 154for.inc42: ; preds = %for.inc39, %for.body8 155 %indvars.iv522 = phi i64 [ %indvars.iv521, %for.body8 ], [ %indvars.iv521, %for.inc39 ] 156 %indvars.iv.next6 = add nuw nsw i64 %indvars.iv522, 1 157 %exitcond8 = icmp ne i64 %indvars.iv.next6, %wide.trip.count7 158 br i1 %exitcond8, label %for.body8, label %for.inc45 159 160for.inc45: ; preds = %for.inc42, %for.body4 161 %indvars.iv925 = phi i64 [ %indvars.iv924, %for.body4 ], [ %indvars.iv924, %for.inc42 ] 162 %indvars.iv.next10 = add nuw nsw i64 %indvars.iv925, 1 163 %cmp2 = icmp slt i64 %indvars.iv.next10, %4 164 br i1 %cmp2, label %for.body4, label %for.inc48 165 166for.inc48: ; preds = %for.inc45, %for.body 167 %indvars.iv1228 = phi i64 [ %indvars.iv1227, %for.body ], [ %indvars.iv1227, %for.inc45 ] 168 %indvars.iv.next13 = add nuw nsw i64 %indvars.iv1228, 1 169 %cmp = icmp slt i64 %indvars.iv.next13, %5 170 br i1 %cmp, label %for.body, label %for.end50 171 172for.end50: ; preds = %entry, %for.inc48 173 ret void 174} 175 176 177; CHECK-LABEL: t3 178; CHECK: da analyze - none! 179; CHECK: da analyze - consistent anti [1 -2]! 180; CHECK: da analyze - none! 181 182;; // No sign or zero extension, but with compile-time unknown loop lower bound. 183;; void t3(unsigned long long n, unsigned long long m, unsigned long long lb, float a[][m]) { 184;; for (unsigned long long i = 0; i < n-1; ++i) 185;; for (unsigned long long j = lb; j < m; ++j) 186;; a[i][j] = a[i+1][j-2]; 187;; } 188 189define void @t3(i64 %n, i64 %m, i64 %lb, float* %a) { 190entry: 191 %0 = add i64 %n, -1 192 %exitcond3 = icmp ne i64 0, %0 193 br i1 %exitcond3, label %for.body.preheader, label %for.end11 194 195for.body.preheader: ; preds = %entry 196 br label %for.body 197 198for.body: ; preds = %for.body.preheader, %for.inc9 199 %i.04 = phi i64 [ %inc10, %for.inc9 ], [ 0, %for.body.preheader ] 200 %cmp21 = icmp ult i64 %lb, %m 201 br i1 %cmp21, label %for.body4.preheader, label %for.inc9 202 203for.body4.preheader: ; preds = %for.body 204 br label %for.body4 205 206for.body4: ; preds = %for.body4.preheader, %for.body4 207 %j.02 = phi i64 [ %inc, %for.body4 ], [ %lb, %for.body4.preheader ] 208 %add = add i64 %i.04, 1 209 %1 = mul nsw i64 %add, %m 210 %arrayidx = getelementptr inbounds float, float* %a, i64 %1 211 %sub5 = add i64 %j.02, -2 212 %arrayidx6 = getelementptr inbounds float, float* %arrayidx, i64 %sub5 213 %2 = bitcast float* %arrayidx6 to i32* 214 %3 = load i32, i32* %2, align 4 215 %4 = mul nsw i64 %i.04, %m 216 %arrayidx7 = getelementptr inbounds float, float* %a, i64 %4 217 %arrayidx8 = getelementptr inbounds float, float* %arrayidx7, i64 %j.02 218 %5 = bitcast float* %arrayidx8 to i32* 219 store i32 %3, i32* %5, align 4 220 %inc = add i64 %j.02, 1 221 %cmp2 = icmp ult i64 %inc, %m 222 br i1 %cmp2, label %for.body4, label %for.inc9.loopexit 223 224for.inc9.loopexit: ; preds = %for.body4 225 br label %for.inc9 226 227for.inc9: ; preds = %for.inc9.loopexit, %for.body 228 %inc10 = add i64 %i.04, 1 229 %exitcond = icmp ne i64 %inc10, %0 230 br i1 %exitcond, label %for.body, label %for.end11.loopexit 231 232for.end11.loopexit: ; preds = %for.inc9 233 br label %for.end11 234 235for.end11: ; preds = %for.end11.loopexit, %entry 236 ret void 237} 238 239