repo.or.cz
/
pet.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
update isl for change in isl_map_subtract
2014-09-16
Sven Verd
o
o
l
aege
update isl for
c
h
a
nge in isl_map_subtr
a
ct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verdoolaege
update
for
c
h
a
nge in TargetOptions refcounting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
S
v
e
n
Verdoo
l
aege
update for removal o
f
llvm/ADT/Ow
n
ingPtr
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoo
l
aege
i
nterface/extract_int
e
r
f
a
c
e
.
cc:
av
o
id u
s
e of Source
M
anager
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sv
e
n Verdo
o
laege
update for removal of DefaultIma
g
e
N
ame Driver
constructor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolae
g
e
up
d
ate i
s
l for support for r
e
ce
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-11
Sven Verd
o
olaege
pe
t
_exp
r
_new_unary: take type size argu
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-06
Sven Verdoolaege
pet_scop_collect_domains:
properly
han
d
le
statem
e
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoo
l
aege
pet
_
s
t
mt_pri
n
t
_
body: do not print an
y
t
h
i
ng
for kill
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven V
e
rdoolaege
fix
q
uasi_affine test cas
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
ve
n
Ver
d
oolaege
p
et_tree_dump: fix typo in output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sve
n
V
erdoolaege
scop
.
c
:
fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven V
e
rdoolaege
sc
o
p
.
c: scop_al
l
o
c:
plug memo
r
y
l
eak o
n
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
Verdoo
l
aege
expr
.
c: extract_af
f
ine_
m
u
l
:
abort on
error rather than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
e
n Verdoolaege
Pe
t
Scan::set_upp
e
r_b
o
u
n
ds: handl
e
arrays dec
l
ared inside
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven va
n
Haastregt
all
o
w spe
c
ification of summary functi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sve
n
Verdoolaege
derive acces
s
re
l
ations of call expressions from functi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doola
e
ge
add pet_expr_m
a
p_call
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
add pet_expr_access_get_a
u
gmented_domain_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
PetScan::extr
a
ct
_
expr(Ca
l
lEx
p
r *): extract function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdool
a
ege
pet_expr: keep track of func
t
ion
summ
a
ries i
n
call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
olaege
p
et_exp
r
: p
u
t pet_e
x
pr_cal
l
field in subs
t
ru
c
t
ure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ver
d
ool
a
e
ge
introduc
e
pet_functi
o
n_s
u
mmary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
p
e
t_exp
r
_access_set_access: set read/write on non
-
em
p
ty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
break up access relations i
n
to
m
ay_r
e
ad/
m
ay_wri
t
e/
m
ust_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdo
o
laege
add p
e
t_union_map_move_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
introd
u
ce p
e
t_expr_acces
s
_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
drop p
e
t_expr_from_access_a
n
d_
i
ndex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
expl
i
ci
t
ly mark kill accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
p
e
t_expr: re
p
r
e
sent read/writ
e
fla
g
s as bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_
e
x
p
r
:
d
o
cume
n
t the read and write fields
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
d
oo
l
aege
break up
a
c
c
e
ss re
l
a
t
ions
into ma
y
_r
e
a
d
/
may_write/must_w
r
ite
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
erdoo
l
aege
pet
_
expr_tag_acce
s
s: avoid use of targ
e
t space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
postpone
i
n
troduction of access relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
e
m
it
.
c:
emit_expr: e
x
t
r
act out emit_
a
cc
e
ss_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
oola
e
g
e
drop
pet_e
x
pr_ac
c
ess_ge
t
_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Ve
r
dool
a
ege
nest
.
c: move is_sub_access to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verd
o
olae
g
e
tree2scop
.
c: ext
r
act_kill: update
k
ill exp
r
ess
i
o
n
rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaege
p
e
t
_
expr_is_
a
ffine
:
a
v
oid u
s
ing access relatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ve
r
doolaege
pet_expr_filte
r
:
avoid us
i
ng
acces
s
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
d
oolaege
pet_exp
r
_access
_
upda
t
e_domain
:
avoid
u
sing a
c
ce
s
s relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
l
aege
pet_expr_access_get_must_access: avoid using
access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr_access_get_id: a
v
oid using access
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
d
oolaege
expr
.
c: access_ad
d
_ref_
i
d
:
avoid us
i
ng acce
s
s
rela
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
scop
.
c: acc
e
ss_col
l
ect_params: avoi
d
using
a
c
cess
r
elation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
sc
o
p
.
c: implies_filter: av
o
id usi
n
g
a
ccess
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
o
laege
s
c
o
p
.
c:
a
c
ces
s
_
e
x
tract_
c
ontext:
avoid
us
i
n
g
ac
c
es
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
r
d
o
olae
g
e
scop
.
c: expr_ext
r
a
c
t_con
t
e
x
t: a
v
oi
d
using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolae
g
e
s
c
o
p
.
c: extra
c
t o
u
t shared drop_argument
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verd
o
olaege
p
e
t_expr_access_upda
t
e_domain: min
o
r cl
e
an-
u
p of expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
further gen
e
ralize comp
u
te_to_inner to support
pet_s
c
op_
c
omp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoo
l
aege
generali
z
e comput
e
_
to_in
n
er
t
o s
u
pp
o
r
t
pet_
s
c
op_
c
o
m
pute_out
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aeg
e
s
co
p
.
c:
compute_to_
i
nner: m
i
c
r
o-o
p
timization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sv
e
n V
e
r
doolaeg
e
tree2sc
o
p
.
c: is_nes
t
ed_allowed: do not allow
nes
t
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven
Verdoolaege
PetScan::set_upper_
b
ounds: us
e
decl
a
red size of
static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Ver
d
o
o
laege
sco
p
.
c: restrict_skip:
updat
e
documentation to
c
hange
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
t
ree2scop
.
c: scop_a
d
d_inc: take into account a
f
fin
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
laege
tree2scop
.
c
:
move
u
p apply_affine_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tr
e
e2sco
p
.
c:
s
cop_from_non
_
affine_while: extr
a
c
t
ou
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verd
o
olaege
p
et 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
S
v
e
n Verdoolaege
update isl to ver
s
i
o
n
0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
README
:
up
d
ate LL
V
M/clang installation i
n
structions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
r
d
oolaege
inte
r
fa
c
e
/
e
x
trac
t
_interface
.
cc: exp
l
ici
t
ly
i
nclude
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update
for
cha
n
ge in arg
u
m
e
nt
s
of C
o
mpi
l
erI
n
stance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verdoolaege
pe
t
.
cc:
a
dd sp
a
ce bet
w
ee
n
l
i
teral and
identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoo
l
aege
updat
e
isl for sup
p
o
r
t for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoolaege
pet_stmt_
f
r
o
m_pet_tree: avoid free of
un
i
nitialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoola
e
ge
sc
a
n
.
c
c
: fix typo
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdo
o
laege
p
e
t_scop_from_pet
_
s
t
mt: do not extract context from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
S
ven Verdoo
l
aege
PetScan::ex
t
ract_argument:
h
andle passing of enti
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Verdoolaege
Makefile
.
am: add
d
ummy C++
s
ourc
e
file to pe
t
_scop
_
cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
ve
n
Ve
r
d
oolaeg
e
handle pencil independent
p
ragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
PetScan: k
e
ep track of line
n
umbe
r
of
c
urrent Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven V
e
rdoola
e
g
e
pet
.
cc
:
extract
out
P
etASTConsumer::add_pragma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
V
erdoo
l
aege
add enca
p
sulat
e
_dy
n
amic_contro
l
option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
pet_scop_from_pet_tree: creat
e
stateme
n
ts directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolae
g
e
r
e
place p
e
t_stmt_fr
o
m_pet_e
x
pr by pet_s
t
mt_from_pet_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_stmt: use pet_t
r
ee to represent sta
t
ement body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
s
c
op
.
c
:
e
x
tract
o
ut
pet
_
stmt_is_affine_assu
m
e and pet_stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doo
l
aege
scop
.
c
:
stmt_
c
o
l
lec
t
_a
c
cesse
s
: use
p
et_expr_foreach
_
access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaege
scop
.
c: stmt
_
co
l
le
c
t_para
m
s: use pet_expr_foreach_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoola
e
ge
keep track of indentation of extracted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
update tes
t
case
o
u
tputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
e
x
tract enum con
s
t
a
nt
s
a
s
their
integer v
a
lu
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
g
e
PetSc
a
n::e
x
tract_int: separat
e
out extraction
f
r
om
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verd
o
ola
e
g
e
PetScan::extra
c
t_unsig
n
ed: tur
n
i
n
to a
s
tatic function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
s
ca
n
.
cc: cha
n
ge
t
e
x
t
ual ord
e
r of extract_unsigned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
o
l
aege
pet_check_c
o
de
.
c: use pet_expr
_
ex
t
r
act_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
ex
p
ort pet_expr_extract
_
affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_
c
ontext: n
o
l
ong
e
r keep track of "unknown" values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdool
a
ege
pet_ex
p
r_extract_affine: no longer cre
a
t
e
new
p
a
r
ameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
PetSca
n
::extra
c
t_scop: popu
l
a
t
e p
e
t_context
w
i
t
h parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
ge
s
c
an
.
cc: move up s
t
atic get_array_ty
p
e
function in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oo
l
aeg
e
PetScan::get_array_si
z
e
:
cache results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olaege
P
e
tSca
n
::set_upp
e
r_bo
u
nds
:
ex
t
r
act o
u
t
P
etScan::ge
t
_ar
r
ay_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_exp
r
_i
s
_equal: com
p
a
r
e index
expressi
o
ns up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
e
xpr_extr
a
ct_aff
i
ne: exploit dom
a
i
n
information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pe
t
_context_get_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoolaege
tree2sco
p
.
c: scop_fr
o
m_bloc
k
: colle
c
t a
f
fine
c
o
ntinue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
ge
pet_
s
co
p
_from_pet_tre
e
: extract pet_scop from the root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next