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
clear_assignments: also consider decrements and increments as assignments
2012-02-01
Sven Verdoo
l
a
e
ge
u
pdate isl for fix in isl_space
_
s
et_d
i
m_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven
V
e
rdoolaege
README: add more
r
equi
r
ements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
upda
t
e for ch
a
nge i
n
c
lang's HandleTopLevel
D
ecl return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven V
e
rdool
a
eg
e
configur
e
.
ac: only link against libra
r
ies
f
rom LLVM
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sve
n
Verdool
a
ege
updat
e
isl f
o
r support for rece
n
t c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-08
Sven Verd
o
ola
e
ge
scan
.
cc: fi
x
typ
o
s
in comm
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sv
e
n V
e
rdo
o
l
aeg
e
scop
.
c: fix
t
ypo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
Sven
V
erdoolaege
add --version op
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
en Verdoolaege
p
et 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
v
e
n
Verdoolaege
update isl
t
o
v
ersion 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
S
v
e
n Verdoolae
g
e
c
o
nfigure
.
ac: s
p
ecify address for bu
g
reports
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
S
v
en Verdoolaege
che
c
k
f
o
r presence of prot
o
type befor
e
a
ccessi
n
g
parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sv
e
n V
e
r
doola
e
ge
PetScan::unsu
p
ported: optionally print custom message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoolaege
README: add a
small note on h
o
w t
o
use pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven
Verdoolaege
keep t
r
ack of "a
d
d
ress of"
o
perators on accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Verdoo
l
a
e
g
e
scop_e
x
t
ract_from_C_source: properly clean up
if input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n Verdoolaege
con
s
truct_
i
nvocati
o
n:
a
dd m
i
ssin
g
check
f
o
r jobs size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ver
d
o
ola
e
g
e
cache value
s
in assigned_value instead of expressi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolae
g
e
a
l
low boolean express
i
ons where
a
n
a
f
fine expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ver
d
oolae
g
e
allow parens a
r
o
u
n
d
integer li
t
eral
i
n se
c
ond arg
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven
V
erdoolaege
add extra min te
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
rdoolaege
updat
e
is
l
for isl_pw_aff_
h
as_
d
im_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Verdo
o
laege
add mis
s
ing names
p
a
c
e qualifica
t
ion o
n
l
l
vm::ArrayRe
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaege
p
e
t
_
s
t
m
t_from_pe
t
_expr:
f
ix memory le
a
k o
n
err
o
r
pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven
Verd
o
olaege
scan
.
cc: up
d
a
te comment of valid_for_each_iteratio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
allow nes
t
ed acces
s
es in l
o
op upper bounds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en Ver
d
oolaege
all
o
w
n
ested accesses
in if c
o
nditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n Verdoo
l
aege
extract
n_
n
e
s
ted_p
a
rameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
v
en Verdoola
e
ge
extr
a
ct is_nested_param
e
ter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven
Verdoolaege
extract ext
r
act_nes
t
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n
Verdoolaege
rename n
o
n_affine to nested_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
add pet_scop_write
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoo
l
a
e
g
e
privately export pet_exp
r
_foreac
h
_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ve
r
doola
e
ge
a
d
d -D
o
ptio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
add -I
op
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoola
e
ge
pet: u
s
e isl fo
r
a
r
g
u
ment parsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ver
d
oolaege
store autodetect option in a separate pet
_
options struc
t
u
r
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
lae
g
e
updat
e
is
l
for supp
o
rt for string list arg
u
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
doolaege
upda
t
e isl
f
o
r int
r
oduction of i
s
l
_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
olae
g
e
use th
e
c
lang
d
river to obtain command line argu
m
ents
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoola
e
ge
destr
o
y M
y
D
iagnosticPrinter on new
e
r
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
doolaege
s
u
p
port m
o
re recent LLVMs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
olaege
update isl for
s
upport
for rece
n
t cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
S
v
en Verdoolaege
extract_affin
e
: a variable
t
hat has been assigned a
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sve
n
Ver
d
oola
e
ge
i
nduction v
a
riable of
for lo
o
p
should
be c
o
nsid
e
red
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sve
n
V
e
rdoolaege
an ad
d
re
s
s passed to a const pointer argum
e
nt s
h
ould
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
S
v
en Verdoolaege
.
g
i
tignore: add co
n
f
i
g
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
turn virtual scalars into vir
t
ual ar
r
ays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
mar
k
__pe
t
_
t
est
_
* scalars as only attaining val
u
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Verdoolaege
al
l
ow labels on expression statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
a
llo
w
specification
of onl
y
lower bound on paramete
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rdoolaege
use
isl_set_{lower,upper}_boun
d
_si
i
nstead
of o
u
r
own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
u
pdate isl
for
isl_set_upper_bound_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
erdoolaege
expl
i
citly link in gmp when usin
g
libisl
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven V
e
rdoolaege
Makefile
.
a
m:
a
ppend e
x
tra
copy
of CLANG_LDFLAGS
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
update
i
sl to version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdool
a
ege
u
p
da
t
e isl f
o
r sup
p
ort for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
accep
t
non-affi
n
e
condi
t
ions in
i
f
state
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en
Verdoolaege
p
et
_
scop_ad
d
: also collect the arrays in the pe
t
_scop
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
p
e
t_
s
tm
t
: add arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
ege
pet_stmt_
f
rom_pet_expr: clear all fields
of
newly crea
t
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
updat
e
isl
for change in
i
sl_pw_aff
_
set_tuple
_
id protot
y
pe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoola
e
g
e
only
d
i
strib
u
te bundled subm
o
dules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doo
l
aege
keep track of ass
i
gnme
n
ts to parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven
V
erdoolaege
ex
p
o
rt PetScan::extrac
t
_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaeg
e
be more careful about u
s
ing
p
ara
m
eter
spa
c
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoola
e
ge
update
isl fo
r
i
s
l_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sve
n
V
erdo
o
l
a
e
g
e
handle extraction of scops inside a loo
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verd
o
olaege
pet_stmt
_
embed
:
h
a
ndl
e
NULL stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
pet_expr_is_e
q
u
a
l:
n
ot equal if
ac
c
e
ss relation
i
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n
Verdoolaege
parse
.
c
:
extract_arguments
:
plug memory
l
eak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
u
p
date isl for change in i
s
l
_
set_re
a
d_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdo
o
laeg
e
u
p
dat
e
isl for ch
a
n
ge in isl_{in,}e
q
u
ality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdo
o
laege
add copyr
i
gh
t
statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven
V
erdoolae
g
e
pet_scop_e
x
tract
_
fro
m
_C_sour
c
e: u
s
e a CompilerI
n
stance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
laege
clear
a
ssigned_v
a
l
ue for
s
ca
l
ars
that ar
e
assigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
PetScan::s
e
t_upper_bound
s
: gr
a
ce
f
ully ha
n
dle erro
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
upda
t
e
i
s
l
for chan
g
e
i
n
space of isl_pw_* objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ver
d
oolaege
update
is
l
for expl
i
cit parameter sp
a
ces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
u
s
e isl_s
p
ace_para
m
s_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
update isl for isl
_
space_params_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
rename isl_dim
t
o
isl_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oo
l
a
ege
update
is
l
for renam
e
o
f
i
sl_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
Verd
o
o
l
aege
accept infini
t
e while
lo
o
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdo
o
laege
add "eq" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
a
c
ce
p
t compound statements with zero state
m
ent
s
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
expr_c
o
l
l
ect_accesses: us
e
isl_map_
h
as_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
che
c
k if tuple has id bef
o
re call
i
n
g
isl
_
{set,map}_get_tu
p
le
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
Verdo
o
laege
update isl f
o
r i
s
l_m
a
p_has_tuple_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
allow declaration o
f
i
t
e
r
ator in for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaege
u
pdate isl for re
n
am
e
of isl_map_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
han
d
le "live-out"
p
r
agmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
pet
.
cc: extrac
t
out update_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
pe
t
.
cc: extract out get_value_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven V
e
rdoolaege
avoid wr
a
pping on some simpl
e
cases
of loops with unsigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
wrap results of unsig
n
ed computatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
take into acc
o
unt that
unsigned it
e
rato
r
s may
w
rap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ve
r
doolaege
a
l
low loop i
n
crements of the form i = i +
c
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
e
n V
e
rdoolaege
allow loop incre
m
ents d
i
fferent
f
r
om one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verd
o
olaege
all
o
w l
o
op increments of the
form i += 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next