xref: /llvm-project/polly/test/ScopInfo/multidim_fixedsize_different_dimensionality.ll (revision e1f056f692d869708c1898d9d65a69ac5584a0ed) 
1; RUN: opt %loadNPMPolly '-passes=print<polly-function-scops>' -disable-output < %s 2>&1 | FileCheck %s
2;
3;    #define N 400
4;
5;    void first_higher_dimensional(float A[][N]) {
6;      for (long i = 0; i < N; i++)
7;        for (long j = 0; j < N; j++)
8;          A[i][j] += i + j;
9;
10;      A[0][0] += A[100][100];
11;
12;      for (long i = 0; i < N; i++)
13;        for (long j = 0; j < N; j++)
14;          A[i][j] += i + j;
15;    }
16
17;    void first_lower_dimensional(float A[][N], float B[][N]) {
18;      for (long i = 0; i < N; i++)
19;        for (long j = 0; j < N; j++)
20;          B[i][j] += i + j;
21;
22;      A[0][0] += B[100][100];
23;
24;      for (long i = 0; i < N; i++)
25;        for (long j = 0; j < N; j++)
26;          A[i][j] += i + j;
27;    }
28
29; CHECK:      Statements {
30; CHECK-NEXT:     Stmt_bb7
31; CHECK-NEXT:         Domain :=
32; CHECK-NEXT:             { Stmt_bb7[i0, i1] : 0 <= i0 <= 399 and 0 <= i1 <= 399 };
33; CHECK-NEXT:         Schedule :=
34; CHECK-NEXT:             { Stmt_bb7[i0, i1] -> [0, i0, i1] };
35; CHECK-NEXT:         ReadAccess :=    [Reduction Type: NONE] [Scalar: 0]
36; CHECK-NEXT:             { Stmt_bb7[i0, i1] -> MemRef_A[i0, i1] };
37; CHECK-NEXT:         MustWriteAccess :=    [Reduction Type: NONE] [Scalar: 0]
38; CHECK-NEXT:             { Stmt_bb7[i0, i1] -> MemRef_A[i0, i1] };
39; CHECK-NEXT:     Stmt_bb17
40; CHECK-NEXT:         Domain :=
41; CHECK-NEXT:             { Stmt_bb17[] };
42; CHECK-NEXT:         Schedule :=
43; CHECK-NEXT:             { Stmt_bb17[] -> [1, 0, 0] };
44; CHECK-NEXT:         ReadAccess :=    [Reduction Type: NONE] [Scalar: 0]
45; CHECK-NEXT:             { Stmt_bb17[] -> MemRef_A[100, 100] };
46; CHECK-NEXT:         ReadAccess :=    [Reduction Type: NONE] [Scalar: 0]
47; CHECK-NEXT:             { Stmt_bb17[] -> MemRef_A[0, 0] };
48; CHECK-NEXT:         MustWriteAccess :=    [Reduction Type: NONE] [Scalar: 0]
49; CHECK-NEXT:             { Stmt_bb17[] -> MemRef_A[0, 0] };
50; CHECK-NEXT:     Stmt_bb26
51; CHECK-NEXT:         Domain :=
52; CHECK-NEXT:             { Stmt_bb26[i0, i1] : 0 <= i0 <= 399 and 0 <= i1 <= 399 };
53; CHECK-NEXT:         Schedule :=
54; CHECK-NEXT:             { Stmt_bb26[i0, i1] -> [2, i0, i1] };
55; CHECK-NEXT:         ReadAccess :=    [Reduction Type: NONE] [Scalar: 0]
56; CHECK-NEXT:             { Stmt_bb26[i0, i1] -> MemRef_A[i0, i1] };
57; CHECK-NEXT:         MustWriteAccess :=    [Reduction Type: NONE] [Scalar: 0]
58; CHECK-NEXT:             { Stmt_bb26[i0, i1] -> MemRef_A[i0, i1] };
59; CHECK-NEXT: }
60;
61; CHECK:      Statements {
62; CHECK-NEXT:     Stmt_bb7
63; CHECK-NEXT:         Domain :=
64; CHECK-NEXT:             { Stmt_bb7[i0, i1] : 0 <= i0 <= 399 and 0 <= i1 <= 399 };
65; CHECK-NEXT:         Schedule :=
66; CHECK-NEXT:             { Stmt_bb7[i0, i1] -> [0, i0, i1] };
67; CHECK-NEXT:         ReadAccess :=    [Reduction Type: NONE] [Scalar: 0]
68; CHECK-NEXT:             { Stmt_bb7[i0, i1] -> MemRef_B[i0, i1] };
69; CHECK-NEXT:         MustWriteAccess :=    [Reduction Type: NONE] [Scalar: 0]
70; CHECK-NEXT:             { Stmt_bb7[i0, i1] -> MemRef_B[i0, i1] };
71; CHECK-NEXT:     Stmt_bb17
72; CHECK-NEXT:         Domain :=
73; CHECK-NEXT:             { Stmt_bb17[] };
74; CHECK-NEXT:         Schedule :=
75; CHECK-NEXT:             { Stmt_bb17[] -> [1, 0, 0] };
76; CHECK-NEXT:         ReadAccess :=    [Reduction Type: NONE] [Scalar: 0]
77; CHECK-NEXT:             { Stmt_bb17[] -> MemRef_B[100, 100] };
78; CHECK-NEXT:         ReadAccess :=    [Reduction Type: NONE] [Scalar: 0]
79; CHECK-NEXT:             { Stmt_bb17[] -> MemRef_A[0, 0] };
80; CHECK-NEXT:         MustWriteAccess :=    [Reduction Type: NONE] [Scalar: 0]
81; CHECK-NEXT:             { Stmt_bb17[] -> MemRef_A[0, 0] };
82; CHECK-NEXT:     Stmt_bb26
83; CHECK-NEXT:         Domain :=
84; CHECK-NEXT:             { Stmt_bb26[i0, i1] : 0 <= i0 <= 399 and 0 <= i1 <= 399 };
85; CHECK-NEXT:         Schedule :=
86; CHECK-NEXT:             { Stmt_bb26[i0, i1] -> [2, i0, i1] };
87; CHECK-NEXT:         ReadAccess :=    [Reduction Type: NONE] [Scalar: 0]
88; CHECK-NEXT:             { Stmt_bb26[i0, i1] -> MemRef_A[i0, i1] };
89; CHECK-NEXT:         MustWriteAccess :=    [Reduction Type: NONE] [Scalar: 0]
90; CHECK-NEXT:             { Stmt_bb26[i0, i1] -> MemRef_A[i0, i1] };
91; CHECK-NEXT: }
92
93target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
94
95define void @first_higher_dimensional(ptr %A) {
96bb:
97  br label %bb4
98
99bb4:                                              ; preds = %bb15, %bb
100  %i.0 = phi i64 [ 0, %bb ], [ %tmp16, %bb15 ]
101  %exitcond3 = icmp ne i64 %i.0, 400
102  br i1 %exitcond3, label %bb5, label %bb17
103
104bb5:                                              ; preds = %bb4
105  br label %bb6
106
107bb6:                                              ; preds = %bb12, %bb5
108  %j.0 = phi i64 [ 0, %bb5 ], [ %tmp13, %bb12 ]
109  %exitcond2 = icmp ne i64 %j.0, 400
110  br i1 %exitcond2, label %bb7, label %bb14
111
112bb7:                                              ; preds = %bb6
113  %tmp = add nuw nsw i64 %i.0, %j.0
114  %tmp8 = sitofp i64 %tmp to float
115  %tmp9 = getelementptr inbounds [400 x float], ptr %A, i64 %i.0, i64 %j.0
116  %tmp10 = load float, ptr %tmp9, align 4
117  %tmp11 = fadd float %tmp10, %tmp8
118  store float %tmp11, ptr %tmp9, align 4
119  br label %bb12
120
121bb12:                                             ; preds = %bb7
122  %tmp13 = add nuw nsw i64 %j.0, 1
123  br label %bb6
124
125bb14:                                             ; preds = %bb6
126  br label %bb15
127
128bb15:                                             ; preds = %bb14
129  %tmp16 = add nuw nsw i64 %i.0, 1
130  br label %bb4
131
132bb17:                                             ; preds = %bb4
133  %tmp18 = getelementptr inbounds [400 x float], ptr %A, i64 100, i64 100
134  %tmp19 = load float, ptr %tmp18, align 4
135  %tmp21 = load float, ptr %A, align 4
136  %tmp22 = fadd float %tmp21, %tmp19
137  store float %tmp22, ptr %A, align 4
138  br label %bb23
139
140bb23:                                             ; preds = %bb35, %bb17
141  %i1.0 = phi i64 [ 0, %bb17 ], [ %tmp36, %bb35 ]
142  %exitcond1 = icmp ne i64 %i1.0, 400
143  br i1 %exitcond1, label %bb24, label %bb37
144
145bb24:                                             ; preds = %bb23
146  br label %bb25
147
148bb25:                                             ; preds = %bb32, %bb24
149  %j2.0 = phi i64 [ 0, %bb24 ], [ %tmp33, %bb32 ]
150  %exitcond = icmp ne i64 %j2.0, 400
151  br i1 %exitcond, label %bb26, label %bb34
152
153bb26:                                             ; preds = %bb25
154  %tmp27 = add nuw nsw i64 %i1.0, %j2.0
155  %tmp28 = sitofp i64 %tmp27 to float
156  %tmp29 = getelementptr inbounds [400 x float], ptr %A, i64 %i1.0, i64 %j2.0
157  %tmp30 = load float, ptr %tmp29, align 4
158  %tmp31 = fadd float %tmp30, %tmp28
159  store float %tmp31, ptr %tmp29, align 4
160  br label %bb32
161
162bb32:                                             ; preds = %bb26
163  %tmp33 = add nuw nsw i64 %j2.0, 1
164  br label %bb25
165
166bb34:                                             ; preds = %bb25
167  br label %bb35
168
169bb35:                                             ; preds = %bb34
170  %tmp36 = add nuw nsw i64 %i1.0, 1
171  br label %bb23
172
173bb37:                                             ; preds = %bb23
174  ret void
175}
176
177define void @first_lower_dimensional(ptr %A, ptr %B) {
178bb:
179  br label %bb4
180
181bb4:                                              ; preds = %bb15, %bb
182  %i.0 = phi i64 [ 0, %bb ], [ %tmp16, %bb15 ]
183  %exitcond3 = icmp ne i64 %i.0, 400
184  br i1 %exitcond3, label %bb5, label %bb17
185
186bb5:                                              ; preds = %bb4
187  br label %bb6
188
189bb6:                                              ; preds = %bb12, %bb5
190  %j.0 = phi i64 [ 0, %bb5 ], [ %tmp13, %bb12 ]
191  %exitcond2 = icmp ne i64 %j.0, 400
192  br i1 %exitcond2, label %bb7, label %bb14
193
194bb7:                                              ; preds = %bb6
195  %tmp = add nuw nsw i64 %i.0, %j.0
196  %tmp8 = sitofp i64 %tmp to float
197  %tmp9 = getelementptr inbounds [400 x float], ptr %B, i64 %i.0, i64 %j.0
198  %tmp10 = load float, ptr %tmp9, align 4
199  %tmp11 = fadd float %tmp10, %tmp8
200  store float %tmp11, ptr %tmp9, align 4
201  br label %bb12
202
203bb12:                                             ; preds = %bb7
204  %tmp13 = add nuw nsw i64 %j.0, 1
205  br label %bb6
206
207bb14:                                             ; preds = %bb6
208  br label %bb15
209
210bb15:                                             ; preds = %bb14
211  %tmp16 = add nuw nsw i64 %i.0, 1
212  br label %bb4
213
214bb17:                                             ; preds = %bb4
215  %tmp18 = getelementptr inbounds [400 x float], ptr %B, i64 100, i64 100
216  %tmp19 = load float, ptr %tmp18, align 4
217  %tmp21 = load float, ptr %A, align 4
218  %tmp22 = fadd float %tmp21, %tmp19
219  store float %tmp22, ptr %A, align 4
220  br label %bb23
221
222bb23:                                             ; preds = %bb35, %bb17
223  %i1.0 = phi i64 [ 0, %bb17 ], [ %tmp36, %bb35 ]
224  %exitcond1 = icmp ne i64 %i1.0, 400
225  br i1 %exitcond1, label %bb24, label %bb37
226
227bb24:                                             ; preds = %bb23
228  br label %bb25
229
230bb25:                                             ; preds = %bb32, %bb24
231  %j2.0 = phi i64 [ 0, %bb24 ], [ %tmp33, %bb32 ]
232  %exitcond = icmp ne i64 %j2.0, 400
233  br i1 %exitcond, label %bb26, label %bb34
234
235bb26:                                             ; preds = %bb25
236  %tmp27 = add nuw nsw i64 %i1.0, %j2.0
237  %tmp28 = sitofp i64 %tmp27 to float
238  %tmp29 = getelementptr inbounds [400 x float], ptr %A, i64 %i1.0, i64 %j2.0
239  %tmp30 = load float, ptr %tmp29, align 4
240  %tmp31 = fadd float %tmp30, %tmp28
241  store float %tmp31, ptr %tmp29, align 4
242  br label %bb32
243
244bb32:                                             ; preds = %bb26
245  %tmp33 = add nuw nsw i64 %j2.0, 1
246  br label %bb25
247
248bb34:                                             ; preds = %bb25
249  br label %bb35
250
251bb35:                                             ; preds = %bb34
252  %tmp36 = add nuw nsw i64 %i1.0, 1
253  br label %bb23
254
255bb37:                                             ; preds = %bb23
256  ret void
257}
258