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_poly_is_nan: use isl_bool_ok
2018-09-02
Sven
Verdo
o
laege
i
sl
_
map_simp
l
i
fy
.
c: better_div_c
o
nstraint: u
s
e isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Ve
r
d
oolae
g
e
isl_m
a
p_simpl
i
fy
.
c: ok_to_set_div_from_bound: use isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
olaege
isl_
m
ap_simplify
.
c:
s
et_div_from_l
o
wer
_
bound: use isl_ba
s
ic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_si
m
pl
i
fy
.
c:
n
o
rmalize_divs: use isl_basi
c
_map_var_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
o
laege
isl
_
map_s
i
mplify
.
c:
n
_pur
e
_
d
i
v_e
q
: use isl_basic_m
a
p_v
a
r_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_
m
ap_simp
l
ify
.
c: rem
o
v
e
_duplicate_di
v
s: use isl_
b
asic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
sl_map_s
i
mplify
.
c: eli
m
inate_d
i
vs_ineq: use
i
sl_basic_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_ma
p
_simplify
.
c: e
l
i
m
inate_divs_eq: isl_basic_map_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoolae
g
e
isl_map_simplify
.
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
S
ven
V
e
r
d
oo
l
a
e
ge
isl_m
a
p_si
m
plify
.
c
:
eliminate_div
:
u
se isl_ba
s
ic_
m
ap_
v
ar_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map_simpli
f
y
.
c
:
eliminate_var
_
us
i
n
g_equality: u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
o
l
a
e
ge
isl_bas
i
c_map_al
i
gn_divs: use isl_basic_m
a
p_var
_
o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl
_
ma
p
.
c: find_div: use isl_b
a
sic
_
map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoola
e
g
e
i
sl_basic_map_order_di
v
s: use isl_basic
_
map_var
_
of
f
se
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_map
.
c: basic
_
s
e
t
_
app
e
nd_equalities: use
i
sl_basic_set_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaeg
e
isl_map
.
c: insert_di
v
_rows:
use is
l
_basic_
m
ap_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
do
o
laege
isl
_
map
.
c:
insert_bounds_on_div
:
use
i
s
l_b
a
sic_map_var_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdool
a
e
g
e
isl
_
basic_map_
r
emov
e
_
d
i
vs: use isl_b
a
si
c
_map_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_basi
c
_map_
s
wap
_
di
v
: 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
.
c: basic_map_init:
u
s
e
isl_ba
s
ic
_
map_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_m
a
p_get
_
divs: use is
l
_basic
_
m
a
p_va
r
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
dim_map
.
c:
i
sl_dim_map_di
v
: us
e
isl_basic_map_
o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oolaege
is
l
_convex_hull
.
c
: common_constraints:
use isl
_
se
t
_
d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ba
s
ic_
m
ap
_
make_strid
e
s_exp
l
i
ci
t
: use isl_b
a
sic
_
map
_
var_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdool
a
ege
is
l
_aff_substitute_equa
l
it
i
es
_
lifte
d
:
u
se isl_basic_s
e
t_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoola
e
ge
isl_
b
asic_set_posit
i
ve_orthant: us
e
i
s
l_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoolaege
i
sl_basic_{s
e
t,map}_
p
rint_in
t
ernal: use isl
_
printer
_
pri
n
t_ba
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
s
l
_transitiv
e
_
c
l
o
sure
.
c: empty_pat
h
_is_identity: us
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Ve
r
doo
l
a
e
ge
i
s
l_m
a
p_simplify
.
c: div_fi
n
d_coalesce: reuse is_oppos
i
te
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoo
l
aege
isl
_
ma
p
_simpl
i
fy
.
c: mov
e
up is_opposite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_spa
c
e
.
c: global_p
o
s
: r
e
turn nega
t
ive value on
error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
i
sl_tab_pip
.
c: fi
n
d
_
co
n
text_div: re
s
erve negative
r
eturn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simpl
i
fy
.
c
:
div_fin
d
_c
o
ale
s
c
e: reserve negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
la
e
ge
isl_map
.
c: find_div: reserve ne
g
ative return value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_
t
ab_
p
ip
.
c: find_div:
r
eserve negative return value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
aege
isl_schedule_
t
ree
.
c: return isl_
b
o
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdool
a
ege
isl_access_inf
o
.
coscheduled: ret
u
r
n isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c: po
s
2type: return isl_sta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_affine_hull
.
c
:
transfo
r
m_col
u
mn: return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdoo
l
aege
isl_aff
i
ne_hull
.
c: construct_column: re
t
urn
i
s
l_sta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoola
e
ge
isl_t
a
b_pip
.
c: init_
l
ocal_region:
r
e
t
urn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_seq_pr
e
image: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verd
o
olaege
isl
_
bernst
e
in
.
c: is_tight: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_bernstein
.
c:
is_tight: minor
c
ode simplification
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_be
r
n
s
t
e
in
.
c: add_fold: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
ool
a
eg
e
isl_
m
ap_
s
implify
.
c: ha
s
_multiple_var_equality: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
sl_map_s
i
mplify
.
c: is_opposite_
e
x
cept: return isl_
b
oo
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simpl
i
fy
.
c: i
s
_p
a
r
a
l
lel_except: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolaege
isl_map_simpli
f
y
.
c: lo
w
er_
b
o
und_is_cs
t
:
return -1 on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
l
ae
g
e
isl_a
s
t_build
_
expr
.
c: all_negat
i
ve_
c
oefficients: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add_lo
w
er_
d
iv_c
o
nstraint
:
return return modi
f
i
e
d result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add_upper_div_constraint: return return modifie
d
result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
i
s
l
_ba
s
ic_map
_
a
d
d_di
v
_constraint:
r
eturn return modi
f
ied
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ba
s
ic_
m
ap_add_div_constraints: r
e
turn
modif
i
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
add_{upper
.
l
ower}_div_constraint:
o
nly pass i
n
positi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
aege
remov
e
now unu
s
ed is
l
_basic
_
{set
,
m
a
p
}_add_d
i
v_const
r
aints_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ola
e
ge
isl_basic_map_add_div_
c
onstrai
n
ts: us
e
isl_basic
_
m
ap_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdool
a
ege
isl_local_sp
a
c
e
.
c: normalize_d
i
v: retu
r
n modified res
u
lt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
o
l
ae
g
e
normalize_div_expression: re
t
urn
modifi
e
d
result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
ege
isl_map
_
simplify
.
c: el
i
min
a
te_var_using_equ
a
lity: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_inequalit
y
_negate: return
modif
i
e
d res
u
l
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_map
.
c
:
set
_
m
a
_di
v
s: re
t
urn modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_swap_
d
iv: return
m
odified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_output
.
c: print_cons
t
raint
_
c:
d
rop n
o
w red
u
ndant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l
_
ou
t
put
.
c
: d
r
op print_affine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdool
a
ege
i
s
l_output
.
c: print_constr
a
i
nt_c: use print_ls_affi
n
e_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
s
l
_
output
.
c:
p
r
i
nt_ba
s
i
c
_set_c: use print_ls_partial_affine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_cat
:
support C output format
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
ol
a
e
g
e
isl_s
c
h
e
dule_band
.
c: has_any: use isl_un
i
o
n
_s
e
t_every_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
a
d
d isl_union_set_every_se
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tran
s
i
t
ive
_
clo
s
ure
.
c
:
add
_
length:
reuse incre
m
ent
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_transitive_closure
.
c
: move
up
i
nc
r
eme
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_transitive_closure
.
c:
i
ncrement: retur
n
isl_map
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
laege
isl_
t
ran
s
i
ti
v
e_clos
u
re
.
c:
i
ncrement: clea
n
up spa
c
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aeg
e
isl_tr
a
nsitive_closu
r
e
.
c: map_pow
e
r
: use stricter t
e
st
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_map_delt
a
s
_
map: extract out
i
sl_map_che
c
k_equal_tuples
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_schedule_no
d
e
.
c: collect_fil
t
er_pr
e
fix*: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doolaege
isl_convex_hul
l
.
c:
h
ash_b
a
sic_
s
et: return
i
sl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_t
r
ansi
t
i
v
e_closure
.
c: add_
l
ength: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c:
n
ext_is_opposite: re
t
u
rn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_
c
oa
l
esce
.
c:
add_subs
:
retu
r
n
i
sl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
eg
e
isl_conve
x
_hu
l
l
.
c: uset_
i
s_
b
ound: return
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdool
a
ege
isl_transitive_
c
losur
e
.
c: che
c
k_exac
t
ness_omega: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tra
n
s
i
ti
v
e_
c
los
u
re
.
c: is_
a
c
ycl
i
c:
r
etu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
doolaege
isl_schedule_
b
and
.
c: has_*: return isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
e
rdoola
e
ge
isl_ast_bu
i
ld_nee
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_
p
a
rameters: return isl
_
bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoola
e
ge
isl_mat_is_scal
e
d
_identity: retu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_range
.
c: propagate_on_domain:
r
eturn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_pw_qpolynomi
a
l_fo
l
d_covers: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_vertices
.
c: can_select:
r
e
turn i
s
l_boo
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_vertices
.
c: is_
i
ndependent: ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoolaege
isl
_
ast_codege
n
.
c: afte
r
_in_*
:
return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_inpu
t
.
c: tuple_has
_
exp
r
:
r
eturn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l_sche
d
ule_node
.
c: locally_c
o
ver
e
d_by_d
o
main: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l_transitive_clo
s
u
re
.
c: increm
e
ntal_on_entire_
d
omain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laeg
e
isl_transit
i
ve
_
cl
o
sur
e
.
c: ha
s
_spurious
_
elements: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_t
r
ansitive_clo
s
ure
.
c: empt
y
_path_i
s
_identity: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
o
olaege
isl_constraint_is_
d
iv_constraint: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_schedule_node
.
c: has_ancest
o
rs: return
isl_boo
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next