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
drop deprecated isl_map_n_param
2018-09-06
Sven Verdool
a
ege
drop dep
r
ecated
i
sl_
m
ap_
n
_param
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sv
e
n Verdoolaege
dr
o
p depreca
t
ed isl_ma
p
_n_out
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verd
o
olaege
d
r
op
d
e
precated isl_m
a
p_n_i
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Tobi
a
s Grosser
isl_val_plain_
i
s
_equal
:
return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
i
s
l_val_n
e
: u
s
e isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosse
r
isl
_
val_abs_eq: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gro
s
s
er
isl_v
a
l_eq:
u
se isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
a
s
Grosser
isl_val
_
le: use isl
_
b
ool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gro
s
ser
isl_v
a
l
_
gt:
u
se isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
ob
i
as Grosser
isl_val_
l
t: use isl_boo
l
_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
is
l
_
v
al_is_nonp
o
s: u
s
e isl_bo
o
l_
o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_is_no
n
neg: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s
G
rosser
isl_val_i
s
_
n
eg: u
s
e isl_bool
_
o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gross
e
r
isl_val_is_pos: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
i
sl_val_is
_
negone: use isl_boo
l
_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Grosser
isl_val_
i
s_one: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias G
r
osser
i
s
l
_val_is_zero: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Grosser
isl_val
_
i
s_neginfty: use isl_bool_
o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias Gross
e
r
isl_v
a
l_is_infty: us
e
i
sl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias
G
rosser
is
l
_v
a
l_is_nan: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias Grosser
isl_val_is_
r
at:
use i
s
l_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gro
s
se
r
is
l
_
v
al_is_in
t
: u
s
e
i
sl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias Gross
e
r
isl_val_is
_
divisible_by
:
use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias G
r
osse
r
introduce isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
a
s Grosser
doc
:
isl_bool_not is de
f
ined in isl/ctx
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gross
e
r
test isl_bo
o
l_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdool
a
e
ge
is
l
_sc
h
eduler
.
c: node_update_vmap: extract out
e
x
tract_lin
e
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_range
.
c: collect_fixed_sign_terms
:
r
edu
c
e
range
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
o
l
ae
g
e
isl_map_dim: us
e
isl_sp
a
c
e
_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_set_params: implement in terms of isl_map_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
se
t
_dim: implement
i
n t
e
rms of isl
_
map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdool
a
ege
i
sl_
m
o
rph
.
c: copy_
e
qual
i
ties:
us
e
isl_b
a
s
i
c
_set_
g
et_
s
pace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl
_
map_subtract
.
c
:
tab_add_constra
i
nt: use isl
_
basic_m
a
p_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
olaege
i
s
l_map_
s
u
btra
c
t
.
c: tab_ad
d
_constr
a
in
t
s: use is
l
_
b
asi
c
_
m
ap_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polynomial
.
c: make_divs_p
o
s:
u
se
i
sl_qpolynomial_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
e
r
do
o
laege
isl_poly
n
o
m
i
a
l
.
c: s
p
lit_periods
:
use isl_qpolynomia
l
_d
o
main_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl_po
l
yn
o
m
i
al
.
c
:
s
et_div: use i
s
l_qpolynomial_domain_
v
a
r_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_mu
l
t
i
_
*
_
di
m
: us
e
i
s
l
_
multi_*_p
e
ek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_pw_*
_
d
i
m: u
s
e isl_pw_*_peek_sp
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_qpolynomia
l
_i
n
volves_dims: use isl_qpolynomial_peek_
d
om
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_polynomia
l
.
c:
set_active: use isl_qpol
y
n
o
mial_p
e
ek_domai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_qpolynomial_doma
i
n_
d
i
m:
use
isl_qp
o
lynomial_peek_domai
n
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl
_
po
i
n
t
_
dim: use isl_po
i
n
t
_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoo
l
aege
isl_basic_set_variable_c
o
mp
r
ession: u
s
e isl_ba
s
ic
_
s
et_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl
_
basic_map_doma
i
n_p
r
oduc
t
: us
e
isl_b
a
sic_map_get_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_basic_map_ov
e
rlyi
n
g_set: us
e
isl
_
basic_set_
d
im
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olaege
isl_basic_
m
ap_apply_r
a
nge:
u
se isl_ba
s
i
c
_m
a
p_get_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
is
l
_map
.
c: move_last: use i
s
l
_
basic_map_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdool
a
ege
isl_map
.
c
:
move_last: use isl_bas
i
c_map_peek_
s
pace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_basic_map_m
o
ve_dims: use isl_ba
s
ic_map_pe
e
k_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
ge
i
sl_map
.
c: map_intersect_intern
a
l
:
use isl_ma
p
_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
r
d
oolaeg
e
isl_b
a
s
ic
_
map
_
i
ntersect: use
isl_basic_map_p
e
ek
_
spac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
is
l
_
b
asic_map_intersect_
r
ange: use
isl_basic
_
s
et_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
lae
g
e
isl_basic
_
m
a
p
_intersec
t
_dom
a
in: use isl_basic_s
e
t_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ver
d
o
o
laege
isl_map_solve
_
lp:
use isl_map_
d
im
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
i
s
l
_polyn
o
m
ial
.
c:
f
ix_inac
t
ive:
use isl_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdool
a
e
g
e
isl_qpolynomial_lift
:
use isl_qpolyn
o
mial_doma
i
n_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_qpo
l
y
nomial_from_term: use isl_ter
m
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
ol
a
eg
e
isl_term_get_exp:
e
xtract out isl_term_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_term_dup
:
us
e
isl_term
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
o
laege
isl_qpoly
n
omial_substitu
t
e_e
q
ualit
i
es
_
l
ifted: use
i
s
l_b
a
s
i
c_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
do
o
laege
i
s
l_qpolyno
m
ial_d
r
op_dims: use
i
sl_qpolynomi
a
l
_do
m
ain_
v
ar_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
e
r
do
o
l
ae
g
e
isl_polynomial
.
c: use
isl_qpolynomial_domain_var_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_qpolynomial_
i
nvolve
s
_dims: use isl_q
p
olynomial_domain_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polyno
m
ial
.
c
:
substi
t
ute_non_d
i
vs: use isl
_
qp
o
lynomial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_polynomial
.
c: substitute_d
i
v: use
i
sl_qpolynomial_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_p
o
ly
n
omial
.
c:
s
ubstitute_div: use
isl_qpolynomial_get_
c
t
x
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_qpolynomial
_
va
r
_on_domain: us
e
isl_space_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
do
o
lae
g
e
is
l
_qpoly
n
o
m
ial_e
x
tract_a
f
fi
n
e: us
e
isl_qpolynomial_domain_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
ge
isl_polynomial
.
c: so
r
t_divs: use i
s
l_qp
o
lyn
o
mial_domain_var_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpoly
n
omial_domain_of
f
set: extr
a
ct
o
ut isl_q
p
olynomial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
isl_qpoly
n
omial_domain_off
s
e
t
: use isl_qpolynomial_peek_doma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
s
l
_
qpo
l
ynomia
l
_get_do
m
ain_space: extrac
t
out i
s
l_q
p
olynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_con
s
t
r
a
i
nt
.
c
: isl_basic_set_f
o
reach_bo
u
nd_pair
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tab_
p
ip
.
c: find_conte
x
t_div: u
s
e
i
sl_basic
_
{map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
add i
s
l
_basic_set_
v
ar
_
of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoola
e
ge
isl_map_simplif
y
.
c: div_fi
n
d_coalesce: u
s
e
isl_basic_map_
v
a
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_o
u
tput
.
c: d
r
op_aff
:
use isl_basic_map_va
r
_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_drop
_
redunda
n
t_divs_ineq: use isl
_
basic_map_
v
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Ve
r
doolaege
isl_map_simplify
.
c:
.
.
.
_
d
rop_
m
ore_redundant_divs: u
s
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaeg
e
isl_map_simpli
f
y
.
c:
coalesce_divs: use i
s
l_basic_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ver
d
oolaege
isl_
m
ap_simplify
.
c: di
v
_is_r
e
dundant: use isl
_
basic_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_is_div_con
s
tra
i
nt: us
e
is
l
_basic_map_o
f
fs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c:
eliminat
e
_unit_divs: use isl_basi
c
_map_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
i
s
l_map
_
simplify
.
c: check_
f
or_di
v
_constraints: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl_map_simplify
.
c: b
e
tt
e
r_d
i
v_constr
a
int
:
use isl_b
a
sic_
m
ap
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoolaege
isl_ma
p
_
s
imp
l
if
y
.
c: ok_to_se
t
_div_fr
o
m_
b
o
u
n
d: use
i
sl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_ma
p
_simp
l
ify
.
c: set_d
i
v_
f
rom_lo
w
e
r_bou
n
d: use isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
sl_map
_
simplify
.
c
:
n
ormalize_divs
:
use i
s
l_basi
c
_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_si
m
plify
.
c: n_pure_div_eq: use i
s
l
_ba
s
ic_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Ver
d
o
o
laege
isl_
m
ap_simplify
.
c: remove_duplicate_di
v
s
: use isl_basic_
m
ap
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c
:
eli
m
in
a
te_divs_ineq
:
use isl_basic_map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doolaege
isl_map_si
m
plify
.
c: elimina
t
e_divs_eq: i
s
l_basic_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_map_simplify
.
c: ok_to_eli
m
i
nate_div: use is
l
_bas
i
c
_
map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aeg
e
isl_map
_
simpli
f
y
.
c: elim
i
nate_d
i
v: use i
s
l_basi
c
_
m
ap_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
o
l
aege
isl_
m
ap_simp
l
ify
.
c: elimina
t
e
_
var_usin
g
_eq
u
ali
t
y:
use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl
_
basic_map
_
a
lign_
d
i
v
s:
use isl_basic
_
ma
p
_var_off
s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoo
l
aege
i
sl_map
.
c: find_div: use isl_basic_map_va
r
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_basic_map_order_d
i
vs: use is
l
_
b
a
sic_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aege
isl_map
.
c: basic_set_append
_
equalities:
use isl_basic_
s
et_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next