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
add isl_union_set_every_set
2018-09-02
Sven Ve
r
doolaege
a
d
d isl_union_set_eve
r
y_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
s
l_trans
i
tive_closure
.
c: add_length: reus
e
inc
r
ement
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_tr
a
n
sitive_closure
.
c: move up increment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
o
la
e
ge
isl_transitive_c
l
o
sur
e
.
c: i
n
crement: return isl_map
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
t
rans
i
tive_closur
e
.
c: incremen
t
: clean up space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
is
l
_transitiv
e
_closu
r
e
.
c
: map_power: us
e
stricter test
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
ege
isl_map_deltas_ma
p
:
extra
c
t
out i
s
l_
m
ap_check
_
equal_tu
p
les
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl
_
schedule_node
.
c
:
co
l
lect
_
fi
l
ter_prefix*: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl
_
convex_hull
.
c: hash
_
b
a
sic_set: return is
l
_
s
tat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
is
l
_
transitive_closure
.
c: add_le
n
gt
h
: return isl_s
t
at
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
output
.
c: next_is_opposi
t
e: return isl
_
s
t
at
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_coal
e
sce
.
c: add_subs: ret
u
rn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl
_
convex_hu
l
l
.
c:
uset_is_bound:
re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
olaege
is
l
_transitive_closur
e
.
c: check_exactness_omega: re
t
urn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verd
o
olaege
isl_transitive_closure
.
c: is_acyclic: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
r
d
o
olaege
isl_sched
u
le_ba
n
d
.
c: has
_
*:
r
eturn i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ast_bu
i
ld_
n
eed
_
sch
e
dul
e
_ma
p
: r
e
turn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
ge
isl_morph
.
c: identity_on_param
e
ters: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl
_
m
at_is
_
scale
d
_identity: retur
n
isl_b
o
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_ra
n
ge
.
c
: propagate_on_domain: re
t
urn i
s
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
p
w_qpolynomial_fold_
c
overs: return isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_vertices
.
c: can_
s
elect: return
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_vertices
.
c: is_
i
ndepen
d
ent: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_ast_c
o
degen
.
c:
a
fter_i
n
_
*
: return
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
dool
a
e
g
e
isl
_
input
.
c: tu
p
le_
h
as
_
expr: retu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_schedule_node
.
c: loca
l
l
y
_
cov
e
red
_
by_domain: r
e
turn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoola
e
ge
i
s
l_tra
n
sitive
_
c
los
u
re
.
c: i
n
crement
a
l
_
o
n
_entire_d
o
main
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdool
a
ege
isl_tr
a
nsit
i
ve_closure
.
c: has_spurious_
e
lements: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdool
a
ege
i
sl_
t
ransitive_closure
.
c: empty_path_i
s
_identit
y
: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
sl_constraint_is_
d
i
v_constraint: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
laege
isl_schedule_node
.
c
:
has_
a
ncestors: return isl_boo
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_poly_is_c
s
t
:
r
e
t
urn isl
_
b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl_po
l
ynomial
.
c: s
e
t_active:
r
et
u
r
n isl_s
t
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdoolaege
isl_po
l
y_is_{n
e
g,}
o
ne: return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaeg
e
isl_qpolynomial_is_{aff
i
ne,cst}:
retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_poly_is_{neg,
}
in
f
ty: return
isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolae
g
e
isl_poly_i
s
_nan: retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
e
rdoola
e
ge
isl_po
l
y_is
_
zero: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
is
l
_qpolynomial_ge
t
_den:
i
mprove error h
a
n
d
ling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdoolaege
isl_qpolyno
m
ial_get_den: return
isl_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sv
e
n
V
erdoolae
g
e
rename isl_upoly t
o
isl
_
p
o
l
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdoolaege
introdu
c
e
e
xplicit isl_
d
im
_
map
_
fr
e
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaeg
e
isl
_
mult
i
_*_factor_range: use correct dimension type
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
V
e
rdoolaege
isl
_
basic_map_
i
nser
t
_dims: crea
t
e empty basi
c
map d
i
rect
l
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en Verdoola
e
ge
pip
.
c: extr
a
c
t out move
_
p
a
ramete
r
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
expose isl_union_set_proj
e
ct_out_all_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdo
o
lae
g
e
ext
r
act out share
d
isl_space
_
drop_
a
ll_p
a
rams
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdo
o
laege
isl_ast
_
b
u
ild_get_spa
c
e: reuse is
l
_ast_build_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verd
o
olaege
isl_
a
st
_
buil
d
_prod
u
ct:
reuse isl_ast_build_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sv
e
n V
e
rdoolaege
i
s
l_
a
st_build
_
g
et_schedule_map_multi_aff
:
reus
e
i
sl_ast_buil
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Verdoolaege
isl_ast_b
u
ild
_
need_schedule_map: reuse
i
sl_ast_build_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoola
e
ge
isl_ast_bui
l
d_set_iterator
s
: reus
e
is
l
_ast
_
build_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ve
r
doolaege
e
x
tract ou
t
shared isl_b
a
sic_set_c
h
e
c
k_
n
o_locals
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
ve
n
Verdoolaege
extr
a
ct out shared isl
_
ba
s
ic_set
_
c
h
eck_no_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-30
Tobias
G
rosser
isl_
s
pace_can_uncur
r
y:
i
mp
l
e
me
n
t with isl
_
spa
c
e_range_i
s
_
w
ra
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-30
T
o
bias G
r
oss
e
r
isl_spa
c
e_c
a
n_curry:
i
mplemen
t
with isl_spac
e
_d
o
mai
n
_is_w
r
apping
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Grosser
isl_spa
c
e_is_wrapping: a
d
d missing
c
omm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
e
x
tr
a
c
t out
s
hared isl_point_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ve
n
Verdoolaege
extr
a
ct
o
u
t s
h
ared is
l
_point_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
dool
a
eg
e
extract out sh
a
red isl_point_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract o
u
t
s
h
ared isl
_
pw_multi_aff_check_r
a
n
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_aff_involves_dims:
e
xtract out i
s
l_aff_check_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
extract out
shared isl_set_check_r
a
n
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rd
o
ola
e
ge
e
x
tract o
u
t shared
i
sl_
b
a
sic
_
set_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract out
shared isl_qpolynomial_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
aege
ex
t
ract out s
h
ared isl
_
term_che
c
k_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
extra
c
t out shared is
l
_mult
i
_*_check
_
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
isl_l
o
cal_che
c
k_pos:
e
xtr
a
c
t
out isl_loc
a
l_c
h
eck_ra
n
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
extract
ou
t
shared isl_constr
a
in
t
_
c
h
eck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
extract out shared isl_local_space_c
h
eck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoo
l
aege
e
x
tract out
s
h
a
red i
s
l_spa
c
e_
c
heck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
merg
e
isl*map_che
c
k_ran
g
e imple
m
en
t
ations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Ver
d
oolaeg
e
isl_b
a
s
i
c_m
a
p_pl
a
i
n
_
g
et_val_
i
f
_
fixed: reu
s
e isl
_
map_che
c
k
_
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
isl_map_fix: r
e
use isl_map_check
_
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoola
e
ge
isl_
m
a
p
_
fix_si: reuse isl_map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
la
e
ge
isl_map_op
p
ose: reuse
isl_map_
c
heck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolae
g
e
isl_map
.
c
:
map_bound_
s
i
: reuse is
l
_map_chec
k
_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doola
e
ge
isl_map
.
c: map_bou
n
d: re
u
s
e
i
sl_map_ch
e
ck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_map_fix_val: re
u
se isl_m
a
p_ch
e
ck
_
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
d
oolaege
isl_basic_map_
s
wap_var
s
: reuse isl_basic_map_check
_
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
isl_bas
i
c_map_pr
e
im
a
ge_vars:
re
u
se isl_basic_ma
p
_check
_
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl_basic_
m
a
p_eliminate: r
e
use isl_basic_map_chec
k
_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_tran
s
form
_
dim
s
:
r
eu
s
e
i
s
l_ba
s
ic_map_ch
e
ck_ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_basic_map_dro
p
_core: re
u
se isl_bas
i
c_m
a
p
_
check_rang
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olae
g
e
isl_basic_map_has_defining_equal
i
t
y
:
reuse isl
_
b
a
sic
_
map
_
che
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Ver
d
oolaeg
e
privately expose isl_basic
_
map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_b
a
sic_ma
p
_drop_div: im
p
le
m
e
n
t
in term
s
of
isl
_
basic_map_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
is
l
_
b
as
i
c_map_drop: ex
t
ract out i
s
l_
b
asic_map_drop_cor
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdoolae
g
e
i
sl
_
basic
_
map_drop: drop
e
rror label
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
i
s
l_
b
as
i
c
_map_dro
p
_di
v
: drop remo
v
a
l of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Verdool
a
ege
isl_m
a
p
_
sim
p
l
i
f
y
.
c: remo
v
e
_
red
u
ndan
t
_divs: drop
div
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
privately ex
p
or
t
is
l
_
b
asic_map_drop_co
n
stra
i
nts_involvin
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
ae
g
e
isl_bas
i
c
_
m
ap_drop_
c
onstraints_involvin
g
: move
out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
er
d
oolaeg
e
isl_b
a
s
ic_map_o
f
f
s
et: extract ou
t
isl_basi
c
_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
isl_b
a
sic_map_offset
:
u
s
e isl_basic
_
map_peek_spa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
d
o
olaege
i
sl
_
basi
c
_map_
o
ffset: use isl_space_offset
and
isl_sp
a
ce_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rd
o
ol
a
ege
i
sl_basic
_
ma
p
_co
n
tains_point:
u
se isl
_
local_
e
xtend
_
p
oint
_
vec
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
o
ola
e
ge
p
ri
v
ately export isl_local_a
l
loc_from
_
mat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
expose isl_local
_
free
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
T
o
bias Grosser
i
sl_un
i
on_map_invo
l
ves_dims: use isl_
b
ool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next