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_polynomial.c: set_active: use isl_qpolynomial_peek_domain_space
2018-09-02
S
ven Verdoolae
g
e
isl_polynomial
.
c: set_act
i
ve: use isl
_
qpolynomial_pee
k
_dom
a
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_qpolyn
o
mial_
d
omain_dim: use i
s
l_qpol
y
n
omi
a
l_peek_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_p
o
int_dim: use isl_poin
t
_p
e
ek_s
p
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_basic_set_variabl
e
_
c
ompres
s
ion: use isl
_
basic_se
t
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_m
a
p
_
domain_product:
u
se isl_bas
i
c_ma
p
_get
_
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_
b
asic_map_overlying_set
:
use
isl_basi
c
_s
e
t_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl
_
basic_ma
p
_apply
_
range: use
i
s
l_basic_map_get_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_ma
p
.
c:
m
ove_last:
u
se isl_basic
_
map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oolae
g
e
isl_map
.
c: move_last: use
i
sl_basic_map_peek_spac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
sl_basic_map
_
mo
v
e_dims: use is
l
_basic_map_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_ma
p
.
c: map_intersect_internal:
u
se isl_map_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ba
s
ic_map_
i
nters
e
ct: use isl_bas
i
c_map_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_
b
a
sic_
m
a
p_intersect_r
a
nge: use isl
_
basic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basi
c
_map_inte
r
se
c
t_
d
o
m
ain:
use isl_basic_set
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n V
e
rdoolae
g
e
isl_ma
p
_s
o
lve_lp
:
use isl_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_polynomial
.
c: f
i
x_
i
na
c
tive: use isl_s
e
t
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
sl_qpolynomial_
l
ift: use isl_qpolynom
i
al_
d
o
m
ain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolae
g
e
isl_qpolynomial
_
from_term
:
use isl_ter
m
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_t
e
rm_
g
et
_
e
xp:
e
xt
r
act out isl_
t
erm_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oolaege
isl_term
_
du
p
:
use isl_t
e
rm_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_qpolynomial_substitut
e
_equali
t
ies_lifted: use
i
sl_bas
i
c_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
i
sl_qpoly
n
omi
a
l_dr
o
p_dims: use isl_qpo
l
ynomial_domain_var
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
aege
i
s
l_polyno
m
ial
.
c:
use
i
sl_qpolyn
o
m
ial_domain_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_q
p
olynomi
a
l_i
n
v
olves_dims:
u
se
isl_q
p
olynomial_domain_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdool
a
ege
isl_polynomial
.
c: subs
t
itu
t
e_non_di
v
s: u
s
e is
l
_qpoly
n
omial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_polyn
o
mial
.
c: su
b
stitute_div
:
u
se
i
sl_qpoly
n
omia
l
_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdo
o
laege
i
s
l_poly
n
omial
.
c: substitu
t
e_div: use isl_qpo
l
y
nomial_get_ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
olaege
isl_qpolynomial
_
var_on
_
do
m
a
i
n: use isl
_
space_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolynom
i
a
l
_
extract_af
f
i
ne
:
use i
s
l_qpolynomial_domain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
isl_po
l
ynomial
.
c:
s
ort_divs: use isl_qpolynomial_domain_v
a
r_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl
_
qpolynomi
a
l_domain_
o
ffset: extrac
t
o
u
t
i
s
l
_
qpol
y
n
o
mial_
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_q
p
olynomial_
d
omain_offs
e
t: use i
s
l
_qpolynomial_peek
_
doma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ol
a
ege
isl_qpolynomi
a
l_ge
t
_d
o
main_space: extrac
t
ou
t
isl_qpol
y
nomia
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_constrai
n
t
.
c: i
s
l_basi
c
_set_foreach_bound_pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
g
e
isl_tab_pip
.
c: fin
d
_c
o
ntext_div
:
use isl
_
basic_{map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add isl_basic_se
t
_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_m
a
p_
s
impli
f
y
.
c: d
i
v_find_co
a
lesce: u
s
e isl_bas
i
c_map_va
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoola
e
ge
isl_output
.
c: drop_aff: use
i
sl_basic_
m
ap_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl
_
basic_map_drop
_
redunda
n
t_divs_ineq:
use
i
sl_
b
asic_map_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_
m
ap_simpl
i
fy
.
c:
.
.
.
_
d
rop_more_red
u
ndant_divs: us
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olaeg
e
isl_map_simplify
.
c: coalesce_divs
:
use i
s
l_basic_ma
p
_
var
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_map_simplif
y
.
c: div_is_redundant:
u
se isl_basic_map_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolae
g
e
is
l
_basic_ma
p
_is_div
_
constraint: use isl_b
a
si
c
_
map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_m
a
p_simpli
f
y
.
c: eliminate_unit_divs: use isl_
b
asic_map_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: ch
e
c
k
_
f
or_
d
iv_cons
t
rai
n
ts: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
sl_m
a
p_simpl
i
fy
.
c: better_
d
iv_constraint: use isl_basi
c
_
m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolae
g
e
isl_map_simpl
i
fy
.
c: ok_to_set_div_from_boun
d
:
u
se isl_basi
c
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
o
o
laege
is
l
_map_si
m
plify
.
c: set
_
di
v
_from_low
e
r_bo
u
nd: use isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_
s
impl
i
fy
.
c: normalize_divs:
u
se isl_ba
s
ic_map_var_o
f
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdo
o
l
aege
isl_map_sim
p
lify
.
c: n_pure_div_eq: use isl_
b
asic
_
map_var_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simp
l
i
fy
.
c: remove_duplicate_divs: use isl_basic_m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oola
e
g
e
isl_map_simpli
f
y
.
c:
elimina
t
e_di
v
s_ineq: use isl_basic_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map_
s
i
m
pl
i
fy
.
c: eliminate_divs_eq: isl_basic_ma
p
_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_
m
ap_
s
implify
.
c: ok_to_
e
l
im
i
nate_d
i
v: use isl_basic_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplif
y
.
c: elimin
a
te_div: use
i
sl_basic_map_var_o
f
f
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoolaege
isl_ma
p
_simplify
.
c: eliminat
e
_var_using_equality: us
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_a
l
ign_di
v
s
:
use isl_basic_
m
ap_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
la
e
ge
isl_map
.
c: find_div: use isl_b
a
s
i
c_map_va
r
_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_basi
c
_map_
o
rder_divs: use isl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaeg
e
isl_map
.
c: basic_s
e
t_append_equalities: us
e
isl_basic_set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_map
.
c: ins
e
r
t_div_rows: use isl_b
a
si
c
_map_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_map
.
c
:
inser
t
_b
o
unds_on
_
d
iv:
u
se isl_ba
s
ic
_
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_ba
s
ic_map_remove_d
i
vs: use isl_basic_
m
ap_var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl_basic_map
_
s
wap_d
i
v
:
use
i
sl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
doolaege
isl_map
.
c: bas
i
c_map_init: use isl_b
a
s
i
c_map_peek_sp
a
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
sl_basic_
m
ap_ge
t
_divs: use isl_b
a
sic_map_
v
ar_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_dim_map
.
c: isl_dim
_
map_di
v
:
u
se isl
_
b
asic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_convex_hull
.
c: commo
n
_const
r
aints: use
i
sl_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl
_
basic_map_make_stride
s
_explicit: use isl_
b
asic_map_var_
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
a
ff_substit
u
t
e
_eq
u
ali
t
i
e
s_lifted
:
us
e
isl_
b
asic_
s
e
t
_
o
ff
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
i
s
l_basi
c
_se
t
_positive_orthant:
use isl_s
p
ace_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
e
rdoolae
g
e
i
s
l_basic_{set,ma
p
}_prin
t
_internal:
u
se isl_
p
r
i
nter_print_ba
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_transitive_clo
s
ure
.
c: empty_path_is_ident
i
ty:
u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oolaege
isl_m
a
p
_
simp
l
ify
.
c
: div_
f
ind_coal
e
sce: reuse
is_opposite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
m
ap_simp
l
ify
.
c: mo
v
e up
i
s_opposite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_space
.
c: gl
o
bal_pos:
return neg
a
tive
va
l
u
e
on error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_tab_pip
.
c: find_context_div:
r
eserve
negative return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolae
g
e
isl_map_simplify
.
c: div_f
i
nd_c
o
alesce: res
e
rve negati
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map
.
c:
find_div: res
e
r
ve n
e
gative return value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
ege
isl_tab_pip
.
c: find_
d
iv: reserve nega
t
ive retur
n
valu
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_sched
u
le_tr
e
e
.
c:
r
etur
n
i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oolaege
isl_access_info
.
coscheduled: r
e
turn is
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdo
o
l
a
ege
isl_o
u
tput
.
c: pos2type: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
sl_aff
i
ne_hull
.
c: tran
s
f
orm_c
o
lumn: retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
o
o
laege
isl_a
f
fine_hull
.
c: c
o
nstruct_column: r
e
t
ur
n
isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_tab_pip
.
c: i
n
it_
l
ocal_
r
egi
o
n:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_seq_preimage: ret
u
rn
isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_bern
s
t
ei
n
.
c
: is
_
tight:
r
e
turn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_berns
t
e
in
.
c: is_tight
:
m
i
nor
c
ode simplification
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
e
rdoo
l
aege
i
s
l_bernstein
.
c: a
d
d
_fold: return isl
_
stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
m
a
p_simp
l
ify
.
c: has_m
u
lt
i
p
l
e
_var_equality: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
_
simplify
.
c: is_opposit
e
_excep
t
: r
e
turn i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
do
o
laege
i
s
l_map_simplify
.
c: is_parallel_
e
xcept: r
e
turn is
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
doolaege
i
sl_map_simplify
.
c: lower_bound_is_cst: ret
u
rn -1 on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_a
s
t_build_expr
.
c:
a
ll_negative_
c
oefficients:
r
eturn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
add_
l
ower_div_constra
i
n
t
:
retu
r
n
retur
n
m
o
difie
d
r
esult
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
add_upper_
d
iv_con
s
traint: re
t
urn
r
etu
r
n modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_basic_map_add_d
i
v_co
n
strai
n
t
:
return r
e
turn mo
d
ified
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl
_
b
a
sic_map_add_di
v
_c
o
n
s
trai
n
ts: re
t
urn m
o
dified
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add_
{
uppe
r
.
lo
w
e
r
}
_div_constraint:
only pass in position
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next