postpone introduction of access relations
[pet.git] / tests / unsigned2.scop
bloba3484d875399f7ef5124752df80de692890ee1d8
1 start: 40
2 end: 112
3 indent: "\t"
4 context: '{  :  }'
5 arrays:
6 - context: '{  :  }'
7   extent: '{ a[] }'
8   element_type: int
9   element_size: 4
10 statements:
11 - line: 8
12   domain: '{ S_0[k] : k >= 252 and k <= 261 }'
13   schedule: '{ S_0[k] -> [0, k] }'
14   body:
15     type: expression
16     expr:
17       type: op
18       operation: =
19       arguments:
20       - type: access
21         index: '{ S_0[k] -> a[] }'
22         reference: __pet_ref_0
23         read: 0
24         write: 1
25       - type: int
26         value: 5