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
S
v
en Verdoolae
g
e
isl_basic
_
set_variable_compressi
o
n: use isl_basi
c
_set_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
is
l
_basic_map_d
o
m
ain_produ
c
t: use isl_bas
i
c_map_get_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
lae
g
e
isl
_
basic_m
a
p_overlying_se
t
:
u
se isl_basic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_b
a
sic_map_apply_r
a
nge: use
isl_basic
_
map_get_s
p
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
aege
isl_map
.
c:
m
ove_last:
use isl_basic_map
_
of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_
m
ap
.
c:
move_
l
ast: use isl_ba
s
ic_map_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdool
a
ege
isl_basic_m
a
p_
m
ove_dims: use isl_basic_
m
ap_p
e
ek_spa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map
.
c
:
map_in
t
ersect_intern
a
l: us
e
isl_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_basic_ma
p
_inte
r
se
c
t: use i
s
l_basic_m
a
p
_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoo
l
aege
isl_basic_map_in
t
ersect_rang
e
: us
e
isl_bas
i
c_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoolaege
isl_basic_map_int
e
rs
e
ct_domain: use isl_bas
i
c_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map_solve_lp: use is
l
_map_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polynomi
a
l
.
c: fix
_
inactive: use
isl_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolynomi
a
l
_
lift: use
is
l
_qp
o
lyn
o
m
i
al_domain_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaeg
e
isl_qpolynomial_from_term:
u
se isl
_
term_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolae
g
e
isl_term_get_exp: ex
t
r
a
ct ou
t
i
sl
_
term_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_term
_
dup: u
s
e isl_term_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ve
r
doolaege
isl_qpolynom
i
a
l
_sub
s
ti
t
ute_equal
i
ties_lifted: u
s
e isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_qpo
l
y
nomial_dr
o
p_dims:
use isl_qpoly
n
omi
a
l
_
domai
n
_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdool
a
ege
isl_polynomi
a
l
.
c: use
i
sl_qpolyn
o
mial_doma
i
n_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_qp
o
lynomial_involves_d
i
ms: use isl_qpolynomi
a
l_domain_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_polynom
i
al
.
c: su
b
sti
t
u
te_
n
on_di
v
s
: use isl_qp
o
lynomial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_polynomia
l
.
c: substi
t
ute_div: use isl_qpolyno
m
ial_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
s
l_polynomial
.
c: substitute_div:
u
se isl_
q
polynomial_get_c
t
x
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
o
laege
isl_qpolynom
i
al_var_on_domain: use i
s
l_space
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oolaege
isl_qpolyn
o
mi
a
l_extract_affine: use isl_qpolynomi
a
l
_domain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
isl_p
o
l
y
n
omial
.
c
: sort
_
d
i
v
s: use isl
_
qpol
y
nomia
l
_
d
o
ma
i
n_var_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_qpo
l
ynomia
l
_domain_of
f
set: e
x
tract
out i
s
l_qpolynomi
a
l_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpoly
n
om
i
al_do
m
ai
n
_offset: use i
s
l_qpolynomial_pe
e
k_doma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
isl_
q
polynomial_get_do
m
ain
_
space
:
e
xtract ou
t
is
l
_qpoly
n
omia
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
doolaege
i
s
l_constraint
.
c
: isl_bas
i
c_set_fo
r
e
ach_bound_
p
a
ir
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_t
a
b_p
i
p
.
c: find
_
context_div: use isl_basic_{map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add i
s
l_
b
asic_
s
et_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
ege
isl_map_simplify
.
c: div_fin
d
_co
a
lesce: use
is
l
_basic_map_var
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_o
u
tput
.
c: dr
o
p_aff: use isl_
b
a
s
i
c
_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_dr
o
p
_
r
e
dundant_divs_ineq: use
i
sl_basic_ma
p
_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_
s
i
mplify
.
c:
.
.
.
_drop_more
_
re
d
undant_d
i
vs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verd
o
olaege
isl_map_simplify
.
c:
c
oales
c
e_divs: us
e
isl_basic
_
map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
_
si
m
plify
.
c: d
i
v_is_redun
d
ant:
u
se isl_basic_map_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_basic_map_
i
s_div_constraint
:
use isl_basic_map_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaeg
e
isl_map_simpli
f
y
.
c:
eliminate
_
u
nit_divs: use isl_basic_map_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
isl_ma
p
_
s
im
p
l
i
f
y
.
c: chec
k
_f
o
r
_
div_co
n
stra
i
nts:
u
se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_ma
p
_si
m
plify
.
c
:
better_di
v
_constra
i
n
t
:
u
se isl_b
a
sic_ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_simp
l
i
f
y
.
c: ok_to_set_
d
iv
_
from_bound: use isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl
_
map_simplify
.
c: se
t
_
div_f
r
om_l
o
wer_boun
d
:
use isl_basi
c
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
s
l
_map_simplify
.
c: normalize_di
v
s: us
e
i
s
l
_b
a
sic_map_v
a
r_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doolaege
isl
_
ma
p
_si
m
plify
.
c:
n_pure_div_eq:
use is
l
_basic_map_v
a
r_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
sl_map
_
simp
l
ify
.
c: remov
e
_dup
l
ic
a
te_divs: use
i
sl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_map_simplify
.
c:
eliminate_d
i
vs_ineq: u
s
e isl_basic_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map_
s
implify
.
c: eliminate_d
i
v
s
_e
q
: isl_ba
s
ic_
m
ap_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doo
l
aege
isl_m
a
p_si
m
pli
f
y
.
c: o
k
_to_eliminate_div: use isl_basic_map
_
v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaeg
e
isl_map_simplify
.
c: eli
m
i
n
ate_div: use isl_basic_map_
v
ar_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_sim
p
lify
.
c
:
eliminate_var_using_
e
quality: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_ma
p
_a
l
ign_divs:
u
se
i
sl_
b
a
sic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_map
.
c: fi
n
d_div: use isl_
b
asic_map_var_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_basi
c
_
m
ap_order_divs: use
i
sl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdo
o
lae
g
e
i
s
l_map
.
c:
basic_s
e
t_app
e
n
d
_
equalities
:
use
i
sl_basic_set_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laege
isl_ma
p
.
c: i
n
se
r
t_div_rows: u
s
e isl_bas
i
c_
m
ap_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_map
.
c: inse
r
t_bounds_on_div: use isl_basi
c
_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_basic_map_remo
v
e_divs:
u
se isl_basic_
m
ap_var_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
d
oolae
g
e
isl_basic_map_swap_
d
iv:
use isl_bas
i
c
_map_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map
.
c: basic_
m
ap_ini
t
: use isl_bas
i
c_map_pee
k
_spac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaeg
e
isl_basic_
m
ap_get_di
v
s: use isl
_
basic_
m
ap_
v
ar_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdool
a
ege
isl_di
m
_map
.
c: isl_di
m
_map_div:
us
e
isl_
b
asi
c
_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
laege
isl_c
o
nvex_hull
.
c: co
m
m
o
n_constraints: use is
l
_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl
_
basic_map_make_
s
trides_explici
t
: use isl_bas
i
c_map_var_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_aff_
s
ubstitut
e
_eq
u
alitie
s
_lifted:
use isl_basic_set_
o
ffse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
is
l
_basic_set_positive_orthant: use isl_space_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdool
a
e
ge
isl_basic_{s
e
t
,map
}
_pri
n
t_intern
a
l
:
use isl_p
r
inter_prin
t
_ba
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaeg
e
isl_tr
a
nsi
t
ive_cl
o
sure
.
c: empty_pa
t
h_i
s
_i
d
enti
t
y:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
lae
g
e
isl_map_simp
l
if
y
.
c:
div_find_coalesce: r
e
use is_opposite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
a
ege
isl_map_simplify
.
c: move up is_oppo
s
it
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
space
.
c
:
global
_
pos: r
e
turn n
e
gative value on error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdool
a
ege
isl_tab_pip
.
c: find_co
n
te
x
t
_
d
iv: reserve neg
a
tive
r
etur
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doola
e
ge
isl_map_
s
implify
.
c: di
v
_find_coalesce: reserve negativ
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: f
i
nd_
d
iv: reserve nega
t
ive return valu
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
t
ab_pip
.
c:
f
ind_div:
r
eserve negative
r
eturn
value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ol
a
eg
e
isl_sche
d
ule_tre
e
.
c: return isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdool
a
eg
e
isl_acces
s
_i
n
fo
.
cos
c
hedu
l
ed:
return
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl
_
o
u
t
p
ut
.
c: pos2type: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
sl_affine
_
hu
l
l
.
c
: transform_c
o
lumn: retu
r
n isl_boo
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoola
e
ge
i
sl_aff
i
ne_hull
.
c: construct_column: return
i
sl
_
stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
s
l_tab_pi
p
.
c: i
n
it_l
o
ca
l
_regi
o
n: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doola
e
g
e
isl_seq_preimag
e
:
return isl
_
stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolaege
isl_bernstein
.
c:
i
s_ti
g
ht: return isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l
_bernste
i
n
.
c: is_ti
g
ht:
m
i
no
r
co
d
e s
i
mplification
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
sl_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 Ver
d
o
o
laege
isl_map_simplify
.
c: has_multiple_var_equality: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
r
d
o
ola
e
g
e
isl_map_simplify
.
c: is_o
p
posite_except: ret
u
rn
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_map
_
simplify
.
c: is_pa
r
allel_except: return isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
ool
a
ege
isl
_
map_simplify
.
c:
l
owe
r
_bound_is_c
s
t
: ret
u
rn -1 on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l_ast_build_expr
.
c: all_neg
a
ti
v
e
_
coefficients: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
add_lower_di
v
_constraint: retur
n
r
et
u
rn modifi
e
d
result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
olaege
add_up
p
er_div
_
c
o
nstraint: retur
n
return mo
d
ified res
u
lt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_basic_
m
ap_add_di
v
_c
o
nstraint: re
t
urn return
modifi
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_basic_m
a
p_add_div_constraints: ret
u
r
n
mo
d
ified
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaeg
e
add_{u
p
per
.
l
o
we
r
}_div_con
s
traint: only pa
s
s in
p
osition
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdo
o
lae
g
e
remove now unus
e
d isl_b
a
sic_
{
s
et,map}_add_
d
i
v_constraints_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_basic_map_add_div_constrai
n
ts: use i
s
l_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
ool
a
ege
isl_local_space
.
c: normalize_d
i
v:
retur
n
modifi
e
d
r
esult
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next