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_map_plain_is_fixed: return isl_bool
2017-01-25
Sven V
e
rdoolaege
isl_map_p
l
a
i
n
_is_fixed
:
return isl
_
b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
e
r
d
o
olaege
isl_
b
asic_map_pla
i
n_is_f
i
xed:
r
e
tur
n
i
s
l
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdoolaeg
e
isl_map_pl
a
in_has_fixed_
v
ar:
r
eturn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven V
e
rdoolaege
isl_basic_map_image_i
s
_bounded: r
e
turn is
l
_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verd
o
ol
a
ege
isl
_
basic_ma
p
_im
a
ge_is_bounded: adjust to isl
_
ba
s
ic_s
e
t
_is_b
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
e
rdoolaege
isl_set_dim_is_bounded: return i
s
l_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
ve
n
V
erdoolaege
i
sl
_
m
a
p_dim_is_
b
ounded: ret
u
rn isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven V
e
r
d
oolaege
isl_basic_map_dim_is_b
o
unded: r
e
tu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
i
s
l_map_is_set: ret
u
rn
i
sl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdoolaege
isl_map_is_params: re
t
urn isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdoolaege
isl_map_com
p
a
t
ible_r
a
nge: return i
s
l_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdoolaege
isl_map_com
p
atible_
d
oma
i
n: return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en
Verdoolae
g
e
isl_
m
ap_compatible_
d
oma
i
n: add m
e
mory mana
g
ement annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
iisl_set_has_equal_space:
r
eturn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ver
d
o
olaege
isl_map_has
_
e
qual_space: re
t
urn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven V
e
rdo
o
l
aege
isl_s
e
t
_
is_box: retu
r
n isl_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaeg
e
isl_basic
_
set_is_bo
x
: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdoolaege
isl_basic_set_pl
a
in_
d
i
m
_
i
s_fixed
:
return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_
b
asic
_
map_plain_has_fixed_var: r
e
turn
i
sl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n Verd
o
ola
e
g
e
isl_map
.
c: div
_
may_involve_output: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoola
e
ge
i
sl
_
map
.
c: d
i
v_involve
s
_vars: retur
n
isl
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
Ver
d
oolaege
is
l
_basic_map_may_be_
s
et: r
e
t
urn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoola
e
ge
isl_basic_
s
et
_
is_
p
arams: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n Verdo
o
laege
isl_basic_ma
p
_compatible_range: retu
r
n
i
sl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven V
e
r
doolaege
isl
_
basic_
m
ap_com
p
a
t
ible_
r
ange:
add memory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdoolaege
is
l
_basic_map
_
is_set:
return i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven V
e
rdo
o
laege
i
s
l_l
o
cal_space_is_div_constraint: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
Ver
d
oo
l
a
e
g
e
i
sl_loca
l
_space_is_n
a
med_or_nes
t
ed: retu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
erdoolaege
isl_space_has_name
d
_params:
return isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoola
e
ge
isl_space_has_named_params
:
re
n
ame "
d
im"
argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n Verdo
o
laege
isl_space_may_be_set: ret
u
rn is
l
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n Verdoola
e
ge
isl_space_is_name
d
_
or_nested: ret
u
rn is
l
_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdo
o
laege
isl_space_may_be
_
set:
r
e
n
a
me
"
dim" argument t
o
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n
Verdoolaege
isl_space_is_nam
e
d_or_nest
e
d:
r
ename "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoo
l
a
ege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2017-01-18
Sven V
e
rdoolaege
isl_basic_map_
c
ontains:
r
eturn false in c
a
se of d
i
m
e
nsion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven V
e
r
doolaege
isl_tab_pip
.
c: context_tab_for_lexmin: plu
g
memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
i
s
l_basic
_
set_
b
ox_from_points: plug memor
y
leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sve
n
Verdoolae
g
e
isl_set_bounded
_
simple_hull: plug
memory leak on
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sv
e
n Ver
d
ool
a
ege
isl_map_simplify
.
c: n
o
r
m
alize_divs: plug m
e
mory leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoola
e
ge
isl_map_sim
p
lif
y
.
c: co
a
lesce_or_drop_more_redundant_d
i
vs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Ve
r
doola
e
ge
isl_basic_
s
et_solve_ilp:
a
v
o
id double free
on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
isl_vertices
.
c: t
r
iangulate: improve err
o
r
handl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sv
e
n Verdoolaeg
e
isl_fa
r
kas
.
c: farkas: improv
e
error
h
and
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdo
o
laege
isl_bas
i
c
_
map
_
simplify: improve error handl
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
v
en Verdoolaeg
e
isl_basic_map_d
r
op_core: imp
r
o
v
e
erro
r
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
v
e
n
V
erdoolaege
isl_basic_map_
s
e
t_to_emp
t
y: im
p
rove error
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolae
g
e
isl_map_is_rational: fi
x
e
r
r
o
r
handl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-16
S
v
en V
e
rdoolae
g
e
isl_map_
s
implif
y
.
c
: ok_to_elimina
t
e_div: also invest
i
gate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sve
n
Verdoola
e
ge
isl
_
m
a
t_inverse_prod
u
c
t
: improve err
o
r handli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_test
.
c
:
test_di
v
: use return value of
isl
_
cons
t
rai
n
t_s
e
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
v
e
n
V
er
d
ool
a
ege
isl_test
.
c: test
_
d
i
v:
use return va
l
ue of
i
sl_
c
o
n
s
traint_set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sv
e
n
Verdoolaege
isl_test
.
c: test_construc
t
ion: use return v
a
l
u
e of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sv
e
n Ver
d
oolaege
is
l
_test
.
c: test_constructio
n
: use
r
eturn value of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
ve
n
Verdoolaege
isl_input
.
c
:
acce
p
t_div: do n
o
t ignore
return value
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
ven V
e
rdoo
l
aege
isl_schedule_b
a
nd_replace_ast_build_option: plug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_local
_
space_inter
s
ect: plug memory lea
k
on
e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven V
e
rdoolaege
i
s
l_
v
ec
_
exp
a
nd: add missing r
e
turn
o
n error p
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
v
en V
e
r
d
oolaege
isl_schedule_tr
e
e_dup: add missing return on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdo
o
l
aege
i
s
l_
s
c
h
e
dul
e
_no
d
e_group:
add mis
s
in
g
retu
r
n o
n
e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Ver
d
o
o
laege
i
s
l_schedu
l
e_node
_
ba
n
d_sink: add
m
is
s
ing returns on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdo
o
laege
isl_schedule_ba
n
d_member_s
e
t_isol
a
te
_
ast_loop
_
type
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven V
e
rd
o
ol
a
eg
e
isl_schedule_b
a
nd_memb
e
r_set_ast_loop_type: add missing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaeg
e
isl
_
schedule_band_me
m
b
e
r
_
s
et_coi
n
c
i
dent
:
a
dd missing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolae
g
e
isl_
s
ch
e
dule_node_sequenc
e
_splice_
c
hild:
add mi
s
s
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
v
en Verdoolaege
i
sl_sched
u
le_read
.
c
:
read_band: avoid double free o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven
Verdool
a
ege
i
sl_a
s
t_build
.
c: is
l
_
ast
_
build_set_l
o
o
p
_boun
d
s:
av
o
id
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-06
Sven V
e
rdoolaege
isl_tab_basi
c
_
map_partial_le
x
opt: imp
r
ove
d
ete
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
S
ve
n
Ver
d
oolaege
isl_tab
_
pip
.
c:
s
ol_pop: ex
t
ract out combi
n
e_initial_if_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sv
e
n
Verdo
o
laege
i
sl_tab_pip
.
c:
s
ol_pop: extract out combine_initial_into
_
second
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sve
n
Ve
r
doolaege
is
l
_
t
a
b_pip
.
c:
i
s
l_partial_sol: use isl_multi_aff i
n
stead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_tab_pip
.
c
:
isl_sol: keep track of spac
e
of output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_tab_pip
.
c: sol_push_so
l
: cla
r
ify meani
n
g
of "
M
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ver
d
oolaeg
e
isl_tab_p
i
p
.
c
:
remo
v
e wrappers
f
o
r
s
o
l_*_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_t
a
b_pip
.
c
:
move common parts of isl_*_fre
e
fun
c
tions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sv
e
n Verdoolaege
isl_tab_
p
i
p
.
c: set free callback before an
y
other fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ver
d
oolaege
i
s
l_tab_pip
.
c: extract out s
h
ared s
o
l
_
init
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdo
o
laeg
e
is
l
_tab_pip
.
c:
is
l
_
s
ol: u
p
date document
a
tio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_tab_pip
.
c
:
m
ove
up set_from_
a
ffine_matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven
V
e
r
do
o
lae
g
e
isl_tab
_
p
ip
.
c
:
same_s
o
lution: return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdo
o
l
aege
isl_tab_pi
p
.
c: sol_*a
d
d: ad
d
m
emory management anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven
Verdoo
l
aege
isl_tab_pip
.
c: sol_push_
s
ol: add
memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven
V
erdoolaege
isl_tab_p
i
p
.
c:
s
o
l_*_init: add memory manag
e
men
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven
Verdoolaege
a
dd isl
_
pw_
m
ul
t
i_af
f
_is_equa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
doc: document isl_pw_
a
ff_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoola
e
ge
isl_pw_aff_is_equal: chang
e
return
type
to isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoola
e
ge
i
s
l_
p
w_*_
p
lain_is_equal: fix
h
a
n
dling of
NaN
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolae
g
e
ge
n
eralize is
l
_pw_aff_involves_nan
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven
V
erdoolaege
doc: d
o
cument isl
_
q
polynomial_i
s
_nan
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdool
a
e
ge
i
s
l_stream_r
e
a
d_pw_
m
ulti_a
f
f: read isl_pw_mu
l
ti_af
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaeg
e
isl_stream
_
read
_
m
u
l
ti_pw_aff:
e
xtract out extract_
m
pa_from_tuple
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
ven
V
e
rdoola
e
g
e
i
s
l_ba
s
ic_m
a
p_r
a
nge_map:
u
se
i
sl_bas
i
c_map_equa
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ver
d
oolaege
isl_basic_map_dom
a
in_m
a
p: use isl
_
basic_map_equate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_tab_de
t
e
c
t_im
p
licit_equalities: reuse select_marked
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en Verdoo
l
a
e
ge
i
s
l_t
a
b
.
c
:
move up select_marked
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl
_
map
_
c
oalesce: check
sta
t
us
o
f i
n
equality con
s
traints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoola
e
ge
isl
_
map_coalesc
e
: allow separating equality constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
ven Verdoolaeg
e
isl_map_c
o
ales
c
e: onl
y
harmonize
d
i
vs if equality constraint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven
Verdoolaege
isl_basic_map
_
s
i
m
pl
i
fy: reduce
coe
f
ficients of
i
nteger
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoo
l
a
e
ge
i
sl
_
basic_m
a
p
_gauss: do
not ext
r
act
partial exp
l
i
cit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
