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
pet 0.01
2011-12-18
Sven Verdoolaege
pet 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
erdoolaege
updat
e
isl to version 0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoola
e
ge
c
o
n
fi
g
ure
.
ac: specify addr
e
ss for
b
ug repor
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
check for presence o
f
proto
t
ype before ac
c
essing parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoo
l
a
ege
PetScan::
u
nsupp
o
rted: optiona
l
ly print custom messa
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
S
v
en
V
erdoo
l
aege
READM
E
: ad
d
a s
m
all n
o
te on how to use pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoolaege
keep tr
a
ck of "address
o
f" operators
o
n
acce
s
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n Verdoo
l
a
eg
e
s
c
o
p_extract_f
r
om_C_source: properly clea
n
up if in
p
ut
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdool
a
ege
construct_invocation: ad
d
missing check for
j
obs size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Ver
d
oolaege
c
a
che values in assigned_value i
n
s
t
ead of expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
ven Verdoolaege
allow boolean expre
s
sions where an affine expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ve
r
do
o
laege
al
l
o
w
pare
n
s ar
o
und integer literal in
s
econd
a
r
gument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n
V
erdoolaege
add extra mi
n
tes
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
up
d
ate isl for
i
sl_pw_aff_has_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
ven Verdoolaege
add mis
s
ing name
s
pa
c
e qua
l
if
i
catio
n
on
llvm::ArrayR
e
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdo
o
laeg
e
pet_st
m
t_fr
o
m_
p
et_expr:
fix memory leak on
error
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdo
o
l
aege
scan
.
cc: u
p
date comment
o
f v
a
lid_for_
e
ach
_
iteration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
allow nested a
c
cesses
i
n
loop upper bound
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
allow nested accesses in if condi
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoo
l
aeg
e
extra
c
t n_nes
t
ed_pa
r
ameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven V
e
rd
o
olae
g
e
e
x
trac
t
is_ne
s
ted_paramet
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven V
e
rdoolaege
e
xt
r
act ex
t
r
a
c
t_nested
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
re
n
ame non_af
f
ine to
n
e
sted
_
access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sve
n
V
erdoolaege
add pet_
s
cop_write
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
privately e
x
p
ort
pet_expr_fore
a
ch_a
c
cess
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
Sve
n
Ver
d
oolaege
a
dd -I
o
p
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Ver
d
oolaege
p
e
t
: us
e
isl for
a
rgument parsi
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
o
laege
store autodete
c
t option in a separate pe
t
_op
t
ions struct
u
re
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoolaege
update i
s
l for support
f
or string list argum
e
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
V
e
rdool
a
ege
updat
e
isl for introduction of isl_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
laege
u
se th
e
c
lang dr
i
ver to obtain
c
omman
d
li
n
e arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ver
d
o
olae
g
e
des
t
roy MyDiagn
o
sti
c
Printer
on newer clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
la
e
ge
s
up
p
ort more rec
e
nt L
L
VMs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
e
n
Verdoolaege
up
d
ate isl for su
p
port fo
r
re
c
ent
cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Ver
d
oo
l
aege
ex
t
rac
t
_affine: a variable tha
t
has been
assig
n
ed
a
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sve
n
Verdoolaege
induction variabl
e
o
f
for loop should
b
e
c
onside
r
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sv
e
n Verdool
a
ege
an ad
d
res
s
p
assed t
o
a const pointer arg
u
ment should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
Sv
e
n
Verdoola
e
ge
.
g
itignore: add
confi
g
.
h
.
in~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Verdoolaege
tur
n
vi
r
tual
scalars into v
i
rtual arra
y
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en
V
erdoolaege
m
a
rk __pet_test_* scalars as o
n
l
y
attaining values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rdool
a
ege
allow labe
l
s o
n
exp
r
ess
i
o
n
sta
t
ements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
e
rdoolaege
allow specification of o
n
ly lower bou
n
d on param
e
ter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ver
d
oolaege
use isl_set_{l
o
wer,upper}_bo
u
nd_si inst
e
ad of o
u
r own
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n V
e
rdoolaege
update isl for i
s
l
_set_upper_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdo
o
laege
explicitl
y
link in
gmp when us
i
ng libisl
.
la
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sv
e
n Ve
r
doolaege
M
a
kefil
e
.
a
m: append e
x
tra
c
opy of CLANG_LDFLAGS
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
up
d
ate isl to
version 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Ve
r
dool
a
ege
updat
e
isl for
support fo
r
recen
t
c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven
Verdoolaege
accept non-affin
e
cond
i
tions in
i
f statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
p
e
t
_
sco
p
_
a
d
d
: a
l
s
o collect the
a
r
rays in th
e
pe
t
_s
c
ops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
pet_stmt: add argu
m
ent
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
e
g
e
pe
t
_stmt_from_pet_expr
:
cle
a
r al
l
f
ields of new
l
y cre
a
ted
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
upda
t
e isl for change
i
n isl_
p
w_a
f
f_set_tuple_
i
d prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaege
o
nly distr
i
bute bundled submodul
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
keep tra
c
k of assignments t
o
p
arameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolae
g
e
export
P
e
tScan::e
x
t
ra
c
t_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en V
e
rdoolaege
be more ca
r
eful ab
o
ut using p
a
rameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Ve
r
doolaege
update
isl for isl_set_
f
rom_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
S
v
en Verdoolaege
handle e
x
tract
i
on of scops inside a loop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en V
e
rdoolaege
pet_stmt_embe
d
: handle NULL stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Verdoolaeg
e
pet_exp
r
_is_
e
qual: not equ
a
l if acc
e
ss relation
i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ver
d
oola
e
ge
parse
.
c: extract_arguments: plug memory leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolae
g
e
u
p
d
ate is
l
for change in
i
sl_
s
et_rea
d
_
from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoo
l
aeg
e
update isl fo
r
chan
g
e
in isl_{in
,
}equality_
a
llo
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
S
v
en Verd
o
olaeg
e
ad
d
copyr
i
ght sta
t
e
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
pet_scop_extract_fr
o
m_C_s
o
urce:
u
s
e
a CompilerI
n
sta
n
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
ool
a
ege
clear assigned_value for sc
a
lars that ar
e
assigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
PetScan::s
e
t_upper_bou
n
ds: gracefully handle errors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en
V
erdoolaege
update i
s
l
for change in s
p
ace of i
s
l
_pw_*
obje
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl for explicit parameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
use isl_space_params_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
u
p
date isl for isl_space_p
a
r
a
m
s_al
l
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
r
e
name isl_
d
im
to isl
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl fo
r
rename of
i
sl_dim
t
o isl
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven V
e
rdool
a
e
ge
a
c
cept
i
nfinit
e
while lo
o
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolae
g
e
a
dd "eq" operati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
accept compoun
d
statemen
t
s wit
h
zero
statements when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
expr_collect_accesses: use
isl_m
a
p_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ve
r
doolaege
chec
k
if tuple ha
s
id before ca
l
ling isl_{set,map}_ge
t
_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaeg
e
u
pdate isl
for isl_ma
p
_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
ven Verdoo
l
ae
g
e
allo
w
declarat
i
on
of it
e
rato
r
i
n
for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Ver
d
oolaege
update isl for
r
ename of i
s
l
_m
a
p
_
inser
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven
V
erdo
o
laege
handle "live-out" pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolae
g
e
pet
.
cc:
e
xtract
out upd
a
te_a
r
rays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
pet
.
cc: extract ou
t
g
e
t_val
u
e_de
c
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolaege
avoid wrapp
i
ng on
some sim
p
le cases of loops wit
h
unsigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
wrap re
s
ult
s
of
unsigned computations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdoolaege
take
into ac
c
o
u
nt that uns
i
gned
iterators may wra
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoolaege
allow lo
o
p increments of
t
he f
o
rm i = i + c
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Verdoolaege
a
llow l
o
op
increme
n
ts different fr
o
m one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allow l
o
op incremen
t
s
of the form i +=
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
ae
g
e
fix check for "simple" loop termi
n
ation condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ve
r
doolaege
u
pdate i
s
l
for isl_pw_aff_mo
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoo
l
aege
properly handle gene
r
ic cond
i
tions in for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
e
r
d
oolaege
R
E
AD
M
E: emphasi
z
e t
h
at we nee
d
clang libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
u
p
date
for
rename of
g
etInsta
n
t
i
ationLineNumber to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verdoo
l
a
e
ge
scan
.
cc
:
fix t
y
p
o in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verd
o
ol
a
ege
upda
t
e isl for fix in isl_map
_
intersect_
p
ar
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaege
a
c
c
e
pt
affine expre
s
sions
where we expect
a conditi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next