pet_scop_from_pet_tree: take into account assumptions
[pet.git] / tests / const.scop
blob8bef5268e88e03a62888f1187e537b2b1e64666e
1 start: 13
2 end: 60
3 indent: "\t"
4 context: '{  :  }'
5 schedule: '{ domain: "{ S_0[]; S_1[] }", child: { sequence: [ { filter: "{ S_0[] }"
6   }, { filter: "{ S_1[] }" } ] } }'
7 arrays:
8 - context: '{  :  }'
9   extent: '{ a[] }'
10   element_type: int
11   element_size: 4
12   declared: 1
13   exposed: 1
14 statements:
15 - line: 4
16   domain: '{ S_0[] }'
17   body:
18     type: expression
19     expr:
20       type: op
21       operation: kill
22       arguments:
23       - type: access
24         killed: '{ S_0[] -> a[] }'
25         index: '{ S_0[] -> a[] }'
26         reference: __pet_ref_0
27         kill: 1
28 - line: 4
29   domain: '{ S_1[] }'
30   body:
31     type: expression
32     expr:
33       type: op
34       operation: =
35       arguments:
36       - type: access
37         index: '{ S_1[] -> a[] }'
38         reference: __pet_ref_1
39         read: 0
40         write: 1
41       - type: int
42         value: 3