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