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
link in new -lclangEdit when available
2012-03-27
Sven Verdoolaege
li
n
k
in new -lcla
n
gEdit when availa
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Ver
d
oolaege
update isl for
s
upport for
r
ecent
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
e
rdoo
l
aeg
e
avoid overflow
s
on signed inte
g
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdo
o
lae
g
e
P
e
tSca
n
::ex
t
ract_
f
or: relax requirem
e
nt on increment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolae
g
e
PetScan:
:
extract_f
o
r: update
contex
t
with respect to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Ver
d
oolaege
represen
t
l
oop incr
e
ment as isl_pw
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdo
o
l
aege
allow
s
lightly mo
r
e
g
eneric com
p
ound increment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Ver
d
oolaege
PetS
c
an
:
:e
x
tract(IfStm
t
*): update
context with respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoolaege
t
r
y and extract condit
i
on
o
f terna
r
y opera
t
or as a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
pet_scop_fro
m
_p
e
t_stmt: extrac
t
context con
s
traint
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaeg
e
pet_sc
o
p_restri
c
t: update
c
ont
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven
Ve
r
doola
e
ge
p
e
t_scop_embed: update
contex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
la
e
ge
pet
_
scop_a
d
d: combine (inters
e
ct)
c
ontexts of original
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdo
o
l
a
e
ge
ad
d
p
e
t
_
s
c
op_r
e
st
r
ict_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en
V
er
d
o
o
laege
PetScan::extrac
t
_a
f
fine:
don't
b
other with wrapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doolaege
P
et
S
can::extract_conditio
n
al_assignm
e
nt:
simplify computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolae
g
e
r
epresent conditions using is
l
_pw_affs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetSca
n
:
:
ex
t
r
a
ct
_
for: comput
e
g
ist before testing whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdoolaege
PetScan::
e
xtrac
t
_for: only com
p
ute is_simple once
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
r
d
oolaege
PetScan::extract_for:
m
ake
d
omain refer to the virtual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
e
r
doolae
g
e
Pe
t
Scan::e
x
tract
_
f
or:
a
l
so c
a
l
l
can_wrap on non-simple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
laege
P
e
tScan::extract_for:
e
xplicit
l
y keep track of when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdo
o
laege
scan
.
c
c:
strided_domai
n
: return para
m
et
e
r set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolaege
l
i
mi
t
paramet
e
r
s
in co
n
text
to possib
l
e
v
alue
s
of corr
e
spond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
eg
e
PetScan::extract_im
p
licit_affine: s
i
mplify computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
u
pdate isl for
change in isl_pw
_
a
f
f_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven
Verdoolaege
simplify se
t
s
and relations in pet
_
sco
p
with re
s
pect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
pass
v
alue_bound
s
to P
e
tScan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdo
o
l
a
e
g
e
store v
a
lue_b
o
unds in is
l
_union_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdool
a
e
g
e
README:
m
ention
that ubuntu libcl
a
ng-dev
is not suff
i
cient
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven
Verdoolaege
R
E
ADM
E
:
m
ention potenti
a
l pro
b
lem wh
e
n
configuring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-06
Sven V
e
r
d
oolaege
keep track of s
i
ze of ar
r
ay
e
lemen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sven
Verd
o
ol
a
eg
e
adjust
to change in number of
a
rguments o
f
Decl
R
efE
x
p
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sven
Verdoolaege
c
onfigur
e
.
ac:
r
emove
s
p
u
rious ","
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Ve
r
do
o
l
aege
pet_s
c
o
p
_ext
r
act_
f
rom_C_source: re
s
et user pointers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Ve
r
doolaege
update isl for fix i
n
i
s
l_spa
c
e_set_d
i
m_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven
V
erdoolaege
README: add more req
u
irements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdo
o
laege
update for change in clang's HandleTopL
e
velDecl r
e
t
urn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
S
v
en V
e
r
doolaege
confi
g
u
r
e
.
ac: only link against librari
e
s from
L
LVM
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven
Verdoolaege
update is
l
for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-08
S
ven Verdool
a
e
g
e
scan
.
cc: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoolae
g
e
scop
.
c: fix typo in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoolaege
add --
v
e
rsion option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven V
e
r
doolaege
pet
0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verd
o
olaege
update
i
sl
to
version 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven
V
erdoolae
g
e
conf
i
gure
.
ac: specify address for bug
reports
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
chec
k
for presence
o
f
p
rototype bef
o
re accessing par
a
met
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoola
e
g
e
PetS
c
an::unsupported: optionally pr
i
nt cust
o
m message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven Ver
d
o
olaege
README: add
a
small n
o
te o
n
ho
w
to use p
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sv
e
n
V
erdoolaege
keep track of "ad
d
ress of"
o
pera
t
o
r
s
o
n
accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
ven Verdoola
e
ge
sco
p
_extract_from_C_source: properly cl
e
an up if input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verd
o
olaege
const
r
uct_invocation: add missing check for jobs s
i
z
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Verdoolaege
cache values in
assigned_v
a
lue
i
nstea
d
of expression
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
ven Verdo
o
laege
a
l
lo
w
b
o
olean
expressi
o
ns wh
e
re an affi
n
e
expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Verdool
a
ege
all
o
w
p
are
n
s ar
o
und
i
nteger literal in second argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
rdoolaege
add
e
x
t
ra min te
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Verdoolaeg
e
up
d
ate isl for isl_pw_aff_has_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Verdoolae
g
e
add missing namespace qualificat
i
on on llvm::ArrayRef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
S
v
en Verdoolaege
pet_st
m
t_from_
p
et_expr: fix memo
r
y
leak on
e
rror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Ver
d
oolaege
scan
.
cc: updat
e
com
m
ent of vali
d
_for_ea
c
h_it
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
allow nest
e
d ac
c
esses in loop
up
p
er b
o
un
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven
V
erd
o
olaege
allow n
e
sted a
c
ces
s
es in if co
n
dition
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
extract n_ne
s
ted_paramet
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ver
d
oolae
g
e
extract i
s
_nested_parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n V
e
r
d
oo
l
aege
extr
a
c
t ext
r
act
_
n
e
sted
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n
V
erdoo
l
aege
re
n
ame non_affine to
n
e
sted_ac
c
ess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
add pet_sc
o
p_writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ver
d
oolaege
priva
t
ely exp
o
rt pet_ex
p
r_foreach_a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
a
d
d -D o
p
tio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
e
rdoolaege
a
d
d -I option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
e
r
doolaege
p
et:
use isl for a
r
gu
m
e
n
t parsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdool
a
e
g
e
s
tore autodetect option in a
sep
a
rate pet_opti
o
ns
s
truct
u
re
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoolaege
update
isl fo
r
support
f
or str
i
ng
li
s
t
arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
upda
t
e
isl f
o
r introd
u
ction of isl
_
a
r
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
er
d
oo
l
a
e
ge
use
t
he
c
la
n
g driver to obtai
n
command
l
ine arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoola
e
ge
d
estroy MyDiagnosticPrinter on newer
clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Ver
d
o
o
l
ae
g
e
suppor
t
more recent LLVMs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
update isl for s
u
pport for rece
n
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Ve
r
doolaege
ext
r
ac
t
_affi
n
e: a va
r
iable
t
h
at has been assig
n
ed an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaeg
e
induction vari
a
b
le of for loop should be considered
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
S
v
en Verdoolaege
an address passed to a const pointer argument shoul
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
Sven Verdoolaege
.
giti
g
n
o
r
e: add
c
onfig
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolae
g
e
turn virtual
scala
r
s into
virtua
l
arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doo
l
aege
mark __pet_test_
*
sca
l
a
r
s as
only attaini
n
g values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolaege
allow lab
e
ls on expressi
o
n st
a
tements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
allow specifica
t
ion of o
n
ly lower bound on param
e
ter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ver
d
o
o
l
aege
use
i
sl_set_
{
low
e
r,
u
ppe
r
}_bound_
s
i
i
nstead of
our own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
update isl for
i
sl_set_upper_
b
oun
d
_s
i
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoo
l
aeg
e
expli
c
it
l
y link in gmp when using
l
i
bi
s
l
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Ver
d
oolaege
Ma
k
e
file
.
am
:
append ex
t
ra cop
y
of CLANG_LDFLAGS to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven
V
erdo
o
laege
upda
t
e isl to ve
r
sion 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
S
v
en Verdoolaege
update isl f
o
r support for recent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
e
g
e
ac
c
ept non-affine conditions in
i
f
statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaege
pet_scop_add: als
o
collect
t
he array
s
in t
h
e p
e
t_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
Sv
e
n
Verdool
a
e
ge
p
e
t_stmt_f
r
om_pet
_
expr
:
c
l
ear all
f
ields
of newly c
r
eated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
o
l
a
ege
update isl fo
r
chang
e
in isl_
p
w_
a
ff_set_t
u
ple_id pr
o
toty
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
laege
o
nly d
i
s
tribu
t
e bundled s
u
bmodules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdoolaege
kee
p
track of
a
ssignments to parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en
V
erdoolaege
export PetScan::extract_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next
