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
S
v
e
n Verdoolaege
isl_polynomial
.
c: fix_inacti
v
e:
u
se is
l
_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
ege
is
l
_qpolynomial_
l
ift: use isl_qpolyno
m
i
a
l_
d
omain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaeg
e
is
l
_qpolynomia
l
_from_term: use
i
sl
_
term_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verd
o
ol
a
ege
isl
_
term_ge
t
_exp: extract out isl_
t
erm_o
f
f
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laege
isl_
t
erm_dup:
u
se is
l
_term
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
ge
isl_qp
o
lynomia
l
_substitute
_
e
qualit
i
es_lif
t
ed: use isl
_
basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolae
g
e
isl_qpolyno
m
ial_dro
p
_dims: us
e
isl_q
p
ol
y
nomial_domain_
v
ar_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
sl_polyno
m
ial
.
c: use
isl_q
p
olynomial
_
d
omain_var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl
_
q
polyn
o
mial_involve
s
_dims: use
i
s
l
_qpoly
n
o
mial_domain_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl
_
po
l
ynomial
.
c: su
b
stitute_non_divs: use isl_qpolynomia
l
_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_polynomial
.
c: subst
i
tute_div:
use isl_qpoly
n
omial_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_p
o
lyn
o
mial
.
c: sub
s
ti
t
ute_div: use
isl_
q
poly
n
omial_ge
t
_ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
laege
isl_qpolynomial_va
r
_on_do
m
ain
:
use isl_space_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
a
ege
isl
_
qpolyno
m
i
al_extract_
a
ffine: use
i
sl_qpolynomial_domain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_pol
y
nomial
.
c: sort_d
i
vs: use i
s
l
_qpolynomial_doma
i
n
_
var
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
i
sl_
q
polynomial_domain_
o
ff
s
e
t
: ex
t
ract ou
t
isl_qpolyn
o
mial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_q
p
oly
n
omial_d
o
m
ain_offset: use isl_qpolyn
o
mi
a
l_p
e
ek_d
o
ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
q
p
o
lynomial_get_domain_
s
pace: extract o
u
t i
s
l_qpolynomia
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_constraint
.
c: isl_basi
c
_
set_foreach
_
bou
n
d_pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_
t
ab_pip
.
c: find_conte
x
t_
d
i
v
: use
isl_
b
asic_{map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
a
dd isl_bas
i
c_set_
v
ar_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map_
s
i
mplify
.
c
:
div_find_co
a
lesce: use
i
s
l_basic_m
a
p_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
_
aff: use isl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
r
d
ool
a
e
g
e
isl_basic_map_drop_redund
a
nt_divs_ineq: use is
l
_basi
c
_map_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolae
g
e
isl_map
_
simp
l
if
y
.
c:
.
.
.
_
drop
_
m
o
re_redundant
_
divs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
i
sl_map_simplif
y
.
c: coal
e
sce_div
s
: use isl_basic_
m
a
p
_va
r
_off
s
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laege
isl
_
map_simplify
.
c: div_i
s
_redundant: use isl_b
a
sic_map_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ver
d
o
o
laege
isl
_
basic_m
a
p_is_di
v
_constr
a
int
:
u
se is
l
_basic_m
a
p_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_map_simp
l
ify
.
c
:
eliminate_unit_div
s
: use is
l
_basic
_
map_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl_map_simplify
.
c: check_for
_
div_constra
i
nts: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_map_simpli
f
y
.
c: better_
d
iv_constraint: use isl_basic
_
ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_simplify
.
c: ok_to_set
_
d
i
v_
f
rom_bo
u
n
d
: use isl_basi
c
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdool
a
ege
i
sl
_
m
a
p_simplify
.
c: set_d
i
v_from_lo
w
e
r
_bound:
u
s
e isl
_
b
asic
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_map_simplify
.
c: normalize_d
i
v
s: use isl_b
a
sic_
m
ap_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_map_simplify
.
c
:
n_pure
_
div_e
q
: us
e
isl_basic_m
a
p_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_
m
ap_simp
l
i
f
y
.
c: rem
o
ve_duplicate_
d
ivs: use isl_b
a
sic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdool
a
ege
isl_map_simplify
.
c
: eliminate_d
i
v
s_ineq: use is
l
_basic_m
a
p
_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
la
e
ge
isl_map
_
simplif
y
.
c: elimi
n
a
t
e_
d
ivs_eq: isl_basi
c
_map_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_map_simplif
y
.
c: ok_to_elimi
n
a
te
_
div: use isl_basic_map_
v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_ma
p
_simplify
.
c: elimin
a
te_
d
iv: use i
s
l_basi
c
_m
a
p_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_m
a
p_simplify
.
c: e
l
iminate_var_u
s
ing_equa
l
i
t
y: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
o
ol
a
ege
isl_basic
_
map_align_divs:
u
s
e
isl_basic_map_var_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_ma
p
.
c: f
i
nd_div: use
i
sl_ba
s
ic_map_var_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoola
e
ge
i
s
l_
b
asic_map_order_div
s
: us
e
isl
_
basic_
m
ap_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oola
e
ge
i
s
l_map
.
c: basi
c
_set_ap
p
end_eq
u
al
i
t
ies: use isl_basic_se
t
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
laege
is
l
_map
.
c: insert_div_r
o
ws:
u
se
isl_basic
_
ma
p
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
sl_map
.
c: i
n
sert_
b
ounds_on_d
i
v: use
i
sl_bas
i
c_ma
p
_
var_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
a
s
i
c
_ma
p
_
remove_divs: use isl_b
a
sic_map_v
a
r_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
sl_b
a
sic_map_sw
a
p_d
i
v
:
use isl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
is
l
_
map
.
c: basic_m
a
p
_init: use isl_b
a
sic_map_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoola
e
ge
i
s
l_basic_map_get_divs: use isl_bas
i
c
_
m
ap_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
dim_map
.
c:
isl_dim_
m
ap
_
div:
u
s
e isl_basi
c
_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_c
o
nvex_hu
l
l
.
c: common_con
s
traints: use isl_se
t
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_bas
i
c_m
a
p_make_
s
tride
s
_explicit: us
e
isl_b
a
sic_map_var
_
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
doolae
g
e
isl
_
aff_substitute_equal
i
ties_lifted: use
i
sl_
b
asic_se
t
_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
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
Sven Verdoolaege
isl
_
b
asic_{
s
et,map}_print_internal: use
isl_printer_print_b
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Ve
r
doolaege
is
l
_transitiv
e
_clos
u
re
.
c: emp
t
y
_path_is
_
identity: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoola
e
g
e
isl_map_si
m
plify
.
c: div_find_coalesce:
r
euse is_
o
ppo
s
ite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_map
_
simp
l
ify
.
c: move
u
p is_oppos
i
te
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_space
.
c:
g
lobal
_
pos: return
n
e
g
ative value on
erro
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_
t
ab_pip
.
c: fin
d
_
context_div: r
e
s
erve
n
egat
i
v
e return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map_simplify
.
c: div
_
find_c
o
alesc
e
: r
e
serve neg
a
tive
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p
.
c:
f
i
n
d_d
i
v: reserve
negat
i
ve return value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tab_pip
.
c: find_div: reserve negative return value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
olae
g
e
isl_schedule_tr
e
e
.
c
: return isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ac
c
e
ss_info
.
c
o
s
c
hedul
e
d: return
i
sl_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
aege
isl_output
.
c:
p
os2type: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_a
f
f
ine_h
u
ll
.
c: transform_c
o
lumn: ret
u
r
n
isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
laege
isl_a
f
fine_
h
ull
.
c: const
r
uct_colum
n
: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_tab_pip
.
c: in
i
t_local_region:
ret
u
rn
i
sl_
s
tat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_seq_pre
i
m
a
ge: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_bernste
i
n
.
c
: i
s
_tight: retur
n
i
sl
_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
isl_bernstein
.
c
: is_tight:
m
inor
code simplification
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
a
ege
isl_berns
t
ein
.
c: add_
f
o
ld: return
i
sl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laeg
e
isl_ma
p
_si
m
plify
.
c: has_multiple
_
var
_
equality: ret
u
rn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: i
s
_
o
pp
o
s
i
t
e_exc
e
pt:
r
eturn isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
is
l
_
map_simplify
.
c: is_paral
l
el_
e
xcept:
r
eturn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_map_s
i
mp
l
i
f
y
.
c: l
o
wer_bound_is_cst:
r
e
t
urn
-1 on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_as
t
_build_expr
.
c: all_negative_coeff
i
c
i
e
n
ts: r
e
turn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
a
d
d
_lower_di
v
_
c
o
nstraint: return return modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolae
g
e
add_upper_div_con
s
t
r
aint: r
e
turn return modified
result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
i
s
l_bas
i
c_map_add_div_constraint: return
r
etu
r
n
m
o
difie
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_basic_
m
a
p
_add_div_co
n
straint
s
: r
e
t
urn
m
odified
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add_{uppe
r
.
lower}_div
_
cons
t
raint: only pass in position
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
re
m
ove now
unused is
l
_ba
s
ic_{se
t
,map}_ad
d
_div_cons
t
ra
i
n
t
s
_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
r
d
oolaege
isl_basic_map_a
d
d_d
i
v_con
s
traints: use
i
sl_
b
asic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_local_
s
pace
.
c: no
r
ma
l
ize_
d
iv
:
retu
r
n m
o
dif
i
ed re
s
ult
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
aege
nor
m
aliz
e
_div_expre
s
s
i
on
:
retu
r
n mo
d
ifi
e
d result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
lae
g
e
isl_map
_
s
i
m
p
l
ify
.
c: eliminate_var
_
u
s
i
n
g_equality:
return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_inequality_negate: r
e
t
u
r
n modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_map
.
c: set_ma_d
i
vs
:
r
e
turn
modified res
u
lt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
d
oolaege
isl_basic_map_
s
wap_div: return modifie
d
result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_out
p
ut
.
c: p
r
int_constraint_c: drop now redu
n
dant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_o
u
t
p
ut
.
c:
d
ro
p
print_af
f
ine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoolaege
isl_output
.
c: pr
i
nt_co
n
strain
t
_c: use print_ls_affine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_outp
u
t
.
c: print_basic_set_c: us
e
print_l
s
_partial_aff
i
ne_
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolae
g
e
isl_cat:
su
p
p
o
rt C output f
o
r
m
at
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_schedule_band
.
c: h
a
s_any: use
i
sl_unio
n
_set_every_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdo
o
laege
add isl_union_set_every_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next