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_offset: extract out isl_basic_map_var_offset
2018-08-28
S
v
en Verdoolaege
isl_
b
asi
c
_ma
p
_of
f
set: extract out
isl_
b
asic_map_
v
a
r_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_offset: use isl_b
a
sic_map_pee
k
_spac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_basic_map
_
offset: use isl_space_offset and
isl_space
_
di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verd
o
olae
g
e
isl_basi
c
_ma
p
_contai
n
s_point: use isl
_
l
ocal_exten
d
_point_vec
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
privately expo
r
t
i
s
l_
l
o
c
a
l_a
l
loc_from_mat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
exp
o
se isl
_
l
ocal_free
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobi
a
s Grosser
is
l
_uni
o
n_map_involv
e
s_dims: use is
l
_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobi
a
s Grosser
isl_union_map
.
c:ma
p
_exc
l
udes: use isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
i
s
l
_u
n
ion_map_is_strict_subset:
u
se is
l
_bool_
n
o
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
sche
d
uler
.
c:graph_has_edge: use i
s
l_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
Grosse
r
isl_map_is_strict_subset: use isl_bool_
n
ot
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
T
obias Grosser
isl_basic_map_is_s
t
rict_
s
u
b
set: use isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gr
o
sser
basic_map_follows: use
i
sl_
b
o
ol_
n
o
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
o
o
laege
isl_map
.
c: add_cons
t
r
a
i
n
ts: use isl_bas
i
c
_map_add_constraint
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en V
e
rdoolaege
isl_schedule_node_ha
s
_
p
a
r
e
n
t: reuse
isl_schedu
l
e
_nod
e
_get_tr
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
isl_qpolynomial_cst_on_d
o
main: reuse isl_qpol
y
nom
i
al_zero_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_qpolynomial_val_on_domain:
reuse isl_qpo
l
y
n
omial_zero_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl_qpo
l
ynomial_rat_cst
_
on_domain: reuse isl_qpolynom
i
al_zer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verd
o
olaege
isl_polyno
m
ial
.
c:
e
xtract out shared d
o
mai
n
_
t
ype
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
isl_test
.
c
: remove some code du
p
licatio
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_b
a
sic_set_opt: reuse isl_basic_set_get_divs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdool
a
ege
isl_ta
b
_
p
ip
.
c:
i
mplement split
in terms of split_
d
o
m
a
in
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
o
laege
isl_bas
i
c
_
set_t
o
tal_dim: impl
e
ment in terms of isl_
b
asi
c
_m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_constraint
.
c:
use isl_b
a
sic_set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
is
l
_cons
t
raint
.
c
:
u
se isl_b
a
sic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolae
g
e
Me
r
g
e
bra
n
ch
'maint'
commit
|
commitdiff
|
tree
2018-08-25
Sven Verd
o
o
l
aege
d
rop isl_
b
asic_set_e
x
te
n
d
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoolaege
dr
o
p is
l
_basic_s
e
t
_
a
dd_equality duplicate
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
erdoolaege
i
s
l_basic_map_add_e
q
: special cas
e
empty input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
aege
isl_basic_m
a
p_add_{eq
,
in
e
q}
:
on
l
y
modify sin
g
le cop
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
V
e
r
d
ool
a
e
g
e
is
l
_qpolynomial_as_polynomial_
o
n
_
domain: use isl_local_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
is
l
_qpo
l
y
n
o
m
ial_gist: use
isl
_
local_
s
pace_lift_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoolaege
add isl_local_sp
a
ce_lift_basic_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdoolaege
i
s
l_aff_gis
t
: ex
t
ract out isl_l
o
c
al_space_l
i
f
t_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
a
dd
isl_set_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoo
l
aege
i
s
l_pr
i
n
t
er
_
p
rint
_
sch
e
d
u
le_t
r
ee_mar
k
: u
s
e isl_schedule_tree_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdo
o
laege
i
s
l
_
schedule_tree
.
c: initial_do
m
ain_from_c
h
ildren:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rd
o
ola
e
ge
isl_schedu
l
e_tree
.
c:
.
.
.
_ex
t
end_fro
m
_
c
hildren
:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdo
o
la
e
g
e
isl_schedule_tree
_
d
rop_child: use isl_sch
e
dule_tree_n_chil
d
ren
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
ven
V
er
d
oolaege
isl
_
sc
h
edule_t
r
ee_update_anch
o
red:
u
s
e is
l
_schedule_tre
e
_n_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n
V
e
rdoolaege
isl_sch
e
dule_node_
h
as_next_sibling
:
u
s
e isl_s
c
hedu
l
e_tree_n_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdoolaege
isl_sche
d
u
l
e_
t
ree_n_chi
l
dren: ex
p
li
c
itly
h
andle m
i
ssin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
T
obias G
r
os
s
er
i
sl_set_is_equal: use isl_bool for local variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
shared_o
u
te
r
: use isl_bool_
n
ot
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobias
G
rosser
domain_
f
o
l
l
o
w
s_at
_
depth:
u
se isl
_
b
ool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
To
b
i
as Grosser
basi
c
_
m
a
p
_
is_empty_add: use e
n
um va
r
iable instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tob
i
as Gros
s
er
is_s
u
b
s
et
_
entry: use isl_bool_false instea
d
o
f
integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
isl_
a
r
g
: use
n
a
med const
a
nt to i
d
entify argume
n
ts
without
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sv
e
n
V
erdoolaege
isl_v
a
l_
c
heck_
m
atch_domain_sp
a
ce: upda
t
e doc
u
mentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
d
rop unuse
d
isl_
b
asic_
s
et_
s
wap_div
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sv
e
n Verdoolaege
i
s
l
_
af
f
ine_hul
l
.
c: isl_basic_m
a
p_make_st
r
ides_expli
c
i
t
.
.
.
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_prefi
x
_update:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven
Ve
r
doo
l
a
e
g
e
i
s
l_schedule_tr
e
e
.
c: p
r
int_tree_b
a
n
d: use is
l
_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-23
Tobias
Grosser
set -s
t
d
=
gnu99 for imath-32 in CFL
A
GS not CP
P
FLAGS
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
isl_schedule_n
o
d
e
_band_sink: use isl_bool fo
r
local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoo
l
aege
i
s
l_
t
e
s
t
.
c:
b
efore
_
fo
r
: use isl_
b
ool for local v
a
r
iab
l
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
ol
a
ege
i
sl_basic_map_alig
n
_divs: use isl_bool for
l
ocal var
i
able
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
i
sl_transitive_c
l
osure
.
c: check_
e
xactness_ome
g
a: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoola
e
ge
i
s
l_t
r
ansitive_closure
.
c: is_acyclic: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolae
g
e
isl_ast_build_expr
.
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
e
n
Ver
d
oola
e
ge
isl_schedul
e
_
tree
.
c
:
subtr
e
e_sched
u
le_extend_fr
o
m_child
r
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olaege
isl
_
convex
_
hull
.
c: convex_hull_pair: u
s
e i
s
l_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
dool
a
eg
e
isl
_
ast_codegen
.
c: compute_domains: us
e
is
l
_b
o
ol for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
oolae
g
e
isl_
t
e
s
t
.
c: test_
a
ffine_hull: use
i
sl_bool fo
r
local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
e
rdo
o
la
e
ge
isl_pw_qpo
l
y
n
omial_fold_cov
e
rs: use isl_bool for l
o
ca
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
isl_sche
d
ule_node
.
c: extension_fr
o
m_domain: use
i
sl_bo
o
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
i
s
l_sch
e
d
ule_node
.
c: i
s
l
_
sc
h
edule_node_group: use
i
s
l_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdo
o
laege
isl_sch
e
dule_node
.
c: loc
a
lly_co
v
e
red_by
_
domain: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_schedule_no
d
e
.
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
Sven
V
e
rdoolaege
i
sl_sch
e
dule_node_has_parent: use i
s
l
_b
o
ol for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_schedule_node
.
c
:
e
xtend_extension: use
i
sl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdool
a
ege
is
l
_ast
_
codegen
.
c: after_
i
n_tree: u
s
e is
l
_boo
l
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ast_c
o
degen
.
c: after
_
i
n
_
s
equence: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdo
o
laeg
e
i
s
l_ast_code
g
en
.
c:
after_in_ba
n
d: us
e
is
l
_bool f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
olae
g
e
isl_sched
u
le_node
.
c
:
gr
o
up_domain: us
e
isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
l
aege
isl_sche
d
ule_node
.
c: group_context: u
s
e isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_qp
o
lynomial_project_dom
a
in_on_pa
r
ams
:
use isl_
b
ool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_t
e
st
.
c
: te
s
t_gist:
u
s
e isl
_
bool for local variabl
e
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_schedule_node_order_b
e
fore_or_afte
r
: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aeg
e
is
l
_coalesce
.
c: check_coa
l
esce_into
_
eq:
use
isl_boo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doolaege
is
l
_schedule_
n
ode
.
c: g
i
st_leave: use isl_bool
f
o
r local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_sc
h
e
dule_nod
e
.
c: gist_en
t
er: use
isl_bool for loc
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolae
g
e
isl
_
ast_codegen
.
c: comp
u
t
e
_
unroll_domains:
use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_basic_map_get_c
o
n
straint_list:
u
se isl
_
b
o
o
l
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
i
s
l_ast_bui
l
d
.
c: up
d
ate_values: use
i
s
l_bool for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoo
l
a
e
ge
i
s
l_mul
t
i_un
i
on_pw_aff_apply_multi_aff: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
a
ege
isl_multi_u
n
ion_pw_aff_ap
p
l
y_aff:
us
e
isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
is
l
_
m
ulti_union_pw_aff_apply_pw_
m
ulti_aff: use isl_b
o
ol
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
mu
l
ti_unio
n
_pw_aff_ap
p
ly_
p
w
_
a
ff: use
isl_boo
l
fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_ast_build_expr
.
c
: try_extr
a
c
t_
m
od
:
us
e
isl_stat
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
l
aeg
e
i
s
l_ast
_
graft
.
c: equ
a
l
_
i
ndepe
n
dent_gu
a
rds:
r
eturn isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
d
o
o
laege
isl_val_get_abs_num_chunks:
r
eturn
i
sl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoo
l
a
e
g
e
isl_basic
_
map_ide
n
tity: inline basi
c
_map_identity
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_
b
asic_map_i
d
entity: use isl_space
_
dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoo
l
aeg
e
isl_map
.
c: basic
_
m
a
p
_
ide
n
tit
y
:
reus
e
is
l
_basic
_
map_
e
q
u
al
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_qpoly
n
o
m
ial_v
a
r_on_domain:
i
mpose
s
tri
c
ter check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
s
l_const
r
aint_
g
e
t
_bound: impose
s
t
ricter
c
heck for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
olaege
is
l
_basic_set_from_
c
onstraint: impose stricter check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdool
a
ege
isl_set_alloc_space: impose stricter
c
heck for set
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoo
l
aege
isl_space_underlyi
n
g
: retur
n
set
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next