1 [Clan] Info: parsing file #1 (./unitary/interchange_nochanges.c)
7 # A | # Clan McCloog Castle
8 # /.\ [""M# [Generated by Clan 0.7.1]
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]
33 # =============================================== Global
41 # Parameters are provided
47 # Number of statements
50 # =============================================== Statement 1
51 # Number of relations describing the statement:
54 # ---------------------------------------------- 1.1 Domain
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
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
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
93 # Number of original iterators
95 # List of original iterators
97 # Statement body expression
104 # Access coordinates (start/length)
106 # Number of original iterators
108 # List of original iterators
110 # Statement body expression
114 # =============================================== Statement 2
115 # Number of relations describing the statement:
118 # ---------------------------------------------- 2.1 Domain
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
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
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
157 # Number of original iterators
159 # List of original iterators
161 # Statement body expression
168 # Access coordinates (start/length)
170 # Number of original iterators
172 # List of original iterators
174 # Statement body expression
178 # =============================================== Statement 3
179 # Number of relations describing the statement:
182 # ---------------------------------------------- 3.1 Domain
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
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
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
221 # Number of original iterators
223 # List of original iterators
225 # Statement body expression
232 # Access coordinates (start/length)
234 # Number of original iterators
236 # List of original iterators
238 # Statement body expression
242 # =============================================== Extensions
250 # Mapping array-identifiers/array-names
264 ./unitary/interchange_nochanges.c
265 # Starting line and column
267 # Ending line and column
274 interchange([0,0,0], 1, 1, 0);