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_aff_floor: normalize result
2012-11-13
Sven V
e
rdoolaeg
e
i
s
l_aff_floor: normalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaeg
e
isl_a
f
f_
c
eil: compute ceil(e
/
m) as flo
o
r
(
(e + m - 1)/
m
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
Sven
V
e
r
d
o
olaege
isl_aff_
g
ist: add missing isl_v
e
c_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
Sven Verdo
o
laege
isl_union_
s
et_compu
t
e_schedule: do
u
ble check t
h
a
t
we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
Sven
V
erdoolaege
isl_union_s
e
t_compu
t
e_schedule
:
ens
u
re
c
ar
r
y_depe
n
d
en
c
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolaege
update fo
r
change in clang's
D
i
ag
n
osticOptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
Sven Verdoolae
g
e
is
l
_
map_
p
lain_i
s
_di
s
joint: handle
i
npu
t
s
w
it
h
different
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Sven Ver
d
ool
a
eg
e
add R
E
AD
M
E
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Andreas K
l
oeck
n
er
Int
r
odu
c
e isl_int_f
r
ee_s
t
r t
o
remove GMP depen
d
ency
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdo
o
l
a
ege
i
s
l_union_set_com
p
ute_
s
c
hedule: handle resul
t
with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
S
v
e
n V
e
rdoolae
g
e
isl_ast
_
code
g
en
.
c: genera
t
e_domain: postpon
e
single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sv
e
n Verdoolaeg
e
isl
_
ast_
b
uild_
a
st_from_sche
d
ule: make cons
t
ruct
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
i
s
l_as
t
_bu
i
ld_
a
st_from_schedule:
use "
<
"
if
u
pper b
o
und
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
S
ven Verdoolaege
isl_ast_expr: add isl_
a
s
t
_op_lt an
d
isl_ast_op_gt oper
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Ve
r
d
o
ol
a
e
g
e
add is
l
_basic_set
_
from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ver
d
oolaege
i
s
l
_
ast_expr_f
r
om_
a
f
f
: try harder
t
o
use i
s
l_as
t
_op_pdiv_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ve
r
do
o
laege
isl_a
s
t_build_exp
r
.
c:
separate out extract_mo
d
u
l
o function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoo
l
aeg
e
isl_ast_
b
u
ild
_
e
x
p
r
.
c:
f
ix typo in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven
Verdoolaege
isl_ast_build_
e
xp
r
.
c: remove
r
emn
a
nt
s
of cod
e
r
e
moved
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
Sven V
e
r
dool
a
ege
add
e
xtr
a
AST generation test case from CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
isl_printer_prin
t
_st
r
: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
V
er
d
oolaeg
e
i
sl_ast_expr_m
o
d
:
perform m
i
s
sing
multipli
c
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Tobia
s
G
rosser
Make
s
ed expression in Makef
i
le c
o
mpatib
l
e with BSD
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add is
l
_id_set_fr
e
e
_use
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
a
e
ge
isl_p
r
i
nter_prin
t
_pw_aff: use isl_
a
st_expr whe
n
pri
n
ting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add sup
p
ort for generatin
g
ASTs from schedule relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add ISL_CTX
_
{GET,SET}_
S
TR
_
DEF macros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rd
o
o
l
aege
do
c
: se
p
arate o
u
t
pol
y
hed
r
al compilation
fun
c
tional
i
t
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
d
oolaege
add
i
sl_set_dim_has
_
{low
e
r,uppe
r
}_bo
u
nd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
r
doolaege
isl_b
a
sic_set
_
substitu
t
e: check th
a
t
i
nput affine
e
x
p
ression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
i
s
l_p
w
_multi_af
f
_substitute: improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
isl_bas
i
c_
m
ap_align_
d
ivs: f
i
x poten
t
i
al inv
a
lid
a
ccess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_m
u
lti
_
aff_from
_
map: de
t
ect
s
tr
i
des in output
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
isl_pw_multi
_
aff_f
r
om_
m
ap: det
e
ct
e
asy
floors directl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolae
g
e
privately exp
o
rt isl_map_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
a
d
d isl_pw_*_p
u
llba
c
k
_pw_mult
i
_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
add isl_pw_*_pu
l
lback_multi_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_multi_aff
_
pullback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaeg
e
add
i
sl_af
f
_pullba
c
k
_
multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add isl
_
local_space
_
p
r
eim
a
ge_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
doo
l
aege
add isl_set_preimage_pw_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oo
l
aege
a
dd
isl
_
se
t
_preima
g
e_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolae
g
e
add is
l
_basic_set_preimage_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_
s
tr
e
am_ne
w
_str: fail
o
n
N
ULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
d
o
olae
g
e
pri
v
ately expo
r
t
isl_mult
i
_
aff_align
_
divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoola
e
ge
add isl_basic
_
se
t
_a
d
d_
d
i
v
_constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl
_
map_is_subse
t
: support rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdo
o
l
a
ege
isl_stream_
r
ead_m
a
p: fi
x
parsing of Omega input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
rd
o
o
l
a
eg
e
i
s
l_stream_
r
ead
_
map:
a
dd partial support for reading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
isl_p
w
_af
f
_
nonneg
_
set:
return a rat
i
ona
l
set if the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
isl_
p
w
_
a
ff_zero_set: ret
u
rn a rational set if
t
he i
n
put
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
isl_
p
w_aff_list
_
set_rat
i
onal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
ad
d
isl_pw_aff_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
privately expor
t
isl_
s
e
t
_s
e
t
_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_set_has_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
reimplement isl_stream_read_aff in terms of isl_stream_read_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
d
e
c
lare isl_stream_read_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
i
sl_str
e
am_read_multi_a
f
f:
r
ead tup
l
e
s
direct
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
ola
e
ge
isl_input
.
c: change t
u
pl
e
p
a
rs
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add isl_pw_m
u
lt
i
_
a
ff_range_
p
roduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
add isl_mu
l
t
i_*_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
a
d
d isl_mul
t
i_*_range_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
o
ola
e
ge
add
i
sl_mu
l
t
i
_*_set_tup
l
e
_
name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Ver
d
oolaege
add isl_multi_*_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
erdoola
e
ge
add isl_mul
t
i_*_a
d
d_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oola
e
ge
add isl_multi_*
_
insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add isl_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add isl
_
mult
i
_
a
ff_fr
o
m_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
i
s
l_multi_t
e
mpl
.
c
:
r
enam
e
align_params_
m
ulti_set_a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
isl_multi_templ
.
h: avoid
r
e
ference
to e
x
plicit
e
lem
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
i
sl_multi_*_reset_space_and_dom
a
in:
c
a
l
l
isl_*_reset
_
domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
eg
e
generalize isl_multi_aff_flat_ra
n
ge_
p
roduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
generalize isl_mul
t
i_
a
ff_drop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
g
e
nerali
z
e isl_
m
ulti_aff_set_d
i
m_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
generalize isl
_
multi_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ver
d
oolaege
gene
r
alize isl_multi_aff_identi
t
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Ver
d
oolaege
add isl_pw_aff_zero_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verd
o
olaege
a
d
d isl_pw_aff_var_on_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add i
s
l
_
a
ff
_
var_on_d
o
m
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoolae
g
e
isl_inpu
t
.
c: obj_
r
ead_bo
d
y: simp
l
ify error
h
andlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoolaeg
e
add
i
s
l
_basic_set_drop_constraint
s
_not_in
v
ol
v
ing_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolae
g
e
ad
d
isl_{set
,
m
a
p}
_
drop_const
r
aints_i
n
volving_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
rdoolaege
a
dd isl_set
_
unshifted_s
i
mple_
h
ull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_
s
tream_read_union_map: force result to b
e
a
m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoo
l
aege
add isl_union_map_subtra
c
t_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoolaege
is
l
_
se
t
_
f
rom_pw_multi_
a
ff:
h
andle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven V
e
r
doo
l
aege
isl_u
n
ion_map
.
c:
p
lain_injective_on_r
a
n
g
e: sile
n
ce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven V
e
rdoolaege
isl_transitive_closure
.
c:
u
n
i
on_components: avoid invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdool
a
ege
isl_range
.
c
qpolynomi
a
l_bound_on_domain_range: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
i
s
l_c
o
nve
x
_
hull
.
c
: initial
_
face
t
_constrain
t
:
a
v
o
id
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
S
ven Verdoo
l
aege
isl_map_union: speci
a
l case
univers
a
l input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven
V
erdoolaege
is
l
_map_gist:
specia
l
case universal
and
equal inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Ve
r
doolaege
export isl_set_p
l
ain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n Verdoolaege
doc: clarify use of id
e
nti
f
ie
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
e
rdoolaege
add
isl_basic_set_re
m
ove
_
unknown_div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
Verdoo
l
aeg
e
and isl
_
pw_aff_tdi
v
_
q and isl_pw_aff_
t
d
i
v
_
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
ad
d
is
l
_pw_aff_
d
i
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven
V
erdoolaege
a
d
d isl_set_i
s
_
d
isjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
isl
_
ma
p
_plain
_
is_di
s
joint: specia
l
c
ase ob
v
i
o
usly empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
V
e
rdoolaege
isl_basic_map_is_emp
t
y: special case univers
a
l
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next