explicitly mark kill accesses
[pet.git] / tests / float2.scop
blobd254fa829b4a6cae6dd14cb7ddb356d3bb449cb7
1 start: 41
2 end: 82
3 indent: "\t"
4 context: '{  :  }'
5 arrays:
6 - context: '{  :  }'
7   extent: '{ a[] }'
8   element_type: float
9   element_size: 4
10 - context: '{  :  }'
11   extent: '{ b[] }'
12   element_type: float
13   element_size: 4
14 - context: '{  :  }'
15   extent: '{ c[] }'
16   element_type: float
17   element_size: 4
18 statements:
19 - line: 6
20   domain: '{ S_0[] }'
21   schedule: '{ S_0[] -> [0] }'
22   body:
23     type: expression
24     expr:
25       type: op
26       operation: =
27       arguments:
28       - type: access
29         index: '{ S_0[] -> c[] }'
30         reference: __pet_ref_0
31         read: 0
32         write: 1
33       - type: op
34         operation: /
35         arguments:
36         - type: access
37           index: '{ S_0[] -> a[] }'
38           reference: __pet_ref_1
39           read: 1
40           write: 0
41         - type: access
42           index: '{ S_0[] -> b[] }'
43           reference: __pet_ref_2
44           read: 1
45           write: 0