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_set_substitute: check that input affine expression is integral
2012-09-18
Sve
n
Verd
o
olae
g
e
isl_basic_set_s
u
bstitute
:
check
t
hat
input
affine expressio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
is
l
_pw_multi_
a
f
f
_sub
s
t
i
tute: improve
error h
a
ndlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
isl_basic_map
_
align_divs: fix potenti
a
l invalid
a
ccess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
isl_
p
w_mult
i
_aff_f
r
o
m
_
map: det
e
ct stri
d
e
s
in output
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolae
g
e
isl
_
pw_
m
ulti_af
f
_
f
rom_map:
detect ea
s
y fl
o
or
s
directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
privately export isl_map_is_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
d
oolaege
add isl_pw_*_pul
l
back_p
w
_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n V
e
rdoola
e
ge
add isl
_
pw_*_pullback_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
a
dd isl_
m
u
l
ti_aff_pullback_m
u
l
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erd
o
olaege
add
isl_aff_pul
l
back_multi_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add isl_lo
c
al_sp
a
ce_pre
i
mage_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add is
l
_set_preimage
_
pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ver
d
oolaege
add isl_set_preimage_mul
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rd
o
o
l
aege
a
d
d is
l
_b
a
sic_set_
p
reimage_multi_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
sl_stream_ne
w
_
str: fail on NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
eg
e
p
r
i
v
ate
l
y expo
r
t
isl_multi_aff_
a
lign_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
e
g
e
ad
d
isl_basic_se
t
_add_div_constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ver
d
o
olaege
isl_map_is_s
u
bset: support rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_stream_read_ma
p
: fix p
a
r
s
i
n
g of Om
e
ga i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
dool
a
ege
is
l
_strea
m
_read_
m
a
p
:
a
dd partial
s
upport f
o
r
readi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
isl_pw_aff
_
nonneg_set: retur
n
a ratio
n
a
l
s
e
t if the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl
_
pw_aff_z
e
ro_set: r
e
t
u
rn a rational set if t
h
e
input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
add i
s
l_pw
_
aff_list_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdo
o
la
e
ge
add isl_pw
_
af
f
_set_ratio
n
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
privately export isl_s
e
t_
s
et_r
a
tional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaeg
e
a
d
d isl_set_has_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoo
l
aege
reimpleme
n
t
isl_stream_read_aff
i
n te
r
m
s of
i
sl_str
e
am_
r
ead_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
declare isl_stream_re
a
d
_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdool
a
ege
is
l
_stream_read_mul
t
i_aff: read t
u
ples
directl
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
e
g
e
isl_inp
u
t
.
c:
ch
a
n
ge
tuple parsi
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
o
laege
a
dd isl_p
w
_multi_aff
_
rang
e
_prod
u
ct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdoolaege
add isl_m
u
lti_*_splic
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
add isl_multi_*_range_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
ad
d
isl
_
m
ult
i
_*_set_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
add i
s
l
_multi_*_range_
p
r
o
d
u
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdool
a
ege
add isl_mul
t
i_*
_
a
dd_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
add
isl_multi_*_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
i
sl
_
multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_multi_aff_f
r
om_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
i
s
l
_multi_templ
.
c: r
e
name
a
lign_par
a
ms_multi_
s
e
t_
a
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoo
l
aeg
e
i
s
l
_
multi_templ
.
h: avoid referenc
e
to e
x
p
l
i
c
i
t
e
lement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_multi_*
_
reset
_
space_and_domain: call i
s
l_*
_
reset_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolae
g
e
g
ener
a
lize isl_multi_aff_
f
lat_range_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
gene
r
ali
z
e
i
sl_multi
_
aff_drop_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
g
e
n
era
l
ize isl_multi_aff_se
t
_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
g
e
n
e
ralize isl_multi_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoola
e
ge
generaliz
e
isl_mult
i
_aff_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdo
o
laege
add isl_pw_aff_zero
_
on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_pw_aff_var_on
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
a
d
d isl_aff_var_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ve
r
doolaege
isl_input
.
c: obj_read_body:
s
implify e
r
r
or handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdo
o
laege
add
i
sl_basic_set_dro
p
_co
n
straints_not_inv
o
lving_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdool
a
ege
ad
d
isl_{set,map}_dr
o
p_constraints_involving_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add isl_set_
u
nshifted_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verd
o
olaeg
e
isl_stream_read
_
u
n
ion_map: force result to be a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add isl
_
union_m
a
p_subtract_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ve
r
doola
e
ge
isl
_
set_from_pw_mu
l
ti_aff:
handle N
U
LL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven V
e
rdoo
l
aege
isl_union_map
.
c
: p
l
ain_
i
n
j
e
cti
v
e_on_
r
ange: s
i
lence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n Verdoolaege
isl_transiti
v
e
_closure
.
c: union_com
p
o
n
ents: avoid i
n
valid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
S
ven Ver
d
oo
l
ae
g
e
i
sl_range
.
c qpolynomial_bound_on_dom
a
i
n
_range: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven
V
erdoolaege
isl_convex_hull
.
c:
in
i
tial_facet_constraint: a
v
oid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verdoolaege
isl_map_union: special case universal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
S
ven V
e
r
d
oolaeg
e
i
sl_map_g
i
st: special
case universal and e
q
ual inpu
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
Ver
d
o
o
l
a
ege
e
x
port isl_set_plain_cm
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
d
o
c: clarify use of identifiers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Ver
d
oolaege
ad
d
isl_ba
s
ic_set_remove_unknown_div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verd
o
olaege
and isl_pw_aff_tdiv_q
a
nd isl_
p
w_af
f
_tdi
v
_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
ad
d
isl_
p
w
_
aff_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en
V
erdo
o
laege
add isl_set_is_
d
isj
o
i
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erdoolaege
isl
_
m
a
p
_pl
a
in_is_di
s
joint: speci
a
l case obviou
s
ly empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
i
sl_basic_map_is_empt
y
: spe
c
ial case universal inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
rdoolaege
isl
_
m
ap_plain_is_
d
i
s
joint: fix error
handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verd
o
olaege
i
sl_aff
.
c: fix typo in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Ve
r
doolaege
is
l
_af
f
_normalize: combine identical divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven V
e
r
doolaege
is
l
_aff_n
o
r
mal
i
ze
:
pl
u
g
i
n divs w
i
th
denominator one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sv
e
n Verdoolaege
extract
out isl_lo
c
al_space_substitut
e
_seq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Ver
d
oola
e
g
e
extract out common isl_seq_subst
i
tute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolae
g
e
isl_aff_n
o
r
malize: so
r
t div
s
in local
space
o
f affi
n
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
add isl_loc
a
l_space_sw
a
p_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoola
e
ge
privately
e
xport isl_mat_cmp_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en
V
erd
o
olaege
a
dd
isl_map_
u
ncurry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoolaege
ad
d
isl_unio
n
_map_subtract_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdoolaege
isl_pw_*_gi
s
t: avoid i
n
ter
s
ection
of domain with
c
ontext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doolaege
isl_map_intersect_domain: avoid u
s
eless dou
b
le reverse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdool
a
ege
isl_m
a
p_intersect_
{
range,domain}: stop
allowi
n
g int
e
r
s
ection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdoolaege
isl_map_intersect: spe
c
ial case universal i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoo
l
aege
add isl_constraint
_
list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoo
l
aege
add
isl_pw_multi_aff_set_pw
_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olaeg
e
a
d
d isl_pw_multi
_
aff
_
identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
e
r
doo
l
ae
g
e
declare isl_pw_m
u
l
t
i_aff_al
i
gn_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
o
ola
e
ge
d
e
c
l
a
r
e i
s
l_
b
asic_map_r
e
move_divs_i
n
vo
l
v
ing_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdo
o
laege
add
i
sl_vec_fdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n
Ve
r
doolaege
add is
l
_*_list_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olaege
declare isl_map_fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolae
g
e
add isl_
b
asic_map_up
p
er_bound_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaeg
e
add
isl_basic
_
map_order_ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoolaeg
e
decla
r
e isl_aff_zer
o
_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Ve
r
doolae
g
e
add
i
sl_vec_co
n
cat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdo
o
l
a
ege
isl_vec_
f
ree: ret
u
rn
N
ULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdo
o
laeg
e
i
sl_map_free: re
t
urn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next