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