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
Verdoola
e
ge
isl_aff_
f
l
oor: normalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff_
c
e
i
l: compute ceil(e/m) as fl
o
or((
e
+ m -
1
)
/
m)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
Sven
Verdoolaege
isl_aff_gist: ad
d
mi
s
sing is
l
_vec_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
Sven
V
e
r
do
o
laege
i
sl_union_set_c
o
mpute
_
s
c
hedule: double c
h
eck that we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sven Verdoolaege
i
sl_union_set
_
compu
t
e_schedule: ensure carry_dependen
c
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolaege
u
pdate for change in
clang's
D
iagno
s
ticOptio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
Sven V
e
rdoolaege
is
l
_map_
p
lain_is_
d
isjoint:
h
andle i
n
p
u
t
s
with dif
f
e
re
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Sven Verd
o
ol
a
ege
a
d
d
READM
E
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Andreas Kloeckner
Introduce isl_int_fr
e
e_str
t
o
remove GMP depende
n
cy
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sv
e
n V
e
r
doolaege
isl_uni
o
n_set_c
o
mpute_sc
h
edule
:
handle re
s
ult with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
Sven Verdoolaege
i
s
l_ast_
c
od
e
gen
.
c: generate_dom
a
in:
p
os
t
pone single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdoola
e
ge
i
s
l_ast_build_ast_
f
r
om_sc
h
e
dule: m
a
k
e construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
S
v
en Verdoola
e
ge
isl_ast_build
_
as
t
_from_
s
chedule
:
use "<
"
i
f
upper
bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
isl_ast_expr: a
d
d isl_as
t
_op_lt and isl_ast_op_gt o
p
erations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
S
ven Ve
r
doola
e
ge
a
d
d isl_basic_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
v
en Verdoola
e
ge
i
sl_ast_e
x
pr_from_aff: try harder
t
o use is
l
_ast
_
op_
p
div_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven
V
erdoolaege
isl_ast_build_expr
.
c: sepa
r
ate out extract_
m
odu
l
o function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
is
l
_
ast_
b
uild_expr
.
c: fix typo
i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sve
n
Verd
o
olaege
i
s
l
_ast_build_expr
.
c
:
remove remnan
t
s of co
d
e
r
e
m
o
v
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
Sven Verdool
a
ege
ad
d
e
xtra AST generation tes
t
c
a
s
e from CLoo
G
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
is
l
_pri
n
ter_print_st
r
: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdo
o
laege
isl
_
ast_expr_mod:
perform missing multipl
i
catio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Gr
o
s
se
r
Mak
e
sed
expr
e
ssion in Makefil
e
compatible with BSD
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
d
d isl_id_set_
f
ree_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
a
e
ge
isl_pri
n
ter_print_p
w
_
aff
:
u
s
e
isl_ast_expr when pr
i
nting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add suppo
r
t f
o
r generati
n
g ASTs
from sche
d
u
l
e relat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add ISL_CTX_{GET,S
E
T}_STR_DEF macros
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
V
e
r
d
oolaege
d
o
c:
s
epa
r
ate out
p
o
l
yh
e
dral compilatio
n
f
unct
i
ona
l
ity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
add isl_s
e
t_dim_has_{lower,upper}_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
isl
_
ba
s
ic_set_substitute: check that inpu
t
affine expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_m
u
lti_aff_
s
ubstitute: impr
o
ve error handlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
e
r
d
o
ol
a
ege
isl_b
a
sic
_
m
a
p_align_divs:
f
i
x
poten
t
ial i
n
valid access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
sl_pw_multi_aff_from_map: de
t
ect strides in output
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
V
erd
o
olaege
isl_pw_mult
i
_aff_from_map:
d
etect
e
asy floors directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
p
r
ivately export isl_map_is_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add
i
sl_pw_*_pul
l
b
a
ck_pw_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
a
dd isl_pw_*_pu
l
lback_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add isl_multi_aff_p
u
ll
b
ack_
m
ulti_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
doolaege
a
dd
is
l
_aff_p
u
llbac
k
_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
ad
d
isl_l
o
c
al_spa
c
e_preimage_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ve
r
doolaege
add isl_set_preimage_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
er
d
oolaege
add is
l
_
s
et_preimage_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add
i
s
l
_basic_set_p
r
eimage
_
m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
is
l
_stream_new_str:
f
ail on NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
pri
v
ately export
i
sl_
m
u
lti_aff
_
align_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Ver
d
oolaeg
e
add isl_basic_s
e
t_add
_
d
i
v_cons
t
raints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoo
l
aege
isl_map_is_sub
s
et: support rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_stream_read
_
map: fix pars
i
ng
o
f Om
e
ga
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
i
s
l_stream_read_map:
a
dd partial suppo
r
t for re
a
din
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n V
e
rdoolaege
isl_pw_aff_
n
o
n
neg_set: return a rational set if the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
isl_p
w
_a
f
f_zero_set: ret
u
r
n
a
r
atio
n
al set i
f
the input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
rd
o
ol
a
ege
a
d
d isl_
p
w
_
aff_l
i
s
t_
s
et_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
ool
a
ege
add
isl_pw_aff_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ve
r
doolaege
privately
exp
o
rt isl_se
t
_set_rati
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
isl_set
_
has
_
ratio
n
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
r
e
impl
e
ment isl_stream
_
read_a
f
f in terms of isl
_
stream_read_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
de
c
l
are isl_
s
tream_re
a
d_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
s
l_stre
a
m_read_mult
i
_aff
:
r
e
ad t
u
ples dire
c
tly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolae
g
e
isl_input
.
c
:
cha
n
ge tuple parsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
d
d i
s
l_pw_
m
ulti_aff_range
_
produc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
a
dd isl_multi
_
*_spli
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoo
l
aeg
e
add isl_multi_*_range_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add i
s
l_multi_*_set_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdool
a
eg
e
add isl_multi
_
*_range_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
add isl_mult
i
_
*
_
add_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_mu
l
ti_
*
_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
a
d
d isl_multi_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
ad
d
isl_multi_aff_from
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
is
l
_multi_t
e
mpl
.
c: rename
align_params_multi_set_a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
i
sl_mu
l
ti_temp
l
.
h: avoid re
f
erence to expli
c
i
t elem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
isl_
m
ul
t
i_*_reset_space_an
d
_
d
om
a
in:
c
all isl_*_rese
t
_
d
omain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
generalize isl_
m
ulti_aff_flat_r
a
nge_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdool
a
ege
gen
e
raliz
e
i
s
l_multi_
a
f
f_drop_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdo
o
lae
g
e
g
eneralize is
l
_multi_af
f
_set_di
m
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoo
l
aege
generalize isl_mul
t
i
_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verd
o
olaege
g
ene
r
alize
isl_mult
i
_aff_i
d
e
n
tity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ver
d
oolaege
add
isl_pw_a
f
f_zero
_
o
n
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_p
w
_aff_v
a
r_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
ve
n
Verdoolaeg
e
add isl_aff_var_
o
n
_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
ven
V
erdoolaege
isl_
i
nput
.
c
: o
b
j_r
e
a
d
_bo
d
y
: s
i
mplify erro
r
h
andling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
e
rdoolaege
add i
s
l_basic_se
t
_drop_
c
ons
t
raints_
n
o
t
_involv
i
ng_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Ve
r
d
oolaege
add isl_{set,map}_drop_constr
a
i
nt
s
_involvi
n
g
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
a
d
d isl_set_unshifted_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdo
o
la
e
ge
isl_s
t
rea
m
_read_union_map: for
c
e result
to be a
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoo
l
aege
add
isl_u
n
i
o
n
_
map_subtr
a
ct_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verd
o
ol
a
ege
i
sl_set_fr
o
m_pw_multi_aff: handle NULL in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl
_
u
n
io
n
_map
.
c
:
pl
a
in_in
j
ective_on_r
a
n
ge: silence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
i
s
l_transit
i
ve_
c
losure
.
c: union_components: a
v
o
i
d
i
nvalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven V
e
r
d
o
o
laege
isl_range
.
c qpolynomial_boun
d
_
o
n_domain_range: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdo
o
laege
isl_convex_
h
ull
.
c: i
n
itial_
f
a
cet_constra
i
nt: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven Ve
r
d
oolaege
isl_map_union: speci
a
l c
a
s
e
u
n
ive
r
sal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
S
v
en Ve
r
doolaege
isl_map_
g
ist:
spe
c
ia
l
case
u
niversal and eq
u
al inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n Verdoolae
g
e
export isl_s
e
t_
p
lain_cm
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ver
d
oola
e
ge
doc: clarify use of ide
n
tifiers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
add isl_basic_set_
r
em
o
ve_unknown_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n Verdoo
l
aege
and is
l
_
p
w_aff_tdiv_q and
i
sl_p
w
_aff_tdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ver
d
oolaege
a
d
d
i
sl_pw_aff_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdoolaege
add isl_set
_
is_
d
isjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ver
d
oola
e
ge
isl_map_plain_is_d
i
sj
o
int: special case obviously
e
m
pty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
isl_basi
c
_map_is_empty
:
special case universal i
n
p
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next