pet_scop_collect_arrays: only collect siblings of accessed fields
[pet.git] / tests / autodetect / scalar.scop
blob95915f3c85c1403f03029473fdcc3845de5beb0e
1 start: 13
2 end: 30
3 indent: "\t"
4 context: '{  :  }'
5 schedule: '{ domain: "{ S_0[]; S_2[]; S_1[] }", child: { sequence: [ { filter: "{
6   S_0[] }" }, { filter: "{ S_2[] }" }, { filter: "{ S_1[] }" } ] } }'
7 arrays:
8 - context: '{  :  }'
9   extent: '{ a[] }'
10   element_type: int
11   element_size: 4
12   declared: 1
13 statements:
14 - line: 3
15   domain: '{ S_0[] }'
16   body:
17     type: expression
18     expr:
19       type: op
20       operation: kill
21       arguments:
22       - type: access
23         killed: '{ S_0[] -> a[] }'
24         index: '{ S_0[] -> a[] }'
25         reference: __pet_ref_0
26         kill: 1
27 - line: 5
28   domain: '{ S_2[] }'
29   body:
30     type: expression
31     expr:
32       type: op
33       operation: =
34       arguments:
35       - type: access
36         index: '{ S_2[] -> a[] }'
37         reference: __pet_ref_1
38         read: 0
39         write: 1
40       - type: int
41         value: 5
42 - line: 3
43   domain: '{ S_1[] }'
44   body:
45     type: expression
46     expr:
47       type: op
48       operation: kill
49       arguments:
50       - type: access
51         killed: '{ S_1[] -> a[] }'
52         index: '{ S_1[] -> a[] }'
53         reference: __pet_ref_2
54         kill: 1