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_array_free: return NULL pointer of type struct pet_array *
2012-03-04
Sve
n
Verdoolaege
store value_bounds in isl_union_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaeg
e
R
EADME: mention that
ubuntu
l
i
bclang-
d
ev is not suffici
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
S
ve
n
V
er
d
o
olaege
READM
E
:
mention pot
e
ntial
problem when conf
i
g
u
ring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-06
S
v
en Ve
r
doo
l
aege
keep track of size of
a
rra
y
el
e
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verdoola
e
g
e
ad
j
ust to
c
hange in number of arguments o
f
DeclR
e
fExpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
S
v
en Verdoolae
g
e
configure
.
ac: re
m
o
ve s
p
u
rious
"
,"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
S
ven V
e
rdoolaege
p
et_sc
o
p_extract_from_C
_
sou
r
ce: r
e
s
e
t u
s
er poin
t
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
S
v
en Verdool
a
e
g
e
update i
s
l for f
i
x
i
n isl_space_set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verd
o
o
laege
README: add more requireme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
S
ven Verdoolaege
u
p
date fo
r
ch
a
n
g
e in c
l
a
ng's Handle
T
op
L
evel
D
ecl return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
S
v
en Verdoolaege
confi
g
ure
.
ac: only l
i
nk against
libraries fr
o
m LLVM
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolae
g
e
u
pdate is
l
for supp
o
r
t
fo
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-08
Sven
Verdoolaege
scan
.
cc: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoola
e
ge
scop
.
c
: fix typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoolaege
add --version option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaeg
e
pet 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verd
o
ola
e
ge
update isl to version 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
c
o
nfigure
.
ac:
s
pecify address for
bug
reports
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven
V
e
rd
o
olae
g
e
check fo
r
presence of prototyp
e
before accessi
n
g
p
ara
m
eters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
S
ve
n
Verdoolaege
PetScan::unsup
p
ort
e
d
: opt
i
onally p
r
in
t
custom message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
S
v
en Verdoola
e
ge
READ
M
E:
add a smal
l
n
o
te on how to use
pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
S
ven Verdoolaege
ke
e
p tra
c
k
o
f "add
r
ess
o
f
" ope
r
a
tor
s
on accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ve
r
do
o
l
aege
sc
o
p
_
extra
c
t_from_C_source: properly clean up if input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Ve
r
do
o
laeg
e
constru
c
t_invocat
i
on
:
add missing c
h
ec
k
for jobs si
z
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoola
e
ge
cache value
s
in assigned
_
value ins
t
ead of expression
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
ven
Verd
o
ola
e
g
e
allo
w
boo
l
ean e
x
pressi
o
ns where an aff
i
ne expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolae
g
e
allow par
e
ns around integer literal in second argumen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ver
d
o
o
laege
a
d
d extra
m
in tes
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
update isl
for isl_pw_aff_h
a
s_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
ven V
e
rdoolaege
add m
i
ssing nam
e
s
p
a
ce qua
l
i
f
ication on
llvm
:
:A
r
ra
y
Ref
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaege
pet_stmt_from_pet_expr: fi
x
memory leak on
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Ver
d
oolaege
scan
.
cc: update
c
om
m
ent of valid_for_each_
i
teration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
a
l
low ne
s
ted accesses i
n
loo
p
up
p
er b
o
u
nd
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ve
r
doolae
g
e
allow ne
s
ted a
c
cesses
i
n if
c
o
nd
i
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ver
d
oo
l
aege
extract n_n
e
sted_pa
r
ameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven
Verdoolaeg
e
ex
t
r
a
ct is_nested_pa
r
ameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaeg
e
extr
a
ct extract
_
nested
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
r
e
name no
n
_affine to nes
t
e
d
_a
c
ces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
ven Ver
d
o
olaege
ad
d
pet_
s
c
op
_
wri
t
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven V
e
r
d
oolaege
pr
i
vately export pet_expr_foreach_
a
c
c
ess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verd
o
ol
a
ege
add -D option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Ve
r
d
oolaege
add -
I
option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n
V
er
d
o
o
laege
p
e
t:
use
isl for argument p
a
r
s
in
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ve
n
Verdoo
l
aege
s
to
r
e autodetect option in a s
e
para
t
e pet_
o
p
t
i
ons structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
update isl for support for s
t
rin
g
list arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdoolaege
update
i
sl for introducti
o
n of i
s
l_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdoolaege
use
t
he cla
n
g
d
river to obtain
comman
d
lin
e
arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoo
l
aege
destroy MyDiagnosticPrint
e
r on newer cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoolaege
support m
o
re
r
ecen
t
LLV
M
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
Verdool
a
ege
u
pd
a
t
e isl for support for recent
clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
S
v
e
n
Verdoolaege
extract
_
af
f
ine:
a variable that has been assigne
d
an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoo
l
ae
g
e
inductio
n
variable of
for loo
p
shoul
d
be c
o
n
s
idered
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven
V
erdoolae
g
e
an address pas
s
ed
t
o a
c
on
s
t
poi
n
ter argume
n
t should
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
Sv
e
n Verd
o
o
lae
g
e
.
giti
g
n
o
re: add c
o
n
fig
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoolaeg
e
tu
r
n virtual scalars into virtual arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verd
o
ola
e
ge
mark
_
_
pet_test_* scalars as only attaini
n
g v
a
lues
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ver
d
oola
e
g
e
a
l
l
o
w labels on expre
s
sion st
a
tements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
allow specific
a
tion
o
f only lower
bound on parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
use is
l
_se
t
_{lower,upper}_bou
n
d_si inste
a
d
of
o
u
r
o
wn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doola
e
ge
update isl for is
l
_s
e
t_upper_
b
oun
d
_
si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ver
d
oolaeg
e
exp
l
icitl
y
link in g
m
p w
h
en using
libi
s
l
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
S
v
en Verdoolaege
Makefile
.
am: a
p
pe
n
d extra copy of
CLANG_LDFLA
G
S
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven
V
e
r
do
o
laege
u
pdate is
l
to ver
s
io
n
0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
update isl f
o
r
s
upp
o
rt for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdool
a
ege
accept non-affine
c
on
d
itions in if statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_scop_add:
also collect the arrays
i
n the pet_
s
cops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoo
l
aeg
e
pet_stmt: add arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_stmt_from_pet_
e
xpr: clear al
l
fields o
f
newly created
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
up
d
ate is
l
for chan
g
e
in
isl_pw_aff_set_tu
p
le_id prot
o
type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
only
distribute
b
u
ndled submodul
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
keep
trac
k
of
assignments to parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
export
P
etScan::e
x
t
r
act_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
b
e
more
c
a
reful
a
b
out usi
n
g
parame
t
e
r
spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
update isl for
i
sl_set_from_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdoolaege
ha
n
dle e
x
traction of scop
s
inside a l
o
op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verd
o
olaege
pet
_
stmt_em
b
e
d
: ha
n
dle NULL stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verd
o
ola
e
ge
pet_expr_
i
s_equal: not equal if acces
s
relation is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdo
o
l
aeg
e
pa
r
se
.
c:
extract_a
r
guments: plug memory le
a
k on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdo
o
laege
upd
a
te isl f
o
r
c
hange in is
l
_
s
e
t
_re
a
d
_
from_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
updat
e
isl for ch
a
nge in isl_{in,}e
q
ual
i
ty_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoolaege
add c
o
py
r
i
ght st
a
tement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven
Verdoolaege
p
e
t_
s
cop
_
extr
a
ct_fr
o
m_C_so
u
rce:
use a CompilerI
n
stance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Ve
r
doolaege
c
lear assign
e
d_value fo
r
scalars th
a
t are assigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
PetScan::set_
u
p
per_bounds: gracefully ha
n
d
le errors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oolaege
upd
a
te i
s
l fo
r
chan
g
e
in space
o
f
i
sl_
p
w_* o
b
ject
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoola
e
ge
update
i
s
l for expli
c
it parameter spac
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
use isl_space_params_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
up
d
ate isl
for isl_space_para
m
s
_all
o
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
Ver
d
ool
a
e
ge
rename isl_dim
to isl_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
up
d
ate
i
sl f
o
r
r
e
n
ame of
isl_d
i
m to
isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
doolaege
accept infin
i
te while loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
d
d "e
q
"
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
accept com
p
ound statements wi
t
h zero st
a
t
ements
w
hen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
oolaege
expr_collect_accesses: use
isl_map_has_tupl
e
_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
ven Verdoo
l
a
ege
ch
e
ck if
tupl
e
has id before calli
n
g
i
s
l_{set,
m
ap}
_
get_tuple
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ve
r
do
o
l
aege
update isl fo
r
isl_map_has_tu
p
le_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
ven Verdoolaege
a
llow declaration of
i
t
e
rator in for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
en Verdoolae
g
e
update isl
for re
n
a
m
e of isl_map
_
inser
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaeg
e
hand
l
e "live-
o
ut" pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
pet
.
cc: extract out
update_array
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next