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_schedule_node_has_next_sibling: use isl_bool_ok
2018-09-02
Sven Verdoolaege
isl
_
m
u
lti_*_d
i
m: use isl_m
u
lti
_
*_peek_
s
pa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
s
l_pw_
*
_d
i
m: use
i
sl_p
w
_*
_
peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_qpo
l
ynomial_in
v
olves_d
i
m
s
: use isl_q
p
oly
n
omial_peek_dom
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoo
l
aege
isl_polynomial
.
c: s
e
t_active
:
use isl_qpo
l
ynomi
a
l_p
e
ek_domai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
sl_qpolynomi
a
l_domain_di
m
: use
i
sl
_
qp
o
lynomial_peek_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
i
sl_point_dim: use isl_po
i
nt_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
is
l
_
b
a
sic_set_varia
b
le_compress
i
o
n
: u
s
e isl_basic_set
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map
_
domain_product: u
s
e isl
_
bas
i
c_ma
p
_g
e
t_s
p
ace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
is
l
_basi
c
_m
a
p_overlying
_
set: use is
l
_
b
a
sic_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
ge
isl_basic_m
a
p_a
p
ply_range: use isl_basic_map_ge
t
_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
ae
g
e
i
s
l
_map
.
c:
move_last:
use isl_
b
asic_map_o
f
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
ool
a
e
ge
isl_m
a
p
.
c: move_last: use isl_basic_map_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
b
asic_map_move_dims
:
u
se
isl_basic_ma
p
_peek_spac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
isl_m
a
p
.
c
:
ma
p
_intersect_i
n
ternal: us
e
is
l
_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_basic_map_interse
c
t: us
e
isl_bas
i
c_map_
p
eek_s
p
ace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rd
o
o
laege
isl_basic_map_
i
ntersect_range:
use isl_bas
i
c_set_d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_m
a
p_intersect_domain:
use is
l
_
b
asic_s
e
t_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
o
la
e
g
e
isl_map_
s
olv
e
_lp: us
e
isl_map_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_
polynom
i
al
.
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_q
p
o
l
ynomial
_
lift: use is
l
_q
p
olynomial_domain_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
sl_
q
polyn
o
mial_from_term: use isl_term_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_ter
m
_get_exp:
e
x
t
r
a
c
t
out isl_term_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
l
a
ege
isl_term_d
u
p: use
isl_ter
m
_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
q
p
olyno
m
ia
l
_substitu
t
e_
e
qualities_lift
e
d: use isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qp
o
lynomial_drop_dims
:
us
e
isl_qpolynomial_domain_var_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl
_
polynomial
.
c: u
s
e isl_qpo
l
ynomi
a
l_domain_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolynomial
_
involves
_
dim
s
: use isl
_
q
polyn
o
m
ial_do
m
ain_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
i
sl_polyno
m
ial
.
c
:
s
u
bstitute_non_divs:
u
se isl_q
p
o
l
ynomial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polyn
o
mial
.
c:
substitute_d
i
v: use i
s
l_qpo
l
ynomial_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoo
l
aeg
e
isl_poly
n
o
m
ial
.
c: su
b
stitute_div: use isl_q
p
olyno
m
ial_get_c
t
x
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
aege
isl_qpolyno
m
ial_var_
o
n_domain: use i
s
l_space_of
f
set
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_extrac
t
_a
f
fine: u
s
e isl_qpolynomial_domai
n
_
d
im
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
is
l
_polyno
m
ial
.
c: sort_divs: use
i
s
l_qpolyn
o
m
i
al_domain_var_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
do
o
lae
g
e
i
s
l_qpolynomial_domain_offs
e
t
:
extract out is
l
_qpolynomial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_qpolynomial
_
domain_offset: use
i
s
l_qpoly
n
omial_p
e
ek_
d
oma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolyno
m
ial_get_domain_space:
extract out i
s
l
_q
p
olynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laege
i
s
l
_constr
a
int
.
c: isl_basic_set_forea
c
h
_bound_pair
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolae
g
e
isl_
t
a
b
_p
i
p
.
c: f
i
nd_con
t
ext_div: us
e
isl_basi
c
_{map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add
i
sl_basic_set_var_o
f
fs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
ol
a
ege
isl_map_simplify
.
c: div_find_coalesce: use
i
sl_ba
s
ic_map_var
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
olaege
isl_output
.
c: drop_af
f
: u
s
e
isl_basic
_
m
ap_var_
o
ff
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
i
sl_b
a
sic_map_drop_red
u
n
dant_d
i
vs
_
ineq: use i
s
l_basic_map_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doolaege
isl_map_simpli
f
y
.
c:
.
.
.
_
drop_more_redundant_divs: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_map_simpl
i
fy
.
c:
coalesce_divs: us
e
isl_basic_map_v
a
r_
o
ffs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
l
a
ege
i
s
l_m
a
p_simp
l
ify
.
c: d
i
v
_
is_redundant: use is
l
_basic_map_
o
f
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolae
g
e
isl_basic_map_is_div_co
n
strain
t
: use isl_ba
s
ic_ma
p
_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
aege
i
s
l
_map
_
simplify
.
c: eliminate_u
n
it_div
s
:
use i
s
l
_
b
a
s
ic_map_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
ege
isl_map_
s
impli
f
y
.
c: che
c
k_fo
r
_div_co
n
strai
n
t
s
:
use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
is
l
_map_simplify
.
c: better_div_constr
a
int:
u
se isl_basic_ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aeg
e
isl_map_simplify
.
c
:
ok_to_set_
d
iv_from_bound
:
u
se isl_bas
i
c
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoo
l
a
ege
i
sl_ma
p
_s
i
mplify
.
c
:
set_div_from_lower_bound: use
isl_
b
asic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oolaege
isl_map_
s
implif
y
.
c: n
o
rmalize_div
s
: use isl_b
a
si
c
_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laeg
e
i
sl
_
map_simpli
f
y
.
c: n_
p
ure_div_eq:
use isl_b
a
sic_map_va
r
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_ma
p
_
s
implify
.
c: re
m
ove_duplicate_di
v
s: us
e
i
s
l_basic_m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl
_
map_simplify
.
c: elim
i
nate_divs_ine
q
: us
e
isl_b
a
s
ic_map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaeg
e
i
s
l_ma
p
_
s
implify
.
c:
elimina
t
e_divs_eq: isl_basic_m
a
p_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
ege
isl_map_sim
p
lify
.
c: o
k
_to_
e
limina
t
e_div:
use i
s
l_basic_map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_
m
a
p_simplify
.
c: eliminate_
d
iv: us
e
isl_basi
c
_map_
v
a
r
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
i
sl_map_si
m
pl
i
fy
.
c: el
i
m
i
nate
_
va
r
_using_equality: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
aeg
e
isl_basic
_
map_align_
d
ivs: use i
s
l_basic_map_va
r
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oolaege
isl_map
.
c: find_div
:
use isl_basic_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
eg
e
isl_basic_map_order_divs
:
use is
l
_bas
i
c_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_ma
p
.
c: basic_set_append_equal
i
ties
:
use isl
_
basic_set_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: in
s
ert_div_row
s
: use isl_basic_m
a
p_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_map
.
c: insert_bounds_on_div: use isl
_
basic_map
_
var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_basic_
m
ap_remove
_
divs: use isl_basic_map_va
r
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oolaege
i
s
l_ba
s
ic_map_
s
wap_
d
iv: use isl_basic_m
a
p
_
v
a
r
_
o
ffs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Ve
r
dool
a
ege
isl_map
.
c
: basic_map_init: use isl_ba
s
ic_map_
p
ee
k
_
s
pac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolaege
i
s
l_
b
asic_map_get_divs: use
i
s
l_basic_map_var_of
f
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
g
e
isl_dim
_
map
.
c: isl_dim_map
_
d
i
v: use isl_ba
s
ic_m
a
p_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oo
l
aege
isl_convex_hull
.
c: com
m
on_constraint
s
: use isl_set_d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolae
g
e
isl_
b
asi
c
_ma
p
_m
a
ke_stride
s
_e
x
plicit: u
s
e is
l
_basic_map_
v
ar_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
doolaege
isl_a
f
f_sub
s
titute_equalities_lifted: u
s
e i
s
l_basi
c
_set_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
olaege
isl_basic_set_positi
v
e
_
orthant
:
u
se isl_
s
pace_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_basic_{set,m
a
p}
_
print_internal:
u
se isl_printer
_
p
rin
t
_ba
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_trans
i
tive_closure
.
c: empty_path_is_iden
t
ity: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simp
l
ify
.
c: div
_
find_coale
s
ce: reu
s
e is_op
p
osite
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
isl_map_
s
impli
f
y
.
c: move
u
p is
_
opposite
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_spac
e
.
c:
gl
o
ba
l
_pos: r
e
turn negati
v
e valu
e
on
e
rror
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaeg
e
isl_
t
a
b
_
pip
.
c: fin
d
_context_div: res
e
rve negative
return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
sl_
m
ap_simplify
.
c: div_fi
n
d_
c
o
a
lesce
:
reserve
negative
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoo
l
aege
i
s
l_map
.
c
:
find_div: reserve
n
e
gative return value
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
i
s
l_tab_
p
ip
.
c:
find_
d
iv:
r
eserve ne
g
ative
retur
n
va
l
u
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
is
l
_schedule_t
r
ee
.
c
:
r
et
u
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_ac
c
es
s
_info
.
coscheduled:
r
eturn isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c: po
s
2
type: return isl_s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oola
e
ge
i
sl_aff
i
ne_h
u
ll
.
c: transform_colum
n
:
r
e
turn i
s
l_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_affine_h
u
ll
.
c
: co
n
struct_column:
r
eturn isl_sta
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
t
ab_
p
ip
.
c: init_local_region: return isl_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
is
l
_se
q
_preimage: r
e
t
urn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oolaege
isl_bernstein
.
c: is_tight: retur
n
isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olae
g
e
i
s
l
_
b
e
rnstein
.
c
: is
_
tight:
minor code si
m
p
l
ification
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_bernstein
.
c: add_fold: return isl_
s
t
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_s
i
mplify
.
c: has_mul
t
iple_var_equ
a
lity
:
return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
isl_m
a
p_simp
l
ify
.
c: is_
o
pposite_exce
p
t: return
i
s
l_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rd
o
olaege
isl_map_simplif
y
.
c: is_parall
e
l_exc
e
pt: retu
r
n isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: lo
w
er_bound_is_cst: return -1 on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdool
a
ege
isl_ast_build
_
expr
.
c: all_negative_coefficients: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add_lower_div
_
constraint: retur
n
retu
r
n mo
d
ified result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
add
_
upper_div_constraint
:
return return modified result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next