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_*_pw_plain_is_equal: use isl_bool_ok
2018-09-02
S
ven Verdoolaege
i
s
l_m
a
p_simplify
.
c: div_is_redundant:
u
se isl_basic_map
_
o
ff
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolae
g
e
i
s
l
_
basi
c
_map_is_div_constraint: use is
l
_basi
c
_map_o
f
fs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_simplify
.
c:
e
liminate_unit_divs: use is
l
_b
a
si
c
_
m
ap_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map_simpli
f
y
.
c: check_f
o
r_div_constraint
s
: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map
_
simplify
.
c: better_div_cons
t
r
aint: use isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_
s
imp
l
ify
.
c:
ok_to_set_d
i
v_from_bo
u
nd: use i
s
l_bas
i
c_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaeg
e
isl
_
m
a
p
_
s
implify
.
c: s
e
t_div_f
r
om_lower_bound:
u
s
e
i
s
l_b
a
s
i
c_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
m
ap_
s
implify
.
c: normaliz
e
_
divs: use isl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_s
i
mp
l
ify
.
c: n_pure
_
d
iv_eq: u
s
e
isl_bas
i
c_map_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
l
aege
isl_map_simplify
.
c
: remove_duplicate_divs
:
use isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
s
l_map_s
i
mplify
.
c:
e
liminate_
d
ivs_i
n
eq: us
e
i
s
l
_b
a
si
c
_ma
p
_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaeg
e
isl_map_sim
p
lify
.
c
: e
l
iminate_divs_
e
q: isl_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_map_simpl
i
fy
.
c: ok
_
to
_
elimina
t
e_div: us
e
isl_basic_m
a
p_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n V
e
rdoolaege
isl_map_
s
i
m
pl
i
fy
.
c:
e
limin
a
te_div
:
use isl_bas
i
c
_
m
ap_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Ve
r
doolaege
i
s
l_
m
ap_
s
im
p
lify
.
c: eli
m
inate_v
a
r_using_
e
quality: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
o
olaeg
e
isl_basic_
m
ap_align_divs: use isl_basic_
m
ap_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: find
_
div:
use is
l
_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdool
a
ege
isl_basic_map_order_divs: u
s
e isl
_
basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
isl_ma
p
.
c: basic_s
e
t_append
_
equalities: use isl_basic_set_
o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
s
l_m
a
p
.
c: insert_d
i
v_rows: use is
l
_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_
m
ap
.
c
: inser
t
_bounds_on_div: use isl_basic_
m
ap_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_
b
asic_map_remove_divs: use isl_basic_map
_
var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
sl_basic_map
_
s
wap
_
d
iv: use isl
_
basic_
m
ap_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
laege
isl_m
a
p
.
c: basic_map_
i
nit: use is
l
_
basic_
m
ap
_
peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoo
l
aege
isl_basic_map_get_di
v
s: use isl_basic
_
m
ap_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oolaege
i
sl_dim_map
.
c: isl_dim_ma
p
_div: use isl_bas
i
c_map_o
f
f
se
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_
c
onvex_hull
.
c: common_constraints: use isl_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
r
doolaege
isl_basic_m
a
p_make_strides_explicit:
u
se isl_basic_map_
v
ar_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
s
l_aff
_
substitute_equalities_lifted: use isl_
b
asic_set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
sl
_
basi
c
_set_positive_or
t
hant: use isl_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoola
e
ge
isl_basic_{se
t
,map}_print_i
n
te
r
nal: use isl_prin
t
er_print_ba
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_transitive_closure
.
c
:
e
mpty_path_is_
i
d
e
ntity: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
olae
g
e
is
l
_map_simplify
.
c: div_find_coalesce: reuse is_op
p
osite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_simpl
i
fy
.
c:
m
ove up is_oppos
i
te
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
s
l
_spa
c
e
.
c
:
g
l
ob
a
l
_
po
s
: return ne
g
a
t
i
v
e value on
e
rror
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
d
o
o
laege
isl_
t
ab_pip
.
c: find_con
t
ext_
d
iv: rese
r
ve negative retu
r
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rd
o
olaege
isl_map_simplify
.
c
:
div_find_coalesce: reserve nega
t
ive
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map
.
c:
f
ind_
d
iv
:
res
e
rve negative
r
et
u
rn valu
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
is
l
_tab_pip
.
c:
f
ind_div: reserve negat
i
ve retu
r
n
v
alue
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolae
g
e
isl_sc
h
edule_tree
.
c: return
i
sl_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_access_inf
o
.
c
o
s
c
heduled:
ret
u
r
n
isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aeg
e
isl_output
.
c: po
s
2type
:
re
t
urn
isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
affine_hull
.
c
:
tra
n
sfo
r
m
_col
u
m
n
:
r
eturn
i
sl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_af
f
i
n
e_hull
.
c: construct_col
u
m
n: re
t
urn isl_
s
ta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaeg
e
is
l
_tab_pip
.
c: init_lo
c
al_region
:
return is
l
_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
seq_preimage: return
i
sl_
s
tat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
d
oolaege
isl_bernstein
.
c: is_tight: return
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_bernst
e
i
n
.
c:
i
s_t
i
g
h
t: min
o
r
c
od
e
s
i
mplification
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_bernstein
.
c: add
_
fold:
r
eturn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl
_
map_sim
p
l
i
f
y
.
c
:
h
a
s_mul
t
ip
l
e
_
v
a
r
_
equality: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_map_simplify
.
c: is_opposite_exce
p
t: return is
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_map_simpl
i
fy
.
c: is_para
l
l
el_ex
c
ept: retu
r
n isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_map_simplify
.
c
:
lowe
r
_
bound
_
i
s
_c
s
t: ret
u
r
n
-1 on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
laege
isl_ast_bui
l
d_expr
.
c
:
all_negative_coefficients:
r
etu
r
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laeg
e
add_lower_div_constraint: r
e
turn return modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
add_u
p
pe
r
_di
v
_constraint:
return return modified re
s
ult
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_basic_map_
a
dd_div_constraint: ret
u
rn return mod
i
fi
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
basic_map_add_div
_
constrai
n
ts: ret
u
rn
m
odified
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
add_{upper
.
lower}_d
i
v_constraint: only p
a
ss in position
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
r
e
move
n
o
w
unused isl_
b
asic_{set,map}_add
_
div_const
r
aint
s
_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_ba
s
ic_map_a
d
d_div_constraints: use isl_basic
_
map_var_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_local_
s
p
ace
.
c:
n
ormalize_di
v
: r
e
turn
modified
r
e
sult
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
n
ormalize_div_expression: return m
o
dified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl_map
_
si
m
plify
.
c
:
el
i
mi
n
ate_v
a
r_usin
g
_equality: re
t
urn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_
i
n
equalit
y
_neg
a
te: return mo
d
ified res
u
lt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
isl_map
.
c
:
set_ma_divs: ret
u
rn m
o
dified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdo
o
l
aege
isl_b
a
sic_map_swap_div: return modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
r
doo
l
aege
isl
_
output
.
c
:
print_c
o
nstraint_c: drop now redun
d
ant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_output
.
c:
d
ro
p
print_affine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
i
s
l
_
output
.
c: pr
i
nt_
c
onstraint_c:
use pri
n
t_ls_affine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
isl_output
.
c:
print_
b
asic
_
s
e
t_c
:
us
e
print_ls_partial_affin
e
_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_c
a
t: suppo
r
t C o
u
tpu
t
format
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
aege
isl_schedule_band
.
c
:
has_any: use i
s
l_union_set_every_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
add is
l
_union
_
set_eve
r
y_
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaeg
e
isl_transitive_closure
.
c: add_length: reuse i
n
crement
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
aege
isl_tr
a
nsitive_closure
.
c: move
u
p
increme
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_tran
s
itive
_
clos
u
re
.
c: inc
r
ement: return isl_map
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_transitive_closure
.
c: increment: clean up
s
pace
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
tra
n
sitive_clo
s
ure
.
c:
m
ap_power: use s
t
r
i
cter
t
e
s
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl_map_deltas_map
:
extr
a
c
t
out
isl_map_check_e
q
ual_tuples
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
i
sl_schedule_node
.
c: collect_filter_prefix*: ret
u
rn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_convex_hull
.
c: hash_basic_se
t
: retu
r
n isl_s
t
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoolaege
isl_transitive_c
l
osure
.
c
:
add_length: retur
n
isl_sta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_o
u
tput
.
c: next_is_opposite: re
t
urn isl_
s
tat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
laeg
e
isl_coal
e
sce
.
c
: a
d
d
_
subs
:
ret
u
rn isl
_
stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
dool
a
ege
isl_conve
x
_
hul
l
.
c
:
uset_i
s
_bound: r
e
turn
isl
_
bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoo
l
aege
isl_tra
n
sitiv
e
_clos
u
re
.
c: check_exactness
_
omega: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_transitive_closu
r
e
.
c: is_acyclic: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_schedule_band
.
c:
h
as_*: ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_ast_build_need_schedule_map
:
return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_
m
orph
.
c: ident
i
t
y
_
on_p
a
r
a
m
e
ters
:
re
t
urn
isl
_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaeg
e
i
sl_mat_is_scaled_identity
:
return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_range
.
c: propagate_on_doma
i
n:
return i
s
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
o
o
laege
i
sl_
p
w_qp
o
lynomia
l
_fold_covers: r
e
turn isl_
b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
v
e
r
t
ices
.
c: can_se
l
ect: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
e
rdoolaege
i
s
l_vertice
s
.
c: is
_
ind
e
p
e
ndent:
r
eturn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ast_co
d
egen
.
c: a
f
t
e
r_
i
n_*:
r
eturn isl_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
_
i
nput
.
c: t
u
ple_
h
as_expr: return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_schedule_nod
e
.
c: loc
a
lly_covered_by_domain: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_transitive_closure
.
c: inc
r
emental_on_entire_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next