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
scheduler.c:graph_has_edge: use isl_bool_not
2018-08-28
Tobias Grosser
scheduler
.
c:gr
a
ph_has_ed
g
e: use isl_b
o
ol_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_map_is_st
r
i
ct_subset:
u
se is
l
_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
i
sl_basi
c
_map_i
s
_strict_subset: use isl_bool
_
not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
To
b
ias Gro
s
ser
basic_ma
p
_fo
l
lows:
u
se isl_bo
o
l_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl
_
map
.
c:
add_
c
ons
t
raints: use i
s
l_basic_map_add_constraint
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdoo
l
a
e
ge
isl_sch
e
dule_node_has_parent:
r
euse
i
sl_sched
u
l
e_no
d
e_get_tr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdool
a
ege
isl_qpolyn
o
mi
a
l_cst_on_domain: reu
s
e isl_qpolynomial_zer
o
_
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verd
o
olaege
isl_qpolynomial_val_on_domain: reuse isl_qpolynomial_ze
r
o_on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
is
l
_qpolynom
i
a
l_rat_cst_o
n
_domain:
reuse isl_qpolyn
o
mial_
z
er
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
isl_polynomial
.
c:
extract out shared domain_type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
i
s
l_
t
es
t
.
c: re
m
ove some code duplicat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdo
o
laege
isl_b
a
sic_set_opt: reus
e
i
s
l_basic_set_
g
et_
d
ivs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl
_
t
a
b_pip
.
c: implement spl
i
t in
t
erms of split
_
dom
a
in
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
isl_basi
c
_set_total_dim: implement
in terms of
isl_ba
s
ic
_
ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdool
a
ege
isl_
c
onstraint
.
c: use isl_basic_set_off
s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl
_
constraint
.
c: use
i
sl_
b
a
s
ic_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
M
e
rge
bran
c
h '
m
aint'
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdoolaege
dro
p
i
sl_basic_set_
e
xt
e
nd
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ven
Verdoo
l
aege
drop isl_basic_set_add_e
q
uality
du
p
licate
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdool
a
ege
isl_ba
s
ic_map_add_eq:
special case
empty in
p
u
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
i
sl_b
a
sic
_
map_add_{eq,i
n
eq}: only
mo
d
if
y
single
copy
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ven
Ve
r
doolae
g
e
isl_qpol
y
nomial_as_polynomial
_
o
n
_doma
i
n: use
isl_local
_
space
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
i
sl_qpoly
n
omial_gist: use isl_loc
a
l_space_lift_se
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ven
V
e
r
doolaege
add isl_local_spa
c
e_lift_basic_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolae
g
e
isl_aff_gist: extract out
i
sl
_
local_space_lift_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdo
o
laege
add isl_set
_
peek_spa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verd
o
olaege
isl_p
r
inter_prin
t
_sc
h
e
d
u
l
e_tre
e
_mar
k
:
u
se isl_schedule_tre
e
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verd
o
olaege
isl_schedule_tree
.
c: i
n
i
tial_domain_from_childre
n
:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_schedu
l
e_tree
.
c:
.
.
.
_extend_
f
ro
m
_childr
e
n: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaege
i
sl_s
c
hedule_tree_
d
rop_child: use isl_schedule
_
tree_
n
_
c
hild
r
en
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoola
e
ge
isl_s
c
hedule_tree_update
_
anchor
e
d: us
e
isl_sch
e
dul
e
_tree_n_c
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
erdool
a
ege
isl
_
schedule_n
o
de_has
_
next_s
i
bling: use i
s
l_schedul
e
_tre
e
_n_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
a
ege
isl_sc
h
edule
_
t
ree_n_ch
i
ldren: explicitly handle
m
issing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gross
e
r
is
l
_set_is_equal:
use isl_boo
l
for local var
i
a
bl
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias
Grosser
shared_o
u
t
er: u
s
e isl_b
o
ol_n
o
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias G
r
osser
dom
a
in_follow
s
_at_depth:
u
se
i
sl_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
basic_map_is_empty
_
a
d
d: use e
n
um
v
ariable
i
nstead o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
is_subset_entry: use isl_
b
ool_false instead of integer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobia
s
Grosser
isl_a
r
g: use named cons
t
an
t
to identify
a
rguments without
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
S
ven Verdo
o
l
a
e
ge
isl_val_check_match_do
m
ain_space: update d
o
cume
n
tation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven
Verdool
a
ege
drop unu
s
ed isl_basic_set
_
s
w
ap_div
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sv
e
n Verdool
a
ege
isl_affine_hull
.
c: isl_basic_map_m
a
ke_
s
trides_expli
c
it
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
isl_sche
d
ule_node
.
c: col
l
ect_filter_prefix_updat
e
:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Ve
r
doolaege
isl_schedule_tree
.
c:
p
rint_
t
r
e
e
_
b
and: use isl_b
o
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-23
Tobias Gr
o
sser
set -std=gnu99 for
imath-32
in CFLAGS not CPPF
L
A
GS
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oo
l
aeg
e
isl_s
c
hed
u
le_node_band_si
n
k
: use isl_bool for loca
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdool
a
ege
isl_te
s
t
.
c: before_for: use isl_bool fo
r
local variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
la
e
ge
isl_bas
i
c_ma
p
_
a
lign_divs: use
i
sl_b
o
ol for
l
ocal variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
laege
isl_transitive_closur
e
.
c: check_exa
c
tness_omega: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_closure
.
c
:
i
s_acyclic: us
e
isl_
b
ool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
laege
isl_ast_bui
l
d_
e
xpr
.
c
:
i
sl
_
ast_build_from
_
multi_pw_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_schedule_tree
.
c: subtree_schedul
e
_ext
e
nd_
f
r
om_children
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_convex
_
hull
.
c:
c
onvex
_
hu
l
l_p
a
ir: us
e
i
sl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oolaege
i
s
l_a
s
t_codegen
.
c:
compute_d
o
mains: use isl_boo
l
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_test
.
c: test_a
f
fine_hull: use isl_bool f
o
r lo
c
al
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erd
o
olaege
isl_pw_qpolynomial_fold_covers: use isl_bool for loc
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_schedule_node
.
c: extension_from_domain: use isl_
b
oo
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
is
l
_sche
d
ule_node
.
c: isl_schedule_node_gr
o
up: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_
s
c
h
edule_node
.
c: l
o
c
a
lly_cov
e
red_by_domain: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_schedu
l
e_node
.
c: group_band: use is
l
_boo
l
for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaeg
e
i
s
l_sched
u
le_no
d
e_h
a
s_p
a
rent
:
use isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_schedule_no
d
e
.
c
: extend
_
ex
t
ension: use isl
_
bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verd
o
ola
e
ge
i
sl_ast_codegen
.
c:
after_in_tree
:
use
is
l
_b
o
ol
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_ast_co
d
egen
.
c: after_
i
n
_sequence: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ast_codege
n
.
c
:
after_in_band: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_sched
u
le_no
d
e
.
c: group_dom
a
in
:
use isl
_
bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
doo
l
a
ege
i
s
l
_
schedule_n
o
de
.
c: gr
o
up_context: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_qpoly
n
omia
l
_proje
c
t_domain_on_params: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_t
e
st
.
c: test_gist: use isl_bool fo
r
loc
a
l va
r
iables
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdoolaege
isl_schedule_n
o
d
e
_order_bef
o
re_
o
r
_
a
f
te
r
: us
e
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
o
olaeg
e
isl_
c
oa
l
esc
e
.
c: check_coalesce_into_eq: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
is
l
_
sch
e
d
u
le_n
o
de
.
c
:
g
i
st_leave: use
i
s
l_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_node
.
c
:
g
ist_enter:
use
i
sl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ast_code
g
en
.
c
:
comp
u
te
_
unroll_domai
n
s: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_basic_map_get_con
s
t
raint
_
list: use isl_
b
oo
l
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_a
s
t_build
.
c: upda
t
e
_
values
:
use isl_bool
for l
o
cal
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
isl_mul
t
i_union_
p
w
_
aff_apply_multi_aff: us
e
i
s
l_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ol
a
ege
is
l
_mult
i
_union
_
p
w
_
aff_apply_aff: use
isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_multi_
u
nion_pw_
a
ff
_
appl
y
_pw
_
multi_
a
ff:
use isl
_
bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl
_
multi_u
n
ion_p
w
_af
f
_a
p
ply_pw_af
f
:
u
se i
s
l
_bool fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdoola
e
g
e
isl_ast_build_expr
.
c: try_e
x
trac
t
_
mod: use isl_stat
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_
a
s
t_graft
.
c
: equal
_
independent_guards: return
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_
v
al_get_abs
_
num_chun
k
s: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdo
o
laege
isl_basic_map_identity:
i
nline basic_map_iden
t
it
y
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_basic_map_identity: use isl_space_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_map
.
c: ba
s
ic_
m
ap_identity: reuse
i
sl_basi
c
_map_equa
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_qpol
y
nomial_var_
o
n_doma
i
n: impose s
t
ri
c
ter check
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
ae
g
e
i
s
l_constraint_get_bou
n
d: impose
s
tricter
c
heck
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ba
s
i
c
_set_fr
o
m_constraint
:
im
p
ose stricter check
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaeg
e
isl_set_alloc_space
:
impose stricter check for s
e
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdo
o
lae
g
e
isl_
s
pace_underlying: retu
r
n s
e
t space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
l
a
ege
is
l
_basic_set_preim
a
ge:
u
se isl_basic_se
t
_
a
dd_d
i
ms
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
is
l
_union_*_s
e
t_has_dim: r
e
name to
i
s
l_u
n
ion_*_set_
h
as_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_uni
o
n
_*_set_h
a
s_dim: ren
a
me
"
d
im" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_aff
.
c
:
pw_aff
_
g
t
e
_s
e
t: rename
"
dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaeg
e
isl_set_flatten
_
map
:
rename "dim"
variab
l
es to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_
t
rans
i
tive
_
c
l
o
sure
.
c: union_flo
y
d_warsh
a
l
l_on
_
list
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
is
l
_space_lift: rename "dim" v
a
r
i
able to "sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_spa
c
e
_
joi
n
: 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: rename "dim
"
variable t
o
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next
