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_map_solve_lp: use isl_map_dim
2018-09-02
Sven Verdoolaege
add
i
sl_union_set_e
v
ery_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doolaege
isl_tr
a
nsitive_clo
s
ure
.
c
: add_
l
eng
t
h: reus
e
increment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_t
r
a
n
sitive_closure
.
c: move up
incre
m
ent
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_transit
i
ve_closur
e
.
c: increment: return isl_map
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
o
laege
isl
_
transitive
_
cl
o
sure
.
c
:
increme
n
t: clean up space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_t
r
ansi
t
ive_c
l
o
s
ure
.
c: map
_
power: u
s
e str
i
cte
r
test
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
d
o
ol
a
ege
i
s
l_map_d
e
ltas_map: extract out isl_
m
ap_che
c
k_equal_tuples
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_schedule_node
.
c: collect
_
fil
t
e
r
_pre
f
ix*: retu
r
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_
c
onve
x
_hull
.
c: hash_basic_set
:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_transiti
v
e_
c
l
osure
.
c:
a
dd_l
e
n
g
th:
return isl_st
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c:
ne
x
t_i
s
_
o
p
posite: return i
s
l_sta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doolaege
isl
_
co
a
lesce
.
c: add_subs:
return i
s
l_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl
_
c
o
n
vex_hull
.
c
: uset_is_bou
n
d: ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_transit
i
ve_closure
.
c:
c
heck_exa
c
tness_o
m
eg
a
: re
t
urn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
g
e
isl_transiti
v
e_cl
o
sure
.
c
:
is_acycl
i
c: retur
n
isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
i
sl_schedule_band
.
c: has_*
:
re
t
urn
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
r
d
oolaeg
e
isl_as
t
_build_need_sched
u
le_
m
ap: ret
u
r
n isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl_m
o
r
ph
.
c: identity_on_parameter
s
: r
e
turn is
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
oolaege
isl_
m
at_is_scaled_identity
:
retu
r
n isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_ran
g
e
.
c:
propagate_on_domain: ret
u
r
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdool
a
eg
e
isl_pw_
q
polynomial_fold_covers:
r
etur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
s
l
_
vertices
.
c: can
_
s
e
lect:
re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
sl_vertices
.
c: is_independent: return
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl
_
as
t
_
c
od
e
gen
.
c: after
_
in_*: retur
n
isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_input
.
c: tuple_h
a
s_expr: retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdoolae
g
e
isl_schedul
e
_node
.
c: locally_c
o
v
e
red_by_domain: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdo
o
la
e
ge
isl_t
r
ansitive_closure
.
c
:
increm
e
n
tal_on_
e
ntire_doma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
transitive_cl
o
sur
e
.
c
:
has_spuriou
s
_
elements: ret
u
rn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verd
o
olaege
isl_tra
n
sit
i
ve
_
c
l
osure
.
c
:
empty_pat
h
_is
_
identity: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoo
l
aege
isl_constraint_is_
d
iv_constraint: re
t
ur
n
isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_schedule_node
.
c: h
a
s_a
n
ces
t
ors: return
i
sl
_
b
o
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laege
isl_p
o
ly_is_
c
st: retur
n
i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polynomial
.
c:
s
et
_
active: r
e
turn isl_s
t
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_poly_i
s
_{neg
,
}on
e
:
r
e
t
urn isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_qp
o
lynomial_is_{affine
,
cst}: return
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
i
s
l_
p
ol
y
_i
s
_{neg,}infty
:
re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ve
r
doolaege
isl_pol
y
_is
_
nan: return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdoolaege
isl_poly_is_zero: return
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
V
erdoolaege
isl_qpolynomial_get_d
e
n: improve error h
a
ndling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdool
a
ege
isl_qpolynom
i
al_ge
t
_
d
en: r
e
turn is
l
_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Ver
d
oolaege
r
ena
m
e
i
s
l_upoly to
i
sl
_
poly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en Verdoolaege
i
n
t
r
o
d
uce ex
p
licit isl_dim_map
_
f
ree
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdo
o
laege
isl_multi_*_factor_range:
use
c
orrect dimension
t
ype
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sv
e
n
V
erdoolaege
i
s
l_basic_map
_
insert
_
dims: create empty basic ma
p
directly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolae
g
e
pi
p
.
c: extra
c
t out move_parameters
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ve
r
doolaege
ex
p
ose
isl_union_set_p
r
oject_o
u
t_all_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdool
a
ege
extract out shared isl_s
p
ace_drop
_
a
l
l
_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verd
o
olae
g
e
isl_
a
st_build_get_space
:
reuse isl_ast_build_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdo
o
l
aege
isl_ast_b
u
il
d
_
product: reuse is
l
_
a
st_build_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
r
doolaege
isl_ast_build_get_s
c
hedule
_
map_mul
t
i_aff: reuse isl_ast_buil
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdoola
e
ge
isl_ast_build_need_schedule_map:
reu
s
e
isl_ast_build_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Verdoolaege
is
l
_ast_build_
s
et_itera
t
ors: reuse isl_as
t
_build_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sv
e
n Verdoolaege
extract out shared isl_basic_set_c
h
eck_no_l
o
cals
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
extract out s
h
ared isl_basic_set_check_no_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-30
Tob
i
a
s
Grosser
isl_space
_
can_unc
u
r
r
y: implem
e
nt with
i
sl_space
_
r
a
nge_is
_
wra
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-30
T
obias Grosser
isl_space_can_curry: implement wi
t
h
isl_space_domain_is_w
r
app
i
ng
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Gr
o
sser
isl_space_is_wrapping:
add
m
i
ssing
com
m
e
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
extract out shared isl_p
o
in
t
_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erd
o
olaege
extrac
t
out share
d
isl
_
point_check_r
a
ng
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
extract
out
sh
a
red isl_p
o
int_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolae
g
e
extract out
s
hared i
s
l_pw_multi_aff_check_r
a
nge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolae
g
e
isl_aff_involves
_
dims: ext
r
ac
t
o
ut isl_aff_chec
k
_r
a
nge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract
o
u
t sha
r
e
d
isl_set_ch
e
c
k_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolae
g
e
e
x
tract out shared isl_basic_s
e
t_check_r
a
nge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
V
erdoolaeg
e
extract out
s
h
ared isl_qpolynomi
a
l_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erd
o
olaeg
e
ex
t
rac
t
out shar
e
d
i
sl_term_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdo
o
l
a
ege
e
x
tr
a
ct out sha
r
ed isl_multi_*_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
dool
a
ege
isl_local_
c
h
e
ck_pos:
e
xtra
c
t out
i
sl_l
o
cal_check
_
ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
ext
r
act out sh
a
red i
s
l_constraint_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoo
l
ae
g
e
extr
a
ct out shared isl_local_space_check_r
a
n
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extra
c
t out shared
isl_space_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
merge i
s
l*
m
a
p
_
c
h
eck_range implement
a
t
i
ons
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Ve
r
d
o
olaege
i
s
l_basi
c
_map_plain_
g
et_val_if_fixed: reuse isl_map_check_rang
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verd
o
ol
a
ege
isl_map_fix: reuse isl
_
map_check_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_fix_si: re
u
se isl_
m
ap
_
check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdo
o
laeg
e
is
l
_ma
p
_oppose: reuse isl_map
_
chec
k
_r
a
nge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
o
olaege
isl_map
.
c: map_boun
d
_s
i
:
reuse isl_map_check_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl_map
.
c: map_bound: reuse isl_
m
ap
_
check_ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Ve
r
doolaege
isl_map_fix_val: reuse isl_map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en V
e
rdoolaege
isl_basi
c
_map_swap_vars: reuse
isl_basic_map_check_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oola
e
ge
isl_basic_map_preima
g
e
_
v
a
r
s: reuse isl_
b
asic_map_check_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Verdo
o
laege
isl
_
basic_m
a
p_eli
m
i
na
t
e: reuse isl_basic_map_c
h
e
c
k_rang
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoo
l
a
e
ge
i
sl_basic_map_transform_di
m
s:
reuse isl_b
a
sic_ma
p
_
c
heck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_
b
as
i
c
_map_drop_core:
reuse isl_
b
a
s
i
c_map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven V
e
r
doolaege
isl
_
basic_m
a
p_has_de
f
ining_equali
t
y: reus
e
isl_basic_ma
p
_che
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ve
r
do
o
laege
private
l
y e
x
pose isl_basic_map_c
h
eck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
Verdoolaege
i
s
l_basic
_
map_
d
r
o
p_div: implement in terms of is
l
_ba
s
ic
_
map_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl_basi
c
_
map_drop:
extract ou
t
isl_basic
_
m
a
p_dr
o
p_core
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n V
e
rdoolaeg
e
isl_basic_map_
d
rop: drop
e
r
ror
label
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
V
e
r
doolaege
isl_basic_map_d
r
op_
d
iv:
d
ro
p
removal o
f
constraint
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
ool
a
ege
isl_map_sim
p
li
f
y
.
c: remove_r
e
d
u
nd
a
nt_divs: drop div
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Verd
o
olaege
priv
a
tely expo
r
t isl_
b
a
sic_map
_
d
r
op_constr
a
ints
_
involving
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
isl_
b
a
sic_map_d
r
op_constraints_involving: move o
u
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl_basic_m
a
p_of
f
set:
e
xtract
ou
t
isl_b
a
sic_map_va
r
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_basic_
m
ap_o
f
f
s
e
t: use is
l
_
b
asic_map_peek_
s
pace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
i
s
l
_
basic_map_offs
e
t: use isl_sp
a
ce_offset and is
l
_
s
pace_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ver
d
oolaege
isl
_
basic_map_contains_point: use isl_loca
l
_ex
t
e
nd_po
i
nt_vec
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoo
l
aege
pri
v
a
tely export isl_local
_
alloc_fr
o
m_ma
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Verdoo
l
a
ege
expose isl_local_fr
e
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobi
a
s
Gros
s
e
r
isl_
u
nion_map_involves_dims
:
use isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next