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
introduce isl_size return type
2018-09-06
S
v
e
n
Verdo
o
laege
i
n
t
r
o
duce isl_size return
t
y
pe
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
V
erd
o
olaege
generat
o
r: ext
r
act
out
shared is_isl_primitive
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
V
erdoolaege
py
t
h
on b
i
ndings: also raise
a
n
exception
on
n
egative
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
V
erdool
a
ege
gen
e
ra
t
or: e
x
tract o
u
t is_is
l
_
n
e
g_erro
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ve
r
d
o
ol
a
e
ge
py
t
hon
b
indings:
d
o not
s
et return of functions retu
r
ning
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_scheduler
.
c:
node_update_vm
a
p: ext
r
act
out ext
r
ac
t
_linea
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
ege
isl_range
.
c: collect_fixed_sign_terms: reduc
e
range
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdoolaege
isl_p
o
lynomi
a
l
.
c: make_div
s
_
pos: u
s
e i
s
l_qpolynomial_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
er
d
oolaege
isl_po
l
yno
m
i
a
l
.
c: sp
l
i
t
_p
e
riods:
u
s
e
i
sl_qpolynom
i
a
l
_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdo
o
lae
g
e
isl_po
l
ynomial
.
c
: set_div:
use isl_qp
o
lynomial_domai
n
_va
r
_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_multi_*_dim:
u
se is
l
_m
u
lti_*_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl_pw_*_dim:
u
se isl_pw_*_
p
e
ek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_qpolyn
o
mial_involves_dim
s
: use isl_qp
o
lyn
o
m
i
al_pe
e
k_doma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
s
l
_
polynomial
.
c: set_active: use is
l
_qp
o
lynomial_peek_domai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl_qpolynomial_d
o
main_
d
i
m
: use isl_qpoly
n
omial_peek_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
r
doolaege
isl_point_
d
i
m
: use
isl_poi
n
t
_
peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdool
a
ege
isl_map
.
c:
map_intersect_inter
n
al: use isl_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
q
polynomial_l
i
ft: use
isl_qpol
y
nomi
a
l_
d
omain_
d
im
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_qpol
y
nomia
l
_f
r
om_term:
u
se isl_term_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
isl_ter
m
_get_e
x
p: extract
ou
t
isl_term_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
is
l
_
t
erm_dup
:
use isl_term_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolynomial
_
substitute_equalities_li
f
t
e
d: use isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdool
a
ege
isl_qpolyn
o
mial_
d
rop
_
dims: use isl
_
qpolyn
o
mial_d
o
main_
v
a
r
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polynomial
.
c: use
i
sl_qpolyno
m
i
a
l_domain_var_
o
ffse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaeg
e
isl_q
p
olynomial_involves_dims: use i
s
l_qpoly
n
om
i
al_domain
_
va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdoolaeg
e
isl
_
polynomial
.
c: substitute_n
o
n_div
s
:
u
s
e isl_
q
polynomial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_po
l
ynomial
.
c: substitute_div: use isl_qpolynomial_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_polynom
i
al
.
c: substitute_div: use isl_qpolynom
i
al
_
get_ctx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdo
o
l
aege
isl_
q
pol
y
n
o
mial
_
var_on_domain: use i
s
l_s
p
ace_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
is
l
_qpolynomi
a
l_extr
a
ct_affine: use isl_qpolyno
m
i
a
l
_domain_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdoolaege
i
s
l_polynomial
.
c:
sort_divs: use isl_qpolynomial_domain
_
var_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_qpolynomial_domain_
o
f
fset: extract out i
s
l_qpolynomial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
e
r
do
o
laege
i
sl_
q
polynomi
a
l_domain_offset: use
i
sl_qpoly
n
omial_pee
k
_d
o
ma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpol
y
nomial_get
_
d
o
m
a
in_space: extract
out isl_qpolyn
o
mia
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
l
a
e
g
e
i
s
l_co
n
straint
.
c: isl_basic_set_
f
oreach_bound_pair
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
is
l
_t
a
b
_
p
ip
.
c: f
i
nd
_
context
_
d
i
v: use is
l
_basic_{
m
ap
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add i
s
l_basic_set_var_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ola
e
ge
isl_map_simplify
.
c: div_find_c
o
alesce: use
i
s
l
_basi
c
_map_v
a
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdo
o
laege
is
l
_map_simplify
.
c: normalize_di
v
s: use isl_basic_map_v
a
r
_
of
f
se
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_map_simplify
.
c: n
_
pure_div_
e
q: use isl_basic_map_v
a
r_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolae
g
e
is
l
_map_simplify
.
c: re
m
ove_
d
uplicate_divs: use is
l
_
b
asic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
sl_m
a
p_
s
implif
y
.
c: el
i
mina
t
e_div
s
_ineq: use isl_basic_map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
oola
e
ge
isl_map_simplify
.
c
: elimina
t
e_divs_eq: isl_ba
s
i
c_ma
p
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_
si
m
plify
.
c: ok_to
_
eliminate_div: us
e
isl_basic
_
m
a
p_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
lae
g
e
isl_map
_
s
implify
.
c: eliminate_div:
use i
s
l_basic_
m
ap_va
r
_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
sl
_
map
_
simp
l
i
f
y
.
c: eliminate
_
v
ar_using_equalit
y
: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_b
a
si
c
_map_align_
d
iv
s
:
u
se
isl_basic_ma
p
_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoola
e
ge
i
s
l_map
.
c: insert_bounds_on_div:
u
se isl_ba
s
ic_map_var_
o
ff
s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdoolaege
i
s
l_map
.
c: basi
c
_map_init: use
i
sl_bas
i
c
_ma
p
_peek_
s
pace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verd
o
olaege
isl_ba
s
ic
_
m
ap_get_divs: use isl
_
b
a
s
i
c
_map_
v
ar_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaeg
e
isl_dim_map
.
c: isl_dim_map_
d
iv:
u
se isl_basi
c
_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
isl
_
convex_hull
.
c
: common_constr
a
i
n
ts:
u
s
e isl_s
e
t_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_
s
pa
c
e
.
c: global_po
s
:
return negative value on error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doola
e
ge
i
s
l_tab_pip
.
c: find_div
:
reserve negative ret
u
rn value
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
isl_schedule_
t
ree
.
c: ret
u
rn is
l
_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_access_in
f
o
.
c
oschedu
l
ed:
r
e
turn i
s
l_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoola
e
ge
i
s
l_ou
t
put
.
c: p
o
s2typ
e
: ret
u
rn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_affine_hu
l
l
.
c: trans
f
o
r
m_column:
re
t
u
rn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_
a
ffine_hull
.
c: construct_column: return
i
sl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_
t
ab_
p
ip
.
c:
i
nit_loca
l
_
regio
n
:
r
eturn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_seq_preimage: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_bernstei
n
.
c: is
_
tigh
t
: retu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
aege
isl_bernstein
.
c
: add_fold
:
return
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
sl_map_si
m
p
l
ify
.
c:
h
as_multiple_var_equality: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdo
o
laege
i
sl_m
a
p
_
s
i
m
plif
y
.
c: is_opposite_
e
x
c
e
pt:
retur
n
i
s
l_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
isl_map_simpl
i
fy
.
c: is_parallel_e
x
c
ept:
retu
r
n
isl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaege
i
s
l
_
ast_buil
d
_exp
r
.
c:
a
ll_ne
g
ative_coeff
i
c
i
e
n
ts: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoola
e
ge
is
l
_b
a
sic_map_add_di
v
_
c
o
nstrai
n
ts: use isl_
b
a
s
i
c
_
map_var_off
s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_in
e
quality_negat
e
: retu
r
n
modified result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laeg
e
isl_sche
d
ule_band
.
c: ha
s
_any: use
i
sl_u
n
ion
_
se
t
_every_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
add
isl_union_set_every_s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_schedule
_
node
.
c
: coll
e
ct_f
i
l
ter_prefix*: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
d
o
o
lae
g
e
isl_c
o
nvex_hull
.
c: ha
s
h_basic_set: return isl_stat
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: r
e
tur
n
i
s
l
_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoo
l
aege
isl_ou
t
put
.
c: next_is_opposite:
r
e
turn i
s
l_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl
_
coalesce
.
c: add
_
subs: retu
r
n isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_
convex_hul
l
.
c
: uset_is_
b
ound
:
retur
n
i
sl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Ver
d
oolaege
isl_t
r
ansitive_
c
l
os
u
re
.
c: check_
e
xact
n
ess_om
e
ga: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_t
r
ans
i
t
i
ve_closure
.
c
:
i
s
_ac
y
clic: return
i
sl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oolae
g
e
isl_sched
u
le_band
.
c: has_*: retur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_
a
s
t_build
_
need_schedule_m
a
p: re
t
u
rn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_
m
orph
.
c: i
d
entity_on_
p
arameters:
return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdo
o
laege
i
s
l_mat_is_scal
e
d
_iden
t
ity: re
t
urn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdo
o
laeg
e
isl_range
.
c: propagate_on_domai
n
: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
laege
isl_pw_qpolynomial_f
o
l
d_co
v
ers:
return isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
i
s
l
_
vertice
s
.
c
:
can_s
e
lect: return i
s
l_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl
_
v
e
rtices
.
c: i
s
_
i
ndependent:
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_ast_
c
odegen
.
c: a
f
ter_in_*
:
return
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_
i
nput
.
c: tuple_
h
as
_
expr: return i
s
l_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_schedule_node
.
c: locally_
c
ov
e
r
ed
_
by_domain:
return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_trans
i
tive_closure
.
c
:
i
n
cr
e
menta
l
_
on_entire_
d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
lae
g
e
isl_
t
ransitive_clo
s
ur
e
.
c: has_
s
purious_elements: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
o
olaege
isl_transiti
v
e_closure
.
c: empty_path_is_
i
dentity: re
t
urn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_co
n
st
r
ain
t
_is_div_con
s
t
raint: return
isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_s
c
hed
u
le_node
.
c: ha
s
_ancestors: retur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_poly_is_cst: 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_poly
n
omial
.
c:
set_active: retu
r
n isl_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
i
s
l
_poly_is_{neg,}one: return
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoolaege
i
sl_qpolynomial_i
s
_{aff
i
ne,cst}: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en Ver
d
oolaege
isl_poly_is_{ne
g
,}infty: return isl_
b
o
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next