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_drop_div: drop removal of constraints involving div
2018-08-28
Sv
e
n Verdoolaege
isl_ba
s
i
c
_map_drop_div: drop removal
of co
n
s
t
r
a
i
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_simplify
.
c: remove_redundant_di
v
s: drop div
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
p
r
i
v
at
e
ly e
x
p
o
r
t
i
sl_
b
asic_map_drop_
c
onstraints
_
involvi
n
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_basic_map_d
r
o
p_co
n
stra
i
nts_
i
nvo
l
v
i
n
g: m
o
v
e
out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_basic_m
a
p_off
s
et: extract out isl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_basic_map_offset: use isl_b
a
sic_m
a
p_p
e
ek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl_basic_map_o
f
fs
e
t: u
s
e isl_spa
c
e_
o
f
f
s
et and i
s
l_sp
a
ce_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_basic_map_contai
n
s_p
o
int: use isl_local_extend_point_vec
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Ve
r
dool
a
ege
privat
e
ly expor
t
isl_loc
a
l_alloc_fro
m
_mat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
expose is
l
_local_free
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
T
o
bias Grosser
i
sl_union_map_in
v
olve
s
_dims: use is
l
_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
T
o
b
ias Gro
s
ser
isl_
u
nion_map
.
c
:map_ex
c
ludes: use isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gros
s
er
is
l
_
u
nion_map_is_strict_
s
ubset: use isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
T
o
b
ias
Grosser
sched
u
ler
.
c:gra
p
h_
h
as
_
e
d
ge:
u
s
e i
s
l_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
T
obias Grosser
isl_map_is_stri
c
t_subset
:
us
e
isl_boo
l
_
not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
T
o
bias Grosser
isl_
b
asic_
m
ap_
i
s_strict_subset:
us
e
isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gro
s
s
e
r
basic_map_
f
oll
o
ws:
u
s
e
isl_
b
o
o
l
_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_m
a
p
.
c: add_constraints: use
i
sl
_
basic_m
a
p_a
d
d_con
s
t
r
aint
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdool
a
e
g
e
i
s
l_sch
e
dule_nod
e
_has_pa
r
ent: reus
e
isl
_
schedule_node_get_tr
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_qpolynomial_cst_o
n
_domai
n
: reuse
i
sl_qpolyn
o
mial_ze
r
o_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
isl_qp
o
lynomial_val_on_dom
a
in: reuse
isl_qp
o
lynomial_zero_
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
isl_qpolynomial_rat_c
s
t_on_domain:
reuse
i
s
l
_qpolynomial_zer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_polyn
o
mial
.
c: extract ou
t
shared domain_typ
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven
V
erdoolaege
isl_te
s
t
.
c: remove some code dup
l
icatio
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
d
oolaege
isl_ba
s
ic_s
e
t_opt: re
u
se isl_basic_
s
et_get_divs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verd
o
olaege
isl_tab_pip
.
c: i
m
plement split in ter
m
s of split_domain
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl
_
basic
_
set_total_dim: implement in te
r
ms of
i
s
l
_bas
i
c_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
r
doolaege
isl_cons
t
ra
i
n
t
.
c
: use isl_ba
s
ic_set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_constrain
t
.
c: use isl_basic
_
map_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoo
l
aege
M
erge branch
'
maint'
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdo
o
laege
drop isl_b
a
s
ic
_
set_e
x
t
end
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en
V
erdoo
l
a
ege
d
rop is
l
_basic_set_add_equality d
u
plicate
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_basic
_
map_ad
d
_eq: s
p
e
c
ial cas
e
empty input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaeg
e
isl_basic_map
_
add
_
{eq,ineq}: only modify
sing
l
e co
p
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ver
d
oolaege
isl_qpolynomial_as_polynomi
a
l
_
o
n
_domain:
use isl_local_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
e
r
doolaege
isl
_
qpolynomial_gist: use i
s
l
_
l
o
c
al_spac
e
_lift
_
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ver
d
o
o
lae
g
e
add isl_local_space_l
i
ft_basic_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Ve
r
doolaege
isl_aff_gist:
extract out isl_local_sp
a
ce_lif
t
_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaege
add i
s
l_set_peek_s
p
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdoolaege
i
s
l_pri
n
ter_
p
rint_schedule_tree_mark: us
e
isl_sc
h
edule_
t
r
ee_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
aege
isl_sched
u
le_tree
.
c:
i
nitial
_
domain_from_
c
hild
r
en:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_sched
u
le_tr
e
e
.
c:
.
.
.
_
e
xt
e
nd_fro
m
_child
r
en: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
V
e
rdoola
e
ge
isl_schedule_
t
ree_drop_child: use isl_schedule_tree_n_chil
d
r
e
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdool
a
eg
e
isl_sched
u
le_tree_upda
t
e_anchored: use isl_
s
chedu
l
e_tree_n
_
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_schedu
l
e_node_has_next_sibling:
use
isl_schedule_tree_n_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoolaege
isl_schedul
e
_tree_n
_
chi
l
dren
:
explicitl
y
handle
missing
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gross
e
r
isl_s
e
t_is_equal:
use isl_bo
o
l for local variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobias
Grosser
shared_outer: u
s
e is
l
_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
T
obias Grosser
d
omain_follows_at_d
e
pth: us
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
rosse
r
basic_map_is_empty_
a
dd:
u
se
e
num variable instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
To
b
ias Grosser
is_su
b
s
e
t
_entry: use isl_bool_fa
l
se
i
n
stead of
int
e
ger
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
To
b
ias Grosse
r
isl_arg: use nam
e
d con
s
tant t
o
i
d
entify arguments
without
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
S
v
en Verdoolaeg
e
is
l
_val_che
c
k_match_domain_space:
u
p
d
a
te
d
o
cumentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
dr
o
p un
u
sed
is
l
_
basic_se
t
_swap_
d
iv
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verd
o
olaege
isl_affine_hull
.
c:
i
sl_
b
asi
c
_map_m
a
ke_str
i
des_e
x
plicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sv
e
n
Verdoolaege
i
s
l_sche
d
ul
e
_node
.
c: collect
_
filter
_
pre
f
ix_up
d
ate:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
S
ven
Verdoolaege
isl_schedule_tree
.
c: print_tr
e
e_band: use
i
s
l
_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-23
Tobias Grosser
se
t
-std
=
g
n
u99
f
or imath-32
i
n C
F
L
AG
S
n
o
t CPPF
L
AGS
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_sc
h
edule_node_b
a
n
d
_sink: use isl_bool for l
o
cal
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
laege
isl_t
e
s
t
.
c: before_for: use isl_bool
for l
o
cal variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_
a
lign_divs: use i
s
l
_bo
o
l for
l
ocal v
a
riable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doo
l
a
e
ge
isl_transitiv
e
_closure
.
c
:
chec
k
_exactness_omega: u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Ve
r
doolaege
isl_tran
s
it
i
ve_c
l
osure
.
c: i
s
_acycl
i
c: use
i
sl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olae
g
e
isl_ast_build_exp
r
.
c: isl
_
ast_build_from_multi_pw_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_schedule_tr
e
e
.
c
: subtree_sch
e
dule_
e
xte
n
d
_from_chil
d
ren
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_con
v
ex_hull
.
c: co
n
vex_hull_pair: use isl
_
bool f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ast_code
g
en
.
c: compute_domai
n
s: use
i
sl_boo
l
fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doolaege
isl_test
.
c: te
s
t_
a
ff
i
ne_hull: use i
s
l_bo
o
l for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_pw_qpolynomial_fold_covers
:
use isl
_
bool for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_s
c
hedu
l
e_nod
e
.
c: exten
s
i
o
n_from_
d
omain: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoo
l
aege
isl_sche
d
ule_node
.
c: isl_schedule_no
d
e_group: use isl_b
o
o
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoola
e
g
e
isl_schedule_node
.
c: locally_covered_by
_
domain: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_node
.
c: group_band: use isl_bool for loca
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_schedule_node_h
a
s
_
parent: use isl_bool for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolae
g
e
isl_schedule_no
d
e
.
c
: extend_extension:
us
e
isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
erdoolae
g
e
isl_ast_codege
n
.
c: aft
e
r_in_tree: us
e
isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaeg
e
i
s
l_
a
s
t_cod
e
gen
.
c
: afte
r
_
i
n_sequence: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_as
t
_codegen
.
c: af
t
e
r
_in_band: use
isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolae
g
e
isl_schedule_node
.
c: group_domain: use isl_bool
f
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
is
l
_
s
chedul
e
_no
d
e
.
c:
g
ro
u
p_context: use isl_b
o
ol for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
i
sl_qpolynomial_project_domain_on_params:
u
s
e
isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
laeg
e
i
s
l_test
.
c: test_g
i
st:
use isl_bool fo
r
local variables
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_sche
d
ul
e
_nod
e
_order_before_or_a
f
ter: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
g
e
isl_
c
oalesce
.
c: chec
k
_c
o
a
l
esce_into_eq
:
use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_schedule_node
.
c: gist_leave:
us
e
isl_bool f
o
r local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoo
l
ae
g
e
isl_schedule_
n
ode
.
c: gi
s
t_enter: use i
s
l_bool
fo
r
local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdo
o
laege
is
l
_ast_codegen
.
c: compute_unroll
_
do
m
ai
n
s: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl
_
basic_m
a
p_get
_
cons
t
rain
t
_list: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
i
sl_ast_build
.
c: update_
v
alues: use i
s
l_bo
o
l for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
ool
a
ege
isl_multi_
u
nion
_
pw_aff_apply_mul
t
i
_aff:
u
se isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Ver
d
oolaege
isl_mul
t
i_union_pw_aff_appl
y
_aff:
us
e
isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoo
l
ae
g
e
isl_multi_unio
n
_pw_af
f
_a
p
ply_pw
_
multi_aff:
use i
s
l_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_multi_union_
p
w_
a
ff_apply_pw_
a
ff: use isl_bool fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_a
s
t_b
u
ild_e
x
pr
.
c: try
_
extrac
t
_m
o
d: use isl_stat
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_ast_graft
.
c: equal_in
d
e
p
e
nden
t
_guards: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_val_get_a
b
s_num_chunks:
r
e
turn isl_st
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolae
g
e
isl_basic_map_identit
y
: inline b
a
sic_map_id
e
nti
t
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
is
l
_
b
asic_
m
ap_identity: use isl_space_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c: basic_
m
ap_id
e
nti
t
y
:
r
e
u
se isl_basi
c
_map_equal
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl
_
qpolynom
i
al_var_on_domain: im
p
ose
s
tricter
check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next