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: mention that ubuntu libclang-dev is not sufficient
2012-03-04
Sven Verdoola
e
ge
REA
D
M
E
: mention
t
hat
ubuntu libclang-dev is not
s
ufficien
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
S
ven Verdoolaege
REA
D
M
E
:
m
ention
p
otential pro
b
lem when configu
r
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-06
Sven Verdoola
e
ge
keep track of s
i
ze of array elements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
S
ve
n
Verdoo
l
aege
a
d
ju
s
t
t
o chang
e
in number
of arg
u
ments of
D
e
c
l
RefExp
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verd
o
olaege
configur
e
.
a
c
:
re
m
ove spurious ","
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-03
S
ven
van Haastregt
pet_sco
p
_extract_from_C_source: return NUL
L
in c
a
se
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sve
n
Ve
r
doolae
g
e
pet_scop_ex
t
ract_
f
rom_C_source: reset user pointers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sv
e
n Verdool
a
eg
e
update isl for fix in isl_space_se
t
_
dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoola
e
ge
README: add more
requireme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven
Verdoolaege
update fo
r
c
h
ange i
n
c
lan
g
's Han
d
leTopLevelDecl r
e
turn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Ver
d
o
ola
e
g
e
configure
.
ac: onl
y
link ag
a
inst libraries from LLVM
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaeg
e
u
pdate isl for support for
recen
t
cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-08
Sv
e
n Verdo
o
la
e
ge
sca
n
.
cc: fix typos in
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sven Ve
r
doolae
g
e
scop
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sven
V
e
rdoolaege
add --versi
o
n o
p
tion
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
Sven Verdoolaege
update isl to version 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdool
a
e
g
e
confi
g
u
r
e
.
ac: spe
c
ify
a
ddress for bug reports
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
check for
p
r
esence of p
r
ototype befor
e
accessin
g
p
a
r
a
meters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
PetS
c
an::unsupported: optionally pr
i
nt
custom message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
S
ven Verdoolaege
R
E
ADME:
add a
s
mall note on how to
u
se p
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
S
ven Verdoola
e
g
e
keep track
o
f "address o
f
" ope
r
ators on accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
s
cop_extract
_
from_C
_
source: prop
e
rly clean up if input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Verdoolaege
construc
t
_invoc
a
tion:
add missing check for
j
ob
s
size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n Verdoolaege
cache values in assigne
d
_
valu
e
instead of expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verd
o
ola
e
ge
a
ll
o
w boolean expressions where
an affine ex
p
ression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en Verdoolaege
a
l
low parens around
i
nteger literal in
second argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven
V
e
rdoolaege
add e
x
tra
mi
n
test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ve
r
dool
a
ege
update isl for i
s
l_pw_aff_has_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolae
g
e
add m
i
ssing names
p
ace qualificati
o
n on llv
m
:
:A
r
rayRef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
S
ven
V
erdo
o
laege
pet
_
s
t
mt_fr
o
m
_
p
et_expr: fix memory leak on
error pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven
V
erdoolaege
scan
.
cc: upda
t
e
comment
o
f valid_for_each_itera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
allow n
e
s
ted accesses in loop upp
e
r bo
u
nds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ver
d
oolaeg
e
a
l
low nested accesses i
n
if conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven
Verdoolaege
extrac
t
n_nested_parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
v
e
n Verd
o
olaege
extrac
t
is_nested_parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdo
o
l
a
e
ge
extract extract_nested
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sve
n
Verdo
o
laege
r
e
name n
o
n_aff
i
ne to n
e
sted_acces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven
Verd
o
olaege
add pet_scop_wr
i
te
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
p
rivately export pet_expr_foreach_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven V
e
rdoolaege
add -D option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
add -I option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Ver
d
oolaeg
e
pet: use isl for a
r
gument pa
r
s
i
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
store a
u
todetect option i
n
a separa
t
e pe
t
_options structu
r
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Ver
d
oolaege
update
i
sl for supp
o
rt for string list
a
rguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
update i
s
l for i
n
t
r
o
duc
t
ion of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
u
s
e the
c
lang driver to obtain comm
a
n
d
l
i
n
e ar
g
u
m
ents
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdo
o
laeg
e
de
s
troy
M
yD
i
agnost
i
cPrinte
r
o
n newer
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
laege
su
p
port more r
e
cent LLVMs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoo
l
a
e
ge
up
d
a
te isl
f
or
s
upport for
r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
S
v
en Verdo
o
laege
extract_affine: a
varia
b
le that has been
a
ssigned an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Ver
d
oolaege
indu
c
tio
n
variable of for loop s
h
o
uld
b
e
c
o
nsid
e
red
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Ver
d
oolaege
an address
passed t
o
a
cons
t
pointer argument should
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
Sven V
e
rdool
a
ege
.
gitignore: add config
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
turn virtu
a
l scalars
i
nto
v
ir
t
u
a
l arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
e
n
Verdoolaege
mark __pet_test
_
* scalars as o
n
ly attaining values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdoo
l
a
ege
a
l
low labels
on expression statement
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
e
rdoolaege
allo
w
sp
e
cif
i
catio
n
of only lower bou
n
d
on parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Ve
r
doolaeg
e
u
se isl_set_{lower
,
up
p
er}_bo
u
nd_
s
i instead of
ou
r
o
w
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
e
rdoolaege
update
i
sl for isl_s
e
t
_
u
p
per_bou
n
d_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ver
d
oolaege
explicitly lin
k
in gm
p
when u
s
in
g
li
b
isl
.
l
a
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
Make
f
i
l
e
.
am: append e
x
t
r
a copy o
f
CLANG_LDFLAG
S
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Ve
r
dool
a
e
ge
upd
a
te
isl to version 0
.
0
8
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Tobias
G
r
oss
e
r
a
dapt to the r
e
cent
c
hanges i
n
c
lan
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sv
e
n Verdoo
l
ae
g
e
update i
s
l for
support for recent
c
lan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
a
c
cept non-a
f
fi
n
e
c
onditions in i
f
stateme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_scop
_
add: als
o
collect the
a
rray
s
in the p
e
t_scops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
r
d
oolaeg
e
p
et_stmt: add arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erd
o
olaege
p
et_
s
t
mt_fro
m
_pet_
e
xp
r
: clea
r
all fields of newly
c
reated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rd
o
ol
a
ege
update is
l
f
o
r
change in
i
s
l_pw_aff_set_tup
l
e_id pr
o
totype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdoolae
g
e
only
d
istrib
u
te bundled submodules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdoolaege
keep track of assignments to
p
ar
a
meters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Ve
r
d
o
olaege
e
x
p
o
r
t PetScan::extract_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Verdoolaeg
e
be
m
o
re careful about u
s
i
ng parameter
spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
update isl
for
isl_s
e
t_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
S
ven V
e
rdoolaege
ha
n
dle extraction o
f
scops inside a loop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en
Verdool
a
e
g
e
pet_
s
tmt_emb
e
d: han
d
le NU
L
L stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
pet
_
expr_is_equal: not eq
u
al if access relat
i
on is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
rdoolaege
parse
.
c: extract_arguments: p
l
ug memory lea
k
on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdo
o
laeg
e
update isl for
chang
e
in isl_set_read_fr
o
m_
s
tr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Verd
o
olaege
update isl fo
r
change in is
l
_{in,
}
equality
_
a
l
loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoolaege
add copyright statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Ve
r
doo
l
aeg
e
p
e
t_scop_extract_f
r
om_C_
s
o
urce: use a CompilerInstan
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
clear assign
e
d_v
a
lue for sca
l
ars that are assigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Ve
r
doolaege
PetScan::s
e
t_
u
pper_bounds: gracefully handle errors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
aege
update isl for change in sp
a
ce of isl_pw_
*
o
b
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
u
p
date isl for explicit pa
r
ame
t
er sp
a
ces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
Ver
d
oolaege
use isl_s
p
ace_params_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdoolaege
u
p
date isl for isl_space_param
s
_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdool
a
ege
r
e
n
ame isl_dim t
o
isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
update
isl
for rename
o
f isl_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rd
o
ol
a
ege
accept infinite while
l
oops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add "eq" op
e
r
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
accept compoun
d
st
a
tements with
z
ero statement
s
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdoolaege
expr_coll
e
c
t
_accesses
:
u
se i
s
l_
m
a
p
_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoola
e
ge
check
if tuple has id
before calling isl_{set,map}_g
e
t_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven
Verdoolae
g
e
update i
s
l for isl_map_has_tup
l
e_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
Verdoolaege
allow declaration
o
f iterator in f
o
r
l
o
o
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven V
e
rd
o
ol
a
ege
updat
e
is
l
f
o
r
rename of is
l
_map_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
Tobias Grosser
Hide w
a
rnings in
s
yst
e
m
h
ea
d
e
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next