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: use isl_basic_map_peek_space
2018-08-28
Sv
e
n
Ve
r
doolaege
isl_basic_map_offset: u
s
e isl
_
basic_map_peek_spac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
isl_basic_map_off
s
e
t: use isl_space
_
offset and isl_s
p
ace_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl_basi
c
_map_co
n
tains_
p
oint: use isl_lo
c
al_ex
t
end_
p
oint_vec
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
V
er
d
oolaege
pr
i
vat
e
ly export isl
_
loc
a
l_alloc_
f
ro
m
_mat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoo
l
aege
expose isl_local_f
r
ee
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_union_map_invo
l
ve
s
_
di
m
s:
use isl_b
o
ol_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
as Grosser
isl_union_map
.
c:map_excludes
:
use
i
s
l_bool_no
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
Grosser
isl_union_map_is_str
i
ct_
s
u
bse
t
: u
s
e isl_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
sc
h
e
d
uler
.
c
:
gra
p
h_has
_
e
d
g
e: use isl_bool
_
not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl
_
map
_
is_strict_subset: use isl_bo
o
l_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
as Grosse
r
is
l
_basic_map_is_strict_subset: us
e
is
l
_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
T
obias Gros
s
er
basic_map_f
o
llows: use is
l
_boo
l
_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map
.
c: add_c
o
nstr
a
ints: us
e
i
sl_b
a
s
i
c_ma
p
_add_cons
t
raint
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
isl_schedule_node_has_
p
arent: reuse isl_sc
h
e
dule_node_get_tr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Ve
r
doolaege
isl_qpolynomial_cst_on_domain:
r
euse is
l
_
q
polynomial_zero_on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoo
l
aege
isl_qpolynomial
_
val_on_dom
a
in: reuse isl_qpo
l
ynomial_zero_on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verd
o
olaege
isl
_
qpo
l
ynomial_rat_cst_on_domain: reu
s
e i
s
l
_
qpol
y
nomial_zer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdool
a
ege
isl_polynomial
.
c
:
extract o
u
t shared
domain_type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl_test
.
c: remove some cod
e
du
p
licat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
i
sl
_
basic_set_opt: reu
s
e isl_basic_set_get_di
v
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolae
g
e
isl_
t
ab_pi
p
.
c
: implement split in te
r
ms of s
p
lit_
d
omain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_b
a
sic_set_t
o
tal_dim:
i
m
p
le
m
en
t
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 Ver
d
ool
a
ege
isl_constraint
.
c: use isl_ba
s
i
c
_s
e
t
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
is
l
_
constraint
.
c
: u
s
e
isl
_
basic_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
Merg
e
b
r
anch
'maint'
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
drop isl_basic_set_extend
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Verdoolaege
drop isl_ba
s
ic_set_add
_
equalit
y
d
u
plicate
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdo
o
laege
isl
_
basic_map_add_eq: special case
e
mp
t
y input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_
b
asic_
m
ap_add_{eq,ineq}: only
modify single copy
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_qpolynomia
l
_a
s
_polynomial_on_dom
a
in: 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_qpo
l
yno
m
ial_gist: us
e
isl_lo
c
a
l
_s
p
a
ce_l
i
f
t_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdool
a
ege
add isl_l
o
cal_s
p
ace_
l
ift_basic
_
se
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ver
d
oolaege
isl_aff_gist: extract out i
s
l_
l
ocal_space_l
i
ft_s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdoo
l
ae
g
e
add isl_set_
p
eek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_printer_print_sch
e
dule_tree
_
mark: use isl_schedule_
t
ree_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Ve
r
doolaege
i
s
l_schedule_tree
.
c: init
i
al_do
m
ain
_
fro
m
_childr
e
n:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
e
n
V
e
r
d
oolae
g
e
isl_sch
e
dule_tree
.
c:
.
.
.
_extend_f
r
o
m
_children:
u
s
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verd
o
o
laege
isl_schedule_tree_drop_child: use i
s
l_schedule
_
tree_n_children
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaege
i
s
l
_s
c
hedule_tr
e
e_update_anc
h
o
r
ed: use i
s
l_schedu
l
e_tree_n_c
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ver
d
o
ol
a
ege
isl_schedule_node_has_nex
t
_s
i
bling: u
s
e i
s
l_schedule_
t
ree_n_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl
_
schedule_
t
ree
_
n_chil
d
ren
:
explicitly han
d
le missing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
isl_set_
i
s_equal: use isl_bool f
o
r
local
v
a
r
iable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias G
r
osser
s
h
ared_outer:
u
se isl_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias G
r
oss
e
r
doma
i
n_follows_at_depth: use is
l
_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
T
obi
a
s Gros
s
er
basic_map_is_empty_add: use enum v
a
riable i
n
stea
d
of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
is_subse
t
_e
n
try: use
i
sl_bool_false instead of intege
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
isl_ar
g
: use named constant to identify
a
rguments witho
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
is
l
_val_check_match_domain_space: update do
c
umentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
S
v
en Verdoola
e
ge
dr
o
p unused i
s
l
_
basic_se
t
_swap_d
i
v
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven
V
er
d
oolae
g
e
isl_
a
ffine_hul
l
.
c: i
s
l_basic
_
map_make_stride
s
_explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
isl_schedule_
n
ode
.
c: collec
t
_
f
ilter
_
prefix
_
update:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sv
e
n
V
e
r
doo
l
aege
isl_schedu
l
e_tree
.
c: print_tr
e
e
_band: use is
l
_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-23
T
o
bi
a
s Grosser
set -std=gnu99 for imat
h
-32
i
n
CFLAGS not CPPFLAGS
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
is
l
_schedule_n
o
d
e
_band_sin
k
: use isl_bool for
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdo
o
lae
g
e
isl_tes
t
.
c
:
before_for: use
i
sl_bool
f
o
r
local variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoo
l
aege
isl_b
a
sic_map_align
_
divs: use isl_bool for local variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_transitive_cl
o
s
u
re
.
c: check_exactne
s
s_omega:
u
se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
i
sl
_
t
r
ansitive_closure
.
c
:
is_acyclic: use i
s
l_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_ast_build_expr
.
c: is
l
_ast_bui
l
d_from_mul
t
i
_
pw_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_schedule_tree
.
c: subtree_schedule_extend_from_children
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdool
a
e
g
e
isl_
c
onv
e
x
_hull
.
c:
c
onvex
_
hull_p
a
ir
:
us
e
isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
aege
isl_ast_c
o
degen
.
c: compute_d
o
mains: use isl
_
bool
f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdool
a
ege
isl_test
.
c: test_affine_hu
l
l
: use isl_bool for l
o
cal
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_pw_qpolynomial_fold_cov
e
rs: use i
s
l_bool for lo
c
al
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
a
e
ge
i
s
l_
s
ched
u
le_node
.
c: exten
s
i
on_from_domain: use
is
l
_
b
ool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
e
r
do
o
laeg
e
isl_s
c
hedule_n
o
de
.
c: isl_schedule_node_group: use
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaege
isl_schedule_node
.
c:
l
oca
l
ly_covered
_
by_domain: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
laeg
e
i
s
l
_schedule_node
.
c: gr
o
up_band: use i
s
l_bool for
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_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 Verd
o
olae
g
e
isl_schedul
e
_no
d
e
.
c: ex
t
end
_
extension: use isl_boo
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_ast_codegen
.
c: after_i
n
_tree: 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
rdoolae
g
e
i
sl_ast_codegen
.
c: aft
e
r_i
n
_s
e
q
uence: use i
s
l_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ast
_
c
odeg
e
n
.
c: after_i
n
_ba
n
d:
u
se isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_schedule_nod
e
.
c: group_do
m
ai
n
:
u
se i
s
l
_
bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_node
.
c
:
group_context: use is
l
_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
i
s
l_qpol
y
n
omial_project_domain_on_params: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
olaege
isl_tes
t
.
c: t
e
st_gist:
use
isl_bool for
l
ocal variabl
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_schedule_n
o
d
e
_order_befor
e
_or
_
after
:
use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolae
g
e
i
sl_
c
oalesce
.
c: c
h
eck_coal
e
sce_int
o
_eq: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_
s
c
h
e
dule_node
.
c: gist_
l
eave: use isl
_
bool fo
r
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_
s
chedule_node
.
c: gist
_
enter: use isl_
b
ool
f
or
l
ocal
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ast_cod
e
gen
.
c: c
o
mpute_un
r
oll_
d
omains
:
us
e
isl_
b
ool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_b
a
si
c
_map_get_cons
t
raint_list: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oolaege
isl_ast_
b
uild
.
c: upd
a
te_v
a
lues: use
i
sl_bool fo
r
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_multi_union_pw_aff_apply_multi_
a
ff: use isl
_
b
o
ol
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
isl_multi_union_pw_aff_apply_aff:
use is
l
_
b
oo
l
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oola
e
ge
i
s
l_multi_unio
n
_pw_aff
_
a
pply_pw_mult
i
_aff: use isl_
b
o
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doola
e
ge
isl_m
u
lti
_
union_pw_aff_appl
y
_pw_aff: use isl
_
bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_as
t
_build
_
e
x
p
r
.
c: try_ex
t
r
act_mod:
u
se isl_st
a
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
s
l
_
ast_graf
t
.
c: e
q
u
a
l_ind
e
p
endent_guards: ret
u
rn isl_
b
o
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_val_get_abs
_
num_
c
hunks: return
i
sl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
ool
a
e
ge
isl_ba
s
ic
_
map_identity: inline basic_map_identity
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_basic_map_identity:
use isl_space_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolae
g
e
i
s
l_m
a
p
.
c: basic_
m
ap_identit
y
: reuse isl_basic_m
a
p_eq
u
al
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_qpo
l
ynomial_var_on
_
doma
i
n:
i
mpose stricter ch
e
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_constraint
_
get_bound: impose stricter
c
heck
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
isl_bas
i
c_s
e
t_fro
m
_const
r
ai
n
t: impose st
r
i
cter
check
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_set_alloc
_
space: im
p
o
s
e stricter check for set
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
o
l
aege
isl_space_underl
y
in
g
: return set spac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_bas
i
c_s
e
t
_
p
r
eim
a
g
e
: use
i
sl_basic_set_add_dims
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next