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_scop_extract_from_C_source: return NULL in case of errors
2012-02-03
Sven
v
a
n Haastregt
pe
t
_s
c
op_extrac
t
_from_C_source: return NULL in case
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoo
l
ae
g
e
pe
t
_scop
_
ext
r
ac
t
_f
r
om_C_source: reset user po
i
nt
e
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
S
v
en Verdoolaeg
e
update
isl fo
r
fix in isl_s
p
ace_set_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
RE
A
DME: add more
r
equirements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sv
e
n Verd
o
olaege
updat
e
for change in clang
'
s H
a
n
d
leTopLev
e
lDec
l
ret
u
rn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verd
o
olaege
c
onfigure
.
ac: only l
i
n
k
against libra
r
ies from L
L
VM
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven V
e
rd
o
olae
g
e
update
isl fo
r
suppo
r
t for recen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-08
Sven Verdoolaege
scan
.
c
c
: f
i
x
t
yp
o
s
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoolaege
s
c
op
.
c
:
fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoolaege
a
d
d
-
-version opt
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
do
o
lae
g
e
pet 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
update
i
s
l
to
version 0
.
0
9
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven
V
erdoolaege
c
onfigu
r
e
.
ac: spe
c
ify address for bug repor
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
chec
k
for
p
rese
n
ce of prototype before a
c
c
e
ssing par
a
m
e
ters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sve
n
Ve
r
d
oolaege
PetSc
a
n::uns
u
pported
:
o
p
t
ionally print custo
m
message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sve
n
Verdoolaege
R
E
ADME: add a smal
l
no
t
e on how to
us
e
p
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sven
Verdoola
e
ge
ke
e
p tr
a
c
k of
"
addr
e
ss of" operato
r
s on
a
ccesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
s
c
o
p
_extract
_
f
r
om_C_sou
r
c
e: properly clean up if input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
v
e
n
V
erdoolaege
c
o
n
st
r
uct_in
v
o
c
ation
:
ad
d
missin
g
check for jobs size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
cache values in assigned_
v
a
l
u
e i
n
s
te
a
d of expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Verdoola
e
ge
a
llow boolea
n
expres
s
ions
where an affi
n
e expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n Verdoo
l
aege
allow paren
s
aro
u
n
d integer literal
i
n seco
n
d argumen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
a
d
d extra min test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
update isl for isl_pw
_
a
f
f_
h
as_
d
im_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Verdool
a
ege
add mis
s
i
ng
nam
e
space quali
f
ication on llvm::ArrayRef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
S
v
en Verdoo
l
aege
pet
_
stmt_from_pet_ex
p
r: fix memory leak on error pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Ver
d
oolaege
scan
.
cc: update c
o
m
m
e
n
t of valid_fo
r
_eac
h
_iteration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
v
e
n
Verd
o
olaege
allow nested ac
c
esses in
loop upper
boun
d
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoola
e
ge
allow n
e
sted accesses in if
cond
i
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verd
o
olaege
ex
t
ract n_nested_pa
r
a
me
t
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
S
v
en Verdoolaeg
e
extract is_
n
ested_para
m
eter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n
Verd
o
olaege
e
x
tr
a
ct extract_nested
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven
Verdoolaege
r
ename n
o
n
_
affine to nested_acc
e
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verd
o
olaege
add
p
et
_
scop_wri
t
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ve
r
doolaege
p
r
i
vate
l
y export pet_exp
r
_for
e
ach
_
access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verd
o
olaege
a
d
d -D
op
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
a
d
d
-I option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdoolaeg
e
pet: use isl fo
r
a
rgument
par
s
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
s
t
ore
autodete
c
t option i
n
a separate pet_options st
r
ucture
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
update isl for su
p
port for
s
tring
l
ist argum
e
nt
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
update is
l
for introduct
i
o
n
of isl
_
a
r
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoolaege
use
the clang driver t
o
obtain command
l
i
ne argume
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoolaege
destroy MyDiagno
s
ticPr
i
nter o
n
newer clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
laege
support more recent LLVMs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en V
e
r
doo
l
aege
upd
a
te
isl
f
or support for recent
c
l
a
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sve
n
Verdoolaege
extract_aff
i
ne: a variab
l
e that has been
ass
i
g
ned an
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdo
o
laeg
e
induction
vari
a
ble of f
o
r loop sh
o
uld
be cons
i
dered
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
a
n add
r
e
s
s
passed
t
o a const poin
t
e
r
argument should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
S
v
e
n Verdoolaeg
e
.
gitignore: add c
o
nfig
.
h
.
in~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
tu
r
n
v
irtual scalar
s
int
o
virtua
l
ar
r
a
ys
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Ver
d
oo
l
a
e
ge
mark __pet
_
test_* s
c
a
lars as only a
t
taining values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolaege
allow lab
e
ls
on
express
i
on st
a
tements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
al
l
ow specification of only low
e
r bound on par
a
m
et
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoola
e
g
e
use isl_
s
et_{low
e
r,upper}_bound_
s
i instead of
o
u
r
o
wn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
V
erdoolaege
update isl for isl_set_upper_bo
u
nd_s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Verdoolaege
explicitly link
i
n gmp when using
l
ibis
l
.
l
a
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
Makefi
l
e
.
am: a
p
pend extra copy of CLAN
G
_LDFLA
G
S to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
S
ven
Verdoolaege
update isl to version 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
T
o
bias Gr
o
sser
adapt to the
recent changes in clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
S
v
en Ve
r
doola
e
ge
update isl
for support for recent
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaege
accept no
n
-affine conditi
o
ns in i
f
statement
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoola
e
ge
pet_scop_
a
dd: also collect the arrays in
t
he pe
t
_s
c
o
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
p
et_stmt: add
arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Ver
d
oolaege
pet_stmt_
f
r
o
m_
p
et_expr
:
clear all fields of newly created
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
update i
s
l for change in isl_pw_aff_set_
t
uple_id
prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ve
n
V
e
rdoolaege
only
d
i
s
tribute bund
l
e
d
submodules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Verdoo
l
aege
keep tra
c
k of as
s
ignmen
t
s to parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
e
n Verdoolaege
export PetScan::
e
xtract_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolae
g
e
be more
c
areful a
b
out using pa
r
ameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
e
n
Ver
d
o
olaege
update i
s
l for isl_set_from_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
S
v
en
Verd
o
olaege
handle e
x
tract
i
on
o
f sco
p
s inside
a
loop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
ven Verdoola
e
ge
pet_stmt_embed:
handl
e
NULL
stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
pe
t
_expr_is_
e
q
ual: n
o
t equal if access relati
o
n is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
v
e
n Verd
o
olae
g
e
pa
r
se
.
c
: extract_arg
u
ment
s
: plug memory leak on e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
u
pda
t
e isl for
c
hange in isl_
s
et_r
e
ad
_
from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
oolaege
update
i
sl for change
in i
s
l
_
{in,}equ
a
lity_al
l
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
S
v
en Ve
r
do
o
l
a
eg
e
add co
p
y
right
s
tatement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolae
g
e
pet_scop_extr
a
c
t
_from_
C
_so
u
rce: use a C
o
mpilerInstance
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolae
g
e
cl
e
a
r
assigned_value
f
or scalars that are assigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
P
etSca
n
::se
t
_upper_bounds:
g
r
acefully h
a
ndle
e
rrors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaege
update isl for change
in space of isl
_
pw_* ob
j
ect
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
update isl for
e
xplicit parameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
use isl_spac
e
_
p
ara
m
s_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rd
o
ol
a
e
g
e
u
p
date isl for isl_space_params_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
r
e
name
isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdoolaege
updat
e
isl
for
rename of isl_d
i
m to
isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
ac
c
ept infini
t
e
w
hile loop
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
V
erdoolaege
ad
d
"eq" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
doolaege
accept compound s
t
atements with zero statements when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
expr_collect_
a
cc
e
ss
e
s: use isl
_
map_h
a
s_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n
V
erdoo
l
aege
c
h
eck if t
u
ple has id befor
e
c
a
ll
i
ng is
l
_{set,
m
ap}_get_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
ven V
e
rdoolaege
upd
a
te i
s
l for isl_map
_
has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
a
l
low declaration
of
i
t
e
rato
r
in for
l
oops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoo
l
aege
u
pdate isl
for r
e
name o
f
isl_map_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Tobias Grosser
H
i
de warnings i
n
system headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
handle "live-out" pragm
a
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sve
n
Verdoolaege
p
e
t
.
cc: extract out u
p
date_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
p
e
t
.
cc: e
x
tra
c
t out get_value_decl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdo
o
laege
avoid wrapping on
some s
i
mple cases of
l
oop
s
with un
s
igned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verd
o
olae
g
e
wr
a
p resu
l
ts o
f
u
nsigned compu
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
