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
try and include initial declarations in outer block when autodetecting
[pet.git]
/
tests
/
struct1.scop
blob
47f49257dcf13b0a0b7cd0d528fb9dd44d060cc0
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
body:
23
type: expression
24
expr:
25
type: op
26
operation: =
27
arguments:
28
- type: access
29
index: '{ S_0[] -> s_a[s[] -> a[]] }'
30
reference: __pet_ref_0
31
read: 0
32
write: 1
33
- type: int
34
value: 5