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_set_intersect: properly handle intersection with parameter domains
2011-09-26
Sven V
e
rd
o
olaege
isl_set_interse
c
t: properly han
d
le intersect
i
on
with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
Sven Verdoolaege
isl
_
acces
s
_
info_compute
_
f
low: a
l
ign para
m
eters of input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaege
Merge
b
ranch
'm
a
in
t
'
commit
|
commitdiff
|
tree
2011-09-23
Sven Verd
o
ol
a
ege
fix isl_
s
e
t
_involves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add
i
sl
_
set_plain_
i
s
_
fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add i
s
l
_set
_
from
_
params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdo
o
laeg
e
a
d
d isl_spa
c
e_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdoolaege
M
e
rge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
isl_qpolynomial_morph: properly
h
andle
d
enominators
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
laege
add isl_
m
at_di
a
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
e
n
Verdoolaege
is
l
_tab_pip
.
c
: sol_for
_
add: corr
e
ctly set denominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Verd
o
olae
g
e
isl_tab_pip
.
c: sol_m
a
p_add: fix do
u
b
l
e free
o
n er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
i
sl_stream:
accept
"=="
t
oken
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
Ver
d
oolaege
add
isl_union_pw
_
*_plai
n
_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ver
d
oolaege
add isl_pw_*
_
plain_is
_
eq
u
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
add
i
sl
_
set_
p
l
ain_cm
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven
V
erdoolaege
a
dd isl_map_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
rdoolaege
isl_str
e
am_next_token: tr
e
at "-0" as two t
o
ken
s
'-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
ven Verdoolaege
drop "np
a
r
a
m" argument from isl
_
{set,map}_
r
e
a
d_
f
r
o
m_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verdool
a
e
g
e
doc: d
o
cument *_
m
ove_dims functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
ven Verdoolaege
drop isl
_
div abstractio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erdo
o
lae
g
e
isl_{in
,
}
equalit
y
_allo
c
: take
i
sl
_
local_spa
c
e intead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n Verdoolaege
doc:
update example code
to c
h
ange i
n
return type of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven
Verdoolaege
M
erge b
r
anch 'maint
'
commit
|
commitdiff
|
tree
2011-09-09
S
v
en Ver
d
oola
e
ge
provide ful
l
pro
t
otype
s
f
o
r
some function
s
wi
t
h no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sve
n
Verdoolaege
doc: fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sve
n
V
e
rd
o
olaege
a
d
d
is
l
_set_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
e
n Verdoolaege
mak
e
isl_pw_* obje
c
t li
v
e in a
m
ap space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add
isl_space_e
x
tend
_
d
omain_
w
ith_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_space_is_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
d
d
i
sl_local_space_i
s
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoola
e
ge
a
dd
isl_local_space_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
implement
i
sl_constraint on top of i
s
l_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add is
l
_vec_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdool
a
e
ge
isl_aff
.
c: e
x
tract isl_loc
a
l_
s
pa
c
e_ge
t
_
a
c
t
ive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_o
u
tput
.
c: drop redund
a
n
t "set
"
ar
g
u
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
i
s
l_un
i
on_*_alloc: project space on
t
o parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
explicitly
d
iff
e
rentiate
b
e
tween spaces of maps, sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
allow isl_
i
ds wi
t
h negati
v
e reference counts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
p
ro
p
er implem
e
ntation
of
is
l
_union_map_from_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_ma
p
_from_domain_and_ra
n
ge:
d
rop expli
c
it conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
isl_
s
et_apply_pw_qpolynomial_
f
old: drop explicit
c
o
nversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolae
g
e
i
s
l_t
a
b_bas
i
c
_
set_
n
on_tr
i
vial_lexmin:
drop explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
la
e
ge
isl_tab_pip
.
c: fix
whitespace issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
i
sl_set_r
e
ad_f
r
om_*: co
e
rce set-like
m
aps in
t
o
s
ets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rdoolaege
i
s
l_i
n
pu
t
.
c: map_read_
p
o
l
ylib: convert set-like
maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
l
a
e
g
e
isl_in
p
ut
.
c: obj_read: start
o
ff from parameter space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
lae
g
e
isl_input
.
c: represent
nested tuple as isl_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
ae
g
e
is
l
_inpu
t
.
c: obj_read_poly_or_fold: repr
e
sent
do
m
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolae
g
e
isl_basic_set_multiplicative_call
:
explicitly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdo
o
laege
isl_pw_qpolynomial_fold_b
o
u
n
d:
explicitly project on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdo
o
lae
g
e
isl_qpolynomi
a
l_bo
u
nd_on_do
m
ain_bernstein: explicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ver
d
oolaege
i
sl_qpo
l
ynomial_bound_on_domain_
r
ang
e
:
e
xplicitly
p
roject
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
i
sl_
u
nion_
m
ap_fro
m
_map: ex
p
licit
l
y project on paramete
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoola
e
g
e
isl_union_map_
a
lign_pa
r
ams: explicit
l
y
project
on parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
is
l
_polynomia
l
.
c:
c
onstant_on_d
o
main
:
explicitl
y
project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
basic_set_
d
im_max: explicitl
y
project on
parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
ae
g
e
is
l
_basic_set_compute
_
ve
r
tices: explicit
l
y turn
c
hambers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
bo
u
nd
.
c: explicitly conve
r
t
conte
x
t into parameter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdo
o
laege
pip
.
c:
explicitly
c
o
n
v
ert c
o
ntext into
p
arameter
se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add
i
s
l
_pw_qpolyn
o
mial_fold_
p
roject
_
domain_on_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdo
o
laege
add
isl_qpolynomial_project_domain_on
_
par
a
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add i
s
l_pw_qpolynomial_project_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
a
dd isl_m
o
rph_{dom,ran}_
p
a
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
d
d
isl_basic_set_params
a
nd isl_s
e
t_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
oolaege
add i
s
l_space_params_a
l
l
o
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolae
g
e
isl_s
t
ream_read_set: accept
parameter doma
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl_pw_q
p
olynomia
l
_fold_bo
u
nd: simpl
i
fy cons
t
ruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl_test
.
c: properly cr
e
ate set space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolae
g
e
isl_ma
p
_ran
g
e_map:
fix space manipulation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoo
l
aege
isl_map_range: construct
correct s
p
ac
e
for result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_basic_set
_
all
o
c: create basic
set
in proper set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
o
olaege
isl_space_wrap: properly create se
t
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add i
s
l_se
t
_from_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
rename
P
W_alloc_ to PW_alloc_s
i
ze
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_
p
w
_
*_add_disjoint:
t
ry a
n
d extend one of
t
he pw
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_space_match: o
p
timi
z
e trivial
c
ases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
add is
l
_
m
a
p
_flat_domain_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erd
o
olaege
isl_
a
ccess_info_compute_flow
:
al
i
gn
p
aramet
e
rs of inpu
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
al
i
gn
p
arameter
s
of argument
s
to
isl
_
ma
p
_{lexmin,lexmax}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_spa
c
e_alig
n
_params:
accept
g
ener
a
l isl_spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
add is
l
_space_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
doolaege
rena
m
e isl_dim
t
o
isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
document i
s
l_dim_move
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolae
g
e
s
p
lit off d
e
claratio
n
s from isl_polynomial
.
h
to
s
eparat
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven
Verdoolaege
merge
isl_
*
_dump functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verd
o
olae
g
e
add isl_s
e
t_dim_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoo
l
aege
add i
s
l_basic_set_for
e
ach
_
le
x
opt
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
Verdoolaege
add
isl_p
w
_aff
_
u
n
ion_opt
commit
|
commitdiff
|
tree
2011-09-01
S
v
en Ve
r
doolaege
add is
l
_p
w
_aff_union_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
S
ven Verdoolaege
a
d
d isl
_
aff_l
e
_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n
V
erdo
o
laege
isl_qpolynomial_fr
e
e: return NU
L
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
Sven
V
er
d
oolaege
M
e
rge br
a
nch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-08-31
S
v
en Verdoolaege
i
s
l_qpolynomial_rat_
c
st:
h
andle NULL space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
S
ven
Ver
d
oolaege
be
r
nst
e
in_co
e
fficients_
c
ell: handle NUL
L
poly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdoolaege
i
s
l_printer_to_str
:
int
i
alize buffer to em
p
ty string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven V
e
rdoolae
g
e
isl_map_inse
r
t: pr
o
perly
ha
n
dle
named o
r
ne
s
ted
s
p
aces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven
Verdool
a
ege
isl_se
t
_fla
t
_
pr
o
duc
t
:
call isl_
m
ap_ra
n
g
e
_
flat_p
r
odu
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
Sv
e
n
Verdoolaege
add some isl_map_
p
lain_is_fixed tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
Sven Verdoolaege
isl_ba
s
ic_map_ne
g
:
g
a
uss result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next