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_is_params: return isl_bool
2017-01-20
S
v
en Ver
d
oolaege
isl_ma
p
_is_pa
r
ams: return
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Ver
d
o
olaege
i
s
l_map_compa
t
ible_
r
ange: r
e
t
urn isl_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoola
e
ge
isl_map_co
m
patible_domain
:
retu
r
n is
l
_b
o
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoola
e
ge
isl_
m
ap_compat
i
ble_domain: add
m
emory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n
Ver
d
o
olaege
ii
s
l
_
s
e
t_has_
e
q
u
al_space: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_map_has_equal_space: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdoolae
g
e
isl_set_is
_
box: return is
l
_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
erd
o
olaege
isl_b
a
sic_set_i
s
_box: return i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
Verdoolaeg
e
is
l
_b
a
sic_set_plain_dim_is_fixed:
r
eturn isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdo
o
la
e
ge
isl_b
a
sic_map_plain_has_fix
e
d
_
v
a
r: return
i
sl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_map
.
c: div_may_invo
l
ve_output: re
t
u
r
n isl
_
boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdoolaege
isl_ma
p
.
c: div_involves_vars: return isl
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdoolaege
isl_basic_map_ma
y
_
be_s
e
t: 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_
b
a
s
ic_set_is_p
a
rams: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
is
l
_ba
s
ic_ma
p
_compatib
l
e_range: retu
r
n isl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n Verdoolae
g
e
isl_b
a
sic_
m
ap_compa
t
i
b
le_rang
e
: add memory ma
n
age
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoola
e
g
e
isl_basic_map_is_set:
retu
r
n is
l
_
bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
ven Ve
r
doolaege
isl_loca
l
_spa
c
e_is_div_con
s
traint
:
r
e
t
u
rn isl_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
erdool
a
ege
isl_local_spac
e
_is_named_o
r
_
nested: return
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
ven Verdo
o
lae
g
e
isl_spa
c
e_has_
n
amed_params: return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Ve
r
do
o
laege
i
s
l_space_has_named_p
a
ram
s
: rename "dim" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_space_
m
a
y_be_
s
et: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n Verdoolaege
isl_space_is_named
_
or_nested: ret
u
rn isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
erdool
a
eg
e
isl_
s
pace_ma
y
_be_set: ren
a
me
"dim" argument to "
s
pace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdoola
e
ge
i
s
l_space_is_named_or_nested:
r
ename "dim" argu
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
v
en Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-01-18
Sven V
e
r
d
oolaege
i
sl
_
basi
c
_
m
ap_contain
s
: return fal
s
e in case of dime
n
s
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sve
n
Verdoolaege
isl_
t
ab
_
pip
.
c: context_tab_for_lexmin: plug me
m
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sve
n
Verdoolaeg
e
i
sl_basic_
s
et_b
o
x_fr
o
m_p
o
ints: plug
memo
r
y lea
k
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdo
o
l
aege
is
l
_set_b
o
unded_
s
im
p
le_
h
u
ll:
plug
memory leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolae
g
e
i
s
l_map_
s
impli
f
y
.
c: normaliz
e
_
d
ivs
:
pl
u
g
memory lea
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdo
o
laege
i
sl_map_sim
p
lify
.
c
: coalesce_or_drop_more
_
redunda
n
t_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
v
en
Verdoolaege
i
sl_basic_se
t
_solve_ilp:
avoid do
u
ble free on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven
Verdoolaege
isl_
v
ertices
.
c: triangulate
:
i
m
pro
v
e error h
a
ndling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdool
a
ege
i
s
l_farka
s
.
c: f
a
r
k
as:
improve
error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
ven Verdool
a
e
g
e
i
s
l_b
a
sic_ma
p
_simpli
f
y
: imp
r
ove e
r
ror handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven
V
e
rdoolaege
i
s
l_basic_map_dro
p
_c
o
r
e: imp
r
o
ve error handl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
isl_basic_
m
ap_set_to_empty: impro
v
e erro
r
ha
n
dli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
ven
V
er
d
oolaege
isl_map_is_r
a
tion
a
l: fix error handli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-16
S
v
en
Ve
r
d
o
o
laege
isl_map_simplify
.
c
:
ok_to_eliminate_
d
iv: also investigate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven
Verd
o
ola
e
ge
isl_ma
t
_inve
r
se_
p
roduct: improve error
h
and
l
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven
V
e
rdoolae
g
e
isl_test
.
c: te
s
t_div
:
use re
t
urn value of isl_constrain
t
_
s
et
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_test
.
c: test
_
div: u
s
e
re
t
ur
n
value of is
l
_c
o
nst
r
aint_set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Ve
r
doolaege
isl
_
test
.
c: test_construction: use ret
u
rn value of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven
Verdoola
e
ge
isl_test
.
c: test_c
o
nstruction: us
e
r
et
u
rn value of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Ver
d
oolaege
is
l
_inp
u
t
.
c: a
c
cept_div:
do not
i
gnor
e
r
e
turn value
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
ven Verdoola
e
ge
isl_sche
d
ule_band_replace_ast_bu
i
l
d_op
t
ion: plug memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
v
e
n
Verdoolaeg
e
isl_local_space_intersect: pl
u
g memory leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_vec_e
x
pa
n
d: ad
d
mis
s
ing r
e
t
urn
on error pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolae
g
e
isl_schedule_
t
r
e
e_dup: add missin
g
return on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sv
e
n
Verdoolaeg
e
is
l
_s
c
hedu
l
e_node_
g
roup: add missing return
on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
v
en Verdoolaege
i
sl_schedu
l
e_node_band_sink: add
missi
n
g returns on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sv
e
n Verdoolaege
isl_sc
h
edule
_
b
and_member_set_is
o
late_ast_loop_t
y
pe
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaeg
e
i
s
l
_schedule_ban
d
_me
m
ber_set_a
s
t_
l
oop_type: add mis
s
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
is
l
_schedule_
b
and_mem
b
er_set_coinc
i
dent: a
d
d missi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verd
o
olaege
isl_schedule_node_s
e
q
ue
n
ce_sp
l
ice_child: add missi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven
Verdoolaeg
e
i
sl_
s
c
hedule_r
e
a
d
.
c: read_ba
n
d: avoid dou
b
le fre
e
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Ver
d
oolaege
isl_ast_build
.
c: isl_ast_buil
d
_set_loop_bo
u
nd
s
:
avoi
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-06
S
v
en
Verdoolaege
isl_tab_bas
i
c_map_partial_lexopt
:
improve detection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_t
a
b
_pip
.
c
:
s
o
l_pop: extr
a
c
t out com
b
ine_
i
n
i
tial_if_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ver
d
oola
e
ge
isl_ta
b
_pi
p
.
c:
sol_pop:
e
xtract out combine_i
n
itial_
i
nt
o
_secon
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven
Ver
d
o
o
laege
i
s
l_tab_pip
.
c: isl_par
t
i
al_sol: use i
s
l
_mul
t
i_aff
inst
e
ad
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sv
e
n Verdool
a
ege
isl_ta
b
_pip
.
c
: isl_sol
:
ke
e
p tra
c
k of space of out
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven
V
erd
o
o
l
aege
isl_tab_pi
p
.
c: sol_pu
s
h_sol: clarif
y
meaning of "M
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl
_
tab_pip
.
c: remove wrapper
s
for sol
_
*_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_ta
b
_pip
.
c: m
o
ve
common par
t
s
of isl_*_free functions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
is
l
_
t
ab
_
pip
.
c: set free callb
a
ck
before
any
o
t
her fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
S
v
en Ver
d
ool
a
ege
isl_tab_pip
.
c
:
extract
o
u
t shared sol
_
ini
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven V
e
rdoolaege
isl_tab_pip
.
c
:
isl_sol: upda
t
e
doc
u
men
t
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_tab_pip
.
c
:
move up set_from_affine_matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_tab_
p
ip
.
c:
s
a
me_solution: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ver
d
oo
l
aege
isl_tab_p
i
p
.
c: sol_*a
d
d
:
a
d
d memory ma
n
ag
e
ment anno
t
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
S
v
e
n
V
erdoolaege
isl_
t
ab_pip
.
c: sol_push_
s
ol
:
add m
e
mory
m
anageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
i
s
l_tab
_
pip
.
c: s
o
l_*_init: add memory ma
n
agement
an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
S
ven Verdoolaeg
e
add isl
_
pw_multi_aff_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven
V
erdoolaege
doc
:
d
ocument i
s
l
_
pw
_
aff_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
S
ven Verdoolaege
isl_pw
_
aff_is_equal: change return
t
yp
e
to isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_pw_*_p
l
ain_is_equal: fix h
a
ndli
n
g of
NaNs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ve
r
doo
l
aeg
e
genera
l
iz
e
isl_pw
_
aff_involves_nan
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdool
a
ege
doc: d
o
cumen
t
isl_qpolynomial_is_nan
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven V
e
rdool
a
ege
isl_strea
m
_read_pw_multi
_
aff: rea
d
isl_pw_multi_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ver
d
oola
e
ge
isl_strea
m
_read_multi_pw_aff: extract
out extract_mpa_fro
m
_tuple
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_basic_map_
r
a
n
ge_map: use isl_basic_map_equate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdo
o
laege
isl_basi
c
_map_domain_
m
ap: u
s
e i
s
l_basic_m
a
p_equate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_t
a
b_detect_im
p
lic
i
t
_eq
u
alitie
s
: reuse select
_
marked
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ve
r
doolaege
isl_tab
.
c
:
move up
s
e
l
ect
_
marked
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sve
n
Verdoolaege
isl_
m
a
p
_
coalesce:
check status of inequality constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
is
l
_map_coal
e
sce: allow separat
i
ng equal
i
ty c
o
n
s
t
raints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoo
l
aege
isl_map_coalesce: only harmonize divs if equalit
y
c
ons
t
rai
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoola
e
ge
isl_
b
asic_map_simplify: reduce coeff
i
ci
e
nts
o
f
i
n
teger
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven
V
e
rdoo
l
a
e
ge
i
s
l
_bas
i
c_ma
p
_gauss: do
not e
x
tra
c
t pa
r
tial explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven
V
erdool
a
ege
i
s
l_basic_map_gauss: extract out set_div_from_eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n
V
e
r
doolaege
i
sl_
m
ap_c
o
alesce: ha
r
monize integer divisi
o
n
s
i
n
stride
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
v
e
n Ver
d
oolaege
ad
d
isl_
b
asic_map_set_div
_
expr_constant_num_si_in
p
lace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
ven Verdoolaege
add isl_basic_map_equal_d
i
v_exp
r
_except
_
cons
t
ant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
i
s
l_coalesce
.
c: set_up_substitutio
n
s:
ex
t
ract isl_
b
asi
c
_m
a
p_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven V
e
rdo
o
laege
isl_map
.
c: extract out sh
a
r
ed
i
sl_basic_
m
ap_c
h
e
ck_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
i
s
l_affine_hull
.
c: move
i
sl_*_drop_cons
t
raints_* t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven
V
erdoolaege
private
l
y export isl_constraint_get_c
o
nstant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sve
n
V
e
rdoolaege
i
sl_basic_map_sh
i
f
t
_
d
iv: spec
i
a
l
case zero shift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next