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_eliminate: reuse isl_basic_map_check_range
2018-08-28
Sven
V
e
rdo
o
lae
g
e
isl_basic_map_eliminate: reuse isl_basic_m
a
p_check_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl
_
bas
i
c_m
a
p_trans
f
orm_
d
ims: r
e
use isl_
b
asic_map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
isl_basi
c
_
m
ap_drop_core
:
reuse isl_basic_map_c
h
ec
k
_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Ve
r
doolaege
isl_bas
i
c_map_has_defin
i
ng
_
equal
i
t
y
: reuse isl_basic_map_che
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
Verd
o
olaege
privately
expose i
s
l_b
a
sic_map
_
check_ra
n
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
isl_basic_map_drop_div:
i
m
p
l
ement in terms of
isl_basic_
m
ap_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl_
b
asic_map_d
r
o
p
: extract out isl_basic_map_drop_co
r
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
doolaege
isl_basic_map
_
drop: dr
o
p erro
r
label
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Ver
d
o
o
lae
g
e
is
l
_basic_map_drop_
d
iv: dro
p
removal of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
isl_map_simpli
f
y
.
c: remove_redundant_d
i
vs: drop di
v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
privately export isl
_
basic_map_drop_constr
a
ints_i
n
vol
v
ing
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Ver
d
o
olaege
isl_bas
i
c
_
m
ap_dr
o
p_
c
onstraints_involving: move out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
s
l_
b
asic_map_offse
t
:
extract out isl_basic_ma
p
_v
a
r_
o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
isl
_
basi
c
_map
_
of
f
set: use isl_basic_map_peek_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolae
g
e
isl_basic_map_offset: use isl_s
p
ace_o
f
fset and
isl_space_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
V
erdoolaege
isl_b
a
s
ic
_
map_c
o
ntains_point: use i
s
l_loca
l
_extend_poin
t
_
v
ec
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
privat
e
l
y export is
l
_local
_
al
l
oc_from
_
mat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
e
x
pose i
s
l_
l
oca
l
_free
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map
.
c: add_co
n
st
r
a
i
nts: us
e
isl_basic_map
_
add_con
s
t
raint
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoo
l
a
ege
i
s
l_schedule_node_ha
s
_parent: reuse isl_sched
u
le_node
_
get_tr
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_qpolynomial_
c
st_on_dom
a
in: reuse isl_qp
o
lynomial_zero_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl_qpolynomial
_
va
l
_on_domain: reuse isl_qpoly
n
omial_zero
_
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_qpolynomial_rat_
c
s
t_on_
d
om
a
i
n: reuse is
l
_qpolynomial_zer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdo
o
la
e
ge
is
l
_polynomia
l
.
c: extract
o
ut share
d
d
o
main_t
y
pe
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_test
.
c: remov
e
some
cod
e
dupli
c
at
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
i
s
l_basic_set_opt: reus
e
i
sl_basic_
s
et_g
e
t
_
divs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_
t
ab_
p
ip
.
c:
implement split in terms
o
f
split_do
m
a
i
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolae
g
e
isl_basic
_
set_total_dim: implement in term
s
of
i
sl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_constrain
t
.
c
: use isl_basic
_
set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolae
g
e
isl_constraint
.
c: use isl_b
a
sic_ma
p
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
Mer
g
e bra
n
ch 'ma
i
nt'
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdoolae
g
e
dr
o
p
isl_
b
asic
_
set_extend
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdoolaege
drop isl_bas
i
c
_
s
et_add_equality duplic
a
te
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
e
n
V
e
rdoolaeg
e
is
l
_basic_ma
p
_add_eq
:
specia
l
case
e
mpty i
n
put
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
r
d
o
olaeg
e
isl_ba
s
ic_map_
a
d
d_{eq,ineq}: o
n
ly mod
i
fy s
i
ngle c
o
py
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaege
isl_qpo
l
ynomial_as_
p
o
l
ynomial_on_domain: us
e
isl_loca
l
_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n V
e
rdoolaege
isl_qpolynomial_g
i
st:
u
se isl_l
o
c
al_space_l
i
ft_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verd
o
ola
e
ge
add isl_local
_
sp
a
ce_lift_basic_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
erdoolaege
isl_aff_gist: extract
o
u
t
isl_local_
s
pace_lift_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
aege
add
isl_set_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_print
e
r_print_s
c
h
e
dule_t
r
ee_mark: use isl_schedule_tree_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
e
n Verdoolaege
isl_sched
u
l
e
_tree
.
c: ini
t
i
al_domain_fr
o
m_
c
hildren
:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolae
g
e
i
sl_sche
d
ule_tree
.
c:
.
.
.
_extend_
f
rom_children: us
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdoolaege
isl_sch
e
dule_tree_drop_child: use isl_sc
h
edule_tree_n_children
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoola
e
ge
isl_schedule_tree_
u
p
date_anc
h
ored: use isl
_
sch
e
d
u
l
e
_tree_n_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verd
o
ol
a
ege
isl_sched
u
l
e_node
_
h
a
s_ne
x
t_
s
ibling:
u
se isl_sc
h
ed
u
le_tree_
n
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
r
d
oo
l
aege
isl_s
c
hedule_tree_n_children: expl
i
citly ha
n
d
l
e missing
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoola
e
ge
isl_val_che
c
k_matc
h
_
domain_space: update
docu
m
entation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoo
l
aeg
e
drop
unused isl_
b
asi
c
_
s
e
t
_swap_d
i
v
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaeg
e
isl_af
f
in
e
_hull
.
c: isl_basic_
m
ap_m
a
ke_s
t
rides_explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
isl_schedule_node
.
c:
co
l
lect_filter_prefix_update:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verd
o
olaege
isl_schedule_tree
.
c:
p
rint_tree_band
:
use
i
sl_
b
ool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doolaege
isl_schedule_node_band_s
i
nk: use
isl_bool fo
r
local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oola
e
g
e
i
sl_tes
t
.
c: before_for: use isl_bool for lo
c
a
l
v
a
r
i
able
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl
_
basic_map_align_di
v
s: use isl_bool for local variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
i
sl
_
transitive_c
l
osure
.
c: check_exa
c
tness
_
omega: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laeg
e
i
s
l_transitive_closure
.
c: is
_
acyclic: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Ve
r
doo
l
ae
g
e
isl_a
s
t_buil
d
_expr
.
c: is
l
_ast_bui
l
d_from_multi_pw
_
a
f
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
is
l
_
s
che
d
ule_
t
re
e
.
c: s
u
btree_sche
d
u
l
e_extend_from_childr
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoolaege
i
s
l_conve
x
_hull
.
c
: conve
x
_hull_pair: use is
l
_bool
f
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
isl_a
s
t_codegen
.
c: compute_domains
:
use isl_
b
ool f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doola
e
ge
isl_test
.
c
:
test_affine_hull: use
isl_bool f
o
r local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_pw
_
q
p
olynomial_fold_c
o
vers:
use isl_
b
ool for lo
c
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_node
.
c: extension_fr
o
m_domain
:
use i
s
l_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl
_
s
ch
e
dule_node
.
c:
i
sl
_
sc
h
e
dule
_
n
ode_g
r
oup:
use
i
sl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_schedule
_
n
o
de
.
c: locally_covered_by_doma
i
n: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdool
a
ege
i
sl_schedule_nod
e
.
c: group_band: use isl_b
o
o
l
for loca
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_s
c
hedule_nod
e
_has_p
a
r
ent:
u
s
e isl_bo
o
l for
l
ocal
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_schedule_node
.
c: extend_
e
x
t
e
nsi
o
n: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_ast_codegen
.
c: after_in_tre
e
: use is
l
_boo
l
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_
a
st_
c
odegen
.
c: after
_
i
n_sequence: use 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
:
a
f
t
er_in
_
band: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedul
e
_
node
.
c: group_dom
a
in: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
s
l_sche
d
ule_n
o
de
.
c
: group_c
o
ntext: use i
s
l_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdool
a
eg
e
is
l
_qp
o
lynomia
l
_project_domain_
o
n_params: us
e
isl_boo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdool
a
eg
e
isl_test
.
c: test_gi
s
t:
us
e
isl_
b
oo
l
f
o
r local var
i
ables
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
lae
g
e
is
l
_sched
u
le
_
n
o
de_order_befo
r
e_or_after:
u
se is
l
_
b
o
ol
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
i
sl_coalesce
.
c: che
c
k_coales
c
e
_
into_
e
q:
use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
s
l_sched
u
l
e_no
d
e
.
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
isl_s
c
hedule_node
.
c: gist_enter
:
u
s
e isl_bool fo
r
local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoo
l
aege
isl
_
a
s
t_codegen
.
c: com
p
ut
e
_
un
r
oll_domains: use isl_
b
ool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_ba
s
ic_map_get_c
o
nstr
a
i
n
t_list:
u
se isl_bool
f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaege
isl_ast_build
.
c: up
d
ate_values: use
isl_bool fo
r
local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_m
u
l
ti_u
n
i
on_pw_aff_
a
ppl
y
_multi_aff: use isl_
b
ool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
o
olaege
isl_mu
l
ti_uni
o
n_pw_aff_a
p
ply_aff
:
use i
s
l
_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
ool
a
ege
isl_mu
l
ti
_
unio
n
_pw
_
aff_
a
pply_pw_mult
i
_af
f
: use isl_boo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_multi_union_
p
w_aff_apply_pw_aff: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl
_
ast_build_expr
.
c: try_extract_
m
od: us
e
isl_
s
tat
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_ast_g
r
aft
.
c
:
equal_independent_guards
:
r
e
tu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_val_
g
et_abs_num_chun
k
s:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_iden
t
ity: inline
b
a
s
ic_map_i
d
entity
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_basic_map_i
d
entity: use isl_space
_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_m
a
p
.
c: basic_map_identity: reuse isl_basic_map_equ
a
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdoolae
g
e
isl_qpolynomial_var_on_dom
a
in
:
impose s
t
r
i
cter chec
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_constr
a
in
t
_get_bound: impose str
i
cte
r
check for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_
b
a
s
ic_set_
f
r
om_
c
onstra
i
nt: impose
s
tr
i
cter che
c
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_
s
et
_
allo
c
_space
:
impose
s
t
r
icter check for set
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdo
o
laege
isl_space_underly
i
ng: return set space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
laege
isl_basi
c
_
s
et_preimage: use isl_basic_set_add
_
dims
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoolaege
i
sl_union_*_s
e
t_has_dim: r
e
n
a
me
to isl_u
n
ion_*_set_has_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next