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_basic_map_is_div_constraint: use isl_basic_map_offset
2018-09-02
S
v
en
Ver
d
oola
e
ge
i
s
l_basic_ma
p
_
i
s_
d
iv_
c
on
s
t
raint: us
e
is
l
_basic_m
a
p_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oolae
g
e
isl_map_sim
p
l
i
fy
.
c: elimi
n
ate_unit_
d
ivs: use isl_basi
c
_map
_
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
isl_map_si
m
plify
.
c: chec
k
_for_
d
iv
_
c
onstraints:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoo
l
aege
isl_map
_
simplif
y
.
c
:
b
e
t
ter_div_constraint: use isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoola
e
ge
isl_map_simplify
.
c: ok_to_set_div_f
r
om
_
boun
d
: use isl_bas
i
c_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
s
l
_map_simplify
.
c: se
t
_div
_
fro
m
_
l
ower
_
bound: use
isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verd
o
ol
a
ege
isl_map
_
simpl
i
fy
.
c: no
r
malize_divs: use isl
_
basic_map_var_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
do
o
l
aege
isl_map_simplify
.
c: n_pure_div_eq: use
i
sl_basic_ma
p
_var_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_map_
s
implify
.
c: remove_duplicate_divs: use isl_ba
s
ic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
i
sl_m
a
p_simplify
.
c: elim
i
nate_divs
_
ineq
:
use isl_basic_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_simplify
.
c: eliminate
_
divs_eq
:
i
s
l_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olae
g
e
isl_
m
a
p
_
simplify
.
c:
o
k_to_eliminate_div: use is
l
_
b
a
s
ic_m
a
p_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
isl_map_simplify
.
c: e
l
i
minate_div: use isl_
b
asic_map
_
var_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: elimi
n
ate
_
v
ar
_
using_equality
:
u
se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l_basic_
m
ap
_
a
lign_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
Sven Verdoolaege
i
s
l_map
.
c
:
find_div: use isl_basic
_
map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
l
a
ege
is
l
_basic
_
map_ord
e
r_di
v
s
:
use isl_basic_ma
p
_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olae
g
e
isl_map
.
c
:
basi
c
_set_append_equalities: use isl_bas
i
c_s
e
t_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_map
.
c: i
n
sert_div_rows: use isl_ba
s
ic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aeg
e
i
sl_
m
ap
.
c
:
i
n
sert_bou
n
ds_on_div:
u
se
i
sl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_bas
i
c_ma
p
_remove_divs: us
e
isl_bas
i
c_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoola
e
ge
isl_
b
asic
_
map_swap
_
div: use isl_
b
asic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oolaege
i
sl_map
.
c: b
a
s
i
c_
m
ap
_
i
n
it:
u
se isl_basic_map
_
p
eek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_basic_map_get
_
divs: use isl_basic_map_v
a
r_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
sl_
d
im_map
.
c: isl_dim_map_div: use isl_bas
i
c_map
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolae
g
e
isl_convex_hull
.
c:
c
o
m
m
on_constra
i
nts: use isl
_
set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oola
e
g
e
isl_
b
as
i
c_map_ma
k
e
_
strides_
e
xplicit: use i
s
l_basic_ma
p
_var_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
olaege
isl_aff_substitute_
e
qua
l
it
i
es_lifted: use isl_bas
i
c_set_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
isl_basic_
s
et_positive_or
t
hant: use isl_space_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_basic_{set,map}_print_internal: use isl_prin
t
er_print_b
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_transitive_c
l
osure
.
c: emp
t
y_
p
ath_is_i
d
entity: u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl
_
map_simplify
.
c:
di
v
_find_co
a
l
e
s
ce:
reuse is_opposite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_
s
implify
.
c: move up is_opposi
t
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_
s
pa
c
e
.
c: gl
o
bal_pos: return negative valu
e
on error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_tab_p
i
p
.
c: fi
n
d_cont
e
xt_div:
res
e
rve negative ret
u
r
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map
_
s
implify
.
c: div
_
fi
n
d_coalesce:
r
es
e
rve n
e
gative
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
dool
a
e
ge
isl
_
map
.
c: find_div: reserve negati
v
e return value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laeg
e
i
s
l_tab_pip
.
c
: find_di
v
: r
e
serve
n
e
g
at
i
ve
return value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdool
a
ege
isl
_
sc
h
edul
e
_tree
.
c: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
s
l
_access_info
.
c
oscheduled: ret
u
r
n
i
s
l
_
bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
o
u
tput
.
c
: pos2
t
ype: re
t
urn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_affine_hull
.
c: transf
o
rm_c
o
lumn: retu
r
n is
l
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
aege
isl
_
a
f
fine_hul
l
.
c: construct_c
o
lu
m
n: return i
s
l_st
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_tab_pip
.
c
:
i
nit_local_regi
o
n:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_seq_preimage:
retu
r
n i
s
l_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oolaege
i
s
l_bernstein
.
c: is
_
tight: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
is
l
_
b
er
n
s
t
ein
.
c
:
i
s_tight: minor code sim
p
lifica
t
ion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoola
e
g
e
isl
_
bernstein
.
c: add_fold: ret
u
r
n
isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
ool
a
ege
isl_map_s
i
mpli
f
y
.
c: has_multi
p
l
e_var_equality:
r
etur
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c:
i
s_oppo
s
ite_except: return
is
l
_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_m
a
p_simplify
.
c: is_p
a
rallel_except: return
i
s
l
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
m
a
p
_
s
implify
.
c: lower_bound_is_cs
t
: return -1 o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_
a
st_build_expr
.
c: all_negative_coef
f
icie
n
ts
:
r
e
turn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
add_lower_
d
i
v_constraint: r
e
turn return m
o
dified resu
l
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
laege
add_up
p
er_d
i
v
_
con
s
traint
:
retu
r
n
return m
o
dified
r
esult
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdo
o
laege
isl_basic_map
_
add_d
i
v_c
o
nstr
a
int: retu
r
n return modified
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaeg
e
i
s
l_basic_map_add_
d
iv_const
r
aints
:
return modified
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add
_
{u
p
per
.
lower}_div_const
r
aint: o
n
ly p
a
ss in position
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
remove
now
u
n
used isl_basi
c
_
{set,m
a
p}_add_div_constraints_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
a
sic_m
a
p_
a
dd_div_constraint
s
: use
i
sl_basic_ma
p
_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
l
a
ege
isl_local_space
.
c: normalize
_
div: return modif
i
ed resu
l
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
normalize_div_expression: retu
r
n m
o
d
i
fied result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
laege
i
s
l
_
m
ap_
s
implify
.
c: elim
i
n
ate_var_u
s
ing_equali
t
y: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_
i
n
e
quality_negate
:
ret
u
r
n modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c
: set_ma_divs:
r
eturn modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_b
a
s
ic_map_swap_div: ret
u
rn modifie
d
result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
olaege
isl
_
output
.
c: print_constra
i
n
t
_c
:
d
r
op now
r
e
dund
a
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_ou
t
p
u
t
.
c: drop pri
n
t_affine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c: print_const
r
aint_c: u
s
e
print_l
s
_affine_
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdo
o
lae
g
e
i
s
l_output
.
c: print
_
basic_se
t
_c: u
s
e
p
rint_ls_partial_affine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
isl_cat: support C o
u
tpu
t
forma
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olaege
i
sl_
s
chedule_band
.
c: has_a
n
y: use i
s
l_u
n
ion_set
_
every_se
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoolaege
a
d
d isl_union_set
_
every_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_transit
i
ve_closure
.
c: add
_
l
ength: reuse
i
ncrement
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoolaege
isl_transitive_closure
.
c: move up
increm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_tr
a
nsit
i
ve_cl
o
sure
.
c: i
n
crement: r
e
tu
r
n isl
_
m
ap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doolaege
isl_transi
t
ive_closu
r
e
.
c: incr
e
me
n
t: clean up
s
pace
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
is
l
_transitive_closure
.
c: map_power: use stricter test
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_map_deltas
_
map: extract out
isl_map_check
_
e
qual_tuples
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_sch
e
d
u
le
_
n
ode
.
c: collect_f
i
l
t
er_prefi
x
*
:
return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ver
d
oolaege
isl_convex_hull
.
c: hash_basic_set: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Ver
d
o
o
laege
isl_tran
s
itive_closur
e
.
c: add_len
g
th:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laege
isl_outpu
t
.
c: next_is_opposite: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_coale
s
ce
.
c: a
d
d_s
u
bs: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_
c
onvex_hul
l
.
c:
uset_is_boun
d
: return is
l
_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_
t
ran
s
itive_clos
u
re
.
c: check
_
exactnes
s
_
ome
g
a: ret
u
rn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
is
l
_
t
ransitive_closure
.
c: is_acyclic:
retur
n
isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
o
olaege
isl
_
sche
d
u
le_band
.
c: has_*: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_a
s
t_build_need_schedule_m
a
p: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_mor
p
h
.
c: iden
t
ity_on_pa
r
ame
t
er
s
:
r
e
turn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_
m
at_
i
s_scaled_
i
den
t
ity: retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oola
e
ge
isl_range
.
c: p
r
opagate_on_domai
n
: r
e
tu
r
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
e
rdoo
l
aege
isl_pw_qpoly
n
omial_fold_covers: ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoolaege
isl_verti
c
e
s
.
c: can_s
e
lect: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
is
l
_vertic
e
s
.
c: is_independent: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_ast
_
codeg
e
n
.
c:
aft
e
r_in
_
*
:
retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl
_
input
.
c:
t
uple
_
h
a
s_e
x
pr: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_sched
u
le_n
o
de
.
c
: locally_cove
r
ed_by_dom
a
in: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdool
a
ege
isl_tra
n
s
i
ti
v
e_closure
.
c
: inc
r
e
ment
a
l
_on_entire_domai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_transitive_closure
.
c:
h
as_s
p
urious_el
e
ments: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next