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
declare isl_pw_qpolynomial_from_range
2017-02-16
S
v
en Ve
r
dool
a
ege
d
e
clare i
s
l_pw
_
qp
o
lynomial_f
r
om_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-16
S
ven Verdoolaege
declare isl_pw_aff_p
r
o
j
ect_dom
a
i
n
_on_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-16
Sven Verdoolaeg
e
declare isl_m
u
lti_aff_plain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-16
Sven V
e
r
doolaege
isl_vertices
.
c
:
t
riang
u
late: fix
r
e
tu
r
n type
o
f callback
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-15
Sven
V
erdo
o
laege
isl_vertic
e
s_private
.
h: prot
e
c
t ag
a
inst
multiple in
c
lusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-15
Sven Verdo
o
laege
i
s
l_factoriz
a
tion
.
h:
p
rotec
t
against m
u
ltiple
inclusi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
i
s
l
_
c
o
alesce
.
c
:
wraps_update_max: return
isl
_
stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven V
e
rdo
o
la
e
ge
isl_
c
oales
c
e
.
c
:
wraps_init: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
i
s
l_aff
.
c:
fix typo
in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
i
sl_s
c
hedule_
n
ode
.
c:
update_ancestor
s
: dr
o
p unused
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdo
o
la
e
ge
i
sl_sche
d
ule_ba
n
d
.
c
: drop unused va
r
i
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
isl_po
i
nt
.
c:
i
sl_printer_pri
n
t_
p
oint: drop unuse
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdo
o
laege
i
sl_map_simplify
.
c: us
e
t_gist_full: drop
u
nused
v
ariable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
isl_fold
.
c:
add_pwq
p
:
drop unused
v
a
r
iable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven
V
erdoolaege
isl_
c
o
al
e
sce
.
c: ha
r
monize_stri
d
e_divs:
d
r
op unused
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sve
n
Verdoolaege
boun
d
.
c
:
verify_
p
oint: drop un
u
sed varia
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Ve
r
doolaege
interf
a
ce: updat
e
to C
o
mpilerInstan
c
e::setIn
v
oc
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven
V
erdo
o
laege
configure
.
a
c
: move detectio
n
of clang to separate
f
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-06
Sven
Verdoolaege
is
l
_union_
{
map,se
t
}
_
co
n
tains: ret
u
r
n isl_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-06
Sven Verd
o
ola
e
ge
i
s
l_uni
o
n
_
{map,set}_
c
ontai
n
s: drop s
p
urious memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-06
S
ve
n
Verdoolaege
isl_
u
nion_{map,set}_contains: rename "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-31
Sven
V
erd
o
o
l
aege
isl_
q
po
l
ynomial_as_p
o
lynomial_
o
n_domain: retu
r
n
isl
_
s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-31
Sve
n
Verdoola
e
ge
isl_qpoly
n
omial_bo
u
nd_on_domain_bern
s
tein: ret
u
rn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-31
Sven Verdoola
e
ge
isl_qpol
y
nomial
_
b
o
und_on_domain_ran
g
e: r
e
turn i
s
l_sta
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoo
l
aege
isl_map
.
c
:
check_
b
a
s
ic_map_compatible_ra
n
ge_multi_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl
_
map
.
c: check_basic_map_com
p
atible
_
range_m
u
lti_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verdoolaege
isl_*_ch
e
ck_matc
h
_domain_
s
pace: return
isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verd
o
olaege
isl
_
*_
c
hec
k
_mat
c
h_domain_space
:
adjust to isl_space_ma
t
ch
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verd
o
olae
g
e
i
sl_aff_get_denomina
t
o
r: return isl_
s
tat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdo
o
laege
i
sl_bas
i
c_{s
e
t
,
map}_
f
ore
a
ch_le
x
o
p
t
:
r
et
u
rn isl_s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
doolae
g
e
i
s
l_
s
et_sc
a
n: ret
u
rn isl_
s
t
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
doolaege
isl_basic
_
s
e
t_sca
n
: return
isl_st
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Verdoolaege
isl_sc
a
n
.
c: sc
a
n_0D: a
d
d m
e
m
ory manageme
n
t
ann
o
tatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolae
g
e
i
s
l
_
basic_set_scan: add mem
o
ry m
a
n
a
g
ement
a
nnotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ver
d
oolaege
isl_scheduler
.
c: cou
n
t_ma
p
_cons
t
raints: retur
n
isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
e
r
d
oolaege
isl_sch
e
duler
.
c:
c
o
unt_
a
l
l_constraints: retur
n
isl_s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en
V
erd
o
ol
a
ege
isl_sc
h
ed
u
ler
.
c
: add_all_con
s
traints: retu
r
n isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Verdoolaeg
e
isl_vertices_f
o
reach_{disjoint_cell,simplex}: retur
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Ve
r
do
o
laege
isl_coalesce
.
c
: add_wra
p
s_ar
o
und
_
face
t
: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
r
d
oolaege
isl_coalesce
.
c:
a
dd_
w
r
aps: re
t
ur
n
i
s
l_st
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
doo
l
aege
isl_c
o
a
lesce
.
c: add_sub_vars:
return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Verd
o
o
laege
isl_map_subtract
.
c: ta
b
_
a
dd_con
s
traint: return is
l
_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdo
o
l
a
ege
isl_map_subtract
.
c: tab_add_divs: return isl_
s
tat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdo
o
laege
is
l
_map_subtrac
t
.
c
:
isl_dif
f
_coll
e
ctor
.
a
dd: r
e
tu
r
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdoolaeg
e
isl_map_subtract
.
c: tab_add_constraints: return
i
sl_
s
tat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_se
t
_forea
c
h_orthant:
return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl
_
basi
c
_set_d
i
ms_get
_
sign:
r
eturn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verd
o
olaege
isl
_
b
asic_set_vars_ge
t
_s
i
g
n
:
ret
u
rn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_ma
p
.
c: c
h
eck_map_compatible_range_multi_aff: retur
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdo
o
laege
isl
_
set
_
dim_residue_class:
return isl_s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
e
rd
o
olaege
isl_s
e
t_d
i
m_re
s
idue_clas
s
: add
m
emory management ann
o
t
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ver
d
oolaege
isl_
b
asic_se
t
_
dim
_
resid
u
e_class: r
e
t
urn
i
sl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verd
o
olae
g
e
isl_bas
i
c_set_dim_residue_class: add memory
man
a
geme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verdoolaeg
e
isl_map
.
c: add
_
lower_div
_
constrai
n
t: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
ven Verdoolaege
isl_map
.
c:
a
dd_upper
_
d
i
v_constraint
:
r
e
t
u
r
n isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verd
o
olaege
isl_basic_m
a
p_fr
e
e_div: retur
n
isl_
s
tat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
e
n
V
erdoolaege
isl_tab
.
c: add_div_co
n
straints: return isl_st
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verd
o
o
laege
isl_tab
.
c: perf
o
rm_undo: return i
s
l_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaeg
e
isl_tab_callback
.
r
un: re
t
urn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
e
r
doo
l
aege
i
sl_tab
.
c:
perform_u
n
do_var:
retu
r
n
isl
_
stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
ven
Verdoo
l
aege
isl_tab
.
c
: ununrestr
i
ct: return isl_sta
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
e
n
Verdoolaeg
e
isl_tab
.
c: unrelax: return isl
_
stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
rdo
o
laege
i
sl_ta
b
.
c:
d
rop
_
row: return isl_sta
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
i
sl_tab
.
c: d
r
op_
c
ol: return isl_sta
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
ven
V
erdo
o
laege
isl_
t
ab_track_bset: retur
n
isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
erdoolaege
isl_
t
ab_track_bmap: r
e
turn
isl_s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdoo
l
a
ege
i
sl_tab_add_ineq:
r
eturn isl_st
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoo
l
aege
isl_tab_mark_empt
y
: return
isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
erdoolaege
isl_
f
old
.
c: join_compatible: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ver
d
o
olaege
i
s
l_fold
.
c: join_compa
t
ible: adjust to isl_space_ma
t
ch
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_fold
.
c: joi
n
_compatible: rename "d
i
m" argume
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
rdoolaege
isl_*_
m
atching_pa
r
ams: return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n
Verdoolaege
isl_*_mat
c
hin
g
_params: adjust to
isl_
s
pace_match
r
et
u
rning
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdo
o
laege
isl_space
.
c: mat
c
h: retur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verd
o
olaege
is
l
_polynomial
.
c: compatible_divs:
r
e
turn
i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdoolaege
isl_mat_is_equal: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdo
o
laege
isl_map_
c
o
n
tains_point: r
e
turn isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
doolaege
isl_vertices
.
c;
bset_covers_tab: return isl
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ver
d
ool
a
ege
isl_
t
ransitive_closure
.
c: isl
_
set_overlaps: retu
r
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
e
rdoolaege
isl_tr
a
nsi
t
ive_closure
.
c:
param
e
tric_consta
n
t_never_po
s
it
i
ve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoola
e
ge
is
l
_transiti
v
e
_
closure
.
c: is_eq_stride:
r
eturn isl_
b
o
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdoolaege
isl
_
sc
h
eduler
.
c
: has_any_defining_eq
u
ality:
return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
er
d
oo
l
aege
i
sl_p
w
_*
_
h
as_eq
u
a
l_spa
c
e: return
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Ver
d
oolaege
isl_p
w
_te
m
pl
.
c: a
n
y_div
s
: re
t
urn isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Ve
r
d
oola
e
ge
isl_tab_pip
.
c: parallel_c
o
n
straints
:
re
t
urn is
l
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
erdoolaege
i
sl_tab
_
pip
.
c: need_
s
p
lit
*
: return is
l
_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoola
e
ge
i
s
l
_
set_is_bounded: return isl
_
boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_c
o
al
e
sce
.
c: contai
n
s
:
r
eturn is
l
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolae
g
e
isl_coalesce
.
c: same_divs: retu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_c
o
a
l
esce
.
c: same_div
s
: adjust t
o
isl_basic_m
a
p_divs
_
k
n
ow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_coales
c
e
.
c: is_affected: retu
r
n i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verd
o
olaege
isl_coalesce
.
c: has_nested_div: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
V
e
r
doolaege
is
l
_map
_
plain_
i
s_s
i
ngleton: retur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdoola
e
ge
isl_b
a
s
i
c
_map_plain_is_singleton: ret
u
rn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
e
r
d
oolae
g
e
isl_set_has_rationa
l
:
return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
ven Ve
r
doolae
g
e
isl
_
map_has
_
rati
o
nal: return isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdool
a
ege
isl_basic_map_
h
as_rational: return isl
_
b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
i
s
l
_basic_map_
i
s_rational: return i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdoolaege
isl_basi
c
_set_h
a
s
_definin
g
_inequalities:
return isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
i
sl_basic_set_has_defining_e
q
ual
i
ty: return is
l
_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next