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_*_dim: return isl_size
2018-09-06
S
v
e
n
Ve
r
doolaege
isl_*_
d
im: ret
u
r
n isl_siz
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
introduce i
s
l_si
z
e return ty
p
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verd
o
o
l
aege
generato
r
: extract out sha
r
ed is
_
i
sl_primi
t
i
v
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoo
l
ae
g
e
pytho
n
bindi
n
gs: also raise an
e
xception on
n
egat
i
ve
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
S
ven
V
erdoolae
g
e
generator: 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
o
laeg
e
python bindi
n
gs: do
n
ot set return of functions returni
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
Verdoola
e
ge
drop
deprecated i
s
l_basic_map_n_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoola
e
ge
dr
o
p deprec
a
ted i
s
l_map_n
_
para
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
drop deprecated
isl_map_n_out
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ver
d
ool
a
ege
drop deprecated isl_map_n_in
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
To
b
ias Gr
o
sser
isl_v
a
l_plain_is_e
q
ual
:
ret
u
r
n
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gro
s
ser
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
Tobias Grosser
isl_val_a
b
s_eq: use
isl_
b
ool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
obi
a
s Gross
e
r
isl_val_eq: use isl_b
o
ol_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Grosser
isl_val_le: u
s
e 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_
v
a
l_gt: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Grosser
isl_val_lt: use isl_bool_o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as G
r
osse
r
i
s
l_val_is_n
o
npos:
u
s
e isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
G
rosser
isl_val_
i
s_
n
onneg:
u
se isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
ob
i
a
s
G
rosser
isl_val_is
_
neg: use isl_
b
oo
l
_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias G
r
os
s
e
r
isl_va
l
_is_
p
o
s
: use
i
sl_bo
o
l_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
G
rosse
r
isl
_
val_is_negone: use isl
_
bo
o
l_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosse
r
isl_val_
i
s_one: use isl_bool_o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
i
sl_val_is_
z
ero: use isl_bool
_
o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias Grosser
isl_val_is_neginfty
:
use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias
Grosser
is
l
_
val_is_infty
:
use isl_boo
l
_o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gro
s
ser
isl_val_is_nan: use is
l
_bool
_
ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Grosser
isl_val_is_rat: use isl_
b
ool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gross
e
r
isl_v
a
l_is_int
:
use i
s
l_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gros
s
er
i
s
l_val_is_
d
ivisible_by: use is
l
_
b
o
o
l_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias G
r
osser
i
n
troduce
i
sl_bo
o
l_
o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
doc: isl_bool_n
o
t is
define
d
in
isl/ctx
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Gros
s
e
r
test isl_boo
l
_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Ve
r
doolaege
isl_schedul
e
r
.
c: node_update_vm
a
p: extract
out ext
r
act_
l
inea
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_range
.
c: co
l
lect_fixed_
s
ign_terms:
r
educ
e
range
.
.
.
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_
d
im: use isl_spac
e
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olaege
is
l
_set_p
a
rams: implement in
t
erms of isl_ma
p
_
p
ar
a
ms
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolaege
isl
_
set_dim: impl
e
ment
i
n
terms of isl_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
ae
g
e
isl_mo
r
ph
.
c: copy_eq
u
ali
t
i
e
s
: u
s
e
i
sl_bas
i
c_s
e
t_get_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_map_
s
u
b
tra
c
t
.
c: tab_add_
c
o
n
straint: use
i
sl_basic_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_map_
s
ubtra
c
t
.
c: tab
_
add
_
constraints: use isl_basic_map_d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdool
a
ege
isl_polynomia
l
.
c: make_divs_pos:
u
se
i
s
l_qpolynomia
l
_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_po
l
y
n
omi
a
l
.
c: split_periods:
use isl
_
qpolynom
i
a
l_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_polynomial
.
c: set_div: use isl_qpo
l
y
nom
i
al_domain
_
var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
e
g
e
isl_multi_*_d
i
m:
u
s
e isl_multi_*
_
peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Ve
r
doo
l
aege
isl_pw_*_dim: use isl_p
w
_*_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl_qp
o
lynomia
l
_involves_
d
ims: u
s
e
i
sl_qpo
l
ynomi
a
l_peek_doma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
p
olynomia
l
.
c
:
s
et_active: us
e
isl_qpolyno
m
i
al_peek_do
m
ai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_qpoly
n
omial_domain_dim: u
s
e isl_qpo
l
y
n
om
i
a
l
_peek_
d
omain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
ol
a
ege
isl_point_dim: use isl_
p
oint_
p
eek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_set
_
v
a
riable_c
o
m
pres
s
ion: use isl_basic_set_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
is
l
_basic_map_domain_produ
c
t: use i
s
l_basic
_
m
a
p_get_s
p
a
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_basic_map_over
l
ying_se
t
:
use isl_basi
c
_
s
et
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_basic_m
a
p_apply_range: use
isl_basic_map_get_
s
p
ace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_m
a
p
.
c: move_last
:
use isl_basic_map_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
s
l_map
.
c: mov
e
_last: use i
s
l_basic_
m
a
p
_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
d
o
o
laege
i
s
l_bas
i
c_ma
p
_move_dims: use
isl_basic
_
map
_
peek
_
spa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolaege
i
s
l_m
a
p
.
c: map
_
intersect_inte
r
na
l
: use isl_
m
ap_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolae
g
e
i
sl_basic_map_intersect: use isl_bas
i
c_map
_
p
e
ek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
is
l
_basic_map
_
in
t
e
r
sect_range:
use isl_ba
s
ic_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_basic_ma
p
_interse
c
t_dom
a
in: use isl_basic
_
set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oola
e
ge
isl_map
_
s
olve_lp: us
e
isl_m
a
p
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_polynomial
.
c
:
fix_inactive: use isl_set_
d
im
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdool
a
e
g
e
isl_qpol
y
nomial_lift: use isl_qpolynomial_domain_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_qpol
y
nomia
l
_from_term: use is
l
_term_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_term_get_exp: extra
c
t out isl
_
t
e
rm_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_t
e
rm
_
d
up: use isl_t
e
rm_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_
q
po
l
y
n
omial_substitute_equalities_lifted: use i
s
l
_
basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
g
e
isl_
q
po
l
ynomia
l
_dr
o
p_dims: use
isl_qpolynom
i
al_domain
_
v
a
r
_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
e
r
doo
l
aege
isl_polyn
o
mial
.
c
:
u
se isl_
q
polyno
m
ial_domain_v
a
r_offse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl
_
qpolynomial_i
n
v
o
lves_
d
ims
:
use isl_qpolynomial_
d
om
a
in_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_polyno
m
ial
.
c: subs
t
itute_
n
on_divs: us
e
is
l
_
qpolyno
m
ial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
aege
i
sl_polyn
o
mial
.
c
:
substitute_div: use isl_qpo
l
ynomial_
d
o
m
ain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolae
g
e
is
l
_polynomial
.
c: substitute_d
i
v: use isl_qpolynomia
l
_get_ctx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolae
g
e
isl_qpo
l
ynomial_var_on_domain:
use isl_spa
c
e_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
qpolynomial_extract_aff
i
n
e
: use
isl_qpolynomial_d
o
m
ain_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
d
o
olae
g
e
isl_polynomial
.
c: sort_div
s
: use
i
sl_qpolynomial_domain_va
r
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
is
l
_qpolynomia
l
_do
m
ain_
o
f
f
s
et:
extract out isl_qpolyno
m
ial_
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoola
e
ge
isl_qpolynomial_dom
a
in_offset:
u
se isl_qpolynom
i
al_peek_dom
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoo
l
aege
isl_
q
poly
n
omial_get_domain_spac
e
: extract
o
ut isl_qpoly
n
o
mia
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laege
isl
_
co
n
strai
n
t
.
c: isl_bas
i
c_set_foreach_bo
u
n
d
_pair
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoola
e
ge
isl_ta
b
_pip
.
c: fin
d
_
contex
t
_div:
u
s
e isl_basic
_
{
m
ap
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoola
e
ge
a
dd isl_basic_
s
et
_
var
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaeg
e
isl_map_simplify
.
c: div_f
i
nd_coalesce: u
s
e i
s
l_b
a
sic_map_var
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
sl
_
o
u
tput
.
c
: drop
_
a
f
f: use
isl_basic_
m
ap_v
a
r_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_bas
i
c_
m
ap_drop_redundant_divs_ineq: use isl_
b
asic_map_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
is
l
_map_simplif
y
.
c:
.
.
.
_drop_
m
o
r
e_re
d
und
a
nt
_
d
i
vs: us
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_map_
s
i
m
pli
f
y
.
c: co
a
lesce_d
i
vs: use isl_b
a
sic_map
_
var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaeg
e
i
s
l_map_simplify
.
c: div_i
s
_
r
edundant: use isl_
b
asic_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
ool
a
ege
i
s
l_basi
c
_map_is_di
v
_constraint:
use isl_basic_map
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl
_
m
a
p_simpl
i
fy
.
c: elim
i
nate_unit_divs: use isl_basic_map_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_map_si
m
plify
.
c: check_for_div_constraints
:
use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_
s
implify
.
c: better_div_cons
t
ra
i
nt: use isl_basi
c
_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_map_si
m
p
l
i
fy
.
c:
ok_to_set_d
i
v_from_bound:
use isl_ba
s
ic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_map
_
simp
l
ify
.
c: set_div_from_lower
_
b
o
und
:
use isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_ma
p
_simplify
.
c
:
n
o
rma
l
i
z
e_divs: use isl_b
a
sic_m
a
p
_var
_
offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: n_pure_di
v
_
e
q: us
e
isl_basic_map_v
a
r_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
is
l
_map_
s
im
p
l
if
y
.
c: remove_duplicate_divs: u
s
e isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
is
l
_map
_
sim
p
lify
.
c:
elim
i
n
a
te_divs_in
e
q: use isl
_
basic_m
a
p_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map_s
i
mplify
.
c: eliminate_d
i
vs_e
q
: i
s
l
_
basic_m
a
p_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next