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::extract_for: explicitly keep track of when iterator is virtual
2012-03-06
Sven Verdoolaege
P
e
tSca
n
::extract_for: explicit
l
y keep tr
a
ck of
w
hen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
scan
.
c
c: stri
d
ed_domain: retur
n
parameter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoola
e
ge
limit parameters in context
t
o poss
i
ble values of correspon
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
d
oo
l
ae
g
e
Pet
S
can::extract_
i
mplici
t
_
affine:
simpl
i
f
y
co
m
putation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
laege
update isl f
o
r change in isl_pw_aff_cond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven Ve
r
d
ool
a
e
ge
simplify sets and relations in pet_scop w
i
t
h
r
e
spect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven
Verdoolaege
pass value
_
boun
d
s to PetScan
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven
V
erd
o
olaege
store value_bounds in i
s
l
_
union_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven V
e
rdoolae
g
e
REA
D
ME:
menti
o
n
that ubuntu lib
c
lan
g
-dev
is
not suffici
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
S
v
e
n Verdoola
e
g
e
README: m
e
ntion potential p
r
oblem
w
hen conf
i
guring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-06
Sven Verdoolaeg
e
k
e
e
p
tra
c
k of s
i
ze of array element
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verdoolaege
adjust
to
change
i
n number
of arguments o
f
De
c
lRefExpr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-05
Sven V
e
rdoolaege
configur
e
.
a
c
: remove
spuriou
s
",
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Ve
r
doolaege
pet_
s
cop_ex
t
ract_
f
rom_C_source: r
e
set u
s
er
pointers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven
V
e
rdo
o
laege
upda
t
e is
l
for
f
ix
in isl_sp
a
ce_set_dim_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
README: add
m
o
re requirements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verd
o
ol
a
ege
u
pdate fo
r
cha
n
ge in clang's HandleT
o
pLevelDecl return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
configure
.
a
c: onl
y
l
i
n
k
ag
a
i
n
st librari
e
s from LLVM
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
S
v
en Ver
d
ool
a
e
g
e
up
d
ate isl for
s
upport for rece
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-08
Sven Verd
o
olaeg
e
s
c
an
.
cc: fix typos in com
m
e
nt
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
S
v
en Verdoo
l
a
e
ge
scop
.
c:
f
ix typ
o
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoolaege
add --version opt
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdool
a
ege
pet 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoo
l
aege
up
d
ate
i
s
l
to v
e
rsion 0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
configure
.
ac: specify
a
d
dress for
b
ug r
e
ports
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdool
a
ege
check for presence
o
f p
r
ototype
before a
c
cessing parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdo
o
la
e
ge
PetScan::unsupported: optionally print custom messa
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sven Ve
r
doola
e
ge
R
E
A
DME:
a
dd a
small note on how
t
o use pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoolaege
keep track of
"
addre
s
s
o
f" op
e
rator
s
o
n accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven
V
erd
o
olaege
scop_
e
xtract_
f
r
o
m_C
_
source:
p
rop
e
rly clean up i
f
input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
constr
u
ct_invocation: add missin
g
ch
e
c
k
for jobs
siz
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Verdoolaege
cache
values in a
s
s
i
gned
_
value
instead o
f
exp
r
e
s
sions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Verdoolaege
allow boolean e
x
p
ressions wh
e
re a
n
affine exp
r
ess
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven
V
erdo
o
l
a
ege
allo
w
parens ar
o
und
integer literal i
n
s
econd argu
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
add ext
r
a
min
test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
V
erdoolaege
u
pda
t
e
isl f
o
r isl_pw_
a
ff_has_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
r
doolae
g
e
ad
d
missin
g
namespace qualificati
o
n
o
n llvm::
A
rrayR
e
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaege
pet
_
stmt_from_pet
_
expr:
fix
m
e
m
ory leak
o
n e
r
ror
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
S
v
en V
e
rdoolaege
scan
.
cc: update comment o
f
v
alid_for_each_iteration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
v
e
n Ve
r
doolaege
allow nested accesses in loop upper bou
n
ds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven
Verdo
o
la
e
ge
all
o
w
nested acc
e
sses i
n
if condi
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n Ve
r
doolaege
extract
n
_nested_parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n Ver
d
oolaeg
e
ext
r
act is_nested_parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n
V
e
r
doola
e
ge
ext
r
act ex
t
ract
_
nested
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolae
g
e
rename
non_affine to nested_
a
ccess
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
Sven Verdool
a
ege
priva
t
ely export pet_expr_for
e
a
ch_
a
ccess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verdoolaege
ad
d
-D
o
ption
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verdoo
l
aege
add -I option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven
Verdoolaege
pet: use isl
f
or a
r
gum
e
nt parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verd
o
olaege
store autodetect option in
a
separate pet_opti
o
ns str
u
ct
u
r
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Ve
r
do
o
laege
u
pdate isl
for support
for
s
t
ring list arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verdoolaege
u
p
date isl f
o
r introdu
c
t
i
on of is
l
_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Ve
r
doolaege
use the clang dr
i
v
e
r
to obtain comm
a
nd
l
ine arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Ve
r
doolaege
d
estroy MyDiag
n
osti
c
Pr
i
nter on newer clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Ver
d
ool
a
ege
s
u
pport more recent LLVMs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verdoolaege
update isl for
s
upport for re
c
ent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sve
n
Verdoolaege
extract_affine:
a
variable that
h
as bee
n
assign
e
d an
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
S
ven
Verdoolaege
i
ndu
c
tion
v
ariable of for loop should
b
e
c
ons
i
dered
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven
V
erdoo
l
aege
an addr
e
s
s passe
d
t
o a c
o
nst pointer argument
s
hould
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
S
v
en Verdoolaege
.
g
i
tign
o
re: add c
o
nfig
.
h
.
i
n~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verd
o
olaege
turn virtu
a
l
scalars into v
i
rtu
a
l arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verdoolaege
mark __pet_test_* scalars as only attaini
n
g values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoolaege
allow l
a
bels on expression
s
tate
m
e
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolae
g
e
a
llow spec
i
fication
o
f only lower boun
d
on par
a
meter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
lae
g
e
u
s
e i
s
l_s
e
t_{lower,up
p
er}_bound_si inste
a
d
o
f
our own
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaeg
e
upd
a
t
e isl for
isl_set_upper_bound
_
si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
explici
t
ly li
n
k
in gmp w
h
en using l
i
bisl
.
la
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Ve
r
d
oolaeg
e
Makefile
.
am: a
p
pend
ex
t
ra c
o
p
y
o
f CLANG
_
LDFLAGS
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
S
v
en Verdool
a
ege
u
p
date isl to version
0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Ve
r
doola
e
ge
u
p
dat
e
isl fo
r
support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
accept non
-
aff
i
ne cond
i
tions in if
s
t
atement
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ve
n
Verdoolaege
pet_s
c
op_ad
d
: also
collect the arrays in
the
pet_sco
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
pet_stm
t
: add arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Ve
r
doola
e
ge
pet_stm
t
_from
_
pet_expr:
clear all fields o
f
newly
c
reated
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoo
l
ae
g
e
upda
t
e i
s
l for change
in
i
s
l_pw_
a
ff_set_tuple_i
d
p
roto
t
ype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoola
e
ge
only distribute bundled submodu
l
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
d
o
olaege
keep
t
r
ack o
f
assignments to parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
exp
o
rt PetSca
n
::extrac
t
_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Verdoolaege
be more
careful about using par
a
meter spac
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolae
g
e
up
d
ate isl for isl_set_
f
ro
m
_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdoolaege
hand
l
e extra
c
ti
o
n
of scops inside a loop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdo
o
laege
pet_stm
t
_emb
e
d: handl
e
NULL stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
p
et_exp
r
_is_equal: not equa
l
i
f acc
e
ss relatio
n
is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
parse
.
c: extra
c
t_arguments: plug memory l
e
ak on e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven
V
erdoola
e
ge
update isl
for change in i
s
l_s
e
t_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
Verdoolae
g
e
upd
a
te isl
for change in
i
s
l
_{
i
n,}equality_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
Sve
n
Ve
r
doo
l
ae
g
e
add c
o
p
y
righ
t
statement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoo
l
aege
pet_sco
p
_
extra
c
t_fr
o
m_C_source:
u
se
a Compi
l
erI
n
stance
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en
Verdoo
l
a
e
ge
clear assigned_value for scal
a
rs
that a
r
e
a
s
signed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
e
rdoola
e
ge
Pet
S
can::set_upper_
b
ounds: gracefully ha
n
dle errors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdo
o
laege
u
p
date isl
f
or chan
g
e in space of isl_pw_*
o
b
jects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdool
a
e
ge
update isl for ex
p
l
i
cit parameter s
p
a
c
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdoolaege
use isl_space_para
m
s_all
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl for isl_space_params_allo
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
rename isl_dim to
i
sl_s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
upda
t
e isl for rena
m
e of isl
_
dim to isl_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
V
e
rdo
o
laege
accept inf
i
nit
e
while loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
a
dd "eq" operati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Ve
r
doolaege
acc
e
pt compound sta
t
ements with zero
s
tatements when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next