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_space_is_map: use isl_bool_ok
2018-09-02
Sven Ve
r
doolaege
isl_map
.
c: move_last
:
us
e
isl_
b
asic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_map
.
c:
mo
v
e_
l
ast: use
i
sl
_
basic_ma
p
_peek_spac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
b
a
sic_map_move_dims: use
isl_basic_map_peek_s
p
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoola
e
ge
isl
_
map
.
c:
ma
p
_inter
s
ect_inte
r
nal: use isl_map_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_basic_m
a
p_inte
r
sect: use isl_ba
s
ic_m
a
p_peek_spa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_basic
_
map_in
t
e
rsect_r
a
nge:
u
se isl_basic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_b
a
sic_map
_
inters
e
ct_domain: us
e
isl_basic_set_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
l
a
ege
isl_map
_
solve_lp:
u
s
e
is
l
_map_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_polynomi
a
l
.
c: f
i
x_inactive: u
s
e
i
sl_s
e
t
_
d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
is
l
_
qp
o
l
y
nomial_lift:
u
s
e
isl_qp
o
lynomial_domain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
l
a
e
ge
i
s
l_qpolynomial_f
r
om
_
t
erm: use isl_term_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
olae
g
e
isl_t
e
rm_g
e
t_exp:
extract out
i
sl_term_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolae
g
e
isl_term_dup: use isl_term_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_qpolynomi
a
l_substi
t
ute_equalities_lifted: use is
l
_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaege
isl
_
qpo
l
ynomial_drop_
d
i
m
s: use isl_qpolynomial_do
m
a
i
n
_
v
ar
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
o
l
aege
isl_p
o
l
y
n
o
mial
.
c: us
e
isl
_
q
p
o
l
y
nomial_d
o
main_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_
q
polynomial_i
n
volves
_
d
ims:
use i
s
l_qp
o
ly
n
omial_domain_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_pol
y
nomial
.
c: substit
u
te_n
o
n_d
i
vs
:
use
i
s
l
_qpoly
n
o
m
ial_
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
laege
isl_po
l
yn
o
mial
.
c:
su
b
stitut
e
_
d
iv: use isl_qpolyno
m
ial
_
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_pol
y
n
o
m
i
a
l
.
c: s
u
bstitu
t
e_div: use
i
s
l_q
p
olyno
m
ial_get_ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoo
l
aege
i
sl_qpol
y
n
omial_var_on_domain: use isl_sp
a
ce_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
isl_qpoly
n
o
m
ial_
e
xtract_
a
ffine: us
e
isl_q
p
olynomial
_
doma
i
n_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l
_
pol
y
nom
i
al
.
c: sort_divs: use isl_qpolynomial_domain_var_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolyno
m
i
al_domain_offset: extra
c
t
o
ut isl_qpo
l
ynomial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
ge
isl_qpolyn
o
mial_domain_offset: use isl_qpo
l
y
nomia
l
_
peek
_
d
oma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
is
l
_
qpolynomial_
g
et_domain_space: extract out is
l
_qpolynomia
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoola
e
ge
isl_constraint
.
c
:
i
sl_bas
i
c
_set_foreach_bound_pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
do
o
l
a
ege
i
s
l_tab_pip
.
c
: find_co
n
text_di
v
: us
e
isl_basic_{map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
ad
d
isl_basic_set_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoola
e
ge
isl
_
map_si
m
plif
y
.
c: div_f
i
nd_
c
o
alesce: use isl
_
basi
c
_m
a
p_v
a
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoola
e
ge
isl
_
output
.
c: drop_af
f
: use i
s
l_
b
a
s
i
c_
m
ap_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_basic_map_drop_redundant_divs_in
e
q: use
i
sl
_
basic_map_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_simplify
.
c:
.
.
.
_
drop_more_redundant_d
i
vs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
s
l
_map_simpl
i
fy
.
c: coalesce
_
d
ivs: use isl_basic_ma
p
_va
r
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
ol
a
ege
isl_map_simpl
i
f
y
.
c: div_is_redundant:
u
se isl_basic_
m
ap_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
isl_basic
_
map_is_div_c
o
nstraint: use isl_basic_map_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
aege
isl_map_simpl
i
fy
.
c: eliminate_unit_divs: use isl_basic_
m
ap
_
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
l
a
e
ge
isl
_
map
_
si
m
pl
i
fy
.
c:
c
heck_
f
or_div_constraints
:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdool
a
ege
i
s
l_map_simplify
.
c: better_div_constrai
n
t:
u
se isl
_
ba
s
i
c
_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_map_si
m
p
lify
.
c
: ok_to_set_div_from_bound: use isl_basi
c
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
sl_map_simp
l
ify
.
c
:
set_div_from
_
lower_bo
u
nd: use
i
sl
_
basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
do
o
laege
isl_map_
s
implify
.
c: normalize_divs:
use
i
sl_b
a
sic
_
map_var_of
f
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
isl_map_sim
p
lify
.
c
:
n_pure_div_eq:
u
se isl_
b
asic_m
a
p_
v
a
r
_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_m
a
p_
s
implify
.
c
: remove_duplicate_div
s
: use isl_basic_ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: eliminate_divs_ineq: use
i
sl_ba
s
ic_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
e
r
doola
e
ge
isl_map_sim
p
lif
y
.
c
: el
i
minate_divs_eq:
isl_basi
c
_
m
a
p
_of
f
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
dool
a
ege
isl_map
_
simplif
y
.
c: ok_to_eliminate_div:
u
se isl_
b
asic_
m
a
p
_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
_
simplify
.
c: eliminate_div
:
us
e
isl_
b
asic_m
a
p_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_si
m
plify
.
c: eliminate_var_using_equality
:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_basic
_
map
_
align_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
Sven Verdoolae
g
e
i
sl_
m
ap
.
c: find_div: use isl_ba
s
ic_map_var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
o
laege
isl_basic_map_order_divs:
use isl_bas
i
c_map_var_
o
ffse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
o
la
e
ge
isl_map
.
c: basic_se
t
_
a
ppend_equalities: use isl_basic_set
_
off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_map
.
c
: insert_div_rows: use i
s
l_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oo
l
aege
is
l
_map
.
c
:
insert_bounds_on_div: use isl_basic
_
map_var
_
off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_
b
asic_ma
p
_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 Verdoolaege
is
l
_basi
c
_map_swap_di
v
: u
s
e is
l
_
basic_ma
p
_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_map
.
c: bas
i
c_map_ini
t
: use isl_b
a
sic_m
a
p_peek_spa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_basic
_
map_ge
t
_divs:
use isl_basi
c
_map_
v
a
r
_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_dim
_
map
.
c: isl_dim_map_div: us
e
is
l
_bas
i
c_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
i
s
l
_
conv
e
x_hull
.
c: com
m
on_constraints: use
i
sl
_
set_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_
b
a
s
ic_map_make_strides_explicit:
use is
l
_
basi
c
_map_var
_
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
aff_substitut
e
_equalitie
s
_
lifted: use is
l
_bas
i
c_set_o
f
fs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
olaege
isl_bas
i
c_set_posi
t
ive_orthant: use isl_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_basic_{se
t
,map
}
_print_i
n
ternal: use isl_printer_
p
rin
t
_
b
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rd
o
o
l
a
e
ge
isl_
t
r
a
nsitive_
c
losure
.
c: empty_path_is_id
e
ntity: u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdoolaege
i
s
l_ma
p
_simplify
.
c: d
i
v_find_coal
e
s
ce: reuse is_o
p
p
o
site
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map_simpl
i
fy
.
c: m
o
ve up is
_
oppos
i
te
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_space
.
c: glob
a
l_
p
os: return neg
a
ti
v
e va
l
ue on err
o
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_tab_pip
.
c: f
i
nd
_
c
onte
x
t
_div
:
reserve neg
a
t
i
ve return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_map_simplify
.
c:
div_f
i
n
d_coalesce:
r
eserve negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
i
sl
_
m
a
p
.
c
:
f
ind_div: res
e
rve
n
e
gative return val
u
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_tab_pip
.
c: fin
d
_div: reserve negative retur
n
va
l
ue
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
isl_schedu
l
e
_
tree
.
c:
return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_access_info
.
coschedu
l
ed: return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ou
t
put
.
c: p
o
s2ty
p
e: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_a
f
fine_hull
.
c
:
transfo
r
m_column: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
ool
a
ege
i
s
l_af
f
ine_hull
.
c: construct_column:
retur
n
isl
_
stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_tab_pip
.
c:
init_local_reg
i
on: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
eg
e
isl
_
s
e
q_preima
g
e: re
t
urn isl_st
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_bernstein
.
c:
is_tight: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
is
l
_be
r
n
s
tein
.
c
: is_t
i
ght:
mi
n
or code
s
im
p
lification
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_bernst
e
i
n
.
c: ad
d
_fold: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdoolaege
isl_map_sim
p
li
f
y
.
c
:
has_m
u
ltiple_var_equality:
r
eturn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
e
r
doolaege
isl
_
map_simplify
.
c:
i
s_opposi
t
e_except: return
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_ma
p
_si
m
plify
.
c: is_parall
e
l
_except: re
t
urn
i
s
l_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
map_simp
l
if
y
.
c:
l
ower_bound_is_cs
t
: r
e
turn
-
1 on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_ast
_
bui
l
d_expr
.
c: a
l
l_neg
a
tive_coefficients: r
e
turn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
lae
g
e
add_lower_div_c
o
nst
r
a
i
n
t: return return m
o
dif
i
ed result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
a
dd_u
p
per_div_constraint: return
r
eturn modi
f
i
e
d result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdoolaege
is
l
_basic_map_add_div_constrain
t
: return
re
t
urn mod
i
fi
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
isl_basi
c
_
map_add
_
div
_
constraints: return modi
f
ied
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
add
_
{upper
.
lo
w
er}_div_constraint: o
n
ly pas
s
in
p
o
s
i
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
r
e
move no
w
unused is
l
_ba
s
ic_{s
e
t,map}_add_div_constrain
t
s_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
i
s
l_basic
_
map
_
add_div_constraints: use isl_basic_ma
p
_
var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_local_spa
c
e
.
c:
n
orm
a
lize_div:
r
eturn
m
o
d
ified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
nor
m
a
lize_div_e
x
pression: return modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
r
d
oolaege
i
s
l_map_simplify
.
c: e
l
i
m
i
n
ate_var
_
usin
g
_equ
a
lity: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
sl_inequ
a
lity_negate: ret
u
r
n
modi
f
ied result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
erdoo
l
aege
i
s
l_map
.
c
:
set_ma_divs: return modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next