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 declaration of iterator in for loops
2011-08-12
Sven Verdoolae
g
e
allow declaratio
n
o
f
i
t
erator
i
n for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
en Verdoolae
g
e
update isl for renam
e
of isl_ma
p
_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
Tobi
a
s Gross
e
r
H
ide
w
arnings in
system heade
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verd
o
olaege
hand
l
e "l
i
v
e-ou
t
" pr
a
gmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sve
n
Verdo
o
laege
pet
.
c
c:
extract
out
upda
t
e_
a
rra
y
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sve
n
V
erdo
o
laege
pet
.
c
c
: extract o
u
t g
e
t_value_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erd
o
olae
g
e
avoid wrapping o
n
so
m
e simple cases of loo
p
s with uns
i
gned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdo
o
laege
wrap results of u
n
signed computations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Ver
d
oolaege
take into a
c
count that unsi
g
n
e
d
iter
a
tors
m
ay
wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aege
allow
l
oop incremen
t
s of the fo
r
m i = i
+ cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
ven
V
erdo
o
laeg
e
al
l
ow loop incre
m
ents
d
i
f
f
e
r
ent from one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven V
e
rd
o
olaege
allow loop
in
c
re
m
ents of the
f
orm
i
+=
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoolaeg
e
fix check
f
o
r "simple"
l
o
op termination c
o
ndition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
update isl for isl_pw_aff_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n Ve
r
doolae
g
e
properly handle
g
ener
i
c conditions
i
n for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoola
e
ge
RE
A
DM
E
: emphasi
z
e t
h
at w
e
need clang libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en Ve
r
doo
l
aege
u
p
date f
o
r
re
n
a
m
e of
g
etI
n
stan
t
iationLine
N
umber to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ver
d
o
olaege
s
c
an
.
cc: fix typo i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sve
n
Verdoolaege
updat
e
isl fo
r
fix
i
n
i
sl_map_intersect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdo
o
laeg
e
accept
af
f
ine e
x
pre
s
sions
w
here we expect a condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven
Verdoolaege
update
isl for isl_pw_aff_non_z
e
ro_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sve
n
van Haa
s
tregt
c
onfigure: ch
e
ck if ll
v
m-confi
g
actuall
y
ex
i
s
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoola
e
ge
i
nitial version o
f
pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree