| blob | 252d81048475b817a62748eda0b65cbee83f3f66 |
1 #
2 # <|
3 # A
4 # /.\
5 # <| [""M#
6 # A | # Clan McCloog Castle
7 # /.\ [""M# [Generated by Clan 0.7.0]
8 # [""M# | # U"U#U
9 # | # | # \ .:/
10 # | # | #___| #
11 # | "--' .-"
12 # |"-"-"-"-"-#-#-##
13 # | # ## ######
14 # \ .::::'/
15 # \ ::::'/
16 # :8a| # # ##
17 # ::88a ###
18 # ::::888a 8a ##::.
19 # ::::::888a88a[]::::
20 # :::::::::SUNDOGa8a::::. ..
21 # :::::8::::888:Y8888:::::::::...
22 #::':::88::::888::Y88a______________________________________________________
23 #:: ::::88a::::88a:Y88a __---__-- __
24 #' .: ::Y88a:::::8a:Y88a __----_-- -------_-__
25 # :' ::::8P::::::::::88aa. _ _- -- --_ --- __ --- __--
26 #.:: :::::::::::::::::::Y88as88a...s88aa.
27 #
28 # [File generated by the OpenScop Library 0.8.3]
30 <OpenScop>
32 # =============================================== Global
33 # Language
34 C
36 # Context
37 CONTEXT
38 0 3 0 0 0 1
40 # Parameters are provided
41 1
42 <strings>
43 n
44 </strings>
46 # Number of statements
47 3
49 # =============================================== Statement 1
50 # Number of relations describing the statement:
51 4
53 # ---------------------------------------------- 1.1 Domain
54 DOMAIN
55 3 4 1 0 0 1
56 # e/i| k | n | 1
57 1 1 0 -1 ## k-1 >= 0
58 1 -1 1 0 ## -k+n >= 0
59 1 0 1 -1 ## n-1 >= 0
61 # ---------------------------------------------- 1.2 Scattering
62 SCATTERING
63 3 7 3 1 0 1
64 # e/i| c1 c2 c3 | k | n | 1
65 0 -1 0 0 0 0 0 ## c1 == 0
66 0 0 -1 0 1 0 0 ## c2 == k
67 0 0 0 -1 0 0 0 ## c3 == 0
69 # ---------------------------------------------- 1.3 Access
70 WRITE
71 1 5 1 1 0 1
72 # e/i| Arr| k | n | 1
73 0 -1 0 0 3 ## Arr == s
75 READ
76 3 7 3 1 0 1
77 # e/i| Arr [1] [2]| k | n | 1
78 0 -1 0 0 0 0 4 ## Arr == a
79 0 0 -1 0 1 0 0 ## [1] == k
80 0 0 0 -1 1 0 0 ## [2] == k
82 # ---------------------------------------------- 1.4 Body
83 # Statement body is provided
84 1
85 <body>
86 # Number of original iterators
87 1
88 # List of original iterators
89 k
90 # Statement body expression
91 s=1/a[k][k];
92 </body>
94 # =============================================== Statement 2
95 # Number of relations describing the statement:
96 5
98 # ---------------------------------------------- 2.1 Domain
99 DOMAIN
100 6 5 2 0 0 1
101 # e/i| k l | n | 1
102 1 1 0 0 -1 ## k-1 >= 0
103 1 -1 0 1 0 ## -k+n >= 0
104 1 0 0 1 -1 ## n-1 >= 0
105 1 -1 1 0 -1 ## -k+l-1 >= 0
106 1 0 -1 1 0 ## -l+n >= 0
107 1 -1 0 1 -1 ## -k+n-1 >= 0
109 # ---------------------------------------------- 2.2 Scattering
110 SCATTERING
111 5 10 5 2 0 1
112 # e/i| c1 c2 c3 c4 c5 | k l | n | 1
113 0 -1 0 0 0 0 0 0 0 0 ## c1 == 0
114 0 0 -1 0 0 0 1 0 0 0 ## c2 == k
115 0 0 0 -1 0 0 0 0 0 1 ## c3 == 1
116 0 0 0 0 -1 0 0 1 0 0 ## c4 == l
117 0 0 0 0 0 -1 0 0 0 0 ## c5 == 0
119 # ---------------------------------------------- 2.3 Access
120 WRITE
121 3 8 3 2 0 1
122 # e/i| Arr [1] [2]| k l | n | 1
123 0 -1 0 0 0 0 0 4 ## Arr == a
124 0 0 -1 0 0 1 0 0 ## [1] == l
125 0 0 0 -1 1 0 0 0 ## [2] == k
127 READ
128 3 8 3 2 0 1
129 # e/i| Arr [1] [2]| k l | n | 1
130 0 -1 0 0 0 0 0 4 ## Arr == a
131 0 0 -1 0 0 1 0 0 ## [1] == l
132 0 0 0 -1 1 0 0 0 ## [2] == k
134 READ
135 1 6 1 2 0 1
136 # e/i| Arr| k l | n | 1
137 0 -1 0 0 0 3 ## Arr == s
139 # ---------------------------------------------- 2.4 Body
140 # Statement body is provided
141 1
142 <body>
143 # Number of original iterators
144 2
145 # List of original iterators
146 k l
147 # Statement body expression
148 a[l][k]=a[l][k]*s;
149 </body>
151 # =============================================== Statement 3
152 # Number of relations describing the statement:
153 6
155 # ---------------------------------------------- 3.1 Domain
156 DOMAIN
157 8 6 3 0 0 1
158 # e/i| k j i | n | 1
159 1 1 0 0 0 -1 ## k-1 >= 0
160 1 -1 0 0 1 0 ## -k+n >= 0
161 1 0 0 0 1 -1 ## n-1 >= 0
162 1 -1 1 0 0 -1 ## -k+j-1 >= 0
163 1 0 -1 0 1 1 ## -j+n+1 >= 0
164 1 -1 0 1 0 -1 ## -k+i-1 >= 0
165 1 0 0 -1 1 0 ## -i+n >= 0
166 1 -1 0 0 1 -1 ## -k+n-1 >= 0
168 # ---------------------------------------------- 3.2 Scattering
169 SCATTERING
170 7 13 7 3 0 1
171 # e/i| c1 c2 c3 c4 c5 c6 c7 | k j i | n | 1
172 0 -1 0 0 0 0 0 0 0 0 0 0 0 ## c1 == 0
173 0 0 -1 0 0 0 0 0 1 0 0 0 0 ## c2 == k
174 0 0 0 -1 0 0 0 0 0 0 0 0 2 ## c3 == 2
175 0 0 0 0 -1 0 0 0 0 1 0 0 0 ## c4 == j
176 0 0 0 0 0 -1 0 0 0 0 0 0 0 ## c5 == 0
177 0 0 0 0 0 0 -1 0 0 0 1 0 0 ## c6 == i
178 0 0 0 0 0 0 0 -1 0 0 0 0 0 ## c7 == 0
180 # ---------------------------------------------- 3.3 Access
181 WRITE
182 3 9 3 3 0 1
183 # e/i| Arr [1] [2]| k j i | n | 1
184 0 -1 0 0 0 0 0 0 4 ## Arr == a
185 0 0 -1 0 0 0 1 0 0 ## [1] == i
186 0 0 0 -1 0 1 0 0 0 ## [2] == j
188 READ
189 3 9 3 3 0 1
190 # e/i| Arr [1] [2]| k j i | n | 1
191 0 -1 0 0 0 0 0 0 4 ## Arr == a
192 0 0 -1 0 0 0 1 0 0 ## [1] == i
193 0 0 0 -1 0 1 0 0 0 ## [2] == j
195 READ
196 3 9 3 3 0 1
197 # e/i| Arr [1] [2]| k j i | n | 1
198 0 -1 0 0 0 0 0 0 4 ## Arr == a
199 0 0 -1 0 1 0 0 0 0 ## [1] == k
200 0 0 0 -1 0 1 0 0 0 ## [2] == j
202 READ
203 3 9 3 3 0 1
204 # e/i| Arr [1] [2]| k j i | n | 1
205 0 -1 0 0 0 0 0 0 4 ## Arr == a
206 0 0 -1 0 0 0 1 0 0 ## [1] == i
207 0 0 0 -1 1 0 0 0 0 ## [2] == k
209 # ---------------------------------------------- 3.4 Body
210 # Statement body is provided
211 1
212 <body>
213 # Number of original iterators
214 3
215 # List of original iterators
216 k j i
217 # Statement body expression
218 a[i][j]=a[i][j]-a[k][j]*a[i][k];
219 </body>
221 # =============================================== Extensions
222 <scatnames>
223 b0 k b1 j b2 i b3
224 </scatnames>
226 <arrays>
227 # Number of arrays
228 7
229 # Mapping array-identifiers/array-names
230 1 k
231 2 n
232 3 s
233 4 a
234 5 l
235 6 j
236 7 i
237 </arrays>
239 <coordinates>
240 # File name
241 ./tests/gauss.c
242 # Starting line
243 8
244 # Ending line
245 20
246 # Indentation
247 2
248 </coordinates>
250 </OpenScop>