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