| blob | 8c8871675f05767e72a3504e0d1df3529f0e436d |
1 # [File generated by the OpenScop Library 0.8.4]
3 <OpenScop>
5 # =============================================== Global
6 # Language
7 C
9 # Context
10 CONTEXT
11 0 3 0 0 0 1
13 # Parameters are provided
14 1
15 <strings>
16 N
17 </strings>
19 # Number of statements
20 2
22 # =============================================== Statement 1
23 # Number of relations describing the statement:
24 3
26 # ---------------------------------------------- 1.1 Domain
27 DOMAIN
28 10 7 4 0 0 1
29 # e/i| fk0 fk1 i j | N | 1
30 1 0 0 1 0 0 0 ## i >= 0
31 1 0 0 -1 0 1 -1 ## -i+N-1 >= 0
32 1 0 0 0 0 1 -1 ## N-1 >= 0
33 1 0 0 0 1 0 0 ## j >= 0
34 1 0 0 0 -1 1 -1 ## -j+N-1 >= 0
35 0 0 0 0 0 0 0 ## 0 == 0
36 1 0 -32 1 0 0 0 ## -32*fk1+i >= 0
37 1 0 32 -1 0 0 31 ## 32*fk1-i+31 >= 0
38 1 -32 0 0 1 0 0 ## -32*fk0+j >= 0
39 1 32 0 0 -1 0 31 ## 32*fk0-j+31 >= 0
41 # ---------------------------------------------- 1.2 Scattering
42 SCATTERING
43 9 16 9 4 0 1
44 # e/i| c1 c2 c3 c4 c5 c6 c7 c8 c9 | fk0 fk1 i j | N | 1
45 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ## c1 == 0
46 0 0 -1 0 0 0 0 0 0 0 0 1 0 0 0 0 ## c2 == fk1
47 0 0 0 -1 0 0 0 0 0 0 1 0 0 0 0 0 ## c3 == fk0
48 0 0 0 0 -1 0 0 0 0 0 0 0 1 0 0 0 ## c4 == i
49 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 ## c5 == 0
50 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 ## c6 == 0
51 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 ## c7 == 0
52 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 ## c8 == 0
53 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0 ## c9 == j
55 # ---------------------------------------------- 1.3 Access
56 WRITE
57 3 10 3 4 0 1
58 # e/i| Arr [1] [2]| fk0 fk1 i j | N | 1
59 0 -1 0 0 0 0 0 0 0 4 ## Arr == c
60 0 0 -1 0 0 0 1 0 0 0 ## [1] == i
61 0 0 0 -1 0 0 0 1 0 0 ## [2] == j
63 # ---------------------------------------------- 1.4 Body
64 # Statement body is provided
65 1
66 <body>
67 # Number of original iterators
68 4
69 # List of original iterators
70 fk0 fk1 i j
71 # Statement body expression
72 c[i][j] = 0.0;
73 </body>
75 # =============================================== Statement 2
76 # Number of relations describing the statement:
77 6
79 # ---------------------------------------------- 2.1 Domain
80 DOMAIN
81 13 9 6 0 0 1
82 # e/i| fk0 fk1 fk2 i j k | N | 1
83 1 0 0 0 1 0 0 0 0 ## i >= 0
84 1 0 0 0 -1 0 0 1 -1 ## -i+N-1 >= 0
85 1 0 0 0 0 0 0 1 -1 ## N-1 >= 0
86 1 0 0 0 0 1 0 0 0 ## j >= 0
87 1 0 0 0 0 -1 0 1 -1 ## -j+N-1 >= 0
88 1 0 0 0 0 0 1 0 0 ## k >= 0
89 1 0 0 0 0 0 -1 1 -1 ## -k+N-1 >= 0
90 1 0 0 -32 1 0 0 0 0 ## -32*fk2+i >= 0
91 1 0 0 32 -1 0 0 0 31 ## 32*fk2-i+31 >= 0
92 1 0 -32 0 0 1 0 0 0 ## -32*fk1+j >= 0
93 1 0 32 0 0 -1 0 0 31 ## 32*fk1-j+31 >= 0
94 1 -32 0 0 0 0 1 0 0 ## -32*fk0+k >= 0
95 1 32 0 0 0 0 -1 0 31 ## 32*fk0-k+31 >= 0
97 # ---------------------------------------------- 2.2 Scattering
98 SCATTERING
99 9 18 9 6 0 1
100 # e/i| c1 c2 c3 c4 c5 c6 c7 c8 c9 | fk0 fk1 fk2 i j k | N | 1
101 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 ## c1 == 1
102 0 0 -1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 ## c2 == fk2
103 0 0 0 -1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 ## c3 == fk1
104 0 0 0 0 -1 0 0 0 0 0 1 0 0 0 0 0 0 0 ## c4 == fk0
105 0 0 0 0 0 -1 0 0 0 0 0 0 0 1 0 0 0 0 ## c5 == i
106 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 1 0 0 ## c6 == k
107 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 ## c7 == 0
108 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 ## c8 == 0
109 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 1 0 0 0 ## c9 == j
111 # ---------------------------------------------- 2.3 Access
112 WRITE
113 3 12 3 6 0 1
114 # e/i| Arr [1] [2]| fk0 fk1 fk2 i j k | N | 1
115 0 -1 0 0 0 0 0 0 0 0 0 4 ## Arr == c
116 0 0 -1 0 0 0 0 1 0 0 0 0 ## [1] == i
117 0 0 0 -1 0 0 0 0 1 0 0 0 ## [2] == j
119 READ
120 3 12 3 6 0 1
121 # e/i| Arr [1] [2]| fk0 fk1 fk2 i j k | N | 1
122 0 -1 0 0 0 0 0 0 0 0 0 4 ## Arr == c
123 0 0 -1 0 0 0 0 1 0 0 0 0 ## [1] == i
124 0 0 0 -1 0 0 0 0 1 0 0 0 ## [2] == j
126 READ
127 3 12 3 6 0 1
128 # e/i| Arr [1] [2]| fk0 fk1 fk2 i j k | N | 1
129 0 -1 0 0 0 0 0 0 0 0 0 6 ## Arr == a
130 0 0 -1 0 0 0 0 1 0 0 0 0 ## [1] == i
131 0 0 0 -1 0 0 0 0 0 1 0 0 ## [2] == k
133 READ
134 3 12 3 6 0 1
135 # e/i| Arr [1] [2]| fk0 fk1 fk2 i j k | N | 1
136 0 -1 0 0 0 0 0 0 0 0 0 7 ## Arr == b
137 0 0 -1 0 0 0 0 0 0 1 0 0 ## [1] == k
138 0 0 0 -1 0 0 0 0 1 0 0 0 ## [2] == j
140 # ---------------------------------------------- 2.4 Body
141 # Statement body is provided
142 1
143 <body>
144 # Number of original iterators
145 6
146 # List of original iterators
147 fk0 fk1 fk2 i j k
148 # Statement body expression
149 c[i][j] = c[i][j] + a[i][k]*b[k][j];
150 </body>
152 # =============================================== Extensions
153 <arrays>
154 # Number of arrays
155 7
156 # Mapping array-identifiers/array-names
157 1 i
158 2 N
159 3 j
160 4 c
161 5 k
162 6 a
163 7 b
164 </arrays>
166 <coordinates>
167 # File name
168 openscop/loops.orig.c
169 # Starting line and column
170 3 0
171 # Ending line and column
172 10 0
173 # Indentation
174 2
175 </coordinates>
177 <scatnames>
178 t1 t2 t3 t4 t5 t6 t7 t8 t9
179 </scatnames>
181 <loop>
182 # Number of loops
183 4
184 # ===========================================
185 # Loop number 1
186 # Iterator name
187 t2
188 # Number of stmts
189 1
190 # Statement identifiers
191 1
192 # Private variables
193 lbv,ubv
194 # Directive
195 1
196 # ===========================================
197 # Loop number 2
198 # Iterator name
199 t2
200 # Number of stmts
201 1
202 # Statement identifiers
203 2
204 # Private variables
205 lbv,ubv
206 # Directive
207 1
208 # ===========================================
209 # Loop number 3
210 # Iterator name
211 t9
212 # Number of stmts
213 1
214 # Statement identifiers
215 1
216 # Private variables
217 (null)
218 # Directive
219 4
220 # ===========================================
221 # Loop number 4
222 # Iterator name
223 t9
224 # Number of stmts
225 1
226 # Statement identifiers
227 2
228 # Private variables
229 (null)
230 # Directive
231 4
232 </loop>
234 </OpenScop>