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