pet_expr: document the read and write fields
[pet.git] / tests / filter.scop
blob00b66efbffbc2c2817686f3328c18136708f92e1
1 start: 46
2 end: 102
3 indent: "\t"
4 context: '{  :  }'
5 arrays:
6 - context: '{  :  }'
7   extent: '{ a[] }'
8   element_type: int
9   element_size: 4
10 - context: '{  :  }'
11   extent: '{ test[i0] : i0 >= 0 }'
12   element_type: int
13   element_size: 4
14 statements:
15 - line: 7
16   domain: '{ [S_0[] -> [test]] : test <= -1 or test >= 1 }'
17   schedule: '{ S_0[] -> [0] }'
18   body:
19     type: expression
20     expr:
21       type: op
22       operation: =
23       arguments:
24       - type: access
25         index: '{ S_0[] -> a[] }'
26         reference: __pet_ref_1
27         read: 0
28         write: 1
29       - type: int
30         value: 5
31   arguments:
32   - type: access
33     index: '[index] -> { S_0[] -> test[((index) : index >= 0)] }'
34     reference: __pet_ref_0
35     read: 1
36     write: 0