pet_expr: document the read and write fields
[pet.git] / tests / filter2.scop
blob8a30132d7c259fb0caeaa5d28404c43ce335f29b
1 start: 37
2 end: 97
3 indent: "\t"
4 context: '{  :  }'
5 arrays:
6 - context: '{  :  }'
7   extent: '{ __pet_test_0[] }'
8   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
9   element_type: int
10   element_size: 4
11   uniquely_defined: 1
12 - context: '{  :  }'
13   extent: '{ index[] }'
14   element_type: int
15   element_size: 4
16 - context: '{  :  }'
17   extent: '{ test[i0] : i0 >= 0 }'
18   element_type: int
19   element_size: 4
20 statements:
21 - line: 4
22   domain: '{ S_0[] }'
23   schedule: '{ S_0[] -> [0, 0] }'
24   body:
25     type: expression
26     expr:
27       type: op
28       operation: =
29       arguments:
30       - type: access
31         index: '{ S_0[] -> __pet_test_0[] }'
32         reference: __pet_ref_0
33         read: 0
34         write: 1
35       - type: access
36         index: '{ [S_0[] -> [i0]] -> test[((i0) : i0 >= 0)] }'
37         reference: __pet_ref_2
38         read: 1
39         write: 0
40         arguments:
41         - type: access
42           index: '{ S_0[] -> index[] }'
43           reference: __pet_ref_1
44           read: 1
45           write: 0
46 - line: 5
47   domain: '{ [S_1[] -> [1]] }'
48   schedule: '{ S_1[] -> [0, 1] }'
49   body:
50     type: expression
51     expr:
52       type: op
53       operation: =
54       arguments:
55       - type: access
56         index: '{ S_1[] -> index[] }'
57         reference: __pet_ref_4
58         read: 0
59         write: 1
60       - type: int
61         value: 5
62   arguments:
63   - type: access
64     index: '{ S_1[] -> __pet_test_0[] }'
65     reference: __pet_ref_3
66     read: 1
67     write: 0