pet_scop_collect_arrays: only collect siblings of accessed fields
[pet.git] / tests / autodetect / decl3.scop
blob78474eae50b5f514fe27140be0f3508f93a988ea
1 start: 41
2 end: 51
3 indent: "\t"
4 context: '{  :  }'
5 schedule: '{ domain: "{ S_0[] }" }'
6 types:
7 - name: S
8   definition: "struct S {\n    int a;\n    int b;\n}"
9 arrays:
10 - context: '{  :  }'
11   extent: '{ s[] }'
12   element_type: struct S
13   element_size: 8
14   element_is_record: 1
15   outer: 1
16 - context: '{  :  }'
17   extent: '{ s_a[s[] -> a[]] }'
18   element_type: int
19   element_size: 4
20 - context: '{  :  }'
21   extent: '{ s_b[s[] -> b[]] }'
22   element_type: int
23   element_size: 4
24 statements:
25 - line: 5
26   domain: '{ S_0[] }'
27   body:
28     type: expression
29     expr:
30       type: op
31       operation: =
32       arguments:
33       - type: access
34         index: '{ S_0[] -> s_a[s[] -> a[]] }'
35         reference: __pet_ref_0
36         read: 0
37         write: 1
38       - type: int
39         value: 3