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_pw_aff_cond
2012-03-06
Sven Ver
d
oolaege
update isl for c
h
ange in
i
sl_pw
_
aff_cond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaeg
e
s
i
m
p
lify sets
a
nd relations
i
n
p
et_scop with respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
pass
va
l
ue_bounds to PetScan
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
S
ven
V
erdoolaege
sto
r
e
value_b
o
unds
i
n
isl
_
union_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
S
ve
n
Verd
o
olaege
README: ment
i
on that
u
bunt
u
libclang-dev is n
o
t sufficient
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdo
o
laege
REA
D
ME: mentio
n
poten
t
ial problem when config
u
ring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-06
S
ven Verdoolaege
keep track
o
f s
i
ze of array elements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verdoolaege
adjust to change
in
n
umber of
arguments
o
f D
e
clRe
f
Exp
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-05
Sven
V
e
r
doola
e
ge
configure
.
a
c:
r
e
m
ove sp
u
rious ","
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
S
ven
Verdo
o
la
e
ge
pet_scop_ex
t
ract_fr
o
m_C_source: reset user p
o
inter
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
upda
t
e
i
sl for
f
ix in is
l
_spac
e
_se
t
_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
S
ven Verdoo
l
aege
README: a
d
d more re
q
uir
e
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaeg
e
update for c
h
a
nge
in clang's HandleTopLevelDecl ret
u
rn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven
V
erd
o
olaege
c
onfigure
.
ac: on
l
y
link
a
g
ainst libraries from L
L
V
M
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven
Ver
d
ool
a
eg
e
u
pdate
i
s
l
for support for recent cl
a
ng
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-08
Sven Verdoolaege
scan
.
cc:
f
i
x
t
ypos in
c
omments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
S
v
en
V
erdoo
l
aege
scop
.
c: fix typo in
comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoolaege
add --versi
o
n op
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
pet 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven V
e
rdoolaege
update isl to v
e
r
sion 0
.
0
9
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
S
ven V
e
rdoolaege
con
f
igure
.
ac
:
specify address for bug reports
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
check for presence of prototy
p
e before accessi
n
g parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sve
n
Verdool
a
ege
PetScan::unsupport
e
d:
o
p
tionally prin
t
custom
message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
S
v
en Verdoolaege
README:
a
dd a sm
a
ll note on
h
ow to
u
se
p
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoolaege
keep track
of "address o
f
"
ope
r
ato
r
s on a
c
cesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
ve
n
Ve
r
do
o
l
aege
scop_ext
r
a
ct_from_C_sourc
e
: pr
o
per
l
y clean up if in
p
ut
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoo
l
ae
g
e
const
r
uct_invocation: add missin
g
check f
o
r
j
obs s
i
ze
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdo
o
laege
cache values in assigne
d
_value instead
of expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en V
e
rdoolaeg
e
allo
w
boolean
ex
p
ressions where an af
f
ine expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
allow
p
arens around integer li
t
eral
i
n second ar
g
umen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoola
e
g
e
add
extra min test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ve
r
doolaege
update isl for is
l
_
pw_aff_has_d
i
m
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Verdoolaeg
e
add mis
s
ing namespa
c
e qualif
i
catio
n
on ll
v
m::ArrayRef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaeg
e
pet_stm
t
_fro
m
_pe
t
_expr: fix m
e
mo
r
y leak
o
n error
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaege
s
can
.
cc: upd
a
te c
o
mment of
v
alid_for_each_it
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en Verdoolaege
a
llow
nested
a
cc
e
s
s
es in l
o
o
p
upper
bounds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven
Verdoo
l
aege
allow
n
e
sted
accesses in
if conditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
S
v
en Verdoolaeg
e
extract n_ne
s
ted
_
par
a
m
ete
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
extract is_nes
t
ed_parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
extra
c
t
extract_nested
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n Verdo
o
laege
rename non_affine t
o
nest
e
d
_
a
ccess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ver
d
oo
l
ae
g
e
add pet_s
c
op_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n Verdoola
e
ge
privatel
y
export pet_expr_fore
a
ch_a
c
cess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
add -D
o
pti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
add -I op
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoola
e
ge
pet
:
u
se isl for argument pa
r
sing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
st
o
re autodetect op
t
ion in
a
s
e
parate pet_options struct
u
r
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
update isl for s
u
pport for string list argumen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verdoolaege
update isl for
introd
u
ction o
f
i
sl_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdool
a
ege
use
t
he c
l
an
g
driver
t
o
obtain comm
a
nd line argum
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
doolaege
d
e
stroy
M
yDiagnosticPrinter on
n
ew
e
r clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
support more
recent LLVMs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdool
a
e
ge
update isl
for s
u
ppor
t
for recen
t
cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sve
n
Verdoolaege
e
xtra
c
t_aff
i
ne: a v
a
ri
a
ble
t
h
at
h
as been a
s
sign
e
d an
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sve
n
V
erdool
a
eg
e
induc
t
ion vari
a
bl
e
of for lo
o
p
s
h
o
u
l
d
b
e considered
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Ve
r
d
oolaeg
e
an
a
d
dress passed to a co
n
s
t po
i
nter arg
u
ment should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
Sven Verd
o
o
l
a
e
ge
.
g
i
tignore:
a
d
d
config
.
h
.
in~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ver
d
o
o
laege
tur
n
virtua
l
scalars into
v
i
rtual array
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doola
e
ge
mark __pet_t
e
st_* scalars as o
n
ly attaining valu
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verd
o
olaege
allow labe
l
s on expr
e
ssion statem
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n
V
erdoolae
g
e
all
o
w specificat
i
on of o
n
ly
l
ower
b
o
und
o
n parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
use i
s
l_set_{lo
w
er
,
uppe
r
}_bound_si instead of
o
u
r own
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
u
p
d
a
te i
s
l
for isl_set_up
p
e
r
_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven V
e
rdoo
l
aege
explicitly li
n
k in gmp when
usin
g
lib
i
sl
.
la
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
Makefi
l
e
.
am: appe
n
d extra
c
opy
o
f
CLANG_LDFLAGS to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven
V
erdoola
e
g
e
update isl to v
e
rsion 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sve
n
V
e
rdoolaege
update
isl for s
u
pport for recent
clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdoolaege
accept
n
on-affine co
n
dition
s
in if statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdo
o
laege
p
e
t_scop_add
:
also
c
ollect the arrays in the
pet_scops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_st
m
t:
a
dd
arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en
V
erdoo
l
aege
pe
t
_stmt_from
_
pet_expr: clear all fie
l
d
s of
n
ewly created
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
update isl for change in isl_pw_aff_s
e
t_tuple_id proto
t
ype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n Ver
d
o
o
laege
onl
y
distri
b
ute bun
d
led submodul
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verd
o
olaege
k
e
ep track of assi
g
nments
to parame
t
e
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdool
a
ege
export PetScan::extra
c
t_in
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdoolae
g
e
be mo
r
e caref
u
l about using p
a
rameter space
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ve
n
V
erdoolaege
upd
a
t
e
i
s
l
for
i
s
l_set_from_
p
a
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
Sv
e
n V
e
r
d
o
olaege
handle e
x
t
raction of sc
o
ps i
n
s
ide a
l
o
op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
pet_s
t
m
t_embed: hand
l
e NUL
L
stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
ven
V
erd
o
olaege
pe
t
_expr_is_eq
u
a
l: not equal if acces
s
rela
t
ion is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
parse
.
c: extrac
t
_argumen
t
s: plug memory
l
eak on err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n
Verdoolaege
up
d
a
t
e isl for change
i
n
is
l
_set_read_from
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
e
n
Verdoolaege
update
i
s
l
f
or ch
a
ng
e
in isl_
{
in,}equality_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoola
e
ge
a
d
d copyri
g
h
t
st
a
t
ement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdool
a
ege
p
et_
s
cop_e
x
tract
_
from_C_source
:
us
e
a CompilerInstance
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
c
l
ear ass
i
gned_value for scal
a
r
s
that ar
e
assigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdoolaege
PetScan::set_upper_bounds: grac
e
fully handle errors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
o
o
laege
up
d
ate
i
sl
f
o
r
change in spa
c
e
of isl_pw_*
ob
j
ects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oo
l
aege
update isl
f
or e
x
plicit parameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
use
isl_space_par
a
m
s
_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl for
i
sl_space_p
a
ra
m
s
_a
l
loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ve
r
doolaege
renam
e
is
l
_
dim
t
o isl_s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
o
o
laege
update isl
for r
e
na
m
e
of isl_di
m
to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
V
erdoolae
g
e
accept in
f
inite w
h
ile lo
o
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laeg
e
add "eq" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
a
ccep
t
compound sta
t
ements with zero statements when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ve
r
doolaege
e
x
pr_collect_ac
c
esses:
u
se
isl_map_has_tu
p
le
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ve
r
doolaege
che
c
k
if
tuple
h
as id before calling isl
_
{set,map}_get_tupl
e
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
v
en Ver
d
oolaege
u
pdate i
s
l for is
l
_map
_
has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoola
e
ge
a
l
low dec
l
arat
i
on of iterato
r
in f
o
r loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next