pet_expr: document the read and write fields
[pet.git] / tests / continue.scop
blob2fb6926e8b70d6b9aaead954afee727b47e9af81
1 start: 33
2 end: 182
3 indent: "\t"
4 context: '{  :  }'
5 arrays:
6 - context: '{  :  }'
7   extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
8   element_type: int
9   element_size: 4
10 statements:
11 - line: 8
12   domain: '{ S_0[i, j] : i >= 0 and i <= 99 and j <= 99 and j >= 0 }'
13   schedule: '{ S_0[i, j] -> [0, i, j, 0] }'
14   body:
15     type: expression
16     expr:
17       type: op
18       operation: =
19       arguments:
20       - type: access
21         index: '{ S_0[i, j] -> a[(i)] }'
22         reference: __pet_ref_0
23         read: 0
24         write: 1
25       - type: int
26         value: 0
27 - line: 11
28   domain: '{ S_1[i, j] : (i <= 99 and j >= 0 and j <= -1 + i) or (i >= 0 and j >=
29     1 + i and j <= 99) }'
30   schedule: '{ S_1[i, j] -> [0, i, j, 2] }'
31   body:
32     type: expression
33     expr:
34       type: op
35       operation: =
36       arguments:
37       - type: access
38         index: '{ S_1[i, j] -> a[(i)] }'
39         reference: __pet_ref_1
40         read: 0
41         write: 1
42       - type: op
43         operation: +
44         arguments:
45         - type: access
46           index: '{ S_1[i, j] -> [(i)] }'
47           reference: __pet_ref_2
48           read: 1
49           write: 0
50         - type: access
51           index: '{ S_1[i, j] -> [(j)] }'
52           reference: __pet_ref_3
53           read: 1
54           write: 0