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
Sven Ve
r
d
o
olaege
isl_*_dim
:
return isl
_
s
iz
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven V
e
rdoolaege
introduce isl_size retu
r
n t
y
p
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en
V
erdoolae
g
e
g
enerator: extra
c
t
o
u
t
shared is
_
isl_
p
rimitive
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoola
e
ge
p
ython bindin
g
s: also raise an
e
xce
p
tion on negative
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
generator:
e
x
t
ract out is_
i
s
l
_neg_err
o
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
python binding
s
: do not se
t
return of functions r
e
turni
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ve
r
doolaege
drop d
e
p
r
e
c
at
e
d
isl_basic_map_n_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
S
v
e
n Ve
r
doola
e
ge
drop deprecat
e
d
isl_map_n_param
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
V
er
d
o
o
laeg
e
dro
p
depre
c
ated isl_map
_
n
_out
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoola
e
ge
dr
o
p d
e
precated
i
sl_map_n_in
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
To
b
i
a
s
Grosser
isl_v
a
l_pl
a
i
n
_is
_
equa
l
: re
t
urn isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gr
o
sser
isl_val_
n
e: 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_abs_eq: use
i
sl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Gr
o
sse
r
i
s
l_val_eq: us
e
isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bi
a
s Gr
o
ss
e
r
isl_v
a
l_le: use
is
l
_
b
ool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_gt:
u
s
e
i
sl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Grosser
i
sl_val_l
t
: us
e
i
sl_bool
_
ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_is_nonpos:
use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
is
l
_val_is_nonne
g
: use isl_boo
l
_
o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
a
s G
r
osser
isl_val_is_
n
eg: use isl_bo
o
l_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Gro
s
ser
isl_val_is_pos: use isl_bool_o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gr
o
sser
isl_
v
al_i
s
_negone: use isl
_
bo
o
l_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Gross
e
r
isl_val_is_one: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
ob
i
as Grosser
isl_val
_
is_zer
o
: use isl_bo
o
l_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias G
r
osser
i
s
l_val_is_neginfty: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
i
s
l_val_i
s
_in
f
ty: use is
l
_bool_o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Gr
o
sser
isl_val_is_nan: use
i
sl_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_rat: use
i
sl_bo
o
l_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias
G
rosser
isl_
v
a
l
_
i
s_
i
nt: 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_is_divisible
_
by: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias G
r
osser
introd
u
ce isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Gr
o
sser
do
c
: isl_
b
ool_no
t
is defined in isl/ctx
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias
Grosser
test isl_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdoolaege
isl_sche
d
u
ler
.
c: node_
u
pdate_vmap: extrac
t
out extract_l
i
nea
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
isl_r
a
nge
.
c: collect_fixed
_
s
i
g
n_term
s
: reduce ra
n
g
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
is
l
_map_dim
:
u
s
e isl_space_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_set_
p
arams: imp
l
ement in t
e
rms
of
isl
_
ma
p
_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl
_
set_dim: implement in terms of isl_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_morph
.
c: copy_equalities:
use isl_basi
c
_set_get_spa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map
_
su
b
t
ract
.
c:
t
ab_add_co
n
straint: use
i
s
l
_basic
_
map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoola
e
ge
is
l
_m
a
p
_sub
t
ract
.
c: tab_add
_
constraint
s
: use isl_
b
asic_map_d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
i
sl_polynomial
.
c: m
a
ke_divs_pos
:
use is
l
_q
p
olynomial_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_poly
n
omial
.
c: split_periods:
use
i
s
l
_qpol
y
n
o
mial
_
domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
pol
y
nomial
.
c: set_div:
use isl_qpolyno
m
ial_domain_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_multi_*
_
di
m
:
u
se isl_mul
t
i
_*_peek_
s
pace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_pw_*_dim: use isl_pw_*_p
e
ek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoola
e
ge
i
s
l_qpo
l
y
nomial_involves_dims: us
e
i
sl_qpolynomial_p
e
ek_doma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolae
g
e
isl_pol
y
nomial
.
c
: set_active: use isl_qpolynomial_
p
eek_do
m
ai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
aege
isl
_
q
polynomial_
d
omain_dim:
u
s
e
i
sl_qpolynomial_peek_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl
_
p
oint_dim:
u
se
is
l
_poi
n
t_pe
e
k_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
olaege
is
l
_basic_s
e
t_var
i
able_compression: use i
s
l_basic
_
set
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_basic_map_domain_
p
r
oduct: use isl_basic
_
map_g
e
t
_
s
p
ace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erd
o
olaege
is
l
_basic_map_overl
y
ing_
s
e
t: use isl_b
a
sic_set
_
di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoo
l
aege
isl
_
ba
s
ic_map_appl
y
_range: use
isl_basic_map
_
get_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
laege
i
s
l_map
.
c: move_la
s
t
:
use isl_basic_map
_
off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olae
g
e
i
sl_map
.
c
:
move_last: use isl_ba
s
ic_map
_
peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
ge
isl_basic_map
_
move_d
i
ms: use isl_basic_map_p
e
e
k
_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
is
l
_map
.
c: m
a
p_intersec
t
_inter
n
al: use isl_m
a
p
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaeg
e
isl
_
basic_ma
p
_
i
nte
r
sect
:
u
se isl_bas
i
c_map_
p
eek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
i
s
l_ba
s
ic_map_intersect
_
range: use is
l
_b
a
sic_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
b
asic_map_i
n
terse
c
t_
d
oma
i
n: use is
l
_basic_se
t
_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
sl_
m
ap
_
s
olve_lp: use isl_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_polynomial
.
c: fi
x
_inac
t
ive: us
e
isl
_
set_
d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolynomial_lift:
u
s
e isl_qpolynom
i
al_doma
i
n_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_qpo
l
ynomial_from_term: use isl_t
e
rm_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
e
r
d
oolaege
isl_
t
erm_g
e
t
_
exp: extrac
t
out
i
s
l_term_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doola
e
ge
i
sl_t
e
rm_d
u
p: use
i
sl_t
e
rm
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaeg
e
isl_qpol
y
nomial_substitute_equalities_lifted: use isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n V
e
r
dool
a
e
ge
isl_qpolynomial_dro
p
_dims: use i
s
l
_qp
o
lynom
i
al_domain_var_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_poly
n
o
m
i
al
.
c
:
us
e
isl_q
p
olynomial_domain_
v
ar_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_qpolyno
m
ial_i
n
volves_dims: us
e
isl
_
qpolynom
i
al_d
o
ma
i
n
_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_po
l
yno
m
ial
.
c: substit
u
t
e
_non_divs: use isl_q
p
olynomial
_
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
aege
isl_
p
olyn
o
mial
.
c: substitute_di
v
: u
s
e is
l
_qp
o
lynom
i
al_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
ol
a
ege
isl_polynomial
.
c
:
substitut
e
_div: use is
l
_qpolyn
o
m
ial_get_ct
x
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_qpolynomial_va
r
_on_domai
n
: use
i
sl_space_
o
ff
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolyno
m
ial_e
x
tract_affine:
u
se i
s
l
_q
p
ol
y
nom
i
al
_
d
o
m
a
i
n_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaeg
e
isl_
p
olynomial
.
c: sort_divs:
use isl_qpoly
n
omial
_
d
o
m
a
i
n
_var_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolae
g
e
i
sl_qpo
l
ynomial_dom
a
in_
o
ffset: extract out isl
_
qpolynomial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rd
o
olaege
isl_q
p
o
lynomia
l
_d
o
main_offset: use isl_
q
polyn
o
m
i
a
l
_peek_doma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_q
p
olynomial_ge
t
_domain_space:
e
xtra
c
t
o
ut
isl_qpolyno
m
ia
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoola
e
ge
isl
_
c
o
nstraint
.
c
:
isl_basic_set_fore
a
ch
_
bound_pa
i
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
o
ola
e
g
e
isl
_
tab_pi
p
.
c: find_
c
ontext_div: use isl_basic_{
m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdoolae
g
e
a
d
d isl_basic_se
t
_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
l
a
ege
i
s
l_
m
ap_simplif
y
.
c: div_find_coalesc
e
: u
s
e isl_basic_map_
v
ar
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
isl_output
.
c: dro
p
_a
f
f: use i
s
l_basic_map_v
a
r_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
i
sl_basic_map_drop_redundant_divs_i
n
e
q
: use isl_basi
c
_ma
p
_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_
m
ap_simplif
y
.
c:
.
.
.
_drop
_
mo
r
e_redundant_divs: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_map_simplify
.
c: c
o
ale
s
c
e_divs: use isl_basic_
m
a
p
_var_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_map_si
m
p
lify
.
c: di
v
_is_r
e
dundan
t
:
use isl_basic_
m
ap_offse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_
b
a
si
c
_map
_
is_di
v
_
c
onstra
i
nt: us
e
isl_ba
s
ic_
m
ap_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_map_simplify
.
c: e
l
im
i
n
ate_uni
t
_divs:
use
i
s
l_ba
s
i
c_ma
p
_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
doo
l
aege
isl_map
_
simp
l
ify
.
c
:
check
_
f
o
r_div_constraints: us
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
s
l_
m
ap_simplify
.
c: b
e
t
ter_div_constra
i
nt
:
use
isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_si
m
plif
y
.
c: ok_to_set_div_fr
o
m_bound: use isl_basi
c
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olae
g
e
isl_m
a
p_simplify
.
c: set_div_
f
rom_low
e
r
_
bo
u
nd: use isl_basic
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_m
a
p
_simplify
.
c: norm
a
lize_divs: use isl_basic_m
a
p_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
map_simpli
f
y
.
c: n
_
pure_div_eq: use isl
_
basic_
m
ap_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
s
l
_
map
_
simplify
.
c: remo
v
e_duplicate_divs: use isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_si
m
plify
.
c:
elimina
t
e_divs_ineq
:
use isl_basic
_
m
ap_
v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
map_simplify
.
c:
elim
i
nate_divs_eq: isl_basic
_
map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next