repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
add isl_local_space_lifting
2011-09-03
Sven Verdool
a
ege
add i
s
l_p
w
_
q
poly
n
o
m
ial_project
_
out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
er
d
o
o
laege
add isl_morph_{dom,ran}_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erd
o
o
l
aege
a
d
d isl_
b
asic_s
e
t_para
m
s and i
s
l_set_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ver
d
oolaege
add isl_space_
p
arams_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl
_
stre
a
m_read
_
s
e
t
:
a
c
cept parameter
d
omains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
isl_
p
w
_qpolynomial_f
o
ld_bound: simplify con
s
t
ruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
isl_test
.
c: proper
l
y crea
t
e set sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
isl
_
map_ra
n
ge_map: fix space manipulation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ver
d
oola
e
ge
i
sl_map_
r
an
g
e: c
o
nstruct co
r
rect space for
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
i
s
l_ba
s
ic_s
e
t
_all
o
c:
c
reate
b
asic set in proper set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaeg
e
isl_space_wrap: proper
l
y
crea
t
e s
e
t space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
add isl_set_f
r
om_pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
r
e
n
a
me PW_alloc_
to PW_a
l
loc_s
i
z
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl
_
p
w_*_ad
d
_disjoint: try
a
nd extend one of the pws
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Verdoo
l
aege
isl_space
_
matc
h
: optimize triv
i
al cases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolaege
add isl_map_fl
a
t
_
domain_p
r
o
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
isl_
a
ccess_info_co
m
put
e
_fl
o
w
: align pa
r
ameters of inp
u
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
align parameters
o
f arguments to
i
s
l
_map_{lex
m
i
n
,lexmax}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
lae
g
e
i
s
l
_
s
p
ac
e
_align_par
a
ms: accept general is
l
_spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
d
d
is
l
_space_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoo
l
aege
r
ename isl
_
dim to
i
sl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
do
c
ume
n
t
isl_dim_m
o
v
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
sp
l
i
t
o
f
f
d
eclarations from i
s
l
_
polynomial
.
h
to
s
eparate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
V
e
rdo
o
la
e
ge
merge isl
_
*
_
du
m
p functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verd
o
ol
a
ege
a
dd isl_set
_
dim_m
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
a
d
d isl_bas
i
c_s
e
t_foreach_lexopt
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolae
g
e
add isl_p
w
_a
f
f_un
i
on
_
opt
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdo
o
laege
add i
s
l_p
w
_aff_union_
m
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoola
e
g
e
add is
l
_
a
f
f_
l
e_b
a
sic
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n Verdo
o
laege
isl
_
qp
o
lynomial_free
:
re
t
u
r
n NU
L
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
Sven
Verdoo
l
aege
Merge branch 'm
a
int
'
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolaege
i
s
l_qp
o
lynomial_rat
_
cst: handle N
U
LL spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
S
ven Verdool
a
eg
e
b
e
r
nstein
_
coefficient
s
_cell:
h
a
ndl
e
N
ULL poly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven V
e
rdoolaege
is
l
_printer_
t
o_str: int
i
aliz
e
buffer to
e
mpty string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdoolaege
isl_map_insert: pr
o
perly handle
n
amed or nested spa
c
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven
Verdo
o
l
a
ege
i
sl_set_flat_product
:
call isl_map_ran
g
e_flat_p
r
oduc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
Sven Ve
r
doolaege
add so
m
e
isl_map_p
l
ain_is_fixed t
e
s
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
Sven Verdoo
l
ae
g
e
isl_basic
_
m
a
p
_
neg: gauss
re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n V
e
r
d
oolae
g
e
isl_dim_get_tuple_id: complain if t
u
ple has no id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdool
a
ege
isl_di
m
_
g
e
t_d
i
m_id:
c
omplain if dim has n
o
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
Verdoola
e
g
e
add
isl_*_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
v
en Verdoolaege
add is
l
_*_has_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
v
en Ve
r
doolaege
doc
:
warn about the limited
u
se o
f
identifiers of in
d
ivi
d
ual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
e
n Verdoolaege
document isl_map
_
d
im
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verd
o
olae
g
e
rename
i
s
l
_
map_
i
nsert
t
o isl_set_in
s
er
t
_dims and
a
dd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sv
e
n
Verdo
o
l
aeg
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-08-11
S
v
en Ve
r
doolaege
isl_dim_equal:
h
and
l
e N
U
LL
inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sv
e
n
V
erdo
o
laege
isl_dim_tuple_match: ha
n
d
le
N
ULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
S
v
en Verdoolaege
isl_map_is
_
subs
e
t: a m
a
p can
n
ot be as subse
t
o
f
a map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-06
Sven Verdoolaege
do
c
ument is
l
_map
_
plain_is_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
S
ven Ver
d
oolaeg
e
M
e
rge br
a
nch 'ma
i
nt
'
commit
|
commitdiff
|
tree
2011-08-05
Sven V
e
rdool
a
ege
isl_s
e
t_prod
u
c
t
:
call isl_map_range_p
r
oduct
i
nstea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sven Ver
d
o
o
laege
isl_
b
asic
_
map_remove
_
di
m
s:
p
r
operly handle name
d
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sve
n
Ver
d
oolaege
isl_bas
i
c_map_drop: prope
r
ly handle
nested space
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sven V
e
rdo
o
laege
isl_access_inf
o
_comp
u
te_flow:
plug
m
emory leak
o
n err
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sven Verdoo
l
a
ege
doc: update prototype of isl_constr
a
in
t
_
free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sven Verdoolaege
is
l
_b
a
sic_m
a
p
_re
m
ove_di
v
s:
hand
l
e N
U
LL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sven
Verdoolaege
isl_schedule
.
c
:
h
andle basic maps indivi
d
ually
i
n
setup_carry_lp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdool
a
ege
add isl
_
se
t
_re
s
e
t_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdoolaege
Merge bran
c
h
'maint'
commit
|
commitdiff
|
tree
2011-08-03
Sven Ve
r
doola
e
ge
isl_dim_rang
e
_product: dimensi
o
n names of d
o
ma
i
n
s
don
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sve
n
V
erdoolaege
isl_
a
ff
.
c: fix up copyr
i
ght
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
S
v
e
n
V
erd
o
olaege
is
l
_aff_f
l
oor: reduc
e
c
o
e
fficients o
f
newly cr
e
ate
d
div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verd
o
ol
a
ege
add
i
sl_a
f
f_mod and isl_pw_aff_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Ve
r
d
o
olaege
add is
l
_
int_mul_2exp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-29
Sv
e
n
Ver
d
o
olaege
export is
l
_p
w
_aff_foreach_
p
iec
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-29
Sven V
e
rdoolaege
add
isl_set_dim_h
a
s_{lower,upp
e
r}_b
o
u
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoo
l
aege
i
s
l_st
r
eam
_
read_map:
acc
e
pt assignments to t
u
ple variab
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verd
o
olaege
isl_stream_read
_
map: accept terna
r
y ope
r
ator
s
in variabl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven V
e
rdoolaege
i
s
l
_stream
_
read_ma
p
: handle ini
t
ial pa
r
e
n
t
h
esi
z
e
d affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
Verdool
a
ege
isl
_
stream: s
u
pport c
o
m
pound to
k
ens
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n Ve
r
dool
a
ege
privately export
isl_token
_
new
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n Verdoo
l
aege
is
l
_str
e
am_read_map: accept
"
!=" in exp
r
ess
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
isl_str
e
am_read_map: accept "mo
d
" i
n
expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n V
e
rdoolae
g
e
i
sl_stream_read_map: accept
a
rbitrary a
f
fine expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Ver
d
o
olaege
isl_
s
tr
e
am_r
e
ad_map: u
s
e a
f
fi
n
e
e
xpr
e
s
s
ions during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven V
e
rd
o
olaege
add
i
s
l_pw_aff_list_{min,max}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven
Verdoolae
g
e
add isl
_
pw_aff_li
s
t_*_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ver
d
o
ol
a
ege
add i
s
l
_
pw_qpolynomial_from_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
ad
d
isl_pw_q
p
olynomial_p
o
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
v
e
n
V
erdoo
l
aege
a
d
d isl_pw_qpolynomia
l
_from_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
erdoolaege
a
dd is
l
_pw_af
f
_l
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
add isl_*_list_concat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n Ve
r
doolae
g
e
add i
s
l
_*_list_from_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
*_list_
f
ree: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ve
r
doolaege
add isl_map_se
t
_
ra
t
io
n
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ver
d
oo
l
a
ege
a
d
d isl_pw_aff_f
r
om_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en
V
e
r
doo
l
aeg
e
isl_map_intersect: be c
a
reful when inters
e
cting wi
t
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven
V
erdoolae
g
e
isl_map_intersect:
b
e
ca
r
e
f
ul
w
hen
i
n
ters
e
c
t
ing
w
ith
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verd
o
olaege
add isl_p
w
_aff_n
o
n_zero_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven
Verdoolaeg
e
export
i
s
l_pw_aff_zero_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-23
Sv
e
n Verdoolaege
reimplement isl_constrai
n
t in terms of isl_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-23
Sven Verd
o
ol
a
e
ge
add isl_local_s
p
ac
e
_is_div
_
constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-23
Sve
n
Verdoolaege
drop isl_constr
a
int_add_
d
iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-23
Sven Verdo
o
laege
drop isl_
c
ons
t
r
ain
t
_
clear
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-23
Sven Verdoolaege
isl
_
cons
t
rain
t
: drop
cons
t
raint iteration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-21
Sven
Verdoolaege
isl_union_ma
p
_add_map: ali
g
n
p
aram
e
t
ers if
n
eeded
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
Sven Verdoo
l
aege
align
par
a
m
e
ter
s
of arguments to bi
n
ary isl_ma
p
a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
Sven Verdoo
l
aege
intr
o
duce ident
i
fi
e
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-20
Sv
e
n Verdoolaege
privately export
i
sl_pw_aff_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next