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_basic_set_variable_compression: use isl_basic_set_offset
2018-09-02
Sve
n
Ver
d
ool
a
ege
is
l
_basic_
s
et_
v
ar
i
able_co
m
press
i
on: use
i
s
l_basic_se
t
_
o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
bas
i
c_m
a
p_domain_pro
d
uct
:
use
i
sl
_
basi
c
_
m
ap_get_spa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_m
a
p_
o
verlying_se
t
: us
e
isl
_
basic_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Ve
r
doolaege
isl_basi
c
_map_apply_range:
u
se
isl_basic_map_get_spa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
doolaege
isl_map
.
c
:
mov
e
_last: us
e
isl_basic_map_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_map
.
c: mov
e
_las
t
: use isl_basic_
m
ap
_
peek
_
s
pace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ba
s
ic_m
a
p_mov
e
_dims: us
e
isl_basic_map_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c:
m
a
p_inter
s
ect_i
n
ternal:
u
se isl_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
ae
g
e
isl
_
bas
i
c_map_in
t
ers
e
ct: use isl_basic_map_peek_sp
a
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_intersect_range: use isl_basic
_
set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdo
o
laege
isl_basic_map_int
e
rsect_domain: use
isl_ba
s
ic_set
_
d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_map_s
o
lve_lp: use isl_ma
p
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ver
d
oola
e
ge
isl_polynomia
l
.
c: fix_inactive: use isl_s
e
t_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl
_
qpolynomial_
l
i
f
t:
u
se isl_qpolynomial_domain_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl
_
q
pol
y
nomial_f
r
om_term: use isl
_
term_
d
im
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
laege
isl_term_get_exp: extract ou
t
isl_
t
erm
_
o
ffs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oolaege
isl_term_dup: use isl_term_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
aege
isl_qpolyn
o
mi
a
l_substitute_equalities_lift
e
d:
use isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaeg
e
i
sl_qpolynomial_dro
p
_di
m
s: use
isl_qpol
y
nomi
a
l_do
m
ain_var_offse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_po
l
ynomial
.
c: use i
s
l_qpolyn
o
mial_domain_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
qpolynomi
a
l_involves_dims:
u
s
e i
s
l_qpoly
n
o
m
ial_
d
om
a
in_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laege
isl_pol
y
nomial
.
c: substitute_
n
on_divs: use
isl
_
qpolyn
o
mial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_polynomial
.
c: substitute_div: use isl
_
qpolynomial_domai
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
e
rdoolaege
isl_polynomial
.
c: su
b
s
t
itute
_
div: u
s
e is
l
_qpolyn
o
mial_get_ctx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
qpolynomial_var_on_domai
n
: use is
l
_space_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoolaege
i
sl_qpolynomial_extract_af
f
ine: use
i
sl
_
qpolynomial_domain_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
sl_
p
olynomial
.
c: sort_div
s
: use isl_
q
polynomial_domain_
v
a
r_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_
q
polynomial_doma
i
n_offs
e
t
:
e
xtract out is
l
_qpolynomial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ver
d
oolaege
isl_qpo
l
ynomia
l
_domain_o
f
fset
:
us
e
i
s
l
_qpolynomial_pe
e
k
_
d
oma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_q
p
olynomial_get_
d
o
main_space
:
extract out i
s
l_qpolynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
i
sl_constrain
t
.
c: i
s
l
_
basic_
s
et_foreac
h
_bound_pa
i
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_tab
_
p
i
p
.
c
: find
_
cont
e
xt_div: use
isl_basic_
{
map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
ae
g
e
a
dd isl_basic_s
e
t
_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map_s
i
m
plify
.
c:
d
iv
_
f
in
d
_coal
e
s
c
e: use
i
sl_b
a
si
c
_map_var
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_output
.
c
:
drop_aff:
u
se isl_basic_map_v
a
r_o
f
f
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_b
a
s
ic_map_drop_red
u
ndant_
d
ivs_ine
q
:
u
se isl_basic_
m
a
p
_
va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
m
ap_simplify
.
c
:
.
.
.
_
d
rop_more_redundant_divs: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
i
sl_map_simplify
.
c:
coalesce_divs: us
e
isl_basic_ma
p
_va
r
_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
erd
o
olaege
isl
_
map_
s
implify
.
c: d
i
v_i
s
_r
e
dunda
n
t: use isl_basic_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_basic_ma
p
_is_d
i
v_c
o
nstraint
:
use isl_
b
asic_map
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoo
l
aege
isl_map_simplify
.
c
:
eliminate_unit_divs:
u
s
e isl_basi
c
_
map_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_map_
s
implify
.
c: check_for_div_cons
t
raints: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
a
ege
isl_map
_
simplif
y
.
c:
b
etter_div_cons
t
raint: use isl_b
a
sic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl
_
map_simplify
.
c: ok_to_s
e
t_div_f
r
om_bound: use isl_basic
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
isl_map_simpl
i
fy
.
c
:
set_div
_
from_lower
_
b
ound: use isl_b
a
s
ic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
map_simplify
.
c: norm
a
lize
_
divs: u
s
e isl_b
a
sic_map_
v
a
r
_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map_simplify
.
c
:
n_pure_div_eq: use i
s
l_ba
s
ic_map_v
a
r_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
i
sl_m
a
p_simplify
.
c: remove_duplicate
_
divs: use isl_b
a
sic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
is
l
_m
a
p_sim
p
li
f
y
.
c:
e
liminate_d
i
vs_ineq
:
use i
s
l_basic_map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
i
sl_ma
p
_simplify
.
c
: elim
i
n
ate_divs_eq: is
l
_ba
s
ic_map
_
off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map_simp
l
ify
.
c: ok_to_e
l
imin
a
te_div: use isl_basic_m
a
p_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
laege
isl_map_simplify
.
c: eliminate_
d
i
v:
u
se
i
sl_ba
s
ic_ma
p
_
v
ar
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c
:
eliminate_v
a
r_u
s
ing_equality: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
sl_ba
s
ic_map_align_divs: use isl_basic_map
_
var
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ver
d
oo
l
ae
g
e
isl_map
.
c: find_div: use isl_
b
asic_
m
ap_var
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laege
isl_bas
i
c
_map_order_divs: use isl_basic_map
_
var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
aege
i
sl_map
.
c
:
basic_set_
a
ppend_equa
l
itie
s
: us
e
is
l
_
b
asic_set_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoo
l
aege
i
s
l_map
.
c: insert_div_r
o
ws: use isl_basic_
m
a
p_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p
.
c: inse
r
t_bo
u
nds_
o
n_div: use is
l
_basic_map_var_o
f
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_basic_map_remove_divs:
use isl_basic_
m
ap
_
va
r
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_
b
asi
c
_
m
ap
_
swap_div: u
s
e i
s
l
_
b
a
s
i
c_ma
p
_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
aege
isl_map
.
c:
b
asic_map_init: use isl_ba
s
ic_map_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoo
l
aege
isl_basic
_
map
_
get_divs: use isl_bas
i
c_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_d
i
m_map
.
c: isl_dim_
m
ap_div: use isl_basic_map_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_convex_hu
l
l
.
c: comm
o
n_
c
onstraints: use isl_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verd
o
ola
e
g
e
isl
_
basic_map_m
a
ke_st
r
ides_explicit: u
s
e i
s
l_basic_map_var_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
isl_
a
ff_substitute_e
q
ualities_lift
e
d
:
u
se isl_ba
s
ic_set_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basi
c
_s
e
t_positive_orth
a
nt: u
s
e isl_s
p
ace
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
a
sic_{s
e
t,ma
p
}_pri
n
t
_
i
n
te
r
nal: use isl
_
printer
_
print_
b
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verd
o
olaege
i
s
l
_transitive_cl
o
sur
e
.
c:
empty_path_is_i
d
entity: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p_
s
implify
.
c: di
v
_find_coalesc
e
:
reu
s
e is_opposite
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
olaege
isl_map_s
i
m
plify
.
c
:
move up is
_
opposite
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoo
l
aege
isl_space
.
c:
g
lobal_pos: return negative valu
e
on er
r
or
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
i
sl_tab_pip
.
c:
find
_
context_div: reserve negative return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oola
e
g
e
is
l
_map_simplify
.
c:
div_find_coa
l
esce: reserve
n
egative
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaege
i
s
l
_ma
p
.
c: find_div: reserve
negative return value
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_tab_pip
.
c: find_div
:
reserv
e
nega
t
ive return valu
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_schedul
e
_tr
e
e
.
c:
return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_acce
s
s_in
f
o
.
cosched
u
led: return
i
sl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_
o
utput
.
c: pos2t
y
p
e: ret
u
rn isl_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_affine_hull
.
c: t
r
ansform_
c
olum
n
: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaeg
e
isl_affine_hul
l
.
c: construct_colu
m
n
:
r
e
turn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdoolaege
isl_tab_pip
.
c: init_local_region: return isl_sta
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
o
l
a
ege
isl_seq_prei
m
age: r
e
turn
i
sl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
isl_bernstein
.
c: is_tight: return isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olaege
isl_be
r
n
s
te
i
n
.
c: is_
t
ight
:
m
i
nor code simplific
a
ti
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_bernstein
.
c: add_fold: re
t
urn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simp
l
ify
.
c: ha
s
_mult
i
p
l
e_var
_
e
quality: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_m
a
p_simp
l
ify
.
c: is_opp
o
site_e
x
cept:
r
e
turn
i
sl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_m
a
p_sim
p
lify
.
c: is_parallel
_
except: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_map_simp
l
i
f
y
.
c
:
lower_bound_
i
s_cst: return -1 on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoo
l
aege
isl_ast_buil
d
_
expr
.
c:
a
ll_negative_coef
f
ic
i
e
nt
s
: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
a
d
d_lo
w
er_div_constraint: return return modified result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
o
l
aege
add_u
p
per_div_constraint: return return modified result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_ba
s
ic_map_add_div_constr
a
int: r
e
tur
n
return modified
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
ege
isl_basic_ma
p
_
a
dd_div
_
c
o
nstraints: return modif
i
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add
_
{upper
.
lower}_di
v
_cons
t
rai
n
t: only pass in p
o
sition
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoolaege
remove now un
u
s
ed i
s
l_basic_
{
set,
m
ap
}
_add_div_c
o
nstra
i
nts_var
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_basic_map_add
_
d
i
v_const
r
aints: use isl_basic_
m
ap_var_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doolaege
isl
_
l
o
cal_space
.
c: nor
m
alize_div: return modifi
e
d result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next