repo.or.cz
/
pet.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
explicitly mark kill accesses
[pet.git]
/
tests
/
float2.scop
blob
d254fa829b4a6cae6dd14cb7ddb356d3bb449cb7
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