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_multi_*_dim: use isl_multi_*_peek_space
2018-08-28
Sven Ve
r
d
oolaege
isl_b
a
sic_ma
p
_dr
o
p_div:
i
mplement in terms
of isl_basic_map_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
ol
a
ege
isl_basic_map_drop: extract out
i
sl_basic_map_dro
p
_core
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_basic_map_drop: drop
error label
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
a
ege
i
sl_b
a
s
ic_map_d
r
op_div: drop removal of constr
a
ints
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doo
l
aege
isl_map_simplify
.
c
:
r
e
move_redun
d
ant
_
divs: drop di
v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
privately export
i
s
l
_b
a
sic_map_drop
_
c
o
n
s
traints_i
n
volving
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_ba
s
ic_map_drop_
c
onst
r
aints
_
i
n
volving: m
o
ve
o
u
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
aege
isl
_
basic_map_offse
t
: extract out isl_
b
asic
_
map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_
b
a
sic_map_
o
ffset: use isl_basi
c
_
m
ap_pe
e
k_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Verdo
o
laege
isl
_
basic_map_offset: use isl
_
spa
c
e_offset and isl_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_
c
ontains
_
po
i
nt: use isl_l
o
cal_extend_point_vec
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
private
l
y expo
r
t isl_local_alloc_from_mat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
expose isl_local_fr
e
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map
.
c: add
_
constraints: use
isl_basi
c
_ma
p
_add_constraint
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
is
l
_schedule_no
d
e_has_pare
n
t:
re
u
s
e isl_sched
u
le_node_get_tr
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
V
erdoolaege
isl
_
qpoly
n
omial_cst_
o
n_domain: reuse isl_qp
o
lynom
i
al
_
z
e
r
o_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_qpolynomial_va
l
_on
_
d
omain: reuse
isl_
q
poly
n
omia
l
_zero_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_q
p
o
l
ynomial_
r
at_cst
_
on_doma
i
n:
reu
s
e isl_qpolynomial_zer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl_
p
olynomial
.
c
:
ex
t
ract out shared d
o
ma
i
n_type
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Ver
d
oolaege
isl_
t
est
.
c: remov
e
some code duplication
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
i
sl_basic_set_
o
pt: reuse
is
l
_basic_set_get_divs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_tab_pip
.
c: i
m
plement split in terms of
s
p
l
i
t_domai
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven
V
e
rdoo
l
aege
isl
_
ba
s
i
c
_
s
et_
t
otal_
d
im: implement in terms
of isl_basi
c
_m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_con
s
traint
.
c: use
i
sl_basic_set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Ver
d
oolaege
is
l
_constraint
.
c: use isl_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolae
g
e
dr
o
p i
s
l_basic
_
set_ext
e
nd
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
do
o
laege
dro
p
isl_
b
asi
c
_
s
et
_
add_equali
t
y dupl
i
cate
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_basic_map
_
add_eq: special case empty
input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
i
s
l_basic_map_add_{eq,ine
q
}: o
n
ly modify single copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdoolaege
isl_qpolynomial_a
s
_polynomial_on_domain:
u
s
e
is
l
_lo
c
al_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
doolaege
is
l
_q
p
olyn
o
mial_gist: use is
l
_local_sp
a
ce_lift_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaeg
e
a
d
d isl_lo
c
al_sp
a
ce_lift_basic_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_af
f
_g
i
st: extract o
u
t isl_local_space
_
l
i
f
t_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
ven Ver
d
oola
e
ge
add isl_set_p
e
e
k
_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl
_
printer
_
pri
n
t
_sch
e
d
u
le_tre
e
_m
a
rk:
use isl_sched
u
le_tree_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
a
e
ge
isl_sched
u
le_tree
.
c: i
n
itial_doma
i
n_fr
o
m_children:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
e
rdo
o
laege
isl
_
schedule_tree
.
c:
.
.
.
_exten
d
_
f
r
om_children:
u
se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
e
n
Verdoolaege
isl_schedule
_
t
r
ee_drop_child: use isl_
s
chedule_tree_n_children
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoola
e
ge
i
s
l_sc
h
edule_tre
e
_
update_anch
o
red:
u
s
e isl_schedul
e
_tree_n_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en V
e
rdoo
l
aege
isl_schedule_node_
h
as_next_sib
l
ing: use
isl_sched
u
l
e_tree_n_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdo
o
laeg
e
i
s
l_sched
u
le_
t
ree_n_childr
e
n: ex
p
licitly handle missing
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Ver
d
oola
e
ge
i
sl_val_check_match
_
domain_sp
a
ce: upd
a
t
e
documentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
dro
p
unused isl_basic_set_swap_div
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Ver
d
o
o
laege
i
sl_affine_hul
l
.
c: is
l
_
b
a
sic_ma
p
_ma
k
e_strid
e
s
_explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdo
o
laege
isl_schedule_n
o
de
.
c: collect_filter_prefix_update:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sve
n
Ver
d
oolaege
is
l
_schedule_tree
.
c
:
print_tree
_
b
and:
u
se isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doola
e
ge
i
sl_schedule_node_band
_
sink: use
i
sl_bool for l
o
cal
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
t
e
st
.
c: before_f
o
r: use isl_bool for
local v
a
riable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_basic_map_align_di
v
s: use isl
_
bool for l
o
cal
v
ariab
l
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
o
olaege
isl_
t
ransitive_closure
.
c
:
check_exact
n
e
ss_omega:
u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_transitive_clo
s
ur
e
.
c: is
_
acyclic:
u
s
e isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
r
doolaege
isl_as
t
_build_exp
r
.
c: isl_ast_build_f
r
om_multi_
p
w
_
aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoola
e
ge
isl
_
sch
e
dule_t
r
ee
.
c:
s
ubtree
_
schedule_ex
t
end_from_childr
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
s
l_convex_hul
l
.
c: convex_hull_pai
r
: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaeg
e
isl_ast_codegen
.
c: compu
t
e_domains
:
u
s
e isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
d
oolaege
isl
_
t
est
.
c: t
e
st_affine_hu
l
l: use isl_boo
l
f
o
r local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_p
w
_qpolynomial_fold_co
v
ers
:
use isl_bool for lo
c
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
is
l
_schedule_node
.
c: e
x
tensio
n
_fr
o
m_domain: use is
l
_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
oola
e
ge
i
s
l_sc
h
edu
l
e_nod
e
.
c: isl_sch
e
dule_node_group: use
isl_bo
o
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
sl_sche
d
u
l
e_node
.
c: locally_
c
overed_by_domain: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_sch
e
d
ule_
n
o
d
e
.
c: gro
u
p_band: use i
s
l_
b
ool for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oolaege
i
sl_schedu
l
e_no
d
e_has_parent: use isl
_
bool for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoola
e
ge
isl_schedule_node
.
c: extend_extensi
o
n
:
u
se isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laege
isl_ast_codegen
.
c: after_in_
t
ree: u
s
e i
s
l_b
o
ol fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdoo
l
a
e
ge
isl
_
ast_codegen
.
c:
a
fte
r
_in_s
e
quence: us
e
isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolae
g
e
isl_ast_
c
odegen
.
c:
a
fter
_
in_band: use
isl_bool fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oolaege
i
s
l_schedule_node
.
c:
group
_
d
o
main: u
s
e
i
s
l_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
dool
a
ege
isl_sched
u
le_node
.
c: gr
o
u
p_context: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_qpolynomi
a
l
_
project_domain_
o
n_params: us
e
isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_test
.
c: test
_
gist: use isl_b
o
o
l f
o
r
local variables
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_sched
u
l
e
_n
o
de_order_b
e
fore_or_after: use
isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
eg
e
is
l
_coales
c
e
.
c
: check_coalesce_into_
e
q
:
use
isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
is
l
_sc
h
edule_node
.
c: gist_leave: use isl_bool for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_
schedule_node
.
c: gist_enter:
use isl_bool for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl
_
ast_codege
n
.
c: compute_u
n
roll_d
o
main
s
: us
e
isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
isl
_
b
asic_map_get_c
o
nstraint_list: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
i
sl_as
t
_b
u
i
ld
.
c:
update_values: u
s
e
i
s
l
_
bool for
l
o
c
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
i
sl
_
multi_
u
n
i
on_pw
_
aff_apply
_
m
u
lti_aff:
use isl_bo
o
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_multi_union_pw_aff_apply_aff: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoola
e
ge
isl_multi_unio
n
_
pw_aff
_
apply_pw_multi_aff: use isl_b
o
ol
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_multi
_
union_
p
w_a
f
f_apply_p
w
_aff
:
us
e
isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdo
o
laege
isl_a
s
t_b
u
ild_expr
.
c: tr
y
_e
x
tract_mod: use isl_stat
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
isl_ast_gra
f
t
.
c: equa
l
_i
n
dependent_guards
:
retu
r
n isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aeg
e
i
sl_val_g
e
t
_abs
_
num_chunks
:
r
e
turn i
s
l_
s
tat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaeg
e
isl
_
b
a
sic_map_id
e
nti
t
y: inline basic_
m
a
p
_identity
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_bas
i
c_map_identity
:
use isl
_
sp
a
ce_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_map
.
c: b
a
sic_map_identity: reuse isl_basic_map_equal
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
d
oolaege
isl_qpolyn
o
mial_
v
ar_on_domain: impo
s
e stricter c
h
eck
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_c
o
nstraint_
g
et_bound: i
m
p
ose stricter check for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoo
l
aeg
e
i
sl_basic_set_from_constraint: impose str
i
cter check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
oolaege
i
s
l
_set_alloc_
s
p
a
ce:
i
m
p
o
s
e stricter check f
o
r set
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaeg
e
isl_sp
a
c
e
_underlying: return
set space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoo
l
aege
isl_ba
s
ic_set_preimage: use isl_basic_se
t
_add_dims
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
is
l
_union_*_
s
et_
h
as
_
dim: rena
m
e
to
isl
_
u
nion_*_set_has_s
p
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
aege
is
l
_uni
o
n_*_set_has_dim
:
renam
e
"dim" variable t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
sl_aff
.
c: pw_aff_gte_set: rename "dim" varia
b
le to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_set_fla
t
ten_map
:
r
e
na
m
e "dim" variables to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erd
o
olaege
isl_t
r
ansitive_closu
r
e
.
c: union_floyd_warshall_o
n
_list
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaeg
e
is
l
_s
p
ace_lift:
r
ename "d
i
m
" variable to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next