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
mark __pet_test_* scalars as only attaining values 0 and 1
2011-11-02
Sven
V
erdoolaege
mark
_
_
p
et_te
s
t_* scalar
s
as only a
t
taini
n
g values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en V
e
r
d
o
o
l
aege
allo
w
labe
l
s
o
n expression statemen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
allow
s
pecification of only
l
o
w
e
r bound
on parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaeg
e
u
se
i
s
l_set
_
{
lower,upp
e
r}_bound_si in
s
tead of ou
r
own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
u
p
date isl for isl_set_
u
pper_
b
ound_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
e
x
p
l
icitly link in gm
p
when
usin
g
libisl
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven
Ve
r
doolaege
Makefile
.
am:
append
extra copy of C
L
ANG_LDFLAGS to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Ve
r
doolaege
upda
t
e is
l
to vers
i
on
0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
update isl for support
f
o
r
r
ecent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n Verdoolaege
accept non-affi
n
e
c
ondit
i
ons in i
f
statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
dool
a
eg
e
pe
t
_scop_add: also c
o
llect the
a
r
r
a
ys in the pe
t
_scops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
pet_stm
t
: add arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_stmt
_
fr
o
m_pet_expr: cl
e
ar
all fields of newly created
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Ver
d
oo
l
aege
u
p
date isl
for c
h
ange in isl
_
pw
_
aff_set_tuple_id prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaege
only distribute bundled s
u
bmodu
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
e
n
Verdoolaege
k
e
ep tra
c
k
of assignments
t
o parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoolaege
export PetScan::extract_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
be m
o
r
e
carefu
l
about usi
n
g parameter s
p
aces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
aege
update isl for isl_s
e
t_
f
rom_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
S
v
e
n Verdoolaege
h
andle
e
xtrac
t
io
n
of scop
s
in
s
ide a
lo
o
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
pet_st
m
t
_
embed: handle NUL
L
s
t
mt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
pet_expr_is_equal: not equal if access
r
elation is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
p
arse
.
c: ext
r
act_
a
rgume
n
t
s: plug
memory
l
eak on
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Verdoolaege
u
p
date isl for change in isl_se
t
_
r
ead_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven
Ve
r
doolaege
update
i
sl for change in isl_{in,}e
q
uality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sve
n
Ver
d
oola
e
ge
add copyright
s
tatement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sv
e
n Verdo
o
l
a
ege
pet_scop_e
x
tract
_
from_C_sour
c
e: use a CompilerInstanc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoola
e
ge
clear assigned_value for scalar
s
that are
a
ssigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven
Verdoolaege
PetScan::
s
e
t
_upp
e
r
_bounds: grac
e
fully handle err
o
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update isl for cha
n
ge
i
n space of
i
sl_p
w
_* objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
update isl for e
x
p
l
icit
p
a
rameter spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
use
isl_space_params_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl fo
r
isl_space_par
a
m
s
_all
o
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
a
eg
e
re
n
ame isl
_
dim
to isl_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
upd
a
te
i
s
l
f
or
rena
m
e
of isl_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
accept
i
nf
i
nite while lo
o
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolae
g
e
add "
e
q" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
accept co
m
pound sta
t
emen
t
s wi
t
h zero statem
e
n
ts
w
hen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
expr_colle
c
t_a
c
cesses: use isl_map_has_tup
l
e_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
chec
k
if tupl
e
has id before c
a
l
ling isl
_
{set,map}_get_tu
p
le_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
Ver
d
oolaeg
e
u
p
date
is
l
fo
r
isl_map_has_
t
uple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ve
r
doolaege
a
llow
d
eclarat
i
on of i
t
erator in
for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaege
upda
t
e
isl for rename of isl_map_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sve
n
Verdoola
e
ge
handle "live-out" pra
g
mas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verd
o
olaege
p
e
t
.
cc
:
extra
c
t out update_a
r
r
a
ys
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sve
n
Verdoolaege
pet
.
cc
:
extract
out
g
et_value
_
decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verd
o
olaege
avoi
d
wr
a
pping
on some simple cas
e
s of l
o
ops with
unsigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
wrap results
o
f unsigned computations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdoolaege
take i
n
to account that
unsigned iterators may w
r
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Ve
r
doolaege
allow 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
olaeg
e
allow loop increments differ
e
n
t
from one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdo
o
l
aege
allo
w
loop incre
m
ents of
t
h
e
f
o
rm i +
=
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
fix
c
hec
k
f
o
r
"
s
imple"
l
oop termination con
d
i
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoolaege
update isl fo
r
isl_pw_aff_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven
Verdoolaege
pr
o
perly handle generic
c
onditi
o
n
s
in for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
R
E
A
DME: emphasize that we n
e
e
d
cla
n
g
librar
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en
Verdoolaege
u
pdate for rename of ge
t
I
n
s
t
antiationLineNumber to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n
V
erdoolaege
s
c
a
n
.
cc: fix ty
p
o i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdo
o
la
e
ge
update isl
for fix in isl_map_intersect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Ve
r
doolaege
accep
t
affine expressi
o
n
s
wher
e
we expect a
condi
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaege
update
i
sl
for
isl_pw_
a
ff_non_z
e
ro_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaeg
e
initial
version of pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree