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
extract out pet_not
[pet.git]
/
tests
/
struct1.scop
blob
cd53873e2c172e2cedaf4edb7a584c332b3a6212
1
start: 50
2
end: 89
3
context: '{ : }'
4
types:
5
- name: s
6
definition: "struct s {\n int a;\n}"
7
arrays:
8
- context: '{ : }'
9
extent: '{ s[] }'
10
element_type: struct s
11
element_size: 4
12
element_is_record: 1
13
- context: '{ : }'
14
extent: '{ s_a[s[] -> a[]] }'
15
element_type: int
16
element_size: 4
17
statements:
18
- line: 10
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[] -> s_a[s[] -> a[]] }'
27
index: '{ S_0[] -> s_a[s[] -> a[]] }'
28
reference: __pet_ref_0
29
read: 0
30
write: 1
31
- type: int
32
value: 5