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
generator: extract out shared is_isl_primitive
2018-09-06
Sven Verdoo
l
aege
g
e
nerator: ex
t
ract
out shared is
_
is
l
_primitive
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolae
g
e
p
ython
b
indings: al
s
o raise an exce
p
tio
n
on neg
a
tive
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
genera
t
or:
extract out is_isl_neg_erro
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
python
bindings: do not set return
of
func
t
ions r
e
turnin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
ven Verdo
o
laege
drop dep
r
ecated isl_basic_map_n_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
v
e
n Ve
r
doolaege
drop deprecated isl_map
_
n_param
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven
V
e
r
doolaege
drop de
p
r
e
cated isl_map_n_out
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
drop deprecate
d
isl_m
a
p_n_in
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
isl_
s
c
h
eduler
.
c: node_update_vmap: extrac
t
out
e
x
tract_line
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_range
.
c: collect_fix
e
d_sign_terms:
r
educe
range
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoola
e
ge
isl_map
_
dim: us
e
isl_
s
pa
c
e_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Ve
r
doolaege
is
l
_set_params: implemen
t
in terms of isl_ma
p
_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdo
o
la
e
ge
isl_set
_
dim: im
p
l
e
ment in t
e
rms of isl_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_morph
.
c
:
copy_equalities
:
us
e
is
l
_basic_set_g
e
t_
s
pace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_map_
s
ubtract
.
c: tab_
a
dd_constrai
n
t: use isl_bas
i
c
_
map
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_map_subtrac
t
.
c: t
a
b
_add_constrai
n
ts: use
i
sl_basic_map_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
l
a
e
g
e
isl_pol
y
nomial
.
c
:
ma
k
e_d
i
v
s_po
s
:
use isl_qpolynomial_doma
i
n
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoola
e
ge
isl_polynomi
a
l
.
c: sp
l
it_periods: u
s
e
isl_qpolynomial_dom
a
in_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoolaege
isl_polynomial
.
c: set_d
i
v: use isl_qpolynomial_domain
_
v
a
r_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_multi_*_dim:
u
se isl
_
m
ulti_*
_
p
eek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl
_
pw
_
*
_
dim: use isl_
p
w
_
*_peek
_
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_q
p
o
l
y
no
m
ial_in
v
ol
v
es_dims: u
s
e isl_qpolynomial_peek_dom
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polynomial
.
c: s
e
t_active: use
isl_qpolyno
m
ial_peek_do
m
ai
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
a
ege
isl_qpolynomial_domain
_
d
i
m: use isl_qpoly
n
omial_
p
eek_domain
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_point_dim: use isl
_
point_pee
k
_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
o
laege
isl
_
basi
c
_set_variab
l
e
_compression: use isl_basic_
s
et
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl
_
basic
_
ma
p
_domain
_
pro
d
uct: u
s
e isl_basic_map_get_
s
pace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
aege
isl
_
bas
i
c
_
map_overlyi
n
g_set: u
s
e is
l
_
basic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdo
o
l
a
ege
i
sl_basic
_
map
_
app
l
y_r
a
nge: use i
s
l_basi
c
_map_get_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_map
.
c: move_last:
u
s
e isl_basi
c
_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoolaege
isl_map
.
c: move_last: use isl_basic_map_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolae
g
e
isl_basic_map
_
mo
v
e
_
dims:
u
se isl_basic_map_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoola
e
ge
isl_map
.
c: ma
p
_in
t
ersect_internal: us
e
isl_
m
ap_di
m
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_inters
e
ct: use
isl_basic_map_pee
k
_
s
pace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_ma
p
_i
n
tersect_ran
g
e: use
isl_basic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oolaege
isl_bas
i
c
_
m
a
p_i
n
tersect_
d
o
main: use
isl_ba
s
ic_
s
et_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_
m
ap_s
o
lve_l
p
: use isl_map_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oolaeg
e
isl_polynomial
.
c: fix
_
inactive
:
use
i
sl_set
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
i
s
l_qpo
l
ynomial_lift: use
i
s
l
_qpo
l
ynomial
_
do
m
ain
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
d
oolaege
isl_qpolynomia
l
_from_term: use isl_term_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_
t
erm_
g
et_exp: extract out isl_term_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Ver
d
oolaege
isl_te
r
m
_
d
up: use isl_t
e
rm_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_qpoly
n
om
i
a
l_substitute_equali
t
ies_
l
ifted: us
e
isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
r
d
o
olaege
is
l
_qpolyn
o
mial_drop_dims: u
s
e
is
l
_qpolynomial_domain_
v
ar_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
aege
i
sl_polynomial
.
c: use isl_qpoly
n
omial_dom
a
in_var_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
l
aege
isl_qpolyn
o
mial_in
v
olves
_
d
i
ms
:
use isl_qp
o
lyn
o
mial_do
m
ain_v
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
p
o
l
ynomial
.
c:
s
ubstitute_non_
d
i
vs
:
use isl_qpo
l
ynomia
l
_
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_polynomial
.
c
:
substitute_
d
iv:
u
se isl_qpolynom
i
al_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_p
o
ly
n
omial
.
c: substitute_d
i
v:
use isl_qpolynomial_get_ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
isl_qpolynomial_var_on_domain: use
i
s
l_sp
a
ce_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
s
l_qpolynomial_
e
xtract_a
f
fin
e
: u
s
e isl_qpolynom
i
al_do
m
a
i
n_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oolaege
isl_polynomial
.
c: sort_divs: use isl_qpolynomial_domain_va
r
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_qpolynom
i
a
l
_dom
a
in_offset:
extra
c
t out
isl_qpolyn
o
mi
a
l_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaeg
e
isl_
q
po
l
yno
m
ial_doma
i
n_offse
t
: us
e
isl_qpo
l
y
nomial_peek_doma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_qpolynom
i
al_get_
d
oma
i
n
_space: extract
o
u
t
isl_q
p
olynomia
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_cons
t
ra
i
nt
.
c
:
i
sl_basic_s
e
t_foreach_bou
n
d_pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
is
l
_
t
ab_pip
.
c:
find_context_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_s
e
t_v
a
r
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaeg
e
isl_map_simplify
.
c: div_find_coalesc
e
: use i
s
l_bas
i
c_map
_
var
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoo
l
aege
isl_outpu
t
.
c
:
dr
o
p_a
f
f: use isl_bas
i
c
_map_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_basic_map_drop_redundant_divs_i
n
e
q
: use isl_bas
i
c_
m
ap_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
d
oolaege
i
sl_map_simp
l
ify
.
c
:
.
.
.
_
d
r
o
p_mo
r
e_re
d
undan
t
_divs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
i
sl_map_simplif
y
.
c:
c
oalesce_divs
:
u
s
e isl_ba
s
ic_map_var_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_ma
p
_simplify
.
c: div_is_redundant:
u
se isl_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_bas
i
c_map_is_div_c
o
nstraint:
u
se i
s
l_basic_map_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: eli
m
inate_unit_divs: u
s
e isl_bas
i
c_map_
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
la
e
ge
i
s
l_map_simplify
.
c
: check_f
o
r
_div_constraints: u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p_simplify
.
c
:
bett
e
r_div_const
r
aint:
use isl
_
b
asic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_map_simplify
.
c:
ok_to_s
e
t_div_fr
o
m
_
b
o
und
:
use isl_b
a
si
c
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl
_
map_simplif
y
.
c: set_div_from_lowe
r
_bo
u
nd
:
us
e
isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c:
n
o
r
malize_
d
iv
s
: use isl_
b
asic_ma
p
_var
_
offset
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_d
i
v_eq: use isl_basic_ma
p
_
v
a
r_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c:
remov
e
_d
u
plica
t
e_divs: use isl_basic_ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l
_
m
ap_si
m
plify
.
c: eliminate_divs_i
n
eq: u
s
e isl_basic_
m
a
p_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_
m
a
p
_simplify
.
c:
e
l
iminate
_
divs_eq: i
s
l_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
o
l
aege
i
s
l_map_simpli
f
y
.
c: ok
_
to_eliminate_div: use isl_
b
a
s
i
c
_map_v
.
.
.
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: elimi
n
ate_
d
iv: use is
l
_bas
i
c_ma
p
_va
r
_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_simplify
.
c
:
eliminat
e
_va
r
_using_equality: us
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
doolaege
isl
_
basic_map_al
i
gn_d
i
vs: us
e
is
l
_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoo
l
aege
i
s
l
_map
.
c: find_div: use
i
sl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_basic_map_o
r
der_div
s
:
u
se isl_bas
i
c_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdool
a
ege
isl
_
map
.
c: basic_se
t
_a
p
pend_eq
u
alities: use isl_b
a
sic_set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl_ma
p
.
c: in
s
e
r
t
_
div_rows: 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: insert_bounds_
o
n
_
div: use
i
s
l_ba
s
ic_map_var_
o
ffse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaeg
e
isl_
b
asic_m
a
p_
r
emove_divs:
u
se isl_basic_m
a
p_var_of
f
s
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_swap_div: use isl_b
a
s
i
c_map_var_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_map
.
c: bas
i
c_map_init: use isl_
b
asic_m
a
p_
p
eek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_b
a
sic_
m
ap_get_divs: use is
l
_b
a
sic_map_var_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verd
o
olaege
isl
_
dim_map
.
c: isl_dim_map_div: use isl_
b
asic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_con
v
e
x
_hull
.
c: common_constraints: use isl_s
e
t
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doolaege
isl
_
basic_map
_
make_st
r
ide
s
_expli
c
it: use isl_basic_map_var_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoolaege
isl
_
aff_substitute_equalitie
s
_lifted: use
is
l
_
b
asic_
s
e
t_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_
b
asic_set_
p
ositive_orthant
:
use isl
_
sp
a
c
e_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdool
a
ege
is
l
_basic_{set,
m
a
p}_prin
t
_in
t
ernal
:
use isl_pri
n
ter_print_ba
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_transitive_closure
.
c: empty_path
_
is
_
identity:
u
se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdool
a
ege
i
s
l_map_simplif
y
.
c
:
div_fin
d
_coalesce:
reuse is_oppo
s
ite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_sim
p
lify
.
c
:
m
ove up is_opposite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
s
l_space
.
c
:
g
lob
a
l
_
pos:
r
etur
n
negative value
o
n
e
rror
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_tab
_
pip
.
c: find_
c
ontext_d
i
v: reserve
n
egative re
t
u
r
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl_map_simpli
f
y
.
c
:
d
i
v
_
find_c
o
ale
s
ce:
r
e
s
erve negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next