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_set: return isl_bool
2017-01-20
Sve
n
Verdoola
e
ge
isl_
m
ap_i
s
_set:
r
e
t
u
rn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaeg
e
is
l
_
m
ap_is_params: retu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdo
o
la
e
ge
isl_map_com
p
atible_range: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
erdoolaege
isl_map_compatible_domain: return
isl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdo
o
la
e
ge
is
l
_map_compatible
_
d
oma
i
n: add m
e
mory management annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdoolaege
iisl_set_has_equal_space: return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdoolaege
isl_ma
p
_h
a
s_eq
u
al_space: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdool
a
ege
isl_
s
et_i
s
_
box: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoola
e
ge
is
l
_
basic_set_is
_
b
ox: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n Verdoo
l
aege
isl_basic_set_plain_dim_is
_
fixed: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdo
o
laege
i
s
l
_
b
asic_m
a
p_plain_h
a
s_f
i
xed_var
:
return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
e
n
Ve
r
doolaege
isl_map
.
c:
div_m
a
y_involve_output: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
Verdoolaege
isl_map
.
c: di
v
_
i
nvolves_vars: return
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
e
n Verdoolaege
i
sl_ba
s
i
c
_
map_may_be_set: ret
u
rn
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
i
sl_basic_set_i
s
_para
m
s: re
t
u
r
n
i
s
l_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdoo
l
aege
isl_
b
asic_map_compati
b
le
_
ra
n
ge: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
er
d
oolaege
i
sl_basic_map
_
compatible_range: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven V
e
rdoolaege
isl_b
a
sic_map_
i
s_set:
r
e
turn i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_local_space_is_div_constraint: return
isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en
V
e
rdoolaege
isl_local_spac
e
_is_nam
e
d
_or
_
nested
:
return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n
V
erdoo
l
a
e
ge
isl_sp
a
c
e
_has
_
n
a
med_params: ret
u
rn i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verd
o
olaege
isl_space_
h
as_named_params:
r
ena
m
e "dim"
a
rgument to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoola
e
ge
isl_space
_
may_be_set: retu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdool
a
ege
isl_
s
pace
_
is_nam
e
d
_or
_
nested: re
t
urn
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdool
a
ege
i
sl
_
space_may_be_set: rena
m
e
"
d
im" argument to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
Ver
d
oolaeg
e
isl_space
_
is_named
_
or_nested: rena
m
e "dim"
argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
v
en
Verdoolaege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2017-01-18
S
ven V
e
rdoolaege
isl_
b
asi
c
_
map_contai
n
s: return f
a
lse in case of di
m
ension
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaeg
e
isl
_
ta
b
_pip
.
c: con
t
ext_tab_for_le
x
min: plug memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
isl_b
a
s
i
c
_
set_box
_
from_points:
plug me
m
o
r
y l
e
ak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
v
e
n
Verdoolaege
is
l
_se
t
_bounded_simpl
e
_hull: p
l
ug memory
l
eak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven
Verdool
a
ege
isl_
m
ap_s
i
mpli
f
y
.
c: n
o
rmalize_divs: plug memory le
a
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven
Verdoolae
g
e
isl_map_simplify
.
c: coalesce_or_
d
rop_more_re
d
undant_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven V
e
rdoolaege
is
l
_b
a
sic_set_solve_ilp:
a
void d
o
ubl
e
free on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
ven Verdo
o
laege
i
sl_vertices
.
c: t
r
iangulate: improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven
V
erdoo
l
aege
i
s
l_fa
r
kas
.
c: farkas: imp
r
ov
e
error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolae
g
e
isl_basi
c
_map_si
m
plify: improve
e
r
r
or handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoola
e
ge
isl_basic_map_drop_
c
ore: improve er
r
or handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
i
sl
_
basic_map_set_to_emp
t
y: impro
v
e error handli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sve
n
V
e
r
doolaege
is
l
_map_is_rational: fix error handli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-16
Sven Verdoolaege
isl_map_simplif
y
.
c
: o
k
_to_elimin
a
te
_
div
:
also in
v
e
s
tigate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Ver
d
oolaege
isl_mat_inv
e
rse
_
prod
u
ct: im
p
rove error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sve
n
Verd
o
olaege
isl_test
.
c: test_div: use return va
l
ue of isl_con
s
traint_se
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sve
n
Verdoolaeg
e
isl_test
.
c
: test_
d
i
v: use return va
l
ue o
f
isl_cons
t
raint_set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven V
e
rdoo
l
a
e
ge
isl_te
s
t
.
c: test_construction: us
e
return v
a
lue of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
v
en Verdoo
l
aege
isl
_
tes
t
.
c: tes
t
_constr
u
c
tion: use return va
l
ue of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verd
o
o
l
aege
isl_
i
nput
.
c: acc
e
pt_div: do
n
ot
ignore return value
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_
s
chedule
_
ban
d
_replace_ast_build
_
option: plu
g
memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_local_spac
e
_
i
nterse
c
t: plug memory le
a
k on err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdool
a
ege
isl
_
vec_expan
d
: a
d
d missing
r
etu
r
n on er
r
or path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven
V
erdoolaege
isl_schedule_tre
e
_
d
up: add
m
i
s
s
ing
return on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven
V
erd
o
olaege
isl_
s
chedule_no
d
e_gr
o
up: a
d
d missi
n
g return on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Ve
r
do
o
laege
isl_schedule_node_band_sink:
a
dd missing returns on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
v
en Ve
r
doolaege
isl
_
sc
h
e
d
ule_band_
m
ember_
s
et_isolate_a
s
t_loop_ty
p
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdo
o
laege
isl_sche
d
ule_b
a
nd_membe
r
_set_ast_loop_ty
p
e:
a
dd missin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
ven Verdoolae
g
e
isl_
s
c
h
edule_band_member_s
e
t_coincid
e
nt:
a
dd missing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
ven
V
erdoola
e
ge
isl_schedule_node_
s
equence_
s
plice_ch
i
l
d
: add miss
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
i
sl_s
c
h
edule_read
.
c: read_b
a
nd: avoid dou
b
le free on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
v
en
Verdoolaeg
e
isl_ast_bu
i
l
d
.
c: isl_as
t
_bu
i
ld_se
t
_loop_bounds: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-06
Tobi
a
s
Grosser
isl_bas
i
c_set_
i
s_bounded: return
i
sl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias
Grosser
isl_t
a
b_co
n
e_is_bounded:
ret
u
rn
i
s
l
_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-06
T
o
b
ias G
r
osse
r
python: r
e
mo
v
e 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 Ver
d
oola
e
ge
isl_ta
b
_
b
as
i
c_map_partial_lexopt: improve detection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ver
d
oolae
g
e
isl_tab_pip
.
c: sol_
p
op: extract out combi
n
e_in
i
tial_if_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sve
n
Verdoolaege
isl_tab
_
pip
.
c: s
o
l_pop: extract
out combine_initial_into
_
secon
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdool
a
ege
isl_tab_pip
.
c:
i
sl_pa
r
tial_sol: us
e
i
sl_multi_aff
i
nstead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sve
n
Verdoolaege
i
sl_
t
a
b
_p
i
p
.
c: isl_sol: keep tr
a
c
k
o
f
space o
f
output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
S
v
e
n Verdoolaege
i
s
l_t
a
b_p
i
p
.
c: sol
_
push_sol: c
l
a
r
ify mean
i
ng
o
f "M
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoo
l
aege
i
sl_tab_pip
.
c: remo
v
e w
r
apper
s
f
o
r sol_*_fre
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
S
v
en Verdoolaege
is
l
_
tab_p
i
p
.
c: mov
e
common p
a
rts of isl_*_f
r
ee functions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sv
e
n Verdo
o
l
a
ege
isl_tab_pip
.
c: set f
r
ee callback
b
efor
e
any other fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdo
o
l
a
e
ge
isl_tab_pip
.
c
:
extract out shared sol_init
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_tab_pip
.
c: isl_sol: update d
o
c
umen
t
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
S
ve
n
Verdoolaege
i
s
l_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 Ve
r
doolaege
isl_
t
ab_pip
.
c: s
a
me_so
l
ution:
r
et
u
rn i
s
l_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoola
e
ge
isl_t
a
b_p
i
p
.
c: sol_*add: add memory managem
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ve
r
doolaege
is
l
_tab_p
i
p
.
c
:
sol
_
push_sol
:
add memory ma
n
a
gem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ve
r
dool
a
e
g
e
i
sl_
t
ab_pi
p
.
c: so
l
_*_init: add me
m
ory management anno
t
ati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sv
e
n
V
erdool
a
ege
add isl_
p
w_
m
u
lti_
a
ff_is_equa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
S
ven Verdoolaege
doc: docum
e
nt
i
s
l_pw_aff_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sv
e
n Verdoo
l
aege
isl_pw_aff_is_equ
a
l: change ret
u
rn type to isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sve
n
Verdoolaege
isl_
p
w_*_plain_is_equal: fix handling of NaN
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sve
n
Verdoolaege
generalize isl_pw_
a
ff_involves_nan
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoola
e
ge
doc: d
o
cument i
s
l_qpolynomial_is_nan
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_stream_
r
ead
_
pw_
m
u
l
t
i_a
f
f: read isl_pw_multi_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n
Verd
o
olaege
isl_stre
a
m_read_multi
_
pw_af
f
: extract out extract_mpa_
f
rom_tupl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n Verdoola
e
ge
i
sl
_
b
a
s
i
c
_map_ra
n
ge_map: use isl_basic_map_eq
u
ate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven
V
erdool
a
ege
isl_basic
_
map_domain_
m
a
p: use isl_basic_
m
ap_eq
u
ate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sve
n
Verdoolaege
isl_tab_detect_implici
t
_equalities:
r
euse
select_marked
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verd
o
ola
e
ge
isl_tab
.
c: mov
e
u
p
sel
e
ct_marked
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_map_coalesce:
c
h
eck stat
u
s
of inequali
t
y
constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoola
e
g
e
i
s
l_map_
c
oales
c
e: allow separating equality
cons
t
r
aints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl
_
map_coales
c
e
: on
l
y
ha
r
monize divs if
e
qu
a
lity c
o
nstraint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n
Verd
o
olaege
isl_basic_map_simplify: re
d
uce coefficients o
f
inte
g
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en
V
erdoolaege
isl_basic_map_
g
a
u
ss
:
d
o
not ex
t
ract partial e
x
p
lici
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_basic_map_gauss
:
e
xtract out set_div_from
_
eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolae
g
e
isl_map_coalesce:
h
armonize inte
g
e
r
divis
i
ons in
s
tride
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sve
n
Verdoolae
g
e
add is
l
_basic_m
a
p_set_d
i
v_expr_const
a
nt_n
u
m_si
_
inplace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en Ve
r
doolaege
add isl_ba
s
i
c_map_eq
u
a
l
_div_expr_except_con
s
tant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdo
o
lae
g
e
i
s
l_coalesc
e
.
c
:
set_u
p
_substitution
s
: extract i
s
l_basic_
m
ap_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next