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
README: mention that ubuntu libclang-dev is not sufficient
2012-03-04
S
v
en Ve
r
doolaege
README: mention t
h
at u
b
u
ntu libclang-dev is not sufficient
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sve
n
Verdoolaege
READ
M
E: men
t
i
o
n
p
otential problem when config
u
r
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-06
Sven Verdo
o
l
aeg
e
k
e
ep trac
k
of s
i
z
e o
f
a
r
ray e
l
ement
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-05
Sv
e
n Verdoolaege
adju
s
t
to change i
n
n
u
mber of
a
rgumen
t
s of DeclRefExp
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verd
o
olaege
config
u
r
e
.
a
c
:
r
e
m
ove sp
u
rio
u
s
","
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-03
Sv
e
n van Haa
s
tregt
pet_scop_extrac
t
_
f
ro
m
_C_source: return
N
U
LL in c
a
se
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
S
v
en
V
e
r
do
o
laege
p
e
t_
s
cop_extract_from_C_so
u
rce: reset
user poin
t
e
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven
V
erd
o
o
laege
up
d
ate isl f
o
r fi
x
in i
s
l_
s
pace_set_di
m
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
RE
A
DME:
a
dd more r
e
qu
i
rem
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
S
ven Verdoolaege
updat
e
for c
h
ange in clang's HandleT
o
pLevel
D
ecl r
e
turn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaeg
e
configure
.
ac: only link aga
i
nst librar
i
e
s from
LLVM
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolae
g
e
update isl
f
o
r support for
r
e
c
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-08
Sven
V
erdool
a
ege
scan
.
cc: fix
t
ypos in commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
S
v
e
n
Verdoo
l
aege
s
c
op
.
c: fix t
y
p
o
in comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
Sve
n
Verdoola
e
ge
add
-
-versio
n
option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdo
o
laege
pet 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdo
o
l
a
ege
update i
s
l
t
o
v
e
rsion 0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoo
l
aege
configure
.
ac: specify
a
dd
r
ess fo
r
bu
g
reports
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
c
h
eck for
p
resence o
f
p
rototype before
accessing para
m
eters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
PetScan::un
s
upported:
optionally print custom message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
S
ven Verd
o
olaege
READM
E
: add
a
sm
a
ll
n
ote on
h
ow to use pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoolaege
k
eep trac
k
of "
a
ddress of" o
p
erators on
a
ccesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ver
d
ool
a
ege
s
c
op_
e
xtr
a
ct_fro
m
_C
_
source:
p
roperl
y
clean up if input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaeg
e
construct_i
n
voca
t
i
o
n: add miss
i
ng ch
e
ck for jobs size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
cache
v
a
lues in assigned_v
a
l
u
e i
n
stead of expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ve
r
dool
a
ege
allow boolean expressi
o
ns where a
n
affine expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
allow pa
r
en
s
ar
o
u
n
d
i
n
teger literal in second a
r
gument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdool
a
ege
add ext
r
a
min
test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en Verdoolaege
update isl
for isl_pw_aff_h
a
s_dim
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ver
d
o
olaege
add m
i
ssing nam
e
space qua
l
ifi
c
ation
o
n llvm::
A
rrayRef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
S
ven Verdoolaege
pet_stmt_fr
o
m_pet_expr: fix memory leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sve
n
Verdo
o
laege
scan
.
c
c
: update commen
t
of
v
ali
d
_
f
or_each_iterat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verd
o
olaeg
e
allow nested accesses i
n
lo
o
p upp
e
r bounds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
ven Verdoola
e
ge
a
l
low nested acce
s
s
es in
i
f
conditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
e
rdoolaege
extract n_nested_
p
a
r
ameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
S
ven
V
er
d
oolaege
extract is_n
e
s
t
e
d
_parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n Verdoolaeg
e
ex
t
ract
e
xtract_
n
este
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n Verdoolae
g
e
r
e
name non_affine to nested_acc
e
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sve
n
Verdoolaege
add pet_s
c
op_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ve
r
doolaege
privately e
x
por
t
p
e
t_e
x
pr
_
for
e
ach_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verdo
o
l
a
ege
add -D opti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven V
e
rdool
a
e
g
e
add -I option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven
Verdoolaege
pet: use isl f
o
r a
r
gument parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven V
e
rdool
a
ege
s
t
ore autod
e
tect opti
o
n in a
s
epar
a
te
p
e
t_
o
ption
s
structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ver
d
o
olaege
update isl for support for
s
tring li
s
t ar
g
uments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaeg
e
updat
e
isl for introduction of isl_
a
rgs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Ve
r
d
o
ol
a
ege
u
se the clang driver to
ob
t
ain command line ar
g
u
ments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n V
e
r
d
oolaege
destro
y
M
y
Diag
n
osticPrinter on
n
e
wer clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
support more re
c
ent LLVMs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoola
e
ge
u
pdate isl for
su
p
por
t
for rece
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
extract_affi
n
e:
a variable that has been assigned an
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolae
g
e
inducti
o
n variable o
f
f
o
r
loo
p
should be
considered
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven
Verdoo
l
aege
an address pa
s
s
e
d
to a const
pointe
r
argument shoul
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
Sven
V
erdoola
e
g
e
.
git
i
g
nore: add
c
onf
i
g
.
h
.
in~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
tu
r
n
v
irtual scalars i
n
to virt
u
al
ar
r
ays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
e
n Verdoo
l
aeg
e
mark
__pet_test_*
s
calars as
o
nly attai
n
ing values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdool
a
ege
a
l
l
ow labe
l
s on expression statement
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
r
d
oolaege
allow spe
c
ifi
c
ation o
f
only lo
w
er bo
u
nd on paramete
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
use is
l
_set_{lower
,
upper}_bound_
s
i instead of
ou
r
own
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdoolaege
up
d
ate isl for isl_set_u
p
per_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verd
o
o
l
aege
e
x
p
licitly
l
i
n
k in gmp
when using
libisl
.
l
a
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sve
n
Verdoolaege
Makef
i
le
.
am: append extra copy o
f
CLANG_
L
DFLAGS to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
S
v
e
n Verdoolaege
upda
t
e is
l
to v
e
r
s
ion
0
.
0
8
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Tobias Gros
s
er
adapt to
the re
c
ent changes in cla
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sve
n
Ver
d
oolaege
up
d
ate isl
for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
ac
c
ep
t
non-affine condi
t
i
o
ns in
if statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
p
e
t
_sco
p
_ad
d
: al
s
o collect t
h
e a
r
ra
y
s in
t
he pet_s
c
ops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdool
a
ege
pet_stmt: add arg
u
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolaege
pet_
s
tmt_from_pe
t
_expr: clea
r
all
f
iel
d
s
of newly created
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update isl for change in isl_pw_aff_set_tuple_id
p
ro
t
otype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n
Verdoolaege
only distribute bundl
e
d
s
ub
m
odules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
k
eep track of ass
i
g
n
ments to parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
expor
t
PetScan:
:
extract_
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
laege
be
m
or
e
careful about
using param
e
ter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
up
d
a
t
e isl for isl_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdoolaege
handle extracti
o
n of scops
i
nside a loop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
pet
_
stmt_embe
d
: hand
l
e NULL stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Verdoolaege
pet_expr_is_equa
l
:
not e
q
ua
l
if acces
s
re
l
ation
i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
p
arse
.
c: extract_ar
g
ument
s
: plug memory leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
ven Verdo
o
laege
update i
s
l for
ch
a
n
g
e in isl_set_
r
ead_from
_
s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdo
o
la
e
ge
update isl fo
r
change
in isl_{
i
n
,}equal
i
t
y
_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoolaege
add
copyright
sta
t
ement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Ve
r
d
o
olaege
pet_scop_ext
r
act_from_
C
_
source:
use
a
C
o
m
pile
r
Instance
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
cle
a
r a
s
signed_value for scalars that are
assigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
P
e
t
Scan::set
_
uppe
r
_
b
ounds:
g
r
acefully handle
er
r
ors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
e
rdoolaege
u
p
date isl for c
h
ange in space o
f
isl_pw_* objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl
f
or expli
c
it par
a
meter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdoolae
g
e
use isl_spa
c
e_pa
r
ams_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
upda
t
e isl
f
or
i
sl_space_
p
arams_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verd
o
olaege
r
e
name
isl_dim to isl
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
o
o
laege
update isl for
rename of isl_dim to
isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdo
o
laege
accept
in
f
inite
wh
i
le loop
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoo
l
aege
add "e
q
" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
a
c
c
ept
c
ompound statements with zer
o
s
t
atements when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdool
a
ege
e
xpr_colle
c
t_acces
s
es:
u
se isl_map_has_
t
uple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
e
r
d
oolaege
ch
e
ck if tuple h
a
s id
b
efore c
a
lling isl_{set,map}_g
e
t_tupl
e
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
Verdoola
e
ge
update i
s
l fo
r
isl
_
m
a
p_has_tup
l
e
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaeg
e
allo
w
declaration of iterato
r
in for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaeg
e
update i
s
l
for rena
m
e of
i
s
l
_
map_
i
nsert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Tobia
s
Grosser
Hide w
a
rnings in
syste
m
headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next