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
pet_scop: keep track of schedule tree
[pet.git]
/
tests
/
struct1.scop
blob
9b0e64428c0bcc940009329919297c634242fc95
1
start: 50
2
end: 89
3
indent: "\t"
4
context: '{ : }'
5
schedule: '{ domain: "{ S_0[] }" }'
6
types:
7
- name: s
8
definition: "struct s {\n int a;\n}"
9
arrays:
10
- context: '{ : }'
11
extent: '{ s[] }'
12
element_type: struct s
13
element_size: 4
14
element_is_record: 1
15
- context: '{ : }'
16
extent: '{ s_a[s[] -> a[]] }'
17
element_type: int
18
element_size: 4
19
statements:
20
- line: 10
21
domain: '{ S_0[] }'
22
schedule: '{ S_0[] -> [0] }'
23
body:
24
type: expression
25
expr:
26
type: op
27
operation: =
28
arguments:
29
- type: access
30
index: '{ S_0[] -> s_a[s[] -> a[]] }'
31
reference: __pet_ref_0
32
read: 0
33
write: 1
34
- type: int
35
value: 5