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
S
ven V
e
rdoolae
g
e
p
et 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolae
g
e
upda
t
e
isl to version
0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
S
ven Verdoola
e
ge
con
f
igure
.
ac: specif
y
address for
b
ug report
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sv
e
n
V
erdo
o
laege
check for presence of
p
r
ototype before
a
c
c
es
s
ing pa
r
amet
e
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
S
v
e
n
V
erdoolaege
PetScan
:
:unsupported: option
a
lly print
c
ustom m
e
ssage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sv
e
n Verdoolaege
READ
M
E: add a small note on ho
w
t
o
use pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
S
ven Verdoolaege
keep tra
c
k o
f
"address of" operat
o
r
s
on acce
s
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
ven Ve
r
d
oola
e
ge
scop_extract
_
from_C
_
source: proper
l
y
clean up if input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
cons
t
r
u
c
t_invocation: add
m
issing
check for jobs size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ver
d
oolaege
cac
h
e va
l
ue
s
in assigned_value inste
a
d of
expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
allow
b
oolean expressions where an affine
e
xpression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdo
o
l
aege
allo
w
parens a
r
ound integer litera
l
i
n
s
econd argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ve
r
doolaege
ad
d
ext
r
a
m
i
n
test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
ven
V
erdoolae
g
e
update is
l
fo
r
isl_
p
w_aff_h
a
s_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en V
e
rdoolaege
a
d
d missing n
a
mespace qualificat
i
on on
l
lvm::ArrayRef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoo
l
aege
p
et_
s
tmt_from_pet_expr: fix m
e
mory le
a
k o
n
e
rr
o
r p
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
S
ven Verdoolaeg
e
sca
n
.
cc: u
p
date
comment o
f
valid_for
_
each_
i
terat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
ven Verdoolaege
allow nest
e
d accesses in loop upper bounds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaeg
e
allo
w
nested
acce
s
ses in if
c
o
nditi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
S
v
en Verd
o
olaege
extract n_nested_parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdo
o
laege
e
x
tract
i
s
_
nested_parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
S
ven Verdoolaege
extra
c
t
e
xtract_ne
s
te
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n Verdool
a
ege
ren
a
me n
o
n_
a
ffine to nested_acces
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
S
ven Verdoolaege
add
pe
t
_scop_w
r
ites
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n Verdoolaege
pri
v
ately export pet_e
x
pr_f
o
r
each_acce
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdo
o
laege
add -D option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdoolae
g
e
add -I option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
doolaege
pet:
use is
l
for argument
parsi
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en
V
erdoolaege
store aut
o
detect option in a
separate pet_options struc
t
ure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
upd
a
te isl fo
r
support fo
r
string list ar
g
uments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
e
n
Verdoolaege
update isl for intr
o
ductio
n
of isl_
a
r
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
doolaeg
e
u
s
e the clang driver
t
o
obt
a
i
n command lin
e
arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdool
a
ege
destroy MyD
i
agno
s
ticPri
n
ter
o
n newer cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
d
o
olaege
support more recent
L
LVMs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoo
l
aege
upda
t
e isl
f
or
support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sve
n
V
er
d
oolaege
e
x
t
ract_affine: a
v
ariable that has been
assig
n
ed an
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sve
n
Verdoolaege
inducti
o
n
variable of for loop
s
h
ould
be
c
on
s
idered
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Ver
d
oolaege
an address passed to
a
const
p
oi
n
ter arg
u
ment
should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
Sven Ve
r
do
o
lae
g
e
.
git
i
gnor
e
: ad
d
confi
g
.
h
.
in~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verdoolaege
tur
n
virtual scal
a
rs into virtual
arra
y
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verdoolaege
mark
_
_pet_test_*
scalar
s
as only attaining values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rdool
a
ege
allow labels on e
x
p
r
ess
i
on s
t
ateme
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdoolaege
allow
s
pecification of only lo
w
e
r bou
n
d on par
a
meter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n V
e
rdoolaege
use isl_set
_
{lower,upper}_bound_si instea
d
of our own
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoo
l
ae
g
e
u
p
d
ate isl
f
or isl_set_upper_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdo
o
laege
e
x
plici
t
ly link in gmp
w
hen using libisl
.
la
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
Makefile
.
am: append extr
a
copy of CLANG_LDFLAG
S
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Ve
r
doolaege
u
pdate isl to vers
i
on 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven V
e
rd
o
olaege
update isl for suppor
t
f
or r
e
cent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven V
e
rdo
o
lae
g
e
accept non-affine c
o
nditions in if statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Ver
d
ool
a
eg
e
pet_scop_add: also col
l
ect th
e
arrays in the pet_scops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n
Verdoolaege
pet_stm
t
:
add a
r
guments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
p
e
t_stmt_from
_
pet
_
e
xpr: clear a
l
l fi
e
lds of newly created
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
upda
t
e
is
l
for change i
n
is
l
_pw_aff
_
set_tuple_id
p
r
o
totyp
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en
V
erdool
a
e
g
e
on
l
y
d
istribute bu
n
dled submodules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en V
e
rdoolaege
k
e
e
p tr
a
ck
of a
s
s
i
gnm
e
nts to pa
r
am
e
ters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verdoolaege
export PetScan::extract_in
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verdo
o
l
a
e
ge
be more careful about u
s
ing parameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
olae
g
e
up
d
ate
isl for is
l
_se
t
_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
Sven
V
erdoolaege
handle extracti
o
n of scops inside a l
o
op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
pet_stmt_
e
mbed:
h
andle
N
ULL
stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Ver
d
oolaege
pet_ex
p
r_is_equal:
not equal if acces
s
relation
is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
parse
.
c
: extract_arg
u
ments: plug memory leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en
V
e
r
d
o
olaege
upd
a
te isl for
c
hange in
isl_s
e
t_read
_
from
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erdo
o
lae
g
e
u
pd
a
te isl
for cha
n
ge in isl_{in,}
e
quality_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoolaege
add copyright statem
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoo
l
aege
pet_s
c
op_
e
x
t
ract_from_C_sour
c
e: use a CompilerInst
a
nce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdoolaege
clear assigned_value for scalars that are assigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oolae
g
e
PetScan::set_upper_bounds: gra
c
ef
u
lly
handle
er
r
ors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Ve
r
do
o
laege
update isl
f
o
r chan
g
e in space of isl_pw_*
o
bje
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
V
erdoolaeg
e
u
pd
a
te isl for explicit parameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
use isl_sp
a
ce_param
s
_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaeg
e
update isl for isl_space_pa
r
a
ms_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
ren
a
me isl_dim to is
l
_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdoola
e
ge
updat
e
isl for r
e
n
a
me
o
f isl_dim t
o
isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
a
ccept inf
i
nite w
h
ile
l
o
ops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
add "eq" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaeg
e
accept
c
ompou
n
d
s
ta
t
eme
n
t
s with zero st
a
t
ement
s
wh
e
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
expr_collect
_
a
c
cesses:
u
s
e
isl_map
_
has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
e
rdoolaege
check if tu
p
le has id b
e
fore
c
al
l
ing isl_{set,map}_get
_
t
u
p
le_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
update isl for isl_map_ha
s
_
tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n Verdoolaeg
e
allow declaration of
it
e
rator
i
n for l
o
ops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verd
o
o
laege
update isl for r
e
name
o
f is
l
_map_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolae
g
e
h
a
n
d
le "
l
ive-out" pra
g
m
a
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
pet
.
cc: extra
c
t out upda
t
e
_
arra
y
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven V
e
rdoolaege
pet
.
cc: extract o
u
t ge
t
_
v
alue_decl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolaege
avoid wrapping on
s
o
m
e
s
imple cases of
l
oops with unsign
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ve
r
d
oolaege
wrap results
of unsigned computations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolaege
t
a
ke into ac
c
o
unt that unsigned ite
r
at
o
r
s may
w
ra
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Ve
r
doolaege
a
llow loop increments of the fo
r
m
i =
i + cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ve
r
d
o
olaeg
e
a
llow loop incre
m
ent
s
diff
e
rent
from one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolae
g
e
allow l
o
op i
n
crements of the fo
r
m i += 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdool
a
ege
fix check for "simple
"
loop termination condi
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aege
update
i
s
l
for i
s
l
_
pw_aff_mo
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
properly handle
g
eneric conditions
i
n for loo
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Ver
d
o
olaege
R
EADME: emphasize tha
t
we need cl
a
ng l
i
braries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verd
o
olaege
update fo
r
ren
a
m
e
o
f getInstantiationLineNumber to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en Verdoolaege
scan
.
cc: fi
x
typo i
n
commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaeg
e
update isl for
f
i
x in is
l
_map_i
n
tersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en V
e
rdoolaege
accept affi
n
e expressions where we expect a co
n
dition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next