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
isl_union_set_intersect: special case intersection with parameter domain
2011-09-03
Sven Verdoolaege
isl
_
set
_
re
a
d_from_*: co
e
rce se
t
-like maps in
t
o se
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
o
o
laege
isl_input
.
c: map_read_pol
y
lib: convert
s
e
t-like m
a
ps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaeg
e
isl_i
n
put
.
c: obj_re
a
d: s
t
a
rt off from parameter space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
i
s
l_in
p
ut
.
c
: represent nested
tuple as isl
_
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_input
.
c
:
obj_
r
ead_poly
_
or
_
fold: represent domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
isl_basic_set_multiplica
t
ive_call:
explicitly proje
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Verdoolaege
isl_pw_qp
o
lynomial_fold_bound:
e
xplicitly project on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verd
o
ol
a
ege
i
s
l_
q
polynomial_bound_on_domain_bernstein: explicitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_qpolynomial_bound_on_dom
a
in_
r
a
nge: expli
c
itly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
isl_u
n
i
o
n_map_from_map: ex
p
licitly p
r
oject on parame
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
is
l
_union_ma
p
_al
i
gn_p
a
r
a
m
s:
e
xplici
t
l
y
project on pa
r
ameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_polynomial
.
c
:
constant_on_domain: explicitly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaeg
e
basic_set_dim_max: explicitl
y
proje
c
t on parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
isl_basi
c
_set_c
o
m
p
u
t
e_vertic
e
s: explici
t
ly turn
c
h
a
mbers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoola
e
g
e
b
ound
.
c: e
x
plicitly convert contex
t
in
t
o parameter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
pip
.
c: expl
i
ci
t
ly convert context into param
e
ter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n V
e
r
d
o
o
laege
add isl_pw_qpoly
n
om
i
al_fold_project_d
o
main_
o
n_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add
i
s
l_qp
o
l
y
n
omial_project
_
domain_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rd
o
o
laege
add is
l
_pw_q
p
olynomia
l
_project
_
out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
er
d
oolaege
add isl_morph_{dom,ran}_
p
a
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaeg
e
a
d
d
isl_basic_set_params and isl_set_par
a
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaeg
e
add i
s
l
_s
p
ace_params
_
alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aeg
e
isl_st
r
eam_read_set: ac
c
e
p
t
parameter domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_pw_qpolynomial_fold_
b
o
und:
simpl
i
fy constructi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_
t
est
.
c: properly create set space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
isl_map_
r
ange_ma
p
: fix
space manipulation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl_map_r
a
nge: constr
u
ct correct s
p
ace for
re
s
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_basic_set_alloc: create basic set in proper set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl
_
s
pace_wrap: properly create set space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
add isl
_
set_from_pw_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
rename PW_all
o
c_ to
P
W_al
l
o
c
_
size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
o
olaege
isl_pw_
*
_add_disjoint: try an
d
exten
d
one of
t
he pws
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_spa
c
e_match: optimize trivial c
a
s
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
d
d is
l
_map_flat_
d
omain_pro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
i
s
l_a
c
c
e
ss_inf
o
_compute_flow
:
a
l
i
gn
p
arameters o
f
inpu
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
align param
e
ters of argu
m
en
t
s to
isl_map_{
l
exmin,lexmax}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_space_a
l
ign_params: accept
g
en
e
r
a
l i
s
l_spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdoolaege
a
dd isl_space_p
a
ra
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
lae
g
e
r
en
a
m
e isl_dim to isl_sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n V
e
r
doolae
g
e
docum
e
nt
isl_dim_m
o
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
split of
f
declarations f
r
om isl_poly
n
omial
.
h to separate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
v
en Verdool
a
ege
m
e
rge
i
sl_
*
_dump
func
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoola
e
ge
add isl_set_dim_mi
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n Verdo
o
l
aege
add isl_ba
s
ic_
s
et
_
forea
c
h_
l
exopt
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoo
l
aeg
e
add isl_pw_
a
ff_union
_
opt
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
add isl_pw_aff_union_
m
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
v
en Ver
d
oolaege
add isl
_
aff_le_basic_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven
Ver
d
oolae
g
e
i
sl_
q
polynomial_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolaege
Merg
e
bran
c
h
'maint'
commit
|
commitdiff
|
tree
2011-08-31
Sven Verd
o
olaege
i
s
l_qp
o
lyno
m
ial_
r
at_cst:
h
an
d
l
e
N
ULL spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven
V
erdoolaege
bernstein_coefficien
t
s
_
cell: handle NULL poly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdoolaege
isl_p
r
inter_to_str
:
intializ
e
buffer to empt
y
string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
S
v
e
n
Verdoolaege
isl_map_ins
e
r
t
: pro
p
erl
y
h
a
n
dle named or nest
e
d
s
p
aces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
S
v
en
V
erd
o
ol
a
ege
i
s
l
_
se
t
_flat_product:
c
all isl_map_range_fl
a
t_p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sven Verdoolaege
add some isl_map_plain_is_f
i
xed tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sven Verdoolaege
isl_basic_map_neg: g
a
uss result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
i
s
l_
d
im_get
_
tu
p
le_i
d
: c
o
mplain if tuple has no id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ve
r
doolaege
isl_dim_get_dim_id: compla
i
n
i
f dim has no id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
Ver
d
oolaege
add isl_*_has_tu
p
le_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n
V
erdoolaege
add isl_*_has_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
v
en
V
erdoolaege
doc: w
a
rn a
b
ou
t
the li
m
i
te
d
use
of identifiers of individual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
S
v
e
n Verdoolae
g
e
document isl_m
a
p_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaege
rename
i
sl_
m
ap_insert
t
o isl_set_insert_dims and a
d
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Ve
r
doolaege
Merge
b
ranch '
m
aint'
commit
|
commitdiff
|
tree
2011-08-11
Sv
e
n Verdoolaege
isl_dim_equal:
handle NUL
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sv
e
n
V
erdoolaege
isl_dim_t
u
ple_ma
t
ch: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Sven Verdoolaeg
e
is
l
_
map_is_subs
e
t
:
a map cannot b
e
as subset of
a
map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-06
Sve
n
Ver
d
o
olaege
document isl_
m
ap_plain_is_
f
ixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Ve
r
dool
a
eg
e
Merg
e
branch 'ma
i
nt
'
commit
|
commitdiff
|
tree
2011-08-05
Sven
V
er
d
oo
l
aege
i
s
l
_
s
et_product: call isl_map_range_pro
d
uct instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
S
v
en V
e
rdool
a
ege
isl_b
a
sic_ma
p
_rem
o
ve_dims: pr
o
p
e
rly handle named o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
S
v
en Verdool
a
ege
isl_basic_map_dr
o
p
: properly
h
a
n
d
le nes
t
ed spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven
V
e
rdoolaege
i
s
l
_access_info_comput
e
_flow: plug m
e
mory lea
k
on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
Sven
V
erdo
o
laege
doc: u
p
d
a
te prototy
p
e
o
f isl_const
r
aint_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
Sven Verdoolaege
isl_basic_m
a
p_remo
v
e
_divs: ha
n
dle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
S
v
e
n
V
e
r
d
oolaege
isl_schedule
.
c: ha
n
dle basi
c
maps individually in setup
_
carry_lp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdoola
e
ge
add isl_set_reset_tup
l
e_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdo
o
l
a
ege
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2011-08-03
Sven Ver
d
o
olaege
i
s
l_
d
im
_
ran
g
e_product: dim
e
n
s
ion names of doma
i
ns don
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdoolaeg
e
i
sl_af
f
.
c:
fix up co
p
yright
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdo
o
l
a
ege
isl_aff
_
floor: reduce coe
f
ficie
n
ts of newly created div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verd
o
ola
e
ge
add isl_aff_mod an
d
i
s
l_pw_aff_
m
od
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verdoo
l
aege
add isl_int_mul_2exp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-29
Sven Verdo
o
l
aege
expor
t
isl_pw
_
a
ff_foreach_p
i
ece
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-29
S
v
e
n
Verdoo
l
aege
add isl_
s
et_d
i
m_has
_
{lower,
u
pper
}
_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verdoolaege
isl_stream_read_map: accep
t
a
s
si
g
n
m
e
n
t
s to tup
l
e v
a
riables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ve
r
doolaeg
e
isl_stream_read_
m
ap: accept ternar
y
operators in variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
e
n
V
er
d
oolaege
isl_
s
tre
a
m_read_m
a
p: handle initi
a
l p
a
renth
e
sized affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verd
o
olaege
isl_stream: support
c
o
mpo
u
nd
t
okens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ver
d
oo
l
a
ege
privately export
isl_t
o
ken_new
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdo
o
laege
isl_stream_read_map: ac
c
ept "!
=
"
in expre
s
s
ion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven
Ve
r
dool
a
eg
e
isl_s
t
ream
_
read_map: a
c
cept "mod"
i
n expression
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n Verdoolaege
isl
_
stream_r
e
a
d_
m
ap:
accept ar
b
i
t
r
ary affine
e
x
p
re
s
sions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven V
e
r
d
ool
a
e
ge
isl_s
t
rea
m
_read_map: use affine expressions d
u
ring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en Verdoo
l
ae
g
e
add isl_
p
w_aff_list_{min,max}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
a
dd isl_
p
w_aff_list_*
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verdoolaege
add isl_pw_qpolynomial_
f
rom_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
erd
o
olaege
add isl_pw_qpol
y
nomial_pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
add
i
sl_pw_
q
p
o
lyn
o
mial_from
_
qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verdoolaege
add isl_pw_af
f
_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next