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
privately export isl_multi_aff_align_divs
2012-09-18
Sven Verdo
o
l
a
e
ge
priv
a
tel
y
exp
o
rt
i
s
l_multi_aff_align_di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
add isl
_
basic_set_add_div_constrai
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_map_is_
s
ubset: sup
p
ort r
a
tional maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
isl_stream_read_map: fix parsing of
O
m
ega input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Ver
d
oolaege
isl_stream_read_map: add partial support for r
e
ading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdo
o
laeg
e
isl
_
pw_aff_nonn
e
g
_
s
et: retu
r
n a ration
a
l set
i
f the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolae
g
e
i
sl_pw_af
f
_zero_set: return a
rat
i
onal set if the input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
d
d
i
sl
_
pw_aff_list_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaeg
e
add isl_pw_aff_
s
et_
r
ational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
privately export isl_set_set
_
rat
i
ona
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_set_
h
a
s_ra
t
ional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
reimplement isl_stream_read_aff in terms o
f
isl_stream_read_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
declare isl
_
st
r
eam_read_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolae
g
e
isl_stream_read
_
multi
_
aff: read tu
p
les direc
t
ly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Verd
o
ola
e
ge
isl_input
.
c
:
c
h
ange t
u
ple pars
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaeg
e
add i
s
l_pw_m
u
lti_aff_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
l
aege
ad
d
i
sl_multi_*_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdoolaeg
e
a
dd isl_mult
i
_
*
_rang
e
_splic
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoo
l
ae
g
e
add
i
sl_multi_*_set_tupl
e
_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
add isl_multi_
*
_range_p
r
o
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoolaege
a
d
d isl_mul
t
i_*_add_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
aege
add isl_multi_*_
i
nsert_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
oolaege
add isl_multi_
p
w_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
V
e
rdoolaege
a
d
d isl_multi_aff_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_mult
i
_templ
.
c
: rename align_params_multi_set
_
an
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
i
s
l
_
mult
i
_temp
l
.
h: avoid reference to
e
xplicit
e
lement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
eg
e
isl_m
u
lti_*_reset_space_and_dom
a
in: call
i
sl_
*
_
r
eset
_
domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
oolaege
ge
n
eralize isl_multi_aff
_
fl
a
t_range_pr
o
duct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
generalize isl_mul
t
i
_
aff_drop_
d
im
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
generalize
i
sl_
m
ulti_
a
ff_se
t
_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
gener
a
l
ize is
l
_multi_aff
_
zer
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ge
n
er
a
liz
e
isl_multi_aff_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rdoolaege
add isl_pw_aff_zero_on_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add isl_pw_aff_v
a
r_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoolaege
add isl_aff_var_o
n
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl
_
input
.
c: obj_rea
d
_body: simplify er
r
or handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
rdoolaege
add isl_basic_
s
et_
d
r
o
p_constr
a
ints_not_involving_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
er
d
oolaege
add isl_{set,map}_
d
rop_
c
onstraints_involvi
n
g_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
rdoolaege
add is
l
_set_
u
nshifted_simple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_str
e
a
m_read_union_map: force
r
esult to be a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Ver
d
ool
a
eg
e
ad
d
isl_union
_
map_subtract_
r
a
ng
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Ve
r
doolaege
i
sl
_
set_from_pw_multi_af
f
: handle NULL in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sve
n
Verdoolaege
isl_
u
nion_map
.
c: plain_inje
c
tive_on_
r
an
g
e:
silence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoo
l
aege
is
l
_tra
n
siti
v
e_cl
o
s
ure
.
c:
u
n
i
o
n
_
components: av
o
i
d invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
v
e
n Verdoolaege
isl_range
.
c
q
polynomial_bound_on_do
m
ain_
r
ange
:
avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_convex_hull
.
c: i
n
itia
l
_
fac
e
t_constrai
n
t: avoi
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sve
n
Verdoolaeg
e
i
sl_map_union: special c
a
se universa
l
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
S
ven Verdoolaege
isl_map_g
i
s
t: special cas
e
uni
v
ersal and
equal inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
exp
o
rt isl_set_plain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erdoolaege
do
c
: clarify use of ide
n
t
ifiers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven V
e
r
d
oolaege
ad
d
isl
_
basic_set
_
r
e
move_unk
n
own_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoo
l
aege
and i
s
l_pw_aff_tdiv_q and is
l
_
p
w_a
f
f_tdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
Verdoolaege
add isl_pw_aff_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ve
r
doolaege
add isl_set_is
_
disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en
V
erdoolaege
isl_map_plain_is_disjoint: special case obviously empt
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
Ve
r
doolaege
isl_basic_map_is
_
e
m
pty: special case univer
s
al input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
isl
_
map_plain_is_disjoint:
fi
x
error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n Verdoolaeg
e
i
s
l_aff
.
c:
f
i
x
typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
S
v
en Verdoo
l
aege
isl
_
af
f
_normalize: co
m
bine identical di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoola
e
ge
i
s
l_aff_normalize: plug in div
s
with den
o
m
in
a
tor one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven
V
erdoolaege
extr
a
ct out isl_loca
l
_sp
a
ce_s
u
b
stitute
_
seq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven V
e
rdoolaege
ex
t
r
a
ct o
u
t
com
m
on isl_seq_substi
t
ut
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sv
e
n
Ve
r
doolaege
is
l
_
a
ff_normalize: sort divs in
loc
a
l space
of a
f
fine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoola
e
ge
add isl_loca
l
_
s
pace_
s
wap_
d
iv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
privately export
i
sl_mat_
c
m
p_d
i
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Tobias Grosser
fix isl_union_map_detect_equalities memor
y
man
a
gemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
add i
s
l_map
_
u
n
curry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdoola
e
ge
a
dd isl_union_map_subtract_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdoola
e
ge
isl_pw_*_gist:
a
void int
e
rsection of do
m
ain
w
i
th co
n
te
x
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdoolaege
isl_map_inte
r
sect_domain:
a
v
o
id useless double reverse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
i
s
l_map_i
n
terse
c
t_{ra
n
ge
,
domai
n
}: stop allowi
n
g inters
e
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolae
g
e
isl
_
map_inter
s
e
ct: s
p
ecial case
universal input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdoolaeg
e
a
dd isl_constraint_l
i
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
d
o
olaege
add isl
_
pw_mu
l
ti_aff_set_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoo
l
aege
add isl_p
w
_
multi_aff
_
identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doolaege
de
c
lare i
s
l_pw_m
u
lti_aff_align_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
d
eclare is
l
_basic_
m
ap_rem
o
ve_divs_invo
l
ving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
e
rd
o
ola
e
ge
add isl_vec
_
fdiv
_
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n Ve
r
d
o
olae
g
e
add
i
sl_*_list_
i
n
s
ert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoo
l
a
e
ge
decla
r
e
isl_
m
ap_fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add isl_b
a
sic_
m
ap_u
p
p
er_bo
u
n
d
_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
e
r
d
oolaege
add isl_basic_map_order
_
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdo
o
l
aege
declare isl_
a
f
f
_zero_basic
_
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolae
g
e
ad
d
isl
_
v
ec_concat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdo
o
laege
isl
_
vec_fre
e
: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oolaege
isl_
m
ap_fre
e
: return
NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oo
l
aeg
e
i
s
l_basic
_
s
e
t_free
:
r
e
turn NUL
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_basic_map_free: return
NUL
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oolae
g
e
i
s
l_space_free: ret
u
rn N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_b
a
si
c
_map
_
gauss: also se
t
p
r
o
g
ress
if a
div
express
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoolaege
isl_
t
arjan_graph_in
i
t:
document
the ord
e
r of the components
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_aff
.
c: doc
u
ment
i
sl
_
aff_norma
l
ize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdoolaege
i
s
l_aff
.
c:
fix
t
yp
o
i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oolaege
hide int
e
r
nal ch
e
ck_help
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Ver
d
oolaege
hide internal basic_
m
ap
_
identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdool
a
ege
i
s
l_
m
ap_simplify
.
c:
r
emove
_
duplica
t
e_divs: preserve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven V
e
r
d
o
olaege
i
s
l
_
b
a
sic_
m
ap_drop_red
u
ndant_divs: don't
dr
o
p divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sve
n
Verdoolaege
i
sl_te
s
t:
g
e
n
eralize
s
ubset
t
est
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verd
o
olaege
renam
e
i
sl_set
_
d
i
m
_
has_*_bound to isl_
s
et_
d
im_has_any_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
S
ven Verdoolae
g
e
relicense
i
s
l
u
nd
e
r the MIT
licens
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
