keep track of index expressions
[pet.git] / tests / filter2.scop
blob73e0bfdd96f49c1713a2d4b838c68992aa594dfc
1 start: 37
2 end: 97
3 context: '{  :  }'
4 arrays:
5 - context: '{  :  }'
6   extent: '{ test[i0] : i0 >= 0 }'
7   element_type: int
8   element_size: 4
9 - context: '{  :  }'
10   extent: '{ index[] }'
11   element_type: int
12   element_size: 4
13 statements:
14 - line: 5
15   domain: '{ [S_1[] -> [test]] : test <= -1 or test >= 1 }'
16   schedule: '{ S_1[] -> [0] }'
17   body:
18     type: binary
19     operation: =
20     arguments:
21     - type: access
22       relation: '{ S_1[] -> index[] }'
23       index: '{ S_1[] -> index[] }'
24       reference: __pet_ref_1
25       read: 0
26       write: 1
27     - type: access
28       relation: '{ S_1[] -> [5] }'
29       index: '{ S_1[] -> [(5)] }'
30       reference: __pet_ref_2
31       read: 1
32       write: 0
33   arguments:
34   - type: access
35     relation: '[index] -> { S_1[] -> test[index] : index >= 0 }'
36     index: '[index] -> { S_1[] -> test[((index) : index >= 0)] }'
37     reference: __pet_ref_0
38     read: 1
39     write: 0