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_term_get_exp: return isl_size
2018-09-06
Sven Verdoolaege
is
l
_ter
m
_get_
e
xp: ret
u
rn isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Verdoolaege
isl_
u
nion_*_n_*: return is
l
_siz
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verd
o
olaege
isl_pw_*_n_piece: return isl_
s
ize
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
ven Verdoolaege
i
sl_
u
nion
_
{m
a
p,set}_n_{m
a
p,set}: return
i
sl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ve
r
doolaege
i
s
l
_{map,set}_
n
_
basi
c
_{map,set}: re
t
u
r
n isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
ven
V
er
d
o
o
l
a
ege
isl_b
a
sic_{map,set}_n_constraint: return
isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sv
e
n Verdoolaege
isl
_
mat_
r
ank:
return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
is
l
_mat
_
{cols,rows}: ret
u
rn isl_s
i
ze
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ve
r
dool
a
ege
isl_v
e
c_size: retu
r
n isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
ve
n
V
erd
o
ola
e
g
e
isl_val_n_abs_num_chunks: r
e
t
urn
isl_
s
ize
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
isl_*_dim: return isl_
s
ize
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ve
r
doolaeg
e
introd
u
ce is
l
_size
r
etu
r
n typ
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
v
e
n
Verdoolaeg
e
g
enerato
r
: extract out sha
r
ed is_i
s
l_
p
rimitive
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
ven
V
erdoolaege
python bi
n
dings
:
also raise an
e
xcepti
o
n on ne
g
ative
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven
Ver
d
oolaeg
e
generator: ext
r
a
c
t out is_isl_neg_error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven
V
erdoolaege
p
y
thon bindi
n
g
s: do not set return of funct
i
o
n
s ret
u
rni
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoo
l
a
ege
drop d
e
precated isl_basic_map_n_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ve
r
do
o
laege
d
r
op de
p
re
c
ated isl_map_n_param
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ve
r
doolaege
d
ro
p
d
e
precated isl_m
a
p_n_ou
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaeg
e
drop depr
e
cated isl_m
a
p_n_in
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Tobias Grosser
isl_val_plain_is_e
q
ual: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Gr
o
sser
isl_val_ne:
u
s
e isl_
b
ool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias
Grosser
isl_val_
a
bs_eq: use
i
sl_boo
l
_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
T
obias G
r
osser
isl_va
l
_
eq: use isl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Grosser
i
s
l
_
v
a
l_le: use isl_bo
o
l
_
ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bi
a
s
Gros
s
e
r
isl
_
va
l
_
gt: use isl_bo
o
l
_o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_
l
t: use isl_bool_o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Gr
o
s
ser
isl_val_
i
s_nonpos: use isl_
b
oo
l
_
o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Grosse
r
isl_val_is_nonneg: use isl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
i
sl_val_
i
s
_neg: use isl_bool_
o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Gros
s
er
isl
_
val_i
s
_p
o
s:
u
se isl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Grosser
isl
_
val_is_n
e
gone
:
use isl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gros
s
er
isl_va
l
_
i
s_one: use isl_b
o
ol_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Gros
s
er
isl_val_is_zer
o
: use
isl_bo
o
l_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Grosser
isl_val_is_neginf
t
y
:
use
i
sl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Gro
s
s
e
r
isl_val_i
s
_infty: use is
l
_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Grosser
i
sl_
v
al_is_n
a
n:
use
i
sl_boo
l
_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s G
r
osser
isl_
v
al
_
i
s
_rat: use isl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gross
e
r
isl_val_is_int: use
isl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
G
ross
e
r
isl_
v
al_is
_
divisible_by:
use
i
sl_bool_o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Grosser
introduce isl_
b
o
ol
_
ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
doc: isl_bool_no
t
is def
i
ned in isl
/
ctx
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
T
obias
Grosser
te
s
t isl_b
o
ol_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_scheduler
.
c: nod
e
_upda
t
e_vm
a
p:
e
xtract o
u
t
e
x
t
ract_linea
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
is
l
_range
.
c
: coll
e
ct_fixed_sign_
t
e
r
m
s: reduce rang
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoola
e
g
e
isl_map_
d
im: use
isl_sp
a
ce_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoola
e
ge
isl_s
e
t_
p
arams:
implement in t
e
rms of isl_map
_
params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_set
_
d
i
m
: im
p
lement in term
s
of isl_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
d
oolaege
isl_morph
.
c: c
o
py_equal
i
ties
:
u
se isl_basic_set_get_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
s
l_
m
ap_subtra
c
t
.
c: tab_
a
dd_cons
t
rain
t
: u
s
e isl_ba
s
i
c_map
_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
olaege
isl
_
map_s
u
btr
a
ct
.
c: tab_add_constr
a
ints:
use i
s
l_basic_ma
p
_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
poly
n
omial
.
c
:
m
ake_divs_p
o
s
:
use
i
sl_qpolyno
m
ia
l
_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
aege
isl_polynomial
.
c
:
spl
i
t_periods: us
e
isl_
q
polynomial_do
m
ai
n
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
doolaege
is
l
_polynomial
.
c: set_div:
use
i
sl_qpol
y
nomial_domain
_
var_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_mul
t
i_*_dim: us
e
isl_multi_*_pe
e
k
_
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_pw
_
*
_di
m
: use isl_pw_*_peek_
s
pace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl_qpolynomial
_
i
n
vol
v
es_dims: use
i
sl_qpolyn
o
mial_p
e
ek_
d
oma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doola
e
ge
isl_p
o
lynom
i
al
.
c: set_active: use isl_q
p
olynomi
a
l_peek_domai
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_qpolynomia
l
_do
m
ain_dim: use isl_qpolynom
i
al_pee
k
_d
o
main_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_point_dim: use is
l
_poin
t
_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ver
d
oolaege
isl_basic_set_var
i
able_comp
r
ession: u
s
e isl_basi
c
_
set_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
isl_basic
_
map_doma
i
n_
p
r
o
d
uct:
use isl_basic_map_get_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
g
e
isl
_
bas
i
c_ma
p
_
o
verlying_set: use isl_ba
s
ic_s
e
t_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
is
l
_b
a
sic_
m
ap_
a
p
ply_range:
us
e
isl_b
a
s
ic_map_g
e
t_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: mov
e
_las
t
:
us
e
isl_bas
i
c_
m
ap
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolae
g
e
isl_map
.
c: move_last:
u
se
i
sl_bas
i
c
_
m
a
p_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
e
r
doolaege
isl_b
a
sic_ma
p
_m
o
ve_dims: 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 Verdoolaege
i
sl
_
m
a
p
.
c: map_intersect_inte
r
nal:
u
se isl
_
map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_
b
asic_map_i
n
tersect: use isl_basic_map_pe
e
k_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olaege
isl
_
basi
c
_
map_intersect_range: use isl_basic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
d
oolaege
i
sl_basic_
m
a
p
_interse
c
t
_
d
o
main: use isl_basi
c
_set_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_solve_lp: use isl_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l
_
polynomial
.
c: fix_inactive: use
i
sl_s
e
t
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
s
l
_
q
polyn
o
mial_lif
t
:
use isl_qpo
l
yno
m
ial_do
m
ain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoola
e
ge
isl_qpolyn
o
mial_from_term:
u
se isl_te
r
m_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaege
isl_term_get_ex
p
:
extrac
t
out
i
s
l_t
e
rm
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
e
r
doolaege
isl_term_d
u
p:
u
se
i
s
l_term_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_qpolynomi
a
l_substitute_e
q
ualities_lifted
:
use isl_ba
s
ic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
i
sl_qp
o
lynom
i
al_drop_dims: use isl_q
p
olynomi
a
l_domain_var_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_polynomial
.
c: us
e
isl
_
qpo
l
ynomial
_
domai
n
_
var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaeg
e
is
l
_qpo
l
ynomial_inv
o
lves_dims: use isl_qpolynomial_
d
omain_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_polynomial
.
c
: subs
t
it
u
te_non_divs: use
i
sl_qpoly
n
omi
a
l_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoola
e
g
e
isl_polynomial
.
c: substitute
_
div:
u
se isl
_
qpolynomial_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
olae
g
e
isl_
p
ol
y
no
m
ial
.
c: substitute_div: use isl_qp
o
ly
n
o
m
ial
_
get_ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoo
l
a
ege
isl_qpolynomial_var_o
n
_domain: use isl
_
s
pace
_
offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laeg
e
i
sl_qpolynom
i
al_ex
t
r
a
c
t_
a
ffin
e
: use is
l
_qpolynom
i
al_domain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
a
ege
isl_p
o
lynomial
.
c:
sort_divs: use isl_qpolynomial_
d
omain_var_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_qpolynomial
_
d
o
main_of
f
set: extract
o
ut isl_
q
polynomi
a
l
_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
o
l
aege
isl_
q
polynomial_domain_offset
:
use isl_qpolynomial_peek_doma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_qpol
y
n
o
mial_get_domain_spa
c
e: ex
t
r
a
ct out is
l
_
q
polynomia
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaege
isl_
c
ons
t
r
a
i
nt
.
c
:
isl_basic_set_f
o
reach_b
o
und_p
a
i
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_tab_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 Verdoola
e
ge
a
d
d
isl_basic_set_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_simplify
.
c
:
div_f
i
n
d_coalesce: use isl_basic_map_var
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ou
t
put
.
c: dr
o
p
_aff: use isl_basic_
m
ap_v
a
r_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
a
s
ic_map_drop_redundant_d
i
vs_i
n
e
q
: use isl_b
a
s
ic_
m
ap_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_si
m
plify
.
c:
.
.
.
_drop_more_redun
d
ant_divs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
eg
e
isl_map_simplify
.
c: coa
l
esce
_
di
v
s
: us
e
i
sl_b
a
sic_map_var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdoolaege
isl
_
map_simplify
.
c: div_is_redundant: u
s
e isl_bas
i
c_ma
p
_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_is_div_cons
t
raint: use isl_basic_map
_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next