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
scan.cc: strided_domain: return parameter set
2012-03-06
Sven
V
e
r
d
oolaege
scan
.
cc: strid
e
d_doma
i
n
:
r
e
t
urn p
a
rameter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoolaege
limit
parameters
i
n
co
n
text to po
s
sible values of c
o
rrespond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doolaege
PetScan::extra
c
t_implicit_a
f
fi
n
e: simplify computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
update is
l
f
o
r
c
hange in isl_pw_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Ve
r
doolaege
simplify sets and relations in pet_scop with respec
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Ver
d
o
olaege
pass value_bounds to PetScan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
sto
r
e v
a
lue_bounds
i
n isl_
u
n
ion_
m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
README: m
e
ntion that ubuntu libclang-de
v
is not
s
ufficient
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdo
o
laege
README: ment
i
on
potential
probl
e
m when confi
g
u
ring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-06
S
v
en Verdo
o
laege
keep track of size of arr
a
y elem
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sve
n
V
e
rd
o
ola
e
g
e
adjust to
c
hange
i
n number of a
r
gum
e
nts
of
D
eclRefExpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sven Ver
d
oolae
g
e
co
n
f
igure
.
ac
:
remove spur
i
ou
s
",
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verd
o
olaege
pet_scop_extract_from_C_source:
r
eset use
r
p
oin
t
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
S
v
en
V
erdo
o
la
e
ge
update isl for
fix in isl_spac
e
_set_dim_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
S
v
en Verdoolaege
README: add more requirements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven
V
er
d
oolaege
up
d
ate f
o
r chan
g
e in clang's
H
andleTopLevelDecl return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven
V
erdoolae
g
e
configure
.
ac: on
l
y link agains
t
libraries from
LLVM
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
update isl
f
or support for recent cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-08
Sven Verdoola
e
g
e
scan
.
cc: fix t
y
pos in
commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
S
v
en Verd
o
ol
a
ege
scop
.
c
: fix typo in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoolaege
a
d
d --version option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
e
n
V
e
r
doolaege
pet 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sve
n
V
e
rdo
o
laege
update
i
s
l
to version
0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
confi
g
ure
.
ac:
s
p
e
c
ify ad
d
res
s
f
or bug reports
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdool
a
ege
check for presence o
f
prototyp
e
before
a
ccessing param
e
ters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven V
e
rdoolaege
PetS
c
an::u
n
supported:
o
pt
i
onall
y
print c
u
stom mes
s
age
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven Ve
r
doolaege
R
E
A
D
ME: add a small
no
t
e
o
n
how t
o
us
e
p
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven V
e
rdoolaege
keep
track of "
a
ddress of"
operators on
a
cc
e
sses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verd
o
o
l
aege
scop_ex
t
ract_from_C_sourc
e
: properly clean up if input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
rdoolaege
cons
t
ruct_invoc
a
tion: add missing c
h
eck for jobs size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Ver
d
oolaege
cache v
a
lues i
n
assigned_v
a
l
u
e
i
n
s
tead of expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n Verdoolaege
all
o
w
b
oole
a
n
expressi
o
ns where an aff
i
ne expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
rd
o
olaege
al
l
ow p
a
r
ens
a
r
ou
n
d intege
r
literal in second
a
r
g
ument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoo
l
aege
a
dd
e
xt
r
a mi
n
test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolae
g
e
up
d
ate isl for is
l
_
pw_aff_has_
d
im_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaeg
e
add missing n
a
mespace qua
l
i
fic
a
tion on
l
lv
m
::ArrayRef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaege
p
et_stmt
_
from_pet_expr
:
f
ix memory leak on error
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven
Verdoolaege
sca
n
.
cc: update comm
e
nt of va
l
id_
f
or_each_iterat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en Ver
d
o
olae
g
e
allow nested accesses in lo
o
p upper bou
n
ds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdool
a
ege
allow ne
s
t
ed acce
s
s
es in if conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verd
o
o
l
aege
extract n
_
nested_parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
extract is_nested_paramete
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
extract extr
a
ct_nested
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sve
n
Verdoola
e
ge
r
e
n
ame n
o
n_aff
i
ne to nest
e
d_acce
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ver
d
oolaege
add pet_scop_wri
t
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
v
e
n
V
e
rdoo
l
ae
g
e
priv
a
tely e
x
po
r
t
pet_ex
p
r_foreach_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ver
d
oolaeg
e
add
-D option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
add -I opt
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Ver
d
oo
l
aege
pet
:
use isl
for
ar
g
ument parsin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoolaege
store autodetect op
t
ion i
n
a
separate
pet_options s
t
r
uctu
r
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
update isl for support
f
or string list argum
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolae
g
e
update isl f
o
r introduction of
i
sl_
a
rg
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
use the
c
lang driver to obta
i
n command
lin
e
arg
u
m
ents
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdoola
e
ge
d
e
s
t
roy
M
y
Diagnost
i
cPrinte
r
o
n newer clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdoo
l
aege
support more
r
ec
e
nt LLV
M
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
updat
e
isl
for sup
p
o
r
t
for recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sv
e
n Verd
o
ol
a
ege
extra
c
t_affine:
a
variabl
e
that has b
e
en as
s
igned an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven V
e
r
d
oolaege
inducti
o
n va
r
iable
o
f for loo
p
sh
o
uld be co
n
s
idered
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
S
v
en Verd
o
olaege
a
n
add
r
ess p
a
ssed
to a co
n
st
p
ointer argumen
t
should
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
S
ven
Verdoolaege
.
gitignore:
add config
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
turn
v
irt
u
a
l
s
calars into
virtua
l
arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verdoo
l
aege
mark __pet_test_
*
scalars as only attaining values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verdoolaege
allo
w
l
a
bels on
expression sta
t
ements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verd
o
olaege
a
llow spe
c
ification
o
f only lower bo
u
nd on parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verdoolaege
use isl_set_{lo
w
er,up
p
e
r
}_b
o
und_si instea
d
of o
u
r own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en V
e
rdoola
e
ge
u
pd
a
te isl for
i
sl_set_upper_bound_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sv
e
n Verdoolaege
expli
c
itly
l
ink in gmp
w
he
n
using libi
s
l
.
l
a
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sve
n
Verdoolaege
Makefile
.
am
:
append extra copy
o
f CLAN
G
_
LD
F
LAGS to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Ve
r
do
o
laege
update
i
sl t
o
version 0
.
0
8
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
S
v
e
n
Verdo
o
l
aeg
e
u
p
date isl f
o
r support fo
r
recent
cl
a
n
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en V
e
r
d
oo
l
ae
g
e
a
c
cept non-affi
n
e
con
d
i
tions in if stat
e
ment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_scop_add: a
l
so colle
c
t t
h
e arrays in the pet
_
scops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaege
pet_stmt: add arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n
Verdoolaeg
e
pet
_
stmt_f
r
om_pet_expr:
clear
a
l
l f
i
elds
of newly created
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
upd
a
te isl for change in isl_pw
_
aff_set_tuple_id prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoolaeg
e
only
d
istribute bundled submodules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Verd
o
olaege
ke
e
p tra
c
k of ass
i
gnments to paramete
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
export PetScan
:
:ex
t
ract
_
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
oolaeg
e
be more caref
u
l a
b
out usin
g
pa
r
ameter spac
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoola
e
ge
upd
a
te isl
f
or
i
s
l_set_f
r
om_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdoola
e
ge
handle extraction
o
f scops ins
i
de a loop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n
Verdoolaege
pet_stm
t
_
e
mbed: handle NULL stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
r
doolaege
pet_expr_
i
s
_
equa
l
:
n
ot equal if ac
c
e
s
s rela
t
i
o
n is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
parse
.
c
:
extract_arguments: p
l
ug me
m
ory
l
e
a
k on
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Ver
d
oolae
g
e
update isl
f
or cha
n
ge
i
n isl_set
_
r
e
ad_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
V
erd
o
olaeg
e
update isl
fo
r
cha
n
ge in isl_{in,}equality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoolaege
add copy
r
ig
h
t statemen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
p
et_s
c
op_ext
r
a
ct_f
r
om_C_source
:
use a CompilerI
n
stance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
clear a
s
sig
n
ed_v
a
lu
e
for sca
l
ars tha
t
are assigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Verdool
a
ege
P
e
tScan
:
:set_upper_bounds: grac
e
fully han
d
le error
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven
V
erdoolaege
update
i
sl for change in space o
f
isl_pw_* objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolae
g
e
update
isl for e
x
plicit p
a
r
a
meter spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
u
se isl_
s
pace_
p
aram
s
_al
l
oc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
update
i
s
l for is
l
_sp
a
ce_param
s
_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdoolaege
rename i
s
l_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaeg
e
update isl
f
or
r
e
n
a
m
e
of isl_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
ccept infin
i
te while lo
o
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doo
l
aege
add "
e
q" operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolae
g
e
acc
e
pt compoun
d
statem
e
n
ts with zero statements when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
expr
_
collec
t
_
a
ccesses: u
s
e
i
sl_map_has
_
tuple_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next