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_inequality_negate: return modified result
2018-09-02
Sven Verdoolaege
isl_inequality_
n
egat
e
: return
modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
aege
isl_
m
ap
.
c: set
_
ma_divs: r
e
turn modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
isl
_
basic
_
map_
s
wa
p
_d
i
v:
r
eturn
modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_outpu
t
.
c: pri
n
t_c
o
nstr
a
i
nt_c
:
drop now redund
a
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
olaege
isl_ou
t
put
.
c
:
d
r
op print_aff
i
ne_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oola
e
ge
isl_
o
utp
u
t
.
c:
p
r
i
nt_constraint_c: use print_ls
_
a
f
fine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
output
.
c: pri
n
t_basic_set_c: use pri
n
t_ls
_
p
a
rtial_
a
ffine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
doolae
g
e
i
s
l_cat: suppo
r
t
C outpu
t
format
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
ae
g
e
is
l
_s
c
he
d
ul
e
_band
.
c: has_any: us
e
isl_un
i
on_
s
et_every_
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
add isl_uni
o
n
_set
_
every_se
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_transitive_closure
.
c: add_leng
t
h
: reu
s
e
increment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoola
e
ge
isl_
t
ransitive_closu
r
e
.
c: mo
v
e up i
n
creme
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
is
l
_tr
a
nsitive_cl
o
sure
.
c: increment: return is
l
_map
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_tran
s
itive_closure
.
c
:
incr
e
ment:
clean up space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_transitive
_
closure
.
c: map
_
p
o
w
er: use stricter
t
e
st
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_deltas_map: extract out isl_map_check_equa
l
_tuples
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_schedul
e
_node
.
c:
c
ollect_
f
ilte
r
_prefix*:
r
eturn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_
c
onvex_hull
.
c
:
ha
s
h_b
a
sic_set: return isl_
s
tat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_transitive
_
clos
u
re
.
c: add_len
g
th:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_ou
t
put
.
c:
nex
t
_is_opposite: retur
n
isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
do
o
l
a
eg
e
isl
_
coalesc
e
.
c:
add_s
u
bs: return i
s
l_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
o
l
aege
isl_con
v
ex_hull
.
c: uset_is_bound: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
is
l
_transiti
v
e_closur
e
.
c: check_exactness_omega: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
l
aege
isl
_
transitive_closur
e
.
c: is_
a
cyclic:
r
eturn i
s
l_
b
oo
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl
_
schedule_b
a
nd
.
c:
h
as_*:
r
eturn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
sl_
a
s
t
_
b
uil
d
_need_schedule_map: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoola
e
ge
i
s
l_morph
.
c
:
ident
i
ty_on_p
a
rame
t
ers: retur
n
isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_mat_is_scaled_identity: return
isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ra
n
ge
.
c: pr
o
pagate_on
_
d
omain: return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_pw_qpoly
n
omial_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
Sve
n
Verdoolaege
isl_vertices
.
c:
can_select: return isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolae
g
e
isl_vert
i
ces
.
c: is_independent: return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
laeg
e
isl_ast_codegen
.
c
:
after_in_*: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_input
.
c: tuple_has_e
x
pr: return
i
s
l_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaeg
e
isl_schedule_node
.
c: locally_covered
_
by_domain
:
return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_t
r
a
nsitive
_
clos
u
re
.
c:
i
ncrement
a
l_on_en
t
ir
e
_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_t
r
ansitive_clo
s
ure
.
c: h
a
s_spurious_elements: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
transitive_closure
.
c:
e
mp
t
y_path
_
is_id
e
ntity:
return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aege
i
sl_co
n
s
t
raint
_
is_div_constraint: return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
i
s
l
_
schedule_nod
e
.
c: has_anc
e
s
t
ors: return 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_poly_is_cst: return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoola
e
ge
isl
_
polyno
m
ial
.
c: set_active:
return isl_sta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oola
e
ge
isl_pol
y
_is_{neg,}
o
ne: return isl
_
bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdool
a
ege
isl_qpoly
n
omial_is_
{
af
f
ine,c
s
t}: ret
u
r
n
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
r
d
o
olaege
is
l
_po
l
y_is_{
n
eg,}infty: r
e
t
urn
i
sl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sv
e
n Verdoolaege
i
s
l_poly_
i
s_na
n
:
return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
e
rdoolae
g
e
isl_poly_is_ze
r
o: return
i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en Verdoolaege
isl_qpolynomial_get_den: improv
e
e
r
ror han
d
ling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en Verdoolaege
is
l
_q
p
olynomial
_
get_den: return isl_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en Verdoolaege
rename isl_upoly
to isl_poly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
Verdoolaege
intr
o
duce explicit isl_dim_map_f
r
ee
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
Verdoolaege
i
s
l
_
multi_
*
_factor_range:
use correct dimen
s
ion type
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaeg
e
isl_b
a
sic_map_insert_dims:
c
reate
e
mpty basic m
a
p directly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
pip
.
c: extrac
t
out mov
e
_parameters
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdoolaege
expose
isl
_
unio
n
_
se
t
_pr
o
ject_out
_
all_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Verdoo
l
aege
ex
t
ract out shared is
l
_sp
a
ce_drop_
a
ll_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl
_
ast
_
b
u
il
d
_
get
_
s
pace
:
reuse isl_ast_build_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdoolaege
is
l
_as
t
_
b
uild_p
r
o
d
uc
t
:
r
e
use
i
sl_ast_build
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verd
o
olaege
i
sl_ast_bui
l
d_get_sc
h
edule_map_multi_aff: reuse
isl_a
s
t_buil
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
Verd
o
ol
a
eg
e
isl
_
ast_build_need_
s
che
d
ul
e
_map: reuse
i
sl_ast_build_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdoolaege
i
s
l
_ast_bui
l
d
_
set_iter
a
tor
s
: reuse isl_ast_bu
i
ld_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
er
d
oo
l
ae
g
e
ext
r
act out share
d
isl_basic_set_check_
n
o_
l
ocals
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
ve
n
Ver
d
oolaege
extract o
u
t s
h
ared isl_bas
i
c_set_
c
he
c
k_no_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Verdoolaege
extract out sha
r
ed isl_point_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Verdoolaege
ext
r
act out
s
h
a
r
e
d
isl_point_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdo
o
laege
extract o
u
t shared isl
_
point_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
doolaege
extr
a
ct
o
u
t
shared
i
s
l
_pw
_
multi_a
f
f_c
h
eck_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolae
g
e
isl_aff_involves_dims: extract out
is
l
_
a
ff_chec
k
_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
lae
g
e
extrac
t
out sha
r
ed
isl_set_c
h
e
c
k_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolae
g
e
extract
out shared isl_bas
i
c_s
e
t_check_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
extract o
u
t shared isl_q
p
oly
n
omia
l
_check_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdo
o
laege
extract
o
ut s
h
ared isl_term_
c
heck
_
ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
extract
out s
h
ared isl_multi_
*
_check_r
a
nge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl
_
local_check_pos: extract out isl_lo
c
al_ch
e
ck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extrac
t
ou
t
sha
r
ed i
s
l_
c
onstr
a
i
n
t_
c
heck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Ver
d
oo
l
ae
g
e
extr
a
ct out s
h
a
red isl
_
local_space_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
e
rdoolaege
extract o
u
t shar
e
d is
l
_s
p
ace
_
check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdool
a
e
g
e
merge isl*map_check_r
a
nge
implementations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_plain_get_va
l
_if_fi
x
ed: reuse isl_m
a
p_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
isl
_
map_fix: r
e
use is
l
_
ma
p
_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl
_
m
ap
_
f
i
x_si: reus
e
is
l
_
map
_
che
c
k
_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ver
d
oola
e
ge
isl_map_o
p
po
s
e: reuse isl_m
a
p_check_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
is
l
_m
a
p
.
c: map_bound_si: reu
s
e isl
_
m
ap_check_ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
i
sl_map
.
c
:
map_bound: reuse isl_
m
a
p_chec
k
_
r
a
n
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_fix_val: reuse is
l
_map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl
_
basic_map_swap_
v
ars
:
reuse isl_basic_map
_
check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_
b
asic_
m
ap_prei
m
age
_
vars:
reuse
isl_basi
c
_map_check_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doo
l
aege
isl_basic_map_
e
l
i
mi
n
ate: re
u
se isl_basic_map_check
_
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
i
s
l_basic_ma
p
_transfor
m
_dims
:
re
u
s
e isl_ba
s
ic_
m
ap_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
isl
_
ba
s
ic_map_
d
rop_
c
ore
:
reuse i
s
l_
b
asic_ma
p
_
check_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_
h
as
_
defining_equality: reuse isl_basi
c
_
map_ch
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Ve
r
doolae
g
e
privately expose isl
_
basic_map_check_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verd
o
olaege
i
s
l_basic_m
a
p
_
drop_div: implem
e
nt in
t
erms of
i
sl_b
a
sic_map_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
do
o
laege
isl
_
basic_
m
ap_drop: extract ou
t
isl_basi
c
_map_drop_co
r
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_b
a
sic_map_drop: drop
e
rror label
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_basic_
m
ap_drop_div: dro
p
removal
o
f constrai
n
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_simplify
.
c: re
m
ov
e
_redundant_divs: dro
p
div
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
p
r
ivately export
i
sl
_
b
a
sic_m
a
p_drop_constra
i
nts_involving
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oo
l
a
e
ge
isl_basi
c
_map_dr
o
p
_
constraints_involvi
n
g
: move out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ve
n
Verdoolae
g
e
isl_b
a
sic_map_offset: extract
o
ut isl_b
a
sic
_
map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next