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