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_map_overlying_set: use isl_basic_set_dim
2018-09-02
Sven Verdoolaeg
e
isl_basic_map_overlyi
n
g_set: use isl_ba
s
i
c
_se
t
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_bas
i
c
_
map_apply_ra
n
ge: u
s
e
isl_ba
s
ic_m
a
p_
g
et_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
map
.
c:
m
o
v
e_last: use
isl_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l_map
.
c:
move_last: u
s
e isl_basic_map_p
e
ek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aege
isl
_
basic_map_move
_
dims: use
i
sl_basi
c
_
m
ap_pee
k
_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
d
o
olaege
isl_map
.
c: map_intersect_internal
:
use isl_map
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_basic_map_
i
ntersec
t
: use isl_basic_map_p
e
e
k_spa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
isl_basic_
m
ap_intersect_range: use isl_
b
as
i
c
_se
t
_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aeg
e
isl_basic_map
_
intersect_do
m
ain:
u
se isl_basic_
s
e
t
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
d
o
olaege
isl_
m
ap_
s
olve_lp
:
use isl_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
isl_p
o
lynom
i
al
.
c: fix_i
n
a
c
t
ive: use isl_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_q
p
olynomial_lift: us
e
isl_qpolynomial
_
d
omain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_qpolynomial
_
f
ro
m
_term: use i
s
l_term_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
g
e
isl_
t
erm_get_
e
xp: e
x
tr
a
ct out isl_term
_
o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_term
_
dup
:
use
isl_term_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
a
e
g
e
isl
_
qpolynomia
l
_sub
s
ti
t
ute_equalities_
l
ifted: use
i
sl_
b
asic
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaeg
e
isl_
q
polynomial_drop_dims
:
use isl_qpolynomia
l
_domain_va
r
_o
f
f
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l_polynomial
.
c: use isl_qpol
y
no
m
ial_domain_
v
ar_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl
_
qpolynomial_
i
nvolves_dims: use isl_
q
poly
n
omial_domain
_
v
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
isl_poly
n
o
m
ial
.
c: substitute_non_divs:
u
se isl_qpolynomial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoola
e
ge
isl_polyn
o
mial
.
c
: subs
t
it
u
te_div: us
e
is
l
_qpol
y
nom
i
al_doma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
p
olynom
i
al
.
c: substitute_div
:
use isl_qpolyno
m
ial_get_ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
i
sl_qpo
l
yno
m
ia
l
_v
a
r_on
_
domain: us
e
isl_
s
p
ace_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oolaeg
e
isl_qp
o
l
yno
m
ial_extr
a
ct_affine
:
use isl_
q
pol
y
nomial_d
o
main_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oolae
g
e
isl_polynomial
.
c
:
s
ort_divs:
use isl_qpol
y
nomi
a
l_
d
omain_var
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_q
p
ol
y
nomial_domain_offset:
e
x
t
r
act
out isl_qpolyn
o
mial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_qpolynomial_domain_offset: use
i
s
l_
q
pol
y
nomial
_
peek_doma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolynomial_
g
e
t_domain_space: extract o
u
t isl_qpolynomi
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaeg
e
isl_constraint
.
c: isl_ba
s
ic_set_
f
oreac
h
_bou
n
d
_
pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_tab_pip
.
c: fin
d
_context_div:
use i
s
l
_basic_{map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
ege
a
dd i
s
l_
b
asic_s
e
t_va
r
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_simplify
.
c: d
i
v_find_coa
l
esce: use isl_
b
asi
c
_map_var
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
o
utput
.
c:
d
r
o
p_
a
ff
:
u
s
e
isl_basic_map_var
_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoola
e
g
e
isl_basic_map_drop_redundant_divs_ineq:
use isl
_
b
asic_ma
p
_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
s
l_map_simplify
.
c:
.
.
.
_drop_more
_
r
edundant_
d
ivs: use
.
.
.
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_
s
i
mp
l
ify
.
c
: co
a
les
c
e_divs:
use isl_basic_ma
p
_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_map_sim
p
l
ify
.
c: div_i
s
_r
e
d
undant:
use isl_basi
c
_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_is_div_
c
onstra
i
nt: use
isl_
b
asic_map
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
ola
e
g
e
isl_map_s
i
m
pl
i
fy
.
c: eliminate_unit_divs: use i
s
l
_
basic_map
_
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oolaeg
e
isl_map_simplify
.
c: c
h
eck_for_d
i
v_const
r
aints: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
o
laege
isl
_
map_simp
l
ify
.
c
:
better
_
d
i
v_co
n
s
traint: use isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_
ma
p
_simplify
.
c
: ok_to_set_div_fr
o
m
_bound: use isl_b
a
sic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
m
a
p
_simplify
.
c: set_div_from_
l
ower_bound: use isl_bas
i
c_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoo
l
aege
i
s
l_map_s
i
mpl
i
fy
.
c: normalize_divs
:
use isl_bas
i
c_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
ool
a
eg
e
is
l
_map_s
i
mplify
.
c: n_p
u
re
_
div_eq: use isl_basic_map_va
r
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolae
g
e
isl_map
_
simplify
.
c: remove
_
duplic
a
te_
d
ivs: use isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdool
a
e
g
e
isl_map_simp
l
ify
.
c: e
l
i
minate_divs_ineq:
use i
s
l_basic_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
oolaege
i
s
l
_map_
s
implify
.
c: eliminat
e
_divs_eq: isl_
b
a
s
ic_
m
ap_o
f
fs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
isl_map_simplify
.
c: ok_t
o
_eliminate_div
:
us
e
is
l
_basic_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olaege
i
sl_map_simplify
.
c: el
i
minate_div: use
is
l
_ba
s
i
c_
m
ap_var
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
eg
e
isl_map_simplify
.
c: eliminate_
v
ar_using_
e
quality
:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
ae
g
e
isl_basic_
m
a
p
_align_divs: use isl_b
a
sic_map_va
r
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
o
ol
a
ege
isl_map
.
c:
f
ind_div: use i
s
l_ba
s
i
c_map_var_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
is
l
_basic_map_order_divs: use
i
sl_basi
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
isl_map
.
c
:
ba
s
ic_set_ap
p
end_equalities: use isl_
b
asic
_
s
e
t
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_map
.
c
:
insert_div_row
s
:
use isl_ba
s
ic
_
ma
p
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map
.
c: i
n
sert_bounds_on_div: use isl_basic_map_v
a
r
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
o
laege
isl_basic_map_remove_divs: u
s
e is
l
_ba
s
ic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
i
sl_basic_map_swap_div: u
s
e isl_bas
i
c_map_va
r
_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
olaege
i
sl
_
map
.
c: basic_m
a
p_i
n
i
t: use isl
_
b
asic_m
a
p_peek
_
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l_basic_map_get_
d
ivs: use isl_b
a
sic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_dim_
m
ap
.
c: isl_dim_
m
ap_div: use isl_basic_map
_
of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_conv
e
x_hu
l
l
.
c:
c
o
m
mon_cons
t
rai
n
ts: use isl_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
l
aege
isl
_
bas
i
c_map_make_strides_expl
i
cit:
u
s
e isl_basic_map
_
var
_
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_af
f
_substitute
_
eq
u
alities_lift
e
d: use isl_bas
i
c_
s
et_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laeg
e
isl_basic_set_positive_orthant
:
use isl_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoola
e
g
e
isl
_
basic_{se
t
,map}_print_internal:
u
se is
l
_pr
i
nter_print_ba
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
do
o
laege
isl_tra
n
sit
i
ve_clo
s
ure
.
c: empty_pa
t
h_is_identit
y
: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
i
s
l
_map
_
simplify
.
c: d
i
v_fin
d
_coalesce
:
r
euse is_opposite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: move up is_opposit
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_space
.
c: global_
p
os: return
n
ega
t
ive va
l
u
e o
n
error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaeg
e
isl_tab_
p
ip
.
c: find_cont
e
x
t_div: reserve negative return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_map
_
simplify
.
c: div_find_coal
e
sce:
r
e
serve negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
.
c: find_d
i
v: reserve
n
eg
a
tive r
e
turn v
a
lue
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl
_
tab_pip
.
c
: find_div: res
e
rve nega
t
ive return value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oola
e
ge
isl_sched
u
le_tree
.
c:
retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
ge
isl_access_info
.
c
osche
d
ul
e
d: return
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_output
.
c: pos2
t
y
pe: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oolaege
isl_affine_hu
l
l
.
c: transform_column
:
return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_aff
i
ne_h
u
ll
.
c
: construct
_
col
u
mn:
r
eturn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolae
g
e
isl_tab_pip
.
c
: in
i
t_local_reg
i
on: ret
u
r
n
is
l
_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoola
e
ge
isl_
s
eq_preimag
e
: return
isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl
_
bernstei
n
.
c
: is_tight: ret
u
rn isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
i
sl_bern
s
t
ei
n
.
c: is_tight: minor code simp
l
i
fication
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
i
sl_b
e
rnstein
.
c
:
add_fold: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
aege
i
s
l_ma
p
_
simplify
.
c
: has_multiple_var_equality: r
e
tu
r
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
a
ege
i
s
l
_m
a
p_sim
p
lif
y
.
c:
i
s_opp
o
s
ite_ex
c
e
p
t
:
re
t
urn isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdool
a
ege
i
s
l_ma
p
_simplif
y
.
c:
is_p
a
ralle
l
_except: return is
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doolaege
isl_ma
p
_sim
p
lify
.
c: lower_bound_is_cst: return -1
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olaege
i
sl_ast_bu
i
l
d_e
x
pr
.
c: all_negat
i
ve_co
e
fficients: retu
r
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
add_lower_
d
i
v
_constra
i
nt: return
ret
u
rn modified
r
esult
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
aege
add_upper_
d
iv_constraint
:
return return m
o
d
i
fied res
u
l
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_basic_map_add_div_constrain
t
:
ret
u
rn return m
o
dified
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_basic_map_add_div_constraints: return modif
i
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
ad
d
_
{
upp
e
r
.
lower}_
d
i
v_constraint:
o
n
l
y
pass
in position
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
remove n
o
w
u
nuse
d
isl_basic_{set,map}_add_div_constra
i
nts_
v
ar
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
isl_b
a
sic_map
_
ad
d
_div_co
n
straints:
us
e
i
s
l_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
s
l_local_spac
e
.
c: normalize_div: return modified resul
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
normalize_div_e
x
pressio
n
: return mod
i
fied r
e
sult
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_sim
p
l
i
fy
.
c: eliminate_
v
ar_using_equality:
r
et
u
rn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next