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_stmt_from_pet_expr: fix memory leak on error path
2011-11-21
Sven Verdoolaege
pet_stmt_from_pe
t
_
expr
:
f
ix memory le
a
k
o
n error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sv
e
n
Verdoolaege
scan
.
cc
:
u
p
date comment of valid_for_eac
h
_iteration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ver
d
oo
l
aege
allow ne
s
te
d
accesses in loo
p
uppe
r
b
o
un
d
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sv
e
n
Verdool
a
ege
allow ne
s
ted
a
ccesses i
n
if conditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verd
o
o
l
ae
g
e
extra
c
t
n_nested
_
par
a
meter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ve
r
doolaeg
e
extract is_nested_parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sve
n
Ve
r
doo
l
aege
e
x
tra
c
t extract_nested
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
e
rdoola
e
ge
renam
e
non_affine to nested_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sve
n
Verdo
o
l
a
e
ge
add pet_scop_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
erdo
o
l
aege
privately e
x
p
ort pet_expr_foreach_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
e
n
Verdoola
e
g
e
add -D option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven V
e
rd
o
olaege
add -I
o
ptio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolae
g
e
p
et:
use i
s
l for argument parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
erdool
a
e
g
e
s
tore auto
d
etect
option
i
n a separ
a
te pet_options st
r
ucture
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
e
n
Verdool
a
e
g
e
updat
e
isl for s
u
pport for string
list arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaeg
e
upd
a
te isl for
i
n
t
roduction
o
f isl_arg
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
use t
h
e cla
n
g
d
river to obta
i
n command l
i
ne arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoola
e
g
e
destroy MyDiagn
o
sticPrin
t
er
o
n newer
c
l
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ver
d
o
o
l
a
eg
e
support more recent LLVMs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
u
p
dat
e
isl for supp
o
rt for rece
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Ver
d
oolae
g
e
extract
_
af
f
ine: a v
a
riab
l
e
t
h
at has
b
e
e
n assigned an
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
i
n
duc
t
i
on va
r
iab
l
e of for loo
p
shou
l
d
be considered
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven V
e
rdoolaege
an address pas
s
e
d
to a c
o
nst pointer
a
rgument should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
Sven Verdoolaege
.
g
i
tign
o
r
e
:
ad
d
confi
g
.
h
.
in
~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdoolaege
turn virtual
scalars into v
i
rtual arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Verdoolae
g
e
ma
r
k __pet_test_* sca
l
ar
s
as onl
y
attaining
v
alue
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n
V
er
d
ool
a
ege
all
o
w
labels on expressi
o
n sta
t
ements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
e
n
Ve
r
doolaege
allow sp
e
cification of
only lower bound on parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verdoolaege
use isl_
s
et_{l
o
we
r
,upper}_bound_si instea
d
o
f
ou
r
own
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verd
o
olaege
update isl for
i
sl_set_upper_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Verdoolaege
explici
t
ly link in
gmp w
h
en using
l
ib
i
s
l
.
la
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
Makefile
.
am: append
extra
copy of C
L
ANG
_
LD
F
LAGS t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
u
p
date
is
l
to vers
i
on 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
S
v
en Verdoolaege
upd
a
te
i
s
l fo
r
supp
o
rt f
o
r recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
olaege
acce
p
t non-affine co
n
d
itions
in if sta
t
ements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_
s
c
o
p_add:
also col
l
ect the array
s
in the pet_scops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_stmt: add arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Ver
d
oolaege
pet_st
m
t_f
r
om_pet_expr: clea
r
all fields of newly cre
a
t
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n
V
e
rdoolaeg
e
update i
s
l for change in
isl_
p
w_aff_set
_
t
u
ple_id protot
y
pe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdoola
e
ge
on
l
y
distrib
u
t
e b
u
nd
l
ed submodules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoola
e
ge
k
e
ep
t
rack of as
s
ignmen
t
s to parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
export PetSc
a
n
::extract_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdo
o
lae
g
e
b
e
m
o
re c
a
r
e
ful
a
bout
u
sing
para
m
eter s
p
aces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n
V
e
r
doolaege
u
pdate isl f
o
r isl_set
_
from_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
S
ven V
e
rdool
a
eg
e
handl
e
ext
r
acti
o
n
of scops
inside a
l
o
op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdo
o
la
e
ge
pet_stmt_embed
:
h
andle NU
L
L s
t
mt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoo
l
aege
pet_expr
_
is_e
q
ual
:
n
o
t
equal i
f
acce
s
s
relation
i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaeg
e
parse
.
c: extract_arguments: plug memory leak o
n
er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
update
isl for change in isl_set_read_fr
o
m_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en
Verdoolaege
upda
t
e isl for change in isl_{in,}equality_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoolaege
add copyright st
a
t
ement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
pet_scop_extra
c
t
_
from_C_sou
r
ce: use a Compil
e
rInstance
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
e
n Verdoolaege
clear assigned_value for sc
a
lars that a
r
e assigne
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
laege
PetScan:
:
s
e
t_upper
_
bo
u
n
d
s
:
g
raceful
l
y ha
n
dle errors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
aege
upda
t
e isl for
cha
n
g
e
in
s
pace of
i
sl_pw_* objec
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
u
pdat
e
isl fo
r
ex
p
licit
param
e
ter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
use is
l
_spac
e
_params_
a
llo
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
u
p
d
ate isl fo
r
isl_space_params_all
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ver
d
oolaeg
e
renam
e
isl_d
i
m
to isl_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
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 Verdoola
e
ge
accept infinit
e
while lo
o
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
V
erd
o
ola
e
ge
add "eq"
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolae
g
e
accept
c
o
mpound state
m
ents
w
ith zero st
a
tements when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ver
d
oolae
g
e
exp
r
_collec
t
_accesses: use isl_map_has_tu
p
le_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
erdoo
l
aege
check if tup
l
e has
id before calling isl_{set,map}
_
g
e
t_tuple_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
v
en Verdoolae
g
e
update
i
sl for isl_map_has_tupl
e
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven V
e
rdoolaeg
e
allow decla
r
ation of iterator
i
n
f
or loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
S
ven Verdoolaege
u
p
d
ate isl
f
or re
n
a
m
e of
i
sl_m
a
p_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoola
e
ge
h
andl
e
"live-out
"
prag
m
as
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sv
e
n
V
er
d
o
olaege
pet
.
c
c: ext
r
act
out
u
pdate
_
arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Ver
d
o
olaege
pet
.
cc
:
extr
a
ct o
u
t get
_
valu
e
_decl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
avoi
d
wrapping on some s
i
mpl
e
cases of loops w
i
t
h
unsigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
wrap res
u
lts of unsig
n
ed computations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolaege
t
ake int
o
accou
n
t that unsigne
d
iterat
o
r
s may
w
r
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Ver
d
o
o
laege
allow l
o
o
p inc
r
ement
s
of the for
m
i
= i
+
cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aege
allow
l
o
op
increm
e
nts different
from on
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdool
a
ege
allow loop incremen
t
s of the form i += 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ve
r
doolaege
fix check f
o
r "simple" loo
p
t
ermi
n
ation condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
upd
a
te isl for isl_pw_aff_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdo
o
l
aege
properly ha
n
dl
e
generic conditions in
for l
o
ops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
REA
D
M
E
: e
m
pha
s
i
ze
t
h
at we need clang libra
r
ie
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdo
o
laege
update for rename of
g
etInstantiationLineNu
m
ber
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
scan
.
c
c: f
i
x typo in c
o
mm
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
v
e
n
Verdoolaege
update isl
for fix i
n
isl_map_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven V
e
rd
o
olaege
accept affine expres
s
ions w
h
ere we expe
c
t a
c
ondition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdo
o
lae
g
e
update isl fo
r
isl_p
w
_aff_non
_
z
e
ro_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
initial v
e
r
sio
n
of
p
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree