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
add extra min test
2011-11-23
S
ven
Verdoolae
g
e
ad
d
e
xtra min te
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven
V
erdool
a
ege
update i
s
l for
i
sl
_
p
w
_aff_
h
as_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n Verdoo
l
aeg
e
add
m
issing namespace quali
f
ication on llvm::ArrayRe
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdool
a
ege
p
e
t
_stmt_from_pet_exp
r
: f
i
x memor
y
leak on e
r
ror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaege
s
can
.
cc: updat
e
c
omm
e
n
t
of valid
_
for_e
a
ch_iteration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verd
o
o
l
ae
g
e
allow nested accesses in loop uppe
r
bou
n
ds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ve
r
doo
l
aege
a
l
low nested ac
c
esses in if conditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
extract n_n
e
s
t
ed_pa
r
ameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n
V
e
rdool
a
e
ge
e
xtract is_nes
t
ed_par
a
m
e
t
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verd
o
o
l
aege
e
xtract extr
a
ct_nested
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven V
e
rd
o
olaege
rename
n
on_a
f
fine to nested_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verd
o
olaege
add pe
t
_
scop_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
erdool
a
ege
p
ri
v
ately export pe
t
_expr_foreac
h
_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdo
o
laege
add -D option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
erdoolaege
a
d
d
-
I
option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
pet: use isl
for argu
m
ent parsin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
erdoolaege
store au
t
odetect o
p
t
i
on in a s
e
pa
r
a
t
e
pet_
o
ption
s
st
r
ucture
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Verdoolaege
update isl for
s
upport
for string list argument
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
u
p
d
ate isl for introduction of
isl_ar
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
u
s
e the clang dr
i
ver to obtain
command line arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
destroy MyD
i
ag
n
osticPri
n
ter
o
n newer clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
e
n Verd
o
olaege
support more recent LLVMs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
doolaege
update
isl f
o
r supp
o
rt for recent clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sv
e
n Verdoolaege
extract_affine: a
v
ariab
l
e t
h
at ha
s
been assigned an
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
inductio
n
v
a
riable of
f
or loop should be c
o
ns
i
dered
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven
Verdoolaege
an ad
d
res
s
pass
e
d to
a
c
o
n
s
t pointer
a
r
gu
m
ent should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
S
v
en Verdoo
l
aege
.
g
i
tignore:
a
d
d config
.
h
.
in~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
turn virtual s
c
alar
s
into virtual array
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Ver
d
oolaege
mar
k
__pet_test_* scalars as only attaini
n
g values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
allow
labe
l
s on expression s
t
atement
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
V
erdoolae
g
e
al
l
ow spe
c
ificati
o
n of only
lower bound on parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
u
se isl_set_{l
o
wer,upp
e
r}_bound_si instead
of
ou
r
o
wn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
V
erdoolaege
upd
a
te
i
sl for isl_set_upper_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sv
e
n Verdoolae
g
e
expli
c
itly link in gmp w
h
en using libisl
.
l
a
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
S
v
e
n
V
erd
o
olaege
Makefile
.
am: ap
p
e
nd
extra
c
opy of C
L
ANG_LDFLAGS
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
up
d
ate isl to
v
ersion
0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Tobias
G
ros
s
er
adapt to
the re
c
ent chang
e
s in c
l
ang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
S
v
en Ver
d
oolaege
update is
l
for
s
up
p
o
rt
f
or recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doola
e
ge
accept no
n
-affine conditions in if
s
t
a
temen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n
V
erdoo
l
aege
p
et_scop_add
:
also collect
the ar
r
ays i
n
the pet_scops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
olaeg
e
pet_stmt:
a
dd arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolaege
pe
t
_stmt_from_pet
_
expr: clear all
fiel
d
s of
new
l
y created
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Ve
r
doolaege
update isl for
c
han
g
e
i
n
isl
_
pw_aff_set_tuple_id
p
rototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolae
g
e
only d
i
s
t
ribute bundled submodules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doo
l
aege
keep
t
r
ack
o
f
assignments to parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdool
a
ege
export Pet
S
can::extr
a
c
t_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdoo
l
aeg
e
be more careful about using para
m
eter space
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
e
n
Verdoo
l
aeg
e
u
pdate
i
sl for isl_se
t
_from_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
Sven
V
erdoolae
g
e
handle extraction
of scops inside a l
o
op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
v
e
n Verdoo
l
aege
pet_
s
t
m
t_embe
d
: hand
l
e N
U
LL stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Verdoolae
g
e
p
e
t_e
x
pr_is_equa
l
: not
e
qual if access r
e
lation is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoola
e
ge
parse
.
c: extr
a
ct_argument
s
: plug
m
emory leak on err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven
V
erdoolaege
update
isl for change in
i
sl_
s
et_read_from_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdool
a
ege
updat
e
isl for c
h
ange in
isl_{in,}eq
u
alit
y
_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
S
v
en
V
erdoola
e
ge
add copyright
stat
e
m
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven
Verdoolaege
pet_s
c
op_
e
x
t
r
act_from_C_source: use a Compiler
I
n
s
t
an
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
clear a
s
signed
_
v
alue for scal
a
r
s
that are ass
i
gned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
PetScan::set_uppe
r
_bou
n
d
s
:
gr
a
cefu
l
ly handle errors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Verd
o
olaege
updat
e
isl
for cha
n
g
e
in space of isl_pw_* object
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
update
is
l
for explicit pa
r
ame
t
er
s
paces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
use
i
sl_space_params
_
alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
up
d
at
e
isl for is
l
_spac
e
_params_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ver
d
oo
l
aege
rename isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
update isl for r
e
name of
isl_
d
i
m
to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
accept infinite
whil
e
loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rd
o
o
l
aege
a
dd "eq" op
e
rati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
accept
co
m
po
u
nd statements with zero
statements when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ver
d
oolaege
ex
p
r_col
l
ect_
a
ccesses: use
i
s
l_ma
p
_
h
a
s_
t
u
p
le_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
e
r
doolaege
check
if t
u
ple has id bef
o
r
e calling
is
l
_{set,map}_get
_
tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdo
o
laege
u
pdate isl for isl_ma
p
_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolae
g
e
allo
w
declarat
i
o
n
of iter
a
tor in
for lo
o
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoo
l
aege
update i
s
l for re
n
ame of isl_map
_
inser
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Tobias Grosser
Hide warnings in system he
a
ders
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
h
a
ndle "live-out" p
r
agmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Verdo
o
laege
pet
.
cc: extr
a
c
t o
u
t
updat
e
_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sve
n
Verd
o
ol
a
ege
p
et
.
cc: extract
o
u
t
g
e
t_value_
d
ecl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
avo
i
d
wr
a
pping on some simple cases of loops with
unsigne
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Ve
r
doolaege
wrap results of unsigned computations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verd
o
ola
e
ge
take in
t
o account
that unsigned i
t
era
t
ors may wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoolaege
allow
loo
p
inc
r
e
m
ents of the form i = i + cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
e
n
V
erdoolaeg
e
allow loo
p
increme
n
ts
different from one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Verdoolaeg
e
a
llow
l
oo
p
i
nc
r
ements of the
f
o
rm
i
+= 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
fix check for "simple" lo
o
p
t
e
rm
i
nation c
o
ndition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
ven Ver
d
oolaege
update isl for isl
_
pw
_
aff_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
e
n
Verd
o
olaege
p
r
ope
r
ly handle generic cond
i
tions
in
f
o
r
l
oops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en Verd
o
o
laege
README:
e
mph
a
size that we need clang
l
i
b
r
a
r
ies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
Ver
d
oo
l
ae
g
e
upda
t
e for rena
m
e of g
e
tIn
s
tantiationLi
n
eNumb
e
r to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaeg
e
scan
.
cc:
f
ix typ
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoola
e
ge
update is
l
for fix in
i
sl
_
map_int
e
rsect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolae
g
e
accept affine e
x
p
ressions where
we expect
a condi
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoola
e
ge
update isl for isl_pw
_
aff_
n
o
n_zero
_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven van Haastregt
con
f
igu
r
e: check if
l
lvm-config actually exist
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
init
i
a
l version of
p
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
