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
extract_affine: a variable that has been assigned an unknown value is not affine
2011-11-06
S
v
en
V
erd
o
olaege
extract_aff
i
ne: a var
i
a
ble that
h
as been assig
n
ed an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
S
ven Verdoolaege
indu
c
tion variable
of for loop should be considered
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven
V
erdool
a
ege
an addres
s
p
a
s
sed to
a
c
onst pointer argument sh
o
u
l
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
Sven Verdool
a
e
ge
.
g
i
t
ignore: add config
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolaege
turn vir
t
ual scalars
into v
i
rtual ar
r
ays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ver
d
o
olaeg
e
mar
k
_
_
pet_test_* scalars a
s
only atta
i
ning values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
allow l
a
bels on e
x
pre
s
sion st
a
t
emen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Ver
d
oolaege
all
o
w specificatio
n
o
f only lower bound on parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolaege
use
isl_set
_
{lower,upper}_bound_si instead of ou
r
own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
update isl
f
or isl_se
t
_
u
pper_b
o
u
nd_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
exp
l
ic
i
t
ly
l
i
n
k
in gmp when using libisl
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoola
e
ge
Make
f
i
l
e
.
am: append
e
xtra copy of CLANG_LDFL
A
GS to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sv
e
n
V
erdoolaege
up
d
ate isl to version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
S
ven Verdoolaege
up
d
ate isl for
s
up
p
o
r
t
for recen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdo
o
l
aege
accept n
o
n
-a
f
fine conditions in if statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdo
o
laege
p
et
_
scop_add: a
l
so collect the array
s
in
the
pet
_
scop
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en
V
e
r
doolaege
pet_stmt: add
a
rguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolae
g
e
pet_st
m
t_from_pet_expr: clear all fields o
f
new
l
y cr
e
ated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaege
update i
s
l for ch
a
n
g
e in is
l
_pw_aff_set_tuple_id protot
y
pe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erd
o
olaege
only d
i
strib
u
te bundled submodules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
keep track
of assig
n
me
n
ts to parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven
Verdoolaege
exp
o
rt
PetScan::ext
r
act
_
int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verdoolaeg
e
be more carefu
l
about
usi
n
g parameter spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
e
n
Ve
r
d
oolaege
u
pdate isl for i
s
l_
s
et_from_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdoo
l
aeg
e
handle
ext
r
a
c
t
i
o
n of sc
o
ps ins
i
d
e
a
loop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verd
o
olaege
pet_stmt_e
m
bed: handle NULL stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
pet_expr_is
_
equal: not
e
qual i
f
access relati
o
n
is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en Verdoolaege
pars
e
.
c: ex
t
ract_argume
n
ts: plug
m
em
o
ry leak on erro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
v
e
n Verdoolaege
upda
t
e i
s
l for chan
g
e i
n
is
l
_set_rea
d
_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ve
r
doolae
g
e
update isl for change in isl_
{
in,}equ
a
lity_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sv
e
n Verdoo
l
aege
add copyright s
t
ate
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven V
e
rdool
a
ege
p
e
t
_sc
o
p_ext
r
a
ct_from
_
C_source: use a Comp
i
lerInstance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolaege
clea
r
a
ssigned_value f
o
r scalars that are assigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
PetSca
n
::set_uppe
r
_bo
u
nds: gr
a
c
e
fully
handle errors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
updat
e
isl for change
in
s
pac
e
o
f
isl_pw
_
* ob
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdool
a
ege
upd
a
te
i
s
l for expl
i
c
it p
a
ramet
e
r spa
c
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verd
o
olaege
u
s
e
isl_space_params_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
u
p
date isl for isl_spac
e
_param
s
_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolaege
rename isl_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
upd
a
te
i
s
l
for
rename of isl_dim
to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolae
g
e
acce
p
t
infinite while l
o
ops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdool
a
ege
a
dd "
e
q
"
o
p
e
r
atio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoo
l
aege
a
c
cept compound
statements
w
it
h
zero statements
w
hen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
expr_collect_acce
s
s
es: use isl_map_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
check i
f
tuple
has id befo
r
e cal
l
ing isl_{set,map
}
_get_tuple_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
ven V
e
rdoolaege
update isl for isl_m
a
p_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n V
e
rdool
a
ege
allo
w
d
e
claration
of iterator in
f
or l
o
o
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sve
n
Ve
r
doolaege
up
d
at
e
i
s
l for r
e
name of
i
sl_map_in
s
ert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
handle "live-o
u
t" prag
m
as
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolae
g
e
pet
.
cc: e
x
tract out up
d
ate_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven V
e
rdoolaege
pet
.
c
c
: extract out get_value_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolae
g
e
avoid wrapping on some simple cases of lo
o
p
s
with unsigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolaege
wrap
r
e
sults
o
f
u
nsigned comput
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdoolaege
take into acco
u
nt that unsig
n
ed
i
ter
a
tors may wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allo
w
loop increments
o
f the
form i = i + cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolae
g
e
a
l
low
loop increments different from one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
ven Verdoolaege
allow
l
oop increments
o
f the form
i
+
= 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Ver
d
ool
a
ege
fix check for "simple" loo
p
term
i
nation c
o
nditi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
update isl for
isl_pw_af
f
_
m
o
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
properly handle generic conditi
o
ns
in f
o
r loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven
Verdoolaege
READ
M
E: emphasize t
h
at we need cl
a
ng
librar
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven
Verdoolaege
upda
t
e f
o
r ren
a
me of getInstantiationLineNumber t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ver
d
oolaege
scan
.
cc: f
i
x typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven
Verd
o
ol
a
ege
up
d
a
t
e isl
f
or fix i
n
i
s
l_map_intersect_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sve
n
Verdool
a
e
g
e
accept af
f
ine expressions wh
e
re we expect
a
condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en Ver
d
oolaege
u
p
date isl
for isl_pw_aff_non_zero_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verd
o
ol
a
ege
initial ver
s
i
on of
pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree