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 0.01
2011-12-18
Sven Verdo
o
laeg
e
pet 0
.
0
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
ven Verd
o
olaege
u
pdate isl to versi
o
n 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sve
n
Verd
o
o
l
aege
con
f
igu
r
e
.
ac: specif
y
address for bug reports
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sve
n
Verdool
a
ege
check for
presence of proto
t
ype before accessing parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sve
n
V
e
rdoolaege
P
etScan::unsupported: optionall
y
print custom message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
S
ven Ve
r
do
o
laege
R
EADME: add a small n
o
te on how to use pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sv
e
n
V
er
d
oolaege
keep track of "addres
s
of" operator
s
on accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ver
d
o
o
laege
scop_extract_from_
C
_s
o
u
r
c
e
: properl
y
clean up if input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verd
o
olaege
c
onstruct_
i
nvo
c
a
t
ion: add mi
s
si
n
g c
h
eck f
o
r jobs size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ver
d
oolaege
cache values in assi
g
ned_value ins
t
ea
d
o
f
e
xpressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Verdoolaege
allow boolean expressi
o
ns where an
affine expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
allow
pa
r
ens arou
n
d integer litera
l
in s
e
cond argume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
add extra min t
e
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdo
o
laege
upda
t
e i
s
l
f
or
i
s
l_pw_aff_h
a
s_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
ven Verdoolaege
add missing na
m
es
p
a
c
e qualification on ll
v
m::ArrayRef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verd
o
o
l
a
ege
p
e
t_stmt_f
r
o
m_pet_expr:
f
i
x memory lea
k
o
n error pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoo
l
aege
s
ca
n
.
c
c
: update com
m
en
t
of va
l
i
d
_for_
e
ach_iterati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sve
n
V
e
rdo
o
laege
allow nested acces
s
es
i
n lo
o
p upp
e
r
bou
n
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en Verdoola
e
ge
all
o
w nested
a
ccesses in
i
f conditio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n Ve
r
doolaege
extrac
t
n_nested_parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
extract is_ne
s
ted_param
e
ter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n Verdo
o
laege
extract extract_neste
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
rename non_affine to nested_a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
v
en Verdoolaege
ad
d
pet_sco
p
_writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
e
r
d
oolaeg
e
priv
a
tely export pe
t
_expr_forea
c
h_acces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
e
n Verdoola
e
ge
add -
D
option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
erdoolaege
a
d
d -I op
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdool
a
ege
pet: use isl f
o
r argum
e
n
t
parsin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
store
a
u
t
odetect opti
o
n
in a sep
a
rate
p
et
_
option
s
structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
erdoolaege
update isl fo
r
support
for
s
tring list arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
erdoolaege
update
i
sl for introduction of is
l
_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ven
Verdo
o
laege
use the clang driver to obtain command line a
r
gu
m
e
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoolaege
destroy
My
D
iagnosticPrinter on n
e
w
er cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
su
p
port more recent LLVMs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
laege
upda
t
e isl for s
u
pp
o
rt for
rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Ve
r
d
o
olaege
ext
r
act_affine: a variab
l
e
t
hat has been assigned an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
S
v
en
Verdoolaege
in
d
uctio
n
variable of fo
r
loop sho
u
ld be considered
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
S
v
en Verd
o
ola
e
ge
an add
r
ess passed to a const po
i
nter argume
n
t should
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
Sven
V
erdoolaege
.
gitignore: add con
f
ig
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolaeg
e
turn virtual scalar
s
into vi
r
tual ar
r
ays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
m
a
rk __p
e
t
_t
e
s
t
_* scalars
as only
a
t
t
ainin
g
values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verd
o
olaege
allow labels on expression statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verd
o
olaege
allo
w
specific
a
ti
o
n
of
o
n
ly l
o
w
e
r
b
ou
n
d
o
n p
a
ram
e
t
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoo
l
aege
use isl_set_{lowe
r
,upp
e
r}
_
bo
u
nd_si
i
ns
t
ead of our own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoola
e
g
e
update i
s
l for is
l
_set_
u
pper_bound_s
i
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Verdoola
e
ge
e
x
pl
i
citly link in
g
mp when
using
l
ibisl
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
S
v
en V
e
rdoolaege
Makefil
e
.
am: append extra copy
o
f CLA
N
G_LDFLAGS to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
S
v
en Verd
o
olaege
up
d
at
e
isl to version
0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
S
v
e
n Verdoolaege
update isl fo
r
support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
e
ge
accept non-af
f
ine conditions in if st
a
tement
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
p
e
t_scop_
a
dd: also co
l
l
e
ct the arrays in the pet_scops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_stmt: add
a
r
guments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
eg
e
pet_stmt
_
from_pet_expr: clea
r
all fields of newly cre
a
ted
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
updat
e
isl for
change in
isl_
p
w_aff_set_tuple
_
id p
r
ot
o
t
y
pe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
only distri
b
ute bundled sub
m
o
d
ules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
e
r
d
oolaege
keep track of
assignments to par
a
meters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolae
g
e
e
xp
o
rt
PetScan::extract_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
be mor
e
careful abo
u
t using p
a
rame
t
er
s
paces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
olaege
update isl for isl_set
_
from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdoolaeg
e
handle extraction of sco
p
s
insid
e
a
loop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Verdoolaege
pet_stm
t
_e
m
bed:
handle NULL
stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoo
l
a
e
g
e
pet_exp
r
_
i
s
_equal: not e
q
ual if access relat
i
on is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaeg
e
parse
.
c: extract_a
r
guments
:
plug memor
y
l
eak
o
n
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Verdoolaege
upd
a
te
i
s
l
for cha
n
ge in
isl_s
e
t
_read
_
fr
o
m
_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
u
p
date isl for change in
i
sl_{in,}equ
a
lity_al
l
oc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
S
v
en Verdoo
l
aege
add copyright state
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
pet
_
sc
o
p_e
x
t
rac
t
_from_C_source: use a Comp
i
lerInstance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoolaeg
e
clear
assigne
d
_value
f
or scalars t
h
at are assigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
e
rdoolaege
P
e
tScan::set_up
p
e
r
_
bound
s
: gracefully
handle errors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update
isl for chan
g
e in sp
a
ce of isl_pw_*
o
bjects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
doolaege
upda
t
e isl f
o
r
explicit param
e
ter
spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
use isl_space_params_allo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ver
d
ool
a
e
ge
updat
e
is
l
for isl
_
space_params
_
alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laeg
e
re
n
ame isl_dim
t
o isl_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
d
oo
l
a
ege
update isl for rename of isl_
d
im to isl_
s
pa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoola
e
g
e
ac
c
ept infi
n
ite while lo
o
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolae
g
e
add "eq" oper
a
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
accept compo
u
nd
s
t
atements with zero
statements when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdo
o
laege
ex
p
r
_
co
l
lect_acces
s
es: us
e
isl_map_h
a
s_t
u
ple_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n Verdoolaeg
e
check if
tuple has id
before calling
i
sl_{se
t
,map}_get_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
up
d
a
t
e isl for
isl_map_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
Verdoolaege
allow
d
eclara
t
ion of
i
terator i
n
f
or loop
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven
Verdool
a
ege
upd
a
te isl
f
or rena
m
e
of isl_map
_
inser
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
han
d
le "live-out" pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sve
n
Verdoolaege
p
e
t
.
cc: extract out update_a
r
rays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven V
e
rdoolaege
pet
.
cc: ext
r
a
c
t out get_value_de
c
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verd
o
olaege
avoid wrapping on so
m
e
simple c
a
ses of loops
wi
t
h unsi
g
ne
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoolae
g
e
wrap resu
l
t
s of u
n
s
ign
e
d
co
m
puta
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
take int
o
account
t
hat unsigned iterators
may wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolae
g
e
allow loop
incr
e
me
n
ts of the for
m
i
= i + cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdoola
e
ge
allow loop incre
m
ents different from on
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
ven
V
erdoolaege
a
llow loop increm
e
nts
o
f
th
e
form i
+= 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verd
o
olaege
fi
x
chec
k
f
o
r "simple" loop te
r
mination condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven V
e
rdoolaege
u
pdate i
s
l fo
r
i
s
l_pw_aff_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n
Verdoolae
g
e
p
r
operly hand
l
e ge
n
eric con
d
ition
s
i
n
for
loo
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven V
e
rdoolaege
README: emphasize that we n
e
ed
c
lang librar
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven
Verdoolaege
u
p
date for ren
a
me of ge
t
Ins
t
antiationLine
N
umber to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoola
e
ge
scan
.
cc: f
i
x
typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven
V
erdo
o
laege
u
pdate isl for fix
i
n isl_map_in
t
ersect
_
params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdool
a
e
ge
a
ccept af
f
ine expr
e
s
s
ions w
h
ere
w
e
e
x
pect
a
conditio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next