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
add pet_scop_reset_context
2012-06-03
Sven Verdool
a
ege
add pet
_
scop_reset_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdo
o
laeg
e
scop
.
c: fix typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-02
Sv
e
n
V
erdoolaege
P
etS
c
an::extract_for: remove incorrect optimization
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoo
l
ae
g
e
support de
c
r
e
ment and inc
r
ement operations in
s
t
a
t
ement
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Verd
o
ol
a
e
ge
scan
.
c
c
: fix whitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n Verdo
o
laege
scan
.
cc: fix
t
ypos i
n
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven
V
e
r
doolaege
P
etSca
n
:
:nested_access: check
t
hat
n
es
t
ed access doesn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
P
etScan::extract_non_affine_condition: resolve nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
P
etSca
n
::extract_acces
s
_e
x
p
r
:
remove d
u
plication
b
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n Verd
o
ola
e
ge
c
a
che
assigned values
i
n then and else
b
ranch
o
f
if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoola
e
ge
pet_scop_c
o
l
l
ect_arrays: a
l
so collect arrays
that
o
nly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoola
e
ge
scan
.
cc: add_par
a
mete
r
_bou
n
ds: double check
tha
t
there
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven
V
erdoolaege
pet
_
s
c
o
p_restrict: project
o
ut u
n
nam
e
d parameters from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
ven Verdoolaege
PetScan::resolve_
n
ested: detec
t
and
r
e
m
o
ve duplicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
oolaege
Pe
t
Scan
:
:extract_nested: ins
e
r
t
outer filters in earlier
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
mark __pet_
t
est_* varia
b
les as unique
l
y_defined
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en
V
er
d
oolaeg
e
pet_arra
y
: add
uniquely_de
f
ined at
t
ribut
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
S
ven Verdoola
e
ge
supp
o
rt any affine condition in a while
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
Sven Verdoolaege
a
dd PetSc
a
n::try_extract_affine_co
n
dition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
make detection of con
d
it
i
o
n
a
l assignment
optional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Ver
d
o
ol
a
ege
pas
s
p
e
t_options to Pet
S
can instead of
o
nly the a
u
todete
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
a
void negative array indices
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
S
v
e
n Verdoolaege
pet: allow s
p
eci
f
ication of i
s
l
options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
Sven Verdool
a
ege
s
c
op
.
c: expr_extra
c
t_context
:
don't ass
u
me acce
s
s is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
S
v
en
V
erdoolaege
add pet_expr_i
s
_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoo
l
aege
adju
s
t to
c
h
ange in number of arguments o
f
D
eclRef
E
x
pr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolae
g
e
lin
k
in new -l
c
langEdit
when available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
up
d
ate isl fo
r
support
f
o
r
recent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
aege
avoi
d
over
f
lo
w
s on
signe
d
integers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doolaege
P
etScan::extract
_
for: relax requi
r
ement o
n
increme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolae
g
e
Pet
S
can::extract_for: up
d
ate c
o
ntext with respect to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
aege
repres
e
nt
l
oop in
c
rement as isl_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolaege
a
l
low s
l
ightly mor
e
generic co
m
pound i
n
crement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaeg
e
Pe
t
Scan::extract(IfStmt
*
): up
d
ate co
n
text
w
ith
respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdool
a
e
ge
try
a
nd
extract
c
ondition of ternar
y
operator as a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
l
aege
pet_scop_fro
m
_pet_stmt: ext
r
act co
n
text constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rd
o
olaege
pet_scop_
r
estrict: update
c
ontext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdoolaege
pet_
s
cop_embed: update co
n
text
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoo
l
aege
pet_scop_add: c
o
mbine (intersect) contexts of original
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdoolaeg
e
a
dd
p
et_scop_
r
e
s
trict_cont
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetS
c
an::extract_affine:
d
on't bother with wrapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doolaeg
e
PetScan::ex
t
rac
t
_co
n
dit
i
onal_assignment: si
m
p
lify computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oolaege
represent conditi
o
n
s using
isl_pw
_
affs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan:
:
ex
t
ract_f
o
r: c
o
mpute
g
i
s
t
before testing whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolaege
P
e
tScan::e
x
t
r
act_for: on
l
y compute
is_simple once
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::e
x
tr
a
ct_for: make domain r
e
fer to
the
virtual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
ol
a
ege
Pe
t
S
c
an::ext
r
act_for: also call can_w
r
ap o
n
non-simpl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
P
etScan::extract_for: explicitly
keep track of when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
scan
.
cc: st
r
i
ded_domain: return p
a
rameter
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oolaege
l
imit parameters
in context to p
o
ss
i
ble values
of correspond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
olaege
PetScan::extract_impl
i
c
i
t
_
affi
n
e: sim
p
lify c
o
mputation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
V
e
rdoolaeg
e
u
pda
t
e
isl for
change in isl_pw_aff
_
cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
s
i
mplify sets an
d
relations
in
p
et_sc
o
p with re
s
pe
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
pa
s
s valu
e
_bounds to P
e
tS
c
an
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
S
v
en Ver
d
oolaege
store value_bounds
in isl_union_
m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Verdoolaege
README: mention that ubuntu l
i
bclang-dev
is not
suffic
i
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven Ver
d
oola
e
g
e
README: men
t
io
n
p
o
tential problem when configuring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-06
Sven Verdoolaege
keep
t
rack of
size of array eleme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sven
V
erdoo
l
aege
adjust to ch
a
n
g
e in number of arg
u
ments of DeclRefE
x
pr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sven Verdoolaege
c
o
n
f
igure
.
a
c
:
remove spurious ","
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
S
ven Verdool
a
ege
pet_scop
_
extra
c
t_from
_
C_so
u
rce: reset user pointers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven
V
erdoolaege
update isl fo
r
f
ix in i
s
l_space_set_dim_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
S
v
e
n Ve
r
doo
l
aege
R
E
ADME: add m
o
r
e requ
i
rem
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
upda
t
e for change in clang's HandleTopLevelDecl ret
u
rn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdo
o
laege
co
n
f
i
gure
.
a
c:
o
nl
y
l
ink against librari
e
s from LLV
M
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
upd
a
te isl for support
f
or
recent
c
l
ang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-08
Sven
Verdo
o
laege
scan
.
cc: fix
typo
s
in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
S
v
en Verdo
o
laege
scop
.
c: f
i
x typo in
c
o
m
m
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sven Verdo
o
l
aege
add --version op
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven V
e
rdool
a
ege
p
e
t 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven
V
erdoolaege
update isl to version 0
.
0
9
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven
V
erdoolaege
configur
e
.
ac: s
p
ecif
y
address
f
or
b
ug re
p
orts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdo
o
laege
c
h
eck
f
o
r presence of prototype bef
o
re
a
c
c
essing param
e
ters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoo
l
aege
PetScan::un
s
u
pported: opt
i
ona
l
ly prin
t
cust
o
m message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoolaege
READ
M
E: add a s
m
all note on ho
w
to
use pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sv
e
n Ver
d
oolaege
k
eep track of
"
address of" oper
a
t
o
rs
on accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en Verd
o
olaege
scop_extract_
f
rom_C_source:
prop
e
rly clean
up if input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven
V
erdoolaege
c
onst
r
uc
t
_invoca
t
ion: add
m
i
s
s
ing check for jobs size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
c
a
ch
e
v
a
lues i
n
assigned_value
instead of ex
p
ressio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoo
l
aeg
e
allow boolean expressions where
an affin
e
expr
e
ssion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Verdo
o
laeg
e
allow pare
n
s
around integer literal in second a
r
gument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven
V
e
rdoola
e
ge
a
dd extra
m
in test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Verdo
o
laege
update is
l
f
or isl_pw_aff_has_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdool
a
eg
e
ad
d
m
i
ssin
g
namespa
c
e qual
i
f
i
ca
t
ion on llvm::ArrayRef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven V
e
r
do
o
laeg
e
pet_stmt_from_pet_expr:
f
i
x me
m
ory leak o
n
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Ver
d
oolaege
scan
.
cc: update comment of valid_for_each_iterat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ver
d
oolaege
allow nested ac
c
e
s
ses in loop upper bou
n
ds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven
V
erdoo
l
aege
a
l
low nested accesses in if con
d
i
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
e
x
trac
t
n_nested
_
par
a
meter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
erdo
o
laege
extract i
s
_nested_parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven V
e
rdoolaege
extract
extract_nested
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ver
d
oolaege
ren
a
me non_affin
e
to nested_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sve
n
Verdoolaege
add pet_scop_writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
privately expo
r
t pet_expr_foreach
_
access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
S
v
en
V
erdoolae
g
e
add -D opt
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
add -I opt
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdool
a
ege
pet: use isl for ar
g
ument parsin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
e
n
V
er
d
oola
e
ge
st
o
re autodetect o
p
tion in a separate pet_options structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
Verdoolaege
update i
s
l
f
or su
p
p
ort for string list arg
u
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdool
a
e
g
e
update is
l
f
o
r
in
t
roduc
t
ion of
i
sl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next