push affine conditions into index expressions
[pet.git] / tests / no_kill4.scop
blobc5ef05b4c58af609e651fd7ec02b0cc67afb5635
1 start: 41
2 end: 81
3 indent: "\t"
4 context: '{  :  }'
5 schedule: '{ domain: "{ S_0[] }" }'
6 arrays:
7 - context: '{  :  }'
8   extent: '{ a[0] }'
9   element_type: int
10   element_size: 4
11 statements:
12 - line: 8
13   domain: '{ S_0[] }'
14   body:
15     type: expression
16     expr:
17       type: op
18       operation: =
19       arguments:
20       - type: access
21         index: '{ S_0[] -> a[(0)] }'
22         reference: __pet_ref_0
23         read: 0
24         write: 1
25       - type: int
26         value: 5