pet_scop: keep track of schedule tree
[pet.git] / tests / loop3.scop
blob564e57694988d0cf798d983c0d0545dec6cd7720
1 start: 34
2 end: 124
3 indent: "\t"
4 context: '{  :  }'
5 schedule: '{ domain: "{ S_0[i] : (i <= 9 and i >= 7) or (i <= 4 and i >= 0) }", child:
6   { schedule: "L_0[{ S_0[i] -> [(i)] }]" } }'
7 arrays:
8 - context: '{  :  }'
9   extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
10   element_type: int
11   element_size: 4
12 statements:
13 - line: 9
14   domain: '{ S_0[i] : (i <= 9 and i >= 7) or (i <= 4 and i >= 0) }'
15   schedule: '{ S_0[i] -> [0, i] }'
16   body:
17     type: expression
18     expr:
19       type: op
20       operation: =
21       arguments:
22       - type: access
23         index: '{ S_0[i] -> a[(i)] }'
24         reference: __pet_ref_0
25         read: 0
26         write: 1
27       - type: access
28         index: '{ S_0[i] -> [(i)] }'
29         reference: __pet_ref_1
30         read: 1
31         write: 0