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_array_embed: improve error handling
2012-06-03
Sven
V
erdoolaege
add pet_sco
p
_reset_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolaege
scop
.
c: fix
typo in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-02
S
ven Verdo
o
laege
PetScan
:
:extract_fo
r
: remove incorre
c
t optim
i
zation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en V
e
rdoolaege
support
dec
r
ement and
i
ncrement operations in statem
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
o
olaege
scan
.
cc
:
f
i
x
whi
t
espace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en Verdoolaeg
e
scan
.
cc: fix typos in
c
omments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven
V
erdoolaege
P
e
tScan::ne
s
te
d
_ac
c
ess: check that
n
ested a
c
cess doesn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en Verdoolaege
PetScan::extract_non_affine_con
d
ition
:
resolve n
e
sted
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en Verdo
o
laege
P
e
tScan::ex
t
ract_access_expr: remove duplication by
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
V
erdoolaege
c
a
che assigned v
a
lues in then and else br
a
nch o
f
if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
ven
Verdoola
e
ge
pet_scop_c
o
llect_a
r
rays: a
l
so collect arr
a
ys
that
on
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n Ver
d
oolaege
scan
.
cc: add_
p
arame
t
er_bounds
:
double
c
he
c
k that there
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
pet_scop_restr
i
ct: project out unnam
e
d parameters from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdool
a
eg
e
PetSca
n
::resol
v
e_neste
d
: detect and remo
v
e duplica
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en Ver
d
oolaege
PetScan::extrac
t
_nested: insert ou
t
er filters in earlier
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
mark
_
_pet_test_* variables as uniquely_de
f
ined
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
V
e
rdoolaege
pet_array: add uniquely_
d
efined at
t
rib
u
te
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
S
v
e
n
Verdoolaege
support any affin
e
condition in a while
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
Sven Verdoolaege
add Pe
t
Sc
a
n
::try_
e
xtract
_
affine_condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sve
n
Verdoolaege
m
a
k
e detec
t
i
o
n of conditional as
s
ignment opti
o
na
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sve
n
Verd
o
olaege
pas
s
pet_opt
i
o
n
s to PetScan instead of o
n
ly the
autodetect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Ver
d
oolaege
a
v
oid
negative a
r
r
ay indices
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Ver
d
oo
l
aege
pet: allow specification of isl options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
Sven V
e
rdoolaege
scop
.
c: expr
_
extract_
c
ont
e
xt: don'
t
assum
e
access is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
Sven V
e
rdool
a
ege
ad
d
pet_expr_is_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sv
e
n Verdool
a
ege
adjust
to c
h
an
g
e
i
n number
of argume
n
t
s of
De
c
lR
e
fExpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoola
e
ge
link in ne
w
-lclangEdit when available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
update
i
sl for support for recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoolaeg
e
avoid overflows on signed integers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
P
e
tS
c
an::e
x
tr
a
ct_fo
r
:
relax re
q
ui
r
ement on increment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
r
doolaege
PetSca
n
::ex
t
ract_fo
r
: up
d
a
t
e
cont
e
xt w
i
th respect to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
represe
n
t loop incremen
t
as isl_
p
w_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoo
l
aege
allow slightly m
o
re generic compound
i
n
c
r
ement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::ex
t
ract(
I
f
S
tmt *): upda
t
e context with respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verd
o
olae
g
e
tr
y
an
d
ext
r
act c
o
n
d
i
tion of ternar
y
operator as a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
pet_scop_from_
p
et_stmt: extract context constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
aeg
e
pet_scop_restrict:
update context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolae
g
e
pet_scop_embed: upd
a
te con
t
ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolae
g
e
pet_
s
co
p
_add:
c
ombine (intersect) co
n
texts of orig
i
nal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oolae
g
e
a
dd pet_
s
cop_restrict_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan
:
:extract_a
f
f
i
ne: do
n
't bother with wrapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ve
n
Verdoolaege
PetScan::extract_conditional_assignment: s
i
m
plify computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
represent
cond
i
tions using i
s
l
_
p
w_af
f
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
P
e
tScan::ext
r
act_
f
or: compu
t
e gi
s
t
before testing whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
P
etScan::e
x
tract_for: only compute is
_
simple onc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolaege
PetScan::
e
xtract_for: ma
k
e domain refer to the virtual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
o
ola
e
ge
P
e
tScan::extract_for: also call can_wrap on non-simp
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetSca
n
::extract_for: e
x
plic
i
t
l
y
k
e
ep
track
o
f
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oolaege
scan
.
cc
:
strided_do
m
ain:
r
eturn parameter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n
Verdoola
e
ge
l
i
mit parame
t
ers in context to po
s
sible values of corresp
o
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
laege
PetScan
:
:extr
a
ct_i
m
plicit_affi
n
e
:
s
implify compu
t
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
laege
u
pdate isl for ch
a
nge in isl
_
pw_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdool
a
ege
sim
p
lify sets and
r
e
l
ati
o
ns in pet_s
c
o
p with respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoola
e
ge
pa
s
s va
l
u
e
_
bounds to Pe
t
Scan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven
Verdoolaege
store
v
a
lue_bounds in isl_union_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven
Verdoola
e
ge
README: mention that
u
buntu libclang-dev is not sufficie
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sve
n
Verdoolaege
README: mention potential pr
o
bl
e
m when co
n
f
i
guring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-06
S
v
en Verdoolae
g
e
keep track of size of array elements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sve
n
Verdoolaege
adjus
t
to
change in numb
e
r
of argum
e
nts of DeclRefExpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verdoolaeg
e
con
f
ig
u
r
e
.
a
c
: re
m
ove sp
u
rio
u
s ","
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven V
e
rdoolaeg
e
pet_scop_extract_from_C_source:
r
e
s
et user po
i
nters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
u
p
d
a
te is
l
for f
i
x in
i
s
l
_s
p
ace_s
e
t
_
d
im_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
README: add m
o
re req
u
irements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
update for change
i
n cla
n
g's Han
d
leTopLevelDecl
r
e
t
urn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sve
n
V
e
rdoolaege
c
o
n
f
igure
.
ac: only link agai
n
st libr
a
rie
s
f
r
om
LLVM
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdool
a
ege
update isl
for suppo
r
t
for re
c
ent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-08
Sven
V
erdoo
l
a
e
ge
s
can
.
cc: fi
x
typo
s
in
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sven Ve
r
doolaege
scop
.
c
: fix t
y
po in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
S
v
en Verdo
o
lae
g
e
add --vers
i
on option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en
V
er
d
oolae
g
e
pet 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdool
a
ege
update isl to v
e
rsion 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sv
e
n
Ver
d
oolaege
configur
e
.
ac: specify address
f
or bug reports
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sv
e
n Verdo
o
la
e
ge
c
h
eck fo
r
presence of prototype before ac
c
ess
i
ng
para
m
e
t
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolae
g
e
PetScan::uns
u
ppo
r
ted: optionally print custo
m
mes
s
age
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
S
ven
V
erdoolaeg
e
RE
A
DME
:
a
dd a
s
m
a
ll no
t
e on
how to us
e
pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sv
e
n Verd
o
olaege
keep t
r
ack of "
a
ddress of"
operat
o
rs
o
n acc
e
sses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en V
e
r
do
o
laege
scop_e
x
tract
_
from_C_sou
r
c
e: properly clean up if input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Verdoolaege
construct_
i
nvocation: add missi
n
g
c
heck for
j
o
bs
siz
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en Verdoo
l
a
e
g
e
cach
e
values in as
s
igned_value
i
ns
t
ead
o
f expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ve
r
doolaege
allow boole
a
n expression
s
wher
e
a
n
affine
expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
a
llo
w
p
arens around integer literal
in second
a
rgument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoola
e
ge
add
ex
t
ra
min test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verd
o
o
l
a
e
g
e
update i
s
l
for
i
s
l_
p
w_aff_has_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ver
d
oolaege
add
mi
s
sing n
a
mespa
c
e qualification on llv
m
:
:ArrayRef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
S
v
en Verd
o
o
l
aeg
e
pet_stmt_from_pe
t
_expr: fix me
m
or
y
leak
on error pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoo
l
aege
s
c
an
.
cc: update comment of
v
alid_for_each_iteration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven
Verdoolaege
all
o
w
nested accesses in loop up
p
er bou
n
ds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sve
n
Ver
d
o
o
laege
allow n
e
sted accesses in i
f
conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
v
e
n
V
e
rdoola
e
ge
extract n_nested_parame
t
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
extract is_nested_
p
arameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
extract
e
xtract_ne
s
ted
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdo
o
l
aege
re
n
a
me non_aff
i
ne to nested
_
access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
ad
d
pet_scop_writ
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
v
en Ve
r
doolae
g
e
priva
t
el
y
export
p
et_ex
p
r_foreach_
a
ccess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ve
r
doolaege
add -D option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Verdoolaeg
e
add -I option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
pet: u
s
e isl for argum
e
nt parsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n
Ve
r
d
o
o
l
aege
s
t
ore autodetect option
in a
separate pet_options structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven V
e
rdoolaege
upd
a
te isl for s
u
pport for string list argument
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdool
a
ege
update isl for intr
o
ducti
o
n of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next