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_qpolynomial_domain_dim: use isl_qpolynomial_peek_domain_space
2018-09-02
Sve
n
Verdoolaege
isl_qpolynomial_domain_dim: use isl_qpolyn
o
mial_peek
_
d
omai
n
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
a
ege
isl_point_dim
:
use
i
s
l
_poin
t
_
p
eek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaeg
e
isl_basic_set
_
v
ariable
_
compression: use isl_basic_set_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ba
s
i
c
_
m
ap_domain_product: us
e
is
l
_basic
_
map_get_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
i
sl_
b
asic_map_
o
verlying_set
:
use isl_basi
c
_s
e
t_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_basic_map_apply_
r
ange: use isl_b
a
sic_map_
g
e
t
_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verd
o
olaege
i
s
l_map
.
c: move_last: us
e
i
s
l_basic_ma
p
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c:
move_last: u
s
e isl_basi
c
_m
a
p_peek_spac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verd
o
olae
g
e
isl_
b
a
s
ic_map_mo
v
e_dim
s
: use isl_bas
i
c
_
map_
p
eek_
s
pa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl_map
.
c: ma
p
_intersect_inter
n
al
:
us
e
is
l
_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
aege
i
s
l_basic_map_i
n
tersect:
u
se isl_basic
_
map_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_b
a
sic_m
a
p_intersect_rang
e
:
use isl_
b
a
s
ic_
s
et_d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
e
rdoolaege
isl_basic_m
a
p_inte
r
sect_doma
i
n
: use isl_basic_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_map_solve_lp: use isl_
m
ap_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_p
o
lynom
i
al
.
c:
f
ix_inac
t
ive: use isl_s
e
t_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
is
l
_
qp
o
lynomia
l
_lift: use
i
sl_qpoly
n
omi
a
l_do
m
ain_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_qpolynomial_from_term:
use isl_te
r
m_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_t
e
rm_get_exp:
e
x
tract out isl_term_o
f
fs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
ege
isl
_
term_dup: use isl_term_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_q
p
olynomia
l
_substitute_equalitie
s
_
li
f
ted: use
i
sl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_q
p
o
l
ynomial_drop_
d
ims:
use isl_qpoly
n
om
i
al
_
domain_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
a
ege
i
s
l
_polyn
o
mia
l
.
c:
use isl_qpolyno
m
i
a
l_domain_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_qpolynomia
l
_
i
nvolves_
d
ims: use isl_qpolynomial
_
dom
a
i
n
_
v
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
e
rdoolaeg
e
isl_
p
olynomial
.
c
: substitut
e
_n
o
n_divs: use isl_qpo
l
y
n
omial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_polynomial
.
c
:
substitute_div: use
isl_
q
p
o
lynomial_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_polyno
m
ial
.
c: su
b
stitute_div: use isl_q
p
olynomi
a
l_get_
c
tx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
laege
isl_q
p
oly
n
omial_var_on_d
o
main: use isl_space_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolynomia
l
_extrac
t
_aff
i
n
e
: use
i
sl
_
qpolynom
i
al_domain_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
la
e
ge
isl_po
l
ynomial
.
c
:
s
o
rt_divs
:
use
isl_qpol
y
nomial_dom
a
in_var_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolynomia
l
_d
o
main_
o
ffset: extr
a
ct out i
s
l_q
p
o
lynomi
a
l_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
aege
isl_q
p
olynomial_domain_o
f
fset: use is
l
_qpolynomia
l
_peek_doma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
i
s
l_
q
polynomial_ge
t
_domain_space: ex
t
ract out isl_qp
o
lynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
o
ola
e
ge
isl_constra
i
nt
.
c: isl
_
basic_set_
f
ore
a
ch_bound_
p
air
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_tab_pi
p
.
c: find_context_div: use is
l
_basic_{map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
add
is
l
_basic_se
t
_var_offse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
s
l_map_simplify
.
c
:
d
i
v
_find
_
c
o
a
lesce: u
s
e isl_basic_map_var
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_o
u
t
p
ut
.
c: d
r
o
p
_aff: us
e
isl_basic_map_v
a
r_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doola
e
ge
is
l
_basic_map_d
r
op_redundant_divs_ineq: use isl_bas
i
c_ma
p
_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_map_simplify
.
c:
.
.
.
_drop_more_re
d
undant_d
i
v
s
: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doolaege
isl_map_simplify
.
c: coalesce_di
v
s: use isl_basic_m
a
p
_
va
r
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
isl_
m
a
p_simplify
.
c: div_is_r
e
du
n
dant: use isl_basic_map_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
is
l
_
basic_m
a
p_is_
d
iv_c
o
nstrai
n
t: use i
s
l_
b
asic_map_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map_simplify
.
c
: elimin
a
te_uni
t
_divs: use i
s
l_basi
c
_map_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
s
l
_map
_
simpl
i
fy
.
c: check_for_div_constraints: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
laege
isl
_
m
ap
_
simplify
.
c: bette
r
_div_c
o
nstraint:
use i
s
l
_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_map_simplify
.
c
:
o
k_to_se
t
_div_from_
b
oun
d
:
use
i
sl_bas
i
c
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
map_simplify
.
c
:
s
e
t
_div_f
r
om_lower
_
bound
:
use i
s
l_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
is
l
_map_simplify
.
c: nor
m
alize_divs: use is
l
_basic_map_var_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laege
isl_ma
p
_simplify
.
c
: n_pure_div
_
e
q:
use isl_basic_map_var_
o
f
fse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_map_simplify
.
c:
r
emove_duplicate_divs: use isl_basi
c
_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Ver
d
oolaege
isl_
m
ap_simplify
.
c: eli
m
inate_divs_in
e
q: use i
s
l_
b
asic_map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
sl_map_simpl
i
fy
.
c:
eliminate_divs_eq
:
isl_basic_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoolaege
isl_map_simpli
f
y
.
c: o
k
_to_eliminat
e
_
d
iv: use is
l
_basic_m
a
p_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
o
o
laege
isl_
m
ap_si
m
plify
.
c
: eliminate_div: use isl_basic_m
a
p_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_map_
s
i
mplify
.
c
:
e
limi
n
a
t
e_var_usi
n
g
_
equalit
y
: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoola
e
ge
i
sl_
b
asic_
m
ap_align_divs: use isl_
b
asic_ma
p
_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
m
ap
.
c: fin
d
_d
i
v: us
e
isl_
b
asic
_
map_var
_
off
s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l
_
basic_map_o
r
der_divs: u
s
e isl
_
basic_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: b
a
s
i
c_set_append_equalities: use i
s
l
_
b
asic_
s
et_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolae
g
e
is
l
_map
.
c: insert_div_rows: use isl_bas
i
c
_
map_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_map
.
c:
i
nse
r
t_bo
u
nds_o
n
_d
i
v: us
e
isl_basic_map_v
a
r_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolae
g
e
i
sl_basic_map_
r
e
m
o
ve_divs: use i
s
l_basic_map_var_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
a
si
c
_
m
ap_swa
p
_div: use isl_basic_ma
p
_var_offse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
o
laege
is
l
_m
a
p
.
c: b
a
s
ic_map_in
i
t: use is
l
_ba
s
ic_map
_
p
eek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olaege
is
l
_
basic_map_get_divs: use isl_basic_
m
a
p_v
a
r
_
o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_dim_map
.
c: is
l
_dim_map_d
i
v: use
i
s
l
_basic_
m
ap_o
f
fs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_convex_hul
l
.
c:
c
ommon_co
n
straint
s
: use isl_set_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_basic
_
m
ap_make_strides
_
explici
t
: us
e
isl_basic_map_var_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_aff_substitu
t
e_equalit
i
es_lifted: use
isl_b
a
s
i
c_set_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
ol
a
ege
i
s
l
_basic_set_positive_orthant: use
isl_space_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verd
o
olaege
isl_ba
s
ic_{set,map}_prin
t
_interna
l
: use isl_printer_p
r
int_ba
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
i
sl_tra
n
sitive_cl
o
sure
.
c: empty_pa
t
h_
i
s_
i
d
entity: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_si
m
plify
.
c
:
div_
f
ind_
c
oales
c
e:
r
euse is_op
p
osit
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_simplify
.
c: move up is
_
oppo
s
ite
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_space
.
c: global_pos: return negative
v
a
lue on e
r
r
o
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_tab_pip
.
c: find_context_div:
reserve ne
g
ativ
e
return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oola
e
ge
isl_
m
ap
_
simplify
.
c: di
v
_
find_coalesce
:
reserve negative
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoola
e
g
e
isl_map
.
c:
f
i
nd_div: reserve
negative return value
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_tab_p
i
p
.
c:
f
ind_div: reserve negative
return v
a
lue
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
schedule_tree
.
c: retur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_access_
i
n
fo
.
coscheduled: return
i
s
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolae
g
e
is
l
_out
p
ut
.
c: pos2type: return
isl_s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_affin
e
_hull
.
c: tran
s
f
o
rm_co
l
um
n
: return isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_affine_hul
l
.
c: c
o
nstru
c
t_column: ret
u
rn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_tab_pip
.
c: i
n
it_local_region: return isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doo
l
aege
isl_seq_
p
reimage: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
do
o
la
e
g
e
isl_bern
s
te
i
n
.
c: is_tight: return is
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
dool
a
ege
isl_be
r
ns
t
ei
n
.
c:
is_ti
g
ht: minor
c
od
e
simplification
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_bernstein
.
c
: add
_
fold:
return isl_s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_sim
p
l
ify
.
c: has_multiple_var_equality
:
r
e
t
urn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
o
la
e
ge
i
s
l_map_simplify
.
c: i
s
_
o
ppo
s
ite_ex
c
ept
:
ret
u
rn isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoolaeg
e
isl_map_
s
implify
.
c: is_parallel
_
e
xc
e
pt: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdoolaege
isl_ma
p
_simplify
.
c:
l
o
wer_boun
d
_i
s
_cst: retu
r
n -1 on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laeg
e
isl_ast_build_expr
.
c: all_negative_
c
oeffi
c
ient
s
: retur
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add_lower_div_
c
o
nstraint: r
e
tu
r
n return modified result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
a
d
d_upper_div_constraint: return
r
e
turn mod
i
fi
e
d
re
s
ult
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_
b
asi
c
_
ma
p
_add_div_co
n
str
a
int: re
t
urn return modified
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoo
l
aege
isl_basic_ma
p
_add_div_con
s
tr
a
ints
:
r
eturn
m
o
d
i
fied
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoolaege
add_{upper
.
lower}_div_constr
a
int: only pass in position
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
aeg
e
remove now unused isl_
b
a
sic_
{
set,map}
_
add_
d
iv
_
constraints_var
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next