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_convex_hull.c: uset_is_bound: return isl_bool
2018-09-02
S
v
en Verdoolae
g
e
isl_convex_hull
.
c: uset_is_bound:
r
e
t
urn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_transitive_cl
o
sure
.
c
:
check_exactness_om
e
g
a
: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
is
l
_t
r
ansitive_closure
.
c: is_acyclic: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
s
che
d
ule_band
.
c: has_*: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
s
l_ast_build_ne
e
d_schedule
_
map: return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
morp
h
.
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
Verdool
a
ege
i
s
l_mat_is_sc
a
led_id
e
ntity: re
t
urn isl
_
b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_range
.
c:
pro
p
agate_on_dom
a
in: return is
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l
_pw_
q
poly
n
o
mial_fold_
c
o
v
e
r
s: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_vertic
e
s
.
c: can_s
e
l
ect:
r
e
t
urn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
ge
isl_ve
r
tices
.
c: is_independent: return isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
r
doolaege
isl_ast_cod
e
gen
.
c: after_i
n
_*: retu
r
n i
s
l_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_input
.
c: tup
l
e_h
a
s_e
x
pr
:
ret
u
rn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolae
g
e
isl_sch
e
dule_node
.
c:
l
ocally_covered_by_domain: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rd
o
o
l
aeg
e
isl_trans
i
tive_closure
.
c
:
i
ncremental_on_entire_domai
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rd
o
olaege
isl_transitive_closure
.
c: h
a
s_s
p
ur
i
ous_element
s
: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaeg
e
isl_tran
s
itive_clos
u
re
.
c: e
m
pty_path
_
i
s
_ident
i
ty: r
e
turn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_constrain
t
_
i
s_div_constraint: return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl
_
schedule_
n
o
de
.
c: has_ancestor
s
: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_poly_is_cst: return i
s
l_b
o
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdo
o
laege
i
s
l_polynomial
.
c: set_active: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
l
aeg
e
i
sl_poly_is_{n
e
g,}one: return isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
l
a
ege
i
sl_qpolynomial_is_{aff
i
n
e
,
c
st}: return
is
l
_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdoolaege
isl_poly_is_{neg,}inft
y
: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
V
erdo
o
laege
isl_p
o
ly_
i
s
_na
n
: return
is
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en Verdoolaege
i
s
l_p
o
ly_is_zero: r
e
turn isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en Verdoolae
g
e
i
sl_qpo
l
ynomial_get_de
n
: im
p
rove
e
rror handlin
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_qpolynomial_get
_
den:
r
eturn isl_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
e
r
doolae
g
e
ren
a
me isl_upoly to
i
sl_p
o
ly
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
introduce ex
p
l
ic
i
t isl_dim_m
a
p_free
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoo
l
aege
isl
_
multi_
*
_
factor_
r
a
n
ge: use
c
orre
c
t dimension type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sv
e
n Verdoolaege
isl_basic_map
_
in
s
e
r
t_dims: c
r
e
a
t
e
emp
t
y basic map dir
e
c
t
ly
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdoolaeg
e
pip
.
c:
extract ou
t
move_p
a
r
a
meters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ver
d
oola
e
ge
expose isl_union_set_project_out_
a
ll_para
m
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdoolaeg
e
extract ou
t
s
h
ar
e
d isl_space_drop_a
l
l_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_ast
_
build_
g
et_space: r
e
use isl_ast_build_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
v
e
n
Verdoolaege
isl_ast_buil
d
_
product: reuse isl_ast_build_d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ven V
e
rdoolaege
isl
_
a
s
t_buil
d
_get_sched
u
le_map_mu
l
t
i_a
f
f: re
u
se i
s
l_ast_bui
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdoolae
g
e
isl_ast_bu
i
ld
_
n
eed_schedule_map: reuse isl_ast_build_
d
im
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ven
V
e
r
d
o
olaege
isl_ast_buil
d
_set_iterators: reu
s
e isl_ast_build_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Ve
r
doolaege
extract out shared
isl_ba
s
ic_set
_
check_
n
o_locals
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
extract out sh
a
red isl_basi
c
_set_
c
heck_n
o
_param
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-30
Tob
i
as Grosser
isl_s
p
ac
e
_can_uncurry: impl
e
ment with i
s
l_s
p
a
ce_ran
g
e
_
is_wra
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-30
Tobia
s
Gross
e
r
i
s
l
_spac
e
_c
a
n_
c
urry
:
implement w
i
t
h
i
s
l_space_do
m
a
i
n_is_wrapping
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Gros
s
er
isl_space_is_wrapping: add miss
i
n
g
comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
do
o
laege
e
xtract
o
u
t shared i
s
l_
p
oint_var
_
of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoo
l
aeg
e
extract
out s
h
ared
isl_poi
n
t_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
e
xtract out
s
hared is
l
_point_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
e
xt
r
act
o
ut share
d
isl
_
pw_multi_aff_check
_
r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl
_
aff_invo
l
ves_dims: extr
a
ct out is
l
_aff_che
c
k_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Verdoolaege
ex
t
ract
o
ut shared isl
_
set
_
check_ra
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaeg
e
e
xtr
a
ct out sh
a
r
e
d
i
sl_b
a
sic_s
e
t_check_
r
ange
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
extract out shared isl_qpolynomial_
c
hec
k
_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
aege
extract out shared isl_term_chec
k
_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
extract out shared isl_multi_*_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Verd
o
olaege
isl_loca
l
_
c
heck_pos: extrac
t
o
u
t isl_loca
l
_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Ve
r
doolae
g
e
e
xtract out
shared i
s
l_c
o
ns
t
r
aint_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdo
o
l
a
e
g
e
extract out shared isl_local_sp
a
c
e
_chec
k
_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
a
e
ge
extra
c
t o
u
t shar
e
d isl
_
sp
a
ce_check
_
range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
merge isl*map
_
check
_
range imp
l
ementations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
o
o
laege
isl_basic_map_plai
n
_g
e
t
_
val_if_
f
i
xed
:
reuse isl_map
_
check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_fix: reuse isl_map_c
h
eck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_fix_si:
r
euse isl_map_che
c
k_
r
ange
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoo
l
aeg
e
isl_map_
o
ppose: reuse isl_map
_
ch
e
ck_
r
ange
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdool
a
ege
isl_m
a
p
.
c: map_bou
n
d_si: reuse isl
_
map_check_
r
ang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
is
l
_
m
ap
.
c:
m
ap
_
bound:
reuse isl_map_check
_
range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
isl_map_fi
x
_val: reuse isl_map_check_r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
i
s
l
_basic_map_swap_vars: reuse isl_ba
s
ic_m
a
p_
c
hec
k
_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Ver
d
o
o
laege
i
s
l_basic_
m
ap_prei
m
age_vars:
r
e
u
se isl_b
a
sic
_
m
ap_
c
heck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
i
sl_basic_map_elimi
n
ate: reuse isl_basi
c
_map_check_ra
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ve
r
dool
a
ege
isl
_
basic_map_transfo
r
m_dims:
reu
s
e isl_bas
i
c_map_check
_
ran
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl
_
b
asic_map_drop_core
:
reu
s
e i
s
l_basi
c
_
m
ap_
c
heck_ran
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_has_de
f
ining_equal
i
ty
:
reuse isl_basic_map
_
che
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
privately expos
e
is
l
_bas
i
c_map_check
_
range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
a
e
ge
i
s
l
_
basic_map
_
d
r
o
p_div: implement in terms of isl
_
basic_map
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_
b
asic_map_dr
o
p: extract out isl_b
a
s
i
c
_map
_
d
r
op
_
cor
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl_basic_map_d
r
op: dr
o
p e
r
ror label
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_bas
i
c_map_dr
o
p
_di
v
: drop remova
l
of cons
t
r
aints
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_simplify
.
c: remove_redundant_
d
ivs: drop
div
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
privately
e
xport isl_ba
s
ic_map_dr
o
p_const
r
ai
n
t
s
_involving
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoo
l
aege
isl_basic_map
_
d
r
o
p
_
c
onst
r
aints_in
v
olving:
m
ove out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
o
olae
g
e
isl_basic_m
a
p_
o
ff
s
et:
e
xtract
out isl_basi
c
_
map_var_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
isl
_
basic_ma
p
_offset: use isl_
b
asic_map
_
peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
is
l
_basic_map_offset: us
e
isl_spac
e
_offs
e
t and isl_space_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
sl_b
a
sic_map_cont
a
i
n
s
_
p
o
int: use
isl_local_exte
n
d_po
i
n
t_vec
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
pr
i
vat
e
ly export
i
sl_local_alloc_
f
rom_mat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
expose isl_loc
a
l_free
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
as Grosser
isl_union_
m
ap_involves_dims: use isl
_
bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
as Grosser
isl_union_map
.
c:ma
p
_exc
l
udes: use isl
_
bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gro
s
ser
isl
_
union_map_is_stric
t
_subset: use i
s
l_b
o
o
l_
n
ot
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
G
ro
s
ser
sc
h
ed
u
l
er
.
c:gra
p
h
_has_edge: us
e
i
s
l_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
Gr
o
sser
isl_m
a
p_is
_
strict
_
s
u
bs
e
t: use i
s
l_bool_
n
ot
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_basic_map_i
s
_strict_
s
u
bset: us
e
is
l
_bo
o
l_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobia
s
Gro
s
ser
basic_map_follows: use isl_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl_map
.
c
:
a
dd_con
s
t
r
aints:
u
se
i
sl_basic_map_add_constraint
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
is
l
_sche
d
ule_n
o
de_has
_
parent
:
r
euse is
l
_schedule_node_get_tr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
do
o
laege
isl_qpo
l
ynomial_
c
st_on_domain
:
reuse isl_qpoly
n
omi
a
l_z
e
ro
_
on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_q
p
olyn
o
mial_val_on_doma
i
n: reus
e
isl_qpolynomial_zero_on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Ver
d
oolaeg
e
isl
_
q
polynomial_rat_c
s
t
_o
n
_domain: r
e
use
is
l
_q
p
olynomial_zer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
do
o
laege
isl_p
o
ly
n
omial
.
c: extract out shared do
m
ain_type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next