Merge branch 'master' of github.com:periscop/clay
[clay.git] / tests / unitary / interchange_nochanges.c.orig.scop
blob36b7197e2a2ad7a5a286a22d7dbf2cd1a115a453
1 [Clan] Info: parsing file #1 (./unitary/interchange_nochanges.c)
2 #                                                     
3 #          <|                                         
4 #           A                                         
5 #          /.\                                       
6 #     <|  [""M#                                     
7 #      A   | #            Clan McCloog Castle         
8 #     /.\ [""M#           [Generated by Clan 0.7.1]
9 #    [""M# | #  U"U#U                              
10 #     | #  | #  \ .:/                                
11 #     | #  | #___| #                                  
12 #     | "--'     .-"                                
13 #   |"-"-"-"-"-#-#-##                            
14 #   |     # ## ######                                 
15 #    \       .::::'/                                 
16 #     \      ::::'/                                  
17 #   :8a|    # # ##                                    
18 #   ::88a      ###                                    
19 #  ::::888a  8a ##::.                                 
20 #  ::::::888a88a[]::::                                
21 # :::::::::SUNDOGa8a::::. ..                          
22 # :::::8::::888:Y8888:::::::::...                     
23 #::':::88::::888::Y88a______________________________________________________
24 #:: ::::88a::::88a:Y88a                                  __---__-- __
25 #' .: ::Y88a:::::8a:Y88a                            __----_-- -------_-__
26 #  :' ::::8P::::::::::88aa.                   _ _- --  --_ --- __  --- __--
27 #.::  :::::::::::::::::::Y88as88a...s88aa.
29 # [File generated by the OpenScop Library 0.8.4]
31 <OpenScop>
33 # =============================================== Global
34 # Language
37 # Context
38 CONTEXT
39 0 5 0 0 0 3
41 # Parameters are provided
43 <strings>
44 N M P
45 </strings>
47 # Number of statements
50 # =============================================== Statement 1
51 # Number of relations describing the statement:
54 # ----------------------------------------------  1.1 Domain
55 DOMAIN
56 9 8 3 0 0 3
57 # e/i|  i    j    k |  N    M    P |  1  
58    1    1    0    0    0    0    0    0    ## i >= 0
59    1   -1    0    0    1    0    0    0    ## -i+N >= 0
60    1    0    0    0    1    0    0    0    ## N >= 0
61    1    0    1    0    0    0    0    0    ## j >= 0
62    1    0   -1    0    0    1    0    0    ## -j+M >= 0
63    1    0    0    0    0    1    0    0    ## M >= 0
64    1    0    0    1    0    0    0    0    ## k >= 0
65    1    0    0   -1    0    0    1    0    ## -k+P >= 0
66    1    0    0    0    0    0    1    0    ## P >= 0
68 # ----------------------------------------------  1.2 Scattering
69 SCATTERING
70 7 15 7 3 0 3
71 # e/i| c1   c2   c3   c4   c5   c6   c7 |  i    j    k |  N    M    P |  1  
72    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
73    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == i
74    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    ## c3 == 0
75    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == j
76    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
77    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == k
78    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    0    ## c7 == 0
80 # ----------------------------------------------  1.3 Access
81 WRITE
82 4 12 4 3 0 3
83 # e/i| Arr  [1]  [2]  [3]|  i    j    k |  N    M    P |  1  
84    0   -1    0    0    0    0    0    0    0    0    0    7    ## Arr == a
85    0    0   -1    0    0    1    0    0    0    0    0    0    ## [1] == i
86    0    0    0   -1    0    0    1    0    0    0    0    0    ## [2] == j
87    0    0    0    0   -1    0    0    1    0    0    0    0    ## [3] == k
89 # ----------------------------------------------  1.4 Statement Extensions
90 # Number of Statement Extensions
92 <body>
93 # Number of original iterators
95 # List of original iterators
96 i j k
97 # Statement body expression
98 a[i][j][k] = 0;
99 </body>
101 <extbody>
102 # Number of accesses
104 # Access coordinates (start/length)
105 0 10
106 # Number of original iterators
108 # List of original iterators
109 i j k
110 # Statement body expression
111 a[i][j][k] = 0;
112 </extbody>
114 # =============================================== Statement 2
115 # Number of relations describing the statement:
118 # ----------------------------------------------  2.1 Domain
119 DOMAIN
120 9 8 3 0 0 3
121 # e/i|  i    j    k |  N    M    P |  1  
122    1    1    0    0    0    0    0    0    ## i >= 0
123    1   -1    0    0    1    0    0    0    ## -i+N >= 0
124    1    0    0    0    1    0    0    0    ## N >= 0
125    1    0    1    0    0    0    0    0    ## j >= 0
126    1    0   -1    0    0    1    0    0    ## -j+M >= 0
127    1    0    0    0    0    1    0    0    ## M >= 0
128    1    0    0    1    0    0    0    0    ## k >= 0
129    1    0    0   -1    0    0    1    0    ## -k+P >= 0
130    1    0    0    0    0    0    1    0    ## P >= 0
132 # ----------------------------------------------  2.2 Scattering
133 SCATTERING
134 7 15 7 3 0 3
135 # e/i| c1   c2   c3   c4   c5   c6   c7 |  i    j    k |  N    M    P |  1  
136    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
137    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == i
138    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    ## c3 == 0
139    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == j
140    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
141    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == k
142    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    1    ## c7 == 1
144 # ----------------------------------------------  2.3 Access
145 WRITE
146 4 12 4 3 0 3
147 # e/i| Arr  [1]  [2]  [3]|  i    j    k |  N    M    P |  1  
148    0   -1    0    0    0    0    0    0    0    0    0    8    ## Arr == b
149    0    0   -1    0    0    1    0    0    0    0    0    0    ## [1] == i
150    0    0    0   -1    0    0    1    0    0    0    0    0    ## [2] == j
151    0    0    0    0   -1    0    0    1    0    0    0    0    ## [3] == k
153 # ----------------------------------------------  2.4 Statement Extensions
154 # Number of Statement Extensions
156 <body>
157 # Number of original iterators
159 # List of original iterators
160 i j k
161 # Statement body expression
162 b[i][j][k] = 0;
163 </body>
165 <extbody>
166 # Number of accesses
168 # Access coordinates (start/length)
169 0 10
170 # Number of original iterators
172 # List of original iterators
173 i j k
174 # Statement body expression
175 b[i][j][k] = 0;
176 </extbody>
178 # =============================================== Statement 3
179 # Number of relations describing the statement:
182 # ----------------------------------------------  3.1 Domain
183 DOMAIN
184 9 8 3 0 0 3
185 # e/i|  i    j    k |  N    M    P |  1  
186    1    1    0    0    0    0    0    0    ## i >= 0
187    1   -1    0    0    1    0    0    0    ## -i+N >= 0
188    1    0    0    0    1    0    0    0    ## N >= 0
189    1    0    1    0    0    0    0    0    ## j >= 0
190    1    0   -1    0    0    1    0    0    ## -j+M >= 0
191    1    0    0    0    0    1    0    0    ## M >= 0
192    1    0    0    1    0    0    0    0    ## k >= 0
193    1    0    0   -1    0    0    1    0    ## -k+P >= 0
194    1    0    0    0    0    0    1    0    ## P >= 0
196 # ----------------------------------------------  3.2 Scattering
197 SCATTERING
198 7 15 7 3 0 3
199 # e/i| c1   c2   c3   c4   c5   c6   c7 |  i    j    k |  N    M    P |  1  
200    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
201    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == i
202    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    ## c3 == 0
203    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == j
204    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
205    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == k
206    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    2    ## c7 == 2
208 # ----------------------------------------------  3.3 Access
209 WRITE
210 4 12 4 3 0 3
211 # e/i| Arr  [1]  [2]  [3]|  i    j    k |  N    M    P |  1  
212    0   -1    0    0    0    0    0    0    0    0    0    9    ## Arr == c
213    0    0   -1    0    0    1    0    0    0    0    0    0    ## [1] == i
214    0    0    0   -1    0    0    1    0    0    0    0    0    ## [2] == j
215    0    0    0    0   -1    0    0    1    0    0    0    0    ## [3] == k
217 # ----------------------------------------------  3.4 Statement Extensions
218 # Number of Statement Extensions
220 <body>
221 # Number of original iterators
223 # List of original iterators
224 i j k
225 # Statement body expression
226 c[i][j][k] = 0;
227 </body>
229 <extbody>
230 # Number of accesses
232 # Access coordinates (start/length)
233 0 10
234 # Number of original iterators
236 # List of original iterators
237 i j k
238 # Statement body expression
239 c[i][j][k] = 0;
240 </extbody>
242 # =============================================== Extensions
243 <scatnames>
244 b0 i b1 j b2 k b3
245 </scatnames>
247 <arrays>
248 # Number of arrays
250 # Mapping array-identifiers/array-names
251 1 i
252 2 N
253 3 j
254 4 M
255 5 k
256 6 P
257 7 a
258 8 b
259 9 c
260 </arrays>
262 <coordinates>
263 # File name
264 ./unitary/interchange_nochanges.c
265 # Starting line and column
266 2 0
267 # Ending line and column
268 14 0
269 # Indentation
271 </coordinates>
273 <clay>
274    interchange([0,0,0], 1, 1, 0);
275 </clay>
277 </OpenScop>