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_*_dim: return isl_size
2018-09-06
S
v
en Verdo
o
laege
isl_*_dim: retur
n
isl_size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven
Verdoo
l
aeg
e
introduce
i
s
l_size r
e
tu
r
n t
y
pe
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdool
a
ege
generator: ex
t
ra
c
t
o
u
t sh
a
re
d
is_i
s
l_primitive
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolae
g
e
python bindings:
also ra
i
se an excep
t
ion on n
e
g
at
i
ve
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Ver
d
oolaege
ge
n
erator: extr
a
ct out is_i
s
l_neg_error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Verdoolaege
python binding
s
: do not se
t
return of functi
o
ns
r
eturn
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Ve
r
doolaege
i
sl_schedule
r
.
c: no
d
e_u
p
dat
e
_vm
a
p
:
extrac
t
out extr
a
ct_linea
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
ge
isl
_
range
.
c
: coll
e
ct_fix
e
d_s
i
g
n
_
terms: reduce r
a
nge
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aeg
e
isl
_
p
olynomial
.
c:
m
ake_divs_po
s
: us
e
isl_qpolyno
m
ial_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_polynomial
.
c
: s
p
lit_periods:
u
s
e isl_qpolynom
i
a
l
_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_p
o
l
ynomial
.
c:
set_div: use isl_qpolynomial
_
domain_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_mult
i
_*_dim: u
s
e i
s
l_multi
_
*
_
p
eek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_pw_*_dim:
u
se
i
sl_pw_*_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdool
a
ege
i
s
l_qpol
y
nomial_involves_dims: us
e
isl_qpolynomial_pe
e
k_doma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oolaege
isl_p
o
l
y
nomia
l
.
c: s
e
t_activ
e
:
us
e
isl_qpolynomial_peek_domai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olae
g
e
isl
_
qpol
y
nom
i
a
l_d
o
m
ain_dim: use isl_qpolynomi
a
l_pee
k
_dom
a
in_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
aege
i
s
l_point_dim: u
s
e i
s
l_poin
t
_p
e
ek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map
.
c:
m
a
p_inters
e
ct_int
e
rn
a
l: use isl
_
map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olaege
i
s
l
_
q
polynomial_
l
ift
:
us
e
isl_qpolynomial_
d
o
main_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_qpolyno
m
i
al_f
r
om
_
t
erm: use
i
s
l_term
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoo
l
aege
isl_term_ge
t
_
e
xp
:
e
xtr
a
ct out isl_term_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdool
a
eg
e
isl_t
e
rm_dup: use isl_term_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doola
e
ge
isl_qpo
l
ynomi
a
l_
s
ubstitute_e
q
ualities_lif
t
ed: use isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolae
g
e
isl_qpol
y
n
o
mial_drop_dims:
u
se isl
_
qpolynomial_do
m
ain
_
var_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_polynom
i
a
l
.
c: use isl_qpolynomia
l
_
d
omain_
v
ar_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olae
g
e
isl_
q
polyno
m
ia
l
_
involv
e
s_dims: use isl_qpoly
n
omial_domain_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_poly
n
o
m
i
al
.
c
:
substitu
t
e_non_divs: use isl_qpolyno
m
ial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
ol
a
ege
isl_poly
n
omia
l
.
c: substitute_div: use
isl_qpolynomial
_
do
m
ain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolae
g
e
isl_polynomial
.
c: sub
s
titute_div: u
s
e isl_qpolynomial
_
get_ctx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
qpolyn
o
m
ial_
v
ar_on_dom
a
in: u
s
e isl_space_offse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
isl_qpolyn
o
m
i
al_extr
a
c
t
_affi
n
e: use isl_qpo
l
ynomi
a
l_doma
i
n_d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl_polynomial
.
c: sort_divs: use isl_qpolyno
m
i
a
l_domain_var_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
o
l
a
ege
isl_q
p
oly
n
omi
a
l_domain_offs
e
t: extra
c
t
out isl_
q
polynomial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolynomi
a
l_domain_o
f
fset:
u
se i
s
l_qpolynomial_
p
e
ek
_
doma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_qpolynomial_get_domain_space: ex
t
r
act out is
l
_qpolyn
o
mia
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
o
olaege
is
l
_
constraint
.
c: isl_basic_set_foreach_bound_
p
air
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
e
rdoolaege
i
s
l
_
tab_pip
.
c:
f
ind_context_div: use isl_ba
s
ic_{map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
a
dd isl_basic_s
e
t_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
i
sl_m
a
p_simplif
y
.
c: div_f
i
nd_coalesce: use isl_basic_map_var
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdool
a
e
g
e
isl
_
map_simplify
.
c: normali
z
e
_
divs: us
e
isl_
b
asic_map_var_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
lae
g
e
isl_map_s
i
mplif
y
.
c
:
n_pure_d
i
v_e
q
: use isl_basic_map_var_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
olaeg
e
isl_map_simpl
i
f
y
.
c: re
m
ove_duplic
a
te_divs: use isl_ba
s
i
c_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p
_
s
i
mp
l
i
fy
.
c:
eli
m
inate_d
i
v
s
_in
e
q: use isl_basic_map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
isl_map_simplify
.
c
: eliminate_divs_eq: isl
_
basic_map_offse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laeg
e
isl_map
_
simp
l
i
fy
.
c: ok_to_elimin
a
t
e
_
d
iv:
use isl
_
basic
_
map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
sl_map_si
m
plify
.
c
:
eli
m
inat
e
_
d
iv:
u
s
e
isl_bas
i
c_map
_
v
ar_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolae
g
e
isl_map_simplify
.
c: eliminate_var_us
i
n
g
_e
q
ual
i
ty: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
basic_map_align
_
div
s
:
use isl_basi
c
_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
i
sl_m
a
p
.
c: insert_bounds_
o
n_div
:
use i
s
l_basic
_
map
_
var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oolaege
i
s
l
_map
.
c: basic_map_init: use isl_ba
s
ic_map
_
pe
e
k_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
la
e
ge
isl_basic_map
_
get_di
v
s
: u
s
e
i
sl_basic_map
_
var
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl
_
dim_map
.
c: isl_dim_map_div: use isl_
b
a
sic_map
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l
_convex_hull
.
c: common_con
s
traints: us
e
isl_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_space
.
c:
g
lobal_pos: return nega
t
ive val
u
e on
error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tab_p
i
p
.
c: find_di
v
: reserve negative return value
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_schedule_tree
.
c
: return is
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoola
e
ge
isl_access_info
.
coschedule
d
: return i
s
l_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_output
.
c:
p
os2type: return i
s
l_s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
laege
i
sl_affine_hu
l
l
.
c: tra
n
sf
o
rm_co
l
umn: r
e
turn isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
i
s
l
_af
f
ine_hull
.
c
: construct_column: return i
s
l
_
s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tab_pip
.
c: init_local_region
:
return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_
s
eq_preimage: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doolaege
isl_bernstein
.
c: is_tight:
return
i
sl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l
_bernstei
n
.
c: add_fol
d
: r
e
turn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdool
a
ege
isl
_
map
_
simplify
.
c: has_
m
u
ltiple_var_equ
a
li
t
y
: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
olae
g
e
i
s
l_map_simplify
.
c: is_o
p
posite_except: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_
m
ap_sim
p
lify
.
c
: is_pa
r
a
l
lel_except: return is
l
_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaeg
e
i
s
l_ast_build_
e
xpr
.
c:
a
ll_negative_coefficients: retu
r
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_basic_map_add
_
div_constraints: use isl_basic_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl_inequality_negate: return modified re
s
ult
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
isl_schedule_band
.
c: has_any: use isl_union_se
t
_every_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
ad
d
i
s
l_union_s
e
t_every_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_schedule_nod
e
.
c: col
l
ect
_
filter_prefix*: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
is
l
_con
v
ex_hull
.
c: hash_basic_set: return isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_tra
n
s
itive_clos
u
r
e
.
c: add_l
e
ngth: retu
r
n is
l
_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doolaege
isl_output
.
c: ne
x
t_is_oppos
i
te: r
e
turn isl_
s
tat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdool
a
ege
isl
_
coalesce
.
c: a
d
d_subs: r
e
t
urn isl_s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_co
n
vex_
h
ull
.
c: u
s
et_is_bou
n
d:
return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oolaege
isl_transitive_closure
.
c:
c
heck_exactnes
s
_
omega: re
t
urn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaege
isl_transitive_cl
o
sure
.
c: is_acycl
i
c:
r
eturn isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolae
g
e
isl_schedule_band
.
c:
h
as_*: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
isl_ast_build_
n
eed_sche
d
u
le
_
map: 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
_morph
.
c
: identity_on_para
m
e
ters:
r
eturn isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_mat_is_sc
a
led_identity: return
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
s
l_range
.
c:
propa
g
ate_on_d
o
main: return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
i
s
l_pw
_
qpolynomial_fold_c
o
vers: return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_vertices
.
c: can_select
:
return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_
v
e
r
tices
.
c:
is_inde
p
e
ndent: retur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdoo
l
aege
isl_
a
s
t_codege
n
.
c
: after_in_*: re
t
urn isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_input
.
c
:
t
u
p
le_has_
e
xpr:
return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_schedule_node
.
c: locally_cover
e
d
_by_domai
n
: re
t
urn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdool
a
e
ge
isl_tr
a
nsi
t
ive_closur
e
.
c: incremental_on_entire_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoola
e
ge
isl_transitive_c
l
os
u
r
e
.
c: has_
s
purious_el
e
ments: r
e
turn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
is
l
_tran
s
i
t
ive_clos
u
re
.
c: empty_path_is
_
identity: ret
u
rn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_constrai
n
t_is_div_constraint: r
e
tu
r
n
i
sl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_s
c
hedule_
n
ode
.
c:
h
as_ancestor
s
:
retu
r
n is
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_po
l
y_is_cst: retu
r
n i
s
l_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
isl_polyno
m
ial
.
c: set_active
:
return isl
_
sta
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_poly_is_{neg,}o
n
e:
r
etur
n
i
s
l_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoo
l
aege
isl_q
p
olyno
m
i
al_is_
{
affine,cst}: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next