1 # A SCoP from matmul (matmul.B.main.scop1.cloog) to check normalization
4 # cloog -f 8 -l 9 vasilache.cloog
9 # for (p0=0;p0<=N-1;p0++) {
10 # for (p1=0;p1<=N-1;p1++) {
15 # for (p0=0;p0<=N-1;p0++) {
16 # for (p1=0;p1<=N-1;p1++) {
17 # for (p2=0;p2<=floord(N-1,32);p2++) {
18 # S7(i = p0,j = p1,k = p2,l = 32*p2);
19 # for (p3=32*p2+1;p3<=min(N-1,32*p2+31);p3++) {
20 # S6(i = p0,j = p1,k = p2,l = p3-1);
21 # S7(i = p0,j = p1,k = p2,l = p3);
23 # if (p2 >= ceild(N-32,32)) {
24 # S6(i = p0,j = p1,k = p2,l = N-1);
26 # if (p2 <= floord(N-33,32)) {
27 # S6(i = p0,j = p1,k = p2,l = 32*p2+31);
38 # for (p1=0;p1<=N-1;p1++) {
39 # for (p3=0;p3<=N-1;p3++) {
44 # for (p1=0;p1<=N-1;p1++) {
45 # for (p3=0;p3<=N-1;p3++) {
46 # for (p5=0;p5<=floord(N-1,32);p5++) {
48 # S7(i = p1,j = p3,k = p5,l = 0) ;
52 # S7(i = p1,j = p3,k = p5) ;
53 # for (p7=max(32*p5+1,1);p7<=min(32*p5+31,N-1);p7++) {
55 # S6(i = p1,j = p3,k = p5) ;
56 # S7(i = p1,j = p3,k = p5,l = p7) ;
58 # if (p5 >= ceild(N-32,32)) {
60 # S6(i = p1,j = p3,k = p5) ;
64 # S6(i = p1,j = p3,k = p5) ;
73 # ---------- CONTEXT ----------
74 # Context (constraints on parameters)
75 2 4 # 1 lines, 4 columns
80 0 # Automatically find parameter names
82 # ---------- STATEMENTS ----------
83 8 # Number of statements
85 1 # Statement has a non resticted domain
90 1 # Statement has a non resticted domain
95 1 # Statement has 1 domain
100 1 # Statement has 1 domain
108 1 # Statement has 1 domain
116 1 # Statement has 1 domain
128 1 # Statement has 1 domain
140 1 # Statement has a non resticted domain
145 0 # Automatically find iterator names.
147 # ---------- SCATTERING FUNCTIONS ----------
148 8 # Number of scattering functions
151 # p0 p1 p2 p3 p4 p5 p6 p7 p8
152 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 0
153 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
154 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 1
155 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
156 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 2
157 0 0 0 0 0 0 1 0 0 0 0 0 0 # Alpha & Gamma 3
158 0 0 0 0 0 0 0 1 0 0 0 0 0 # Beta 3
159 0 0 0 0 0 0 0 0 1 0 0 0 0 # Alpha & Gamma 4
160 0 0 0 0 0 0 0 0 0 1 0 0 0 # Beta 4
163 # p0 p1 p2 p3 p4 p5 p6 p7 p8
164 0 1 0 0 0 0 0 0 0 0 0 0 -1 # Beta 0
165 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
166 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 1
167 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
168 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 2
169 0 0 0 0 0 0 1 0 0 0 0 0 0 # Alpha & Gamma 3
170 0 0 0 0 0 0 0 1 0 0 0 0 0 # Beta 3
171 0 0 0 0 0 0 0 0 1 0 0 0 0 # Alpha & Gamma 4
172 0 0 0 0 0 0 0 0 0 1 0 0 0 # Beta 4
175 # p0 p1 p2 p3 p4 p5 p6 p7 p8
176 0 1 0 0 0 0 0 0 0 0 0 0 -2 # Beta 0
177 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
178 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 1
179 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
180 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 2
181 0 0 0 0 0 0 1 0 0 0 0 0 0 # Alpha & Gamma 3
182 0 0 0 0 0 0 0 1 0 0 0 0 0 # Beta 3
183 0 0 0 0 0 0 0 0 1 0 0 0 0 # Alpha & Gamma 4
184 0 0 0 0 0 0 0 0 0 1 0 0 0 # Beta 4
187 # p0 p1 p2 p3 p4 p5 p6 p7 p8
188 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -3 # Beta 0
189 0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 # Alpha & Gamma 1
190 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
191 0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 # Alpha & Gamma 2
192 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 2
193 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
194 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
195 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 # Alpha & Gamma 4
196 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 # Beta 4
199 # p0 p1 p2 p3 p4 p5 p6 p7 p8
200 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -3 # Beta 0
201 0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 # Alpha & Gamma 1
202 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
203 0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 # Alpha & Gamma 2
204 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1 # Beta 2
205 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 3
206 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 3
207 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 # Alpha & Gamma 4
208 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 # Beta 4
211 # p0 p1 p2 p3 p4 p5 p6 p7 p8
212 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 # Beta 0
213 0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 # Alpha & Gamma 1
214 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
215 0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 # Alpha & Gamma 2
216 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 2
217 0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 # Alpha & Gamma 3
218 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 3
219 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 -1 # Alpha & Gamma 4
220 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 4
223 # p0 p1 p2 p3 p4 p5 p6 p7 p8
224 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 # Beta 0
225 0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 # Alpha & Gamma 1
226 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 # Beta 1
227 0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 # Alpha & Gamma 2
228 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 # Beta 2
229 0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 # Alpha & Gamma 3
230 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 3
231 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 # Alpha & Gamma 4
232 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 -1 # Beta 4
235 # p0 p1 p2 p3 p4 p5 p6 p7 p8
236 0 1 0 0 0 0 0 0 0 0 0 0 -5 # Beta 0
237 0 0 1 0 0 0 0 0 0 0 0 0 0 # Alpha & Gamma 1
238 0 0 0 1 0 0 0 0 0 0 0 0 0 # Beta 1
239 0 0 0 0 1 0 0 0 0 0 0 0 0 # Alpha & Gamma 2
240 0 0 0 0 0 1 0 0 0 0 0 0 0 # Beta 2
241 0 0 0 0 0 0 1 0 0 0 0 0 0 # Alpha & Gamma 3
242 0 0 0 0 0 0 0 1 0 0 0 0 0 # Beta 3
243 0 0 0 0 0 0 0 0 1 0 0 0 0 # Alpha & Gamma 4
244 0 0 0 0 0 0 0 0 0 1 0 0 0 # Beta 4
246 1 # Set the scattering parameter names.
247 p0 p1 p2 p3 p4 p5 p6 p7 p8