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_aff_plain_is_nan: use isl_bool_ok
2018-09-02
Sven Verdoolae
g
e
isl_map
.
c
: mo
v
e_
l
a
s
t
: use isl_basic_map
_
p
eek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
a
ege
isl
_
bas
i
c_map_move_
d
ims: use isl_basic_map_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
is
l
_m
a
p
.
c
: map_intersect_internal:
use isl_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolae
g
e
isl_basic_ma
p
_intersect: use isl_ba
s
ic_map_peek_sp
a
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_ba
s
ic_m
a
p_intersect_
r
a
n
ge: use i
s
l_basic_se
t
_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_basic_map_intersect_domain:
use i
s
l_basic_set_
d
im
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_sol
v
e_lp: use isl_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
isl_polynomi
a
l
.
c: fix_inact
i
v
e
:
use isl_set_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdo
o
l
aege
isl_qpolynomial
_
l
i
ft: use
i
s
l_
q
polynom
i
al_d
o
main_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_qp
o
lynomial_from_term: use isl_t
e
rm_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
sl_
t
e
rm_get_exp: extract out
i
sl_t
e
r
m
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
isl_term
_
dup
:
use
isl_term_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_qpol
y
no
m
ial_substitute_equalities_lifted: u
s
e
is
l
_
b
a
s
ic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_qpolynomial_drop_dims: use isl_qpolynomial_d
o
main_
v
ar_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl
_
polynomial
.
c: use
i
sl_qpolynom
i
al_domain
_
var_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
doolaege
isl_qpolynomial
_
i
nvolves_dims: use isl_qpolynomia
l
_domain_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_polynomi
a
l
.
c: substitute_non_divs: use isl_qpolynomial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_polynomial
.
c: s
u
bstitute_div: use isl_qpolynomial_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oolaege
isl_
p
o
lynomial
.
c
: subs
t
itut
e
_div:
u
se isl_qpolynomial_get_ctx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolynomial_var_o
n
_domai
n
: us
e
i
sl_space_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_qpoly
n
omial_extract_aff
i
ne: use isl_qpolynomi
a
l_dom
a
in_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_pol
y
nomial
.
c:
so
r
t_divs: use isl_
q
p
o
lynomial
_
doma
i
n_var_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_qpol
y
nomial_domain_offset: ext
r
act out isl_qpolynomial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_q
p
olynomial_
d
om
a
in_offset
:
use i
s
l
_
qpolynomial_pe
e
k_d
o
ma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_qpolynomial_get_domain_space: extrac
t
o
ut
i
sl_qpolynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verd
o
olaeg
e
isl_constraint
.
c: isl_basic_s
e
t_foreac
h
_
bound_pai
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_ta
b
_pip
.
c
: f
i
n
d_context_div: use isl_basic_{map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
add
is
l
_basic_set_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
is
l
_map_simpl
i
fy
.
c
:
d
i
v
_
f
ind_coalesce: use is
l
_basic
_
map_var
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoo
l
aege
isl_
o
utpu
t
.
c:
d
rop_aff: use i
s
l
_b
a
sic_m
a
p_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
e
rdo
o
laeg
e
isl_basic_map_drop_redund
a
nt_divs_ineq: use isl_basic_map_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdool
a
e
ge
isl_ma
p
_simp
l
ify
.
c:
.
.
.
_
d
rop_more_redund
a
nt_divs: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
olaege
isl_map_simplify
.
c: coalesce_divs:
u
s
e
i
sl_bas
i
c
_
m
ap_var_
o
ff
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_map
_
simp
l
ify
.
c: div_is_redundant: use isl_bas
i
c
_
m
a
p_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_basic_map_is_
d
iv_constraint: use isl_basi
c
_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_s
i
mpli
f
y
.
c: eliminate_unit_di
v
s: use isl_b
a
sic
_
ma
p
_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Ver
d
oolaege
isl
_
map_simplify
.
c
:
c
h
eck
_
f
o
r
_div_
c
onstrai
n
ts: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_map_simplify
.
c: better_div_constrai
n
t: use i
s
l_basi
c
_ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c
:
o
k_to
_
s
et_d
i
v
_
from_bound:
use
i
sl_basic
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
s
l_map_simp
l
ify
.
c: set_div_from_lower
_
bou
n
d: use isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_map_simp
l
ify
.
c:
normali
z
e_divs:
u
se i
s
l
_
bas
i
c_map_var_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoolaege
isl_map_simplify
.
c
: n_p
u
re_d
i
v_eq: use isl_basic_map_var_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
s
l
_map_si
m
pl
i
f
y
.
c:
r
emov
e
_duplicate_divs
:
u
se is
l
_basic
_
map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map_simp
l
ify
.
c: eliminate_divs_ineq: use
i
sl_basic_ma
p
_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map_simplify
.
c
:
eliminate_divs_eq: isl_basic_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
olaege
isl
_
ma
p
_
si
m
plify
.
c: ok_to_eliminate_div: use isl
_
basic_map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
m
ap_s
i
mplify
.
c: elim
i
nate_div: use isl_basic_map_va
r
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_m
a
p
_
simplify
.
c
:
eliminat
e
_var_using_equ
a
lity: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_basic
_
map_al
i
gn_divs: use isl_basic_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p
.
c: f
i
nd
_
d
iv: use i
s
l_basic_map_var_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaeg
e
i
s
l_basic_map_order_divs: use
isl_b
a
s
i
c_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_map
.
c:
b
asic_set
_
append_equal
i
ti
e
s:
use
i
sl_basic_se
t
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
d
o
olaege
is
l
_map
.
c:
insert_div_rows: use isl_b
a
sic_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c
:
inse
r
t
_bou
n
ds
_
on_div: use isl_basic_
m
a
p
_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_remove_divs: use isl_b
a
sic
_
map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdoolae
g
e
i
s
l
_basic_map_swap_div: use isl_
b
asic_
m
ap_
v
a
r_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l_map
.
c: basic
_
m
ap_init
:
use isl_basic_map_peek_sp
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_basic_map_get_divs: use isl_basic
_
map_v
a
r
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
do
o
laege
isl_dim_map
.
c
:
isl_dim_map
_
div: u
s
e isl_basic_ma
p
_of
f
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdool
a
ege
isl_convex_hu
l
l
.
c
:
common
_
c
o
nstraints:
u
se isl_s
e
t
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l
_
basic_map_make_strides_exp
l
i
c
it: use
is
l
_basic_map_var_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdo
o
laege
isl_aff
_
subs
t
itu
t
e
_
equalities_lifted: use is
l
_basic_set_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
is
l
_
bas
i
c_set_positive_or
t
ha
n
t:
use isl_space_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
aege
isl_b
a
sic_{set,map}_print_internal: use
i
sl_printer_p
r
in
t
_
b
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
sl_
t
ransitive_clos
u
re
.
c
: empty_path_is_id
e
ntity: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doo
l
aege
isl_map_simplify
.
c: di
v
_
f
ind
_
coalesce: reuse is_opposite
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l
_
map_simplify
.
c:
m
ove
up is_opposite
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_space
.
c
:
g
l
obal_pos
:
ret
u
rn neg
a
ti
v
e va
l
u
e
on error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tab_pip
.
c
:
find_c
o
ntext_div: reserve negat
i
ve re
t
urn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: div_find_coa
l
esce:
r
ese
r
ve negative
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoola
e
ge
isl
_
map
.
c: f
i
nd_div: reserve negative r
e
tu
r
n value
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdoolaege
isl_tab_pip
.
c: find
_
div: re
s
erve negative return value
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_sc
h
edule_tree
.
c
:
r
e
turn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
sl_access_info
.
coschedul
e
d
:
return isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_output
.
c:
p
os2type:
r
eturn isl_sta
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
isl_affine_hu
l
l
.
c: transform_colum
n
: r
e
turn isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_aff
i
ne_h
u
ll
.
c: constru
c
t_column: retur
n
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_ta
b
_pip
.
c: init_loca
l
_region: ret
u
r
n
i
s
l_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl_seq_pr
e
image: retur
n
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
g
e
isl_be
r
nst
e
i
n
.
c:
is_tight: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_ber
n
stein
.
c:
is
_
tigh
t
: mino
r
code simplification
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_be
r
nstein
.
c: ad
d
_fold
:
re
t
urn isl_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
a
e
ge
isl_map_simplify
.
c: has_m
u
lti
p
le_
v
a
r_equality: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
isl
_
map_simplify
.
c: is_oppo
s
ite_e
x
c
e
pt
:
return
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolaege
isl_map_simplify
.
c: is_parall
e
l_except: ret
u
r
n
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
i
sl_map_s
i
mplify
.
c:
l
ower_b
o
und_is_c
s
t: return
-1 on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_ast_build_expr
.
c: all_negative_coefficients:
retu
r
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add_lower_div_c
o
nstraint: return retur
n
modified result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verd
o
olaege
add_u
p
per_div_c
o
nstraint: return return modified
r
esult
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_add_div_
c
onstraint: r
e
turn return modified
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
do
o
laeg
e
i
s
l_bas
i
c
_
ma
p
_add_
d
iv_constraints: return modified
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaege
add_{upper
.
l
ower}_div
_
constraint: only pass i
n
position
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
remove now unused isl_basic_{
s
et,map}_a
d
d_div_c
o
n
straints_va
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_basic
_
m
a
p
_
add_div_c
o
nstrain
t
s
:
use isl_bas
i
c_map_var_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoo
l
ae
g
e
isl_local_
s
pace
.
c
:
norma
l
ize_div: retu
r
n mod
i
fied result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
n
o
r
m
alize_div_
e
xpress
i
o
n
: return modifi
e
d
resu
l
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map
_
simplify
.
c: e
l
iminate_var_
u
sing_equa
l
it
y
:
r
eturn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
o
laege
isl_i
n
equality_nega
t
e: return
modi
f
ied result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map
.
c: se
t
_ma_div
s
: return
m
odified result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoo
l
aege
isl_basic_
m
ap_swap_div: return
m
odi
f
ie
d
re
s
ult
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next