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_poly_is_nan: use isl_bool_ok
2018-09-08
S
v
e
n
Ver
d
oola
e
ge
exp
o
rt isl_union_{set,map}_every_{s
e
t,map}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-08
Sven Verdoo
l
a
ege
add is
l
:
:
c
hecked
:
:boo
l
ean::error()
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-08
Sven
Ver
d
o
olaege
i
n
terface:
h
andle callbacks retur
n
ing isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-08
Sven Verdoolae
g
e
che
c
ked c
p
p: add isl
:
:
b
oo
l
ean::relea
s
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-08
S
ven V
e
rdoolaeg
e
interf
a
ce: do not assume every callback ret
u
rn
s
isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven
Verdoolae
g
e
isl_output
.
c
:
poly_rec_n_non_zero:
return isl
_
s
i
ze
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
isl_term_
o
ffset: retu
r
n
i
s
l
_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en
V
erdoolaege
isl
_
q
polynomial_domain_var_o
f
fset:
retu
r
n isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
Verd
o
ol
a
ege
isl_point_var_of
f
set: retur
n
i
sl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ver
d
oola
e
ge
is
l
_ba
s
ic_{map
,
set}_var_off
s
et: return i
s
l_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
ve
n
Verdoolae
g
e
i
sl_space
.
c
:
global_pos: retur
n
isl_si
z
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven V
e
r
d
o
o
lae
g
e
print_as_mod
u
lo_pos: retu
r
n isl
_
siz
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
isl_ver
t
ices
_
get_
n
_vertice
s
:
return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ver
d
oolaege
isl_vertex_g
e
t_id: r
e
tu
r
n i
s
l_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
V
e
rdoolaege
i
s
l
_
sch
e
d
ule_node_get_sch
e
du
l
e_dep
t
h: return is
l
_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
ven Verdo
o
laege
isl_schedule_node_band_n_member:
re
t
u
r
n isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
isl_s
c
hedul
e
_node_get_ancestor_child_position: re
t
urn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven
V
erdoolaege
i
sl_schedule_node_ge
t
_child_positi
o
n: return isl_
s
ize
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdo
o
laege
isl
_
schedule_nod
e
_get_tree_depth: r
e
turn isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Verdoolaege
i
s
l_ast_e
x
pr_get_op
_
n_arg: return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
Verdoolaege
isl_*_list
_
size: retu
r
n isl
_
size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sv
e
n V
e
r
doolaeg
e
isl_t
e
r
m_get_exp: return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoola
e
ge
isl_union_*_n_*
:
return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven V
e
rdoolaege
isl_pw_*_
n
_piece: return isl
_
s
ize
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Verdoolaege
isl
_
union_{
m
a
p,set}_n_{map,set}
:
retu
r
n isl_si
z
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Verdoolaeg
e
i
s
l_{map,s
e
t}_n_basic_
{
map,set}: r
e
tur
n
i
sl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolae
g
e
isl_basic_{ma
p
,set}_n
_
const
r
aint: return i
s
l_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven
Verdoolae
g
e
i
s
l_mat_rank:
r
e
turn
i
s
l
_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sv
e
n Verdoolaege
isl_mat_{cols,row
s
}: return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
ven Verdoolaege
isl_vec_s
i
ze: return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
isl_val_n_
a
bs_num_chunks: return isl_
s
ize
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Ve
r
d
o
olaege
isl_*_dim: return isl
_
size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ver
d
oolaege
in
t
roduce isl_s
i
z
e
r
eturn type
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
Ver
d
o
o
l
aeg
e
gen
e
rator
:
e
x
tract
out s
h
ared is_isl_primitive
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
ven
Verdoolaege
p
y
thon bind
i
ngs: also raise an
e
x
ception o
n
nega
t
i
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sv
e
n Verdoo
l
aeg
e
generat
o
r:
e
xtract out is_i
s
l_neg_e
r
ror
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven V
e
rdool
a
ege
py
t
h
o
n
binding
s
: do not
s
et
r
etur
n
of functions
returning
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
drop
deprecated isl_basic_
m
ap_n_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven V
e
rdoola
e
ge
d
r
op depreca
t
e
d isl_
m
ap_n_param
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
drop deprecated
isl_m
a
p_n_out
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
Verdoolae
g
e
drop deprecated isl_m
a
p_n_
i
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_
s
cheduler
.
c
:
node_updat
e
_
v
map:
extract o
u
t extra
c
t_linea
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_range
.
c: c
o
llect_fixe
d
_s
i
gn
_
term
s
: reduce
r
a
nge
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_m
a
p_
d
im: use isl_space_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdool
a
e
ge
isl_se
t
_params: impleme
n
t in
t
erms
of
isl
_
map_par
a
ms
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolae
g
e
isl_s
e
t_
d
im: implement
in te
r
ms o
f
i
s
l
_
m
ap_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olaege
i
sl_morph
.
c: c
o
py_
e
qualities: use isl
_
basi
c
_
s
e
t
_g
e
t_
s
pac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_ma
p
_sub
t
ract
.
c: t
a
b_ad
d
_
cons
t
raint: use isl_basic_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
m
ap_
s
ubtrac
t
.
c: t
a
b_add_con
s
train
t
s: use isl_ba
s
ic_
m
ap_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_polynomia
l
.
c:
make_divs_pos: u
s
e i
s
l_qpoly
n
om
i
al_d
o
main_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polynomia
l
.
c: split_pe
r
iods:
use isl_q
p
o
lynomial_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdool
a
ege
isl_polynomi
a
l
.
c: set_d
i
v:
use isl_qpolynomial_dom
a
i
n
_var_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laege
i
s
l_mult
i
_*_di
m
: use
i
sl
_
m
u
lti_*_pe
e
k_s
p
a
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_pw_*_
d
i
m
: us
e
isl_pw
_
*_peek_spa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
laege
isl_qpol
y
n
omia
l
_
i
nvolves_
d
ims: use is
l
_qpolynomi
a
l_pee
k
_doma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_polynomial
.
c: set_active: use isl_qpolyn
o
mia
l
_peek_domai
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolynomi
a
l
_
dom
a
in_
d
i
m:
u
se isl_q
p
ol
y
nomial
_
peek_
d
o
main_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl
_
po
i
nt_dim: use isl_point_peek_s
p
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaeg
e
isl_basic_
s
et_variable_co
m
press
i
on: use isl_basic_s
e
t_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
a
sic_ma
p
_doma
i
n_pr
o
duct: use isl_basic_ma
p
_get_
s
pace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_overlying
_
s
e
t: u
s
e isl_basic_
s
e
t
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_ba
s
ic_m
a
p_app
l
y_rang
e
:
use
isl_basic_m
a
p_get_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoo
l
ae
g
e
isl_map
.
c: move_la
s
t: use isl_basic_map_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
s
l_map
.
c: mo
v
e_last
:
use isl_basic_map_peek_
s
pace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_basic_map_move_dims: use isl_b
a
sic_map_peek_s
p
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map
.
c: map_inters
e
c
t
_inter
n
al: us
e
isl
_
map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
aege
is
l
_basi
c
_map_intersect: use i
s
l_basic_map_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_basi
c
_
map_intersect_range: u
s
e isl_
b
asic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
ege
i
s
l_basic_map_
i
ntersec
t
_d
o
main: use isl_basi
c
_set
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_solve_lp: use isl_
m
ap_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl_poly
n
omial
.
c
: f
i
x_ina
c
tive: use isl_s
e
t_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_qpolynom
i
al_li
f
t:
u
se isl
_
qpolyno
m
ial_dom
a
in_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
erdoo
l
aege
isl_q
p
olynomial_f
r
om_term: use
isl_term_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_te
r
m_
g
et_exp: extract o
u
t isl_term_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
s
l_te
r
m_dup: use
is
l
_term_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_q
p
olyno
m
ial_su
b
sti
t
ute_equa
l
ities_
l
ifted:
u
se i
s
l
_ba
s
ic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
i
sl_qpo
l
y
n
o
mial_drop_d
i
ms: use isl_qpoly
n
omial_d
o
main
_
var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
sl_polyn
o
mial
.
c
: use i
s
l_qp
o
lynomial_
d
o
main
_
var_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdool
a
ege
is
l
_qp
o
lynomial_in
v
olves_dims: use isl_qp
o
lynomia
l
_domain_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olae
g
e
is
l
_polynomial
.
c:
substitute_non_divs: use isl_qpolynom
i
al_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_polynomia
l
.
c: substitute_div:
use isl_qpolynomia
l
_domai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
e
r
doolae
g
e
isl_p
o
l
ynomial
.
c: substitute_div: use isl_qpolyno
m
ia
l
_get_ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_qpolynomial_var_on_domain
:
use
i
sl
_
space_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
laege
i
s
l_qpolynomial_e
x
tr
a
ct_affine: use isl_qpolynomial_domain_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_poly
n
omial
.
c: so
r
t_divs: use isl_qpolynomial_doma
i
n_var_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_qpolynomial_domain_offse
t
: ext
r
a
ct out isl
_
q
p
ol
y
nomial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaeg
e
isl_qpolynomial_domain_offs
e
t: use isl_qpolynomial
_
peek_doma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
aege
isl_
q
polynomial_get_
d
omain_spac
e
:
extra
c
t out isl_qpoly
n
omia
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
s
l_constraint
.
c: isl_b
a
sic_
s
e
t
_f
o
reach
_
bound_pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolae
g
e
isl_tab
_
pip
.
c: find_context_d
i
v: use isl_basic_{map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
lae
g
e
a
dd i
s
l_basic_set
_
va
r
_
o
ff
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_map_sim
p
lify
.
c: div_
f
i
nd
_
coal
e
s
ce: use isl_b
a
s
i
c_map_v
a
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oolaege
isl_output
.
c
: drop_
a
ff: use i
s
l_basi
c
_map
_
var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_basic_map_drop_redundant
_
divs_
i
neq: use
isl_b
a
sic_map_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdoolaeg
e
isl_map_si
m
plify
.
c:
.
.
.
_
d
r
o
p
_more_redunda
n
t_div
s
:
u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
la
e
ge
isl_ma
p
_simplify
.
c: coalesc
e
_divs
:
use isl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
_
s
i
mplify
.
c
: div_i
s
_
redundant: use isl_basi
c
_
m
ap_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_basic_map_i
s
_div_c
o
n
s
t
r
ain
t
: use isl_
b
asic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_map_simplify
.
c:
e
liminat
e
_unit_divs
:
u
se isl_basic_m
a
p_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
s
l_map_si
m
plify
.
c: check_for_di
v
_co
n
str
a
i
n
t
s
: us
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next