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_basic_map_add_div_constraint: return return modified result
2018-08-28
S
v
en V
e
rdoo
l
a
ege
isl_basic_map_d
r
op_div: implement in t
e
rms of isl_basic_map_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdoolaege
is
l
_b
a
s
i
c
_map_dro
p
: extract
o
ut isl_basic_map
_
dro
p
_core
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolae
g
e
is
l
_b
a
sic_
m
ap_d
r
op: drop error
l
abel
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
o
l
aege
i
s
l
_basic_m
a
p_
d
rop_div: dro
p
remova
l
of
c
onstraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
V
erdool
a
ege
isl_map_simplify
.
c
:
remove_redundant_di
v
s: drop div
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ve
n
V
erdo
o
laege
private
l
y e
x
port i
s
l_basic_
m
ap
_
drop_constraints_involving
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Ver
d
oola
e
ge
isl_b
a
sic_ma
p
_drop_constrai
n
t
s
_involv
i
ng: move ou
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_offset: ext
r
act out isl_ba
s
ic_map_var_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoo
l
aege
isl_basic_map
_
offset: use
isl_basic_map_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven
V
erdoolaeg
e
isl_basic_ma
p
_offset: u
s
e isl_spac
e
_offset and isl_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
isl_basi
c
_map_contains_point:
use isl_loc
a
l_extend_p
o
i
nt_vec
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven
V
erd
o
o
laeg
e
p
riv
a
te
l
y
e
xp
o
rt isl_local_alloc_from_ma
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
expose isl_local_free
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Verdoolaege
isl_map
.
c
: ad
d
_con
s
traints
:
use isl_b
a
sic_map
_
add_con
s
traint
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
aege
isl_
s
c
h
edule_node_
h
as_parent
:
reuse isl
_
schedule_node_get_tr
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
is
l
_
q
p
olynomial_cst_o
n
_domain: r
e
use isl_qp
o
lynomial_zer
o
_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdo
o
laege
isl_qpolynomial_
v
al_on_domain: reuse isl_
q
p
olynomial_ze
r
o_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
V
e
rdool
a
ege
isl_qpoly
n
om
i
al_rat_c
s
t_on_domain: reuse isl_qpo
l
y
nomi
a
l_zer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
isl_polyno
m
ial
.
c:
e
xtract out shared do
m
a
in_typ
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ve
n
Ver
d
oo
l
aege
isl_test
.
c:
r
emo
v
e s
o
m
e cod
e
d
u
plicat
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_set
_
o
p
t
:
reuse is
l
_
b
asic_set_ge
t
_divs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl_
t
a
b_pip
.
c: imp
l
emen
t
split in terms
o
f split_domain
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
i
sl_basic_set_total
_
d
i
m
: imp
l
emen
t
i
n
t
e
rm
s
of isl_basic_ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl
_
constraint
.
c: use isl_b
a
sic_
s
e
t
_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Verdoolaege
i
sl_constraint
.
c: u
s
e i
s
l
_
basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2018-08-25
S
ven Ver
d
oolaege
dro
p
isl_b
a
s
ic_
s
e
t_extend
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdoolaege
drop isl_bas
i
c_s
e
t_add
_
equality
d
uplicate
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en
Verdoolaege
i
s
l_basic_ma
p
_add_eq:
s
pecial case e
m
pty
i
n
p
u
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolae
g
e
isl_basic_
m
ap_add_{eq,ineq}: only modi
f
y single
co
p
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
dool
a
ege
isl_qpolynomial
_
a
s
_polyn
o
mi
a
l_on_dom
a
in: use
isl_local_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdoo
l
aege
isl
_
qpolyn
o
mial_
g
ist: use
isl_
l
ocal
_
s
pace_lift_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoolaeg
e
add isl_local_
s
pa
c
e_lift_bas
i
c_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdo
o
laege
isl_aff_gist: extract ou
t
i
s
l_loca
l
_
s
p
ace_lift_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdoolaege
add isl_set_pee
k
_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Verdoo
l
aeg
e
isl_pri
n
ter_print_schedule_tree_mark: use isl_schedule_tree_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rd
o
olaeg
e
isl
_
schedule_tree
.
c: initial_
d
o
main_fr
o
m_children:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
doolaege
isl_schedule
_
tree
.
c:
.
.
.
_exten
d
_from_ch
i
ldren
:
u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_schedule_tree_drop_child:
u
se isl
_
s
c
hedule_tr
e
e_n_chil
d
r
e
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
doolaege
isl_s
c
h
edule_tree
_
update_anchored:
u
se isl_s
c
hedule_tree_n_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
aege
isl_sch
e
dule_node_has_
n
ext_sibling
:
use isl_s
c
hedule_tr
e
e_n_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdoo
l
aege
isl_sch
e
dule_tree_
n
_children:
e
x
p
lic
i
tl
y
h
andle
missi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
S
v
en Verdoolaege
isl_val_chec
k
_match_domain_space: update docume
n
t
ati
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sve
n
V
e
r
doolaege
drop un
u
s
e
d isl_basic_set_swa
p
_div
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
S
v
en Ve
r
doolaeg
e
i
s
l_
a
ff
i
ne_hull
.
c:
i
s
l
_
b
asic_map_ma
k
e_stride
s
_explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
isl_s
c
hedule_n
o
de
.
c: collect_filter
_
pre
f
ix_update:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven
Verdoolaege
isl_s
c
h
e
dule_tree
.
c
:
print_tr
e
e_ban
d
:
use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolae
g
e
isl_schedul
e
_nod
e
_band_sink: use isl_bool for lo
c
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
sl_test
.
c: b
e
fore_for: use isl_bo
o
l for loc
a
l variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl
_
basic_map_a
l
ign_
d
ivs
:
use isl_bool for lo
c
al variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
doolaege
i
sl_tran
s
i
t
ive_closu
r
e
.
c
:
check_exactn
e
ss_omega: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoolaeg
e
i
sl_
t
ra
n
sitive
_
closure
.
c: is_a
c
yclic:
us
e
isl_
b
ool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_as
t
_b
u
ild_
e
xpr
.
c
:
i
s
l_ast_build_f
r
om_multi_pw
_
aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_schedule_tree
.
c: subtree_sc
h
e
dule_
e
x
tend_from
_
chi
l
dre
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_co
n
v
e
x
_hull
.
c: c
o
nvex_hul
l
_
pair: use isl_b
o
ol
f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oolaege
i
s
l
_
ast_codegen
.
c: co
m
p
ute_do
m
ains: u
s
e i
s
l
_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n V
e
rdoolaege
isl_test
.
c:
te
s
t_affine_h
u
ll: use
i
sl_b
o
ol for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_pw_
q
polynomi
a
l
_
fold_covers: use
isl_
b
oo
l
f
or local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_sche
d
ule_nod
e
.
c
:
e
x
t
e
nsion_from_domain: use isl
_
bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdool
a
ege
isl_schedule
_
node
.
c: isl_schedule_n
o
de_group: use is
l
_boo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
olaege
isl_schedule_nod
e
.
c: lo
c
ally_co
v
ered_by_domain: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_schedule_
n
ode
.
c: g
r
o
up_band: use isl_bool for l
o
cal
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
o
olaege
isl_schedule_node_has_pa
r
ent: us
e
isl_bool for loca
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doolaege
isl_
s
chedule_no
d
e
.
c:
extend_extension: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_as
t
_c
o
d
e
gen
.
c:
a
fter_in_tree: use
isl_b
o
ol for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_ast_codegen
.
c: after_in_s
e
q
u
ence: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_a
s
t_codegen
.
c: after_i
n
_ban
d
: use isl_
b
ool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
ge
i
s
l_sc
h
e
d
ule_node
.
c
: g
r
oup_domain: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Ver
d
o
olaeg
e
isl_schedule_node
.
c
:
gr
o
up_
c
o
n
text:
use isl
_
bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdo
o
laege
isl_qpolyno
m
ial
_
p
r
oject_domain_on_params: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
o
l
aege
isl
_
test
.
c:
test_gi
s
t:
u
s
e
isl_bool f
o
r
l
o
c
a
l variables
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
i
s
l_sc
h
edule_node_order_before_o
r
_after: use isl_bo
o
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
doo
l
a
ege
is
l
_coales
c
e
.
c
: ch
e
ck_coal
e
sce_into_eq: use
i
sl_b
o
ol
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
i
sl_sch
e
dule_n
o
de
.
c: gist_leave: use isl_bool for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_schedule_node
.
c: gist_enter:
u
s
e
isl_b
o
ol for loca
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdoolae
g
e
i
sl_ast_codegen
.
c: compute_
u
n
r
oll_domai
n
s: use isl_b
o
o
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_b
a
sic_map_get_constraint_list: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_a
s
t_b
u
i
l
d
.
c: update_values: u
s
e isl_bool for loca
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_m
u
lti_union_pw_aff
_
a
pply_m
u
lti_aff: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_multi_union_pw_
a
ff_ap
p
ly_aff: use isl_
b
oo
l
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Verdoolaege
isl_multi_
u
nion_pw_aff_a
p
ply_pw_mul
t
i
_
aff:
use is
l
_
b
ool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
i
s
l_mult
i
_uni
o
n_pw_aff_apply_pw_aff: use i
s
l_bool fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aeg
e
isl_
a
st_bu
i
ld_ex
p
r
.
c:
t
r
y_
e
xtract
_
mod: us
e
isl_
s
tat
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
sl_ast_graft
.
c:
e
qual_i
n
depende
n
t_guard
s
:
ret
u
rn isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolae
g
e
is
l
_
v
al_get_ab
s
_
n
um_
c
h
u
nk
s
:
re
t
urn
is
l
_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_basic_map_identity: inline basic_map_identit
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
Ver
d
oolaege
isl
_
ba
s
ic_map_ide
n
tity
:
use isl_space_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
o
o
laege
i
sl_map
.
c: basic_map_identity:
r
eus
e
isl_b
a
sic
_
map_e
q
ual
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Ver
d
oolae
g
e
is
l
_qpolynomial_var_on_
d
o
m
a
i
n
: impose stricter c
h
eck
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven V
e
rdoola
e
ge
i
s
l
_
constraint_get_bound
:
impose stricter che
c
k for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
oolaege
i
s
l
_
basic_s
e
t_f
r
om_constraint: imp
o
se strict
e
r
c
heck
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_set_
a
l
l
oc_space:
i
mpo
s
e
s
tricter check for
set
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
Verdoolaege
isl
_
sp
a
ce_u
n
derlyi
n
g: return set space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_basic
_
set_pr
e
im
a
ge: use isl_
b
a
sic_set_add_dims
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_un
i
on_*_set_
h
a
s
_dim: rename to
isl_union_*_set_has_
s
pace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl
_
u
n
i
on_*_set_has_dim: rename "
d
im" var
i
able to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
rdool
a
ege
isl_
a
ff
.
c: pw_aff_gte_
s
et: rename "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_set_
f
latten_map: r
e
name "dim"
variables to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolae
g
e
isl_transitive_
c
losure
.
c:
union
_
floyd_warshall_on_list
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_space_lift: rename "dim
"
varia
b
le t
o
"spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next