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