| blob | 9e5afde11381d5631cace8d62a8f5e05e241a9bc |
1 [Clan] Info: parsing file #1 (./unitary/stripmine_statement.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.
28 #
29 # [File generated by the OpenScop Library 0.8.4]
31 <OpenScop>
33 # =============================================== Global
34 # Language
35 C
37 # Context
38 CONTEXT
39 0 4 0 0 0 2
41 # Parameters are provided
42 1
43 <strings>
44 N M
45 </strings>
47 # Number of statements
48 3
50 # =============================================== Statement 1
51 # Number of relations describing the statement:
52 3
54 # ---------------------------------------------- 1.1 Domain
55 DOMAIN
56 6 6 2 0 0 2
57 # e/i| i j | N M | 1
58 1 1 0 0 0 0 ## i >= 0
59 1 -1 0 1 0 0 ## -i+N >= 0
60 1 0 0 1 0 0 ## N >= 0
61 1 0 1 0 0 0 ## j >= 0
62 1 0 -1 0 1 0 ## -j+M >= 0
63 1 0 0 0 1 0 ## M >= 0
65 # ---------------------------------------------- 1.2 Scattering
66 SCATTERING
67 5 11 5 2 0 2
68 # e/i| c1 c2 c3 c4 c5 | i j | N M | 1
69 0 -1 0 0 0 0 0 0 0 0 0 ## c1 == 0
70 0 0 -1 0 0 0 1 0 0 0 0 ## c2 == i
71 0 0 0 -1 0 0 0 0 0 0 0 ## c3 == 0
72 0 0 0 0 -1 0 0 1 0 0 0 ## c4 == j
73 0 0 0 0 0 -1 0 0 0 0 0 ## c5 == 0
75 # ---------------------------------------------- 1.3 Access
76 WRITE
77 3 9 3 2 0 2
78 # e/i| Arr [1] [2]| i j | N M | 1
79 0 -1 0 0 0 0 0 0 5 ## Arr == a
80 0 0 -1 0 1 0 0 0 0 ## [1] == i
81 0 0 0 -1 0 1 0 0 0 ## [2] == j
83 # ---------------------------------------------- 1.4 Statement Extensions
84 # Number of Statement Extensions
85 2
86 <body>
87 # Number of original iterators
88 2
89 # List of original iterators
90 i j
91 # Statement body expression
92 a[i][j] = 0;
93 </body>
95 <extbody>
96 # Number of accesses
97 1
98 # Access coordinates (start/length)
99 0 7
100 # Number of original iterators
101 2
102 # List of original iterators
103 i j
104 # Statement body expression
105 a[i][j] = 0;
106 </extbody>
108 # =============================================== Statement 2
109 # Number of relations describing the statement:
110 3
112 # ---------------------------------------------- 2.1 Domain
113 DOMAIN
114 6 6 2 0 0 2
115 # e/i| i j | N M | 1
116 1 1 0 0 0 0 ## i >= 0
117 1 -1 0 1 0 0 ## -i+N >= 0
118 1 0 0 1 0 0 ## N >= 0
119 1 0 1 0 0 0 ## j >= 0
120 1 0 -1 0 1 0 ## -j+M >= 0
121 1 0 0 0 1 0 ## M >= 0
123 # ---------------------------------------------- 2.2 Scattering
124 SCATTERING
125 5 11 5 2 0 2
126 # e/i| c1 c2 c3 c4 c5 | i j | N M | 1
127 0 -1 0 0 0 0 0 0 0 0 0 ## c1 == 0
128 0 0 -1 0 0 0 1 0 0 0 0 ## c2 == i
129 0 0 0 -1 0 0 0 0 0 0 0 ## c3 == 0
130 0 0 0 0 -1 0 0 1 0 0 0 ## c4 == j
131 0 0 0 0 0 -1 0 0 0 0 1 ## c5 == 1
133 # ---------------------------------------------- 2.3 Access
134 WRITE
135 3 9 3 2 0 2
136 # e/i| Arr [1] [2]| i j | N M | 1
137 0 -1 0 0 0 0 0 0 6 ## Arr == b
138 0 0 -1 0 1 0 0 0 0 ## [1] == i
139 0 0 0 -1 0 1 0 0 0 ## [2] == j
141 # ---------------------------------------------- 2.4 Statement Extensions
142 # Number of Statement Extensions
143 2
144 <body>
145 # Number of original iterators
146 2
147 # List of original iterators
148 i j
149 # Statement body expression
150 b[i][j] = 0;
151 </body>
153 <extbody>
154 # Number of accesses
155 1
156 # Access coordinates (start/length)
157 0 7
158 # Number of original iterators
159 2
160 # List of original iterators
161 i j
162 # Statement body expression
163 b[i][j] = 0;
164 </extbody>
166 # =============================================== Statement 3
167 # Number of relations describing the statement:
168 3
170 # ---------------------------------------------- 3.1 Domain
171 DOMAIN
172 6 6 2 0 0 2
173 # e/i| i j | N M | 1
174 1 1 0 0 0 0 ## i >= 0
175 1 -1 0 1 0 0 ## -i+N >= 0
176 1 0 0 1 0 0 ## N >= 0
177 1 0 1 0 0 0 ## j >= 0
178 1 0 -1 0 1 0 ## -j+M >= 0
179 1 0 0 0 1 0 ## M >= 0
181 # ---------------------------------------------- 3.2 Scattering
182 SCATTERING
183 5 11 5 2 0 2
184 # e/i| c1 c2 c3 c4 c5 | i j | N M | 1
185 0 -1 0 0 0 0 0 0 0 0 0 ## c1 == 0
186 0 0 -1 0 0 0 1 0 0 0 0 ## c2 == i
187 0 0 0 -1 0 0 0 0 0 0 0 ## c3 == 0
188 0 0 0 0 -1 0 0 1 0 0 0 ## c4 == j
189 0 0 0 0 0 -1 0 0 0 0 2 ## c5 == 2
191 # ---------------------------------------------- 3.3 Access
192 WRITE
193 3 9 3 2 0 2
194 # e/i| Arr [1] [2]| i j | N M | 1
195 0 -1 0 0 0 0 0 0 7 ## Arr == c
196 0 0 -1 0 1 0 0 0 0 ## [1] == i
197 0 0 0 -1 0 1 0 0 0 ## [2] == j
199 # ---------------------------------------------- 3.4 Statement Extensions
200 # Number of Statement Extensions
201 2
202 <body>
203 # Number of original iterators
204 2
205 # List of original iterators
206 i j
207 # Statement body expression
208 c[i][j] = 0;
209 </body>
211 <extbody>
212 # Number of accesses
213 1
214 # Access coordinates (start/length)
215 0 7
216 # Number of original iterators
217 2
218 # List of original iterators
219 i j
220 # Statement body expression
221 c[i][j] = 0;
222 </extbody>
224 # =============================================== Extensions
225 <scatnames>
226 b0 i b1 j b2
227 </scatnames>
229 <arrays>
230 # Number of arrays
231 7
232 # Mapping array-identifiers/array-names
233 1 i
234 2 N
235 3 j
236 4 M
237 5 a
238 6 b
239 7 c
240 </arrays>
242 <coordinates>
243 # File name
244 ./unitary/stripmine_statement.c
245 # Starting line and column
246 2 0
247 # Ending line and column
248 12 0
249 # Indentation
250 0
251 </coordinates>
253 <clay>
254 stripmine([0,0,1], 2, 32, 0);
255 </clay>
257 </OpenScop>