| blob | b5dc2fb7b0e8e06722f4c5024e5fec225c38c8c9 |
1 start: 43
2 end: 357
3 context: '{ : }'
4 arrays:
5 - context: '{ : }'
6 extent: '{ __pet_test_0[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
7 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
8 element_type: int
9 element_size: 4
10 uniquely_defined: 1
11 - context: '{ : }'
12 extent: '{ __pet_test_1[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
13 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
14 element_type: int
15 element_size: 4
16 uniquely_defined: 1
17 - context: '{ : }'
18 extent: '{ __pet_test_5[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
19 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
20 element_type: int
21 element_size: 4
22 uniquely_defined: 1
23 - context: '{ : }'
24 extent: '{ __pet_test_2[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
25 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
26 element_type: int
27 element_size: 4
28 uniquely_defined: 1
29 - context: '{ : }'
30 extent: '{ __pet_test_3[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
31 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
32 element_type: int
33 element_size: 4
34 uniquely_defined: 1
35 - context: '{ : }'
36 extent: '{ __pet_test_4[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
37 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
38 element_type: int
39 element_size: 4
40 uniquely_defined: 1
41 - context: '{ : }'
42 extent: '{ __pet_test_6[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
43 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
44 element_type: int
45 element_size: 4
46 uniquely_defined: 1
47 - context: '{ : }'
48 extent: '{ __pet_test_7[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
49 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
50 element_type: int
51 element_size: 4
52 uniquely_defined: 1
53 - context: '{ : }'
54 extent: '{ __pet_test_8[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
55 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
56 element_type: int
57 element_size: 4
58 uniquely_defined: 1
59 - context: '{ : }'
60 extent: '{ __pet_test_9[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
61 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
62 element_type: int
63 element_size: 4
64 uniquely_defined: 1
65 - context: '{ : }'
66 extent: '{ __pet_test_10[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
67 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
68 element_type: int
69 element_size: 4
70 uniquely_defined: 1
71 - context: '{ : }'
72 extent: '{ __pet_test_11[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
73 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
74 element_type: int
75 element_size: 4
76 uniquely_defined: 1
77 - context: '{ : }'
78 extent: '{ __pet_test_12[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
79 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
80 element_type: int
81 element_size: 4
82 uniquely_defined: 1
83 - context: '{ : }'
84 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
85 element_type: int
86 element_size: 4
87 statements:
88 - line: 10
89 domain: '{ [S_0[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
90 schedule: '{ S_0[i, j] -> [0, i, j, 0] }'
91 body:
92 type: binary
93 operation: =
94 arguments:
95 - type: access
96 relation: '{ S_0[i, j] -> a[i] }'
97 reference: __pet_ref_1
98 read: 0
99 write: 1
100 - type: access
101 relation: '{ S_0[i, j] -> [0] }'
102 reference: __pet_ref_2
103 read: 1
104 write: 0
105 arguments:
106 - type: access
107 relation: '{ S_0[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
108 reference: __pet_ref_0
109 read: 1
110 write: 0
111 - line: 12
112 domain: '{ [S_1[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 81 and j <= 99 }'
113 schedule: '{ S_1[i, j] -> [0, i, j, 1, 0, 0, 0] }'
114 body:
115 type: binary
116 operation: =
117 arguments:
118 - type: access
119 relation: '{ S_1[i, j] -> __pet_test_0[i, j] }'
120 reference: __pet_ref_4
121 read: 0
122 write: 1
123 - type: call
124 name: f
125 arguments:
126 - type: access
127 relation: '{ S_1[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
128 reference: __pet_ref_3
129 read: 1
130 write: 0
131 - line: -1
132 domain: '{ [S_2[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
133 schedule: '{ S_2[i, j] -> [0, i, j, 1, 1] }'
134 body:
135 type: binary
136 operation: =
137 arguments:
138 - type: access
139 relation: '{ S_2[i, j] -> __pet_test_1[i, j] }'
140 reference: __pet_ref_6
141 read: 0
142 write: 1
143 - type: ternary
144 arguments:
145 - type: access
146 relation: '{ S_2[i, j] -> [1] : j >= 81; S_2[i, j] -> [0] : j <= 80 }'
147 reference: __pet_ref_7
148 read: 1
149 write: 0
150 - type: access
151 relation: '{ S_2[i, j] -> __pet_test_0[i, j] : j >= 81 }'
152 reference: __pet_ref_8
153 read: 1
154 write: 0
155 - type: access
156 relation: '{ S_2[i, j] -> [0] }'
157 reference: __pet_ref_9
158 read: 1
159 write: 0
160 arguments:
161 - type: access
162 relation: '{ S_2[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
163 reference: __pet_ref_5
164 read: 1
165 write: 0
166 - line: 15
167 domain: '{ [S_3[i, j] -> [0, 0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
168 schedule: '{ S_3[i, j] -> [0, i, j, 2, 0, 0] }'
169 body:
170 type: binary
171 operation: =
172 arguments:
173 - type: access
174 relation: '{ S_3[i, j] -> __pet_test_5[i, j] }'
175 reference: __pet_ref_12
176 read: 0
177 write: 1
178 - type: call
179 name: f
180 arguments:
181 - type: access
182 relation: '{ S_3[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
183 reference: __pet_ref_10
184 read: 1
185 write: 0
186 - type: access
187 relation: '{ S_3[i, j] -> __pet_test_1[i, j] }'
188 reference: __pet_ref_11
189 read: 1
190 write: 0
191 - line: 16
192 domain: '{ [S_4[i, j] -> [0, 0, 1]] : i >= 0 and i <= 99 and j >= 0 and j <= 99
193 }'
194 schedule: '{ S_4[i, j] -> [0, i, j, 2, 0, 1, 0, 0] }'
195 body:
196 type: binary
197 operation: =
198 arguments:
199 - type: access
200 relation: '{ S_4[i, j] -> __pet_test_2[i, j] }'
201 reference: __pet_ref_16
202 read: 0
203 write: 1
204 - type: call
205 name: f
206 arguments:
207 - type: access
208 relation: '{ S_4[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
209 reference: __pet_ref_13
210 read: 1
211 write: 0
212 - type: access
213 relation: '{ S_4[i, j] -> __pet_test_1[i, j] }'
214 reference: __pet_ref_14
215 read: 1
216 write: 0
217 - type: access
218 relation: '{ S_4[i, j] -> __pet_test_5[i, j] }'
219 reference: __pet_ref_15
220 read: 1
221 write: 0
222 - line: 18
223 domain: '{ [S_5[i, j] -> [0, 0, 1, 0]] : i >= 0 and i <= 99 and j >= 0 and j <=
224 99 }'
225 schedule: '{ S_5[i, j] -> [0, i, j, 2, 0, 1, 1] }'
226 body:
227 type: binary
228 operation: =
229 arguments:
230 - type: access
231 relation: '{ S_5[i, j] -> a[i] }'
232 reference: __pet_ref_21
233 read: 0
234 write: 1
235 - type: access
236 relation: '{ S_5[i, j] -> [1] }'
237 reference: __pet_ref_22
238 read: 1
239 write: 0
240 arguments:
241 - type: access
242 relation: '{ S_5[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
243 reference: __pet_ref_17
244 read: 1
245 write: 0
246 - type: access
247 relation: '{ S_5[i, j] -> __pet_test_1[i, j] }'
248 reference: __pet_ref_18
249 read: 1
250 write: 0
251 - type: access
252 relation: '{ S_5[i, j] -> __pet_test_5[i, j] }'
253 reference: __pet_ref_19
254 read: 1
255 write: 0
256 - type: access
257 relation: '{ S_5[i, j] -> __pet_test_2[i, j] }'
258 reference: __pet_ref_20
259 read: 1
260 write: 0
261 - line: 19
262 domain: '{ [S_6[i, j] -> [0, 0, 1, 0]] : i >= 0 and i <= 99 and j >= 0 and j <=
263 99 }'
264 schedule: '{ S_6[i, j] -> [0, i, j, 2, 0, 1, 2, 0, 0] }'
265 body:
266 type: binary
267 operation: =
268 arguments:
269 - type: access
270 relation: '{ S_6[i, j] -> __pet_test_3[i, j] }'
271 reference: __pet_ref_27
272 read: 0
273 write: 1
274 - type: call
275 name: f
276 arguments:
277 - type: access
278 relation: '{ S_6[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
279 reference: __pet_ref_23
280 read: 1
281 write: 0
282 - type: access
283 relation: '{ S_6[i, j] -> __pet_test_1[i, j] }'
284 reference: __pet_ref_24
285 read: 1
286 write: 0
287 - type: access
288 relation: '{ S_6[i, j] -> __pet_test_5[i, j] }'
289 reference: __pet_ref_25
290 read: 1
291 write: 0
292 - type: access
293 relation: '{ S_6[i, j] -> __pet_test_2[i, j] }'
294 reference: __pet_ref_26
295 read: 1
296 write: 0
297 - line: 22
298 domain: '{ [S_7[i, j] -> [0, 0, 1, 0, 0]] : i >= 0 and i <= 99 and j >= 0 and j
299 <= 99 }'
300 schedule: '{ S_7[i, j] -> [0, i, j, 2, 0, 1, 2, 0, 1] }'
301 body:
302 type: binary
303 operation: =
304 arguments:
305 - type: access
306 relation: '{ S_7[i, j] -> a[i] }'
307 reference: __pet_ref_33
308 read: 0
309 write: 1
310 - type: access
311 relation: '{ S_7[i, j] -> [2] }'
312 reference: __pet_ref_34
313 read: 1
314 write: 0
315 arguments:
316 - type: access
317 relation: '{ S_7[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
318 reference: __pet_ref_28
319 read: 1
320 write: 0
321 - type: access
322 relation: '{ S_7[i, j] -> __pet_test_1[i, j] }'
323 reference: __pet_ref_29
324 read: 1
325 write: 0
326 - type: access
327 relation: '{ S_7[i, j] -> __pet_test_5[i, j] }'
328 reference: __pet_ref_30
329 read: 1
330 write: 0
331 - type: access
332 relation: '{ S_7[i, j] -> __pet_test_2[i, j] }'
333 reference: __pet_ref_31
334 read: 1
335 write: 0
336 - type: access
337 relation: '{ S_7[i, j] -> __pet_test_3[i, j] }'
338 reference: __pet_ref_32
339 read: 1
340 write: 0
341 - line: -1
342 domain: '{ [S_8[i, j] -> [0, 0, 1]] : i >= 0 and i <= 99 and j >= 0 and j <= 99
343 }'
344 schedule: '{ S_8[i, j] -> [0, i, j, 2, 0, 1, 2, 1] }'
345 body:
346 type: binary
347 operation: =
348 arguments:
349 - type: access
350 relation: '{ S_8[i, j] -> __pet_test_4[i, j] }'
351 reference: __pet_ref_38
352 read: 0
353 write: 1
354 - type: ternary
355 arguments:
356 - type: access
357 relation: '{ S_8[i, j] -> __pet_test_2[i, j] }'
358 reference: __pet_ref_39
359 read: 1
360 write: 0
361 - type: access
362 relation: '{ S_8[i, j] -> [1] }'
363 reference: __pet_ref_40
364 read: 1
365 write: 0
366 - type: access
367 relation: '{ [S_8[i, j] -> [0]] -> __pet_test_3[i, j] }'
368 reference: __pet_ref_42
369 read: 1
370 write: 0
371 arguments:
372 - type: access
373 relation: '{ S_8[i, j] -> __pet_test_2[i, j] }'
374 reference: __pet_ref_41
375 read: 1
376 write: 0
377 arguments:
378 - type: access
379 relation: '{ S_8[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
380 reference: __pet_ref_35
381 read: 1
382 write: 0
383 - type: access
384 relation: '{ S_8[i, j] -> __pet_test_1[i, j] }'
385 reference: __pet_ref_36
386 read: 1
387 write: 0
388 - type: access
389 relation: '{ S_8[i, j] -> __pet_test_5[i, j] }'
390 reference: __pet_ref_37
391 read: 1
392 write: 0
393 - line: 23
394 domain: '{ [S_9[i, j] -> [0, 0, 1, 0]] : i >= 0 and i <= 99 and j >= 0 and j <=
395 99 }'
396 schedule: '{ S_9[i, j] -> [0, i, j, 2, 0, 1, 3] }'
397 body:
398 type: binary
399 operation: =
400 arguments:
401 - type: access
402 relation: '{ S_9[i, j] -> a[i] }'
403 reference: __pet_ref_47
404 read: 0
405 write: 1
406 - type: access
407 relation: '{ S_9[i, j] -> [3] }'
408 reference: __pet_ref_48
409 read: 1
410 write: 0
411 arguments:
412 - type: access
413 relation: '{ S_9[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
414 reference: __pet_ref_43
415 read: 1
416 write: 0
417 - type: access
418 relation: '{ S_9[i, j] -> __pet_test_1[i, j] }'
419 reference: __pet_ref_44
420 read: 1
421 write: 0
422 - type: access
423 relation: '{ S_9[i, j] -> __pet_test_5[i, j] }'
424 reference: __pet_ref_45
425 read: 1
426 write: 0
427 - type: access
428 relation: '{ S_9[i, j] -> __pet_test_4[i, j] }'
429 reference: __pet_ref_46
430 read: 1
431 write: 0
432 - line: -1
433 domain: '{ [S_10[i, j] -> [0, 0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
434 schedule: '{ S_10[i, j] -> [0, i, j, 2, 0, 2] }'
435 body:
436 type: binary
437 operation: =
438 arguments:
439 - type: access
440 relation: '{ S_10[i, j] -> __pet_test_6[i, j] }'
441 reference: __pet_ref_51
442 read: 0
443 write: 1
444 - type: ternary
445 arguments:
446 - type: access
447 relation: '{ S_10[i, j] -> __pet_test_5[i, j] }'
448 reference: __pet_ref_52
449 read: 1
450 write: 0
451 - type: access
452 relation: '{ [S_10[i, j] -> [1]] -> __pet_test_4[i, j] }'
453 reference: __pet_ref_54
454 read: 1
455 write: 0
456 arguments:
457 - type: access
458 relation: '{ S_10[i, j] -> __pet_test_5[i, j] }'
459 reference: __pet_ref_53
460 read: 1
461 write: 0
462 - type: access
463 relation: '{ S_10[i, j] -> [0] }'
464 reference: __pet_ref_55
465 read: 1
466 write: 0
467 arguments:
468 - type: access
469 relation: '{ S_10[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
470 reference: __pet_ref_49
471 read: 1
472 write: 0
473 - type: access
474 relation: '{ S_10[i, j] -> __pet_test_1[i, j] }'
475 reference: __pet_ref_50
476 read: 1
477 write: 0
478 - line: -1
479 domain: '{ [S_11[i, j] -> [0, 0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
480 schedule: '{ S_11[i, j] -> [0, i, j, 2, 0, 2] }'
481 body:
482 type: binary
483 operation: =
484 arguments:
485 - type: access
486 relation: '{ S_11[i, j] -> __pet_test_7[i, j] }'
487 reference: __pet_ref_58
488 read: 0
489 write: 1
490 - type: ternary
491 arguments:
492 - type: access
493 relation: '{ S_11[i, j] -> __pet_test_5[i, j] }'
494 reference: __pet_ref_59
495 read: 1
496 write: 0
497 - type: access
498 relation: '{ [S_11[i, j] -> [1]] -> __pet_test_2[i, j] }'
499 reference: __pet_ref_61
500 read: 1
501 write: 0
502 arguments:
503 - type: access
504 relation: '{ S_11[i, j] -> __pet_test_5[i, j] }'
505 reference: __pet_ref_60
506 read: 1
507 write: 0
508 - type: access
509 relation: '{ S_11[i, j] -> [0] }'
510 reference: __pet_ref_62
511 read: 1
512 write: 0
513 arguments:
514 - type: access
515 relation: '{ S_11[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
516 reference: __pet_ref_56
517 read: 1
518 write: 0
519 - type: access
520 relation: '{ S_11[i, j] -> __pet_test_1[i, j] }'
521 reference: __pet_ref_57
522 read: 1
523 write: 0
524 - line: -1
525 domain: '{ [S_12[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
526 schedule: '{ S_12[i, j] -> [0, i, j, 2, 1] }'
527 body:
528 type: binary
529 operation: =
530 arguments:
531 - type: access
532 relation: '{ S_12[i, j] -> __pet_test_8[i, j] }'
533 reference: __pet_ref_64
534 read: 0
535 write: 1
536 - type: ternary
537 arguments:
538 - type: access
539 relation: '{ S_12[i, j] -> __pet_test_1[i, j] }'
540 reference: __pet_ref_65
541 read: 1
542 write: 0
543 - type: access
544 relation: '{ S_12[i, j] -> [1] }'
545 reference: __pet_ref_66
546 read: 1
547 write: 0
548 - type: access
549 relation: '{ [S_12[i, j] -> [0]] -> __pet_test_6[i, j] }'
550 reference: __pet_ref_68
551 read: 1
552 write: 0
553 arguments:
554 - type: access
555 relation: '{ S_12[i, j] -> __pet_test_1[i, j] }'
556 reference: __pet_ref_67
557 read: 1
558 write: 0
559 arguments:
560 - type: access
561 relation: '{ S_12[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
562 reference: __pet_ref_63
563 read: 1
564 write: 0
565 - line: -1
566 domain: '{ [S_13[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
567 schedule: '{ S_13[i, j] -> [0, i, j, 2, 1] }'
568 body:
569 type: binary
570 operation: =
571 arguments:
572 - type: access
573 relation: '{ S_13[i, j] -> __pet_test_9[i, j] }'
574 reference: __pet_ref_70
575 read: 0
576 write: 1
577 - type: ternary
578 arguments:
579 - type: access
580 relation: '{ S_13[i, j] -> __pet_test_1[i, j] }'
581 reference: __pet_ref_71
582 read: 1
583 write: 0
584 - type: access
585 relation: '{ S_13[i, j] -> [1] }'
586 reference: __pet_ref_72
587 read: 1
588 write: 0
589 - type: access
590 relation: '{ [S_13[i, j] -> [0]] -> __pet_test_7[i, j] }'
591 reference: __pet_ref_74
592 read: 1
593 write: 0
594 arguments:
595 - type: access
596 relation: '{ S_13[i, j] -> __pet_test_1[i, j] }'
597 reference: __pet_ref_73
598 read: 1
599 write: 0
600 arguments:
601 - type: access
602 relation: '{ S_13[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
603 reference: __pet_ref_69
604 read: 1
605 write: 0
606 - line: 25
607 domain: '{ [S_14[i, j] -> [0, 0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
608 schedule: '{ S_14[i, j] -> [0, i, j, 3, 0, 0] }'
609 body:
610 type: binary
611 operation: =
612 arguments:
613 - type: access
614 relation: '{ S_14[i, j] -> __pet_test_10[i, j] }'
615 reference: __pet_ref_77
616 read: 0
617 write: 1
618 - type: call
619 name: f
620 arguments:
621 - type: access
622 relation: '{ S_14[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
623 reference: __pet_ref_75
624 read: 1
625 write: 0
626 - type: access
627 relation: '{ S_14[i, j] -> __pet_test_8[i, j] }'
628 reference: __pet_ref_76
629 read: 1
630 write: 0
631 - line: -1
632 domain: '{ [S_15[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
633 schedule: '{ S_15[i, j] -> [0, i, j, 3, 1] }'
634 body:
635 type: binary
636 operation: =
637 arguments:
638 - type: access
639 relation: '{ S_15[i, j] -> __pet_test_11[i, j] }'
640 reference: __pet_ref_79
641 read: 0
642 write: 1
643 - type: ternary
644 arguments:
645 - type: access
646 relation: '{ S_15[i, j] -> __pet_test_8[i, j] }'
647 reference: __pet_ref_80
648 read: 1
649 write: 0
650 - type: access
651 relation: '{ S_15[i, j] -> [1] }'
652 reference: __pet_ref_81
653 read: 1
654 write: 0
655 - type: access
656 relation: '{ [S_15[i, j] -> [0]] -> __pet_test_10[i, j] }'
657 reference: __pet_ref_83
658 read: 1
659 write: 0
660 arguments:
661 - type: access
662 relation: '{ S_15[i, j] -> __pet_test_8[i, j] }'
663 reference: __pet_ref_82
664 read: 1
665 write: 0
666 arguments:
667 - type: access
668 relation: '{ S_15[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
669 reference: __pet_ref_78
670 read: 1
671 write: 0
672 - line: -1
673 domain: '{ [S_16[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
674 schedule: '{ S_16[i, j] -> [0, i, j, 3, 1] }'
675 body:
676 type: binary
677 operation: =
678 arguments:
679 - type: access
680 relation: '{ S_16[i, j] -> __pet_test_12[i, j] }'
681 reference: __pet_ref_85
682 read: 0
683 write: 1
684 - type: ternary
685 arguments:
686 - type: access
687 relation: '{ S_16[i, j] -> __pet_test_9[i, j] }'
688 reference: __pet_ref_86
689 read: 1
690 write: 0
691 - type: access
692 relation: '{ S_16[i, j] -> [1] }'
693 reference: __pet_ref_87
694 read: 1
695 write: 0
696 - type: access
697 relation: '{ [S_16[i, j] -> [0]] -> __pet_test_10[i, j] }'
698 reference: __pet_ref_89
699 read: 1
700 write: 0
701 arguments:
702 - type: access
703 relation: '{ S_16[i, j] -> __pet_test_9[i, j] }'
704 reference: __pet_ref_88
705 read: 1
706 write: 0
707 arguments:
708 - type: access
709 relation: '{ S_16[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
710 reference: __pet_ref_84
711 read: 1
712 write: 0
713 - line: 27
714 domain: '{ [S_17[i, j] -> [0, 0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
715 schedule: '{ S_17[i, j] -> [0, i, j, 4] }'
716 body:
717 type: binary
718 operation: =
719 arguments:
720 - type: access
721 relation: '{ S_17[i, j] -> a[i] }'
722 reference: __pet_ref_92
723 read: 0
724 write: 1
725 - type: binary
726 operation: +
727 arguments:
728 - type: access
729 relation: '{ S_17[i, j] -> [i] }'
730 reference: __pet_ref_93
731 read: 1
732 write: 0
733 - type: access
734 relation: '{ S_17[i, j] -> [j] }'
735 reference: __pet_ref_94
736 read: 1
737 write: 0
738 arguments:
739 - type: access
740 relation: '{ S_17[i, j] -> __pet_test_12[i, o1] : o1 <= -1 + j and o1 >= 0 }'
741 reference: __pet_ref_90
742 read: 1
743 write: 0
744 - type: access
745 relation: '{ S_17[i, j] -> __pet_test_11[i, j] }'
746 reference: __pet_ref_91
747 read: 1
748 write: 0