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_map_simplify.c: eliminate_var_using_equality: return modified result
2018-08-28
Sve
n
Verdoolaeg
e
is
l
_ba
s
ic_map_o
f
fset
:
e
x
tract
out i
s
l_b
a
sic_ma
p
_
var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolae
g
e
isl_b
a
s
i
c_map_offset:
u
s
e
isl_basic_map_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_basic_map_o
f
fset: u
s
e is
l
_space_offse
t
and
isl
_
s
pace_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl
_
basic_map_co
n
tains_point: use isl_local_ext
e
nd_point_
v
ec
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Ve
r
doolaege
p
riva
t
ely expor
t
i
sl_lo
c
al_alloc_from_
m
at
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdool
a
ege
expose isl_local_f
r
ee
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl_map
.
c: add
_
constrai
n
ts: us
e
isl_bas
i
c_ma
p
_add_
c
onstraint
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
is
l
_sch
e
dule_node_
h
as_parent:
reuse isl
_
schedu
l
e
_node_get_tr
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdo
o
laege
isl_qpo
l
ynomial_cst_on_
d
o
m
ain
:
reuse i
s
l_qpolyno
m
ial_zero_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
o
ola
e
g
e
isl_q
p
olynomial_val_on_
d
o
m
ain: reuse isl_qp
o
lynomi
a
l_zero_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoola
e
ge
isl_qpolynomial_rat_cst_on_domain: r
e
us
e
isl_q
p
oly
n
omi
a
l_zer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolae
g
e
isl_polynomial
.
c: ex
t
ra
c
t out share
d
domain_type
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_test
.
c: remove som
e
code
duplication
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_b
a
sic_set_opt:
re
u
se
isl_bas
i
c_set_get_divs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
i
s
l
_
t
a
b
_pip
.
c: imp
l
ement spli
t
in terms of split_d
o
main
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
is
l
_ba
s
i
c_s
e
t_total_dim: imple
m
e
n
t in terms of
is
l
_
basic_
m
ap
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoola
e
ge
i
sl
_
c
o
n
straint
.
c: use i
s
l_ba
s
ic_set_
o
f
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
isl_constraint
.
c: use isl_
b
asic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdool
a
ege
d
r
o
p
i
s
l
_
b
asic_set_e
x
tend
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Verdoolaege
drop
isl_b
a
sic_set
_
add
_
e
quality
dupl
i
cate
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl
_
b
asic_m
a
p
_
a
dd_eq: spec
i
al ca
s
e
empty
i
nput
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ver
d
oola
e
ge
isl
_
basic_map_add
_
{eq,ineq}: only
m
o
d
ify singl
e
copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdoolaege
isl_qpol
y
n
omial_as_
p
o
lynomia
l
_on_doma
i
n: use isl_
l
ocal_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verd
o
o
laege
isl_qpol
y
nomial_gist: use isl
_
local_sp
a
ce_lift
_
s
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
a
d
d isl_local_space_lift_basic_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
aege
isl_aff_gis
t
:
extract out isl_local_spa
c
e_lift_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Verdo
o
laege
a
d
d isl_set_peek_
s
p
a
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoola
e
ge
isl_printer_print_sche
d
ule_
t
re
e
_mark: use isl_schedule_tree_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolae
g
e
is
l
_
sc
h
edule_tree
.
c: initial_domain_from_
c
h
ildren
:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaege
isl_s
c
h
e
dul
e
_tree
.
c:
.
.
.
_exten
d
_
from_children: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
ve
n
Verdoolaege
isl
_
sched
u
le_tree_drop_chi
l
d:
u
se isl_schedul
e
_tre
e
_n_children
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
e
n Verdo
o
l
a
eg
e
is
l
_schedule_tree_update
_
a
n
chored:
u
s
e
is
l
_schedu
l
e_tr
e
e_n_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rd
o
o
laege
i
sl_schedul
e
_
n
ode_has_next_s
i
bling:
use isl_sche
d
ule_tree_n_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaege
i
s
l_schedule_tree_n_child
r
en: expl
i
citly handle missing
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
isl_val_check_
m
atch_domain_sp
a
c
e:
u
pdat
e
documentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Ver
d
oolaege
dr
o
p unused isl_basic_set_swap_d
i
v
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sv
e
n Ver
d
o
olaege
isl_affine_hull
.
c: isl_basic_map_make_strid
e
s_explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sv
e
n
Verdoolaege
i
sl_schedule_node
.
c
: coll
e
ct
_
filt
e
r_prefix_
u
pdate:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Ver
d
ool
a
e
g
e
isl_s
c
hedu
l
e_tree
.
c: prin
t
_tree_
b
and: u
s
e is
l
_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
i
s
l
_sche
d
ule_node
_
b
and_
s
ink: use isl_bool for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
sl_t
e
st
.
c:
b
e
f
ore_for: use isl_bo
o
l
for local variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map
_
align_divs: use isl_bool fo
r
local variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_
t
r
ansitive_closu
r
e
.
c: check_exactness_omega
:
u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
doolaege
isl_trans
i
ti
v
e_cl
o
sure
.
c: is_acycli
c
:
u
se isl_
b
ool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdoolaege
i
sl_a
s
t_bu
i
ld_expr
.
c:
i
sl_
a
st_
b
u
ild_from_m
u
lti_pw
_
aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
r
d
o
olaege
isl_schedule_tree
.
c: subtree_schedul
e
_e
x
tend_from_chi
l
dren
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdool
a
e
g
e
isl
_
c
o
nvex_hull
.
c: convex
_
h
u
ll_pai
r
:
use is
l
_b
o
o
l f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
laege
isl_as
t
_c
o
d
e
gen
.
c
:
compute_dom
a
ins: use i
s
l
_
bool fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_test
.
c: test_affi
n
e
_hull:
use isl_bool for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_pw_qpolyno
m
ial_f
o
ld_covers
:
u
s
e isl_bool for
l
ocal
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdool
a
ege
isl_schedule_
n
ode
.
c
: exte
n
s
i
on_from_domain: use
isl_
b
ool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
c
he
d
ule_n
o
de
.
c
: isl_s
c
h
e
dule_
n
ode_gr
o
up: use
i
sl_boo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_sch
e
dule_node
.
c: locally_covered_by_do
m
ain: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
c
h
edule_node
.
c: group_band: use isl_bool fo
r
local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
s
l
_
schedu
l
e_node
_
has_pa
r
ent:
u
se isl_bool
f
or
l
ocal
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
i
sl_
s
c
hed
u
le_node
.
c: extend_extension: use
i
sl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdo
o
laege
isl_ast_codegen
.
c:
after_in_tree: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl
_
ast_codegen
.
c: a
f
ter_in_sequence: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_ast_codege
n
.
c: a
f
te
r
_in
_
band: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_schedule_node
.
c: group_do
m
a
in: use isl_boo
l
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
a
e
g
e
isl_
s
chedule_node
.
c:
gro
u
p_c
o
ntext: use isl_bool f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_qpolynomi
a
l_pro
j
ect_domain
_
on_params: use
i
s
l
_bo
o
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_test
.
c: te
s
t_g
i
st
:
u
se isl_bool for
loc
a
l varia
b
les
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_sch
e
dule_node_order_before_or_after: us
e
i
s
l_
b
oo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_coa
l
esce
.
c: check_coales
c
e_into_eq: use i
s
l_
b
o
ol
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaeg
e
isl_schedule_n
o
de
.
c: gist_leave: u
s
e
isl_
b
ool
f
or loca
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
chedule_nod
e
.
c: gist_enter
:
use isl_bool for lo
c
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoo
l
aege
isl_ast_codegen
.
c:
c
o
m
pu
t
e_u
n
roll_
d
omai
n
s
: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_get_constraint_l
i
st:
use is
l
_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
i
sl_ast_bui
l
d
.
c: up
d
a
t
e_v
a
lues: use is
l
_bool for
local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl
_
multi_union_pw_a
f
f_apply_multi_a
f
f:
use isl_
b
o
ol
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_multi_unio
n
_pw_aff_ap
p
ly_af
f
: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
laege
is
l
_multi_union_pw_aff_app
l
y_
p
w_multi
_
a
ff:
use isl_b
o
ol
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
laege
isl_multi_union
_
pw_aff_a
p
ply_pw_aff: us
e
isl_b
o
o
l
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_ast_build_exp
r
.
c: try_ext
r
act_mod:
u
se
isl_stat
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_ast_
g
raft
.
c: equ
a
l_independent_guards: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_val_
g
et_abs_num_chunks: ret
u
rn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_basic_ma
p
_identity: inline
b
asi
c
_
map_ide
n
tity
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_ba
s
i
c_map_i
d
e
ntity: use isl_space_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aege
isl_map
.
c:
ba
s
ic_m
a
p_identit
y
:
r
euse
isl_basic_map_equ
a
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
qpolynom
i
a
l
_
var
_
on_d
o
main: i
m
pos
e
stricter check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
laege
is
l
_constraint_get
_
bo
u
nd: impose strict
e
r c
h
eck for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolae
g
e
i
sl_basic_
s
et_from_c
o
nstra
i
nt:
impose s
t
ricter check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
sl_set
_
a
l
loc_spac
e
: impose stricter
check
f
or set
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_
s
p
a
ce_und
e
rlying:
return
s
et sp
a
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
is
l
_basic_set_
p
r
e
im
a
g
e
: use
i
s
l
_bas
i
c_set_add_dims
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
ool
a
ege
isl_union_*_set_has_
d
im:
r
e
nam
e
t
o
isl_union_
*
_set_h
a
s_spac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_union_*
_
s
e
t_has_dim: r
e
name "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_aff
.
c
:
pw_aff
_
gte_set: rename "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
e
t
_flatten_ma
p
:
renam
e
"dim" variable
s
t
o
"spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
i
sl_transitive_closure
.
c: union_floyd_wa
r
s
h
all_o
n
_list
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
is
l
_space_lif
t
: rename "dim" variabl
e
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
i
s
l
_space
_
join: ren
a
me "dim
"
variable to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_alloc: re
n
ame "di
m
" variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolae
g
e
i
s
l
_local_sp
a
c
e_offset: rename
"
dim" vari
a
ble to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
o
l
aege
i
sl_t
r
ansitive_closure
.
c
: construct_power: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
oolaege
is
l
_m
a
p
.
c
: map_dim_opt: rename "dim"
vari
a
bl
e
to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_basic_set_solutions: rena
m
e "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_set_coefficients: r
e
n
ame "dim" va
r
iable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next