| blob | 9f9afeab4b4af8cca5e23d34813030dd9659c162 |
1 [Clan] Info: parsing file #1 (./unitary/skew_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 5 0 0 0 3
41 # Parameters are provided
42 1
43 <strings>
44 P N M
45 </strings>
47 # Number of statements
48 2
50 # =============================================== Statement 1
51 # Number of relations describing the statement:
52 3
54 # ---------------------------------------------- 1.1 Domain
55 DOMAIN
56 6 7 2 0 0 3
57 # e/i| k i | P N M | 1
58 1 1 0 0 0 0 0 ## k >= 0
59 1 -1 0 1 0 0 -1 ## -k+P-1 >= 0
60 1 0 0 1 0 0 -1 ## P-1 >= 0
61 1 0 1 0 0 0 0 ## i >= 0
62 1 0 -1 0 1 0 0 ## -i+N >= 0
63 1 0 0 0 1 0 0 ## N >= 0
65 # ---------------------------------------------- 1.2 Scattering
66 SCATTERING
67 5 12 5 2 0 3
68 # e/i| c1 c2 c3 c4 c5 | k i | P N M | 1
69 0 -1 0 0 0 0 0 0 0 0 0 0 ## c1 == 0
70 0 0 -1 0 0 0 1 0 0 0 0 0 ## c2 == k
71 0 0 0 -1 0 0 0 0 0 0 0 0 ## c3 == 0
72 0 0 0 0 -1 0 0 1 0 0 0 0 ## c4 == i
73 0 0 0 0 0 -1 0 0 0 0 0 0 ## c5 == 0
75 # ---------------------------------------------- 1.3 Access
76 WRITE
77 3 10 3 2 0 3
78 # e/i| Arr [1] [2]| k i | P N M | 1
79 0 -1 0 0 0 0 0 0 0 5 ## Arr == a
80 0 0 -1 0 0 1 0 0 0 0 ## [1] == i
81 0 0 0 -1 1 0 0 0 0 0 ## [2] == k
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 k i
91 # Statement body expression
92 a[i][k] = 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 k i
104 # Statement body expression
105 a[i][k] = 0;
106 </extbody>
108 # =============================================== Statement 2
109 # Number of relations describing the statement:
110 3
112 # ---------------------------------------------- 2.1 Domain
113 DOMAIN
114 9 8 3 0 0 3
115 # e/i| k i j | P N M | 1
116 1 1 0 0 0 0 0 0 ## k >= 0
117 1 -1 0 0 1 0 0 -1 ## -k+P-1 >= 0
118 1 0 0 0 1 0 0 -1 ## P-1 >= 0
119 1 0 1 0 0 0 0 0 ## i >= 0
120 1 0 -1 0 0 1 0 0 ## -i+N >= 0
121 1 0 0 0 0 1 0 0 ## N >= 0
122 1 0 0 1 0 0 0 0 ## j >= 0
123 1 0 0 -1 0 0 1 0 ## -j+M >= 0
124 1 0 0 0 0 0 1 0 ## M >= 0
126 # ---------------------------------------------- 2.2 Scattering
127 SCATTERING
128 7 15 7 3 0 3
129 # e/i| c1 c2 c3 c4 c5 c6 c7 | k i j | P N M | 1
130 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 ## c1 == 0
131 0 0 -1 0 0 0 0 0 1 0 0 0 0 0 0 ## c2 == k
132 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 ## c3 == 0
133 0 0 0 0 -1 0 0 0 0 1 0 0 0 0 0 ## c4 == i
134 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 1 ## c5 == 1
135 0 0 0 0 0 0 -1 0 0 0 1 0 0 0 0 ## c6 == j
136 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 ## c7 == 0
138 # ---------------------------------------------- 2.3 Access
139 WRITE
140 4 12 4 3 0 3
141 # e/i| Arr [1] [2] [3]| k i j | P N M | 1
142 0 -1 0 0 0 0 0 0 0 0 0 8 ## Arr == b
143 0 0 -1 0 0 0 1 0 0 0 0 0 ## [1] == i
144 0 0 0 -1 0 0 0 1 0 0 0 0 ## [2] == j
145 0 0 0 0 -1 1 0 0 0 0 0 0 ## [3] == k
147 # ---------------------------------------------- 2.4 Statement Extensions
148 # Number of Statement Extensions
149 2
150 <body>
151 # Number of original iterators
152 3
153 # List of original iterators
154 k i j
155 # Statement body expression
156 b[i][j][k] = 0;
157 </body>
159 <extbody>
160 # Number of accesses
161 1
162 # Access coordinates (start/length)
163 0 10
164 # Number of original iterators
165 3
166 # List of original iterators
167 k i j
168 # Statement body expression
169 b[i][j][k] = 0;
170 </extbody>
172 # =============================================== Extensions
173 <scatnames>
174 b0 k b1 i b2 j b3
175 </scatnames>
177 <arrays>
178 # Number of arrays
179 8
180 # Mapping array-identifiers/array-names
181 1 k
182 2 P
183 3 i
184 4 N
185 5 a
186 6 j
187 7 M
188 8 b
189 </arrays>
191 <coordinates>
192 # File name
193 ./unitary/skew_statement.c
194 # Starting line and column
195 2 0
196 # Ending line and column
197 13 0
198 # Indentation
199 0
200 </coordinates>
202 <clay>
203 skew([0,0,0], 1, 2);
204 </clay>
206 </OpenScop>