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
update isl for isl_set_from_params
2011-09-22
Sven
V
erdoolaege
update
i
sl for isl_set
_
from_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdo
o
laege
handle extrac
t
i
o
n of scops inside a
l
oop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven
V
e
rdo
o
laege
p
e
t_st
m
t
_
embed: han
d
le NULL stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
ven Verdoolaege
pet_expr_is_e
q
ual
:
not equal
if ac
c
ess relat
i
on is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdo
o
lae
g
e
parse
.
c: extract_a
r
guments: plu
g
m
e
mory leak o
n
e
r
ro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolae
g
e
update
i
sl for change in isl_set_rea
d
_
from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaeg
e
update isl for change in isl_{in,}equality_al
l
oc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sven
Verdoolaege
add copyrig
h
t
statemen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verd
o
olae
g
e
pet_scop_ex
t
ract
_
from_C_source:
u
se a
C
ompilerInstance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdool
a
ege
clear assigned_va
l
ue for scala
r
s that are
assigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoolaege
PetScan::set_upper_bo
u
nds: gracefully handle erro
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en V
e
rdo
o
laege
update isl
for change in
s
p
a
ce of isl_pw_*
o
bject
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
update
i
sl for explici
t
parameter spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
g
e
use isl_space
_
params_a
l
lo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ver
d
o
olaege
update isl for isl
_
space_para
m
s
_
a
lloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
r
ename isl_dim
t
o
isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl for renam
e
o
f
isl_dim t
o
isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
accept infinite w
h
il
e
loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
add "e
q
"
o
pe
r
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
a
c
cept c
o
mpound statemen
t
s with
zero statements
w
h
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
expr_co
l
lect
_
accesses:
u
s
e isl_map_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolae
g
e
che
c
k
i
f tuple h
a
s id before calling is
l
_{
s
et,map}_get_tuple_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdo
o
l
aege
u
p
date isl fo
r
i
sl_ma
p
_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
a
l
low declar
a
tion of iterator in for l
o
ops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaege
up
d
ate
isl for rename of isl_map_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Verd
o
olaege
handle "live-o
u
t
"
pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sve
n
Verdoolaeg
e
pet
.
cc:
extract ou
t
upda
t
e_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Ve
r
doolaege
pet
.
cc: extra
c
t
o
u
t
g
e
t
_valu
e
_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
avoid wrapp
i
ng o
n
some
s
im
p
le cases
of
l
oops with unsigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
wr
a
p results o
f
u
nsigned c
o
mputations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
ven
Verdoo
l
aege
take into account
t
h
a
t
unsigned
iterators
m
a
y
wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verd
o
olaege
allow loop increments of the form i
=
i +
cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
e
n Verdoolaege
allow loop in
c
r
e
m
ents differen
t
f
rom o
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoolaege
allow l
o
op
i
ncrement
s
of
t
he form i += 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ver
d
oolaege
fix
check for "simple"
loop termi
n
ati
o
n condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdool
a
ege
update isl for
isl_p
w
_a
f
f_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoola
e
ge
p
r
operly handle generic conditions in for loo
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven
Verdoolaege
README: e
m
phasize
that
w
e
nee
d
clang li
b
raries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoola
e
ge
u
pdate for r
e
name o
f
getInstanti
a
tionLineNumbe
r
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en V
e
rdo
o
l
aeg
e
s
c
a
n
.
cc
:
f
i
x typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaege
u
pdate isl for fix
in isl_map_inter
s
e
c
t_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaeg
e
accept affine expression
s
wher
e
we expect a conditio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaeg
e
update i
s
l
f
or is
l
_pw_aff_non_z
e
ro_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven
Verd
o
olaege
i
n
itial version of pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree