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
python bindings: do not set return of functions returning isl_bool to c_bool
2018-08-31
Sven Verdoolaege
isl_multi_*_fac
t
or_range:
use
corre
c
t di
m
ensio
n
typ
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdoolaege
pip
.
c:
extract out move_parameters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en V
e
rdool
a
ege
exp
o
se isl_union_set_pro
j
ect_ou
t
_all
_
pa
r
ams
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdo
o
l
a
ege
extr
a
ct
out shared
isl_space_dr
o
p
_
all_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Verdo
o
laege
isl_ast_build_
g
e
t
_s
p
a
c
e: reuse i
s
l_ast_build_
d
im
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ver
d
oolaege
isl_as
t
_
build_pr
o
d
u
ct: reuse isl_ast_
b
uild_di
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ve
r
d
o
olaege
isl_a
s
t_build_get_schedule_map_
m
u
lti_aff: reuse isl_ast_
b
u
i
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
is
l
_
a
st_build_need
_
sc
h
edule_map: reuse isl_as
t
_build_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl
_
ast_build_
s
et_iterators: reuse isl
_
as
t
_
b
uild_
d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
e
x
tract out shared isl_basic_s
e
t_
c
he
c
k_
n
o_locals
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdool
a
e
ge
extract out shared
isl_basic_set_check_
n
o_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
e
x
tract ou
t
s
hared isl
_
point
_
var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doola
e
ge
e
x
tract out sha
r
e
d isl_point
_
check_r
a
n
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract
out sha
r
ed isl_pw_m
u
lti_a
f
f
_c
h
e
c
k
_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl
_
aff_involves_dims: extr
a
ct
o
ut isl_aff_check_ra
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
e
xtract
ou
t
s
h
ared isl_basic_set_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven
V
erdoo
l
aege
extrac
t
out sha
r
e
d isl_qpoly
n
omial_check_
r
ange
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoola
e
g
e
e
x
tract out
s
hared isl_multi_*_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl_local_check
_
pos: extract ou
t
isl_local_check_ran
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extra
c
t out shar
e
d isl_constraint_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n V
e
rdoolae
g
e
e
x
tract out shared isl_loc
a
l_
s
pace_
c
heck_ran
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
isl_
b
a
sic_map
_
plain_get_val_if_fixed: reuse isl_map
_
chec
k
_ra
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n V
e
rdoolaeg
e
isl
_
basic_ma
p
_
swap_vars: reuse isl_basic
_
m
ap
_
check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
isl_basic_
m
ap_preima
g
e_vars: reuse i
s
l_bas
i
c_map_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_ma
p
_eliminat
e
: reuse isl_basic_m
a
p
_
check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
o
olaege
i
sl_basic_map_transform_dim
s
:
reus
e
i
s
l_basic_map_
c
h
e
ck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basi
c
_map_has_
d
e
fining_equality: reuse isl_basic_map
_
che
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
priv
a
tely e
x
pose isl_basic_ma
p
_
che
c
k_
r
ange
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_basic_map_var_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en V
e
rdoolaege
isl_
s
chedule_n
o
d
e_has_parent: reuse isl_
s
c
h
ed
u
le_node_ge
t
_tr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
oolae
g
e
isl
_
qpolynomial_cst_on_domain: reuse is
l
_
q
polynomi
a
l_zero_
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl_qpolynom
i
al_val_on_domain:
reuse isl_
q
p
o
ly
n
omial_zero_on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
g
e
isl_qpolynomial_rat_cst_
o
n_
d
omain: reuse is
l
_qpolyn
o
m
i
al_zer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_
p
olyn
o
mial
.
c: extract out
s
hared domain_
t
y
pe
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl_test
.
c: remove som
e
c
ode duplication
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoo
l
aege
Merge b
r
anch 'main
t
'
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
d
oolaege
i
s
l_basic_map_add_
e
q:
s
p
e
c
ial case
empty
i
n
put
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
V
e
rdool
a
ege
add isl
_
set
_
p
eek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n
Verdoolaeg
e
isl_printer_p
r
int_schedule
_
tree_mark: use isl
_
schedule_
t
ree_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
doolaege
isl_sched
u
le_tree
.
c
: init
i
al_domain_from_c
h
ildren
:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
r
doolaege
i
s
l_s
c
hedule_
t
ree
.
c:
.
.
.
_ex
t
en
d
_from_children: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdo
o
laege
is
l
_schedule_tree_drop_child: use isl_schedule_
t
r
ee_n_children
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n
Verdoo
l
aege
i
sl_s
c
hedu
l
e_
t
ree_update_
a
n
c
ho
r
ed:
use isl_schedule
_
tree_n_c
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
aege
isl_
s
ched
u
le_node_has_next_sibli
n
g
: use isl_schedule_tree_n_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaege
isl_sch
e
dule_tree_n_children:
e
x
plicitly
h
a
ndle missing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sve
n
V
erdoolaege
isl_val_che
c
k_ma
t
ch_domain_space:
u
pda
t
e docum
e
ntati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
S
v
en
V
erdoolae
g
e
drop
unused isl_bas
i
c_
s
et_swap
_
d
iv
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sve
n
Verdoolaege
isl_af
f
ine_hull
.
c:
is
l
_basic_map_make_
s
trides_e
x
plicit
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Ver
d
oolaege
isl_schedu
l
e_node
.
c:
collec
t
_fil
t
e
r
_
pre
f
i
x_upd
a
t
e
:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolae
g
e
isl
_
schedule_t
r
ee
.
c
:
pr
i
n
t_tree_
b
and: us
e
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
ge
isl_s
c
hedule_node_band_sin
k
: use isl_bool for
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_test
.
c: before_for: use isl_bool for l
o
ca
l
variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_basi
c
_map
_
ali
g
n_divs: use is
l
_bool for local variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
laege
isl_transi
t
ive_closure
.
c
:
check_ex
a
ct
n
ess_omega:
u
se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
i
sl_transitive_cl
o
s
ure
.
c: is_acyclic: u
s
e isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
d
o
olaege
isl_
a
st_build_expr
.
c
: isl_ast
_
build_f
r
om_
m
ulti_p
w
_
a
ff
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
isl_schedule_
t
re
e
.
c: subtree_schedule_extend_from_childre
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verd
o
olaege
isl_conve
x
_hull
.
c: convex_hull_pair: use
isl_
b
o
ol for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
i
s
l_ast_co
d
egen
.
c: comp
u
te_d
o
mains: us
e
is
l
_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaege
i
s
l
_te
s
t
.
c: test_affin
e
_hu
l
l
:
use isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoo
l
aege
isl_pw_qpolyno
m
ia
l
_fold_covers: use i
s
l_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
a
ege
isl
_
schedule_node
.
c
: extension_f
r
o
m
_domain:
u
se i
s
l
_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
dool
a
ege
i
sl_sch
e
dule_node
.
c
: isl_schedu
l
e_
n
od
e
_group:
use
i
sl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_sched
u
le_node
.
c: l
o
cally_covered_by_domain: us
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
sl
_
schedule_node
.
c:
g
roup_band: use is
l
_
bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
a
ege
isl_sc
h
edule_node_has_
p
a
r
en
t
: use isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
l
aeg
e
isl_sche
d
ule_no
d
e
.
c
:
e
xtend_extension:
u
se isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdool
a
e
ge
isl_a
s
t_codegen
.
c: after_i
n
_tree:
use isl_bool
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdo
o
l
a
e
ge
i
sl_a
s
t
_
codegen
.
c: aft
e
r
_
i
n_s
e
q
uen
c
e:
u
se isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
r
doolae
g
e
isl_ast_co
d
egen
.
c: after_in_
b
and: use
i
s
l_
b
ool f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_
n
ode
.
c
:
g
r
oup_
d
o
main: 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
i
s
l_sch
e
dul
e
_node
.
c: group_
c
o
n
text: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaeg
e
isl_qpoly
n
omial_
p
roject_domain_on_par
a
ms: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
isl_test
.
c: test_gist: us
e
is
l
_bool
f
or
local variables
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoola
e
g
e
isl_schedu
l
e
_node_or
d
er_before_o
r
_after: use
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_coalesce
.
c
:
ch
e
ck
_
coalesce_
i
nto_eq: use
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
er
d
oolaege
isl_sched
u
l
e_node
.
c:
g
ist_leave: use isl_bool f
o
r loca
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
chedu
l
e_node
.
c: gist_enter: use isl_b
o
ol for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doo
l
aeg
e
i
sl_ast_cod
e
gen
.
c: c
o
m
pute
_
unroll_domains: use isl_
b
ool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic
_
map_ge
t
_constraint_list: use
isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
d
o
olaege
isl_ast_build
.
c:
update_values: use isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
oolaege
isl_mult
i
_union_pw_
a
ff_
a
pply
_
multi
_
aff: u
s
e is
l
_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doolae
g
e
isl
_
m
ult
i
_union_pw_aff_apply_aff: use isl_b
o
ol for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doolaege
isl
_
m
ulti_unio
n
_pw_
a
ff_apply_pw_multi
_
a
ff: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_multi_u
n
ion_pw_aff_apply_pw_aff: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_ast_bu
i
ld_expr
.
c
: try
_
e
x
t
ract
_
m
od:
u
se isl_stat
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl
_
as
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 Ve
r
doolaege
isl_val_get_a
b
s
_
num_chunks: ret
u
rn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
ola
e
ge
isl_basic_map_iden
t
ity: inl
i
ne basic_map_
i
d
e
nt
i
ty
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
is
l
_qpol
y
nomial_var_on_
d
omain: impos
e
s
t
ric
t
er check
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_const
r
aint
_
g
et_
b
oun
d
: im
p
o
se stri
c
t
e
r check for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_basic_set
_
from
_
constrain
t
:
impose stricte
r
check
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaeg
e
isl
_
s
et_alloc_spac
e
: impose stricter che
c
k for set
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoola
e
ge
isl_aff
.
c
:
pw_aff_gte
_
set: rename "dim" var
i
able to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_map_reach
i
ng_path_leng
t
hs: r
e
n
a
me "dim"
v
ariable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n V
e
rdoolaege
i
sl_m
a
p
_power: rename "
d
im
"
va
r
iables
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
Verdoolaege
isl_qpolyno
m
ial_as
_
polynomia
l
_
on_
d
omain: rename "di
m
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_bou
n
d
.
c:
guarded_poly_bound: rename "d
i
m" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_range
.
c: propaga
t
e_on
_
bound_pai
r
: rename "dim"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_range
.
c: monot
o
nicity: renam
e
"dim
"
varia
b
l
e to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next