PetScan::extract_scop: clear writes at outer level
[pet.git] / tests / float2.scop
blobd9a5287ca0e9f90d37cef8a838b835d4fd99f6cf
1 start: 41
2 end: 82
3 context: '{  :  }'
4 arrays:
5 - context: '{  :  }'
6   extent: '{ a[] }'
7   element_type: float
8   element_size: 4
9 - context: '{  :  }'
10   extent: '{ b[] }'
11   element_type: float
12   element_size: 4
13 - context: '{  :  }'
14   extent: '{ c[] }'
15   element_type: float
16   element_size: 4
17 statements:
18 - line: 6
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[] -> c[] }'
27       index: '{ S_0[] -> c[] }'
28       reference: __pet_ref_0
29       read: 0
30       write: 1
31     - type: op
32       operation: /
33       arguments:
34       - type: access
35         relation: '{ S_0[] -> a[] }'
36         index: '{ S_0[] -> a[] }'
37         reference: __pet_ref_1
38         read: 1
39         write: 0
40       - type: access
41         relation: '{ S_0[] -> b[] }'
42         index: '{ S_0[] -> b[] }'
43         reference: __pet_ref_2
44         read: 1
45         write: 0