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_map_dim: use isl_space_dim
2018-09-02
S
v
en Verdo
o
laege
isl_map_
d
im: use isl_space_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoolaege
isl_set_p
a
rams: imple
m
e
n
t in t
e
rms
o
f isl_map_para
m
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoola
e
ge
is
l
_s
e
t_d
i
m: impleme
n
t in terms of isl_map_
d
im
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
ola
e
g
e
is
l
_m
o
rph
.
c: copy_equalities: u
s
e
i
sl_bas
i
c_se
t
_
g
et_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
eg
e
i
s
l_map_subtract
.
c:
tab_add
_
c
onstraint
:
use isl_basic_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_map_subtra
c
t
.
c:
t
ab_
a
dd_constraints:
u
s
e
isl_bas
i
c_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_p
o
lynomial
.
c
: make_divs_pos: use isl_qpol
y
no
m
ial_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdoolae
g
e
is
l
_polynomial
.
c: spl
i
t_
p
eriods: use isl
_
q
p
olynomial_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doolaege
i
sl_polynom
i
al
.
c: set_div:
use isl_qpolynomial_domain_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
multi
_
*_dim: us
e
isl_multi_*_p
e
ek_sp
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_p
w
_*_
d
im: use
i
sl
_
pw_*_pe
e
k_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_
q
polyno
m
ial_
i
n
volves_dims:
use isl
_
qpolynomi
a
l_pe
e
k_dom
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolae
g
e
isl_polyno
m
ial
.
c: se
t
_active
:
use i
s
l_qpol
y
n
om
i
al_pe
e
k_domai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
q
polynomial_domain
_
dim: use isl_q
p
ol
y
nomi
a
l_peek_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
aege
isl_point_dim: use isl_point_peek_
s
pace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdo
o
laege
isl
_
ba
s
i
c_s
e
t
_
variab
l
e_compression:
us
e
isl_basic_set_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
o
laege
i
s
l
_
basic_map_domain_product: use isl_basic_map_get_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl
_
basic_ma
p
_overlying_set: use isl_basic
_
set_d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdoolaege
is
l
_bas
i
c_
m
ap_a
p
pl
y
_range: use isl_b
a
sic_map_get_s
p
ace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c:
m
o
v
e_la
s
t:
u
se isl_basic_map_
o
f
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
isl_map
.
c: move_last:
use
isl_b
a
sic_map_
p
eek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_basic_map_m
o
ve_dims:
use isl
_
basic_map_
p
eek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aeg
e
isl_m
a
p
.
c: map_inters
e
ct_i
n
ternal
:
use isl_map_d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdool
a
e
g
e
isl_basic_ma
p
_intersect:
u
se is
l
_basic_m
a
p_pe
e
k_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_basic_m
a
p_intersect_range: use i
s
l_bas
i
c
_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
isl
_
b
asic_
m
ap_intersect_domain: use isl_ba
s
ic_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
l
a
ege
isl_map_so
l
ve
_
l
p
:
use isl_map
_
d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
o
laege
isl_polynomial
.
c
:
fix_inactive: u
s
e is
l
_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaeg
e
isl_qpolynomial_lif
t
: use isl_qpolynomi
a
l_domain
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doolaege
isl_qpolyno
m
ial_from_term: use isl_te
r
m_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoo
l
aege
isl_term_get_
e
xp: extract out i
s
l_
t
erm
_
offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
do
o
laeg
e
isl
_
t
e
r
m_dup: use
isl_term_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_qpolynomia
l
_substit
u
te_
e
quali
t
ies
_
lif
t
ed: use isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Ver
d
o
o
laege
isl_qpo
l
ynomial_drop_dim
s
:
us
e
isl_qp
o
lynomial_do
m
ain_
v
ar_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_polynomial
.
c
: us
e
isl_qpol
y
nomial_domain_
v
ar_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
laege
i
sl_qpolyn
o
m
i
a
l_involves_dims: use isl_qpolynomial
_
dom
a
in_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
s
l_pol
y
nomial
.
c
:
subst
i
tute_non_di
v
s
:
use isl_qpolynomial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
ol
a
ege
isl_polynomial
.
c
: substitute_div: use
isl_qpolynomial_do
m
ai
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_
p
olynom
i
al
.
c: substitute_div:
u
se isl_qpo
l
yn
o
mial_get_ctx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_qpolynomi
a
l_var_on_domain: use isl_space_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_qpoly
n
omial_extract_affine:
use isl_qpolynomial_domain_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdool
a
ege
i
sl_polyno
m
i
al
.
c: sort_divs: use isl_qpolynomial_domain_var_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
isl_qpolynomial_domain
_
offset: ex
t
ra
c
t
o
u
t isl_qpolyn
o
mi
a
l
_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laege
isl_qpolynomial_
d
o
main_offset:
use isl
_
q
polynomial_p
e
ek
_
do
m
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
s
l_qpolyno
m
ial_
g
et_
d
om
a
in_space: ex
t
ract out isl_qpolynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_constrai
n
t
.
c: isl_basic_set_fore
a
ch_bound_pair
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_tab_pip
.
c
: find_context
_
div
:
u
se isl_ba
s
i
c
_{map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
add isl_basic_set_
v
ar_off
s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map_simplify
.
c
:
div_find_co
a
lesce: use i
s
l_basic_map_v
a
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ve
r
doolaege
isl_outpu
t
.
c: drop_aff: use isl_basic_map_var_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_basi
c
_m
a
p_drop_r
e
d
undant_divs
_
ineq: use
i
s
l
_
b
a
s
ic_ma
p
_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaege
isl
_
map_simplif
y
.
c:
.
.
.
_drop_
m
ore_red
u
ndant_divs: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simpli
f
y
.
c: coalesce_divs: use isl_basic_map_
v
a
r
_offse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdo
o
laege
isl_map_simplify
.
c: div_i
s
_redund
a
nt:
use isl_basi
c
_
m
ap
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_basic_m
a
p_is_
d
iv_constra
i
nt: use
i
s
l
_basic_ma
p
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_map_
s
impl
i
fy
.
c: eliminate_unit_divs: us
e
isl_basic
_
map_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl_m
a
p
_
simplify
.
c: check_for_d
i
v_c
o
nstraints: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_simpl
i
f
y
.
c: b
e
tter_div_constraint: use isl_b
a
sic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oo
l
aege
isl_map_simpl
i
fy
.
c:
ok_to
_
s
e
t_div_from_bou
n
d: use isl_basic
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l_map_simplify
.
c: set_di
v
_fro
m
_lower_bound: use isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
ool
a
eg
e
i
s
l_map_si
m
plify
.
c: normal
i
z
e
_
divs: us
e
is
l
_
b
asic_
m
ap
_
var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aege
isl_ma
p
_
simp
l
if
y
.
c: n_p
u
re_d
i
v_eq:
u
s
e
i
s
l_basi
c
_map_var_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_s
i
mplify
.
c
:
remove_dup
l
icate_divs: use
isl_b
a
sic_
m
ap
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoola
e
ge
i
s
l_map_simplify
.
c
: e
l
imin
a
te_divs_ineq
:
use isl_basic
_
map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
sl_
m
ap_simplify
.
c: eliminat
e
_divs_eq: isl
_
b
a
s
i
c
_map_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_ma
p
_simplify
.
c: ok_to_elimin
a
te_div
:
use isl_b
a
sic_
m
a
p
_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_map_si
m
p
l
ify
.
c
:
elim
i
nat
e
_div:
use isl_basic_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_
m
ap
_
simplify
.
c: eliminate_va
r
_
u
si
n
g_
e
quality:
u
se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdool
a
e
g
e
i
s
l
_basic_map_align_divs: use isl_basic
_
map_var_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoola
e
ge
isl_map
.
c: fin
d
_div: use isl_basic
_
m
a
p_
v
ar_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl
_
ba
s
ic_map_orde
r
_divs: u
s
e
isl_ba
s
ic_map_var_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_ma
p
.
c
:
b
asic_set_ap
p
e
n
d
_
equalities: use isl
_
basic_
s
et_o
f
fse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
sl_map
.
c: inse
r
t_div
_
rows: use isl_basic_map_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
isl
_
map
.
c: inse
r
t_bounds_on_div: use
is
l
_bas
i
c_map_var_
o
ffs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
ol
a
ege
isl_b
a
sic_ma
p
_remove
_
d
i
vs: use isl_basic_m
a
p_var_o
f
fs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_b
a
si
c
_
m
ap
_
swap_div: use isl_bas
i
c_map_var_
o
ffs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
er
d
oo
l
aeg
e
isl_map
.
c
:
b
a
sic_map_init
:
use isl_basic_ma
p
_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
d
oolaege
isl_
b
asic
_
map_
g
et_divs: us
e
isl_
b
asic_map_v
a
r_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
e
ge
isl
_
d
im_map
.
c
:
isl_dim_map_div: use isl
_
basi
c
_map_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laege
isl
_
convex_hull
.
c: common_constra
i
nts: use
i
s
l_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
e
rdoolae
g
e
isl_basic_map_make_strides_exp
l
icit
:
u
s
e isl_b
a
sic_m
a
p
_
var_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdool
a
ege
isl_aff_sub
s
titute_equalities_lifted: use isl_ba
s
ic_set_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaeg
e
isl_
b
asic_set_posi
t
ive_orthant: use isl_spa
c
e_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoolaege
isl_basic_{set,map}_print_i
n
ternal: use
isl_pr
i
nter_print_ba
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaeg
e
isl_transi
t
ive_closure
.
c: empty_path
_
is_id
e
ntit
y
: u
s
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
ge
i
sl_map_simplify
.
c: div
_
find
_
coales
c
e
: re
u
se i
s
_
o
pposite
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
s
l
_m
a
p_sim
p
lify
.
c: mov
e
u
p
is_op
p
o
s
i
te
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_space
.
c: globa
l
_pos: return neg
a
tive valu
e
on
error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_tab_pip
.
c
:
find_contex
t
_d
i
v: reserve negative return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_map_simpli
f
y
.
c
: div_fi
n
d_coalesce: r
e
serv
e
negative
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oolaege
isl_map
.
c: find_d
i
v: reserve n
e
gati
v
e
r
eturn va
l
ue
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_tab_
p
ip
.
c: find_div: reserv
e
ne
g
ative return valu
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
i
s
l_schedule_tree
.
c: r
e
turn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_access_
i
nfo
.
cos
c
heduled: re
t
u
rn isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c: pos2type: return isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoola
e
ge
isl_af
f
i
n
e
_
h
u
ll
.
c: t
r
ansform_
c
olumn: re
t
u
r
n
isl_b
o
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
is
l
_affi
n
e
_hull
.
c:
c
onstruct_co
l
umn: return isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaeg
e
is
l
_
tab_
p
i
p
.
c: i
n
it_local_reg
i
on: return
isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
s
l_
s
eq_preima
g
e:
r
e
turn
is
l
_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
i
sl_
b
e
rnstein
.
c: is
_
tight: return i
s
l_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next