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