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
python bindings: also raise an exception on negative isl_stat
2018-09-06
Sven Verdoolaege
python bin
d
ings:
a
lso raise an exception on negati
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
V
e
r
doo
l
aege
generat
o
r:
e
xtract out i
s
_isl_neg_error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoo
l
aege
pyth
o
n bin
d
ings: do not set return of
fu
n
c
tions ret
u
rning
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sv
e
n Verdoolae
g
e
d
r
op
d
e
precated isl_basic_map_
n
_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sv
e
n Ve
r
d
o
o
l
aeg
e
dr
o
p dep
r
ecated isl
_
map
_
n
_p
a
ram
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
S
ven V
e
rdoolaege
drop deprecated isl
_
map_n_out
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
V
erdool
a
ege
drop de
p
recated isl_map_n
_
in
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Tobias
G
rosser
isl_val_p
l
ain_is_
e
qua
l
: re
t
urn
i
sl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
ob
i
as Gross
e
r
isl_val_ne: use isl_boo
l
_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias 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
G
r
o
s
ser
isl
_
val
_
eq: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias G
r
o
ss
e
r
isl_v
a
l
_
le: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias
G
ros
s
er
isl_val
_
gt: use
i
sl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias G
r
o
s
se
r
isl_val_lt:
u
s
e
i
sl_boo
l
_
ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gross
e
r
isl_val_is_
n
o
np
o
s: use isl_bo
o
l_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl
_
val_is_n
o
nn
e
g: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
G
r
osser
isl_
v
al_is_n
e
g: use isl_bool_
o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as
G
rosser
isl_val_
i
s_pos: u
s
e isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Gro
s
ser
isl_val_is_negon
e
: use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias
Grosser
isl_val_is_
o
ne: use isl_b
o
o
l
_o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
G
rosser
isl_val_
i
s_zero:
use isl_boo
l
_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
is
l
_val_is_neginfty: use
isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias G
r
o
sser
isl
_
val_is_i
n
fty: 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_is_nan: u
s
e isl_bo
o
l_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias G
r
osser
is
l
_va
l
_is_rat: 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
isl_val_is_int: use
i
sl_bo
o
l_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
b
ias Gros
s
e
r
isl_val_is_divisible_by
:
use isl_bool_ok
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Grosser
int
r
oduce isl_bo
o
l_
o
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosse
r
d
oc:
is
l
_bool_not is defined
i
n i
s
l/ctx
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosse
r
test i
s
l_
b
ool_no
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verd
o
ol
a
ege
i
sl_
s
chedu
l
e
r
.
c
:
nod
e
_update_v
m
ap: extr
a
c
t out extract_li
n
e
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdool
a
ege
isl
_
rang
e
.
c: coll
e
ct
_
f
ix
e
d_sign
_
terms: reduce rang
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaeg
e
i
s
l_map_dim:
u
se isl_sp
a
ce_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_set_param
s
: imp
l
ement in
terms of isl_map_p
a
rams
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_set_dim:
implement in terms
o
f
isl
_
map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_mor
p
h
.
c: copy_equalities: u
s
e
i
sl_b
a
sic_set_get_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doolaege
isl_map_
s
ubtr
a
ct
.
c:
tab_add_constraint
:
us
e
isl
_
b
asic_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
isl_map_s
u
btract
.
c:
tab_add
_
constraints: use isl_basic_m
a
p_d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
s
l
_polyno
m
ial
.
c
:
make_divs_pos: use is
l
_qpolyn
o
mial_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
ool
a
ege
isl
_
po
l
ynomial
.
c: split_pe
r
iods: use isl_
q
polynomial_dom
a
i
n_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verd
o
olaeg
e
isl_polynomial
.
c: set_div
:
use isl_qpolynomial_domain_var_o
f
f
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_multi_*_dim: use isl_
m
ult
i
_*_peek_
s
p
ac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdool
a
ege
isl
_
pw_*
_
dim: use isl_pw_*_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_qpolynomial_inv
o
lves_dims: us
e
isl_qpolynomial_peek_doma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_polynomial
.
c
:
set_active:
u
s
e isl_qpolynomial_pe
e
k_domai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_qpoly
n
omial_dom
a
in_di
m
: use
i
sl_qpo
l
ynomial_
p
eek_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_poi
n
t
_
dim: use
i
sl_poi
n
t
_peek_
s
p
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_
b
as
i
c_set_variabl
e
_compression: use isl_basic_set_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
d
oolaeg
e
isl_basic_map_domain_pro
d
uct: use
i
sl_
b
asic
_
map
_
get_
s
p
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
is
l
_basic_map
_
overlying_set: use isl_
b
asic_s
e
t_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
aege
isl_basic_map_app
l
y_
r
ange
:
use isl
_
basi
c
_ma
p
_get_s
p
ace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoolaege
is
l
_map
.
c: mo
v
e_l
a
s
t
: use
isl_basic_m
a
p_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaeg
e
i
s
l
_
map
.
c: move_last:
u
se isl_basic_ma
p
_peek
_
space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
lae
g
e
isl_
b
a
sic
_
map_move_dims: use isl_
b
asic_map_peek_s
p
ace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aeg
e
is
l
_
map
.
c
:
map_i
n
te
r
sect_internal:
u
se isl_
m
ap
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
s
l
_b
a
sic_m
a
p_interse
c
t:
use isl_basic_map
_
peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_bas
i
c_
m
ap_intersect_range:
u
se isl_ba
s
ic_set_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_basi
c
_map_interse
c
t_domain: use isl_basi
c
_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
i
sl_map_solve_lp: use i
s
l_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
o
ola
e
ge
isl_polyn
o
mial
.
c: fix_inactive:
use isl_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl
_
qpolynomial_lift: use isl_
q
p
o
l
y
n
o
mial_dom
a
in_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_qpoly
n
omia
l
_from_
t
erm: use isl_ter
m
_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_t
e
rm_
g
et_exp: extract o
u
t isl_term_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
isl_term_dup: u
s
e
i
sl_te
r
m_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_q
p
o
l
ynomial_substit
u
te_equalities_
l
ifted: use isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
qpolyno
m
ial
_
drop_dims: use isl_qpolynom
i
al_domain_va
r
_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polynomi
a
l
.
c: use isl_qpoly
n
omial_domain
_
v
ar
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_qpolynomial_involves_dims:
u
se isl_
q
p
olynomial
_
do
m
ain_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_
p
o
l
yn
o
mia
l
.
c
: s
u
b
stitute
_
n
on_divs: use
is
l
_qpol
y
nomial
_
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
is
l
_polynomial
.
c: substitute_
d
iv: use isl_q
p
o
l
y
nomia
l
_d
o
m
a
in
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_polynomial
.
c
:
substit
u
te_div: use isl_
q
po
l
y
nomial_
g
e
t_ctx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_qpolynomial
_
var_on_domain: use isl_space_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
q
polynomi
a
l_extract_a
f
fine: us
e
isl_
q
polynomial_domain_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
isl_polynomi
a
l
.
c: sort_
d
ivs: use isl
_
q
polynom
i
al_domain_var_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_qpolynomi
a
l_domai
n
_offset: e
x
tr
a
ct out i
s
l_qpoly
n
omia
l
_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl
_
q
poly
n
omial_
d
om
a
in_offset: use
is
l
_q
p
olynomial_peek_doma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
q
polyno
m
ial_get_dom
a
i
n_spa
c
e
: extract
o
ut i
s
l_qpo
l
ynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_
c
o
nstraint
.
c: isl_
b
asic_set
_
for
e
ac
h
_
b
ound_pair
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl_
t
ab_pip
.
c
:
fi
n
d
_
context_div: us
e
isl_b
a
sic_{map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olaege
a
dd
i
sl_ba
s
ic_set_va
r
_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_ma
p
_simplify
.
c: div_find_coalesce: use isl_b
a
sic_ma
p
_
var
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
ae
g
e
isl_output
.
c: drop_aff: use isl_
b
a
s
ic_
m
ap_
v
a
r_offse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_basic_map
_
drop
_
red
u
n
dant_divs_ineq: use isl_basic_map_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
do
o
l
a
e
g
e
isl_map_sim
p
li
f
y
.
c:
.
.
.
_drop_more_redundant_
d
ivs: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_map_
s
impli
f
y
.
c
:
coal
e
s
c
e_div
s
: use
i
s
l_ba
s
ic_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
is
l
_ma
p
_
simplify
.
c: div_is_redundant: use isl_bas
i
c_map_
o
ffse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_bas
i
c_
m
ap_is_div_constraint: use isl
_
bas
i
c_
m
ap_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
o
o
laege
isl_map_simplify
.
c
:
eli
m
inat
e
_unit_divs
:
use isl_basic
_
map_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
i
s
l_map_simplif
y
.
c: chec
k
_for_di
v
_constraints: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
ege
isl_map_simpl
i
fy
.
c: better_div_constraint: use isl
_
basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
i
sl_m
a
p_simplify
.
c
: ok_to_set
_
div
_
from
_
bound
:
u
se isl_ba
s
ic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
doolaeg
e
isl
_
m
a
p
_simplify
.
c: set_di
v
_
f
r
om_low
e
r_bound: use isl_basic
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
i
sl_map_simpl
i
fy
.
c: normalize
_
divs: use isl_basic_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
la
e
ge
i
sl_map_simp
l
ify
.
c
:
n_pu
r
e_div_eq: use isl
_
basic_
m
ap_var_
o
ffs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_m
a
p
_simplify
.
c: remove_dup
l
ic
a
te_
d
ivs: use isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl
_
map
_
simpl
i
fy
.
c
: elimina
t
e_divs_ineq: use
isl_basic_map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_map_simplify
.
c: eliminat
e
_divs_eq: i
s
l_
b
a
sic_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
is
l
_
m
a
p
_simplify
.
c
:
ok_to_eliminate_d
i
v: use isl
_
ba
s
i
c
_ma
p
_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
d
o
o
laege
is
l
_map_simpl
i
fy
.
c: eliminate
_
div:
u
se
i
sl_bas
i
c_
m
ap_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
m
ap_simplify
.
c: eliminate_va
r
_us
i
ng_e
q
uality: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next