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: add_length: reuse increment
2018-09-02
S
v
e
n Verdoolaege
isl_transiti
v
e_
c
losure
.
c: add
_
le
n
gth:
reuse increment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
is
l
_transitive_closure
.
c: move up increment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
isl_transi
t
ive_c
l
osure
.
c
: increment: return isl_m
a
p
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdool
a
eg
e
isl_tra
n
sitive_clo
s
ure
.
c: increment: clean u
p
space
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl
_
t
ransiti
v
e_closure
.
c: map
_
power: use st
r
icter
test
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
map_deltas_map: ext
r
a
c
t ou
t
i
s
l_map_check_e
q
ual_tuples
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdool
a
ege
isl_schedule_node
.
c: co
l
l
e
c
t
_filter_prefix*: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoola
e
ge
i
s
l_con
v
ex_hull
.
c: hash_basic_s
e
t: retur
n
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_tr
a
n
sitive
_
closure
.
c:
a
dd_length: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_output
.
c
:
next_is_opposite: return
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_coales
c
e
.
c: add_subs
:
return is
l
_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_c
o
nve
x
_hull
.
c: use
t
_is
_
bound: retur
n
isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
do
o
laege
i
sl_tr
a
nsitive_clos
u
re
.
c:
c
heck_ex
a
ctness
_
omega: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoola
e
ge
isl
_
t
r
a
nsitive_closu
r
e
.
c: is_acyclic: re
t
urn isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verd
o
olaege
isl_
s
chedule_
b
and
.
c: has_*:
r
eturn is
l
_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
aeg
e
isl_ast_build_need_
s
chedu
l
e
_map: return isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_mo
r
ph
.
c: iden
t
ity_on_parameters: re
t
u
r
n
isl_
b
oo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
a
ege
isl_mat_is_scaled_identi
t
y: return isl_
b
o
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_range
.
c: propagat
e
_on_domain: r
e
tu
r
n
is
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_pw_qpolynomia
l
_fold_
c
over
s
: retur
n
isl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
isl_v
e
rtices
.
c: can_sel
e
ct
:
return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl_vertic
e
s
.
c: is_ind
e
p
endent:
r
eturn is
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verd
o
ol
a
ege
i
s
l
_ast_codegen
.
c:
a
fte
r
_
i
n_*: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_i
n
p
u
t
.
c:
t
upl
e
_has
_
expr: return
i
sl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdool
a
ege
is
l
_s
c
hedule_node
.
c:
l
o
cally_
c
overed_by_do
m
ain: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl
_
transitive_closure
.
c:
i
ncremental_on_entire_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_transitiv
e
_closur
e
.
c: has_
s
purious_
e
le
m
ents: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_
t
ransitiv
e
_closure
.
c: empty_
p
ath_is_id
e
nti
t
y: re
t
urn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laeg
e
isl_constraint_
i
s
_
div_co
n
straint: r
e
t
ur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdool
a
e
g
e
isl
_
s
chedule_no
d
e
.
c
: h
a
s_ancestors:
r
eturn
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_p
o
ly_is_cst: r
e
t
u
rn isl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaeg
e
isl_pol
y
nomial
.
c:
s
et_active: r
e
turn i
s
l_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_poly
_
i
s
_{neg,}on
e
: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
ege
i
s
l_qpolynomial_is_
{
aff
i
ne,cst}: r
e
t
urn isl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven
Verdoolaege
is
l
_poly_is
_
{neg,}inf
t
y: return
isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ve
r
doolaege
isl_
p
oly_is_nan
:
retur
n
isl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ven
Verdoolaege
isl_poly_is_zero: retu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdoolaege
isl_qpolynomial_get_den: i
m
prove error handling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_qpolyno
m
i
al_g
e
t
_den: retu
r
n isl_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolae
g
e
re
n
ame isl_up
o
ly to isl_p
o
ly
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdo
o
l
aege
intro
d
uce explicit i
s
l_dim_
m
ap_
f
r
e
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdool
a
ege
is
l
_multi_*_factor_range: use corr
e
ct dimension type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
is
l
_basic_map_insert_d
i
ms:
create em
p
ty ba
s
ic
m
ap directly
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ve
r
doo
l
aege
pip
.
c: extra
c
t out move_paramete
r
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven
Verdoolaege
expose isl_union_set_project_out_all
_
param
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sv
e
n
V
erdoolaege
extract out
s
ha
r
ed isl_space
_
d
rop_all_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdoolaege
isl_ast_build_get_space: reuse isl_a
s
t_b
u
ild
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
V
erdoola
e
ge
isl_ast_b
u
i
ld_produc
t
: reuse isl_a
s
t_build_d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sv
e
n Ve
r
doolaege
isl_ast_build_
g
et_sch
e
d
u
l
e
_m
a
p_m
u
lti_aff: reuse isl_as
t
_buil
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en Verdoo
l
a
ege
isl_ast_
b
uild_need_schedule_map: reuse
i
sl_ast
_
buil
d
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
v
e
n
Verdool
a
ege
isl_
a
s
t
_buil
d
_set
_
iterators
:
reu
s
e isl_
a
st_bu
i
ld_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ve
r
doolaege
extra
c
t ou
t
s
h
ared isl_
b
a
sic_set_check_no_locals
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
r
d
oo
l
aege
extract out sha
r
ed is
l
_
b
asic_set
_
check_no_
p
arams
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-30
T
o
bi
a
s Grosser
i
s
l_s
p
ace_c
a
n
_
u
ncurry:
i
mpl
e
ment wi
t
h
i
s
l_space
_
ran
g
e_i
s
_wra
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Grosser
i
s
l
_
space
_
can
_
curry: impleme
n
t with isl_space_domai
n
_is_wrapping
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-30
Tobia
s
Gross
e
r
isl_sp
a
ce_
i
s_
w
rapping: add missing comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
e
x
tract
o
ut s
h
a
red isl_poin
t
_
v
ar_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
extrac
t
out shared isl_
p
oint_ch
e
ck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdo
o
laege
extract out
s
h
a
red isl
_
point_d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Ve
r
doola
e
ge
ext
r
ac
t
o
ut shared
i
sl
_
pw_multi_a
f
f_check_ran
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
V
erdoo
l
a
e
g
e
isl_aff_i
n
volves_dims: extract out
isl_
a
f
f
_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
extr
a
ct out
s
hared isl_set_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
extract out shared i
s
l_
b
asic_set_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
e
g
e
e
xtr
a
ct out shared isl_qpolynomial_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
doolaege
extract out shared isl_term_ch
e
ck
_
range
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_multi_*_check_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
i
s
l_l
o
cal
_
check_pos: extra
c
t
out isl
_
lo
c
al_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
ext
r
act out shared isl_constraint_check_ran
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract out share
d
isl_loc
a
l_sp
a
ce
_
check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolae
g
e
extr
a
ct
o
ut sh
a
red i
s
l_space_check_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
merge isl
*
map_check_range
implementations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl_ba
s
ic_map_pla
i
n_get_val_if_fixe
d
: reuse isl_
m
ap_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
er
d
oolaege
isl_m
a
p_fix:
r
eus
e
isl_
m
ap_check_ra
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
Verdoolae
g
e
i
s
l_map_fi
x
_si: reu
s
e 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
erdoolaege
is
l
_map_oppose:
reuse
i
s
l_
m
ap_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map
.
c: map_bound_
s
i:
reuse
isl_map_check_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
d
o
olaeg
e
i
s
l_map
.
c: ma
p
_bound: r
e
u
s
e
isl_
m
ap
_
c
heck_ra
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aeg
e
isl_map_fi
x
_val: reus
e
i
sl_map_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basi
c
_map_swa
p
_
v
ars:
r
euse isl_basic_map_c
h
ec
k
_ran
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ver
d
oo
l
ae
g
e
isl_basic_m
a
p_preima
g
e_vars:
reuse i
s
l_b
a
sic_map_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_basic_m
a
p_eli
m
ina
t
e: reuse isl_
b
asic_map_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoo
l
aege
i
s
l_basic_map_tran
s
form_dims: reuse isl_b
a
sic_map_check_
r
ange
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdool
a
ege
isl_
b
asic
_
map_drop_core: reuse
i
sl_b
a
s
i
c_ma
p
_
c
heck
_
ra
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl_basic_map_
h
as_defini
n
g_e
q
uality: reuse
i
sl_basic_map
_
che
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Verdoolaege
privately expose isl_bas
i
c
_
ma
p
_
c
h
eck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_ba
s
ic_
m
ap_drop_div: i
m
p
l
em
e
n
t
i
n
terms of isl_basic_m
a
p_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdo
o
laege
is
l
_basic_map_d
r
o
p
: extract
out isl_basic_map_drop_cor
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaeg
e
isl_b
a
sic_map_drop: drop er
r
or
l
abel
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
V
erdool
a
ege
isl_basi
c
_map_dr
o
p_div: drop r
e
m
o
val
o
f
c
o
nstraints
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_
s
implify
.
c: remove_redu
n
dant_divs:
drop div
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
privately export isl_basic_map_drop_c
o
nst
r
aints_i
n
volving
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl_basic_m
a
p_drop
_
co
n
stra
i
nts
_
invol
v
ing: mov
e
out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdo
o
l
ae
g
e
isl
_
basic_ma
p
_offset:
e
xtract out isl_basic_ma
p
_
v
ar_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl_basic_
m
ap_offset: use
isl_basic_map_peek_
s
pace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
isl_basic_m
a
p_offse
t
:
us
e
isl
_
spa
c
e
_offse
t
and isl_s
p
ace_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_basic_map_
c
ontains_point: use isl_
l
o
cal_e
x
tend_poin
t
_vec
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
Ver
d
ool
a
ege
pr
i
vately ex
p
ort isl_lo
c
al_a
l
loc_f
r
om_m
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
a
ege
e
xp
o
se isl_local_free
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
To
b
i
a
s
Gross
e
r
isl_union_map_inv
o
lves
_
dims
:
use isl_bool
_
n
o
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
T
obias
Gross
e
r
isl_union_m
a
p
.
c
:map_e
x
cludes:
u
se isl_bool_
n
ot
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next