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
allow slightly more generic compound increment
2012-03-06
Sv
e
n
V
erdoolaege
allo
w
slightly mor
e
generic
comp
o
und increment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolae
g
e
PetScan::
e
xtract(IfStmt *): upd
a
te context
w
ith respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
try
and extract c
o
ndit
i
on o
f
t
e
rnary
o
p
erator
a
s
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaeg
e
pet_scop_
f
r
o
m
_pet_stm
t
: extract context con
s
traints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
pet_
s
cop
_
restrict
:
update
c
ontext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
pet_sco
p
_emb
e
d: update context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolae
g
e
pet_scop_add: combine
(intersect) context
s
of o
r
iginal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
add pet_scop_restrict_cont
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolaege
P
e
tS
c
an::extract_affi
n
e: do
n
't bother with wrapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
ege
PetScan::extract_
c
o
nditional_assignment: s
i
mp
l
ify co
m
puta
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
olaege
rep
r
esent conditions
u
sing
i
s
l
_pw_affs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oolaege
PetScan::extract_for: compute gist before
t
es
t
in
g
whether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoola
e
ge
PetSc
a
n:
:
e
xtra
c
t_for: only
c
ompute is_simple once
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdo
o
laege
PetScan::ex
t
ract_f
o
r: m
a
ke do
m
ain refer to the
virtua
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Ve
r
d
o
olaege
PetScan::extract_f
o
r: also call can_wrap on no
n
-
simple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
PetScan::extra
c
t_for:
e
xplic
i
t
ly keep track of w
h
en
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoola
e
g
e
sca
n
.
cc
:
strided
_
domain: ret
u
rn
p
arameter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolae
g
e
limit parameters i
n
context to possible values of corres
p
ond
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
e
n
Verdoo
l
a
ege
PetScan
:
:extract_implic
i
t_affine: simplify computation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
update
isl
f
or change in isl
_
pw_a
f
f_cond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
S
ven Verdoolaege
simplify sets
and
r
ela
t
i
o
ns in pet_scop with respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven Ver
d
oolaeg
e
p
a
ss value_bounds to PetScan
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven Ver
d
oolae
g
e
sto
r
e v
a
lu
e
_bou
n
ds in isl_u
n
ion_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
READM
E
: mention t
h
at ubuntu li
b
clang-dev is not
s
ufficient
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
README: men
t
ion potential
p
roblem when configur
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-06
Sven Verdoolaege
keep
track
o
f
si
z
e of array el
e
men
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verdool
a
ege
ad
j
ust to ch
a
ng
e
in nu
m
ber of argumen
t
s of Dec
l
R
efExpr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verdoolaeg
e
conf
i
gure
.
ac: remo
v
e
s
p
u
rious ","
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-03
Sv
e
n van
H
a
a
stregt
pet_scop_extract_fro
m
_
C
_
s
ourc
e
: return NULL in
case
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Ve
r
d
o
o
laege
p
e
t_s
c
op_extra
c
t_from_C_source:
r
e
set user pointers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
up
d
a
t
e
i
s
l
for f
i
x
in is
l
_space_se
t
_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sv
e
n Verdoolaege
READM
E
:
a
dd more requirements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
S
ven V
e
r
d
oolaege
update f
o
r change in cl
a
ng
'
s HandleTopL
e
velDecl re
t
u
r
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven V
e
rdoolaege
config
u
re
.
a
c: only
link ag
a
i
ns
t
libraries from LL
V
M
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
S
ven Verdoolaege
update i
s
l fo
r
s
u
pport for rece
n
t clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-08
S
ven
V
erdoolaege
scan
.
cc: f
i
x typos in com
m
en
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdoolae
g
e
scop
.
c:
f
ix typo in comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
Sven
Verdoolaege
add -
-
version option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolae
g
e
pet 0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
S
ven Verdo
o
l
a
ege
update
i
sl to version 0
.
0
9
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven
V
erdool
a
ege
configure
.
ac: specify address for b
u
g
reports
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
S
v
en Verdoo
l
aege
c
h
ec
k
fo
r
prese
n
c
e
of pro
t
ot
y
pe before acce
s
sing param
e
ters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sve
n
Verdoolaeg
e
P
etS
c
an::unsupported
:
optionally prin
t
cus
t
om message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoolaege
README: add a small
note on how to
us
e
pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sven
V
e
rdoolaege
k
eep track of "
a
ddr
e
ss of" ope
r
a
t
ors on access
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Verdoolaege
scop_extract_from_C_source: properly clean
up if input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Ve
r
doolaege
co
n
struct_
i
nvocat
i
on: a
d
d missing ch
e
ck for jo
b
s
size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en
Ve
r
doo
l
aege
cache values i
n
assigned_va
l
ue inste
a
d of expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
rd
o
olaege
allow boolean
e
xpressions
w
here an affine expr
e
ssion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
rdoo
l
aege
allow par
e
ns ar
o
u
nd in
t
eger
literal in s
e
con
d
argumen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ver
d
oolaeg
e
add extra min test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
ven Verdoolae
g
e
upda
t
e isl
f
or isl_pw_aff_has_dim
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
r
doolaege
add mis
s
ing namespace qualification
o
n llvm::ArrayR
e
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
S
ven
Verdoolaege
pet_stmt
_
from_pet_expr: fix memory leak on
error
p
ath
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaege
scan
.
cc: u
p
date comment o
f
valid_fo
r
_eac
h
_
iteration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
v
e
n V
e
rdoolaege
a
l
low n
e
s
t
ed ac
c
esses in loop upper
b
ound
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven
V
er
d
oolaege
all
o
w nested acces
s
es in if conditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
e
r
doola
e
g
e
extract
n
_
nested_p
a
r
a
m
eter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sve
n
Verdoolaege
e
x
t
ract is_nested_para
m
e
t
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven
Verdoolaege
extract extract_nested
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sve
n
Ve
r
doolae
g
e
rename non
_
affine
to
n
e
sted_a
c
cess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sve
n
Verdool
a
eg
e
add pet_scop_w
r
ites
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaeg
e
private
l
y export pe
t
_expr_fo
r
each_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en Verdo
o
l
a
ege
add -D option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verd
o
olaege
add -I op
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
pet: use isl for argument parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
laege
st
o
re autodetect op
t
i
on in a separate
p
et_options structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verdoolaege
update isl for support fo
r
string list ar
g
um
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Verd
o
o
l
a
ege
update isl for int
r
oduction of i
s
l_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Ver
d
oolaege
use the cl
a
ng driver
to ob
t
ain
command li
n
e
arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven V
e
rdoolaege
de
s
troy MyDiagnostic
P
rinter on new
e
r clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
er
d
oolae
g
e
sup
p
o
rt more recent LLV
M
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Ve
r
d
o
olaege
update isl
f
or support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
S
ven Verdoola
e
ge
ext
r
act_af
f
ine
:
a
v
ariable that has been a
s
signed a
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sv
e
n Verdoolaege
ind
u
ction va
r
iable of
for loop shou
l
d be consi
d
e
r
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoola
e
ge
an address passed to
a
cons
t
pointer
a
r
gument should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
Sven Ver
d
ool
a
eg
e
.
gitignore: add
conf
i
g
.
h
.
in~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdool
a
ege
turn virtual
s
c
a
lars into virtual a
r
r
ays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoo
l
aege
m
a
rk
_
_pet_test_
*
scalar
s
a
s
o
nly attaining values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n
V
erdoolaege
a
l
low labels
o
n expression statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
er
d
oo
l
aege
allow specification of
onl
y
lower bound on
p
aramet
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdoo
l
a
ege
use isl_set_{lower,uppe
r
}_boun
d
_si instead of our own
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolaege
upda
t
e isl for isl_set_upper
_
bound_s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
explicitl
y
link in gmp when
u
sing
libisl
.
l
a
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven V
e
rdo
o
laege
Makefile
.
am: append
e
xtra copy
of
CLANG_LD
F
LAG
S
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdo
o
laege
u
pdate isl to vers
i
o
n 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Tobias
G
ros
s
e
r
adapt t
o
t
h
e rec
e
nt change
s
in clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
u
pd
a
te isl for suppo
r
t
for rec
e
n
t
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolaeg
e
ac
c
ept non-aff
i
n
e conditions in if statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdool
a
ege
pet_scop_add: also col
l
ect the arra
y
s in th
e
p
e
t
_
s
cops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoo
l
a
ege
pet_stm
t
: a
d
d argument
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdoolaege
pet_stmt_from_pet_
e
x
pr
:
clear all fields o
f
ne
w
ly cre
a
ted
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdoolaege
update isl fo
r
cha
n
ge in
isl_pw_aff_set_tuple_id
p
rototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
a
e
ge
on
l
y distribute bundled
submod
u
les
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
aege
k
e
e
p track of a
s
s
ignmen
t
s to parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
e
r
d
oolaege
expor
t
PetSc
a
n::extract_i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n V
e
rdool
a
ege
b
e more careful abou
t
u
s
ing parameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verdoolaege
upda
t
e isl fo
r
isl
_
set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdoolaege
h
andle ex
t
r
a
ction of
s
cops i
n
side a
l
oop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdo
o
laege
p
e
t_stmt_e
m
be
d
: handle
NULL stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next