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_term_get_exp: return isl_size
2018-09-06
Sv
e
n Verdoolae
g
e
isl_term_get_exp: retu
r
n isl_size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdool
a
ege
isl_uni
o
n_*_n_*: r
e
t
u
rn isl_size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
V
e
rdoolaege
isl_pw_*_n_piece:
r
e
t
urn isl_size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en V
e
rd
o
olaege
isl_union_{map,set}_
n
_{map,s
e
t
}
: return isl_si
z
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
isl
_
{map,s
e
t}_n_basic_{map,s
e
t}: return isl_size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en V
e
rdoolaege
isl_basic_{map,set}_n_constraint: return isl_si
z
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
Verdoola
e
ge
isl_mat_rank: return isl_size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdool
a
ege
i
s
l
_m
a
t_{cols,rows
}
:
r
eturn isl_s
i
ze
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
S
ven Verdoolaege
isl_vec_
s
ize:
r
e
t
urn isl_size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Verdoolae
g
e
isl_va
l
_n
_
abs_num_chunks: return isl_size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ve
r
d
oo
l
ae
g
e
isl_*_dim: r
e
turn isl_s
i
ze
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Verd
o
olaege
introd
u
ce isl_size return type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
S
ven Verdoolaege
g
enerator: extract
o
ut sha
r
ed i
s
_is
l
_primitiv
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sv
e
n Verdoola
e
ge
python bindings: also raise an ex
c
eption
o
n ne
g
ativ
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
g
e
nerator: extract
o
u
t is_isl
_
neg_error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
python b
i
ndi
n
gs: do not se
t
ret
u
rn of functions retur
n
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
s
chedul
e
r
.
c: node_update_vmap: extra
c
t
o
ut extrac
t
_l
i
n
e
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
do
o
laege
i
s
l_
r
ange
.
c: collect_fixed_sign_terms: reduce range
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
oolaege
isl_p
o
lynomial
.
c: make_d
i
vs_pos:
use is
l
_qpolynomial_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_polyno
m
ial
.
c: split_perio
d
s:
use isl_qpol
y
nomial_
d
omain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
a
e
ge
isl_polynomial
.
c
: set_d
i
v: use isl_qp
o
l
y
n
omial_dom
a
in_v
a
r_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
i
sl
_
m
ulti_*_dim: use
i
sl_multi_*_peek_s
p
ace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Ver
d
oolaege
i
s
l
_pw_*_dim: use isl_p
w
_
*_
p
e
e
k
_
space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l_qp
o
l
ynomial_involves_dims:
use isl_
q
p
o
lynomia
l
_pe
e
k_
d
oma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
e
rdo
o
laege
isl_polynomial
.
c
: set_ac
t
ive: use isl
_
qpolynomial_peek_domai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aege
isl_q
p
oly
n
omial_domain_di
m
:
u
s
e isl_qpolyno
m
ial_peek_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdool
a
ege
isl_point_dim
:
use isl_point
_
peek_
s
p
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map
.
c: map_interse
c
t_internal:
u
se isl_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_qpo
l
ynom
i
al_lift: use
i
sl
_
q
p
olyno
m
i
al_domain_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_qpol
y
n
omial_f
r
om_
t
e
r
m
:
u
se isl_t
e
rm_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verd
o
o
l
aege
isl_term_get_exp: extract out isl
_
term_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoo
l
aege
isl_term_
d
up: u
s
e
isl
_
term_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
isl_qpolynomial
_
s
u
bs
t
itut
e
_
equalities_lifted: use isl_b
a
sic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
i
sl_qp
o
lynomial_drop_dims: u
s
e isl_qpolynom
i
al_doma
i
n
_
var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_polynom
i
al
.
c: use isl_qp
o
lyn
o
mi
a
l_domain_var_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_
q
polynomial_involv
e
s_dim
s
: use isl_qpoly
n
omial_dom
a
in_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_poly
n
o
mial
.
c: substi
t
ute_non_di
v
s: use
isl_qpolyno
m
i
al_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Ve
r
doolaege
isl_polynomial
.
c: substitute_div: use
isl
_
qp
o
lynomial_doma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_pol
y
nomial
.
c:
s
ubstitute_di
v
:
use is
l
_q
p
olynomial
_
get_c
t
x
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
erdool
a
ege
i
sl_
q
polynom
i
al_var_on_domai
n
:
use isl_
s
pac
e
_
o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaeg
e
isl_qpoly
n
omial_ex
t
ract
_
affine: use
i
sl_qpolynom
i
al_d
o
m
ain
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoola
e
ge
i
sl_polynomial
.
c: sort
_
d
ivs: use i
s
l_qpolynomial_
d
o
m
a
i
n_
v
ar_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
is
l
_qpo
l
ynomial_domain_offs
e
t: extract out isl_q
p
olyno
m
ia
l
_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_qpolynomial_domain_offset:
use
i
s
l_qpolynomial_peek_doma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
laege
i
sl_qpolynomial_ge
t
_domai
n
_space: ext
r
act o
u
t isl_qpolynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_constraint
.
c: is
l
_basi
c
_se
t
_fore
a
ch_bound_p
a
i
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
is
l
_ta
b
_
pip
.
c: find_con
t
ex
t
_div: use isl_
b
asic_{map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolaeg
e
add isl
_
basic_set
_
v
a
r
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simp
l
ify
.
c: di
v
_find
_
c
o
alesce: use
i
s
l_basi
c
_map_v
a
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map_simplify
.
c:
n
o
r
malize_d
i
v
s: use isl_basic_map_var_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
_
simpl
i
fy
.
c: n_pure_div_
e
q: use
isl_basic_map
_
v
a
r
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaeg
e
isl_map_simplify
.
c: remove
_
duplicate_
d
i
v
s: use isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_map_simplify
.
c: eliminat
e
_divs_in
e
q:
u
s
e
i
s
l_basic_m
a
p_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
la
e
ge
isl_map_simplify
.
c
: eli
m
inate_di
v
s_
e
q:
isl
_
basic
_
m
a
p
_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
i
sl_m
a
p_
s
implify
.
c
: ok_to_eliminate_div: use isl_basic_map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
l
a
ege
isl_ma
p
_simpli
f
y
.
c: eliminate_div: use isl
_
b
a
sic_map_va
r
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map_
s
i
mplify
.
c:
e
limin
a
te
_
var_u
s
ing_equality:
use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l_basic
_
m
a
p_align_divs: use isl_basic_map_v
a
r_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
aege
is
l
_map
.
c:
i
nsert_bounds_on_div:
u
se isl_basic_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaeg
e
isl_m
a
p
.
c:
b
a
sic_m
a
p_init
:
use isl_basic_
m
a
p
_
peek_sp
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_basic_m
a
p_get_divs: use isl_basi
c
_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_di
m
_
m
ap
.
c: i
s
l_dim_map_div:
u
se
i
sl_
b
asic_ma
p
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
olaege
i
s
l_convex_hull
.
c:
c
ommon
_
const
r
aint
s
: u
s
e isl_s
e
t_
d
im
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_space
.
c: global_pos: ret
u
rn
n
egative value
o
n
e
r
r
or
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoola
e
ge
isl_tab
_
pip
.
c: find_div: reser
v
e negative return value
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n V
e
r
doolaege
isl_sched
u
le_
t
ree
.
c: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
is
l
_acces
s
_info
.
c
o
schedu
l
ed: return i
s
l_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoo
l
aege
isl_output
.
c: p
o
s2type:
r
eturn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
is
l
_
affin
e
_hull
.
c: transfor
m
_column: return isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_a
f
fine_hull
.
c:
cons
t
ru
c
t
_
co
l
umn: ret
u
r
n i
s
l_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verd
o
olaege
isl_tab_pip
.
c:
init_local_re
g
ion: r
e
tu
r
n isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
i
sl_s
e
q_preima
g
e: return isl_sta
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
eg
e
i
s
l_bernstein
.
c: is_tight
:
re
t
urn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_bernstein
.
c
:
a
dd_fold: retu
r
n
i
sl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
is
l
_map_si
m
plif
y
.
c: has_multiple_var_e
q
u
ality: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
m
a
p_simplify
.
c:
is_opposite_ex
c
ept
:
return isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
oolaege
isl_map_sim
p
lify
.
c: is_
p
ara
l
le
l
_except: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_ast_bui
l
d_expr
.
c: all_negative_coefficients: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_basic_
m
ap_add_div_co
n
straints
:
use isl_basic_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_inequa
l
ity_negate: re
t
ur
n
modified
r
esult
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
is
l
_schedule_band
.
c:
h
as_any: use isl_unio
n
_set
_
e
v
ery_s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
a
dd isl_union_set_
e
very_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
e
r
doolaege
is
l
_schedule
_
node
.
c
:
collect_filter_p
r
efix*: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
e
r
doolaege
is
l
_convex_hull
.
c
: hash_basi
c
_set: return
isl_s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tran
s
itive_clos
u
re
.
c
: add_le
n
gth: r
e
turn
is
l
_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolae
g
e
isl_o
u
t
put
.
c: next_is_opposite:
r
eturn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_coale
s
ce
.
c: add_s
u
bs: return isl_
s
t
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
ol
a
ege
isl_convex_hull
.
c: use
t
_is_
b
ound:
r
e
t
u
r
n isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl_transitive_closure
.
c: ch
e
ck_exactness_omega
:
return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_
t
ransitive_clos
u
re
.
c:
is_acycli
c
: return i
s
l
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
l
aege
isl
_
sche
d
ule_band
.
c
:
h
as_*
:
return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdool
a
ege
i
s
l_ast_build_ne
e
d
_
schedule_map: r
e
turn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_morp
h
.
c
: identity_on_pa
r
a
m
e
ter
s
: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
s
l_
m
at_is_scaled_ide
n
ti
t
y:
r
etu
r
n
i
s
l
_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_range
.
c: prop
a
gate_
o
n_d
o
main: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_pw_q
p
o
lynomial_fo
l
d_co
v
ers: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_vertices
.
c: can_select:
r
eturn isl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_vertices
.
c: is_inde
p
en
d
e
n
t
: return isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_as
t
_codegen
.
c:
a
fter_in_*
:
r
eturn is
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doolaege
isl_input
.
c
:
tuple_has_
e
x
p
r: ret
u
rn is
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next
