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 0.02
2012-06-04
S
ven V
e
r
doolaege
pet 0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sv
e
n Verd
o
olaege
configure
.
ac:
a
llow specification of gm
p
l
ocat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoolaege
update isl to versi
o
n 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdool
a
e
g
e
README: mention
support for
n
on-
a
ffine co
n
ditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
READM
E
: u
p
date to latest releas
e
of
c
lang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
s
c
op_add_b
r
e
a
k: t
r
y a
n
d merge filters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaeg
e
support break and c
o
nti
n
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoolae
g
e
add p
e
t
_expr_filter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdoolaege
sc
o
p
.
c: ext
r
a
ct out
ins
e
rt_filter_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verd
o
olaege
s
cop
.
c: extrac
t
out args_insert_a
c
cess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
add pet_scop_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Ver
d
oolaege
PetScan::extract(IfStmt
*):
e
xtract out extr
a
ct_non_aff
i
ne_if
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n Verdoolaege
handle
g
eneric co
n
ditio
n
s is for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erd
o
olaege
pet_scop_embed:
take mappi
n
g f
r
om virtual to real iter
a
tor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
P
e
tS
c
an::extract_for:
r
ename variab
l
e "dim"
t
o
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoola
e
ge
scop
.
c: extract ou
t
in
t
ernalize
_
iv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdo
o
laege
scan
.
cc: m
o
ve has_nested up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Verdoolae
g
e
scan
.
c
c
: move is_ne
s
t
e
d_p
a
ram
e
ter up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
handle no
n
-affine conditions in while loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
ol
a
ege
scan
.
cc: extract out PetScan::extract_af
f
i
n
e_while
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n
V
erdoolaege
sca
n
.
cc: mov
e
s
c
op_add_array up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdo
o
laege
scan
.
cc: move create_test_access up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolaege
p
et_s
c
o
p_filter: al
l
ow fi
l
ters with non-zero-dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n
Verd
o
olaege
scan
.
cc: extra
c
t
out
identi
t
y_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oolaege
scan
.
cc
:
ext
r
act out inf
i
n
i
te_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Verdoolae
g
e
add pet_scop_reset_contex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoola
e
g
e
scop
.
c: fix
t
ypo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-02
Sven Verdoola
e
ge
P
etScan::extract_for: remo
v
e
i
ncorrect op
t
im
i
zation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoola
e
ge
support
d
ecrement a
n
d
i
ncrem
e
nt operations in sta
t
eme
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en Verdoolaege
scan
.
cc
:
fix
white
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolae
g
e
scan
.
cc: fix typ
o
s in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven
V
erdoolaege
PetScan::nest
e
d_a
c
cess:
check that nested acce
s
s do
e
s
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
PetScan::extra
c
t
_
n
on_aff
i
ne_condition: resolve
n
ested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven
Verdoolaege
Pet
S
can::ex
t
ra
c
t_access_expr: remove
duplication by
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
S
v
e
n Verdoolaege
cache assi
g
ned values in then and else
b
ran
c
h of if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdo
o
l
a
ege
p
e
t_s
c
op_co
l
lect
_
ar
r
ays: also collect arr
a
ys t
h
at
o
nly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdo
o
laege
s
can
.
cc: a
d
d
_pa
r
a
meter_b
o
unds: double check that there
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
pet_scop_restrict: p
r
oject out unnamed pa
r
a
m
e
t
ers from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en
V
e
r
doo
l
aeg
e
PetSc
a
n
::r
e
sol
v
e_nested: de
t
ect
a
n
d remove duplicate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoo
l
aege
PetScan::extract_
n
ested: in
s
ert out
e
r filters in earlier
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verd
o
olaege
m
a
rk __pet_t
e
st_* variables
as uniquely_define
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ve
r
doolaege
pet_arra
y
: add uniquely_defined attribut
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-14
Sven Ver
d
oolaege
support
any affine condition in a w
h
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-14
Sven Verd
o
o
laege
add PetScan::try_extract_affi
n
e_c
o
ndition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
make detection of co
n
di
t
ional as
s
ignment optional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sve
n
V
e
r
doolaege
pass
p
et
_
optio
n
s to Pe
t
Scan instead o
f
only the autodetect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven
V
e
r
doolaege
av
o
id neg
a
tive
array ind
i
ces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
S
v
en
V
erdoo
l
aege
p
e
t: allow spe
c
ifi
c
atio
n
of isl o
p
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-06
Sven
Verd
o
ola
e
ge
scop
.
c
:
ex
p
r_extr
a
ct_
c
ontext
:
d
o
n't assume access
i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-06
Sven Verd
o
olaege
ad
d
pet_expr_is_af
f
ine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
S
v
en Verdoolaege
adjust to c
h
ange in n
u
mb
e
r
o
f arg
u
m
e
nts of
D
eclRefExpr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven
V
erd
o
o
l
a
ege
l
ink in
n
e
w
-
lclang
E
dit
w
h
en a
v
ailable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdo
o
laeg
e
upda
t
e isl for support for recent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdoolae
g
e
avoid overfl
o
ws
o
n
sign
e
d
i
ntegers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaeg
e
P
etS
c
an::
e
xtract_
f
or: re
l
ax requi
r
emen
t
on i
n
crement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolaege
PetScan::extract_for
:
update contex
t
with re
s
p
ect
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
repres
e
nt loop increment as i
s
l_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdool
a
ege
allow slightly more generic
c
ompound i
n
cremen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::extract(IfSt
m
t
*
): update
conte
x
t w
i
th respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n
V
erdool
a
ege
try a
n
d extr
a
ct condition of tern
a
ry o
p
erator as a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
pet_scop_from_pet_stmt: extr
a
ct
c
ontext constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oolae
g
e
pet_sco
p
_rest
r
ict
:
update context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
pet_scop_emb
e
d: update conte
x
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
e
n
Verdoolaege
pet_scop_add: combine (i
n
tersect) contexts of original
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
add pet_sco
p
_rest
r
ict_c
o
ntex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
Pet
S
can:
:
extract_affin
e
: d
o
n'
t
bother w
i
th wrapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
P
etScan
:
:extract_condi
t
ion
a
l_
a
s
s
ignmen
t
: simplify co
m
putation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
repres
e
nt c
o
nditions u
s
ing
i
s
l_pw_affs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
aeg
e
Pe
t
Sca
n
::extract_for: compute gist befor
e
testi
n
g
whether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoolaege
PetSc
a
n::extract_for: only compute
i
s_simple onc
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
e
n
Verdoolaeg
e
PetScan
:
:extract_for: make do
m
ain refer
to the virtua
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
l
a
ege
Pet
S
can:
:
extract_for: also
call can_wrap on non-simple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdoolaege
PetScan::extr
a
ct_for:
explicitly keep track of
w
hen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoolaege
scan
.
cc:
s
trided
_
domai
n
:
return parameter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolae
g
e
lim
i
t param
e
t
ers in cont
e
xt to
p
o
s
s
i
b
le values of correspond
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::
e
xt
r
act_implicit_affine: simplify computation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolaege
u
p
date isl for change in
i
sl_pw_a
f
f_
c
ond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven V
e
rdoolaege
simpli
f
y
sets and relations in
p
e
t_
s
c
op with res
p
ect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
pass
val
u
e_bounds to PetScan
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
s
tore
value_bo
u
nds in isl_union_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
S
ven Verdoolaege
RE
A
DME: men
t
i
o
n
that ubun
t
u libclang-dev is not suf
f
icient
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-04
Sve
n
Verdo
o
laege
R
E
A
D
ME: mention potential p
r
oblem when
c
onfiguring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-06
Sven Ve
r
dool
a
ege
k
eep track of size of array
e
lements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verdool
a
ege
adjust to cha
n
ge in number of argu
m
ents of DeclR
e
fExpr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verdoolaege
confi
g
ure
.
ac:
r
emove spurious ","
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
S
v
en Verdoolaege
p
e
t_scop_ext
r
act_from_C_
s
ou
r
ce: reset
u
ser pointers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
update isl fo
r
fix
in isl_space_set_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
R
E
ADME: add more requirements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Ve
r
doolaege
update for ch
a
nge in clang's
H
and
l
e
T
opLevel
D
ecl return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
configure
.
ac: only link against
l
i
bra
r
ies
f
r
o
m
L
LVM
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaeg
e
update isl for supp
o
rt for r
e
c
e
nt cl
a
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-08
Sven
Ver
d
o
o
laeg
e
s
can
.
cc
:
fix typo
s
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
S
ven Ver
d
o
olaege
scop
.
c: fi
x
typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
S
v
en Verdoolaege
add --ve
r
s
i
on optio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
e
r
doolae
g
e
pet 0
.
0
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdool
a
ege
update is
l
t
o
version
0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoo
l
aeg
e
c
onfigure
.
ac: specify addre
s
s
f
o
r
bug reports
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
check for p
r
esence
o
f pr
o
t
otype before acce
s
sing parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
S
v
en Verdoolaege
PetScan::unsupported: optionally print custom message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoolaege
READM
E
: add
a
smal
l
n
o
te
on
h
ow to
use pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next