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
Sve
n
Verdoolaege
isl_m
a
p
_dim: u
s
e
i
sl_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_set_params: im
p
lement in
t
erms of isl_
m
ap_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_set_dim: implement in terms
o
f isl
_
m
a
p_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oolaege
isl_m
o
r
ph
.
c:
copy_eq
u
a
l
i
t
i
es: use i
s
l_ba
s
i
c_set_get_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdool
a
e
g
e
i
sl_map_sub
t
ract
.
c
: tab_add
_
c
o
nstrai
n
t:
use isl_basic
_
map
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_subtract
.
c: tab_add_constraints: use isl_ba
s
ic_map_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
isl_pol
y
nomial
.
c
:
m
ak
e
_divs_pos: use isl_
q
po
l
ynomi
a
l
_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
oola
e
ge
isl_polynomial
.
c:
s
plit_perio
d
s:
u
s
e
isl_qp
o
lynomial_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_p
o
lynomial
.
c: set_div: use is
l
_qp
o
l
y
nomia
l
_doma
i
n_
v
a
r_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_multi_*_d
i
m: use isl_multi_*_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoo
l
aege
i
s
l_pw_*_dim
:
use isl_pw_*_peek_spa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdoolaege
isl_qpolynomial_involves_di
m
s: u
s
e isl_q
p
olynomial_
p
eek_doma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
aege
isl_polyn
o
mial
.
c
:
s
e
t_active: use isl_qp
o
lynomial_
p
eek
_
domai
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoolaege
isl_qpolynomial_do
m
ain_dim:
u
s
e i
s
l_
q
polyno
m
ial_pee
k
_doma
i
n_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
isl_
p
oint_dim: use
i
sl_point_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaeg
e
isl
_
basic_se
t
_variable
_
compression: use isl_basic_set_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ba
s
i
c
_
m
ap_domain_pro
d
uct: use
i
s
l
_basic_map_get_s
p
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolae
g
e
isl_basic_map_overlyi
n
g_
s
e
t: u
s
e isl_ba
s
ic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
olaeg
e
i
s
l_basic_map
_
apply_range: use isl_ba
s
ic_map_get_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdool
a
e
g
e
isl_ma
p
.
c: move_la
s
t: use isl_basic_
m
ap
_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_map
.
c
: mo
v
e_las
t
: use isl
_
basic_map_p
e
ek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_basic_map
_
mo
v
e_dims: use
i
s
l
_
basic_map_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
laege
isl_
m
ap
.
c: map
_
intersect_in
t
ern
a
l:
use i
s
l_ma
p
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoola
e
ge
i
s
l
_basic_map_intersect: use isl
_
b
a
s
ic_map_peek_
s
pace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
b
a
s
i
c_map_
i
ntersect
_
range: us
e
i
s
l_basic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_basic_ma
p
_i
n
tersect_domain: use isl_basic_se
t
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_map_solve_lp: use isl_ma
p
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ola
e
ge
isl_polynomia
l
.
c: fix_inactive: u
s
e
i
sl_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_qpo
l
ynomi
a
l_lift: use isl
_
qpo
l
ynomial_dom
a
i
n_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_qpolyn
o
mial_fro
m
_t
e
rm: use isl_ter
m
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl_term_get_ex
p
: e
x
tract out
isl_term
_
offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
i
s
l
_
term
_
d
u
p
: use i
s
l_term
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_q
p
ol
y
nomial_substitute
_
equaliti
e
s_lifte
d
: use isl
_
ba
s
i
c_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
olaege
isl_qpolynomial_drop_dim
s
: use isl_qpolynomial_d
o
main_var
_
o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_polynomial
.
c: use is
l
_qpolynomial_d
o
m
a
in_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdoolaege
isl
_
qpo
l
yno
m
i
al_involves_dims: use isl_qpol
y
no
m
ial_domain_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_
p
olynomial
.
c: substitute_non_di
v
s
: use
isl_qpo
l
ynomial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
po
l
ynomial
.
c:
s
ubstitute_div: use isl_qpolyno
m
i
al_dom
a
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laege
isl_p
o
l
y
n
omial
.
c
:
substitute_div:
use
isl_qpolyno
m
ial_get_ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdoolaege
isl
_
qpolynomi
a
l_var_on
_
domain: use is
l
_space_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oola
e
ge
isl_qpol
y
nomial_extract_affine: use isl_qpolyn
o
mial_dom
a
i
n
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_polynomial
.
c
: s
o
rt_divs
:
use isl_q
p
ol
y
no
m
i
a
l
_
domain_var_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdoolaege
i
s
l_qp
o
lynomia
l
_
doma
i
n
_
offset:
e
xtract out i
s
l_qpo
l
y
n
omial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpoly
n
omia
l
_domain_offs
e
t: use isl_qpol
y
nomial_peek_d
o
ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
ge
isl_qpolynom
i
al_get_d
o
main_space: extr
a
ct
o
ut isl_qpolyno
m
ia
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
ge
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
l
a
ege
isl_t
a
b_
p
ip
.
c: find_context_div: u
s
e isl_basic_{ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
a
dd
i
s
l
_basic_set_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_map_simpl
i
fy
.
c: div_find_coa
l
e
sce: use isl_ba
s
ic_map_var
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
i
sl_output
.
c:
d
rop_aff:
u
se i
s
l_b
a
sic_
m
a
p
_
v
ar_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl
_
basic_map_drop_redu
n
dant_divs_ineq: use i
s
l_basic_m
a
p_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
doolaege
i
sl_map_simplify
.
c:
.
.
.
_drop_m
o
re_
r
e
dundant_divs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l
_
map_simplify
.
c: co
a
lesce_divs: use isl
_
basic_map_
v
ar_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_ma
p
_
s
i
m
plify
.
c: div_is_redun
d
ant: use isl_basic_map_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_basic_map_is_div_constraint: use isl_b
a
sic_map
_
o
f
fs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_map_
s
implif
y
.
c
:
eliminate_unit_
d
ivs: use i
s
l_
b
a
sic
_
m
a
p_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_map_simplify
.
c: check_fo
r
_
d
i
v
_c
o
nst
r
aints:
u
se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_simp
l
i
f
y
.
c
:
bet
t
er_div_constr
a
int: u
s
e isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_
m
ap_simplify
.
c: ok_to_set_div_
f
rom
_
bound: use isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_map_sim
p
lify
.
c
: set
_
div_from_l
o
wer_bound: use isl
_
b
asic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verd
o
olaege
isl_ma
p
_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
Sv
e
n
V
erdoolaege
is
l
_map
_
simplif
y
.
c: n_pure_div_eq: use isl_basic_map_var
_
of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_s
i
mp
l
ify
.
c:
remove_duplic
a
t
e
_d
i
vs: use isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_map
_
simp
l
if
y
.
c: eliminate_divs_in
e
q
:
u
se i
s
l_b
a
sic_map
_
v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map_simp
l
ify
.
c: elimi
n
ate_divs_eq
:
isl_
b
asic_
m
ap
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
dool
a
ege
isl_map_simplify
.
c: ok_to_e
l
iminate_div:
use isl_
b
a
s
ic_
m
a
p
_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_map_simplify
.
c:
eliminate_di
v
: use
i
sl
_
basic_map_var
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
i
s
l_m
a
p_simpli
f
y
.
c: e
l
imina
t
e_
v
ar
_
u
s
ing_
e
quality: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_basic_map_align_d
i
vs: use isl_basic_map_var
_
off
s
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oolaege
isl_map
.
c: find_di
v
: use
i
sl_basic_map_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_b
a
s
ic_map_ord
e
r_di
v
s: u
s
e isl_b
a
s
ic_ma
p
_v
a
r_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: bas
i
c_set_append_e
q
ua
l
itie
s
:
use isl_
b
asic_set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
ae
g
e
isl_map
.
c: inser
t
_div_rows: use isl_ba
s
ic_m
a
p
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map
.
c
: in
s
ert_bounds_on_div:
use isl_bas
i
c
_ma
p
_
v
ar_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_bas
i
c_map_r
e
m
ov
e
_di
v
s
: use isl_basic_map_va
r
_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_basi
c
_m
a
p_
s
wap_div:
use isl_basi
c
_map_v
a
r_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_map
.
c: basic_map_init: use isl_
b
asic_ma
p
_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
is
l
_b
a
s
i
c_map_get
_
divs:
use isl_basic_map_var_of
f
s
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_dim_map
.
c: i
s
l_
d
i
m
_ma
p
_div: use is
l
_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doolaege
i
s
l_co
n
vex_
h
ull
.
c: co
m
m
on
_
constraints: use isl_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoola
e
ge
isl_basic_map_mak
e
_s
t
rides
_
e
xplicit: use
i
s
l
_bas
i
c
_
m
ap_var_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_aff_subs
t
itute_e
q
u
a
lit
i
es_lifte
d
:
use isl_basic_set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_set_
p
o
sitive_orthant: use isl_s
p
ace_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
a
sic_{s
e
t,m
a
p}_print_internal:
use isl_printer
_
print_ba
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olae
g
e
isl_tra
n
sitive_
c
l
osure
.
c
:
empty_path_i
s
_
i
denti
t
y: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
i
s
l_map_simplify
.
c: div_
f
in
d
_coalesce: re
u
se is_opp
o
s
i
te
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
s
l
_map_simplify
.
c:
m
ove
u
p is
_
opposite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doolae
g
e
isl_space
.
c
: global_pos
:
return
negative
value on
er
r
or
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tab_pi
p
.
c: find_c
o
ntext_d
i
v:
reserv
e
negati
v
e
return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_m
a
p
_
s
imp
l
ify
.
c: div_find_coalesce: re
s
erve negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: find_d
i
v: rese
r
ve
n
egati
v
e re
t
urn value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
sl_tab_pip
.
c
:
find_div:
r
eserv
e
nega
t
ive
return value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
ge
isl_
s
chedul
e
_tree
.
c:
return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
laeg
e
i
s
l_ac
c
ess_info
.
coscheduled: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
d
o
olaege
isl_output
.
c:
p
os2type: return isl
_
stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_affine_hull
.
c
: transform_co
l
u
mn: return
i
sl_
b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olaege
isl_
a
f
f
i
ne
_
h
u
ll
.
c: cons
t
ruct_column: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_t
a
b_pi
p
.
c: init_local_region: retu
r
n isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_seq_preimage:
return isl_sta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl
_
bern
s
te
i
n
.
c: is_tight: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next