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_local_space_substitute_seq: take argument for the number of divs to modify
2012-11-13
Sven Verd
o
olaege
is
l
_local_space_subs
t
i
t
ute_
s
eq:
t
ake argument for the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n
V
e
r
doolaege
isl_
a
f
f
_floor: normal
i
ze result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoo
l
aege
isl_aff_ceil
:
comp
u
te
ceil(e/m)
a
s
f
lo
o
r
(
(e + m
-
1)/
m
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
Sven
V
erd
o
ola
e
ge
isl
_
aff_gi
s
t: add missing
i
sl_
v
ec_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
S
v
en Verd
o
olaege
isl_union
_
set_compute_schedule: double check that we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
Sve
n
Verdoolaege
isl_union_set_comp
u
te_schedule: en
s
ure carry_depen
d
ences
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sve
n
Verd
o
olaege
up
d
ate for change in clang's Diagnos
t
icOpt
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
Sven
V
e
rd
o
ola
e
g
e
isl_
m
ap
_
pla
i
n
_
is_disjoint: handle
inp
u
ts w
i
th
different
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Sven Verdoolaege
add README
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Andr
e
as Kloe
c
kn
e
r
Int
r
o
duce isl_int_free
_
str to remo
v
e GMP depend
e
ncy
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
Sven
Verdool
a
eg
e
isl_unio
n
_set
_
compute_sc
h
edule: handle result wi
t
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
Sven V
e
rd
o
olaeg
e
isl
_
ast_code
g
e
n
.
c: gener
a
t
e
_domain: po
s
tpone single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdoolaege
is
l
_ast_bu
i
ld_ast_from_schedu
l
e: make construct
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoola
e
ge
isl_ast_bu
i
l
d_
a
st_
f
rom_schedule: use
"
<
" i
f
upper bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Ve
r
d
o
o
la
e
ge
isl_ast
_
expr: ad
d
is
l
_ast_
o
p_lt and isl_ast_
o
p_gt oper
a
ti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaeg
e
add isl_basic
_
set
_
from
_
p
a
ra
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven
V
erdoolaege
isl_a
s
t
_expr_f
r
om_a
f
f: t
r
y
h
a
r
d
er to use
isl_
a
st_o
p
_
p
di
v
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_ast_build_expr
.
c
: sepa
r
a
t
e
out
e
xtract_
m
odulo func
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_ast_build_expr
.
c: fix typo
i
n commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
S
ven Verdoolae
g
e
isl
_
ast_
b
uild_exp
r
.
c: remove remnants of cod
e
removed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
Sven
V
e
rdoolaege
add extra AST generation
test case from
C
LooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en Ver
d
oolaege
isl_printer_print_str: handle
N
U
L
L input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
i
s
l_a
s
t_e
x
pr_mod: perform
m
issing multiplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
T
o
b
ias Grosser
M
a
ke sed exp
r
e
s
sion in Makefile compatible with BS
D
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
a
ege
add
isl
_
id_set_free_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
isl_
p
rinter_pri
n
t
_
pw
_
aff:
u
s
e isl_ast_e
x
pr when print
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
r
d
oolaege
add s
u
pp
o
r
t for generating AST
s
from schedule re
l
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
a
d
d
I
S
L
_C
T
X_
{
G
ET,SET}_STR_DEF macros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
do
c
: s
e
parate o
u
t polyhedral compil
a
tion f
u
nc
t
io
n
ality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdool
a
ege
add isl_set_dim_has_{lower,
u
p
p
e
r
}_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
isl_basic_set_substit
u
t
e: check that input affine expressio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
eg
e
isl_
p
w_multi
_
a
f
f_substitute: im
p
rove error ha
n
dling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
isl
_
b
a
s
ic_ma
p
_align
_
div
s
: fix pote
n
tia
l
in
v
alid acc
e
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdo
o
laege
isl_pw_multi_aff_fr
o
m_map: de
t
e
ct s
t
rides in o
u
t
pu
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoo
l
a
e
g
e
isl_pw_
m
u
l
ti_
a
ff_from_map: detect easy floors dire
c
t
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
priva
t
ely e
x
p
o
rt isl_map_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdool
a
ege
add isl_pw_*
_
pullback
_
pw_m
u
lt
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
g
e
add
isl_p
w
_*_pullback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
add isl_mul
t
i_aff_pullback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoo
l
a
ege
add isl_aff_pull
b
ack_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add isl
_
l
ocal_space_preimage_multi_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
do
o
l
a
ege
add isl_set
_
p
r
e
i
mag
e
_pw_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ver
d
oolaege
add
is
l
_set_pr
e
image_
m
ul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
isl_basic
_
set_preimage_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verd
o
o
l
aege
isl_strea
m
_
ne
w
_str: fai
l
on NU
L
L in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
pr
i
vate
l
y export
isl_multi_aff_align_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
add
isl_
b
asic_set_add_
d
i
v
_constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdool
a
e
g
e
isl_m
a
p_is_subse
t
: su
p
port rational
m
aps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
is
l
_stream_read_map: fix parsing of
Omega inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doo
l
aege
is
l
_
s
tream_read_map: ad
d
pa
r
tial support for reading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verd
o
olaege
isl_pw_aff_nonneg_set: return a rational set if the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoola
e
ge
i
s
l
_
p
w_aff_zero_
s
et: return
a
r
a
tional set if th
e
input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verd
o
o
l
aeg
e
a
d
d isl_
p
w
_
af
f
_list_set_r
a
tional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
doolaege
add is
l
_pw_aff_s
e
t
_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoo
l
aege
priv
a
tely export isl_set_set
_
r
a
tional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
erd
o
o
l
aege
add isl_se
t
_has_
r
a
tiona
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
reimpl
e
men
t
isl_str
e
am_rea
d
_af
f
in
t
e
r
m
s
o
f i
s
l_stream_r
e
ad_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdo
o
laege
declare isl_s
t
ream_read_m
u
l
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
isl
_
stream_read_multi_aff: read
t
uples directly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
isl_in
p
u
t
.
c
:
change tuple pars
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ve
r
doolaege
add isl_pw_mul
t
i_aff_r
a
nge
_
produ
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
i
sl_multi_*_s
p
lice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
a
dd isl_m
u
lti_*_range_spl
i
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_mult
i
_*_set_tuple_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdo
o
laege
add isl_multi_*_range_pr
o
duct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoo
l
aeg
e
add isl_multi_*_add_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oola
e
ge
add isl_mu
l
ti_*_insert_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdoo
l
a
e
g
e
add isl_
m
ulti_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
la
e
g
e
add isl_mult
i
_a
f
f_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n V
e
rdoola
e
ge
isl_mult
i
_
t
empl
.
c: rename alig
n
_pa
r
ams_multi_set_an
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdool
a
ege
isl_mul
t
i_te
m
pl
.
h
:
a
v
oid reference to expl
i
cit el
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
a
e
ge
isl_mul
t
i_*_reset_space_and_domain: cal
l
isl_*_reset_domai
n
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
genera
l
ize
i
sl_mu
l
t
i
_af
f
_flat_ran
g
e_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaeg
e
gene
r
al
i
ze is
l
_multi_af
f
_drop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
Verdoola
e
g
e
general
i
z
e isl_multi_af
f
_set_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
gen
e
ralize isl_multi_aff_
z
ero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
generalize isl_multi_aff_ide
n
tity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
a
d
d isl_
p
w_aff_zer
o
_
on
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
r
d
o
ol
a
ege
add isl_
p
w_aff_var_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add isl_aff_var_on
_
d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_input
.
c: obj_read
_
body: simplify err
o
r
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
rdoolaege
add i
s
l_basic_set_d
r
op_constraints_not_involving
_
di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoolaege
add
i
sl_{set,map}_dr
o
p_constrain
t
s
_involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add isl_set
_
unshif
t
ed_simple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdool
a
eg
e
isl_strea
m
_r
e
ad_union_
m
ap
:
force resu
l
t to be a ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ver
d
oolaege
add isl
_
u
nion_map_subtr
a
ct_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Ve
r
doolaeg
e
isl_set_from_pw_multi
_
a
f
f:
handle
N
ULL
in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven
Ver
d
oolaege
isl_union_map
.
c:
p
lain_injective_
o
n_r
a
n
g
e:
silenc
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n V
e
rdoolaege
is
l
_
transitiv
e
_clo
s
ure
.
c: u
n
ion_co
m
ponents
:
a
v
oi
d
invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven
Verdoolaege
isl_ran
g
e
.
c qpolynomial_bou
n
d_on_domain
_
range: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdool
a
ege
is
l
_convex_h
u
ll
.
c:
initial_
f
acet_constraint: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven
V
erdoolaege
isl_map_union: special case univers
a
l
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
S
ven Verdo
o
laege
i
s
l_map_gist: special case unive
r
s
a
l and equal inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
rdoolaege
export isl_set
_
plain_cm
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
Verdoolaege
doc: clarify use
of ident
i
fiers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdoo
l
a
e
ge
add i
s
l_basic_set_remove_unknow
n
_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
and
i
s
l
_pw_aff_tdiv_
q
and isl_pw_aff_tdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
Verdoolaege
add is
l
_pw_aff_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
add isl_se
t
_is_disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoo
l
aeg
e
isl_map_pl
a
in_is_disjoint: s
p
ecia
l
case obviously
e
mpty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next