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_collect_arrays: skip arrays that already appear in scop
2012-03-06
S
v
en
V
erdoolaege
PetScan::e
x
tract_im
p
lici
t
_affine:
s
implify computa
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
up
d
ate isl
for cha
n
ge in isl_pw_aff_con
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
S
v
en Verd
o
olaege
simp
l
ify
se
t
s an
d
re
l
ations
i
n p
e
t_
s
cop with
respe
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven
Ver
d
oo
l
aege
pa
s
s v
a
lue_bounds to PetS
c
an
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
S
ven V
e
r
d
o
o
laeg
e
store value_bounds
i
n isl
_
union_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
S
v
en Ver
d
oo
l
aeg
e
REA
D
ME: ment
i
on
t
h
a
t u
b
u
n
t
u libc
l
ang-d
e
v is not suffici
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
README:
mention potent
i
al
p
roblem
w
hen
c
onfiguring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-06
S
v
e
n Ve
r
doola
e
ge
keep
track of size of array
e
lem
e
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verdoo
l
a
e
ge
adjust to c
h
ange in number
o
f argum
e
nts of DeclRefExpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
S
ven Verdool
a
ege
configur
e
.
ac: remove
spurious ","
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-03
S
v
e
n
van Haastregt
p
e
t
_scop_extract
_
from_C_source: re
t
urn NULL in case
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sv
e
n Verdoolaege
pet_
s
cop_ex
t
r
act_f
r
om_C_sour
c
e: reset user
pointers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolae
g
e
upd
a
t
e
i
sl for fix in isl
_
space_set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sv
e
n Verdoolaege
README: a
d
d m
o
re requirements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdo
o
laege
upd
a
te for change in cla
n
g
's Handl
e
T
o
pLeve
l
De
c
l return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
c
onfigure
.
ac: o
n
ly
l
ink against librari
e
s from L
L
VM
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Ver
d
o
olaeg
e
update isl for sup
p
o
r
t
for rece
n
t clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-08
Sven Verdool
a
ege
sca
n
.
cc
:
fix
ty
p
os in comm
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verd
o
olae
g
e
s
co
p
.
c
:
fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sven Ve
r
doolaege
add --versio
n
option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sve
n
Verdoolaeg
e
pet 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
Verdoolaege
update is
l
to version 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
configure
.
ac: speci
f
y
a
ddress
for bug reports
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verd
o
olaege
check for
presence o
f
pr
o
totype
be
f
or
e
accessing parame
t
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
S
v
en
V
erdoo
l
aege
Pet
S
can::unsupporte
d
:
o
ptionally p
r
i
nt custom message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoolaeg
e
README: ad
d
a small no
t
e on how to use pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoo
l
aege
k
eep track o
f
"
addre
s
s of" op
e
r
ators on a
c
cesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ve
r
doolaege
scop_extrac
t
_from_C_sou
r
ce
:
properly clean
u
p
if
i
nput
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en Verdo
o
la
e
ge
construct_invocation: add missing check for jobs size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ver
d
oolaege
c
ac
h
e
v
alue
s
i
n assigned_val
u
e inste
a
d of
expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n V
e
rdool
a
ege
a
llow bo
o
lea
n
expressions
where an affine ex
p
ression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en V
e
r
doolaege
a
ll
o
w parens
a
round
i
nteger litera
l
i
n secon
d
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolae
g
e
a
dd extra min test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven
V
erdoolaege
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 Verdoolaege
add missing
n
am
e
space
q
ualification on llvm
:
:
A
rra
y
Ref
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven
Verdoolaege
pet_stmt_from_pet_expr:
fix memory leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaege
sca
n
.
cc: update commen
t
of valid_for_each_iteration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven
V
erdoolaege
allow nes
t
ed
a
cc
e
sses
in loop
u
pper bounds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven V
e
rdoolaege
allow
n
ested accesses in if condit
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
extr
a
ct n_nested_pa
r
ameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven V
e
rdoo
l
aege
e
xtr
a
ct is_nested_parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
erdoolaege
e
x
tract extract_
n
ested
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ver
d
oolaege
ren
a
m
e non_affin
e
to neste
d
_
acces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
a
d
d pe
t
_scop_writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
v
e
n Verdool
a
ege
privately export
pet_expr_foreach_acces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
add
-D o
p
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
d
oo
l
aege
ad
d
-I option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
e
n
Verdo
o
la
e
ge
pet: use isl for argument parsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
store
a
u
t
o
dete
c
t opti
o
n
i
n a separa
t
e pet_o
p
tions structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verd
o
o
l
aege
update isl for
s
uppor
t
f
o
r s
t
ring list a
r
g
ument
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Verdoolaege
upd
a
te isl for int
r
o
d
u
c
tion of
i
sl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ver
d
oolaege
use
t
he clang driver to obta
i
n c
o
mmand l
i
ne a
r
guments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Ver
d
oolaege
destroy MyDiagn
o
sticPrinter on newer clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ver
d
oolaege
suppor
t
more recent LLVMs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
update isl for support for r
e
cent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
e
xtract_affine: a variable
t
h
a
t
h
as been assign
e
d an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven
V
e
r
doolaege
in
d
uction va
r
i
a
ble of for
loop
s
h
o
uld
b
e cons
i
dered
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verd
o
o
la
e
ge
an address passed t
o
a con
s
t pointer argume
n
t should
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
Sven Verdoolaege
.
g
i
tignore: add c
o
nfig
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdo
o
laege
t
u
rn vi
r
t
u
al scala
r
s into virtua
l
arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n
Verdoolae
g
e
m
ark __pet_test_* sca
l
a
r
s as only att
a
ining value
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rd
o
olaege
a
llow labels on
expression statemen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
e
n
Verdoolaege
a
ll
o
w specific
a
t
i
on o
f
only lower b
o
u
nd on pa
r
amet
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Ver
d
o
o
laege
use isl
_
set_{lower,uppe
r
}_bound_si
ins
t
ead of our own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoo
l
aege
update isl for isl_
s
et_u
p
per_bound_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
er
d
oolaege
e
xplicit
l
y link in gm
p
wh
e
n
u
sing li
b
isl
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Ve
r
doo
l
a
e
ge
Make
f
i
l
e
.
am: appen
d
extra c
o
py of CLA
N
G_LDFLAGS
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
update
isl to versio
n
0
.
0
8
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
T
o
bias Gro
s
se
r
adapt to
the recent cha
n
g
e
s
in clan
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sv
e
n Verd
o
olaege
upd
a
te isl
f
or s
u
pport f
o
r recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rd
o
olae
g
e
accept
n
on-affine conditi
o
ns in if
statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
pet_sco
p
_add: also collect
the
arrays in the pet_scops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
V
erdoolaege
pet_stmt: a
d
d arg
u
ment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
e
g
e
p
e
t_stmt_from_pet_expr:
c
lear al
l
f
i
eld
s
of newly crea
t
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
update isl for change in isl_pw_aff_set_tuple
_
id prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoo
l
aeg
e
only distr
i
bute
b
undl
e
d submodules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doolaeg
e
keep track of
a
ssignmen
t
s to parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
export PetScan::extract_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
olaege
be more careful about
u
sing parameter spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
update
i
sl for isl_set_fro
m
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdo
o
laeg
e
handle extraction o
f
sc
o
ps i
n
side a loop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Verdoolaege
pe
t
_stmt_embed: handle
NULL stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Verdoolaege
pe
t
_expr_is
_
equ
a
l: not equal
i
f ac
c
e
ss
relation
is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven
V
erdoolaege
par
s
e
.
c: extract_argum
e
nt
s
: plug me
m
ory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdool
a
ege
upda
t
e isl for c
h
ange in isl_s
e
t_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
update i
s
l for change in isl_{in,}equality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoolaege
add co
p
yrig
h
t statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
S
ven Verdoola
e
ge
pet_scop_e
x
tract_from_C_source: use
a
CompilerInstance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
clear assigned_v
a
l
u
e
for s
c
alars that
are
a
ssigne
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolae
g
e
PetScan::s
e
t_upper_bounds: gracefully
h
andle er
r
ors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
laege
u
pdate isl for ch
a
n
g
e in space
of
isl_pw_* objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
update isl fo
r
explicit paramete
r
spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
g
e
use is
l
_space_params_a
l
loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolae
g
e
u
pdat
e
isl
f
o
r
isl_s
p
ac
e
_params
_
a
l
loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
r
e
name
isl_dim
to isl_sp
a
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
ol
a
eg
e
update isl for
re
n
am
e
of isl_
d
im to isl_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
accept
infinite while loo
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add "eq" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
acce
p
t
compound statements wi
t
h zer
o
stateme
n
ts when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
expr_col
l
ect_acc
e
sses: use
i
s
l
_
map_
h
as_
t
uple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next