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
Sve
n
Verdoolaege
isl_
m
ulti_*_d
i
m: use
isl_mu
l
ti_*_pee
k
_
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
erdoolaege
isl_pw_
*
_dim: use isl_pw_
*
_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
sl_qpolynomial_
i
nvolves_d
i
ms
:
us
e
is
l
_
qpolynomial_peek_d
o
ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
i
s
l_
p
olynomial
.
c:
set_a
c
tive: use
i
sl_qpolynomial_
p
e
e
k_domai
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doola
e
ge
i
s
l
_qpo
l
ynomial_d
o
main
_
dim: u
s
e
isl_qpolynomial_peek_dom
a
i
n_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_p
o
in
t
_d
i
m
:
u
s
e isl_point_pe
e
k_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
d
oolaege
isl_bas
i
c_set_
v
ariabl
e
_co
m
pression: use is
l
_ba
s
i
c
_set_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolae
g
e
isl
_
basic_map_doma
i
n_pro
d
uct: use isl_
b
asi
c
_ma
p
_
g
et_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olaege
is
l
_basic_ma
p
_o
v
er
l
y
ing_
s
et:
u
se
isl_basic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
lae
g
e
isl_basi
c
_m
a
p_apply_range
:
use is
l
_b
a
sic_map
_
get_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoola
e
ge
i
sl_map
.
c: move_last: use isl_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
olaege
isl_m
a
p
.
c
: move_last: u
s
e
i
sl_basi
c
_
map_p
e
e
k
_spac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_
b
asic_
m
ap_m
o
ve_dim
s
: use isl_basic_m
a
p
_p
e
ek
_
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
.
c: map_int
e
rsect_
i
n
ternal: use
i
sl_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
la
e
ge
isl_basic
_
map_intersect: use
isl_ba
s
ic_m
a
p_peek_spac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_
b
asic_map_in
t
ersect_range: use isl_basic_se
t
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
isl_b
a
sic_m
a
p_
i
nters
e
ct_domain: use isl_basic_set_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_solve_lp
:
u
se
isl_map
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polynomial
.
c: fix_i
n
active: 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
y
nomi
a
l_lift: use isl
_
q
p
olynom
i
al_domain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
e
r
doolaege
is
l
_qpolynomial_from_
t
erm: use isl
_
t
e
r
m
_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_term_get_e
x
p: extract out isl_term_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_term_
d
up: use isl
_
t
e
rm_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdool
a
ege
i
sl_qpolynomial_subs
t
it
u
te_e
q
ua
l
ities_lifted: use isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
a
e
g
e
isl_qpolynom
i
al_drop_dims: use
i
sl_qpo
l
ynomial_
d
omai
n
_va
r
_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aege
i
sl_polynomial
.
c: use isl_qpolynomia
l
_doma
i
n_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
ola
e
g
e
is
l
_qpolyn
o
mial_invol
v
es_di
m
s: use isl_qpolyno
m
ial
_
domain_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polynomia
l
.
c: substitute_non_
d
ivs
:
use
i
sl_qpolynomial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoolaege
isl
_
p
o
lynomial
.
c:
subs
t
i
tute_div: use isl_qpolynom
i
al_dom
a
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Ver
d
o
olaeg
e
isl_polynomial
.
c: subst
i
t
u
t
e
_
div: use is
l
_qpol
y
nomial_get_ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
eg
e
isl_qpolynom
i
al_var_on_doma
i
n
: use isl_space_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_
q
p
olyno
m
ial_extract_aff
i
ne: use isl_q
p
o
l
ynomial_do
m
ain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doo
l
aeg
e
i
s
l_p
o
lyno
m
i
a
l
.
c:
s
ort_divs
:
use isl_qp
o
lynomi
a
l_domain_var_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_qpolynomial_domain_offset: extract out
isl_qpolynomial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
dool
a
ege
isl_qpolynomial_
d
omain_offs
e
t: use isl_q
p
olynomial_peek_dom
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolae
g
e
i
s
l_qpolynomial_
g
et
_
domain_space: extr
a
ct out isl_qp
o
lynomia
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
s
l_constrai
n
t
.
c:
i
sl_
b
asic_se
t
_foreach
_
bou
n
d_pai
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_tab_pip
.
c: f
i
nd_contex
t
_div: use
isl
_
basic_{map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verd
o
olaege
add isl_basic_set_v
a
r_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_ma
p
_simplify
.
c
: div_fin
d
_coalesce:
u
se isl_
b
asic_map_
v
a
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
ege
isl_
o
u
t
p
ut
.
c
: drop_aff: u
s
e isl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_basic_map_drop
_
redundan
t
_
div
s
_
i
neq: use isl_basic_map_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
olaege
isl_map_simplify
.
c:
.
.
.
_drop_more_redundant
_
divs:
u
se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdool
a
eg
e
isl_
m
ap_simplify
.
c
:
co
a
l
esce_divs: use
isl_
b
asic_
m
a
p_va
r
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oolaege
isl
_
m
ap_simplify
.
c: div_is_
r
ed
u
n
dant: use isl_bas
i
c_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoola
e
ge
isl_
b
asic_map_is_div_constraint: use
i
s
l
_basic_map_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: eliminate_uni
t
_divs: use isl_ba
s
ic_map_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: check_for_d
i
v_constraints
:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_
m
a
p
_simplify
.
c: better_div_constraint: use is
l
_basi
c
_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
a
e
ge
isl_map_simplify
.
c: ok_to_set_div_f
r
om_bound: use isl_b
a
s
i
c
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
_
simpli
f
y
.
c: set_div_from_lower_bound:
u
se isl
_
basi
c
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
isl_map_sim
p
lify
.
c: no
r
mal
i
ze_
d
i
vs: use isl
_
basic_m
a
p_var
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
i
s
l
_
m
ap_simplify
.
c
:
n_pure_div_eq: us
e
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 Verd
o
olae
g
e
i
sl_
m
a
p
_
s
i
m
p
lify
.
c: remov
e
_d
u
plicate_d
i
vs: use is
l
_
ba
s
ic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_si
m
pl
i
fy
.
c: eli
m
inate_divs_
i
neq: use
is
l
_basic_
m
ap_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
o
l
aeg
e
isl_map_simplify
.
c:
elimi
n
ate_divs_eq:
isl_basi
c
_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_s
i
mpli
f
y
.
c
:
ok_to_e
l
i
minate_div
:
use isl_basic_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
o
l
a
ege
isl_m
a
p_simp
l
ify
.
c: eliminate_di
v
:
u
se
isl_
b
asic_map
_
v
a
r
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_m
a
p_simplify
.
c
:
eliminate
_
var_usi
n
g_equal
i
t
y: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_
b
asic_map_align_div
s
: use i
s
l_basic
_
map
_
var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_m
a
p
.
c:
find_div: use
isl
_
b
asic_map_var_o
f
f
s
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ba
s
ic_ma
p
_
o
rder_divs:
use isl_ba
s
ic_map_var_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
.
c: basic_set_append
_
equalities: use isl_basic_set_
o
ffs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: insert_div_rows: u
s
e isl_ba
s
ic_
m
ap
_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_map
.
c: in
s
ert_bou
n
ds_
o
n_div: use isl_basi
c
_map
_
va
r
_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ba
s
i
c_map_remove_divs: use
isl_b
a
sic_map_
v
ar_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolae
g
e
isl_basi
c
_map
_
swap_
d
iv: use isl
_
basic_
m
ap_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoolaege
isl_map
.
c
:
basic_map_init: u
s
e isl_basic_ma
p
_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_
m
ap_get_divs:
u
se isl_
b
asic_ma
p
_var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oolaege
i
s
l_dim
_
m
ap
.
c: isl_dim_map_div: use isl_ba
s
ic_map_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdo
o
laege
isl_conve
x
_hull
.
c: common_
c
o
n
straints:
use isl_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_b
a
s
ic_map_make_s
t
rides_
e
x
plici
t
:
u
se isl_ba
s
ic_
m
ap_var
_
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_a
f
f
_substitute
_
equalities_lifted: use isl_basic_s
e
t_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doolae
g
e
isl_basic
_
s
e
t_
p
o
s
iti
v
e_ort
h
ant: use i
s
l_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
isl_basic_{set
,
map}_print_internal:
use isl_
p
r
i
nter
_
pr
i
nt_ba
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
eg
e
isl_tra
n
si
t
ive
_
closu
r
e
.
c: empty_pat
h
_i
s
_identity: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl_m
a
p_simplify
.
c: div_fi
n
d_c
o
a
l
esce: reuse i
s
_op
p
o
sit
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
map_si
m
pl
i
fy
.
c:
move
u
p
is
_
o
p
posite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
aege
isl
_
s
p
ace
.
c: glob
a
l
_
pos:
return negative value on error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
ege
isl_tab
_
pip
.
c: find_context_div: rese
r
v
e
n
e
g
ative return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l_m
a
p
_
simplify
.
c: div
_
find_coale
s
c
e
: reserve negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
do
o
laege
isl_map
.
c: find_div:
reserv
e
negative return value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tab_pip
.
c: fin
d
_
d
iv: res
e
rve negat
i
ve return va
l
ue
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
sl_schedule_t
r
ee
.
c:
r
etu
r
n i
s
l
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_acces
s
_info
.
cosched
u
led
:
return is
l
_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
sl_o
u
tput
.
c: p
o
s2typ
e
: return isl_
s
tat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
sl_a
f
f
i
ne_hull
.
c: transform_colu
m
n: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_affine_hull
.
c:
c
onstruct_column: return
isl_s
t
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_tab
_
pip
.
c: init_local
_
region: ret
u
rn
isl
_
st
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
ege
isl_
s
eq_
p
r
e
image:
retur
n
isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
i
s
l
_
b
ernstein
.
c: i
s
_tight
:
r
eturn isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
ege
isl_b
e
rnstein
.
c:
is_tight: mino
r
code s
i
mpli
f
ic
a
tio
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
i
s
l_
b
ernstei
n
.
c: add_fold: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: has_multiple_var_equ
a
l
i
t
y: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
i
sl_map_si
m
p
l
ify
.
c
: is_o
p
p
o
site_excep
t
: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
m
a
p_s
i
mplify
.
c: is_parallel_e
x
cept: r
e
t
urn isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
isl_map_simp
l
i
f
y
.
c: lower
_
bo
u
nd_is_cst: return -
1
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_ast_
b
uild_expr
.
c:
all
_
n
e
g
ativ
e
_coeffici
e
nts:
retu
r
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doo
l
aege
a
dd_lower_di
v
_constra
i
nt: r
e
turn return
modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ver
d
oolaege
add_upper_div_constraint: retur
n
retur
n
modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next