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_transitive_closure.c: map_power: use stricter test of valid input
2018-09-02
S
v
en Verdoola
e
ge
isl_transitive_closu
r
e
.
c: map_power: use stricter t
e
s
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oola
e
ge
isl_
m
ap_d
e
ltas_
m
a
p: ext
r
act
o
ut is
l
_m
a
p_chec
k
_equal_tup
l
e
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl
_
schedule_node
.
c: collect_filter_prefix*
:
r
e
turn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_c
o
nvex_hull
.
c: hash_basic_set:
r
et
u
rn
isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_tran
s
itive_closure
.
c: add_length: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l
_
outp
u
t
.
c: next_is
_
opposite
:
ret
u
rn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_coale
s
ce
.
c: add_sub
s
: return isl_
s
tat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdool
a
ege
isl_convex
_
hull
.
c: uset_is_bo
u
nd: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oola
e
ge
isl_
t
ra
n
sitiv
e
_closure
.
c
:
check_ex
a
ctne
s
s_omega
:
retu
r
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_transitive_cl
o
sure
.
c
: is_acyclic: return
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
isl_schedule_band
.
c
:
h
as
_
*
:
ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laege
isl_ast_bu
i
ld_need_sche
d
u
le
_
map: r
e
t
urn isl_b
o
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_morph
.
c: ide
n
tit
y
_on_pa
r
ameter
s
:
r
eturn isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_mat_is_scaled_ident
i
t
y:
r
eturn
isl_boo
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olaege
isl_range
.
c: propagate_on_do
m
ain: return isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
sl_pw_qpolynomial
_
fold_c
o
vers:
r
e
tu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
er
d
oolaege
i
s
l_v
e
rti
c
es
.
c
:
can_select:
r
etu
r
n
i
s
l_boo
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_vertices
.
c: is_independent: retur
n
isl
_
bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
a
st_cod
e
g
e
n
.
c: after_in_*
:
r
e
turn isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_input
.
c:
t
uple_has_expr: ret
u
rn isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_
s
chedule
_
nod
e
.
c: locally_covered_by_domain: retur
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdool
a
ege
isl_tran
s
it
i
v
e
_closure
.
c: inc
r
emental_on_entire_do
m
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_trans
i
t
ive_clo
s
ure
.
c:
h
as_spurious_e
l
emen
t
s: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl_tran
s
itive_closure
.
c: empty_
p
ath_is_identity:
return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
is
l
_constraint_i
s
_div_constraint:
retu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoola
e
ge
i
sl_schedule_
n
ode
.
c: has_ancestors:
return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_poly_i
s
_cst
:
return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
ool
a
e
ge
i
sl_polyn
o
mial
.
c:
set_ac
t
ive
:
return
isl_s
t
at
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_poly_
i
s_{ne
g
,
}
o
n
e: return is
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
s
l_q
p
olynomi
a
l
_is_{affine,cst
}
:
r
e
tu
r
n
isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erd
o
olaege
isl_poly_is_{neg
,
}
i
n
ft
y
: retu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verd
o
olae
g
e
isl_poly_is
_
nan: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
Verdoo
l
aege
isl_poly
_
is_zero: return isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
i
s
l_qp
o
lynomial_get_den: im
p
rove error
h
andling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ver
d
oolaege
isl_qpolynomial_get_den
:
return i
s
l_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
rename isl_up
o
ly to isl_
p
o
l
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ver
d
oolaege
i
n
troduce explici
t
isl_dim_
m
ap_
f
ree
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
ven
V
e
rdoolaege
isl
_
multi_*_fa
c
tor_range: use cor
r
ect dimension
type
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
v
e
n
Verdoolaege
isl
_
basic_
m
ap_insert_di
m
s: cr
e
ate empty
b
asic map directly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
e
r
do
o
laege
pip
.
c: ex
t
rac
t
out m
o
ve_parameters
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdoolae
g
e
expose isl
_
union_set_
p
roject_out_all_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolae
g
e
extrac
t
out shared i
s
l_space_drop_all_p
a
rams
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdoola
e
ge
isl
_
ast_build_get
_
space:
reu
s
e is
l
_ast_build_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
v
e
n
Verd
o
ol
a
ege
i
s
l_ast_buil
d
_prod
u
ct
:
reuse isl_
a
st_build_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en V
e
r
doolaege
isl_ast_build_get_
s
c
h
e
d
ule_map_mu
l
ti_aff:
r
euse i
s
l_ast_buil
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
v
e
n
Verdoolaege
i
s
l_ast
_
bu
i
l
d
_need_sche
d
ule
_
map:
r
euse isl_ast_buil
d
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_ast_build_set_iterators: re
u
se
i
sl_ast_build_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdoolaege
e
xtract
out shar
e
d isl_basic
_
set_
c
heck_no_locals
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
e
r
d
o
olaege
extract out s
h
are
d
isl_bas
i
c_set_ch
e
c
k
_no_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
e
x
tr
a
ct out share
d
isl_point_var_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doo
l
ae
g
e
extract out
s
hared isl_p
o
in
t
_che
c
k
_
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
o
olaege
extract ou
t
sh
a
red isl_po
i
nt_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
extract ou
t
shar
e
d isl
_
pw_
m
u
l
ti_af
f
_che
c
k
_ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_a
f
f
_inv
o
lves_dims: extract out isl
_
af
f
_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Ve
r
doolaege
extract out
sha
r
ed isl_set_check_r
a
nge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Ve
r
doolaege
extract
o
ut s
h
ared isl_basic_s
e
t_check
_
ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract out
s
har
e
d isl_qpoly
n
omial_check_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en V
e
r
doo
l
aege
extra
c
t out shared
i
sl_term_c
h
eck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
extrac
t
out s
h
a
r
e
d isl_multi_*_check_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoo
l
aege
isl_local
_
c
h
eck_pos: extract out
i
sl_
l
o
cal_check
_
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
extract out shared i
s
l_constr
a
int_
c
he
c
k_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
ext
r
act out shar
e
d isl_lo
c
al_space_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
V
erdo
o
l
aege
e
x
trac
t
out shared isl_space_
c
hec
k
_
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verd
o
olaege
m
e
rge
isl*map_check_range implementations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
isl_bas
i
c_ma
p
_plain_ge
t
_val
_
if
_
fixed: reuse isl_map_
c
heck
_
r
a
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ve
n
Verdoolaege
isl_map_fix: reuse isl_map_check
_
ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolae
g
e
isl_map_fix_si: reuse isl
_
map_check_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_map_oppo
s
e: re
u
se isl
_
map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoo
l
ae
g
e
isl_map
.
c: map_bound_si: reuse isl_map_c
h
eck
_
ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oo
l
aeg
e
isl
_
map
.
c: map_boun
d
: reuse isl_map_che
c
k
_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_map_
f
ix_val: reuse isl
_
m
a
p_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
isl
_
basic
_
map
_
swa
p
_vars: r
e
use isl_basic_map_check_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
s
l_basic_map_preimage
_
v
ars: reu
s
e isl_basic_map_check_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
is
l
_
b
asic_map_eli
m
inate:
r
euse
isl_basic_ma
p
_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
is
l
_
b
asic_map_t
r
an
s
form_dims: reuse isl_basic_m
a
p_
c
heck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdoolaege
isl_bas
i
c_m
a
p
_
drop_cor
e
: reuse isl_basic_map_check_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laeg
e
isl_bas
i
c_map
_
has_defining_equality: reuse isl_basic_map_c
h
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oola
e
ge
privately expose isl_basic
_
m
a
p_
c
heck_r
a
nge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdo
o
laege
i
s
l_ba
s
ic_map_dro
p
_
d
i
v:
i
m
p
l
eme
n
t in terms of isl_basic_map_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_drop: extra
c
t out isl_ba
s
ic_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_basic_map_drop: drop error labe
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en V
e
rdoo
l
a
e
ge
isl_basic_map_drop
_
div:
d
r
op removal
o
f cons
t
r
aints
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl
_
map_sim
p
lify
.
c: re
m
ove
_
r
edund
a
nt_d
i
vs: drop div
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
p
riv
a
tely exp
o
rt isl_b
a
sic_
m
ap_drop_
c
onstrai
n
ts_in
v
olving
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Ve
r
doolaege
isl
_
b
asic_ma
p
_drop_constraints_inv
o
lv
i
n
g
: move
o
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_basic
_
map_of
f
s
e
t:
e
x
t
r
ac
t
o
u
t
isl_b
a
sic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
isl_basic_map_offs
e
t: use
isl_
b
a
s
i
c
_map_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
isl_bas
i
c_map_offset: use isl
_
space_offset an
d
isl_
s
pace_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
Verdoolaege
isl_basic
_
map_conta
i
ns_point: use isl_local_extend_point_ve
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
privately export
isl_local_al
l
o
c
_from_m
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
expose is
l
_local_free
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl
_
m
a
p
.
c
:
add_con
s
traints:
use isl
_
basic_map
_
add_co
n
straint
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
sl_sche
d
u
l
e
_node
_
h
a
s_parent: r
e
use isl
_
schedul
e
_node_get_tr
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
i
s
l_qpolynomial_cst_on_domain: reuse isl_q
p
olyn
o
mial_ze
r
o_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaeg
e
isl_qpoly
n
o
m
ia
l
_val_on_
d
omain: r
e
use isl_qpolynomial_zero_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdo
o
laege
is
l
_qpo
l
ynomi
a
l_rat_c
s
t_on_domain:
r
e
u
s
e isl
_
qpolynomial_zer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdo
o
la
e
ge
is
l
_polynomial
.
c: extract o
u
t s
h
ared domain_typ
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
o
o
laeg
e
isl_test
.
c: remove some code duplication
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erd
o
o
l
a
e
ge
isl_basic_s
e
t
_opt:
reuse is
l
_basic_se
t
_get_d
i
vs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl_
t
ab_pip
.
c: imple
m
en
t
split i
n
ter
m
s of spli
t
_
d
o
ma
i
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next