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_output.c: can_print_div_expr: use isl_local_div_is_marked_unknown
2018-10-07
Sv
e
n
V
e
r
dool
a
ege
isl_o
u
t
put
.
c: can_print_div_expr:
u
se i
s
l_
l
o
c
al_div_is_marke
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-10-07
Sven Verdoo
l
aege
c
lean up isl_basic_set_var
i
a
bl
e
_compression_with_id
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-10-07
Sven Verdoolaege
i
sl_m
o
rph
.
h: a
d
d mi
s
sing incl
u
de
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-10-07
Sven
Verdoolae
g
e
Merge branch
'mai
n
t'
commit
|
commitdiff
|
tree
2018-10-05
Sven Verdoolaege
isl
_
bas
i
c_map_
r
educe_coef
f
icients:
drop no-r
e
dundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-10-02
Sven Verdoolaege
isl_ma
p
_coalesce: do not leave input basic maps i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-10-01
Sven Verdoolaege
ad
d
isl_t
a
b_swap_c
o
nstraints
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-10-01
Sv
e
n Verd
o
o
l
aege
isl_t
a
b_
i
s_redundant:
e
xtract out isl_tab_check_con
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-10-01
Sven
V
erd
o
ol
a
e
g
e
add
i
sl_basic_map_has_single_referenc
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-10-01
Sven V
e
r
doolaege
extract out generic isl_*_
h
as_s
i
ngle_
r
eference
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-10-01
Sven Verdoolaege
isl_coalesce
.
c: fix
w
h
it
e
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-26
S
v
en V
e
rdoolaege
i
sl_point_se
t
_coor
d
inate_val: handle points
with
d
imensi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-26
Sven
Verdool
a
e
ge
i
s
l_printer_print
_
poi
n
t: properly hand
l
e points with
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-18
Sven Ve
r
doolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2018-09-18
Sven Verdoolaege
i
sl_qpolynomial_eval: reen
a
ble ev
a
luatio
n
of
p
olynomia
l
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-18
Sven Verdoolaeg
e
fix isl_basic_set_from_multi_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-18
Sve
n
Verdoolaege
isl_map
_
coalesce: do not l
e
ave input basic maps in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-08
Sven Ve
r
doo
l
aege
e
x
port isl_union_{set,map}_every_{set,map}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-08
Sv
e
n Verdool
a
ege
add isl
:
:c
h
e
c
ked::
b
oole
a
n
:
:error()
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-08
Sven Ver
d
oolaege
i
n
terface: handle
c
a
l
l
backs returning isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-08
Sven Verdool
a
e
g
e
checked cpp: add isl::
b
oolean
:
:release
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-08
Sven
Verdoolaeg
e
i
n
t
erface: do not assum
e
every callback returns is
l
_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven V
e
rdo
o
l
a
ege
isl_out
p
ut
.
c: poly_re
c
_n
_
no
n
_zero: r
e
turn
i
sl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaeg
e
is
l
_term_offset: return isl_si
z
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sve
n
V
erdoo
l
aege
isl
_
qp
o
l
y
nomial_domain_var_offset: r
e
turn isl
_
s
ize
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sv
e
n Verdo
o
l
aege
isl_p
o
int_var_offset:
re
t
urn i
s
l_
s
ize
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
isl_basi
c
_{
m
ap,set}_var_
o
ffset: return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ver
d
oolaege
isl_space
.
c
:
g
l
obal_pos: retur
n
isl_
s
ize
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Verdool
a
ege
print_
a
s_mod
u
l
o_pos: return isl_
s
ize
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
isl_
v
ertices_
g
e
t_n_vert
i
c
es: ret
u
r
n
isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
i
s
l_verte
x
_get_
i
d: return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
ven
V
erd
o
ol
a
e
ge
isl_schedule_node_get_schedule_de
p
th: r
e
tur
n
isl_si
z
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven
Verdoolaege
isl_schedule_n
o
de_band_
n
_me
m
ber
:
r
e
turn
isl_
s
ize
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
i
s
l
_
s
c
h
e
dule_n
o
de_g
e
t_ancestor_child_posi
t
ion: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven
Ve
r
d
oo
l
aege
i
s
l_schedule_node_get_child_position: return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
i
s
l_
s
c
h
ed
u
le_
n
ode_
g
et_tree_depth: ret
u
r
n
isl_
s
ize
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven
Verd
o
olaege
isl_ast_expr_
g
et_op_n_arg: 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
Verdoola
e
ge
isl_*_list_size: return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven V
e
rdoolaege
isl_term
_
ge
t
_exp:
return isl_siz
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
isl_un
i
on_*_n_*: return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
isl_
p
w_*_n_
p
ie
c
e
:
return is
l
_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven V
e
rdoolaeg
e
isl_union_{
m
ap,se
t
}
_
n
_{
m
ap,set}: retu
r
n
isl_s
i
ze
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdo
o
laege
isl_
{
map,set}_n_basi
c
_{m
a
p,set}: retur
n
isl_siz
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ver
d
ool
a
ege
isl_bas
i
c_{map
,
set}_n_constrai
n
t
:
return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven
V
erdoola
e
ge
is
l
_m
a
t_rank: r
e
turn
i
s
l_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
v
e
n
Verdoolaege
isl_ma
t
_{cols,rows}:
r
eturn isl_siz
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven 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 Ve
r
doolaege
i
s
l_val_n_
a
bs_num_chunks: r
e
turn isl_
s
i
ze
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoola
e
ge
i
s
l_
*
_dim: return
i
sl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Verdoolae
g
e
in
t
r
o
duce
is
l
_s
i
ze ret
u
rn type
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Ver
d
ool
a
ege
ge
n
erator: extract out
sha
r
e
d is_isl_primitive
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaeg
e
python bindings: also raise an exception on nega
t
ive
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verd
o
olaege
gener
a
t
o
r:
extract out is_
i
sl
_
n
eg_error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
pytho
n
bindings: do not set retur
n
o
f functions ret
u
r
n
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdoolaege
drop depreca
t
ed
isl_basic_map_n_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
v
en Verdo
o
laege
dr
o
p deprecated isl_map_
n
_param
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
ven Verd
o
olaeg
e
drop
d
e
precate
d
isl
_
map
_
n_o
u
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-06
S
ven Verdool
a
e
g
e
d
rop deprecated isl_map_
n
_in
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdool
a
e
g
e
is
l
_sched
u
le
r
.
c: node_update_vmap: extract
out extract_linea
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_range
.
c: colle
c
t_fi
x
ed_sign_te
r
m
s: reduce
range
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_map_dim: use is
l
_sp
a
ce_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
ae
g
e
isl
_
set
_
params: implement in t
e
rms of isl_
m
a
p
_par
a
ms
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_se
t
_dim: imp
l
eme
n
t in terms
of isl_m
a
p_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_morph
.
c:
copy_e
q
ual
i
ties: use
i
s
l_basic_set_get
_
spac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolae
g
e
isl_map
_
subtra
c
t
.
c: tab_add_constraint: use isl_ba
s
ic_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
i
sl_m
a
p_subtr
a
ct
.
c
:
t
ab
_
add_con
s
t
r
aints: use isl_ba
s
ic_m
a
p
_
d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Ver
d
oolaege
i
sl_polyn
o
mial
.
c:
make
_
divs_
p
os: u
s
e is
l
_q
p
olynomial_domai
n
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_polynomia
l
.
c:
split_periods: use isl_qpo
l
ynomial_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_polynomia
l
.
c: set_d
i
v: use isl_qpolynomia
l
_
d
omain_var_off
s
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_multi_
*
_d
i
m: use i
s
l_multi_*_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_pw_*_dim: use
i
sl_pw_
*
_pee
k
_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_qpol
y
nomial_i
n
volves_dims: use isl_qp
o
l
ynomial_peek
_
doma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_pol
y
nomia
l
.
c: set_
a
ctive
:
u
se isl_
q
polyn
o
mial_
p
eek_domai
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
oolaege
isl_qpolynomial_domain_dim: use isl
_
qpolynomi
a
l
_
peek_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
dool
a
e
ge
isl_
p
o
i
nt_di
m
: use isl
_
point_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdoolae
g
e
isl_basic_set_variable_compression: use isl_basic
_
set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_basic_map_domain_product
:
u
se
isl_basi
c
_map_
g
et_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
is
l
_basic_ma
p
_o
v
erlying_set:
u
s
e
isl_basi
c
_s
e
t_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl
_
basic_map_apply_rang
e
: use i
s
l_ba
s
ic_map_get_s
p
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoo
l
a
e
ge
isl_map
.
c: move_last: us
e
isl_basic_m
a
p
_
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:
m
ove
_
last: use isl
_
basic_map_pee
k
_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_bas
i
c_map_move_d
i
ms: use is
l
_basic_m
a
p
_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
doolaege
isl_
m
ap
.
c
:
map_inte
r
sect_intern
a
l: use i
s
l_map_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_interse
c
t
: use isl_basic
_
map_pee
k
_spa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_b
a
s
ic_map_i
n
terse
c
t_
r
ange: use isl
_
basic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
b
asic_map_intersect_domain:
u
se isl_basic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
l
a
ege
isl_map
_
solve_
l
p
:
use i
s
l_map_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
o
o
laege
isl_po
l
y
n
omial
.
c: fix_inactive: use isl_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
is
l
_q
p
olynomial
_
lift: use isl_qpolynomial_doma
i
n_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_qpolynomial_from_t
e
r
m
:
use isl
_
term_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoolaege
isl_
t
erm_get_exp: extra
c
t
out isl
_
term_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oolaeg
e
is
l
_te
r
m
_
d
up: use isl_term_
d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdool
a
ege
isl_qpolynomial_
s
ubstitut
e
_
e
qu
a
lities_lifted
:
use isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl
_
q
pol
y
n
o
mial_drop
_
dims: use
isl_qpolynomial_doma
i
n
_
var
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
o
l
aege
isl_
p
olynomial
.
c: use
i
sl_qp
o
lyno
m
ial_domain_var_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_qpolynomi
a
l_involves
_
dims:
u
se
isl_
q
polyn
o
mial_domain_
v
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_pol
y
n
omial
.
c:
substi
t
ute_non_divs
:
use
i
sl_q
p
ol
y
no
m
ial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_
p
olynomial
.
c: substit
u
te_div: use
is
l
_
qp
o
lynomial_doma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
polynomial
.
c: substitute_div: use isl_qpolynomial_get_
c
tx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdoolaege
isl_qpolynomial_var_on_do
m
a
in
:
u
se isl_space_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next