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
an address passed to a const pointer argument should not be considered a write
2011-11-06
Sven
Verdoo
l
aege
a
n
add
r
es
s
p
a
ssed to a
c
onst pointer arg
u
men
t
s
h
o
ul
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
Sv
e
n Verdoo
l
aege
.
gi
t
i
gnore:
add config
.
h
.
in~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
e
r
dool
a
ege
turn virtual scal
a
rs into virt
u
al arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verdoolaege
m
a
rk
_
_pet_
t
es
t
_* s
c
alar
s
as only at
t
aining values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
allow
l
abels on exp
r
ession statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
a
llow spe
c
if
i
catio
n
of onl
y
lower bound on parame
t
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
use i
s
l_set
_
{
lower,upper}_bo
u
nd_si instead of our ow
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
laege
update i
s
l
for isl_set_upp
e
r_b
o
und_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sv
e
n Verd
o
o
l
aege
explic
i
tly lin
k
in gmp when using
l
ibisl
.
la
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
S
v
en Verdoo
l
aege
Makefile
.
am: appen
d
extra co
p
y of CL
A
NG_LDFLAGS to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
S
ven Ve
r
doo
l
aege
upd
a
te isl to ve
r
sion 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Tob
i
as
G
r
o
s
ser
adapt to
t
he re
c
ent chan
g
es i
n
clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven
V
erdoolaege
update isl for support fo
r
rece
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
a
ccept n
o
n-affine conditions in
i
f
statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
l
a
eg
e
p
et_scop_add: also c
o
llect the arrays in the pe
t
_sc
o
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Ve
r
doolae
g
e
pet_stmt: add arg
u
m
e
nt
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
er
d
oolaeg
e
pet_stm
t
_
f
rom_pet_expr: clear all fi
e
lds of newl
y
c
re
a
ted
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
aege
upd
a
te isl for change
i
n
i
sl_pw_aff_set_tuple_id
p
rototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdool
a
ege
only distribute b
u
ndled
sub
m
odules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdoola
e
ge
k
eep trac
k
of
a
s
s
ignme
n
t
s to parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ve
n
Verdoolaege
e
x
po
r
t
P
etScan
:
:extract_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoola
e
ge
be m
o
re c
a
r
eful
ab
o
ut us
i
ng para
m
eter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
oolaege
update i
s
l for
i
sl_set_from
_
pa
r
am
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdool
a
ege
handle extracti
o
n of s
c
o
p
s inside a l
o
op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Verd
o
olaege
pet_s
t
mt_
e
mbed: han
d
le NU
L
L stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
pet_expr_
i
s_equal: not equal i
f
a
c
cess rela
t
ion
i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Verdoo
l
a
e
ge
parse
.
c
:
ex
t
ract_a
r
guments: plug
memor
y
leak on er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en Verdoolaege
update isl for
change in isl
_
se
t
_read_from_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n Ver
d
oolae
g
e
updat
e
i
s
l
f
o
r
c
hange
i
n isl_{
i
n,}equ
a
lity_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoolaege
a
dd
c
opy
r
ight statement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
p
e
t
_scop_
e
xtr
a
c
t
_fr
o
m_C_source: u
s
e a CompilerInstance
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaege
clear assigned
_
val
u
e for scalars
that are a
s
signed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdool
a
ege
PetScan:
:
set_upper_bounds:
gracefu
l
l
y
han
d
le errors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en
V
erdoolaege
update isl for change
i
n space of isl_pw_* objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
upd
a
te isl for ex
p
licit parame
t
er spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
d
o
o
laege
use isl_s
p
ace_para
m
s_all
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
o
laege
update is
l
fo
r
i
s
l_space
_
param
s
_al
l
oc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoola
e
ge
rename is
l
_
dim to isl_
s
pa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
upd
a
te
isl for rename of i
s
l_dim to i
s
l_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
accept i
n
finite while loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
add "e
q
"
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
e
g
e
accep
t
com
p
o
u
nd statements with
z
ero
statements whe
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ver
d
oolaege
ex
p
r
_
coll
e
ct_accesses: use isl
_
m
a
p
_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolae
g
e
ch
e
c
k
if t
u
p
l
e has
i
d
b
efore ca
l
l
i
ng isl
_
{set,map}_get_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ver
d
oolaeg
e
upd
a
te isl f
o
r isl_map_has_t
u
pl
e
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
v
e
n Verdool
a
ege
allow declaration
of iterato
r
i
n
f
o
r l
o
ops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Ve
r
d
o
olaege
update isl
f
or rename of isl_map_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
T
o
b
ias Grosser
Hide warnings in
system headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven
Verdoolaege
h
andle "live-ou
t
" pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven V
e
r
d
oolaeg
e
pet
.
cc: ex
t
ract
out
update_arr
a
ys
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoo
l
a
e
ge
pet
.
cc:
extract
o
u
t
g
et_val
u
e_decl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolae
g
e
a
v
oid wrapping on some si
m
p
le cases of loo
p
s with unsigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
e
n
V
e
rdool
a
e
g
e
wrap results of unsign
e
d
computati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdoola
e
g
e
take into a
c
co
u
nt that unsigned iterators may wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolaege
a
llow loop
increments of the form i = i + cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verd
o
o
l
a
ege
allow
l
o
op
increments di
f
ferent
from one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaeg
e
allow loop incre
m
ents of the
f
orm i
+
=
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
ven
V
er
d
oolaeg
e
fix c
h
eck for "simpl
e
" loop termin
a
tion condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Ver
d
oo
l
aege
update isl for i
s
l_pw_a
f
f_m
o
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
Verdoolaege
prop
e
rly handle generic cond
i
t
io
n
s in for
l
oops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
erdoolaege
R
EA
D
ME: emphasize that we need cla
n
g
l
i
b
rar
i
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
Verd
o
olaege
update for
rename of ge
t
InstantiationLineNum
b
er to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n
V
e
r
d
ool
a
ege
scan
.
cc: fix ty
p
o in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en Verdo
o
l
a
ege
update is
l
for fix i
n
isl_m
a
p_inte
r
sect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoo
l
a
e
ge
ac
c
ept affin
e
e
x
pressions where w
e
ex
p
ec
t
a
con
d
ition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en Verdoolaege
u
p
date
isl for isl_pw_aff_non_zero_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sv
e
n van Haas
t
regt
co
n
figure: check if
llvm-confi
g
ac
t
ually exis
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
S
v
e
n
V
e
rdoolaege
i
n
i
ti
a
l version of
pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
