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
PetScan::resolve_nested(struct pet_stmt *): remove unused label
2012-05-14
Sven Verd
o
o
laege
add PetScan::
t
ry_
e
xtract_
a
ffine_condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolae
g
e
make detection of conditional assi
g
nment optional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven
V
erdoolaege
pass pet_opti
o
ns to PetScan ins
t
e
a
d
of only th
e
autodetect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
a
void negati
v
e array i
n
dices
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
p
et: allow specif
i
c
a
tio
n
o
f
isl opti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
S
ven Verdool
a
ege
scop
.
c: exp
r
_
extract_contex
t
:
d
on't ass
u
me acce
s
s is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
Sven
Verdoolae
g
e
add
p
et_expr_is_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sv
e
n Verdo
o
l
aege
adjust
to
c
hange in numb
e
r of arguments of DeclRefExpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
link
in
new
-
lclangEdit when availab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven
V
erdool
a
ege
u
pdate isl for suppo
r
t for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolaege
avoid overflows o
n
signed i
n
t
eger
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
PetSca
n
::extract_for:
relax requirement
o
n i
n
cre
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
V
erdoolaege
PetScan::
e
xtract_
f
o
r
: update context wi
t
h respect to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
o
o
lae
g
e
repres
e
nt loop increment
as
i
s
l_pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdoolaege
a
llow
slightly more ge
n
er
i
c co
m
p
o
u
nd incremen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
ege
PetScan:
:
e
x
tra
c
t
(IfSt
m
t *)
:
u
p
d
ate c
o
nte
x
t
w
ith r
e
spect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
t
ry and
extract cond
i
tion of ternary opera
t
or as a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
pet_scop_from
_
pet_stmt: ex
t
r
act context const
r
aints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doolaege
pet_scop_restric
t
: upd
a
te cont
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
laege
p
e
t_scop_embed: u
p
d
a
te con
t
ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en V
e
rdoolaege
pet
_
sc
o
p_add: combine (intersect) c
o
nte
x
ts of ori
g
inal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verd
o
olaege
add pet_scop_rest
r
i
ct_conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetSc
a
n::extract_affine: don't bother with wrappin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
Pe
t
Scan::extract_conditional_assi
g
nment: si
m
plif
y
computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n
Verdoolaege
represent conditio
n
s using isl_pw_affs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Ve
r
dool
a
e
ge
P
etScan::extract_for: compute gist before testing w
h
e
t
her
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
laege
PetScan::extract_for: only
c
ompute is_simp
l
e once
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
PetScan::e
x
tract_fo
r
:
make domain
r
efer to th
e
virtual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
lae
g
e
PetScan::extract_fo
r
:
a
lso call can_wrap on no
n
-simple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Ver
d
oolaege
PetScan::extract_for: exp
l
i
c
i
tly
k
e
ep
t
rack
o
f
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doolaege
scan
.
cc: stride
d
_
do
m
ain: retur
n
param
e
ter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
olaege
limit parameters
i
n cont
e
xt to possible valu
e
s
o
f co
r
respond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
PetS
c
a
n
:
:extract_impli
c
it_affine: si
m
pl
i
fy computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
update isl
for change in isl_pw_a
f
f_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
S
v
en Verdoolaege
si
m
p
lify sets
and re
l
ations in
p
et_sco
p
with respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sve
n
Verd
o
olaeg
e
pass
v
alue_bound
s
t
o PetScan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdo
o
laege
store
v
alue_bou
n
ds in isl_union_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
README: mention that
ubuntu libclang-dev is not sufficient
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
README: m
e
ntio
n
p
otent
i
al problem
w
hen configuring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-06
S
v
en Ver
d
o
o
l
a
ege
keep track of size
o
f
a
r
ray elem
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verdoolae
g
e
adjust to change
i
n
num
b
er of argume
n
t
s of D
e
clRefEx
p
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
S
v
en Ver
d
oolae
g
e
configur
e
.
ac: remove spurious ","
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoola
e
ge
pet_scop_extract_
f
rom_C_source
:
res
e
t u
s
er pointers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
S
v
e
n
Verdoolaege
update is
l
for fix in isl_sp
a
ce_set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven
V
erd
o
olaege
README:
add m
o
r
e require
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven
V
erdoolaege
update for change in clang's Han
d
leTo
p
Le
v
elDecl ret
u
rn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
configure
.
a
c
: only link again
s
t libraries from L
L
VM
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sv
e
n Verd
o
olaege
update
isl
for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-08
S
v
en Verdoolaege
scan
.
cc
:
fix typos in comment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoolaege
sc
o
p
.
c: fix typ
o
i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
S
ven V
e
rdo
o
laege
a
d
d
--version opt
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdo
o
laege
p
et 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sv
e
n Verdoolaege
upda
t
e isl to version 0
.
0
9
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven V
e
rdoolaege
c
o
nfigure
.
ac: specify a
d
dress for bug reports
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven
Verd
o
olaege
che
c
k
f
or presence
of
p
r
o
totype before ac
c
e
s
s
i
ng para
m
eters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
S
v
en Ver
d
oolae
g
e
PetScan::unsupp
o
rted
:
option
a
lly print custo
m
message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sve
n
Verdoolaege
README: add a sma
l
l not
e
on how to use pe
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verd
o
olaege
kee
p
tra
c
k of "address of
"
operators on
accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaeg
e
scop_extract
_
fr
o
m_C_source: properly clean up if input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
ven Verdoolaege
construct_invocation: ad
d
missing check for jobs size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdo
o
laege
ca
c
he values in assigned_value instead o
f
e
xpres
s
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
a
l
low boolea
n
expression
s
where
an
a
ffine exp
r
e
s
s
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Ver
d
o
o
laege
allow parens
a
rou
n
d integer li
t
eral in second argume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Verdoolaege
add
e
xtra min test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
update
i
s
l
for isl_pw_
a
ff_has_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
a
d
d
m
i
ssi
n
g
n
amespac
e
qualification on llvm:
:
ArrayRef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven V
e
rdoo
l
aege
pet_st
m
t_f
r
o
m
_pet_e
x
pr: fix mem
o
ry
l
e
ak on er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven
Verdoolaege
scan
.
cc: update
c
omment of
v
a
lid_fo
r
_each_iteration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
all
o
w nest
e
d a
c
c
e
sses in l
o
o
p
u
p
per
bounds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
ven
Ver
d
o
o
laege
a
llow n
e
sted
accesses in if
cond
i
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdo
o
laege
extra
c
t n_nested_para
m
eter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
v
en Verdoo
l
aege
extract
i
s_nested_pa
r
amete
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ve
r
doola
e
ge
extract
extract_ne
s
ted
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
v
e
n
Ver
d
oolaege
rename non_affine to nested_ac
c
e
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
add pet_sco
p
_write
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
ven Verdo
o
laege
privately export pet_expr_fo
r
ea
c
h_a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven
Verdoola
e
ge
add -D option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven V
e
rdoolaege
add -I o
p
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Ve
r
doolaege
pet: use is
l
fo
r
arg
u
men
t
parsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Ve
r
doolaeg
e
store autodetect opt
i
on
i
n a separate
pet
_
options str
u
cture
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoola
e
ge
update isl for s
u
pport for string li
s
t arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
do
o
laege
update isl for intr
o
duction of is
l
_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Verdoo
l
a
e
ge
use the cl
a
ng driv
e
r to obtain command line arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
d
estroy
M
yDiagnost
i
c
P
rinter on
newer c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
erdo
o
laege
support mor
e
recent LLVMs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
updat
e
isl
for
s
upport for recent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sv
e
n Verdoolaege
extrac
t
_aff
i
ne: a v
a
riable that
h
a
s
been a
s
sig
n
e
d an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
i
n
d
u
ction variable of for loop s
h
ould
be
c
onsidere
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdool
a
ege
a
n
addr
e
ss p
a
sse
d
t
o
a const pointer argument should
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
Sven Verdoolaege
.
g
it
i
gnore: a
d
d
config
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rdoola
e
g
e
t
u
rn virtual sc
a
lars in
t
o virtual
a
rrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verd
o
olaeg
e
m
a
r
k __pet_
t
est_* scalars as
o
nly attai
n
ing
v
a
l
ues
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdo
o
laege
allow labels o
n
expression s
t
atements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
allow specifica
t
ion of only low
e
r bound
on parame
t
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rd
o
olaege
use isl_set
_
{l
o
w
e
r,upper
}
_bound_si ins
t
ead o
f
o
ur own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Ve
r
d
o
o
laege
u
p
date isl for i
s
l_set_upper
_
b
ound_s
i
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoo
l
aege
expl
i
citly
l
ink i
n
gmp whe
n
u
s
ing
libisl
.
l
a
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
S
ven Verdoolaege
Makefile
.
am: append
extra copy of CL
A
NG_LDFLAGS
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
S
v
en Ve
r
doolaege
update isl to version 0
.
0
8
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
S
ven Ve
r
do
o
laege
upd
a
t
e
isl f
o
r s
u
pport for
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next