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
update isl for support for recent clangs
2012-03-27
Sven Verdoo
l
aege
update isl for suppor
t
f
or r
e
ce
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doolaege
avoid overfl
o
ws
o
n
s
igned inte
g
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
P
e
t
Scan::extr
a
ct_for: relax
requirement on increme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::extr
a
ct_for: upda
t
e c
o
nte
x
t
w
i
th
r
espect to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
r
doolaege
repre
s
ent loop increment a
s
isl_pw
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
aege
al
l
ow
slightly more generic compound
increment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetSca
n
::extract(IfS
t
mt
*
)
:
u
pda
t
e context with respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoolaege
try and e
x
tract condition of tern
a
ry o
p
er
a
tor as a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
olaege
p
et_s
c
o
p
_
from_
p
et_stmt
:
extract context
constraint
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
p
e
t_scop_restrict: updat
e
context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolae
g
e
pet_scop_
e
mbed:
u
pdate
c
o
n
text
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en
V
erdoolaege
pet_sco
p
_
a
dd: combine (i
n
tersect) contexts of orig
i
na
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
e
n
V
erdoolaeg
e
add pet_scop_res
t
rict_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoolaege
PetScan:
:
extract_affine: don'
t
bot
h
er with wrappi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
P
etScan::extract_co
n
ditional_
a
ssignment: simplify computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verd
o
olaege
re
p
resent condi
t
i
ons using is
l
_
pw_affs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
e
n
V
erdoolaege
PetScan
:
:extra
c
t_for: com
p
u
t
e gist before testing w
h
eth
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan
:
:extrac
t
_
for: o
n
ly compute
i
s_sim
p
le
once
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdoolae
g
e
PetScan::
e
xt
r
a
c
t_for:
mak
e
d
oma
i
n refer
t
o the virtual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
Pet
S
can:
:
extract_for: also call ca
n
_w
r
ap
o
n non-simple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
P
e
tScan
:
:
e
xtract_for: expli
c
itly kee
p
t
rack
of wh
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
laege
scan
.
cc: strided_domain: return p
a
ramete
r
s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verd
o
o
l
aege
l
i
mit para
m
eters in context to po
s
s
ible val
u
e
s of
co
r
respond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdoolaege
Pet
S
can::
e
xtract_im
p
licit_affine: simplify co
m
putation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
d
o
ola
e
ge
update isl for ch
a
n
g
e
in isl_p
w
_a
f
f_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdool
a
ege
s
implify sets and relations in pet_scop with
respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
S
ven Verdool
a
ege
pass v
a
lue_bound
s
t
o P
e
tScan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
S
ven Verdoolaege
store value_bounds
i
n isl_union_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sve
n
Verdool
a
ege
READ
M
E
: mention that ubu
n
t
u li
b
clang-dev is not suf
f
ici
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sve
n
Verdoolae
g
e
README: menti
o
n potentia
l
problem w
h
e
n
configu
r
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-06
Sven Verdoolaege
keep trac
k
of s
i
ze of array elem
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verdo
o
lae
g
e
a
dj
u
st to change in number of arguments of Decl
R
efExpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verdoolaege
c
o
n
figure
.
ac: remove spurious ","
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sve
n
Verdool
a
e
ge
pet_
s
cop_ext
r
a
c
t_from_C_source: reset user pointer
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven
Verdoo
l
a
ege
update isl for fix in isl_space_s
e
t
_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Ver
d
o
o
laege
R
E
AD
M
E: add
more r
e
qui
r
emen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoo
l
aeg
e
u
pda
t
e
f
o
r c
h
ange in
clang's Han
d
l
e
T
o
pLevelDecl return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
S
v
en
Verdoolaege
con
f
igure
.
ac: only link aga
i
ns
t
lib
r
aries from LL
V
M
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven
V
e
rdoolaege
update is
l
for s
u
pport fo
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-08
Sv
e
n Verdoolaege
sc
a
n
.
cc:
f
i
x typos
i
n
commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoolaege
s
cop
.
c
: fix typo in
c
om
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verd
o
olaege
add --version o
p
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
e
n
Verdoolaege
pe
t
0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
update isl to
v
ers
i
on
0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoola
e
g
e
conf
i
gure
.
ac:
s
p
ecify
address for
b
ug reports
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
check
for presence
o
f pr
o
totype before accessing
p
arameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verd
o
olaege
PetScan:
:
unsuppor
t
ed: optionally
pri
n
t
custo
m
mess
a
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven
Ver
d
oolaeg
e
RE
A
DME: add a
small n
o
te on how
to use
p
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoolaege
keep track of
"
address of"
o
pera
t
ors
o
n ac
c
esses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdool
a
ege
scop_extract_from_C
_
s
ource: pr
o
perly
c
lea
n
up
if in
p
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
rdoo
l
aege
c
o
ns
t
ruct_invocation:
add missing check
for jobs size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ve
r
doolaege
cache values
in assign
e
d_value instead of
ex
p
r
e
ssions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en Verdoolaege
allow boolean expre
s
sions where an affine express
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
V
e
rdoolae
g
e
a
llow parens
a
round integer literal in
second arg
u
me
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
add extr
a
m
i
n
t
est
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaeg
e
update isl for is
l
_pw_aff_has_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en V
e
rd
o
olaege
add
m
issing
n
amespace
qualifica
t
i
o
n on
ll
v
m::
A
rrayRef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven
V
er
d
oolae
g
e
pet_stmt_from_pet_
e
x
p
r: fix memory
leak on er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven V
e
rdoolaege
scan
.
c
c: update comment of valid_for_each_itera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaeg
e
all
o
w n
e
st
e
d accesses in l
o
op up
p
er b
o
un
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoola
e
g
e
allow nested acce
s
s
es in if cond
i
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
extract n
_
nested_parame
t
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
e
xtract
is_n
e
sted_paramet
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
v
en Verdool
a
ege
ex
t
ract
e
xtrac
t
_nested
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
ven
Verdoolaege
rename non_af
f
ine
t
o nested_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
add p
e
t_scop
_
writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven V
e
rdoo
l
aege
pr
i
vately export pet_expr
_
fore
a
ch
_
a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verd
o
o
laege
add -D option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven V
e
rd
o
olaege
a
d
d -I opt
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
pet:
use i
s
l for argument parsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
s
t
ore a
u
to
d
etect option
i
n a separate pet_options s
t
ructure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Ve
r
doolaege
update isl for support f
o
r s
t
r
i
ng li
s
t arg
u
men
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ve
n
V
e
rdoolaege
u
pdate isl
f
o
r
introducti
o
n
of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en V
e
rdoolaege
use the clang driver to obta
i
n command line argume
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
erdo
o
lae
g
e
d
e
stroy MyDia
g
no
s
ticPrinter
o
n newer clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Verdoolae
g
e
support more re
c
ent
LLVM
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdool
a
ege
u
p
d
ate isl
f
or support for
r
e
cent
cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaeg
e
extr
a
ct_affine:
a
varia
b
le that has b
e
en
a
ssigned an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Ve
r
doola
e
ge
i
n
duction var
i
able of
for loop should be considered
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven V
e
rdoolaege
an addr
e
ss passed t
o
a
const po
i
n
t
er ar
g
um
e
nt should
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
S
v
e
n Verdoolaege
.
giti
g
nore
:
a
dd config
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
tur
n
virtual
sca
l
ars int
o
v
irtua
l
a
rrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
mark
__pet_test_*
scal
a
rs as only a
t
taining
v
alues
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoolaege
all
o
w
l
a
b
el
s
on expressio
n
statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdoolaeg
e
allow s
p
ecification of only lower
bound
o
n parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolae
g
e
us
e
isl_set_{lower,
u
p
p
e
r
}
_
b
o
und_si inst
e
ad of o
u
r own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaeg
e
upda
t
e isl
f
or
isl_
s
et_upper_bound_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ve
r
doolaege
e
x
plicitly link in gmp when using libisl
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
S
ven Verdoolaeg
e
Makefile
.
am: append e
x
tra c
o
py of CLANG_LDF
L
AGS to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven V
e
rdoolaege
u
pdate i
s
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
update isl for support f
o
r recent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
e
g
e
accept
n
on-affine c
o
ndit
i
ons in if
statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verd
o
o
laege
pet_scop_
a
dd
:
also co
l
lect the
a
rra
y
s i
n
the pet
_
sc
o
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
a
e
g
e
p
et_stmt: add arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
olaege
p
et_
s
tm
t
_from_pet_exp
r
:
cle
a
r all fields
of n
e
wly created
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
up
d
ate isl for change
i
n isl_pw_
a
ff_set_tuple_id pr
o
t
o
type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
d
oolaege
o
nly di
s
trib
u
te bundl
e
d submod
u
les
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
laege
keep trac
k
of assign
m
ents
t
o
paramet
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verdoolaege
export PetScan
:
:extract_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
be more careful about
u
sing parameter
s
paces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next