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_coalesce.c: add_subs: return isl_stat
2018-09-02
S
ven Verdoo
l
aeg
e
is
l
_coalesce
.
c: add_subs:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
sl_co
n
vex
_
hull
.
c: uset_
i
s_bound: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
e
r
dool
a
ege
is
l
_transitive_cl
o
s
u
re
.
c: check_exactness_omega: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l_transiti
v
e_cl
o
sure
.
c: is_acycl
i
c: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_sch
e
dule_band
.
c
:
has
_
*
:
re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
isl_
a
st
_
build_need_schedule_map:
return
i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_mo
r
ph
.
c
: iden
t
it
y
_on_parameters: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
i
s
l_ma
t
_is
_
scal
e
d_identity: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_range
.
c: propaga
t
e_on_domain: return i
s
l_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oolaege
isl_pw
_
qpolynomial_fold_covers:
re
t
urn isl_boo
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
is
l
_
v
ertices
.
c
: ca
n
_
select: ret
u
rn
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
ve
r
tices
.
c:
i
s
_
in
d
e
p
endent: return isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ast_codege
n
.
c: aft
e
r_in_*
:
return is
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
isl_inp
u
t
.
c
: tuple_ha
s
_expr: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_schedu
l
e_node
.
c
: loca
l
ly_cove
r
ed_b
y
_
domain: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolae
g
e
isl_transi
t
ive_closure
.
c: i
n
crem
e
ntal_on_entire
_
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
r
d
oolaege
isl_
t
rans
i
tive_closu
r
e
.
c
:
has_spurio
u
s_elements: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
isl_transitive_closur
e
.
c
:
empty_
p
at
h
_is_identi
t
y: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_constraint_is_div
_
c
o
n
s
train
t
: return
i
sl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_sc
h
edule_nod
e
.
c: has
_
ancesto
r
s: re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
p
o
ly_i
s
_cst: retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_polynomia
l
.
c:
s
e
t
_
a
ctive: r
e
turn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl
_
poly_is_{n
e
g
,
}
one
:
return isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
i
sl_qpol
y
nomi
a
l_i
s
_
{
a
f
f
i
ne,cst
}
:
r
eturn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaeg
e
i
sl_po
l
y_is_{neg,}infty
:
return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
V
e
rdoo
l
a
ege
isl_pol
y
_is_
n
an: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Ve
r
doo
l
aege
isl_
p
oly
_
is_
z
er
o
:
retur
n
isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
Verdoolaege
isl_qpolynomia
l
_get_den:
improve error
h
a
n
d
ling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdo
o
laege
isl
_
q
p
olynom
i
al_ge
t
_den: r
e
turn isl_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
ve
n
Verd
o
ol
a
ege
r
e
name
i
sl_upoly to isl_p
o
l
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdoolaege
i
ntroduc
e
explicit i
s
l_dim_map_free
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_
m
ul
t
i_*_factor_ran
g
e: use correct dimen
s
ion type
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdool
a
ege
is
l
_basic
_
m
a
p_insert_dims:
c
reat
e
empty
b
a
sic map di
r
ectly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
pip
.
c: extra
c
t out mo
v
e_param
e
ters
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoo
l
aege
expose isl_union_se
t
_pro
j
ect_o
u
t_all_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdo
o
l
a
eg
e
extract out sha
r
e
d
isl
_
space_d
r
o
p_all
_
params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
r
d
ool
a
ege
i
s
l_ast_build_get_spa
c
e: reuse isl_ast_bui
l
d_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Verdool
a
ege
i
s
l_a
s
t_build_produ
c
t: reuse isl_ast_build_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdoolaege
i
sl_ast_build_get_schedule_map_multi_
a
ff: reuse isl_ast_bui
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ve
r
d
oolaege
isl_ast_b
u
ild_need_sch
e
dule_map: reuse isl_ast_
b
uild_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
V
e
rdoolaege
i
s
l_ast_build_set_iter
a
tors
:
reuse isl_ast_
b
uild_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ve
r
doolaege
extra
c
t out shared isl_basic_set_check_no_lo
c
als
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ve
r
doolaege
extract out shared isl_basic_set_check_no_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Grosser
isl_s
p
ace
_
c
a
n_uncurry:
impleme
n
t
with
isl_sp
a
ce_range_is_wra
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-30
Tobias
G
r
osser
i
sl
_
spac
e
_can_cur
r
y: im
p
lement with isl_
s
p
a
ce
_
domain_is_wrapping
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-30
Tobi
a
s
Grosser
i
s
l_space_is_wrapping:
add missing c
o
mment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
extrac
t
out shared isl_poin
t
_var
_
offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract out
s
h
a
red i
s
l_p
o
in
t
_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
ex
t
ract out shared i
s
l_point_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
extract
o
ut shared isl_pw_multi_aff_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
V
e
rdo
o
la
e
ge
isl_aff_in
v
olves_
d
ims: extract
o
ut isl_aff_check_rang
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
e
xtract out sh
a
re
d
is
l
_
s
et_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract out sh
a
r
ed i
s
l_b
a
sic_s
e
t_check_ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
ex
t
ract ou
t
shared isl_qpo
l
ynomial_chec
k
_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extr
a
ct
out shar
e
d isl_term_check_ra
n
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
extract out shared
isl_multi_*_
c
heck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verd
o
olaege
is
l
_local
_
c
h
eck_pos: extra
c
t out isl_l
o
cal_check_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
extract out s
h
a
red isl
_
constraint_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolae
g
e
ext
r
a
c
t out shar
e
d isl_local_space_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven
Verdoolaege
extract out shared i
s
l_
s
pace_c
h
eck_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
Verdoolaege
merge isl*map_
c
heck_rang
e
implementations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdool
a
ege
isl_basic
_
map_plain_get_val_if_f
i
xed: reuse isl_
m
ap_check_ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoo
l
aege
isl_map
_
f
i
x: reuse i
s
l_map_check_ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Verdoolae
g
e
i
s
l_map_fix_si: reuse isl_map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
isl_
m
ap_
o
ppose: reuse i
s
l_
m
ap_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl
_
map
.
c: map_bou
n
d_si
:
reuse
isl_m
a
p_c
h
eck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl_map
.
c:
ma
p
_bound: reuse i
s
l_map_check
_
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdo
o
laege
isl_map_fix_val: reus
e
i
sl_map_ch
e
ck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_ba
s
ic_map_swap_vars:
r
e
use
i
sl_basic_ma
p
_chec
k
_
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl_basic_map_prei
m
age_vars:
reuse isl_basic_map_c
h
eck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdo
o
l
aege
isl_basic_map_eli
m
inate: r
e
use isl
_
ba
s
ic_map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolae
g
e
is
l
_
b
asic_ma
p
_t
r
a
n
sform_d
i
ms: r
e
use isl_basic_map_c
h
eck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven V
e
rdo
o
l
aege
isl_basi
c
_ma
p
_
drop
_
core: reuse
i
sl_bas
i
c_map_chec
k
_
ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdo
o
laege
isl
_
bas
i
c_map_has_defin
i
ng_
e
quality:
r
euse i
s
l_
b
asic_map_che
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaeg
e
privately
e
xpose isl_
b
as
i
c_map_check_ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolae
g
e
isl_
b
asic_map_drop_div: implemen
t
in terms
of
i
sl_b
a
sic_map_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
erdoolaege
isl_basic_ma
p
_
drop
:
e
x
tract out
i
s
l_basic_map_d
r
op_core
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_
b
asic_map_
d
rop: drop
e
rror label
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verd
o
olaege
isl_basic_map_drop_div:
d
rop removal
o
f constra
i
n
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolae
g
e
isl_map_simplif
y
.
c: remove_redun
d
ant_
d
ivs: drop div
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Ver
d
oolaege
priv
a
tely export isl_basic_map
_
drop_constraints_inv
o
lving
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdo
o
laege
i
s
l_ba
s
ic_map_drop_constraints
_
involvi
n
g: move out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
r
doolaege
isl_basic_map_offset: extract out
isl_basic_m
a
p_
v
ar_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_offset:
use
i
sl_ba
s
ic_map_peek_spac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
o
olae
g
e
isl_ba
s
i
c
_ma
p
_o
f
fset
:
use isl_space_offset and isl_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
V
erdoolaege
i
s
l_basic_map_contains_
p
oint: use isl_local_extend_point_
v
ec
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven V
e
rdoolaeg
e
p
rivate
l
y exp
o
rt i
s
l_loca
l
_
alloc
_
from
_
m
at
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
expose isl_local_f
r
ee
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
T
obias G
r
os
s
e
r
isl_
u
n
i
on_map_invol
v
es_dims: use isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gross
e
r
isl_un
i
on_m
a
p
.
c
:
map_exclu
d
es: use isl
_
b
o
ol_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
T
obias Gros
s
er
isl_union
_
map_i
s
_strict_subset: us
e
isl_
b
ool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
schedule
r
.
c:graph_has_edge: use
i
sl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_map_is_str
i
c
t_
s
ubset: use isl
_
b
o
o
l
_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
T
obi
a
s Grosser
is
l
_basic_map_
i
s_stri
c
t_s
u
bset
:
use
isl_bo
o
l_
n
ot
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
G
rosser
basic_m
a
p
_follows:
u
se isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n V
e
rdoolae
g
e
isl_map
.
c
:
add_constrain
t
s: use is
l
_basic_m
a
p_add_constrai
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
is
l
_
sche
d
ule_no
d
e
_
has_parent: reuse
i
sl_schedule_node_ge
t
_tr
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
V
erdoolae
g
e
is
l
_q
p
o
lynomial_cs
t
_on_do
m
ain
:
reuse isl
_
qpolynomia
l
_z
e
ro_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoo
l
aege
isl_qpolynomial_val_o
n
_do
m
ain:
r
euse
i
sl
_
qpolynomi
a
l_zero_o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Verdoolaege
i
s
l_qpolynomial
_
rat_cst_on_
d
o
m
ain: reuse
i
sl_qpolynomial_zer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next