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.01
2011-12-18
S
v
en Verd
o
olae
g
e
pet 0
.
0
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolae
g
e
update isl to version 0
.
0
9
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven
V
erdoolaege
c
o
nfigure
.
ac: speci
f
y address for bug re
p
ort
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven V
e
rdoo
l
a
e
ge
check for presence of pr
o
totype before acc
e
ssing parameter
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
P
e
tScan:
:
uns
u
pported: optional
l
y
p
rin
t
custom mess
a
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoo
l
aege
README
:
add a small note on
h
o
w to
use pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verd
o
olaege
keep track of "a
d
dress of" ope
r
a
tor
s
on
a
c
c
esses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoo
l
aege
scop_extract_fro
m
_C_sou
r
ce: pro
p
erl
y
clean up if input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Verdoolaege
cons
t
ruct_
i
nvocation:
add
missing
che
c
k for jobs size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
ven Verd
o
olaege
cache
v
alues in assigned_value inste
a
d
of ex
p
ression
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
a
llow boolea
n
expressions where an
affine expres
s
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en Verdool
a
ege
allow pa
r
ens aro
u
n
d integer
l
iteral i
n
second argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
a
d
d extra min t
e
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
v
e
n
Ve
r
doolaeg
e
up
d
ate isl fo
r
isl_pw_aff_has_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Ver
d
oo
l
aege
add missin
g
n
amespace qualification on l
l
vm::ArrayRef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
S
ven V
e
rdoolaege
pet_stmt_from
_
pet_expr: fix memory lea
k
on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sv
e
n Verdoo
l
a
e
ge
scan
.
cc: upda
t
e co
m
ment of valid_for_
e
ach_iteration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ve
r
doo
l
aege
al
l
ow nes
t
e
d accesse
s
in loop upper bounds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
all
o
w nested acces
s
es
i
n
i
f
c
onditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdo
o
laege
e
x
tract n_
n
ested_
p
ar
a
mete
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
extract is_
n
est
e
d
_p
a
rameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
S
v
en Verdoolaege
extra
c
t extract_
n
e
sted
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sve
n
Ver
d
o
o
laege
r
ename non_affine to nested
_
access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
erdoo
l
aege
a
d
d pet
_
scop_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdo
o
lae
g
e
priva
t
e
ly export
pet
_
expr_
f
oreach_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
V
erdo
o
lae
g
e
add
-
D option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
e
rdoolaege
ad
d
-
I
o
p
tion
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 Verdoo
l
aege
store
auto
d
etect o
p
tion in a s
e
parat
e
pet_o
p
tions structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verdoolaege
update isl for suppo
r
t for strin
g
list arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n
V
e
rdoolaege
u
pda
t
e
isl for introdu
c
t
i
on of i
s
l_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
doolaege
use th
e
c
lang d
r
iver
to obtain co
m
mand line argu
m
ents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
olaeg
e
destroy MyDiagn
o
sticPrint
e
r
o
n newer clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
doolaege
s
u
pport more recent LLVMs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
up
d
ate i
s
l f
o
r
support for rece
n
t clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven
Verdoo
l
aege
extract_affi
n
e: a vari
a
bl
e
th
a
t has b
e
en assign
e
d
a
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdool
a
ege
indu
c
tion
variable o
f
for
loop should be consi
d
ered
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdo
o
laege
an address passed to a const
p
o
inter argument should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
Sven
Verdoolaege
.
giti
g
nore: add config
.
h
.
i
n
~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoola
e
ge
turn virtual s
c
alars into virtual arr
a
ys
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en
V
erdoolaege
mark _
_
pe
t
_
t
es
t
_* s
c
a
lars as only attai
n
i
n
g va
l
ues
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
e
r
doolae
g
e
allow lab
e
ls on expr
e
ssion st
a
tements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdo
o
l
a
eg
e
allo
w
spec
i
ficati
o
n of only lower bound on
parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doo
l
aege
use isl_set_{lower,upp
e
r
}_bound
_
s
i in
s
tead of our o
w
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdoolaeg
e
update i
s
l for i
s
l
_
set_upper_b
o
und_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven
Ver
d
oolaege
expli
c
i
t
ly link in
gmp when using libisl
.
la
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaeg
e
Makefile
.
am:
append
e
xtra copy
of CLANG_
L
DFLAGS
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdo
o
la
e
ge
update isl to v
e
rsion 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Tobias Grosser
adap
t
to t
h
e
recent changes
i
n clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven V
e
rdoola
e
ge
update isl for support f
o
r recent c
l
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
V
e
r
d
oolaege
ac
c
ept non-affine
c
onditions in if statemen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
aege
pet_scop_add: also colle
c
t the ar
r
ays in the pet_sco
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
laeg
e
pet_stmt: add argu
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n Verdoolaege
p
e
t_stmt_fro
m
_pet_expr: clear all fields of
n
e
w
ly c
r
eated
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoolaege
update isl for change
in i
s
l_pw_aff_set_tuple
_
id p
r
oto
t
ype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
ege
only d
i
stribut
e
bundled
s
ub
m
o
d
u
les
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Ve
r
doolaege
k
e
e
p track of assign
m
e
n
ts to
p
arame
t
er
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
export
PetS
c
an:
:
extrac
t
_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
o
o
l
a
ege
be mor
e
caref
u
l about using parameter sp
a
ces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doolaege
update isl
f
o
r
isl_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdoo
l
aeg
e
handle extraction o
f
scops inside
a loop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ver
d
oolaege
pet_stm
t
_emb
e
d: handl
e
NULL
s
t
mt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoo
l
aege
pet_exp
r
_
is_equal: no
t
equal if
acce
s
s relatio
n
is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdool
a
ege
parse
.
c: extract
_
arguments: plu
g
memo
r
y leak on
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ve
r
doolaege
update isl
for change
in isl_set_read_
f
rom_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verd
o
olae
g
e
u
p
da
t
e isl for change in is
l
_{in,}equ
a
lity_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
Sven Ver
d
o
o
la
e
ge
add copyrig
h
t statemen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Ve
r
doolaege
pet_sc
o
p_
e
xtract_f
r
om_C_source: use a Co
m
p
i
l
erIns
t
ance
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
e
n Verdoolaege
clear
a
s
sign
e
d_value
for scala
r
s tha
t
are assigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven
V
e
rdoolaege
Pe
t
Sca
n
::set_upper_bounds:
g
racefully handle errors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdoolaege
u
p
date isl for change
in space of isl
_
pw
_
* objec
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update
isl for explicit parameter spa
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
use isl
_
space_par
a
m
s
_
alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoola
e
g
e
update isl for
i
sl_spa
c
e
_
pa
r
ams_al
l
oc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
r
ename isl_dim to
i
sl_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl
f
or
rename of isl_dim to is
l
_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
acce
p
t in
f
i
nite w
h
i
le loo
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n V
e
rdoolaege
ad
d
"e
q
"
o
peration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
accept compoun
d
statem
e
nts wi
t
h z
e
ro statements when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
g
e
expr_co
l
l
ect_acces
s
es: use isl_map_has_tuple_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
check
if tu
p
l
e has id be
f
ore c
a
l
ling isl_
{
set,m
a
p}_get_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
up
d
ate isl for i
s
l_map_ha
s
_tup
l
e_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
Verdoolaeg
e
allow
decl
a
ration of i
t
e
rato
r
in for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaege
update isl for
r
ename
of isl
_
map_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Tobias Grosser
Hid
e
warnings in
s
yste
m
heade
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Verdoolaege
hand
l
e "live-out" p
r
agmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Ve
r
d
o
olaege
pet
.
cc: extract out update
_
arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven V
e
rdoolaege
pet
.
cc: ex
t
ract out ge
t
_
v
alue_decl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
er
d
oolae
g
e
avoid wrapping on some simple cases
o
f loops with unsign
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aege
w
rap
r
esults of unsigned computations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolae
g
e
take into a
c
cou
n
t that unsigned i
t
erator
s
may wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven V
e
rdoo
l
aege
al
l
ow loop i
n
c
re
m
ents of the form
i
= i + cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
e
n
Verdoolaege
allow loop
incre
m
ent
s
different from one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verd
o
ol
a
ege
allow loop increments of
the form i += 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolaege
fix check
f
or "simpl
e
" loop te
r
min
a
tio
n
condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoolaege
update isl for isl_pw_a
f
f_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
e
r
doolaege
p
roperly han
d
le generic conditions in for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
Verdoolaege
README: emph
a
siz
e
t
hat we need cl
a
ng libra
r
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
V
e
rdoolaege
u
pdate f
o
r rename
o
f
getInst
a
ntiationLineNumber to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
sc
a
n
.
cc: fix
t
yp
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next