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
add isl_set_dim_has_{lower,upper}_bound
2012-09-18
S
ven Verdoolaege
a
dd is
l
_s
e
t_dim_has_{
l
ower
,
upper}_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
isl_bas
i
c_set_
s
u
bsti
t
ute
:
check
that input affine
e
xpr
e
ssion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdool
a
ege
isl_pw_m
u
l
t
i_a
f
f_
s
ubstitute: improve error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdo
o
laege
isl_basic_map_align_d
i
vs:
f
ix pot
e
ntial invalid acces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoolaege
isl_pw_
m
ulti_aff_from_
m
ap: detect strides
in
o
utput
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
isl_pw_multi_af
f
_
from_m
a
p
: d
e
tect ea
s
y floors di
r
ectly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdoolaege
p
r
ivately expor
t
isl_map
_
is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdo
o
laege
add isl_pw_
*
_pullba
c
k_pw_mult
i
_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
la
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 Verdoolaege
a
dd i
s
l_multi_aff_
p
ullback_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
add isl
_
aff
_
pullback
_
m
u
l
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
dd
is
l
_
l
oca
l
_space_pre
i
mage_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
o
laege
add isl_set_preim
a
g
e
_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add isl_
s
e
t
_preim
a
ge_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add isl
_
b
a
si
c
_
s
e
t_
p
r
eimage_multi
_
af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdool
a
e
g
e
i
sl_st
r
eam_
n
ew_str:
f
ail
on NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ver
d
oolaege
privat
e
ly
e
x
p
ort isl
_
m
u
lti_
a
ff_
a
lign_
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ve
r
doolaege
add isl_basic_set_add_div_constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oo
l
a
e
g
e
isl_map_is_subset:
s
upport
rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
i
sl_stream_read
_
ma
p
: fix parsing of Omega inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_stream_
r
e
ad_map: add
partial s
u
p
p
ort
f
or
reading
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoolaege
isl_pw
_
aff_nonneg
_
set: return a rat
i
onal set if t
h
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
erdoolaege
i
sl_pw_
a
ff_zero_set: retu
r
n a
r
ational se
t
if
t
h
e
input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdo
o
laege
add isl_pw
_
aff_li
s
t_set_r
a
tion
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
ad
d
isl_pw
_
aff_set
_
rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
privatel
y
e
x
p
ort isl_set_
s
et_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
d
d
isl_set_has_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ver
d
oolaege
rei
m
plement isl_stream_read_aff in t
e
rms of isl_stream_re
a
d
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdo
o
l
aege
declare isl
_
str
e
a
m_read_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
isl
_
str
e
am_read_mul
t
i_aff: r
e
ad t
u
ples direct
l
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoo
l
ae
g
e
isl_inpu
t
.
c: change tuple
pars
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdo
o
l
a
ege
add isl_pw_m
u
l
t
i_af
f
_range_pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ver
d
oola
e
g
e
add
i
s
l
_
multi_*_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add isl_multi_*_range_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add isl_multi_*
_
set_tuple_n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
add isl_mul
t
i_*_range_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
rdoolaege
add isl_mu
l
ti_*_
a
dd_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
laege
ad
d
isl_multi_*_inse
r
t_d
i
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
isl
_
mult
i
_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
a
e
ge
add isl_multi_aff
_
from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
isl_
m
ulti_templ
.
c
:
rename align_par
a
ms_multi_set_an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_mul
t
i
_
templ
.
h: av
o
id reference to explicit elemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
l
aege
isl_mu
l
ti_*_re
s
et_space_
a
nd_d
o
main: call isl_
*
_reset_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
genera
l
ize isl_m
u
lti_aff_flat_range_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoola
e
ge
ge
n
eralize isl
_
m
u
lti
_
aff_drop_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdo
o
lae
g
e
generalize
i
sl_multi
_
aff_set_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verd
o
olaege
generalize isl_multi_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdo
o
laege
generalize isl_multi_aff_id
e
ntity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
dd isl_pw_aff_zero
_
o
n_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add
i
s
l_
p
w_aff_var_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdo
o
laege
add isl_aff_var_on_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdool
a
ege
isl_input
.
c:
o
bj_read
_
body: simplif
y
error
h
andling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdo
o
la
e
ge
add isl_basic_set
_
drop_constraints_n
o
t_inv
o
lving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
rdoola
e
ge
add isl_{se
t
,m
a
p}_
d
rop_constraints_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoolaege
add isl_set_
u
nshifte
d
_
simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Verd
o
olaege
isl_st
r
e
a
m_rea
d
_union_ma
p
: force
r
es
u
lt
t
o be
a m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoo
l
aege
add isl_union_map_s
u
btract_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
is
l
_
s
et
_
from_pw
_
multi_aff:
h
and
l
e NULL
i
n
p
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolae
g
e
isl_union_map
.
c:
plain_injective_on
_
range:
s
ilence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdool
a
ege
isl_transitive_closure
.
c: union_components: avoid
invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdo
o
lae
g
e
isl_
r
ange
.
c
q
pol
y
nomia
l
_
b
ound_on
_
d
o
main
_
r
ange: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven
Verdo
o
laege
isl_convex_hull
.
c: ini
t
ial_face
t
_constraint
:
avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sve
n
V
erdoolae
g
e
is
l
_ma
p
_
union: special case unive
r
sal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven Ve
r
d
o
o
l
aege
isl_map_
g
is
t
: speci
a
l case universa
l
and equal in
p
uts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoo
l
aeg
e
export
i
sl_set_plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
doc: clarify use of
i
d
e
ntifiers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
add isl_basic_set_remove
_
unknown_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdoolaege
and
i
s
l
_pw_
a
ff
_
tdiv_q and isl_pw_a
f
f_
t
div_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en
V
erdoolaege
add isl_pw_aff_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdo
o
la
e
ge
add isl_set_
i
s
_dis
j
oint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n
Verdoolae
g
e
is
l
_m
a
p_plain_is_di
s
joint: special case obv
i
ously empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
rdoolaege
i
sl_bas
i
c_map_is_empty
:
s
pecial case un
i
versal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
isl_map_
p
lain
_
is_di
s
join
t
: fix e
r
ror ha
n
dl
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
isl_aff
.
c: fix typ
o
i
n co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sve
n
Verdoolaege
isl_aff
_
normal
i
ze: combi
n
e identical d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoo
l
aege
isl_aff_
n
o
rmalize: plug in div
s
with denominator one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolae
g
e
extra
c
t out
is
l
_local_space_substi
t
ute_se
q
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
e
xtract
out c
o
mmon
i
sl_seq_
s
ubs
t
itute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
S
v
en Verdoola
e
ge
isl_aff_norma
l
i
ze: s
o
rt divs
in local
s
pace of affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
add
i
sl_local_space_swap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
S
v
en
V
e
r
doolaege
pri
v
atel
y
export isl_mat_cm
p
_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Tobi
a
s Grosser
fix
i
sl_un
i
on_map_detect_equaliti
e
s mem
o
ry manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add isl_map_uncur
r
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdo
o
laege
add isl_union_map_subtract_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaeg
e
i
sl_pw_*
_
gist: av
o
id inter
s
e
c
t
i
on
of domain wi
t
h
conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdo
o
laeg
e
isl_map_intersect_domain: av
o
i
d
us
e
l
e
ss double reverse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdool
a
ege
isl_map_intersect_{
r
ange,domain}: stop allow
i
ng inter
s
ection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n Verd
o
o
laege
isl
_
map_inte
r
s
e
ct: special case univ
e
rsal
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
er
d
oolaege
add
i
s
l
_
constra
i
nt_lis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdoolaeg
e
add isl_pw_multi_aff_set_p
w
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoolaege
ad
d
isl
_
pw_multi_aff_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdoolaege
declar
e
isl_pw_multi_aff_alig
n
_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdo
o
laege
dec
l
are isl
_
basic_map_remove_
d
ivs_involving_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add isl_vec_fdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doolaege
a
d
d
isl_*_list_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
declare isl_map_fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoo
l
aege
add isl_basic_ma
p
_
upper_bound_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
add isl_ba
s
i
c
_map_or
d
er_ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdoolaege
d
e
clare is
l
_aff_zero_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Ver
d
o
o
laege
a
dd isl_vec_concat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next