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: fix_inactive: use isl_set_dim
2018-09-02
Sv
e
n
V
er
d
oola
e
ge
isl_pol
y
nomial
.
c: fix_inactive:
use isl
_
s
e
t_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_qpolyno
m
ial_lift: use isl_
q
polynomial_domain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolynom
i
al_fr
o
m_t
e
r
m: use is
l
_term_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aeg
e
isl_term_get_ex
p
: extract out
i
s
l
_te
r
m_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
laege
i
sl_term_du
p
:
use isl_term_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Ver
d
oolaege
i
s
l
_qp
o
lynom
i
al_substitute_equal
i
ti
e
s_li
f
ted: use isl_
b
asic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_qpolynomial_dr
o
p_dims: use isl_q
p
olynomial_d
o
main
_
var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
i
s
l
_pol
y
nomial
.
c: use isl_q
p
o
l
ynomial_domain_var_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdoolaege
i
sl_qpolynomia
l
_in
v
o
l
ves_dims: use isl_qpolynomial
_
domain
_
va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doolaege
i
sl_polynomial
.
c: substitute_non
_
div
s
: use i
s
l_qpo
l
ynomial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_polynomia
l
.
c:
subs
t
itu
t
e_div: u
s
e
i
s
l
_
q
p
olynomial_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_po
l
y
nomi
a
l
.
c: substitute_
d
iv: use isl_qpoly
n
omial_
g
et
_
c
t
x
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoo
l
aege
isl_qpolynomial_var_
o
n_
d
o
m
ain: use isl_space_o
f
fs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_qpo
l
y
n
omial_extract_af
f
in
e
: use isl_qpolynomial_do
m
ain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
aege
isl_polynomia
l
.
c: so
r
t_divs: use
i
sl_
q
polynomial_do
m
ain
_
var
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
is
l
_qpolynom
i
al_domain_o
f
fset: extr
a
ct out isl_qpoly
n
omial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
ola
e
ge
isl_qpolynomia
l
_domain_
o
ffse
t
: use isl_q
p
o
l
ynomia
l
_peek_doma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoolaege
i
s
l_qpolyn
o
mia
l
_get_domain_s
p
ace: extract
out isl_q
p
olynomia
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_constra
i
nt
.
c: isl_basic_
s
et_foreac
h
_boun
d
_pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
laeg
e
i
sl_tab_pip
.
c: find_context_div: use isl_basi
c
_{map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add isl_basic_
s
et_var
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verd
o
ol
a
ege
isl_map
_
simp
l
ify
.
c: di
v
_find_
c
oalesce: use
isl_basic_map_
v
ar
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
laeg
e
isl
_
o
u
tput
.
c:
d
rop_a
f
f
: us
e
isl_basic_map_var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl_basic_m
a
p
_
drop_redundant_divs_i
n
eq: use isl_basic_map_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdool
a
ege
isl_ma
p
_simplify
.
c
:
.
.
.
_drop_more_redun
d
a
n
t_di
v
s: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
_
simpli
f
y
.
c
: coa
l
e
s
c
e_d
i
vs: use isl_ba
s
ic_map_
v
ar_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
s
l_m
a
p
_
simplify
.
c:
d
iv_i
s
_r
e
du
n
dant: use
isl_basic_map_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
a
sic_m
a
p_is
_
div_constraint:
use isl_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erd
o
olaege
isl_
m
ap_simplify
.
c: eliminate_u
n
it_
d
ivs: us
e
isl_basic_ma
p
_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
ege
isl_
m
ap
_
simplify
.
c:
check_for_d
i
v_constraints: u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_ma
p
_simplify
.
c
:
be
t
ter_div_constraint:
use isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
lae
g
e
isl_map
_
simp
l
ify
.
c
:
ok_to_se
t
_
div_from_b
o
und: use isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaege
is
l
_map_simplify
.
c: se
t
_di
v
_f
r
om_lower_bo
u
nd: use isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
isl_
m
ap_simplify
.
c: normalize_divs: use isl_basic_ma
p
_var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
_
s
implify
.
c: n_pure_div_eq: use isl
_
ba
s
ic_map
_
va
r
_o
f
fs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
erdoolaege
isl_map_s
i
mplify
.
c: re
m
ove
_
duplicate_divs: use isl
_
basic_
m
ap
.
.
.
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 isl_basi
c
_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolae
g
e
is
l
_
map
_
simp
l
ify
.
c: eliminate_divs_eq: isl_basic_map_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
a
ege
isl_map_s
i
mplify
.
c:
ok_
t
o_elimin
a
te_div: use isl_ba
s
ic_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_map_simp
l
ify
.
c: eliminate_div: 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_map_simplify
.
c
: eliminate_var_us
i
ng_equality: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
isl_basic_map_align_di
v
s
:
use isl_basic_map_va
r
_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laege
isl_ma
p
.
c: find_div: use
isl_basic
_
map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
aege
is
l
_basic_m
a
p_order
_
div
s
:
use isl_basic_map_var
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olaege
isl_map
.
c: b
a
si
c
_set_a
p
pend_equalities: us
e
i
s
l_basic
_
set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
olaeg
e
isl_map
.
c: in
s
ert_
d
iv_r
o
ws: use isl_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c:
i
n
s
e
r
t
_
b
ounds_o
n
_div: use isl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_basi
c
_map_r
e
m
o
ve_
d
ivs: u
s
e isl_ba
s
ic_map_var
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
e
r
d
oo
l
aege
isl_bas
i
c_map_swap
_
d
i
v: use i
s
l_basic_map_var_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
sl_map
.
c: basic_map_init: use isl_basic_m
a
p_
p
eek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
olaege
is
l
_basic_map_ge
t
_divs: use isl
_
basic_map_var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
er
d
o
ol
a
e
g
e
i
s
l
_dim_map
.
c: isl_dim_map_div
:
u
s
e isl_
b
asic_map_o
f
f
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
o
o
laege
isl_convex_hull
.
c:
c
ommon_constra
i
nts: use isl_set
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_
b
a
s
i
c_map_ma
k
e_str
i
des_e
x
plicit: us
e
is
l
_basic_ma
p
_v
a
r
_
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_aff_sub
s
titute_equalities_lifte
d
:
use i
s
l
_
basic_set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_b
a
si
c
_s
e
t_
p
osit
i
ve_orthant: us
e
i
s
l
_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl_bas
i
c_{set,map}
_
pr
i
nt_in
t
e
rnal: use isl_
p
rinter_print_ba
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_transitive_closure
.
c: empty
_
path_is_ide
n
tity: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_map_simplify
.
c: div
_
find_coalesce:
r
euse is
_
opposite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_map_si
m
pli
f
y
.
c
: move up
i
s
_opposite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoola
e
ge
isl_space
.
c: global_pos: return
n
egative
v
alue o
n
erro
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
d
o
o
l
aeg
e
isl_tab_pip
.
c
: find_cont
e
xt_div: rese
r
ve n
e
gat
i
ve return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_
m
a
p_simplify
.
c: div_find_coalesce: reserve negat
i
ve
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdool
a
ege
isl_ma
p
.
c: find_d
i
v: res
e
r
ve negati
v
e return value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
sl_tab_pip
.
c: find_div: res
e
rve negative return
value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
isl_schedule_tree
.
c
: return is
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_access_info
.
coscheduled: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
ool
a
ege
isl_o
u
tput
.
c: pos2typ
e
:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaeg
e
isl_affi
n
e_
h
u
ll
.
c: tra
n
sform_c
o
lumn: return isl
_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
sl_affine_hull
.
c
:
construc
t
_column: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_
t
ab
_
pip
.
c
: init_local_region: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_seq_
p
r
eimage: retu
r
n isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
is
l
_ber
n
stein
.
c: is_t
i
gh
t
: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
e
rnstein
.
c: i
s
_
tight: minor code simpli
f
icatio
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
ae
g
e
isl_be
r
nst
e
i
n
.
c: add_f
o
ld:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p_
s
im
p
lify
.
c:
h
as_
m
ultiple_var_equalit
y
: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_s
i
mplify
.
c: is_oppos
i
te_exce
p
t:
r
etu
r
n
isl_boo
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
o
olaege
is
l
_map_simpl
i
f
y
.
c: is_
p
aralle
l
_except
:
ret
u
r
n
isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoolaeg
e
isl_map_simplify
.
c: lowe
r
_bound_is_
c
st: ret
u
rn
-
1 on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_a
s
t_build_expr
.
c: all_n
e
g
a
t
i
ve_coefficients
:
return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
aege
a
dd
_
lower_div_con
s
traint:
r
e
t
urn return modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
add_upper_div_c
o
nst
r
a
i
nt: return return modified resul
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
s
l_b
a
sic_map_add_div_const
r
aint: retu
r
n r
e
turn modified
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_ba
s
i
c_
m
ap_add_div_constra
i
nts: return modif
i
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
add_{upper
.
lower}_div
_
constraint: only
pa
s
s in posi
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
remove now unuse
d
i
s
l_basic_{set,map}_add_div_cons
t
ra
i
n
t
s
_va
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olaege
isl_ba
s
ic_map_ad
d
_d
i
v_cons
t
rai
n
ts: use isl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
d
o
olaege
isl_lo
c
al_sp
a
ce
.
c: normalize_di
v
: ret
u
rn modified r
e
sult
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
normalize_div_expressi
o
n: retur
n
modified resul
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_ma
p
_
simplify
.
c: elimin
a
te_var_using_e
q
u
a
lity: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
isl_inequa
l
i
t
y_neg
a
t
e: retu
r
n modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map
.
c: se
t
_ma_divs:
r
eturn modi
f
ied result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
eg
e
isl_
b
asic_map
_
s
wap_div:
r
eturn
modi
f
ied result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olaege
isl_output
.
c: print_constrai
n
t_c: dr
o
p
n
o
w
redunda
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_output
.
c: drop print_
a
ffine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rd
o
olaege
isl_output
.
c: print_constr
a
int_c:
u
s
e
print_ls_a
f
fine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
g
e
isl_output
.
c: print
_
b
a
sic_set_c: use print_ls_
p
a
rtial_
a
ffine_
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
i
s
l_cat: support C output for
m
at
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoola
e
ge
isl
_
s
chedule
_
band
.
c: has_any: use isl_
u
nion_set_ev
e
ry_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
ad
d
isl_uni
o
n_se
t
_every_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next