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_pw_*_n_piece: return isl_size
2018-09-06
Sv
e
n Verdool
a
ege
isl_p
w
_*
_
n
_
p
iece: return
i
s
l
_s
i
ze
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
Verd
o
olaeg
e
is
l
_union_{
m
ap,
s
e
t
}_n_{map,set}: re
t
urn isl_siz
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven V
e
rdoola
e
ge
i
sl_{map,set}_n_ba
s
ic
_
{map,set}: r
e
turn isl_size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verd
o
o
laege
is
l
_basic_
{
map,set}_n_constraint:
return
i
sl_
s
ize
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoo
l
aege
isl_mat
_
rank: return
i
sl
_
s
i
ze
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verd
o
o
lae
g
e
i
s
l_
m
at_{col
s
,rows}
:
return isl_si
z
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoo
l
aege
isl_vec
_
size: r
e
t
u
r
n
i
sl_size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
Ver
d
oolaege
isl_val_n_abs
_
num_chun
k
s: retu
r
n
i
sl_size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
isl_*_dim: return isl_size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ve
r
dool
a
ege
i
n
troduce isl_size retur
n
type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
Verdoola
e
ge
ge
n
erator
:
extract out shared
i
s_isl_
p
rimit
i
ve
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
python b
i
n
dings: also rais
e
an exception on negat
i
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Verd
o
olaege
g
enerator: extract out
i
s_isl_neg_error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
V
erdoo
l
aege
python bindings: do not set return of fu
n
ctions returnin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaeg
e
drop
depr
e
cated is
l
_b
a
si
c
_map_n_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
Verdoolaeg
e
d
r
o
p
deprecated
isl_map_n_param
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
dr
o
p deprecated
isl_ma
p
_n_out
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
Verdoolaege
drop d
e
p
recated isl_map_n_in
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Tobias
G
r
osser
isl_val_plain_is_equal: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_ne:
u
se isl_bool_o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Grosse
r
isl_va
l
_abs_eq: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gr
o
sser
isl_val_eq: use 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_le: use
i
sl_b
o
ol
_
ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gros
s
er
isl
_
val_gt: u
s
e isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias
G
rosser
isl_val_lt:
u
se is
l
_bool_
o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl
_
val_is_
n
o
n
pos: us
e
i
s
l
_b
o
ol_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as
G
ros
s
er
i
s
l_val_is_nonneg: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
is
l
_
v
al_is_neg: use isl
_
bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gr
o
s
se
r
isl
_
val_is_pos: use
i
s
l_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias Grosser
isl_val_is_n
e
gone
:
use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Gros
s
er
isl_val
_
is_on
e
:
u
s
e
i
s
l
_
b
ool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gros
s
er
isl_val_is_zero:
u
s
e isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_is_negin
f
ty: use
i
sl_
b
ool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_is_infty: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosse
r
isl_val_is_nan: use isl_b
o
ol_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias Gro
s
ser
isl_val_is_r
a
t
:
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_i
n
t:
u
se
is
l
_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Grosse
r
isl_val_is_divisible_by: us
e
isl_
b
ool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias Grosser
introd
u
ce isl_bo
o
l_
o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias
Grosser
doc:
isl_bo
o
l
_not
is defined in isl/ctx
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as
Grosser
t
e
s
t
isl
_
bool_
n
ot
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_sc
h
e
d
uler
.
c: node_upd
a
te_vmap:
extr
a
ct out ex
t
r
a
ct_linea
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_r
a
nge
.
c: co
l
lect_
f
ixed_sign_terms: reduce r
a
n
ge
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_m
a
p_dim:
use isl_spac
e
_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolae
g
e
isl_set_params: i
m
pl
e
m
e
nt in terms of isl_map_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_set_dim
:
im
p
lement in
t
erms of isl_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oolaege
isl_mo
r
ph
.
c: copy_equali
t
ies:
u
se isl_basic_set_get_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verd
o
o
laege
isl_
m
ap_subtract
.
c: tab_add_constr
a
int:
u
se isl_basic
_
map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_
s
ubtrac
t
.
c:
t
ab_
a
dd_cons
t
r
a
in
t
s: use
is
l
_b
a
sic_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polynomial
.
c: make_
d
ivs_pos: use isl_qpo
l
ynomial_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl
_
polynomial
.
c: split_periods:
use isl_qpol
y
nomial_dom
a
i
n_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdoolaege
is
l
_polyn
o
mial
.
c: set_div: us
e
i
s
l_
q
p
o
l
ynomial_domain_var_o
f
fse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_multi
_
*_dim: use isl_multi
_
*
_
peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
o
l
ae
g
e
isl_pw_*_d
i
m:
u
se
i
sl_pw_*
_
peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_qpolynom
i
a
l
_
i
n
v
olves_dims
:
use
i
sl_q
p
olynomial_
p
ee
k
_dom
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
aeg
e
is
l
_polynomial
.
c: set_active
:
us
e
i
sl_qpolyno
m
ial_peek_domai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoo
l
a
e
ge
isl_q
p
o
l
ynom
i
al_d
o
main_
d
im: use isl_qpol
y
nomia
l
_peek_
d
omai
n
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoolaege
isl_poin
t
_
dim: u
s
e i
s
l_point_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
is
l
_basic_se
t
_variable_co
m
pression: us
e
isl_basic_set_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Ver
d
oolaege
isl_bas
i
c_map_dom
a
i
n
_produc
t
: use isl_basic_map_get
_
space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
is
l
_basic_map_overlying_set
:
use isl
_
basi
c
_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_b
a
sic_
m
ap_appl
y
_r
a
nge: u
s
e
i
s
l
_
basic_map_ge
t
_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oolae
g
e
isl_map
.
c
:
move_l
a
st: use isl_ba
s
i
c
_map_of
f
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Ve
r
do
o
laege
isl
_
m
ap
.
c: move_l
a
st:
u
se
isl_basic_map_peek
_
spa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
s
l_
b
asic_m
a
p_move_dims: use
i
sl_
b
asic_map_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaeg
e
isl_
m
ap
.
c:
m
ap
_
i
ntersec
t
_internal: use
i
s
l_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
s
l
_basic_map_in
t
ersec
t
: use isl_basic_map_pe
e
k_sp
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolae
g
e
isl_
b
asic_map_inter
s
ect_ran
g
e: us
e
isl_basic_s
e
t_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
ol
a
ege
i
s
l_
b
asic_map
_
intersect_domain: use
isl_basic_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_solve_lp: u
s
e isl_ma
p
_
d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doolaege
isl_polynom
i
a
l
.
c: fix_i
n
ac
t
iv
e
: use isl_set_
d
im
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_q
p
olynomial_lift: use is
l
_qpol
y
nomial_domain_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
ege
isl_qp
o
lynomial_from_
t
e
r
m: use i
s
l
_
t
erm_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoo
l
aege
isl_term_get
_
exp: extract out isl_term_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_term_dup: use isl_term_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
i
s
l_qpolynomial_sub
s
titute_
e
qual
i
ties_lifted:
use isl_ba
s
ic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
la
e
ge
isl
_
q
p
o
lynomia
l
_drop
_
dims
:
us
e
isl_
q
polynom
i
al_domain_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verd
o
olaege
isl_polynomial
.
c:
u
se isl_qpo
l
ynomial_domain_
v
ar_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoolaege
isl_
q
polynomial_involves_dims: u
s
e isl_q
p
olyno
m
ial_domain_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
s
l_polynomi
a
l
.
c
:
su
b
sti
t
ute_
n
on_d
i
vs: use isl_q
p
o
lyn
o
mi
a
l_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oolae
g
e
isl_polynomial
.
c: substit
u
te_
d
iv: use isl_q
p
olynomi
a
l_dom
a
in
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_pol
y
n
o
mial
.
c: substitute
_
div: use
i
sl_qpoly
n
omial_get_ct
x
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l_qpoly
n
omial_var_o
n
_domain: use is
l
_space_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
s
l_qp
o
lyn
o
mial_extract_affine: us
e
isl_
q
polyn
o
mia
l
_d
o
main_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_polynomial
.
c: sort_div
s
:
u
se
isl_
q
polynom
i
al_domain_var_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoola
e
g
e
isl_
q
polynomi
a
l_dom
a
i
n
_offset:
e
x
t
r
a
c
t o
u
t
i
sl_qpoly
n
omial_
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_qpolyn
o
mial_domain_offset: use isl_q
p
olynomial_pe
e
k_
d
oma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolae
g
e
i
s
l_qpo
l
y
n
om
i
al_get_domain_space
:
extr
a
ct out isl_qpolynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rd
o
o
l
aege
isl_constrain
t
.
c:
i
sl_basic_set_
f
oreach_bou
n
d_p
a
ir
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ol
a
ege
isl_t
a
b_pip
.
c:
f
i
n
d_context_div: use isl_basic_{ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
add isl_basic_se
t
_v
a
r_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p_s
i
mplify
.
c: div_find_coalesce:
u
se isl_basic_map_var
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ver
d
oolaege
isl_output
.
c:
drop_a
f
f
:
u
s
e is
l
_basic_map_var
_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
d
oola
e
ge
i
s
l_basic_
m
ap_dro
p
_redundant
_
divs_ine
q
:
use isl_basic
_
map_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map_simp
l
if
y
.
c:
.
.
.
_
d
r
o
p_more_re
d
undant_divs:
u
se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
m
a
p_simplify
.
c: coale
s
ce
_
divs: use isl
_
bas
i
c_map_var_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_m
a
p_simplif
y
.
c
:
di
v
_is_redundant: u
s
e isl_basic
_
map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaeg
e
isl_basic_map_is_di
v
_
constraint:
use isl_basic_ma
p
_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_
m
ap_simplify
.
c
:
eliminate_unit_divs: use i
s
l
_basic_map_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olaege
i
s
l_map
_
simpli
f
y
.
c: check_for_div_const
r
aints: us
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next