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
README: add a small note on how to use pet
2011-11-28
S
ven Verdoolaege
README:
add
a small n
o
te on
h
ow to use
p
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sv
e
n Ve
r
d
o
olaege
kee
p
tr
a
ck of "addr
e
ss of" ope
r
a
tor
s
on a
c
cesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Ve
r
doola
e
ge
s
cop_extract_from_C_sourc
e
: properly
c
lean up if input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdool
a
ege
c
ons
t
ruct_invocation: add missing che
c
k for jobs siz
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
ca
c
he v
a
l
ues i
n
assigned_value
instead of e
x
pressi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
allow boo
l
ean
expressions
w
here an affine e
x
p
re
s
s
io
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verd
o
o
laege
allow parens ar
o
und int
e
ger literal i
n
s
e
cond argu
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolae
g
e
a
d
d extra min
test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
ven V
e
rdoolaege
u
pdate i
s
l for
i
sl
_
pw_aff
_
has
_
dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Verdo
o
laege
a
dd m
i
ssing namespac
e
qualifi
c
a
tion on ll
v
m
:
:
Ar
r
ayRef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdool
a
e
g
e
pe
t
_stmt_from_pet_expr: fix
m
emory lea
k
o
n
error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoola
e
ge
scan
.
cc:
updat
e
comment of valid_for_eac
h
_itera
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en Verdoolaege
all
o
w nested accesses in loop upper bo
u
n
ds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
a
l
lo
w
n
est
e
d ac
c
esse
s
in if conditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoola
e
ge
e
x
tract
n_nest
e
d
_
paramete
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdo
o
laege
extract
i
s
_
n
e
sted_pa
r
a
m
eter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoola
e
ge
ext
r
a
c
t e
x
tract_nest
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ver
d
o
olaege
re
n
ame non
_
a
ffine to
nes
t
ed_acc
e
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sve
n
Ver
d
oolae
g
e
add pet_scop_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
pri
v
atel
y
export pe
t
_expr_foreach_
a
c
c
ess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
er
d
oolaege
add -D optio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verdoolae
g
e
add -I option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
erdoolae
g
e
pet: us
e
isl for a
r
gum
e
nt parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
s
t
ore
a
uto
d
et
e
ct
op
t
ion i
n
a separate pet_options
s
tructure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n
Verdool
a
ege
update
i
sl for support for str
i
ng li
s
t arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoolaege
updat
e
i
s
l for
introdu
c
ti
o
n of
i
s
l_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolae
g
e
use the clang
driver t
o
ob
t
ain co
m
mand line ar
g
u
ments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
d
estroy M
y
Diagno
s
ticPrinter on newe
r
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n
V
e
rdool
a
ege
s
upport mo
r
e
r
ecent
L
LVMs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n
Verdoolae
g
e
updat
e
is
l
for sup
p
ort for r
e
c
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven V
e
rdoolaege
extract_affine: a variable that
h
as b
e
en
a
s
s
igned an
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolae
g
e
induction v
a
r
iabl
e
of for loop should be considered
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven
V
e
rdoolaege
an addr
e
ss p
a
s
s
ed
t
o a const
p
oi
n
ter argument should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
Sv
e
n
V
erdoolaege
.
g
itignore: add confi
g
.
h
.
in~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Ver
d
o
o
l
a
ege
t
urn virtual sc
a
lars i
n
to virtual arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verdoolaege
ma
r
k __
p
et_t
e
st_*
scalars as only
a
t
taining va
l
ues
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
allow lab
e
ls
o
n
expression stat
e
ment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
all
o
w
spe
c
ification of onl
y
lower bound
o
n
parame
t
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolaege
use i
s
l_set_{lower,upper}_bound_si i
n
ste
a
d of our own
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoola
e
ge
update is
l
fo
r
i
sl_s
e
t_upp
e
r_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ver
d
oolaege
explicitly link i
n
gmp when
u
sing libisl
.
l
a
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Ve
r
doola
e
g
e
Makefile
.
am: append extra copy of
CLANG_LDFLAGS to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoola
e
ge
update isl
to version 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
T
obias Gros
s
er
a
d
a
pt to the recent changes
i
n clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Ve
r
doolae
g
e
update i
s
l
for suppo
r
t fo
r
recent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
ege
accept n
o
n-affin
e
cond
i
tions in if statem
e
nt
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
dool
a
ege
pet_scop_add
:
also
collect
t
he arrays i
n
the pet_scops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_stmt: add a
r
gume
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoola
e
ge
pet_stmt_from_pet
_
expr:
c
lear all
fi
e
lds of newly
created
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoolaege
update is
l
for change in
i
s
l_pw_aff_set_tuple_id prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdoolaege
only
d
i
s
trib
u
te b
u
ndled submodules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
do
o
l
aeg
e
keep track of assignments to parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
la
e
ge
e
x
port PetSc
a
n:
:
extract_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
ola
e
ge
b
e
mo
r
e caref
u
l about usin
g
p
a
r
ameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdool
a
ege
u
p
da
t
e isl for isl_set_from_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
S
ven Verdoolaege
h
and
l
e
extraction
of scops ins
i
de a l
o
o
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdo
o
l
a
ege
pet
_
stmt_embed:
h
a
ndle
N
ULL stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
ven V
e
rdoolaege
pet_expr_
i
s
_
eq
u
al:
n
ot equal if access r
e
l
a
tion
is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
parse
.
c: extr
a
c
t_
a
r
guments:
p
l
u
g me
m
ory l
e
ak on e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
V
e
rdool
a
eg
e
update is
l
for change
in isl_set
_
re
a
d_fr
o
m_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
updat
e
isl
f
or change i
n
is
l
_
{in,}equality_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoolaege
a
dd copyright st
a
tement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdo
o
laeg
e
p
et_
s
cop_
e
xtract_from_C_source:
u
se a Compi
l
erInstance
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
clear assi
g
n
ed_value for scalars t
h
at ar
e
assign
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oolae
g
e
PetS
c
an
:
:set_upper_bounds:
g
r
a
cefu
l
ly
h
an
d
le
e
rrors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
er
d
oolaeg
e
upda
t
e
isl for c
h
ange in
space
o
f
isl_pw_*
o
bj
e
cts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
upd
a
te isl
f
or explicit parameter
spa
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
use is
l
_
s
pace_params_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
upd
a
t
e
i
sl for isl_space_params_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
rena
m
e isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdoolaege
update
i
s
l
for renam
e
of isl_di
m
to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
a
ccept infinite
w
hi
l
e
l
o
ops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add "eq" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
acce
p
t
c
om
p
ound sta
t
em
e
nts with
z
ero sta
t
ement
s
w
h
e
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ver
d
oolae
g
e
expr_c
o
llect
_
accesses:
u
se isl_map_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
Verdoolaege
check if tu
p
le has id
b
efore calling i
s
l_{set,map}
_
get_tupl
e
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
u
p
date
isl for isl_map_has_tuple
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdo
o
laege
all
o
w
d
ecla
r
ation of iterator in for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolae
g
e
up
d
ate isl for ren
a
m
e of isl_map_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Tobias Grosser
Hide warn
i
ngs
i
n system hea
d
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Ve
r
doolaege
h
a
ndle "live-out" pr
a
gmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven V
e
rd
o
olaege
pet
.
cc:
e
xtract
out u
p
date_a
r
rays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven V
e
r
d
ool
a
eg
e
pe
t
.
cc: ext
r
act
o
u
t g
e
t_v
a
l
u
e_de
c
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaeg
e
avoid wrapping on
some si
m
p
l
e cases of lo
o
ps with un
s
igned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoo
l
aege
w
rap resu
l
ts of un
s
igned comp
u
tati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aege
take
into a
c
count that un
s
igned
i
tera
t
ors may
w
r
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven V
e
rd
o
ola
e
g
e
allo
w
loop increme
n
ts of t
h
e
f
orm i = i + cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven V
e
rdoolae
g
e
allow loop incr
e
ments di
f
f
e
rent f
r
om one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verd
o
olaeg
e
allow
loop
i
n
c
rem
e
nts
of the
f
orm i += 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aege
fi
x
check for "simple" loop termin
a
tion con
d
ition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdo
o
laege
update
isl f
o
r
i
sl
_
pw_aff_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ve
r
doolaege
prope
r
ly h
a
n
d
le generic conditions
in for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
R
E
ADME: emphasize that we need clang libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n
V
e
r
doolaege
u
pdat
e
for rename
of
getIns
t
antiationLineNumber to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en Verd
o
ola
e
ge
scan
.
cc: fi
x
typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
ven Verdoo
l
aege
update isl f
o
r
f
i
x in isl_map_inte
r
sect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaege
accept af
f
ine
e
x
pressions wher
e
we
expect a conditio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Ver
d
o
olaege
upda
t
e i
s
l for isl_pw_aff
_
n
on_ze
r
o
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
ve
n
van Ha
a
st
r
egt
c
o
nfigure
:
che
c
k if llvm-config actually exists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
S
ven
V
erdoolaege
initial version of
p
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
