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
drop deprecated isl_map_n_param
2018-09-06
Sven Ver
d
o
olaege
d
r
op deprecated isl_map_n_para
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
Verdo
o
laege
dr
o
p depr
e
cated isl_map_n_
o
ut
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven
V
erdoolae
g
e
d
r
op deprecated isl_map_n_in
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
T
o
b
ias G
r
osser
i
sl_val_
p
lai
n
_is_equal: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Grosser
isl_val_ne:
us
e
isl_boo
l
_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bi
a
s Grosse
r
i
sl_va
l
_
abs_
e
q: u
s
e isl_bool
_
ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ia
s
Gro
s
s
e
r
isl_v
a
l_eq: us
e
isl_bo
o
l_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Gross
e
r
i
sl_
v
al_le: us
e
isl_bool_
o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosse
r
isl_val_
g
t
: use is
l
_bool_
o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
G
r
o
s
ser
is
l
_
v
al_lt: us
e
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_val_is_nonpos: use isl_b
o
ol_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val
_
is_n
o
nneg: use isl_bool
_
ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Grosser
isl_
v
a
l_is_neg: use isl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Grosser
isl_val_is_pos
:
u
se isl_bool_
o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gro
s
ser
isl_val_is_
n
egone:
u
s
e isl_bool_
o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Grosser
isl_val_is_one: use
isl_bo
o
l
_
ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
T
o
b
ias Gros
s
e
r
isl_val_is_zer
o
: use isl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gros
s
er
isl_v
a
l_is_neginfty: use isl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
G
rosser
isl_val
_
is_infty:
u
se isl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bi
a
s Grosser
isl_val
_
i
s_n
a
n:
u
se isl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_i
s
_rat: us
e
isl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bi
a
s Grosser
i
sl_
v
al_is_int:
use isl_
b
ool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gross
e
r
i
sl_val_is_divi
s
ible_by:
u
se isl_bool_ok
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gr
o
sser
int
r
oduce
i
sl_bool_o
k
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
d
oc: isl_boo
l
_n
o
t is defined in isl/ctx
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Grosser
te
s
t isl_boo
l
_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_sc
h
ed
u
ler
.
c:
node_update_v
m
a
p: ext
r
a
c
t out e
x
t
r
ac
t
_l
i
nea
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_range
.
c: col
l
ect_fixed_si
g
n
_
terms: reduce range
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
i
s
l_map_dim: us
e
isl_sp
a
ce_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
isl_set_pa
r
ams: implement in terms of isl_m
a
p_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_set_dim: imp
l
ement in terms of isl_map
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oolaege
is
l
_
morph
.
c:
co
p
y_equal
i
t
i
e
s
:
u
s
e
isl_basic_set_get_sp
a
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
olaege
isl_m
a
p_subtract
.
c: tab_add_constraint: use
i
s
l_basic_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
sl_map_subt
r
act
.
c: tab_add_constrai
n
ts: use isl_bas
i
c
_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polyno
m
ial
.
c: make_divs_p
o
s:
u
se is
l
_qpo
l
ynom
i
al_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
o
olaege
isl_
p
olynomial
.
c
: split_periods: u
s
e isl_
q
polynomial_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_
p
o
l
ynomial
.
c: set_
d
iv: u
s
e isl_qpoly
n
omial_domain_v
a
r_of
f
s
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoola
e
g
e
isl_mu
l
ti_*
_
dim
:
use isl_mu
l
ti_*_p
e
ek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_pw
_
*
_
dim: use
isl_pw_*_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_
q
polyn
o
mial_involves_dims
:
u
se
isl_qpol
y
n
omial_peek_d
o
ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
isl_p
o
l
ynomial
.
c: se
t
_acti
v
e: use isl_
q
polynom
i
al_peek
_
domai
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
doolae
g
e
isl_qpo
l
ynom
i
a
l_dom
a
i
n_d
i
m: use
i
sl_q
p
olynomi
a
l_peek_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oolaege
isl_
p
o
i
nt_dim: use isl
_
point_p
e
ek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
la
e
g
e
i
s
l
_
basi
c
_
s
e
t_variable_compressio
n
:
u
s
e i
s
l_b
a
sic_set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaeg
e
is
l
_basic_
m
ap_
d
omain_pr
o
duct: use isl_bas
i
c
_ma
p
_get_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_bas
i
c_map_overlying_set: us
e
isl_ba
s
i
c_se
t
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoola
e
g
e
isl
_
basic_map_apply_ran
g
e: use isl_basic_map_get_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
o
o
l
a
ege
isl_map
.
c: move_last: use isl_bas
i
c_ma
p
_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_
m
ap
.
c:
m
ove_last: us
e
isl_basic_map_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_
m
ap_move_dims:
use isl_basic_m
a
p
_
p
ee
k
_s
p
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_map
.
c: map_inters
e
c
t
_in
t
ernal: use isl
_
map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_bas
i
c_map_i
n
tersect:
use isl_
b
asic_map_peek_
s
pace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_basi
c
_map
_
i
n
t
e
rsect_range: use
i
sl_basic_se
t
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
d
oo
l
a
eg
e
isl_basic_map_intersect_domain: use isl_
b
asic_set_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
isl_ma
p
_solve_l
p
: us
e
i
s
l
_
map_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
er
d
o
olaeg
e
isl
_
p
o
lynomial
.
c: fix_ina
c
tiv
e
: use isl_s
e
t_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
i
s
l_qpol
y
no
m
ia
l
_lift: us
e
isl_qpol
y
nomial_domain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaeg
e
i
s
l_
q
polynomial_from_term: use is
l
_term_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_term_get_exp: extr
a
ct out isl_term_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_term_dup:
u
s
e isl_term_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_qpo
l
yno
m
ial_substitute
_
equalities_lifted
:
use i
s
l_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aege
isl_
q
pol
y
n
omial_drop
_
dims:
u
se isl_qpo
l
ynomial_domain_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
i
sl_
p
olynomial
.
c: use is
l
_
q
poly
n
omial_domain_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_qpolynomia
l
_involves_dim
s
: use i
s
l_qp
o
l
ynomial_domain_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polynomial
.
c: substit
u
te_no
n
_divs: use isl_q
p
olynomial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdo
o
laeg
e
isl_pol
y
nomial
.
c: sub
s
titut
e
_
d
iv: use isl_qpolynomial_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_polynomial
.
c:
s
u
b
stitu
t
e_d
i
v: use isl_qpolynomial_ge
t
_ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
sl_qpo
l
ynomial_v
a
r_on_domain: use is
l
_space_
o
f
f
se
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
s
l
_
q
polynomial_
e
x
tract
_
affine: use isl
_
qpolynomi
a
l_d
o
main_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
is
l
_polyn
o
mial
.
c:
so
r
t
_divs: use
i
sl_qpoly
n
omial_domain_var_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolynomial_domain_offset: extract out isl_qpolynomial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolyn
o
mial_domain_o
f
fset:
u
s
e
isl_qpo
l
yn
o
mial_peek_
d
o
ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
laege
isl_
q
polynom
i
al_get
_
domain_sp
a
ce: extr
a
ct ou
t
isl_qpolynomi
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaeg
e
isl
_
co
n
strai
n
t
.
c:
i
sl
_
bas
i
c
_set_for
e
ac
h
_bound_pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
is
l
_t
a
b_pip
.
c: find_c
o
ntext_div: use
i
sl_bas
i
c_{map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaeg
e
add isl_b
a
sic_
s
e
t_var_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolae
g
e
i
sl_
m
ap_sim
p
l
if
y
.
c: div_find_
c
oalesc
e
: use isl_b
a
s
i
c_ma
p
_var
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_out
p
ut
.
c: drop_a
f
f
: us
e
is
l
_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ve
r
doolaege
isl_basic
_
ma
p
_
dro
p
_
redun
d
ant_d
i
vs_
i
n
eq:
u
se
i
sl_ba
s
i
c
_
map_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdoolaege
isl_map_
s
implify
.
c
:
.
.
.
_dr
o
p_more_
r
edundant_
d
ivs: u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_map_simplify
.
c:
coales
c
e_divs: use
i
sl_
b
asi
c
_map_var_offs
e
t
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
:
div_is_redundant: use i
s
l_basic_map_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l_ba
s
ic_map_is_di
v
_c
o
nstraint
:
use isl
_
b
a
sic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_map_si
m
plify
.
c: eliminat
e
_un
i
t_
d
ivs: use isl_basic_map_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simp
l
i
fy
.
c:
check_for_div_constr
a
ints: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_
s
implify
.
c: better
_
div
_
c
onstraint:
u
s
e isl_b
a
sic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_
m
ap_simplify
.
c: ok_
t
o_set_div_
f
rom_bound:
use isl_ba
s
ic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map_s
i
mplify
.
c:
s
et_div
_
f
r
om_lower_bou
n
d
: use isl
_
basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oolaege
isl_ma
p
_simplify
.
c:
n
ormali
z
e_di
v
s: use isl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
o
laege
i
s
l_map_simplify
.
c
:
n_pure_div_eq: use isl_basic_map_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_
m
ap_
s
implify
.
c: r
e
m
o
ve_du
p
l
i
cat
e
_
divs: use is
l
_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
ool
a
ege
isl_map_
s
i
m
p
lify
.
c:
eliminate_di
v
s_ineq:
use isl_
b
asic_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
ae
g
e
isl_map_simplify
.
c:
e
liminate_
d
ivs_eq:
i
sl_ba
s
ic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_
m
ap_simplify
.
c:
ok_
t
o_elim
i
nate_div: use isl
_
bas
i
c_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
ege
isl_map_simpli
f
y
.
c: el
i
minate_div: use isl_basic_map_va
r
_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
doolaege
isl_map_s
i
mplify
.
c
:
e
l
iminate_var_using_equali
t
y: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
a
sic_map_al
i
gn_divs: use
i
s
l
_basic_
m
a
p
_var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
is
l
_map
.
c: find_div:
use
i
sl_basic_map_var_o
f
f
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_basic_map_
o
rder_divs: use is
l
_
basic_m
a
p
_
var_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
laege
isl_
m
ap
.
c: basic_set_app
e
nd_equalities: use isl_basic_set_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next