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_dim_is_bounded: return isl_bool
2017-01-20
Sven Verd
o
olaege
i
sl_map_dim_i
s
_bou
n
ded: return
i
sl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdoolaege
i
s
l
_basic_map_
d
im_is_bounded: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven V
e
rdo
o
l
aege
i
s
l
_map_
i
s_set: ret
u
rn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_map_is_params:
return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
Verdo
o
laege
isl_
m
ap
_
compatible_range: retur
n
isl_
b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ver
d
oolaege
isl_map_compatible
_
domain: re
t
urn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdo
o
laege
isl
_
map_compatib
l
e_
d
omain
:
a
dd memory mana
g
ement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoola
e
ge
iisl_set_has_equal_space: retu
r
n i
s
l_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
i
sl_map_has_equal_s
p
ace
:
return isl_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
e
n
Verdoola
e
ge
isl_set_is_bo
x
: return
i
sl_
b
oo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
erd
o
olaege
i
s
l_basic_set_is_
b
ox: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verd
o
olaege
isl_basic
_
set_plain
_
d
i
m_i
s
_fixed: return isl_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdoolaeg
e
i
s
l_basic_map_plain_has_fixed_v
a
r:
return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
V
e
rdoolae
g
e
isl_ma
p
.
c: div_may_
i
nvol
v
e_output: return
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_map
.
c: div
_
invo
l
ves_vars: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven V
e
rdo
o
la
e
ge
isl
_
basic_map_may_be_se
t
: return
i
sl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ver
d
oolaege
isl_basic_se
t
_is_params: return
isl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ver
d
oo
l
aege
isl_bas
i
c
_map_compatible_ra
n
ge: retu
r
n is
l
_
b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n
V
erdo
o
laege
i
sl_basic_m
a
p_compat
i
ble_range: add
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ve
r
d
oolaege
is
l
_basic_m
a
p_is_set: return
i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verd
o
olaege
isl_local_s
p
ace_i
s
_div_
c
ons
t
raint: return isl_b
o
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaeg
e
isl_loc
a
l
_
s
pa
c
e_i
s
_named
_
or_n
e
st
e
d
:
return is
l
_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
V
erdoolaege
isl_space_h
a
s_named_p
a
ram
s
: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ver
d
oolaege
isl_spac
e
_has_named_p
a
r
ams: rename "
d
i
m" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolae
g
e
isl_space_may_be_set: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ve
r
doolaege
i
sl_spac
e
_
i
s_named_or_nested
:
return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Ve
r
doolaege
isl_space_may_be_se
t
:
r
ename "dim" a
r
g
ument to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_space_is_named_or_nested
:
renam
e
"dim" argume
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaeg
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
isl_bas
i
c_map_contains
:
re
t
urn false
in
case of
d
im
e
nsi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven V
e
rdoolaege
isl_tab_pip
.
c: context_tab_f
o
r
_
lexm
i
n: plug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Ve
r
d
oolaege
isl_basi
c
_set_box_from_points
:
plug mem
o
ry le
a
k on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sve
n
Verdoolaege
isl_set_bounded
_
simple_hul
l
:
p
lug memor
y
leak o
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
v
e
n
Verdoolaege
isl_map_sim
p
li
f
y
.
c: normal
i
ze_divs: plug memo
r
y l
e
ak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
v
en
Ve
r
dool
a
ege
isl_map_simplify
.
c: c
o
alesce_o
r
_
drop_more_
r
e
dun
d
a
n
t_di
v
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sv
e
n V
e
rd
o
ola
e
g
e
is
l
_basic_set_solve_ilp: avoid double free on erro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
ven Verdoolaege
isl_vertices
.
c
:
t
r
iangulate: impro
v
e err
o
r hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Ve
r
d
oolaege
isl_farkas
.
c:
farkas: improve err
o
r
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
v
en Verdo
o
laege
i
s
l_basic_
m
ap_simplif
y
: improve error h
a
n
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven V
e
rdoolaege
i
s
l
_
basic_
m
ap_dr
o
p
_
core: improve e
r
ror handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
ven Verdo
o
laege
isl
_
b
as
i
c_map_set_to
_
empty: improve erro
r
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
i
s
l
_
m
ap
_
is_rational:
fix error
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-16
S
ven Verdoolaege
isl_map
_
simplify
.
c: ok_to_el
i
minate_div
:
also
i
n
vestigate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Ver
d
oolaege
isl_mat_inverse_product:
i
mprove error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdool
a
eg
e
i
sl_test
.
c:
t
e
s
t_div:
u
se return value of isl_constra
i
nt_set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_
t
est
.
c: tes
t
_div
:
us
e
return value of is
l
_const
r
a
i
nt_s
e
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
v
e
n
Verdoolaege
i
s
l_test
.
c
: tes
t
_construction: use return valu
e
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven
Verdoolaege
isl_test
.
c
: tes
t
_const
r
uction:
use
r
eturn value
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Ve
r
doo
l
aege
is
l
_input
.
c: accept_div: do not ignor
e
return value
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
ven Verdoolaege
isl_schedule_band_replace_ast_b
u
ild_option:
plug me
m
ory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdo
o
laege
isl_loc
a
l_sp
a
ce_in
t
ersect: plug
memo
r
y
leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoo
l
aege
i
s
l_
v
ec_
e
xpand
:
add mi
s
sing return on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
v
en V
e
rdoolaege
isl_sched
u
le_tree
_
dup:
a
dd
m
issing return on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_sche
d
u
l
e
_
node_g
r
oup: add mi
s
sin
g
return on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoo
l
aege
isl_schedu
l
e_nod
e
_band_sink: add
m
i
ssing retu
r
n
s on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
v
en Verdoo
l
aege
i
sl_schedule
_
band_member_set_isolate_as
t
_loop_
t
y
pe
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_s
c
hedule_band_member_s
e
t_ast_loo
p
_
type: add missing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Ver
d
o
olaege
isl_schedule_band_member_set_coinc
i
d
e
nt:
a
dd mi
s
sing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaeg
e
isl_schedule_n
o
de_s
e
quence_spli
c
e
_child: add
missing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
ven
Verdoolaege
i
s
l_schedule_read
.
c: read_band: a
v
oid dou
b
le free on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_ast_build
.
c: isl_
a
st_build_set_loop_bounds: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-06
T
o
bias Grosse
r
isl_ba
s
ic_se
t
_is
_
bo
u
nded: ret
u
rn
i
s
l
_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias Grosser
i
s
l_tab_cone_is_
b
ou
n
ded: return
isl
_
b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias
Grosse
r
p
y
thon: re
m
ove redundan
t
is_strin
g
_
type
Reported-by: Sven Verdoolaege <
skimo@kotnet.org
>
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-06
Sven Verdoolaege
isl_tab_ba
s
i
c
_
m
ap_par
t
i
a
l_lexopt:
improve detection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verd
o
olaege
isl
_
ta
b
_
p
i
p
.
c
:
sol_po
p
:
e
xtract out co
m
b
ine_in
i
tial_if_
e
qua
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
S
v
en V
e
r
dool
a
ege
isl
_
tab_pip
.
c:
s
ol_pop:
extr
a
ct out
com
b
ine_initial_into
_
s
econd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ve
r
doolaege
isl_tab_pi
p
.
c: isl_pa
r
tial_so
l
:
use isl_
m
ulti_aff instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
is
l
_ta
b
_pip
.
c:
i
sl
_
s
o
l
:
keep t
r
ack of
space of
output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdool
a
e
g
e
i
s
l
_tab_pip
.
c: sol_
p
ush_sol: clarify me
a
n
ing of "M
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sv
e
n
Verd
o
olaege
isl
_
t
ab_pip
.
c
:
rem
o
ve wrappers f
o
r
s
ol_*_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sve
n
Verdoolaege
isl_tab_pip
.
c
:
m
ove
c
ommon parts of isl_*_f
r
ee
f
unctions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_tab_pip
.
c: set free callback
bef
o
r
e any ot
h
er fi
e
lds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdo
o
laege
isl_tab_pip
.
c
: extrac
t
ou
t
shared so
l
_
i
nit
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_tab
_
pip
.
c: i
s
l_sol: update documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven V
e
rdoolaege
isl_tab_pip
.
c: move up set_from_affine_ma
t
rix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven
V
erdoo
l
aege
i
s
l_tab_p
i
p
.
c
:
s
ame_solution:
r
eturn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
S
v
en Ve
r
doolaege
isl
_
tab_pi
p
.
c: so
l
_*add: add memory management anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_tab_pi
p
.
c: sol_push_sol: add me
m
ory
man
a
g
e
me
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven
Verdoo
l
a
ege
isl_tab_pip
.
c:
s
ol_*_in
i
t
: add memory m
a
na
g
e
ment a
n
nota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven V
e
rdoolaege
add isl_p
w
_multi_aff_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven V
e
rdoolaege
d
oc: document isl_pw_aff_is_
e
qual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sv
e
n
V
e
r
d
oolaeg
e
isl_pw_aff_is_equal: change return ty
p
e to i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoola
e
g
e
isl_pw_*_plain_is_equal: fix handling of Na
N
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
gen
e
ralize i
s
l_pw_aff
_
involves_na
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
S
ven Verdoolaege
doc: docum
e
n
t
isl_qpolynomial_is_nan
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
v
e
n Verd
o
olaege
i
s
l_s
t
ream
_
r
ead_pw_multi
_
aff
:
r
e
a
d
isl
_
pw_m
u
l
t
i_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n Verdoolaege
isl_stream_read_mult
i
_pw
_
aff
:
extract out extract_mpa_from_tuple
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven
V
e
r
doolaege
isl_bas
i
c
_map
_
range_map: us
e
i
s
l
_ba
s
ic_map_equate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
ve
n
V
e
rdoolaege
i
s
l
_bas
i
c_ma
p
_domain_map: use isl_basic_
m
ap_e
q
uate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sve
n
Verdool
a
eg
e
i
sl_tab_detect_
i
mpli
c
it_equ
a
lities: reu
s
e select_marked
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n Verdoola
e
ge
isl_tab
.
c: move up sel
e
c
t
_mark
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoo
l
ae
g
e
i
s
l_m
a
p_coalesce: check
s
tatus
o
f
inequality
c
o
n
straints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ve
r
doolaege
isl_map_coalesce: allow separat
i
ng equa
l
i
ty co
n
straint
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en Verdoolaege
i
s
l
_
ma
p
_coa
l
esce: only harmonize d
i
vs if equality co
n
straint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
ven Ve
r
d
o
olaege
isl_b
a
sic_m
a
p
_s
i
mplif
y
:
r
e
d
u
c
e
c
o
e
f
ficients of inte
g
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n Verdoolaege
isl_
b
asic_map_ga
u
s
s:
d
o
not extract par
t
ial expl
i
cit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ve
r
doo
l
aege
isl_b
a
sic_map_ga
u
ss: extract
out set_div_from_eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en V
e
rdoolaege
isl_map_coal
e
sce
:
harm
o
nize i
n
teger divisions in str
i
de
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en Verdoolaege
add isl_basic_map_set_d
i
v_expr_constant_num_
s
i_inplace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next