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_mat_rank: return isl_size
2018-09-06
Sven Verdoolaege
isl_mat_rank
:
return isl_siz
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
ven Ve
r
doolaege
i
s
l_mat_{col
s
,rows}: ret
u
rn isl_
s
ize
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
isl_vec_size: retur
n
is
l
_
s
ize
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Verdoolaege
i
sl_val_n_abs_
n
um_ch
u
nk
s
: retu
r
n isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
isl_
*
_
dim: ret
u
rn is
l
_
size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
introduce isl
_
size
r
eturn type
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Verdoolaege
generator: extra
c
t
out shared
is_
i
sl_pri
m
itive
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
python bi
n
dings: also rais
e
an
e
xception o
n
neg
a
tive
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
Ve
r
d
o
o
l
aege
gener
a
tor: extract o
u
t is_isl_neg_error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Verdoola
e
ge
python bindings: do
not
s
et return
o
f func
t
ions returning
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven
Verdo
o
laege
drop
deprecated isl_
b
asic_map_n_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
ven
V
erdool
a
ege
drop depre
c
ated isl_map_n_param
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven
Ve
r
do
o
laege
drop deprecated
i
sl
_
map_
n
_out
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Verdoolaege
dr
o
p dep
r
ecated isl_map
_
n
_
i
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Tobi
a
s Gros
s
er
isl_val_plain_is_
e
qual:
return
i
sl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Gr
o
sser
isl_val_
n
e: use isl_
b
ool
_
o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
T
obias Grosser
isl
_
val_abs_eq: use isl_bool_
o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gr
o
sser
i
s
l_val_eq: us
e
i
s
l_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s
Grosser
isl_val_
l
e: use isl_bool_o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosse
r
i
sl_val_gt:
use
i
sl_
b
ool_
o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Gros
s
er
isl_val_lt: use isl_bo
o
l_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Gro
s
s
er
isl_val_is_
n
onpos:
use i
s
l
_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_is_n
o
nneg: use isl_
b
ool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
G
rosse
r
i
sl_v
a
l_is_
n
eg: use isl_bool_o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gros
s
er
isl_v
a
l_is_pos: use isl
_
bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
G
ros
s
er
isl_val_is_negone: use isl_bool_o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
T
o
b
ia
s
Gro
s
ser
i
s
l_val_
i
s_one:
u
se isl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Grosser
is
l
_val_is_zero: u
s
e isl_
b
ool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
T
ob
i
as Grosser
isl
_
val_is_n
e
ginfty:
u
se isl_
b
oo
l
_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
i
s
l
_val_is_
i
nfty: use is
l
_bool_
o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
T
ob
i
as G
r
os
s
er
isl_val_is_nan: use isl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias
Grosse
r
i
s
l_val
_
i
s
_rat:
u
se isl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Grosser
isl_val_is_in
t
: use isl_bo
o
l_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as
Grosse
r
isl_
v
al_is_d
i
visible_by: use isl_bo
o
l_o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Grosser
introd
u
ce isl_boo
l
_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Grosser
doc: isl_
b
ool_not is defined in isl/ctx
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
G
rosser
test
i
sl
_
bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
i
s
l
_
s
ched
u
l
er
.
c: node_update_vmap:
extract ou
t
extract_linea
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_rang
e
.
c: collect_f
i
xed_sign_
t
e
r
m
s
:
reduce
r
ange
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
isl_ma
p
_dim: use isl_s
p
a
c
e_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
la
e
ge
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 Ver
d
o
o
lae
g
e
isl_
s
et_dim: impleme
n
t
in t
e
rms
o
f
i
sl
_
map
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
o
o
l
aege
isl_morph
.
c:
c
opy_e
q
ualities: use i
s
l_
b
a
sic_set_get_
s
pace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doola
e
ge
isl
_
map_subt
r
act
.
c: tab_add_constraint
:
use isl_bas
i
c_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_s
u
btrac
t
.
c
:
tab
_
add_c
o
nstraints: use is
l
_basic_m
a
p_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaeg
e
isl_pol
y
nom
i
al
.
c: make_divs_p
o
s: use isl_qpolynomial
_
domain
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
i
sl_polynomial
.
c:
s
pli
t
_periods: use isl_q
p
ol
y
nomial
_
d
omain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_polyno
m
ial
.
c: set_div: use isl_qpolynomial_domain_var_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_mul
t
i_*_d
i
m: use isl_multi_*_
p
eek
_
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_pw_*_dim: use isl_
p
w_*_peek_spa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laege
isl_qpol
y
nomia
l
_involve
s
_
d
i
m
s: use isl_qpolyn
o
mial_peek_doma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_
p
olynomial
.
c: set
_
active:
u
se isl_qpolynomial_peek_domai
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpol
y
nomial_domain_dim
:
use
isl_q
p
olynomial_peek_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
d
o
olaege
i
sl_po
i
nt_di
m
:
u
se isl_point_p
e
ek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
is
l
_basic
_
set_variable_compression: us
e
isl_basic_set_
o
f
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoola
e
ge
is
l
_basic_map
_
domai
n
_produ
c
t
:
use isl_basic_map_get_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdoolaege
isl_basic_
m
ap_overlying
_
set: us
e
isl
_
basic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
r
doo
l
aege
isl_basic_map_ap
p
ly_range: use isl
_
bas
i
c_map_ge
t
_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
ma
p
.
c: mov
e
_last: use isl_basic_m
a
p_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
e
rdoolaeg
e
isl_map
.
c
:
m
ove_las
t
: use
i
sl_basic
_
map_peek_
s
pace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_
b
asic_map_mov
e
_
d
ims: use isl_basic_m
a
p_peek
_
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map
.
c: map_intersect_internal: use
i
sl_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoola
e
ge
isl_basic_
m
ap_intersect: use isl_b
a
si
c
_
map_peek_spa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
is
l
_basic_map_intersect_ran
g
e:
use isl_basic_s
e
t_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdool
a
e
g
e
isl
_
basic_ma
p
_
i
ntersect_domain:
use isl_ba
s
ic_se
t
_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
sl_map_solve_lp: use isl_
m
ap_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdoolaege
isl_
p
ol
y
nomi
a
l
.
c: fix_inactive: use isl_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdoola
e
ge
isl_qpolyno
m
i
a
l_lift: use isl_qpolynomial_do
m
ain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
qpol
y
nomial_from_term: use isl_term_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
g
e
isl_term
_
g
e
t_exp: extract
out isl_term
_
o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoo
l
a
ege
i
s
l_term
_
dup: use isl_term_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_qpolynomial_substitute_equalities_l
i
f
t
e
d
: use
isl
_
b
a
sic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoola
e
ge
isl_q
p
ol
y
nomi
a
l_dro
p
_d
i
ms
:
u
s
e i
s
l_qpolynomial_domai
n
_v
a
r
_
off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdool
a
ege
isl_pol
y
nomial
.
c: use i
s
l
_
q
polynomial_doma
i
n_var_
o
ff
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_qpol
y
nomial_involves_di
m
s:
u
s
e
i
s
l_qp
o
lyno
m
ial_domain_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_polynom
i
al
.
c: sub
s
titute
_
n
on_divs:
use isl_
q
polyn
o
mi
a
l_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdo
o
laege
isl
_
polyno
m
ial
.
c:
substitut
e
_
d
iv
:
us
e
isl_qpolynomial_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdo
o
laege
isl_pol
y
nomi
a
l
.
c: substit
u
te
_
di
v
: us
e
isl_qpol
y
n
omi
a
l_get
_
ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
s
l_
q
p
o
lyn
o
mial_
v
a
r_on_domain: use
isl_space_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_
q
pol
y
nomial_extrac
t
_affine: use isl_qpo
l
ynomial_domain_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verd
o
ol
a
ege
is
l
_polynomial
.
c: sort_div
s
:
use isl
_
q
p
olynomial_domain_var_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_qpolynomial
_
d
omain_off
s
et: ext
r
ac
t
out i
s
l
_
q
polynomial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l
_qpolynom
i
a
l_domain_
o
ffset: use isl_qp
o
l
y
nomial_peek_doma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_qpolynomial_get_doma
i
n_space: extract out isl_qpo
l
ynom
i
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_con
s
traint
.
c: isl_basic_set_foreach_boun
d
_pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aeg
e
is
l
_tab
_
pip
.
c: find_cont
e
xt_div: use
isl_basic_{map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
add isl_basic_set_
v
ar_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ver
d
oolaege
is
l
_m
a
p_simplify
.
c
: d
i
v_fi
n
d_c
o
a
l
e
sce:
use isl_basic_map_v
a
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
d
o
olaege
isl_
o
utput
.
c: d
r
op_aff
:
use isl
_
basic_map_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
g
e
isl_basic_map_drop_
r
edundant_divs_i
n
eq: u
s
e isl_basic
_
m
ap
_
va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_map_si
m
plify
.
c:
.
.
.
_drop_m
o
re_redundant_divs: u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map_simplify
.
c: coal
e
sce_divs: use isl_ba
s
ic_
m
a
p
_var_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
m
a
p_si
m
plify
.
c:
div_
i
s_r
e
d
u
ndant:
use isl_basic_m
a
p_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_basi
c
_
map_is_div_constrai
n
t: use i
s
l_basic_
m
ap_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
i
s
l_map_s
i
mplify
.
c: e
l
iminate_unit_divs: u
s
e
i
sl_basic_map_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map_s
i
mplify
.
c: check_for_div_cons
t
raints: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verd
o
olaege
isl_map_simplify
.
c: bette
r
_
d
iv_co
n
straint: use is
l
_
b
asic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl
_
map_s
i
mplify
.
c: ok_t
o
_set_div_from_boun
d
: use
i
sl_basic
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
olaeg
e
isl_map_sim
p
lify
.
c: s
e
t
_
d
i
v
_from_l
o
we
r
_bound: use isl_b
a
s
ic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_
map_simplify
.
c: normalize_divs
:
u
s
e isl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next