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
generator: extract out shared is_isl_primitive
2018-09-06
S
v
en Verdoolaeg
e
generator: extract out shared is_i
s
l
_primi
t
i
v
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven V
e
rdool
a
e
ge
pyt
h
on bindings:
a
l
so ra
i
s
e
an
e
x
cep
t
ion on negative
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
Verdoolaege
generator: extra
c
t out is_isl_
n
eg_error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Verdoolaege
python binding
s
: do not
s
et retur
n
of func
t
ions returning
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoo
l
a
e
ge
drop de
p
re
c
a
ted isl_basi
c
_map_n_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaeg
e
drop deprecated isl_map_n_param
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
Verdoolaege
drop depre
c
ated isl_map
_
n_out
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
V
e
rdool
a
ege
dr
o
p depre
c
ated isl_map_
n
_in
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
To
b
ias G
r
osse
r
isl_v
a
l
_plain_is_equal: ret
u
rn is
l
_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Gro
s
ser
i
sl_
v
al_ne: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Grosser
isl_val_abs_eq: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Gross
e
r
isl_val_e
q
: use i
s
l
_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias
Gr
o
sser
isl_val_le:
use i
s
l
_
bo
o
l_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Grosse
r
isl
_
val_
g
t: use i
s
l_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
is
l
_val_lt: use
i
sl_bool_o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias G
r
osser
isl_val_is_nonpos:
u
se isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Grosser
isl_val_is
_
non
n
e
g: u
s
e
isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Gr
o
sse
r
is
l
_
val_i
s
_
n
eg: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias G
r
osser
i
s
l_val_
i
s_po
s
:
use isl_boo
l
_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Grosser
i
sl_val_
i
s_negone:
u
se
isl_boo
l
_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Gr
o
s
s
er
isl
_
v
a
l_
i
s
_
one: use i
s
l_bool_o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl
_
val_is_zero:
use isl_b
o
ol_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gro
s
s
e
r
i
sl_va
l
_is_neginfty: use isl_boo
l
_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_is_infty
:
use
i
sl_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
_nan
:
u
s
e isl_boo
l
_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
G
rosser
i
sl_val_is_rat: us
e
isl_boo
l
_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias Grosser
isl_val_is_int
:
us
e
isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_va
l
_is_divi
s
ible_by: use
i
s
l_
b
o
o
l_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
intr
o
duce isl_bool_
o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
doc
:
isl_
b
ool_not
is de
f
i
ned
i
n isl/ctx
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
G
r
o
sse
r
test
i
sl
_
b
ool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_sched
u
ler
.
c
: no
d
e_update_vmap:
e
xtra
c
t
out
ex
t
ract_linea
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl_
r
ange
.
c: col
l
ect
_
fixed_sign_
t
erms: reduce range
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoo
l
aege
i
sl
_
map_dim:
u
s
e
isl_spac
e
_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_se
t
_para
m
s: imp
l
ement in terms of isl_map_pa
r
ams
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_set_dim:
i
m
plement
i
n terms of
i
sl_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolae
g
e
isl_morph
.
c
: copy_equalities: use isl_basic
_
set_
g
e
t_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_map_subtr
a
c
t
.
c: tab
_
add_
c
o
n
strai
n
t: use isl_basi
c
_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
aege
isl
_
map_subtr
a
c
t
.
c:
t
a
b_
a
d
d
_c
o
nstraints: use isl_bas
i
c_map_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
laege
isl_pol
y
nomial
.
c
:
make_
d
ivs_pos: use isl_q
p
oly
n
o
m
ial_
d
o
m
a
in_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_poly
n
o
m
ial
.
c:
s
plit_p
e
riods
:
use
i
sl_qp
o
l
ynom
i
a
l
_domai
n
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_po
l
ynom
i
al
.
c: set_div: u
s
e
i
sl_qpolynomial_domain_var
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_
m
ulti
_
*_dim: us
e
isl_mult
i
_*_peek_sp
a
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
p
w
_*_dim: u
s
e isl_pw_*_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdoolaege
i
sl_qp
o
l
ynomial
_
i
n
volves_dims: use isl_qpolynomial_p
e
ek_doma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
o
lae
g
e
isl_poly
n
o
m
ial
.
c: set_active: us
e
isl_q
p
olynomial_peek_
d
omai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_qp
o
lyno
m
ial_domain_dim: use
isl_
q
polynom
i
a
l
_
peek_d
o
m
a
in_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ver
d
oolaege
isl_point_dim: use isl_p
o
int_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaeg
e
isl_b
a
sic_set_variab
l
e
_
com
p
r
e
ssion: use isl_basic
_
set_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolae
g
e
isl_basic_map
_
domain_product: use isl_ba
s
ic_map_get_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_overlying_se
t
: use
isl_basic
_
set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laege
isl_basic_map_apply_range: use isl_
b
asic_map_get_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
r
d
oolaege
isl_map
.
c
:
move_l
a
s
t: use is
l
_b
a
sic_m
a
p_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
isl_ma
p
.
c: move_last: use i
s
l_basic_ma
p
_peek_
s
pace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_basic
_
map_move_di
m
s: us
e
i
sl_ba
s
ic_map_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoola
e
ge
isl_ma
p
.
c: map_interse
c
t
_internal: use
i
s
l_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
olaege
isl_basic_
m
ap_intersect: use isl_basic_map_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_basic_map_intersect_range: use isl
_
bas
i
c_
s
et_
d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
laege
i
sl_basic_
m
ap_intersect_domain
:
use isl_basic_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
l
ae
g
e
isl
_
map_so
l
ve_lp: use isl_m
a
p_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
e
r
doolaege
isl_polynomial
.
c: f
i
x
_
inactiv
e
: use i
s
l_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aege
isl_
q
polynomial_lift: use
i
s
l
_qpolyno
m
ial_domain
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_q
p
olynomi
a
l_fr
o
m_term: use isl_term
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_
t
erm_get
_
exp
:
extract out i
s
l_term_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdool
a
ege
i
s
l_te
r
m_d
u
p: use
i
sl_term_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_qpolyno
m
i
a
l_sub
s
titute_equalities_lifted: us
e
isl_basi
c
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl
_
qpolynomial_
d
rop_di
m
s: use isl_qpolynomial_domain_var_off
s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
is
l
_polynomial
.
c: use isl_qpolyno
m
i
a
l_d
o
m
ai
n
_var
_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpol
y
n
omial_i
n
v
olves_d
i
m
s
: use isl
_
qpolynomial_domain_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoolaege
isl_polynomial
.
c:
su
b
stitute_n
o
n_divs: use i
s
l_qpolyno
m
ia
l
_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
aege
isl_polynom
i
al
.
c: substitute_d
i
v: use
i
sl_q
p
olyno
m
ia
l
_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
ae
g
e
is
l
_poly
n
omial
.
c: s
u
bstitute
_
div: use is
l
_q
p
o
l
yno
m
ial_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
qpolynomial_var_on_dom
a
in: use
i
s
l_spa
c
e
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdo
o
laeg
e
i
s
l_qp
o
lynomial_e
x
t
r
act_affine: use isl_qpolyn
o
mia
l
_
domain_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoola
e
ge
isl
_
polynomial
.
c: sort_di
v
s:
u
s
e is
l
_qpolynomial_domain_va
r
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
i
sl_qpoly
n
omial_doma
i
n_o
f
fset: extrac
t
out i
s
l_qpoly
n
omial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
is
l
_qpolyn
o
mial_d
o
main_offset
:
use isl_qpo
l
ynomial_pe
e
k_doma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
a
eg
e
isl_qpolynomial
_
get_domain
_
s
pace: extract out isl_qpolynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolae
g
e
isl_c
o
nst
r
aint
.
c:
isl
_
ba
s
i
c
_set_foreach_boun
d
_pai
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tab_pip
.
c:
f
ind_
c
ontext_div: use isl_basic_{
m
ap
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
aege
add i
s
l_basic_se
t
_var_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
isl_map_simplify
.
c: d
i
v_f
i
nd_coa
l
esce: u
s
e isl_ba
s
ic_map_var
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
is
l
_output
.
c
:
drop_aff: use isl_basic_ma
p
_var_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
ege
i
s
l_basic_ma
p
_drop_redundant_divs_ineq
:
use is
l
_ba
s
ic_map_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
isl_ma
p
_simplify
.
c:
.
.
.
_drop_more_redu
n
dant_di
v
s:
use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
is
l
_
m
ap_simpl
i
fy
.
c: coalesce_divs: use isl_basic
_
map_var
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_map_
s
implify
.
c: div_is_redundant: use is
l
_ba
s
ic_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_basic_map_is_div_constraint: use isl_basic_ma
p
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c:
e
l
i
m
i
n
a
te
_
unit_divs: use isl_basic
_
map_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
ge
isl_map_si
m
p
l
ify
.
c: check_for_d
i
v_cons
t
raints: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oolae
g
e
isl_m
a
p_simplify
.
c: better_div_constraint: use isl_basic_m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oolaege
isl_ma
p
_
s
i
mpl
i
fy
.
c
:
ok_t
o
_set_div_
f
rom_b
o
und: u
s
e
i
sl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_map
_
s
implify
.
c: set_div_from_lower_bound: use isl_ba
s
ic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_map_simplif
y
.
c
: no
r
maliz
e
_
divs: use
i
s
l
_
basi
c
_map_var_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aege
isl_map_simp
l
ify
.
c:
n_pure_div_eq: use isl_basic_map_v
a
r_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolae
g
e
i
s
l_map_simplify
.
c
:
remove_
d
upl
i
cat
e
_
d
i
v
s: us
e
isl_basi
c
_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map_simplify
.
c
: el
i
minat
e
_
d
i
vs_in
e
q: u
s
e i
s
l_ba
s
ic
_
ma
p
_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
ae
g
e
isl_map_simplify
.
c: eliminate_divs_eq: is
l
_basic_
m
a
p_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
ma
p
_simp
l
ify
.
c: ok_to_elim
i
nate_div: use i
s
l_basic_map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laege
i
s
l_map_simplify
.
c: elimi
n
ate_div:
u
se i
s
l_basic_map_var_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next