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_multi_*_dim: use isl_multi_*_peek_space
2018-09-02
Sven Verdoolaege
isl_multi_*_d
i
m:
u
se isl_multi
_
*
_
p
e
ek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_p
w
_
*_dim: use isl_pw_
*
_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoo
l
aeg
e
i
sl
_
qpolynomial_i
n
volves_dims: use isl_q
p
ol
y
n
o
mial_peek_doma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_polynomial
.
c: set_
a
c
t
ive: use is
l
_qpolynomial_peek_doma
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
olaege
is
l
_q
p
olynomial_doma
i
n
_dim: use
isl_qpoly
n
omial_peek_
d
omain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_point_dim:
u
s
e isl
_
poin
t
_peek_
s
pace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ba
s
ic_set_var
i
able
_
comp
r
ession: use is
l
_basic_set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
l
a
ege
i
s
l
_
basic_m
a
p_domain_p
r
o
d
u
c
t: us
e
isl_basic
_
m
a
p_get_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oola
e
ge
isl_basic_map_overlying_s
e
t: use
i
sl_ba
s
ic_set_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
basic_map_a
p
p
ly_range: use isl
_
basic_map_get_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
sl_map
.
c: move_la
s
t:
u
s
e isl_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
is
l
_map
.
c
:
move_l
a
st: use isl_basic_ma
p
_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoo
l
aege
isl_basi
c
_map_m
o
ve_dims: use isl_ba
s
i
c
_map_peek
_
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
sl_map
.
c: map_intersect_internal: use
isl_
m
a
p
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
ge
isl_basic
_
map_inte
r
sect: us
e
i
s
l
_
basic_map_peek_spac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_
b
asic_map_inter
s
ect_range: use isl_basic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_basic_map_inters
e
ct_
d
oma
i
n: use i
s
l_b
a
sic_s
e
t_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
aege
isl_map_
s
olve_
l
p: use isl_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolae
g
e
isl_p
o
lynomia
l
.
c: fi
x
_
i
nacti
v
e: use isl_set_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaege
isl_qpolynomial_lift
:
use
isl_qpolynomial_domai
n
_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
s
l
_qpolynomial_from_term: use
i
sl_term_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
a
ege
isl_ter
m
_get
_
exp: extract out
isl_t
e
rm_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
is
l
_term
_
dup: u
s
e i
s
l_
t
erm_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oolaege
isl_qpolynomial_
s
ubstitute_
e
qua
l
i
ties_lifted:
use isl_
b
a
s
i
c_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
a
e
ge
isl_qpo
l
ynomi
a
l_drop_dims
:
use isl
_
qpol
y
nomial_domain_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_polyn
o
mial
.
c: us
e
isl_qp
o
lyn
o
mial_domain_v
a
r_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoolaege
isl_qpolynom
i
al_
i
nv
o
l
v
es
_
d
i
ms: use isl_qpolynomial_domain_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
olaege
isl_p
o
lynomial
.
c: subs
t
it
u
te_non_divs: use isl_qpolynomi
a
l_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_polynomial
.
c:
substitute
_
d
iv:
u
se
is
l
_qpolynomial_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoola
e
g
e
i
s
l_polynomial
.
c
:
s
ubstitute_div
:
use
isl_qp
o
lynomial_get_ct
x
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
i
s
l_qpol
y
nomial_v
a
r_o
n
_dom
a
in: use isl_space_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpol
y
n
o
mial_extract_affi
n
e: use is
l
_
q
polynomi
a
l_domain_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdo
o
laege
isl_polynomial
.
c
: sort
_
divs
:
use isl_qpol
y
nomial
_
d
om
a
in_var_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_qpolyno
m
ia
l
_do
m
a
in_offset: extract out isl_q
p
olynomial
_
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
l
aege
isl
_
qp
o
lyn
o
mial_dom
a
in_off
s
et: use
isl_qpolynomial_pe
e
k_doma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_q
p
olynom
i
a
l
_get_domai
n
_space: extract out i
s
l_qpolynomia
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_constrain
t
.
c: isl_b
a
sic_set
_
foreach
_
b
ound_pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
isl_tab_pip
.
c
:
find_context
_
div: use isl
_
bas
i
c_{map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
dool
a
e
ge
a
dd isl_b
a
sic_set_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
doolaege
isl_map
_
s
implify
.
c: div_find_
c
oalesce: use isl_basic_
m
ap_
v
a
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ou
t
put
.
c:
d
rop_af
f
: u
s
e is
l
_
b
asic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
aege
isl_basi
c
_map_drop_redun
d
ant_di
v
s_ineq: use isl_b
a
s
ic_map
_
va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
aege
isl
_
map_simplify
.
c:
.
.
.
_drop_more_r
e
dundant_divs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
d
o
olaege
isl_map_simplify
.
c: coal
e
sc
e
_
divs
:
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 Verdoolaege
isl_map_si
m
plify
.
c: div_is_redun
d
a
nt:
u
se isl
_
basic_map_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map
_
is_div_
c
onstraint: use isl_basic_m
a
p_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
doolaege
isl_
m
ap_si
m
p
lify
.
c: eliminate_un
i
t_
d
iv
s
: u
s
e isl_basic_m
a
p_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_si
m
pli
f
y
.
c: che
c
k_for_
d
iv_constraints: u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_sim
p
l
i
f
y
.
c
:
b
etter_div_constraint: use isl_basic_ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olae
g
e
is
l
_map
_
simplify
.
c
: o
k
_to_set_d
i
v
_from_bound: use is
l
_basic
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
map_simplify
.
c:
s
et_div_from_lower_bound: use isl_bas
i
c_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
do
o
laege
isl_map_simplif
y
.
c: normalize_divs: u
s
e
i
sl_basic_ma
p
_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
i
sl
_
map_simplify
.
c: n_pure_div_eq: use isl_basic
_
ma
p
_var_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdool
a
eg
e
isl
_
map_simplify
.
c: remove_duplicate_divs: use
i
s
l_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoo
l
aeg
e
i
s
l_map_simplify
.
c:
e
liminat
e
_divs_ineq
:
use isl_basic_ma
p
_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
is
l
_
map
_
simplify
.
c
:
eli
m
i
nate
_
divs_eq:
isl_basic
_
m
a
p_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
oolaege
isl_map
_
si
m
plify
.
c: ok_to_el
i
minate_div: us
e
isl_basic_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map_sim
p
lify
.
c
:
elimin
a
te_di
v
: use isl_basic_map
_
var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
isl_map_simplify
.
c:
elimin
a
te_var_using_equ
a
lity:
u
se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doolaege
isl_
b
a
s
ic_map_a
l
i
gn_d
i
vs: use isl_basic_map
_
var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
.
c: find_div: use is
l
_bas
i
c
_
map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
i
s
l_basic_map_o
r
de
r
_divs: use
isl_
b
a
s
i
c
_map_var_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdool
a
ege
isl_map
.
c
:
basic_
s
et_append
_
equalities: use isl_bas
i
c_set_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map
.
c: inser
t
_div_r
o
w
s
:
use
is
l
_
b
a
sic
_
map_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
do
o
laege
i
sl_map
.
c: insert_
b
ounds_on_
d
iv: use
i
s
l_basic_
m
a
p
_var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_ba
s
i
c
_
map_r
e
m
ove_d
i
vs: use isl_b
a
sic_
m
ap_var
_
offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
doolaege
isl_
b
as
i
c
_
ma
p
_swa
p
_div: u
s
e isl_basic_map
_
var_
o
ffse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map
.
c
:
b
asic_map_
i
nit: use isl_basic_ma
p
_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
d
oola
e
ge
isl_basic_m
a
p
_get_divs: use i
s
l_
b
asic_map_var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ola
e
ge
is
l
_dim_map
.
c: is
l
_
dim_map_div: use isl_basic_map
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoola
e
ge
isl_conv
e
x_hull
.
c
: common_cons
t
r
aints: use isl_set_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_make_s
t
rid
e
s_explicit: u
s
e i
s
l_basi
c
_map_var_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
ge
isl_aff_s
u
b
s
titute_
e
qualitie
s
_lifted: use
i
sl_basic_se
t
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
i
s
l_basic_se
t
_positive_orthant:
use isl_space_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_
b
asic_{set,map
}
_p
r
int_intern
a
l:
u
se
i
sl_printer_
p
rint_ba
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_tr
a
ns
i
tive
_
closure
.
c: empty_pa
t
h_is_ide
n
tity: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ver
d
o
o
laege
isl_
m
ap_s
i
mplify
.
c
: div_f
i
nd
_
coales
c
e:
r
euse is_opposite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
do
o
laeg
e
isl
_
map
_
simplify
.
c: move up
is_opposite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_space
.
c: global_
p
os: return ne
g
a
t
ive value on error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
is
l
_tab_pi
p
.
c
: find_
c
ontext_div: reserve negative return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erd
o
olaege
isl_map_simp
l
ify
.
c: div_fi
n
d_coalesce: reserve nega
t
ive
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map
.
c: find_div: reserv
e
negativ
e
return va
l
ue
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdool
a
ege
i
sl_
t
ab_pip
.
c: fi
n
d_
d
iv: r
e
serve
ne
g
ative return va
l
ue
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_schedu
l
e_tree
.
c: return is
l
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_access_info
.
c
o
s
chedul
e
d: re
t
urn isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
sl
_
ou
t
put
.
c: p
o
s2type: re
t
ur
n
isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ol
a
ege
isl_affin
e
_
h
ull
.
c: transfor
m
_col
u
mn: retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl
_
affin
e
_h
u
ll
.
c: construct_col
u
mn: re
t
u
rn isl_st
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tab_pip
.
c: i
n
it_local_re
g
ion: ret
u
rn i
s
l_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_seq_preimage: return
i
sl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_bernstein
.
c: is_t
i
g
h
t:
r
eturn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oo
l
a
ege
i
s
l_bernst
e
in
.
c: is_tight: minor code sim
p
lification
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
i
s
l_bern
s
tein
.
c: add_fold: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
s
l
_
m
ap_sim
p
l
i
f
y
.
c: ha
s
_multiple_var_equ
a
l
i
t
y: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoola
e
ge
isl_map_simplify
.
c: i
s
_
opposit
e
_ex
c
ept: return is
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
is
l
_map_simplify
.
c: is_parallel_ex
c
ept
:
retur
n
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map_s
i
mplify
.
c: lower_bound
_
is_cst: return -1 on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_as
t
_build_expr
.
c: all_negative_coefficie
n
ts: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
add
_
l
o
wer_d
i
v_constraint: r
e
tu
r
n return modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
add_u
p
per_div_constraint: return return modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next