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
extract out shared isl_set_has_aligned_params
2017-02-15
S
ven
V
erdoolaege
isl_factoriza
t
ion
.
h
:
protect aga
i
nst m
u
ltiple inclusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sv
e
n Ver
d
oolaege
i
s
l
_c
o
alesce
.
c
: wraps_update
_
m
a
x: r
e
turn isl_
s
tat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
S
ven Ve
r
d
oolaege
isl_coalesce
.
c: wraps_init: return isl_s
t
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Ve
r
doolae
g
e
isl_aff
.
c: fi
x
typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sv
e
n Verdoolaege
isl_sch
e
dule_node
.
c
:
update_a
n
cestors: drop unu
s
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoo
l
aege
i
sl_schedule_band
.
c: drop unused varia
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolaege
i
sl_poi
n
t
.
c: is
l
_printer_print_point: d
r
o
p
un
u
sed variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sv
e
n
Verdo
o
l
a
ege
isl_map_sim
p
l
ify
.
c: us
e
t_
g
i
st_full: drop unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Ve
r
doolae
g
e
isl_fold
.
c
:
a
d
d
_p
w
qp: drop unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Ver
d
oola
e
ge
isl_coale
s
ce
.
c
:
h
a
rmoniz
e
_stride_divs: drop un
u
sed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
S
ven Verdoolaege
bound
.
c: verif
y
_point: drop unused v
a
riable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoolae
g
e
i
nterface: update to CompilerInsta
n
c
e
::se
t
Invocat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
Sve
n
Verdoolaege
configure
.
ac: move detection of cl
a
n
g to s
e
parat
e
file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-06
S
v
en Verdoolaege
i
sl_uni
o
n_{map,se
t
}_contains: retu
r
n is
l
_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-06
S
v
e
n
V
erdoolaege
i
sl_union_{m
a
p
,
se
t
}
_
con
t
a
ins: drop spurious memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-06
Sven
Ve
r
d
o
ol
a
ege
i
s
l
_u
n
i
o
n_{map,set}_contains: rename "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-31
Sven Verdo
o
lae
g
e
isl
_
qp
o
lynomial_as_polynomial_o
n
_domain:
r
eturn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-31
Sven Verdoolaege
isl_qpolynomia
l
_bound
_
on_domain_bernstein
:
r
eturn i
s
l_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-31
Sven Verdo
o
lae
g
e
isl_qpolynomi
a
l_bound_
o
n_
d
oma
i
n_range: return
isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolae
g
e
isl_map
.
c: ch
e
c
k
_bas
i
c_
m
ap_co
m
patib
l
e_ra
n
ge_mul
t
i_af
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
ve
n
Verdoolaeg
e
isl_map
.
c: check_basic_map_compatible_
r
ange_mu
l
ti_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verdoolaege
isl_*
_
check_match_domain_spac
e
: r
e
turn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verd
o
o
laege
i
s
l_*_check
_
match_domain_space: adjust to is
l
_space_
m
a
tch
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Verd
o
olaege
isl_a
f
f_ge
t
_denomi
n
at
o
r: return
i
sl_
s
tat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en V
e
r
d
oolaeg
e
isl_ba
s
ic_{set,map}_fore
a
ch_
l
exop
t
: retu
r
n isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verd
o
olaeg
e
isl
_
set_scan: re
t
urn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoola
e
ge
is
l
_
b
asic_set_scan: return
isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verd
o
ola
e
ge
isl
_
sc
a
n
.
c: sca
n
_0D
:
a
dd memory management annotati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
e
n Ve
r
doo
l
aeg
e
i
s
l_basic_set_scan: add memory
m
anage
m
ent annotat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoola
e
g
e
isl_sc
h
e
d
uler
.
c: count_map_const
r
aints: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolae
g
e
isl_sc
h
edule
r
.
c: c
o
unt_al
l
_constra
i
nts: re
t
urn i
s
l_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
doolaege
i
s
l_scheduler
.
c: add_all_co
n
stra
i
nts: r
e
turn i
s
l_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verd
o
olaeg
e
i
s
l_verti
c
es_f
o
reach_{disjoint_cell
,
simplex}: return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
e
n Ver
d
o
o
laege
isl
_
coalesce
.
c
:
add_wra
p
s_around_face
t
: return isl_s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
erdool
a
eg
e
isl_coales
c
e
.
c
:
add_
w
r
a
ps:
r
etu
r
n i
s
l_s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
erdoolae
g
e
isl_
c
oales
c
e
.
c: add_sub_vars: re
t
urn
isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
d
o
olae
g
e
i
s
l_
m
a
p_subtract
.
c:
t
ab_add_co
n
straint: ret
u
rn i
s
l_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_map_subtract
.
c
: tab_add_div
s
: return isl_sta
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
ven V
e
rdoolaeg
e
isl_m
a
p
_subtract
.
c: isl_diff_co
l
lector
.
add: retur
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_map_su
b
tract
.
c: tab_add_cons
t
raints: return
i
s
l_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Verdoo
l
aege
is
l
_set_foreach_ortha
n
t: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdoolaeg
e
isl_basic_set_
d
i
m
s_get_sign: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdoolaege
isl
_
basic_s
e
t_vars_g
e
t_sign: re
t
u
rn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
dool
a
ege
i
s
l_ma
p
.
c: check_map_compatible
_
range_multi_aff: re
t
u
r
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
rdoolaege
i
s
l_set_dim_resi
d
ue_class: ret
u
rn is
l
_s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Ve
r
d
o
o
l
ae
g
e
isl
_
s
e
t_dim_resid
u
e
_
class: ad
d
memory man
a
gement
annotat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verd
o
olaege
isl_basi
c
_set_dim_resi
d
ue_clas
s
: return isl_sta
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
ven V
e
rdoolaege
isl_ba
s
ic_set_dim_re
s
idue_clas
s
: add m
e
mory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Verdoolaege
isl_ma
p
.
c: add_lower_div_constra
i
nt: retur
n
isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Ve
r
d
o
ol
a
ege
i
s
l_map
.
c: add_upper_d
i
v_
c
onstrain
t
: r
e
tu
r
n
i
s
l
_s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdoolaege
isl_basic_m
a
p_fre
e
_div: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verd
o
olaeg
e
isl_tab
.
c:
add_di
v
_
c
on
s
traints: return isl_s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_tab
.
c
: perfo
r
m_undo: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoo
l
aege
isl_
t
ab_callback
.
r
u
n: return isl_s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
is
l
_tab
.
c: perform_undo_var: r
e
turn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaeg
e
isl_tab
.
c: un
u
n
re
s
trict
:
retu
r
n isl_
s
tat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verdoolaege
isl_tab
.
c
: u
n
relax: ret
u
rn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
V
e
rd
o
olaege
isl_tab
.
c: d
r
op_ro
w
: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
erdo
o
l
a
ege
isl_t
a
b
.
c: drop_col: retu
r
n i
s
l_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
e
rdoo
l
aege
isl_tab_t
r
ack_bset: return
i
sl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl
_
ta
b
_track_bmap:
return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdo
o
la
e
ge
isl_tab_add_i
n
eq: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
ven Verdool
a
eg
e
i
s
l_tab
_
mark_empty
:
r
eturn isl_
s
t
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
ven Verdo
o
l
aege
i
s
l_f
o
ld
.
c: join_com
p
atible: re
t
urn isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdoo
l
a
ege
isl_fol
d
.
c: join_compatible: adjust to isl_space_
m
atch
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_fo
l
d
.
c: jo
i
n_
c
ompa
t
ible:
rename "dim"
arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verd
o
ola
e
ge
isl_*_matching_param
s
: re
t
urn
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Ve
r
doolaege
isl
_
*_matchin
g
_par
a
ms:
a
djust
t
o isl_sp
a
ce_match ret
u
rning
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_s
p
ace
.
c:
m
a
tch: retu
r
n
i
sl_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdoolaege
i
sl_polynomial
.
c: compatible_d
i
vs
:
ret
u
rn isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
r
d
oolaege
isl_mat_is_equal: return isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
erdoolaege
isl_map_contains_point: return isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
rdoo
l
aege
i
s
l
_
verti
c
es
.
c; bset
_
cover
s
_t
a
b: r
e
turn
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
ven Verdoolaege
isl_trans
i
t
ive_cl
o
sure
.
c: isl_set_overlaps: return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verdo
o
l
a
ege
isl
_
t
ransi
t
i
v
e_closure
.
c
:
parametric_constant
_
n
e
ver
_
positive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdo
o
laege
isl_transiti
v
e_closur
e
.
c: is_e
q
_stride: retur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoo
l
aege
isl_sche
d
uler
.
c:
has_a
n
y_defin
i
ng_equality: return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
rd
o
olaege
isl
_
pw_*
_
has_equal_space:
return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolae
g
e
isl_pw_templ
.
c:
an
y
_divs: return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ver
d
oolaege
isl_tab
_
pip
.
c
:
p
arallel_constraints: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
e
n
V
e
rdo
o
lae
g
e
isl_tab_pip
.
c: need_split*
:
ret
u
rn is
l
_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
ven
V
erdoolaege
i
sl_set
_
is_bound
e
d: re
t
urn is
l
_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolae
g
e
isl_coalesce
.
c: contains: return
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
is
l
_coalesce
.
c
:
same_
d
ivs
:
return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
er
d
oolae
g
e
isl_
c
oalesce
.
c:
same_divs: a
d
ju
s
t t
o
is
l
_basic
_
map_divs_know
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
r
doolaege
isl_coalesce
.
c
:
is_affected: r
e
t
u
rn isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
e
n
Ve
r
doolaege
isl_coalesc
e
.
c:
h
a
s_n
e
sted_d
i
v: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdoolaege
isl_map_p
l
ain_
i
s_
s
ingl
e
t
o
n
: return isl_b
o
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Verdoo
l
aege
isl_
b
asi
c
_map_plain_is_single
t
on: return
i
sl
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
V
erdoolaege
isl
_
set_has
_
rational: return
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven V
e
rdoolaege
isl_m
a
p_
h
a
s
_rational
:
return
i
sl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
V
e
rdoolaege
isl_basic_ma
p
_has_rational: re
t
urn
isl_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
V
erdoolaege
isl_basic_map_
i
s_ra
t
ional: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Ver
d
oo
l
ae
g
e
isl_basic_set_
h
as_defining_inequali
t
ies: retur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
ve
n
Verdoo
l
aege
isl_ba
s
ic_set_has_defining_equality: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdoola
e
ge
isl
_
basic_map_has_de
f
ining_equality: ret
u
rn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Ver
d
ool
a
eg
e
isl_basi
c
_{map,
s
e
t
}
_is_div_co
n
s
traint: return
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en
Verdoola
e
ge
i
sl_ma
p
_simplify
.
c
: single
_
unk
n
own: re
t
ur
n
isl_b
o
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en V
e
rdoo
l
aege
isl_m
a
p_s
i
mpli
f
y
.
c: has_coef_one
:
return i
s
l
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Ver
d
oola
e
g
e
isl_map_sim
p
lify
.
c:
i
s_opposite: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next