extract patching of index expressions and access relations to separate file
[pet.git] / tests / loop2.scop
blob9862088a99b9934f80cc03eb131f58ae29c8f929
1 start: 34
2 end: 116
3 indent: "\t"
4 context: '{  :  }'
5 schedule: '{ domain: "{ S_0[i] : (i <= 9 and i >= 6) 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 >= 6) or (i <= 4 and i >= 0) }'
15   body:
16     type: expression
17     expr:
18       type: op
19       operation: =
20       arguments:
21       - type: access
22         index: '{ S_0[i] -> a[(i)] }'
23         reference: __pet_ref_0
24         read: 0
25         write: 1
26       - type: access
27         index: '{ S_0[i] -> [(i)] }'
28         reference: __pet_ref_1
29         read: 1
30         write: 0