pet 0.11.8
[pet.git] / tests / struct6.scop
blob3891e8088eff009a5301603facb8b998df9b338b
1 start: 51
2 end: 91
3 indent: "\t"
4 context: '{  :  }'
5 schedule: '{ domain: "{ S_0[] }" }'
6 types:
7 - name: s
8   definition: "struct s {\n    int a;\n}"
9 arrays:
10 - context: '{  :  }'
11   extent: '{ s[i0] : i0 >= 0 }'
12   element_type: struct s
13   element_size: 4
14   element_is_record: 1
15   outer: 1
16 - context: '{  :  }'
17   extent: '{ s_a[s[i0] -> a[]] : i0 >= 0 }'
18   element_type: int
19   element_size: 4
20 statements:
21 - line: 10
22   domain: '{ S_0[] }'
23   body:
24     type: expression
25     expr:
26       type: op
27       operation: =
28       arguments:
29       - type: access
30         index: '{ S_0[] -> s_a[s[(0)] -> a[]] }'
31         reference: __pet_ref_0
32         read: 0
33         write: 1
34       - type: int
35         value: 5