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
keep track of size of array elements
2012-02-06
Sven V
e
r
doolaege
keep t
r
ack o
f
si
z
e of
a
rray el
e
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-05
S
v
en Verdoolaege
adjust to change in
number o
f
arguments
o
f De
c
lRefExpr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-05
S
v
e
n
V
e
r
d
o
olaeg
e
confi
g
ure
.
a
c: remo
v
e
s
purious ","
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven
V
e
r
d
oolaege
pet_scop_extract_from_C_
s
ource
:
reset user pointers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sve
n
Verdoolaege
upd
a
t
e
i
sl
f
o
r
fix in isl_space_set_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoola
e
ge
README
:
add more re
q
uirements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
upda
t
e for change in c
l
a
n
g's Han
d
l
eTopLe
v
elDec
l
ret
u
rn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdo
o
laege
configure
.
ac:
only
l
in
k
again
s
t libraries from LLVM
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Ve
r
doolaege
updat
e
isl for supp
o
rt for recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-08
Sve
n
Verd
o
olaege
scan
.
cc: fix typos in co
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoolaeg
e
s
cop
.
c: f
i
x
t
ypo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoola
e
ge
a
dd --v
e
rsio
n
option
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
Sv
e
n
V
erdoolaege
update
i
sl to
v
ersio
n
0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven
Verdoolaege
configure
.
ac: s
p
ecify address
f
or bu
g
repo
r
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoo
l
aege
check
f
or pre
s
ence of prototype before
a
c
cess
i
ng parame
t
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
P
etScan::
u
nsupported:
optionally print cu
s
tom message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sve
n
Verdoolaege
README: add a smal
l
no
t
e
o
n
how to use pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoolaege
keep trac
k
of "address of" operat
o
rs on acc
e
sses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n Verdoolaege
s
cop_extract_from_
C
_so
u
rce: properly c
l
ean
up if input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
ven
V
erdo
o
laege
c
ons
t
r
u
ct_invoc
a
tion: a
d
d missing
c
heck f
o
r jobs size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ve
r
doolaege
cache v
a
lues in
a
ssigned_value instead of expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
rdoolaege
al
l
o
w
b
oolean expre
s
sions where an af
f
ine expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ver
d
oolaege
allow parens
a
roun
d
i
nte
g
er litera
l
in se
c
ond argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
add ex
t
ra
m
in tes
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolae
g
e
update isl
f
o
r
isl_p
w
_aff_has_
d
im_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Verdoolaege
add miss
i
n
g
na
m
espace qualificati
o
n on
l
l
v
m::ArrayRef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaege
pe
t
_
stmt_from
_
pet_expr
:
f
i
x memory lea
k
on er
r
or path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoo
l
aege
scan
.
c
c
:
upda
t
e comment o
f
v
alid_for_each_
i
ter
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en Verdoolaege
allow
n
est
e
d a
c
c
e
sse
s
in
l
oop u
p
per bound
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
allo
w
nes
t
e
d
a
c
cesses
in if conditio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n Verdoolae
g
e
extrac
t
n_nest
e
d_parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
S
ven Verdoolaege
extract
i
s_
n
est
e
d_parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
S
v
e
n Ver
d
oolae
g
e
extract extract_nested
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
erdoo
l
aege
rena
m
e
n
on_
a
ffi
n
e to nested_
a
cce
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven
Verdoo
l
aege
add p
e
t_scop_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ver
d
oolaege
privately export pet_ex
p
r_foreach_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
add -D option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdoolae
g
e
add -I option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
l
a
ege
pet: use
i
sl
for
a
rgument pars
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
st
o
re
autodetect option in a separa
t
e pet_options structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
laege
upd
a
te isl f
o
r support fo
r
strin
g
list a
r
gum
e
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
doolae
g
e
update
isl
for introd
u
cti
o
n of isl_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdool
a
ege
u
se the cla
n
g driver to obtain
c
o
m
mand line argume
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Verdoolaege
de
s
troy M
y
Diag
n
os
t
icPrinter on
n
ewer cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
su
p
p
o
rt more re
c
ent LLVMs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolae
g
e
upd
a
te is
l
for supp
o
rt f
o
r rece
n
t
cla
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
S
ven Verdoolaege
extract_affine: a
v
ari
a
ble th
a
t has
b
ee
n
assigned
a
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
in
d
uction variable
of
f
o
r
loop should be
c
onsidered
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolae
g
e
an address
p
assed
to a const pointer a
r
gument s
h
o
u
ld
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
Sve
n
V
erdoolaege
.
gitignore:
a
dd conf
i
g
.
h
.
in~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verdoolaege
turn vi
r
tual scalars in
t
o virtual arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdoolaege
m
a
rk __pet_test_
*
sca
l
a
r
s as o
n
ly atta
i
ning values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
a
l
low l
a
bel
s
on
e
xpression state
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoo
l
ae
g
e
al
l
ow specification of only
l
owe
r
b
o
und
on pa
r
ameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verdool
a
ege
u
se isl_set_
{
lo
w
e
r
,u
p
per}_bound_
s
i instead of our own
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdoolaege
update isl for isl_set_upper_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
explicitly link in gmp when using libisl
.
la
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolae
g
e
Makefile
.
a
m
:
append
e
xtra
copy of CLANG_LD
F
LAGS
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
S
ven Verdoolae
g
e
update isl
t
o version
0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdo
o
l
a
ege
u
p
date isl for support
for recen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
a
c
cept non-affin
e
co
n
dit
i
ons in if statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
ae
g
e
pet_scop_ad
d
: also collect the a
r
rays
i
n the
pet_scops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Ver
d
oolaege
pet_
s
tmt:
a
dd a
r
guments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
olaege
pet_
s
tmt_fr
o
m_pet_expr: clear all fields of newly cre
a
t
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Ve
r
doolaege
u
pda
t
e
isl for change in isl_p
w
_aff_set_tu
p
le_id pr
o
totype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
only distribut
e
bundled submo
d
ules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
keep
track of assignments to parameter
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
export PetSca
n
::extract_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
be more ca
r
efu
l
about using parameter spa
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Ve
r
doo
l
ae
g
e
update
isl for isl_set_f
r
o
m
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
Sv
e
n
V
erdoolaege
h
a
n
dle ex
t
rac
t
ion o
f
sc
o
ps i
n
side a loo
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
pet_s
t
mt_embed:
h
andle NULL stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolae
g
e
p
et_expr_is_
e
qual: not equal if access
r
e
l
a
tion i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
par
s
e
.
c: e
x
tra
c
t
_arguments
:
plug memory lea
k
on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolae
g
e
upda
t
e isl for ch
a
nge in isl_set_
r
ead_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
update isl
f
or c
h
a
n
g
e in isl_{i
n
,}eq
u
ality
_
alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
Sven
Ver
d
oolaege
add copyr
i
ght st
a
temen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verd
o
olaege
pet_
s
c
op_extract_fro
m
_C_s
o
urce: use a CompilerInsta
n
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolae
g
e
c
l
ear assigned_va
l
u
e
for
scalars that are assigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
o
o
l
aege
PetScan::s
e
t_upp
e
r_bounds: gr
a
cefu
l
ly handl
e
error
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdo
o
laege
update isl fo
r
change in space of isl_pw_* ob
j
ects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
d
oolaege
up
d
ate
isl fo
r
expl
i
c
it par
a
meter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
doolaeg
e
use isl_space_pa
r
ams_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
u
p
d
at
e
isl
f
o
r
i
sl_space_pa
r
am
s
_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
re
n
ame isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
u
pdate isl for rename of isl_di
m
to
i
s
l_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaeg
e
a
cce
p
t i
n
finite while
loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add
"
e
q
" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verd
o
ol
a
ege
accept com
p
ound
s
t
a
tements wi
t
h zero
s
tateme
n
ts w
h
e
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
expr
_
collect_accesses: use isl
_
map
_
ha
s
_
t
uple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
check if tuple
h
as id before
callin
g
isl
_
{
s
et,m
a
p}_get
_
tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
Verdoolaege
update i
s
l f
o
r isl_
m
ap_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
Ve
r
doo
l
ae
g
e
al
l
ow dec
l
a
r
a
t
ion
o
f i
t
erator i
n
for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaege
update isl for
r
e
nam
e
of
isl
_
map_inser
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdo
o
laege
h
and
l
e "live-out
"
pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven V
e
rdoo
l
a
e
g
e
pet
.
cc
:
extract
o
ut update_
a
rrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
S
v
e
n
Ve
r
doolaeg
e
p
et
.
cc:
extrac
t
out get_v
a
l
u
e_decl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verdoolae
g
e
a
vo
i
d wrapping on some simple
cases
o
f loops w
i
t
h
u
n
s
i
gned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolae
g
e
wrap r
e
sults of
u
n
sig
n
e
d
computations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next