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_val_n_abs_num_chunks: return isl_size
2018-09-06
Sven
V
erdoolaege
isl_
v
al_n_abs_num_chunks: ret
u
rn isl_si
z
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaeg
e
isl
_
*_di
m
:
return
i
sl_size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
V
erdo
o
laege
int
r
odu
c
e isl_size return type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
Verdoo
l
aeg
e
gen
e
rator:
e
xtract out shared
is_i
s
l
_
primitive
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
python bindings: also rais
e
an exception on negative
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
S
ven Verdo
o
laege
gener
a
tor: extract out is_isl_neg
_
error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ver
d
o
ol
a
ege
python bi
n
d
ings: do not set return of
funct
i
ons returni
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolae
g
e
drop depreca
t
ed isl_
b
a
s
ic_
m
ap_n_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
S
ven Verdoolaege
drop depr
e
cated isl_
m
ap_n_par
a
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ve
r
do
o
laege
drop dep
r
ecated isl
_
m
ap_n_out
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
Verdoolaege
drop de
p
r
ecated isl_map
_
n_
i
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Tobias
Gr
o
s
ser
is
l
_val_plain_is
_
equal: retur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias Grosser
isl_val_ne: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Gr
o
sser
i
s
l_val_ab
s
_eq: us
e
isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias
Grosser
isl_val_eq: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias
G
r
osser
is
l
_
val_le: us
e
isl_bool_o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
obi
a
s
G
r
o
sser
isl_val_gt: use isl_boo
l
_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_l
t
:
u
se isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Grosser
isl_val_is_nonpos
:
use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Grosser
i
s
l_val
_
is_nonneg
:
us
e
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_is_neg:
use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bi
a
s Grosser
isl_val_is_pos: use isl_bool_
o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s
Grosser
i
s
l
_
val_is_negone: us
e
isl_boo
l
_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Grosser
is
l
_val_is_one:
use
i
sl_bo
o
l_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias Grosser
isl_val_is
_
zero: us
e
isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Grosser
i
s
l_val_is_
n
e
g
inft
y
: use is
l
_bool
_
ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Gross
e
r
i
s
l_val_is_infty: 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_
n
an:
use isl_
b
ool_o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Gross
e
r
isl_val_is_rat:
use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_va
l
_is_int: use isl_
b
o
ol_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gr
o
ss
e
r
is
l
_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
rosser
i
nt
r
od
u
ce isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gro
s
s
e
r
doc
:
isl
_
bool
_
not is d
e
fined in i
s
l/
c
tx
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
test i
s
l_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_scheduler
.
c:
no
d
e_update_vmap: e
x
tract out
e
xtract_linea
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdo
o
laege
isl_ra
n
g
e
.
c: c
o
l
l
ect
_
fixed_s
i
gn
_
t
erms:
reduce range
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map
_
dim: use isl
_
s
pac
e
_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdool
a
e
ge
isl_set_
p
ara
m
s: implemen
t
in
t
erms of isl_
m
a
p
_par
a
ms
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
sl_set_di
m
: impleme
n
t
i
n te
r
ms of isl_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
m
orph
.
c:
c
opy_equa
l
it
i
es: use isl
_
basic_set_get_s
p
a
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdoolaege
isl_map_subtrac
t
.
c: tab_add_constraint: 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_map_s
u
btract
.
c
:
tab_add_constraints
:
us
e
isl_b
a
sic
_
map_d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_polynomi
a
l
.
c: make_
d
ivs
_
po
s
: use
i
sl_q
p
ol
y
nomial_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_polynomial
.
c: spl
i
t_periods: use isl_qpolynomial_doma
i
n_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
o
laege
isl_polynomi
a
l
.
c
:
se
t
_
div: us
e
is
l
_qpolynomial_dom
a
i
n
_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
doolaege
i
s
l_multi_*_di
m
:
use
isl_
m
ulti_*_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_p
w
_
*_d
i
m: use isl_pw_
*
_
p
e
e
k
_
sp
a
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_qpolynomial_
i
nvolve
s
_dims: use
isl_qpolynomial_p
e
ek_dom
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolae
g
e
isl_polyn
o
mial
.
c: set
_
act
i
ve: use isl_qpolynom
i
al_peek_domai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolynomial_domain_dim: u
s
e isl_qpolynomi
a
l_peek_doma
i
n_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
s
l
_
p
o
in
t
_
dim: use isl
_
p
o
int_peek_spac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verd
o
olaege
isl_basic_set_variable_co
m
pressio
n
:
use isl
_
ba
s
ic_set_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_basic
_
map_domain_product: use
isl_basic_map
_
g
e
t
_spac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
e
rdoolaege
i
sl_b
a
s
ic_map
_
o
verl
y
ing
_
set: use isl_basic_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
aege
i
sl_basic_map_apply_range: use i
s
l
_basic_map_get_sp
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map
.
c: move_last: use isl_basic_map_of
f
se
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: move_last: use isl_bas
i
c_m
a
p_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
is
l
_bas
i
c
_
map_move_dims: u
s
e
isl
_
basic_map_peek
_
s
pac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
r
d
o
olae
g
e
isl_map
.
c: map_
i
ntersect_internal:
u
se i
s
l_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_ba
s
ic_map_intersect
:
use
isl_basic_map_peek
_
space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
isl
_
basic
_
m
a
p_intersect_rang
e
: use isl_basic_s
e
t
_
d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_intersect_domain: use isl_basic
_
set_
d
im
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaege
is
l
_m
a
p_solv
e
_lp:
u
s
e
isl_map_d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
ge
isl_polynomi
a
l
.
c
:
f
ix_in
a
ctiv
e
:
u
s
e
isl_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_qpolyno
m
ial_lift: use isl_qpolynomia
l
_domai
n
_d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdool
a
ege
isl_qpolynomial_from
_
t
e
r
m: use isl_term_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
olaeg
e
isl_term_get_exp: extract ou
t
is
l
_
t
erm
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
ege
isl_term
_
d
up:
u
s
e
i
sl
_
term_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
i
sl_qpolynomial_substitute_equalities_lifted: use
isl_b
a
sic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_q
p
olynomial
_
dr
o
p_dims: use i
s
l_qpolyn
o
mial_domain_var
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l_polyno
m
ia
l
.
c
: use isl_qpoly
n
omial_domain_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olae
g
e
isl_qpoly
n
om
i
al_i
n
volve
s
_dims: use i
s
l
_qpolynomial_dom
a
in_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_po
l
ynomi
a
l
.
c: substitute
_
n
o
n_divs: use isl_
q
polynomial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olae
g
e
isl_
p
o
lyn
o
mial
.
c: substitu
t
e_div: use isl_qp
o
l
ynomial_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polynom
i
al
.
c:
s
ubs
t
itute_div: use isl_q
p
olynomial_get_ctx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
dool
a
ege
isl_qpol
y
n
omial_
v
ar_on_do
m
ain: use isl_space_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
e
rdoolaeg
e
isl_qp
o
l
ynomia
l
_
ext
r
act_affine: u
s
e isl_q
p
ol
y
no
m
ial_domain_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdool
a
e
g
e
isl_polyno
m
ial
.
c: sort_divs: use isl_qpoly
n
omi
a
l_domain_var
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_qpolynomial
_
domain_offset: extract out isl_qpolynomial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
lae
g
e
i
sl_qpol
y
no
m
ia
l
_domain_offset: use isl_qpolynomial_p
e
e
k_dom
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_qpolynomial_get_domain_space: extract out isl_qpolynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolaege
i
sl_constraint
.
c:
i
s
l
_basi
c
_
set_fore
a
ch_bou
n
d
_p
a
ir
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
ege
isl_tab_pip
.
c
:
find_context_
d
i
v: use i
s
l_basic
_
{map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
ad
d
isl_basic_set_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
dool
a
ege
isl_map_
s
implify
.
c: div_f
i
nd_coalesce:
u
se
i
sl_basic_map_var
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdo
o
laege
isl_output
.
c: drop_
a
ff
:
use isl_basic_map_v
a
r_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_drop_redun
d
ant_divs_ineq: us
e
isl_basic_map_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
r
e_
r
edund
a
nt_divs: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
isl_map_
s
i
m
plify
.
c
: coalesce_d
i
vs: us
e
i
s
l_basic_map_var_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaeg
e
is
l
_map_simplify
.
c: div_is_
r
edund
a
nt:
use isl_basic_m
a
p_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_b
a
sic_map
_
i
s_d
i
v_con
s
traint:
u
se i
s
l
_
basic_map_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
e
ge
is
l
_map_simplify
.
c:
e
limin
a
t
e
_unit_
d
i
v
s: use
isl_basic_m
a
p_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
laege
i
sl_map_sim
p
l
i
fy
.
c: check_for_di
v
_c
o
nstraints: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
doolaege
i
sl_ma
p
_
s
i
mplify
.
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
Sven V
e
rdool
a
ege
i
s
l
_
map_simplif
y
.
c
: ok_to_set_div_f
r
om_boun
d
: u
s
e isl
_
basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
lae
g
e
isl_m
a
p_simplify
.
c:
s
et_d
i
v_from_lo
w
e
r
_
b
oun
d
: use
isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_sim
p
l
ify
.
c: n
o
rmali
z
e_di
v
s: use isl_basic_map
_
var_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
l
a
ege
i
s
l
_
map_simplify
.
c
:
n
_
p
ure_div_eq:
u
s
e is
l
_basic_
m
ap_va
r
_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
aege
isl_map_simp
l
ify
.
c: r
e
move_d
u
p
l
i
cate_d
i
vs: use isl_ba
s
ic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map
_
simplify
.
c: eliminate_divs_ineq: u
s
e i
s
l_basic_map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next