Merge branch 'master' of github.com:periscop/clay
[clay.git] / tests / unitary / fuse_statement_between.c.orig.scop
blob62421ca6de1dcf17ceeb9f9b0100dcbb8f480503
1 [Clan] Info: parsing file #1 (./unitary/fuse_statement_between.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 3 0 0 0 1
41 # Parameters are provided
43 <strings>
45 </strings>
47 # Number of statements
50 # =============================================== Statement 1
51 # Number of relations describing the statement:
54 # ----------------------------------------------  1.1 Domain
55 DOMAIN
56 0 3 0 0 0 1
58 # ----------------------------------------------  1.2 Scattering
59 SCATTERING
60 1 4 1 0 0 1
61 # e/i| c1 |  N |  1  
62    0   -1    0    0    ## c1 == 0
64 # ----------------------------------------------  1.3 Access
65 WRITE
66 1 4 1 0 0 1
67 # e/i| Arr|  N |  1  
68    0   -1    0    1    ## Arr == a
70 # ----------------------------------------------  1.4 Statement Extensions
71 # Number of Statement Extensions
73 <body>
74 # Number of original iterators
76 # Statement body expression
77 a = 0;
78 </body>
80 <extbody>
81 # Number of accesses
83 # Access coordinates (start/length)
84 0 1
85 # Number of original iterators
87 # Statement body expression
88 a = 0;
89 </extbody>
91 # =============================================== Statement 2
92 # Number of relations describing the statement:
95 # ----------------------------------------------  2.1 Domain
96 DOMAIN
97 3 4 1 0 0 1
98 # e/i|  i |  N |  1  
99    1    1    0    0    ## i >= 0
100    1   -1    1    0    ## -i+N >= 0
101    1    0    1    0    ## N >= 0
103 # ----------------------------------------------  2.2 Scattering
104 SCATTERING
105 3 7 3 1 0 1
106 # e/i| c1   c2   c3 |  i |  N |  1  
107    0   -1    0    0    0    0    1    ## c1 == 1
108    0    0   -1    0    1    0    0    ## c2 == i
109    0    0    0   -1    0    0    0    ## c3 == 0
111 # ----------------------------------------------  2.3 Access
112 WRITE
113 2 6 2 1 0 1
114 # e/i| Arr  [1]|  i |  N |  1  
115    0   -1    0    0    0    4    ## Arr == b
116    0    0   -1    1    0    0    ## [1] == i
118 # ----------------------------------------------  2.4 Statement Extensions
119 # Number of Statement Extensions
121 <body>
122 # Number of original iterators
124 # List of original iterators
126 # Statement body expression
127 b[i] = 0;
128 </body>
130 <extbody>
131 # Number of accesses
133 # Access coordinates (start/length)
134 0 4
135 # Number of original iterators
137 # List of original iterators
139 # Statement body expression
140 b[i] = 0;
141 </extbody>
143 # =============================================== Statement 3
144 # Number of relations describing the statement:
147 # ----------------------------------------------  3.1 Domain
148 DOMAIN
149 0 3 0 0 0 1
151 # ----------------------------------------------  3.2 Scattering
152 SCATTERING
153 1 4 1 0 0 1
154 # e/i| c1 |  N |  1  
155    0   -1    0    2    ## c1 == 2
157 # ----------------------------------------------  3.3 Access
158 WRITE
159 1 4 1 0 0 1
160 # e/i| Arr|  N |  1  
161    0   -1    0    5    ## Arr == c
163 # ----------------------------------------------  3.4 Statement Extensions
164 # Number of Statement Extensions
166 <body>
167 # Number of original iterators
169 # Statement body expression
170 c = 0;
171 </body>
173 <extbody>
174 # Number of accesses
176 # Access coordinates (start/length)
177 0 1
178 # Number of original iterators
180 # Statement body expression
181 c = 0;
182 </extbody>
184 # =============================================== Statement 4
185 # Number of relations describing the statement:
188 # ----------------------------------------------  4.1 Domain
189 DOMAIN
190 3 4 1 0 0 1
191 # e/i|  i |  N |  1  
192    1    1    0    0    ## i >= 0
193    1   -1    1    0    ## -i+N >= 0
194    1    0    1    0    ## N >= 0
196 # ----------------------------------------------  4.2 Scattering
197 SCATTERING
198 3 7 3 1 0 1
199 # e/i| c1   c2   c3 |  i |  N |  1  
200    0   -1    0    0    0    0    3    ## c1 == 3
201    0    0   -1    0    1    0    0    ## c2 == i
202    0    0    0   -1    0    0    0    ## c3 == 0
204 # ----------------------------------------------  4.3 Access
205 WRITE
206 2 6 2 1 0 1
207 # e/i| Arr  [1]|  i |  N |  1  
208    0   -1    0    0    0    6    ## Arr == t
209    0    0   -1    1    0    0    ## [1] == i
211 # ----------------------------------------------  4.4 Statement Extensions
212 # Number of Statement Extensions
214 <body>
215 # Number of original iterators
217 # List of original iterators
219 # Statement body expression
220 t[i] = 0;
221 </body>
223 <extbody>
224 # Number of accesses
226 # Access coordinates (start/length)
227 0 4
228 # Number of original iterators
230 # List of original iterators
232 # Statement body expression
233 t[i] = 0;
234 </extbody>
236 # =============================================== Statement 5
237 # Number of relations describing the statement:
240 # ----------------------------------------------  5.1 Domain
241 DOMAIN
242 3 4 1 0 0 1
243 # e/i|  i |  N |  1  
244    1    1    0    0    ## i >= 0
245    1   -1    1    0    ## -i+N >= 0
246    1    0    1    0    ## N >= 0
248 # ----------------------------------------------  5.2 Scattering
249 SCATTERING
250 3 7 3 1 0 1
251 # e/i| c1   c2   c3 |  i |  N |  1  
252    0   -1    0    0    0    0    3    ## c1 == 3
253    0    0   -1    0    1    0    0    ## c2 == i
254    0    0    0   -1    0    0    1    ## c3 == 1
256 # ----------------------------------------------  5.3 Access
257 WRITE
258 2 6 2 1 0 1
259 # e/i| Arr  [1]|  i |  N |  1  
260    0   -1    0    0    0    7    ## Arr == s
261    0    0   -1    1    0    0    ## [1] == i
263 # ----------------------------------------------  5.4 Statement Extensions
264 # Number of Statement Extensions
266 <body>
267 # Number of original iterators
269 # List of original iterators
271 # Statement body expression
272 s[i] = 0;
273 </body>
275 <extbody>
276 # Number of accesses
278 # Access coordinates (start/length)
279 0 4
280 # Number of original iterators
282 # List of original iterators
284 # Statement body expression
285 s[i] = 0;
286 </extbody>
288 # =============================================== Statement 6
289 # Number of relations describing the statement:
292 # ----------------------------------------------  6.1 Domain
293 DOMAIN
294 0 3 0 0 0 1
296 # ----------------------------------------------  6.2 Scattering
297 SCATTERING
298 1 4 1 0 0 1
299 # e/i| c1 |  N |  1  
300    0   -1    0    4    ## c1 == 4
302 # ----------------------------------------------  6.3 Access
303 WRITE
304 1 4 1 0 0 1
305 # e/i| Arr|  N |  1  
306    0   -1    0    8    ## Arr == f
308 # ----------------------------------------------  6.4 Statement Extensions
309 # Number of Statement Extensions
311 <body>
312 # Number of original iterators
314 # Statement body expression
315 f = 0;
316 </body>
318 <extbody>
319 # Number of accesses
321 # Access coordinates (start/length)
322 0 1
323 # Number of original iterators
325 # Statement body expression
326 f = 0;
327 </extbody>
329 # =============================================== Extensions
330 <scatnames>
331 b0 i b1
332 </scatnames>
334 <arrays>
335 # Number of arrays
337 # Mapping array-identifiers/array-names
338 1 a
339 2 i
340 3 N
341 4 b
342 5 c
343 6 t
344 7 s
345 8 f
346 </arrays>
348 <coordinates>
349 # File name
350 ./unitary/fuse_statement_between.c
351 # Starting line and column
352 2 0
353 # Ending line and column
354 15 0
355 # Indentation
357 </coordinates>
359 <clay>
360    fuse([1]);
361 </clay>
363 </OpenScop>