extract out pet_not
[pet.git] / tests / struct1.scop
blobcd53873e2c172e2cedaf4edb7a584c332b3a6212
1 start: 50
2 end: 89
3 context: '{  :  }'
4 types:
5 - name: s
6   definition: "struct s {\n    int a;\n}"
7 arrays:
8 - context: '{  :  }'
9   extent: '{ s[] }'
10   element_type: struct s
11   element_size: 4
12   element_is_record: 1
13 - context: '{  :  }'
14   extent: '{ s_a[s[] -> a[]] }'
15   element_type: int
16   element_size: 4
17 statements:
18 - line: 10
19   domain: '{ S_0[] }'
20   schedule: '{ S_0[] -> [0] }'
21   body:
22     type: op
23     operation: =
24     arguments:
25     - type: access
26       relation: '{ S_0[] -> s_a[s[] -> a[]] }'
27       index: '{ S_0[] -> s_a[s[] -> a[]] }'
28       reference: __pet_ref_0
29       read: 0
30       write: 1
31     - type: int
32       value: 5