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 more requirements
2012-01-30
Sven
V
e
rdoolaege
README: add
more requirements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sve
n
Verdo
o
laege
u
pda
t
e for change in clang
'
s HandleTop
L
evelDecl
return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
conf
i
g
ure
.
ac: only link
a
gainst l
i
braries from LLVM
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven
Verdoolaege
update isl f
o
r
sup
p
ort for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-08
Sven
Ve
r
doolaeg
e
scan
.
cc:
fix typos in c
o
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
S
ven Verdoola
e
ge
scop
.
c
:
f
i
x typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoolaege
a
dd
--version option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdool
a
ege
pet 0
.
0
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
erdo
o
la
e
ge
update isl to version 0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
con
f
igure
.
ac: spe
c
i
f
y
address for bug
r
e
ports
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sve
n
V
erdoo
l
a
e
ge
check for pr
e
s
e
n
ce of
proto
t
ype before acces
s
ing par
a
met
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
P
e
t
Scan::un
s
upp
o
rted
:
o
p
tio
n
ally
print custom mess
a
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoolaege
R
E
ADME: add a small not
e
on
h
ow to u
s
e pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sve
n
Verd
o
o
l
a
e
ge
k
e
ep
track of "
a
d
d
r
e
s
s
of" opera
t
ors on access
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
sco
p
_ext
r
a
c
t
_from_C
_
source: prop
e
rly clea
n
u
p
i
f in
p
ut
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdo
o
l
a
e
ge
con
s
truct_invo
c
ation: ad
d
m
i
ssing check for jobs size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
c
a
ch
e
valu
e
s in
a
s
s
igned_value instead o
f
e
xpressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoola
e
ge
allow bool
e
an
e
xpressions where an
af
f
ine expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n Verdool
a
ege
al
l
ow parens ar
o
und int
e
ger literal in s
e
c
o
n
d argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaeg
e
add extra min test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ve
r
doolaeg
e
update isl for isl_pw_a
f
f
_
has_
d
im_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en Verdoolaege
add missing nam
e
spa
c
e qualifica
t
ion on llvm::
A
r
r
ayRef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven
V
erdo
o
lae
g
e
pet_stmt_
f
rom_pet_expr: fi
x
m
em
o
ry
l
eak
o
n
e
rror
pat
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sve
n
Verdoolaege
s
can
.
cc: update comment of valid_for_each_
i
teration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
allow nest
e
d accesses
i
n loop upper bou
n
ds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
ve
n
Verdoolaege
allow nested accesses in if condit
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sve
n
Verdoolaege
extrac
t
n_ne
s
ted_parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
extract is_nes
t
ed
_
parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
ex
t
r
a
ct
e
xtract_neste
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verd
o
olaege
rename
n
on_af
f
in
e
to neste
d
_a
c
cess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
erdo
o
laege
add p
e
t_sc
o
p_write
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
S
ven
V
erdool
a
ege
private
l
y export
pet_ex
p
r_foreach_
a
cces
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
ven V
e
rdoolaege
add -D optio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
a
d
d -I opt
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven V
e
rdoolaege
pet: use isl for argument p
a
r
si
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en
V
er
d
oolaege
sto
r
e autod
e
t
e
c
t
o
p
t
ion
in a separate
pet_options st
r
ucture
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoolaege
updat
e
isl for support
for
s
tring list argument
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verd
o
olaege
u
p
date isl for
i
ntroduction of isl_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdo
o
laege
use the c
l
ang
driv
e
r to obtain command line arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven
Verdoolaege
destroy MyDiagnosticPrinter on newer clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
suppor
t
more rec
e
nt LL
V
Ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Verdoolaege
update isl for support
for re
c
ent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven
V
erdool
a
e
g
e
extract
_
affine: a va
r
iab
l
e
that has
b
een assig
n
e
d an
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
S
v
en Ve
r
doola
e
ge
induction
v
ari
a
ble of for loop
s
h
ould be con
s
i
dered
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
an address
passe
d
to a const pointer argumen
t
should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
Sven Ve
r
doola
e
ge
.
gi
t
ignore: ad
d
conf
i
g
.
h
.
i
n
~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolae
g
e
turn virtual scalars into virtual array
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en
V
erdool
a
ege
m
a
r
k
__pet_test_* scalars as only atta
i
nin
g
v
a
l
u
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoolaeg
e
allow labels on
e
x
p
re
s
sion statem
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doo
l
aege
allow specification of
only lower bound on par
a
m
eter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
laege
use isl_se
t
_{lower,upper}_boun
d
_si instead of our own
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
u
p
dat
e
isl fo
r
isl
_
set_upper_bou
n
d_
s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Verdool
a
ege
e
x
pli
c
itly link in gmp when using
l
ibisl
.
la
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sve
n
V
erdoolaege
Makefile
.
am: app
e
nd extra copy o
f
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
Sven
V
e
rdoolaege
updat
e
isl for
suppo
r
t for
r
ecent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoola
e
ge
accept non-aff
i
ne conditions in if statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
p
e
t_scop_add: also collect the arrays in th
e
pet_scops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n V
e
rdo
o
l
a
ege
pet_stmt: ad
d
arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
p
et_stmt_from_pet_ex
p
r: clear all fields
o
f
n
ew
l
y created
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoo
l
ae
g
e
update isl for c
h
ange in isl
_
pw_aff_set_tu
p
le_id proto
t
ype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en
V
erdoolaege
o
nl
y
dis
t
r
i
bute
bundled submod
u
le
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
V
e
r
do
o
laege
keep tr
a
ck
o
f assignments t
o
pa
r
ame
t
e
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
e
x
port Pe
t
Sca
n
:
:extract_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoolaege
b
e
more
c
areful about using
parameter space
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolae
g
e
update isl for isl_s
e
t_from_pa
r
a
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdool
a
ege
h
a
n
d
le ext
r
a
c
tion of scops
i
n
s
ide a l
o
o
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
ve
n
Verdoolaege
pet_
s
tmt
_
e
m
b
e
d
: handl
e
NULL stm
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
r
doo
l
aege
p
e
t
_expr_is_equal:
n
o
t
equal if a
c
cess relat
i
on is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
V
erdoolaege
par
s
e
.
c
:
ext
r
act_ar
g
uments: plug memory
l
ea
k
on e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
v
e
n Verdoolaege
upda
t
e isl
for ch
a
nge in isl
_
s
et_rea
d
_from_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verd
o
o
l
aege
update is
l
f
o
r
change in isl_{in
,
}equa
l
it
y
_allo
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
Sven Ver
d
oolaeg
e
add copyright stateme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoola
e
ge
pet_scop_extract
_
from
_
C
_
s
ource: use a
Com
p
iler
I
nstan
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Ve
r
d
o
olaeg
e
clear assig
n
e
d_
v
alue for s
c
alars th
a
t are assigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
doola
e
ge
P
etScan::set_upper_bounds: gracefully handle err
o
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoolaege
update
isl for change in space
o
f isl_p
w
_* objec
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
u
p
date isl for e
x
plicit parameter spa
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
use isl
_
s
pace_param
s
_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolaege
update isl for isl_spa
c
e_params_
a
lloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
ren
a
m
e
isl
_
dim
to
i
sl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaeg
e
u
p
d
ate isl for
rename
o
f isl_dim to is
l
_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
V
erdoolaege
accept i
n
finite while loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
add "eq" o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
ac
c
ep
t
compound stat
e
ments wit
h
z
e
ro s
t
atements when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
expr_collect_ac
c
esses: use isl_
m
ap_has_
t
uple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ver
d
oo
l
aege
che
c
k if tuple ha
s
id bef
o
re
c
alling isl_{set,ma
p
}_get_tuple_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoola
e
g
e
upd
a
te isl for isl_map_has_t
u
ple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n Verdoolaege
a
l
low declaration of
i
terator in for
l
o
op
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Ver
d
oolae
g
e
u
pdate i
s
l f
o
r rename
of is
l
_map_
i
n
sert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
handle
"live-out" prag
m
a
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven
V
er
d
oolaege
p
et
.
cc: extract out u
p
date_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven V
e
rdoola
e
ge
pet
.
c
c
: e
x
tract o
u
t get_value_decl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en
V
erdool
a
e
g
e
avoid wrapping on
s
ome simp
l
e
cases of loop
s
with unsigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
e
r
d
oola
e
ge
wr
a
p
r
e
sults
o
f unsigned computations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Verdoolae
g
e
take
into
account t
h
a
t
unsi
g
ned
i
terato
r
s may wra
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ve
r
d
oolaege
allow l
o
o
p in
c
re
m
ents o
f
the form i = i + cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aege
allow loop incr
e
ments diff
e
re
n
t from one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoolaege
a
l
low loop
increments of t
h
e
form i += 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
ven Ve
r
doo
l
aege
fix
chec
k
fo
r
"sim
p
l
e" loop termination co
n
diti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next