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_simplify.c: eliminate_divs_ineq: use isl_basic_map_var_offset
2018-09-02
Sven Verdoolae
g
e
i
sl_map_si
m
plify
.
c:
e
l
imi
n
ate_
d
i
v
s_ineq: use
i
sl_basic_map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaeg
e
isl_m
a
p_simplify
.
c
:
e
l
i
m
ina
t
e_d
i
vs_eq:
i
sl_basic_map_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_
m
ap
_
sim
p
li
f
y
.
c: ok_to_elimina
t
e
_
div: use isl_basic_
m
ap
_
v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_sim
p
l
ify
.
c: eliminate_div: use isl_b
a
sic_map_v
a
r_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_map_simplify
.
c: elim
i
nate_var_using_equality: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdo
o
la
e
g
e
isl_bas
i
c_m
a
p_ali
g
n_divs: use
i
s
l_ba
s
ic_m
a
p_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdoo
l
aege
is
l
_map
.
c: find_div: use isl_basi
c
_
map_var_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_ba
s
ic_map_order_divs: use isl_basic_ma
p
_var
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olaege
isl_map
.
c: basic_set_app
e
nd_equ
a
li
t
i
e
s: use
i
sl_ba
s
i
c_s
e
t_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: in
s
e
r
t_div_rows: use
i
sl_basic_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
s
l_map
.
c: insert_boun
d
s
_
on_div
:
use isl_basic
_
map_var
_
off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_basi
c
_m
a
p_r
e
move_d
i
vs: use isl_basic
_
map_var_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_basic_map
_
swap_div: use isl_
b
asic_map_v
a
r
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_
m
ap
.
c: basi
c
_map_i
n
i
t: use isl_basic_map_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_basic_map_get_divs: use isl
_
bas
i
c_map
_
var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_
d
im_map
.
c:
isl_dim_map_
d
iv
:
use isl_basic_ma
p
_of
f
s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
s
l_convex_hu
l
l
.
c
:
comm
o
n_constra
i
n
t
s: use
i
sl_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl
_
b
a
s
ic_map_make_str
i
des
_
e
x
p
l
i
cit: use isl
_
basic_map_var_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
sl_
a
ff
_
substitute_equalit
i
es_lifted: use isl_basic_set
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
lae
g
e
i
s
l_basic_set_positive_orthant: use isl_space_d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ba
s
ic_
{
set,map}_print_int
e
rnal
:
use
i
sl_printer_p
r
i
n
t_ba
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_trans
i
tive_closur
e
.
c: empty_path_
i
s
_
ide
n
tity: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
_
simplify
.
c: d
i
v
_
f
i
nd_coalesce: reuse is_opposite
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_map_simpli
f
y
.
c: m
o
ve up is_opposite
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl
_
space
.
c: global
_
p
o
s
: return negative value
on
err
o
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Ve
r
doolaege
isl_tab_pip
.
c: find_context_div:
r
eserve
n
e
g
ative r
e
t
u
rn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l
_
map_simplify
.
c: div
_
fin
d
_coalesce:
reserve negative
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
aege
isl_map
.
c: find_di
v
:
r
eserve n
e
gative return
va
l
u
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_tab_pip
.
c: find
_
div: reserve negative
r
eturn
v
al
u
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
ol
a
ege
i
s
l
_
sched
u
le
_
t
r
ee
.
c: re
t
urn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doolaege
isl_access_in
f
o
.
coscheduled
:
retu
r
n is
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdoolaege
isl_
o
utput
.
c:
p
o
s2type:
return
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_a
f
fine_hull
.
c: transf
o
rm_column: re
t
urn isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_affine_hull
.
c
: constr
u
c
t
_c
o
lumn: ret
u
rn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
olaeg
e
isl_t
a
b_pip
.
c
:
init_loc
a
l_re
g
i
o
n: r
e
t
urn i
s
l
_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdool
a
ege
isl_seq
_
pre
i
mage: retur
n
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verd
o
olaege
isl_ber
n
st
e
in
.
c: is_tight: retur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_be
r
nstein
.
c:
is_tight:
minor code simplifi
c
atio
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
is
l
_ber
n
ste
i
n
.
c: add
_
fold: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_map_s
i
mplify
.
c:
h
a
s
_multiple
_
var_equality:
r
etur
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_map_simplify
.
c: is
_
opposite_exc
e
pt: retu
r
n isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c
:
is_par
a
lle
l
_
except: re
t
u
rn isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdoolaege
is
l
_
m
ap_s
i
mplif
y
.
c:
l
ower_bound_i
s
_cst
:
return -1 o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
r
doolaege
isl_
a
st_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 Ve
r
doolaege
add
_
l
ower_div_con
s
traint: retu
r
n
r
e
turn mo
d
ifi
e
d
r
esult
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
ad
d
_up
p
er_div_
c
onstrain
t
:
r
e
t
u
r
n ret
u
rn
modi
f
ied result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_basic_m
a
p
_
add_div_con
s
traint: return r
e
tu
r
n modifi
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_basic
_
map_add_div_const
r
aints:
r
eturn m
o
dified
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
la
e
ge
a
dd_{upper
.
lower}_div_constraint:
o
nly pass in p
o
s
itio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
remove now
unuse
d
isl_basic_{set,m
a
p}_add_d
i
v_
c
onstraints_var
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
i
sl_
b
a
s
ic_map_add_div_co
n
str
a
int
s
: use isl_b
a
sic_map_
v
ar
_
offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoola
e
ge
isl_loc
a
l_sp
a
ce
.
c: normalize_div: return modified result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdoolaege
normal
i
ze_div_e
x
pres
s
io
n
: return mod
i
fied
r
esu
l
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
e
r
doola
e
ge
i
s
l_map_s
i
mplify
.
c
:
eliminate_var_us
i
ng_equality: ret
u
rn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_inequality_neg
a
te: ret
u
rn modifi
e
d resu
l
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoo
l
aege
isl_map
.
c: set
_
m
a
_div
s
: return m
o
difie
d
result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_basi
c
_map
_
swap_div: return modified result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoola
e
g
e
isl_output
.
c: print_co
n
straint_c: drop now r
e
dundant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaeg
e
i
sl_outp
u
t
.
c
: drop print_affine_c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaeg
e
isl_outp
u
t
.
c: print_constraint_c: u
s
e print_ls_affine_
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_ou
t
put
.
c
: pri
n
t_
b
a
s
i
c_
s
et_c: use print_ls_partial_affine_c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_cat: suppo
r
t
C
output
format
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
l
ae
g
e
isl_sche
d
ule_ban
d
.
c: ha
s
_any:
use isl_
u
nion_
s
et_every_s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add isl_union_set_eve
r
y_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
lae
g
e
i
s
l
_transitive_cl
o
sure
.
c:
a
dd_length: reuse increme
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
sl_trans
i
tive
_
closure
.
c
: move up incremen
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
t
ransitiv
e
_closure
.
c: increm
e
nt: return isl_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
erdoolae
g
e
isl_transitive_closure
.
c
:
increm
e
n
t
: clean
up space
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
is
l
_
t
ransitive
_
closure
.
c
:
map
_
power: use
s
tricter test
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l_m
a
p_deltas_map: extract
out
isl_m
a
p_check_equa
l
_
t
uples
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl
_
schedule_no
d
e
.
c: collect
_
fi
l
ter_prefix*: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaeg
e
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
e
n
Verdoolaeg
e
isl_
t
ra
n
sitive_closure
.
c: add
_
length:
r
eturn isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
a
e
g
e
isl_output
.
c: next_is_opposi
t
e
:
r
e
tu
r
n isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_coalesce
.
c: add_s
u
b
s:
r
eturn isl_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
a
e
ge
i
s
l
_con
v
ex_hull
.
c: uset_is_bound: return
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_
t
ran
s
iti
v
e_cl
o
sure
.
c: check_exactness_omega: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_tr
a
nsitive_closur
e
.
c: is_acyclic: ret
u
rn
i
sl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
is
l
_
schedule_band
.
c: has_*
:
return isl
_
boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoola
e
ge
isl_ast_build_need_schedule_map: return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
s
l_morph
.
c: identity_on_parameter
s
: re
t
urn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_mat_is_sc
a
led_identity: return isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_
r
a
n
g
e
.
c
: p
r
opagat
e
_on
_
domain:
r
e
t
urn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolae
g
e
isl_pw_qpolyn
o
mi
a
l_fold_
c
overs: r
e
turn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
a
e
g
e
is
l
_verti
c
es
.
c:
c
an_select:
return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_vertices
.
c
:
is_indep
e
nde
n
t: return i
s
l_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
is
l
_
a
s
t_codege
n
.
c
:
after_in_*: re
t
u
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoola
e
ge
isl_input
.
c
:
tup
l
e_h
a
s_expr
:
retur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl
_
s
chedule_node
.
c: lo
c
ally
_
covered_
b
y_doma
i
n
: retu
r
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_tran
s
itive_
c
lo
s
ure
.
c: incremental_
o
n_entir
e
_d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_transitive_closure
.
c: ha
s
_spurious_el
e
ments: ret
u
rn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
ege
isl
_
transitiv
e
_closure
.
c
:
e
mpty_path_is
_
identity: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
d
oolae
g
e
i
sl
_
c
o
nstraint_is_div_constraint: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdool
a
ege
isl_s
c
hedule_node
.
c: has_ancestors: return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
p
oly_is_cs
t
: return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_pol
y
nomial
.
c: s
e
t_active: retu
r
n
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
aege
isl_poly_is_{neg,}one: r
e
turn i
s
l_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
isl_qpo
l
y
nomi
a
l_
i
s_{affine,cst}: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdoolae
g
e
is
l
_poly_is_{neg,}inft
y
: re
t
u
r
n isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en Verdoolaeg
e
is
l
_p
o
ly_is_nan: r
e
turn isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next