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
allow specification of only lower bound on parameter
2011-11-02
Sven Verdoolaege
allo
w
spe
c
i
fication of o
n
ly lower
b
ound
o
n p
a
ra
m
e
t
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
use isl_se
t
_{lower
,
upper}_bo
u
n
d
_si
i
nstead
of our
o
wn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
up
d
ate isl f
o
r isl_set_upper_bound
_
si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
explicitly li
n
k i
n
gmp when us
i
ng
l
ibisl
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
S
v
en Verdoolaeg
e
Ma
k
efile
.
am: append extr
a
copy
o
f CLANG
_
LDFLA
G
S to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven V
e
rdoolaege
u
pd
a
te isl to version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Tobias Gro
s
ser
a
d
ap
t
to t
h
e
re
c
ent changes in c
l
ang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sv
e
n Verdoolaege
update isl
f
or support for recent
c
l
a
n
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
o
ol
a
ege
acc
e
pt non-
a
ffine conditions in
i
f stateme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en V
e
rdoo
l
aeg
e
pet_scop_add: a
l
so collect the arr
a
ys in the
p
e
t
_scops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdo
o
l
aege
pet_stmt:
a
dd argumen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdool
a
ege
pet_st
m
t_from_pet_expr: clea
r
all
f
ields of newly created
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Ve
r
doo
l
aege
update i
s
l for change in isl_pw_
a
ff_set_tuple_i
d
prot
o
type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
only
d
is
t
rib
u
t
e
bu
n
d
led submo
d
ules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdool
a
ege
keep trac
k
of
a
s
signments to parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en V
e
rdoolaege
e
xport PetScan::e
x
trac
t
_in
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolae
g
e
be more careful about using
pa
r
amete
r
sp
a
ces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
V
erdool
a
ege
update isl fo
r
isl_se
t
_from_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sve
n
V
er
d
oolaege
handle extraction of scops inside a loop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en Ver
d
oo
l
aege
pet_st
m
t_embed:
h
a
n
dle NULL stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
ven
V
erdoolaege
p
et_e
x
p
r
_i
s
_
e
q
u
al: not
e
qual if access relation is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
parse
.
c: ex
t
ra
c
t_a
r
g
u
ments: plug memory
l
eak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdool
a
ege
up
d
a
t
e isl for change in
isl_set_read_f
r
om
_
s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
e
n
Verdoolaege
u
p
d
ate
i
s
l for change in isl_{in,}equali
t
y
_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoolaege
add copyright
s
tatem
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven V
e
rdoolaege
pet_s
c
op_ext
r
act_from_C_source: us
e
a CompilerInstance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaeg
e
c
l
ear assigned_value
f
or
scalars that are assign
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdoola
e
ge
PetScan::set_upp
e
r_boun
d
s
: gracefully ha
n
dle errors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
aege
update isl
f
or change in
space of isl_
p
w_*
objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
upd
a
te
i
s
l
for explicit para
m
eter spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
us
e
isl_spac
e
_
p
aram
s
_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
updat
e
i
sl for
i
s
l
_space_par
a
ms_all
o
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaeg
e
rename isl
_
dim to isl
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verd
o
olaege
update isl for rename of isl_dim to
isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdool
a
e
ge
ac
c
ept infinit
e
w
hile loop
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
add "eq" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
accept compound
s
tateme
n
ts with zero statements wh
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaeg
e
expr_collec
t
_
acce
s
ses: use is
l
_map_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdo
o
laege
che
c
k if
tuple ha
s
id before calling isl_{set,map}_get
_
tu
p
le_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verd
o
olaeg
e
update
i
sl for
i
sl_map
_
ha
s
_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n
V
erdoolaege
allow declarati
o
n of iterator
in for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoola
e
g
e
update isl f
o
r rename of isl_map_ins
e
rt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
T
o
bias Gr
o
sser
Hide warn
i
ngs
i
n
syste
m
headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Verdo
o
laege
h
a
ndle "
l
i
ve-out" pr
a
gmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven V
e
rdool
a
ege
pet
.
cc
:
ext
r
act o
u
t
u
pdate_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Verd
o
olaege
p
et
.
cc: extrac
t
out get_value_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolae
g
e
avoid wrap
p
ing on s
o
me simple cases of l
o
ops with unsigne
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
wrap results of u
n
sign
e
d com
p
ut
a
tion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erd
o
ola
e
ge
take into account tha
t
uns
i
gne
d
iterators
m
ay wra
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allow loop
increments of the form
i = i + cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allow loop inc
r
eme
n
ts different from
o
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allo
w
loop increments
of th
e
f
orm i
+= 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en
Verdoolaege
fix
c
he
c
k f
o
r "simple" loop termination
c
ondition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdo
o
laege
upd
a
te
i
sl for isl_pw_
a
ff_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n
V
e
r
doolaege
properly
h
a
n
dle generic conditions in for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven V
e
rdoolae
g
e
READM
E
: empha
s
ize that we n
e
ed clan
g
libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ver
d
oolaege
update
f
or
r
ename
of getInstantiationLineNumber to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolae
g
e
scan
.
c
c: fi
x
typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdo
o
lae
g
e
u
pdate is
l
f
or fix i
n
i
sl_m
a
p_intersec
t
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Ve
r
doolaege
accep
t
a
ffine e
x
pressions where we expect a co
n
dition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en
Verdoola
e
ge
update
i
sl for isl_
p
w
_aff_n
o
n_zero_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven van Haa
s
tre
g
t
co
n
figu
r
e: chec
k
if l
l
vm-
c
onfig actually exists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verd
o
olaege
initial
version of pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree