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,set}_n_basic_{map,set}: return isl_size
2018-09-06
Sven Verdoolaege
isl_{ma
p
,set}_n_basic_{map,
s
et}: return isl_size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
V
erdoolaege
i
sl_
b
asic_{map,se
t
}_n_co
n
s
t
raint: return isl_siz
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoo
l
aege
isl_mat_rank: return isl
_
size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
V
e
rdoo
l
aege
isl_mat_{col
s
,ro
w
s
}: retur
n
isl_
s
ize
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ver
d
o
olaege
i
sl_vec_size: 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_
v
a
l
_n_abs_num_chunks: return isl_size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verd
o
olaege
i
s
l_*_dim:
return isl_
s
i
z
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ve
r
doolaege
introduce isl_size r
e
t
u
rn
t
ype
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
g
enerator: ext
r
ac
t
ou
t
shared is
_
isl_p
r
imi
t
ive
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
Verdoolae
g
e
python b
i
n
di
n
gs: also
r
a
i
se an exc
e
p
t
io
n
on
n
egative
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
gener
a
t
or: extract out
i
s_is
l
_neg_
e
rror
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
pyth
o
n bi
n
di
n
gs:
d
o not set ret
u
rn of
f
unctions retur
n
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolae
g
e
i
s
l_scheduler
.
c: node_u
p
d
ate_vma
p
: extract out
e
xtract_linea
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_range
.
c:
c
ollect_fi
x
ed_sign_t
e
rms: r
e
duce r
a
nge
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoolae
g
e
isl_polyn
o
mial
.
c: make_divs
_
p
o
s: us
e
isl_qpolynomial_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
aege
isl_pol
y
nomial
.
c: split_periods
:
u
s
e is
l
_qp
o
l
y
nomia
l
_domai
n
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_
p
ol
y
n
o
mial
.
c: s
e
t
_div: use isl_qpo
l
ynomial_
d
oma
i
n_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olaege
isl_m
u
lti_*_dim: use isl_
m
u
l
t
i
_*_peek
_
space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
o
o
laege
isl_pw_*_di
m
:
use isl_pw_*_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaeg
e
isl_
q
polynomial_i
n
volves
_
dim
s
: use isl_qpolynom
i
al
_
peek_doma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
isl_polyno
m
ial
.
c: set_acti
v
e: use
i
sl_qpolynomial_peek_domai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_qpolynomial_
d
omain_
d
im: us
e
isl_qpo
l
ynomial
_
p
eek_doma
i
n_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ve
r
doolaege
isl_point_dim: use
i
s
l
_point_peek_spac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_map
.
c: map_inters
e
ct_
i
n
t
e
rnal: use isl_map_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoo
l
aege
isl_qp
o
lynom
i
al_lift:
u
se is
l
_qpoly
n
omial_domain_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
er
d
o
ol
a
ege
isl_qpolynom
i
al_
f
rom_term:
use isl_term_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_te
r
m_get_exp: extract
ou
t
i
s
l
_
te
r
m_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_te
r
m
_
d
u
p:
use isl_term_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ol
a
eg
e
isl_
q
polynomial_sub
s
tit
u
te_equalities_lifted: use isl_basi
c
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaeg
e
i
s
l_qpolynomial_
d
ro
p
_d
i
ms: use
i
sl_q
p
ol
y
nom
i
al_domain_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
p
olynomial
.
c
: use isl_qpol
y
nomi
a
l_domain_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
a
e
ge
i
sl
_
qp
o
lynomial_i
n
vol
v
es_dims:
u
s
e isl_qpo
l
ynomial_domain_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_
p
olynomial
.
c:
s
ub
s
t
itute_n
o
n
_
divs: use
i
sl_qpolynomi
a
l_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl
_
polynomial
.
c: sub
s
titute_div: use isl_qpolynomia
l
_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
aege
isl_polynomial
.
c: s
u
bstitute_div: use isl_qpolynomial_get_ctx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdo
o
l
a
e
g
e
isl_qpolynom
i
al_
v
a
r
_on_d
o
main:
u
se isl_
s
pac
e
_o
f
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_qpolynomia
l
_extra
c
t
_
aff
i
ne: use isl_
q
polynomial_domain_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_polynomial
.
c: so
r
t_divs: use isl_qpolynomial_
d
omain_var_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoola
e
ge
i
sl_qpoly
n
o
m
ial_doma
i
n_offset: extr
a
c
t
out isl_qpolynomial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_q
p
o
l
ynomial_domain_of
f
set: u
s
e isl_qpo
l
yno
m
ial_peek
_
dom
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpo
l
ynomial_get_domain_spac
e
: extract
out isl_qpoly
n
omi
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolaege
is
l
_co
n
st
r
aint
.
c
: isl_basic_
s
et
_
foreach_bou
n
d_pair
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_tab_pip
.
c: fi
n
d_contex
t
_div: use i
s
l_
b
a
sic_{map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
add
i
sl_basic
_
s
e
t_var_offse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_map_s
i
mplify
.
c: d
i
v
_
find_coalesce:
use isl_b
a
sic_map_var
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
is
l
_map_simplify
.
c: nor
m
alize_divs: us
e
isl_basic_map_
v
ar_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l
_map_s
i
m
plify
.
c
: n_pure_div_eq: use isl_basi
c
_map
_
va
r
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
isl_map_simpli
f
y
.
c: remove
_
dup
l
icate_divs: use isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
ege
is
l
_map_s
i
mp
l
i
fy
.
c
:
e
l
iminate_di
v
s_ineq:
u
se
isl_basi
c
_map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
o
olae
g
e
i
s
l_map_simplify
.
c
:
elimi
n
a
t
e
_divs
_
eq
:
isl_basic_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_simplify
.
c:
o
k_to_elimin
a
te_d
i
v: use
i
sl_ba
s
ic_map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
is
l
_map_simplify
.
c: eliminate_div
:
use
isl_basic_
m
ap_va
r
_offse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_m
a
p_
s
impl
i
fy
.
c: eli
m
inate_v
a
r_u
s
ing_eq
u
a
l
i
ty: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
sl_basic_map_align
_
di
v
s: use
i
s
l_basic_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaeg
e
isl_map
.
c:
in
s
ert_bounds_
o
n_di
v
: use isl_basic
_
m
a
p
_va
r
_offse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_map
.
c: ba
s
ic_map
_
ini
t
: use isl_
b
as
i
c_map_peek_sp
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoola
e
ge
is
l
_
b
asic_map_get_divs:
u
s
e isl_basic_ma
p
_var_o
f
f
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdool
a
ege
isl_dim_map
.
c: isl_di
m
_map_div: use i
s
l_basi
c
_map_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
isl_convex_hull
.
c: common_constr
a
ints: use isl_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
e
r
d
oolaege
i
sl_
s
p
ace
.
c: gl
o
bal_pos
:
return
n
egative
value
o
n error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doola
e
g
e
isl_tab_
p
i
p
.
c
: find_div
:
reserve negative
r
eturn value
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
ae
g
e
isl
_
schedule_tree
.
c: re
t
urn i
s
l_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_access_info
.
coscheduled: return isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
sl_
o
utput
.
c: pos2type: return
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
isl_
a
ffine_hull
.
c: transf
o
rm_
c
ol
u
mn: return is
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verd
o
o
l
aege
isl_affine_hull
.
c
:
co
n
s
truct_column: r
e
tur
n
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_t
a
b_pip
.
c:
i
n
it_
l
ocal_region: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n V
e
rdoolaege
i
s
l_seq_preimage: re
t
urn isl_
s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_bernst
e
in
.
c: is_tight: retu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verd
o
olaeg
e
isl_bernst
e
in
.
c: add_fold:
return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl_
m
ap_simpli
f
y
.
c: has_mult
i
ple_var_equal
i
ty: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
isl_map_simplify
.
c
: is_op
p
o
site_except:
return isl_bool
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_simplify
.
c: is_parallel_exce
p
t: return isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_ast_build_e
x
pr
.
c: all_negative_coef
f
icients: ret
u
rn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
i
sl_basic_
m
ap
_
add_div_co
n
s
t
rai
n
ts: use isl_basic_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
is
l
_ine
q
uality
_
negate:
r
eturn modified res
u
lt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_sched
u
le_band
.
c: has_any: use isl_u
n
ion_set_every_se
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
add i
s
l_union_set_ev
e
ry_s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
aege
isl_s
c
he
d
u
le_node
.
c:
c
o
llect_filter_pr
e
fix*: r
e
turn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olae
g
e
isl_convex_hull
.
c: hash_basic_set: retu
r
n isl_sta
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_transitive_closure
.
c: add_l
e
ng
t
h:
r
eturn isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_output
.
c
:
ne
x
t_is_opposite
:
r
e
turn
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
aege
isl_
c
o
a
lesce
.
c: add_
s
ubs:
return isl_sta
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_convex_hull
.
c:
uset_is_bound: return i
s
l_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_transitive_closu
r
e
.
c
: check_
e
xa
c
tn
e
s
s
_
o
mega:
ret
u
r
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_tra
n
siti
v
e_cl
o
sure
.
c
:
i
s_acy
c
lic: return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdo
o
laege
isl_schedule_band
.
c:
h
as_
*
: return
isl
_
b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
ast_build_need
_
schedule_ma
p
: return is
l
_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl_morph
.
c: iden
t
ity_on_paramet
e
r
s: ret
u
rn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_mat_is
_
scale
d
_
identity: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_ran
g
e
.
c: p
r
op
a
gate
_
on_d
o
main: return is
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdool
a
ege
isl_pw_qpolyn
o
mial_fold
_
covers: r
e
turn
i
sl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolae
g
e
isl_vertices
.
c: can_select: return isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
o
laege
isl
_
verti
c
es
.
c: is_indep
e
n
d
en
t
:
r
eturn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
eg
e
i
sl_as
t
_
c
o
d
egen
.
c: a
f
ter
_
in_*: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_input
.
c: tuple_has_expr: return isl
_
b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdool
a
ege
isl_sc
h
edule_node
.
c: loc
a
lly_
c
overed_by_domain
:
return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_tr
a
ns
i
tive_closu
r
e
.
c:
i
ncremental_on
_
ent
i
re_do
m
ain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_transitive
_
closure
.
c: ha
s
_
s
purious_elements:
r
et
u
r
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
is
l
_t
r
ansitive_closure
.
c: empty_path_is_iden
t
i
t
y: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next