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 Verdoolae
g
e
pet 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ver
d
oo
l
aege
update isl to ver
s
ion 0
.
0
9
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolae
g
e
con
f
igu
r
e
.
ac: specify address for b
u
g reports
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
S
v
e
n Verdoola
e
ge
che
c
k for presence
of prot
o
type before accessing parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
S
v
e
n Verdoolae
g
e
PetScan::unsupported: optiona
l
l
y
print c
u
stom m
e
ssage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven V
e
rdoolaege
R
E
ADME: add a small no
t
e
o
n h
o
w to use pe
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verd
o
olaege
keep tra
c
k o
f
"
address of"
o
perator
s
o
n
accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Verdool
a
ege
scop_extract
_
f
r
om_C_source
:
properly clean up if
in
p
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verd
o
olaege
constr
u
ct_invocation:
a
d
d
mi
s
sing check for jobs size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ve
r
d
oolaege
cac
h
e v
a
l
u
es in
assigned_value instead o
f
expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verd
o
olaege
allow boole
a
n
e
xpressions where
a
n affin
e
expressio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
allow
paren
s
around
inte
g
e
r literal in second argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ve
r
doolaege
add extra m
i
n test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n Ver
d
oolaege
updat
e
is
l
for
isl_pw_aff_has
_
d
i
m_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
ven Verdoo
l
aege
add mi
s
s
ing na
m
espace quali
f
ication on llvm
:
:Array
R
ef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoo
l
a
e
ge
pet_stmt_from_pet_expr: fix
memory leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sv
e
n Verdoola
e
ge
scan
.
cc: update comm
e
n
t
of
v
alid_for_each_
i
tera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolae
g
e
all
o
w nested accesse
s
i
n
loop
u
pp
e
r bounds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verd
o
olaege
allow
nest
e
d a
c
cesses in if co
n
d
itions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaeg
e
e
xtract n_
n
e
sted_parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verd
o
olaege
e
x
tract is_neste
d
_parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
e
r
d
ool
a
ege
ex
t
ract extract_nested
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
ven Verdoolaeg
e
rename non_affine to n
e
s
t
ed_a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
er
d
o
o
l
aege
a
d
d pet
_
s
co
p
_wr
i
tes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ver
d
oolaege
privately e
x
p
o
rt pet_expr_fore
a
ch_ac
c
ess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n
V
er
d
o
olaege
add -D opti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verdoolaege
add -I option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
e
n Verdoola
e
ge
pet: use i
s
l
f
o
r
argument pars
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven V
e
r
doolaege
store autodetect option in a
separat
e
pet
_
options structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven V
e
r
dool
a
ege
update isl for support f
o
r str
i
n
g list argumen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
l
a
ege
update isl fo
r
in
t
ro
d
uc
t
ion of
i
sl
_
args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ven
V
erdoo
l
aege
use the clang driver to obtai
n
command li
n
e arg
u
ments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
o
l
aege
de
s
troy MyDiagn
o
stic
P
r
i
n
t
e
r
on n
e
w
er clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoo
l
aege
support mo
r
e
re
c
ent LLVMs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven V
e
r
d
oolaege
update isl for sup
p
ort fo
r
recent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verd
o
olaege
extract_affine: a
v
a
riable that
has been
a
ssigne
d
an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdo
o
laege
induction variable of for
l
o
o
p
s
h
ould b
e
c
o
nsider
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sve
n
Verdo
o
lae
g
e
an address passed t
o
a
con
s
t pointer argument s
h
ould
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
Sven
V
e
r
do
o
laeg
e
.
giti
g
no
r
e: add
c
onfig
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoo
l
aege
t
u
rn virtua
l
sca
l
ar
s
into
v
irtual
a
r
rays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
mark __
p
et_test_* sc
a
l
a
rs
a
s o
n
l
y
at
t
a
in
i
n
g
val
u
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rdoolaege
a
llow lab
e
l
s
o
n
e
xpr
e
ssion s
t
at
e
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verd
o
olaege
a
llow specification
o
f
o
nl
y
lower boun
d
on p
a
r
ameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolaege
use i
s
l_
s
et_
{
lower
,
u
p
p
er}_bound_si instead of o
u
r
own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verd
o
ol
a
eg
e
update isl
f
or isl_set_u
p
p
e
r
_bo
u
nd_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
ven Verdo
o
laege
explicitly
link in gmp when using libisl
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
S
v
en Ver
d
oolaege
Makefi
l
e
.
am: append extra copy of CLANG
_
LDFLAGS to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sv
e
n Ve
r
doolaege
updat
e
isl to
v
ersion 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verd
o
ola
e
ge
up
d
ate isl fo
r
support
f
or
recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
ola
e
g
e
acc
e
pt non-
a
ffine conditions in i
f
statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_s
c
o
p_add: also colle
c
t the arr
a
ys
in the pet_scop
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolae
g
e
pet_stmt: add arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
olaege
pet_stmt_
f
rom_pet_ex
p
r: clear all fields of newly created
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoo
l
aege
update
isl for change in isl_pw_aff_set_tuple_i
d
p
r
ototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
only
di
s
tribute b
u
ndled submodules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoola
e
ge
keep t
r
ack
o
f assignmen
t
s t
o
param
e
te
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doolaeg
e
export PetScan::extr
a
ct_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
be mo
r
e careful about using parameter sp
a
ces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdo
o
laege
u
pdate isl
f
or isl_s
e
t_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sven Ve
r
doolaege
han
d
l
e extr
a
ction
o
f scops inside
a
loop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ve
r
doolaege
pet_stmt_embed: h
a
ndle NULL stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
pe
t
_expr_i
s
_equal: n
o
t equal if access relation is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaeg
e
parse
.
c: extract_argument
s
: p
l
ug memor
y
leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdool
a
ege
u
p
da
t
e isl for change i
n
isl_set_
r
e
ad_fro
m
_
s
tr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
rdoolaege
update isl for chang
e
in i
s
l_{in,}e
q
uality
_
alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sve
n
Verdoo
l
a
e
ge
a
dd
cop
y
r
i
g
h
t
stat
e
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdool
a
ege
p
et_sco
p
_extr
a
ct_from_C_source: use a CompilerInstance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdoolaege
cl
e
ar ass
i
gne
d
_val
u
e for scal
a
rs that ar
e
assigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
V
e
r
doolaeg
e
P
e
t
Scan::se
t
_upper
_
bounds:
gracefull
y
han
d
l
e errors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oolaege
update isl
f
or change
i
n
space
of isl_pw
_
* objec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
u
pdat
e
isl for exp
l
i
c
i
t
param
e
t
e
r
spac
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoola
e
ge
use isl_space_para
m
s
_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl for isl_spa
c
e_params_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
rename isl
_
d
im to i
s
l_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update
is
l
for
r
ename
o
f isl_dim
to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolaeg
e
accept infinite w
h
ile loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
ool
a
ege
add "eq" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdool
a
ege
acce
p
t compound
s
t
atem
e
nts
with zero
s
tatements
whe
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verd
o
o
laege
expr
_
collect_accesses: use isl_map_has_tuple
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
c
h
eck if tuple has
i
d before
c
a
l
ling i
s
l_{set,map}_ge
t
_t
u
ple_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n Verdoolaege
update isl for isl_map_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
allow declaration of iter
a
tor in for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven V
e
rdoolaege
upda
t
e isl for rename of isl_ma
p
_
i
nsert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Verdo
o
la
e
ge
h
andle "live
-
out"
pra
g
ma
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Verdoola
e
ge
pet
.
cc: extract o
u
t up
d
ate_ar
r
a
y
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
S
v
en
Ver
d
ool
a
ege
pet
.
cc: extr
a
ct out get_valu
e
_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ver
d
o
o
laege
avoid wrapping on som
e
simple cases
of loops
with unsigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
wrap r
e
sults of unsigned comput
a
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Verdoola
e
ge
take into accoun
t
that un
s
igned iter
a
tor
s
may wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
e
rdo
o
laege
all
o
w loop increments
o
f the form
i
= i
+ cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
a
ll
o
w loop increment
s
d
i
fferent from o
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
al
l
ow loop incr
e
m
e
nts of the form
i
+
= 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven V
e
rd
o
o
l
aege
fix check
f
or "simple" loop t
e
rmination condit
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdo
o
l
ae
g
e
upd
a
te isl f
o
r isl_pw
_
af
f
_
m
o
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verd
o
olaege
properly handle generic conditions in for
loop
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
README: emphasize that we need clang libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaeg
e
update for re
n
ame of g
e
tInstantiationLineNumber to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven
Verdoolaege
s
c
an
.
cc:
fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Ver
d
oolae
g
e
update
i
sl for f
i
x in isl_ma
p
_inter
s
ect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
S
ven Verdoolaege
a
ccept
affine expre
s
sions where
w
e
exp
e
ct a con
d
ition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next