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_pw_*_plain_is_equal
2011-09-18
Sven
Verdool
a
ege
add isl_pw_*_plain_is_equa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
erdoolaeg
e
add isl_
s
et_plain_
c
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en Verdoolaege
a
dd isl_map_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
isl
_
str
e
am_
n
ex
t
_
t
ok
e
n: treat "-0" as two to
k
ens '-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
r
d
o
o
l
a
ege
d
r
op "np
a
ra
m
"
a
r
gument from
i
sl_{se
t
,
m
a
p
}_read_fr
o
m_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verd
o
ol
a
e
g
e
doc: document
*_move
_
d
ims
f
u
n
ctio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verd
o
olaege
d
ro
p
isl_div abstract
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
isl_{in,}equality_alloc: take isl_lo
c
al_s
p
ace
i
ntead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
e
rd
o
olaege
d
o
c
:
u
pdate e
x
a
mp
l
e
c
ode to cha
n
ge in retu
r
n
t
yp
e
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolae
g
e
M
erge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-09-09
S
ven Verdoolaege
pro
v
ide fu
l
l proto
t
yp
e
s for
s
o
m
e
f
u
nctions with
no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Ve
r
d
ool
a
ege
do
c
: fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
add isl_s
e
t_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoola
e
ge
make
i
s
l_pw_* object live in
a
m
ap space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_space_extend
_
doma
i
n_with_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
ad
d
isl_space_is_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdoolaege
add is
l
_local_space_
i
s_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add
i
s
l
_
l
ocal_space_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
implement isl_constrain
t
on t
o
p
of isl
_
vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
add isl_vec_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
doolaege
isl_aff
.
c
:
extract isl_local_space_get_a
c
ti
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdool
a
ege
i
s
l_
o
u
tput
.
c
: drop
re
d
undant "set" argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ver
d
oolaeg
e
isl_union_*_alloc:
p
rojec
t
space o
n
to parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n V
e
r
d
oolaege
explicitly
different
i
a
t
e
b
et
w
e
e
n spaces of maps, sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erd
o
olaege
allow isl_
i
ds with negative reference
c
ou
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdool
a
ege
pro
p
er implementation of isl_un
i
on_map_f
r
om_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl_map_from_dom
a
in
_
and_ran
g
e: d
r
op e
x
p
l
i
c
it
c
onversion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdo
o
laege
isl_set_app
l
y_pw_qpolynomial_fold
:
drop explicit conversion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_tab_basic_
s
e
t
_non_trivial_
l
e
x
min: drop explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_t
a
b_pip
.
c:
f
i
x whitespace issu
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
i
sl_
s
et_read_fro
m
_*:
c
oerce s
e
t
-
like maps
i
nto s
e
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
sl
_
input
.
c: map_r
e
ad
_
p
o
lylib: convert set-like
m
ap
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ve
r
doolaege
isl
_
in
p
u
t
.
c: obj
_
read: s
t
art
o
ff fr
o
m
paramet
e
r space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
is
l
_input
.
c: represent nested tuple as isl_s
e
t
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_poly_or_f
o
ld: represent domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_basic_se
t
_mult
i
plicative_call: explicitly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
isl_pw_qpol
y
nomial_fol
d
_bound: explici
t
l
y
p
r
o
ject on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdool
a
ege
isl_qp
o
lynomial_
b
ound_on_d
o
main_bernstein: ex
p
licitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
isl_qpol
y
nomial_bound_
o
n_domain_range:
e
x
p
l
ici
t
ly pro
j
e
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_union_map_f
r
om_map: exp
l
icitl
y
pro
j
ect on parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoola
e
ge
isl_u
n
ion_map_align_p
a
rams: explicit
l
y projec
t
on parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
isl_pol
y
n
o
mial
.
c
:
co
n
stant_on_domain:
explicitly p
r
oject
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
ba
s
ic_set_dim_max: explicitly
proje
c
t on parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_basic_set
_
compute_v
e
rtices: explicitl
y
turn cha
m
b
e
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verd
o
olae
g
e
bound
.
c:
e
x
p
lic
i
tly convert context into
parameter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
pip
.
c: expli
c
i
tly convert c
o
n
t
ext into
p
arameter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
add isl_pw
_
qpolynom
i
al_fold_project_domain_on_
p
ara
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add i
s
l_qpolynomia
l
_p
r
o
ject_do
m
a
i
n_o
n
_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
add i
s
l
_
p
w
_qpolynomial_pr
o
je
c
t_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
add isl_mo
r
ph_{do
m
,ran}_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ver
d
oolaege
add is
l
_bas
i
c
_set_par
a
m
s
an
d
isl_set_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_space
_
params_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdo
o
l
a
ege
i
s
l_stream
_
r
e
ad_s
e
t
: ac
c
ept parameter doma
i
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_pw_qpoly
n
omia
l
_fold_b
o
und: simplify
constructio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoola
e
ge
isl_test
.
c
: properly c
r
e
a
t
e set space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_map_range_map:
fi
x
space m
a
nipulation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_map_range: con
s
truct cor
r
ect space for result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_basic_set_alloc: create
b
a
sic
s
et
i
n proper set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
ol
a
ege
isl_
s
pa
c
e_wrap: properly c
r
eate set space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n V
e
rdoolaege
add i
s
l_set
_
f
r
o
m
_pw_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdool
a
e
g
e
r
enam
e
PW_alloc_ to
P
W_alloc
_
s
ize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
ol
a
e
g
e
isl_pw_*_add_dis
j
oint: try and
e
xten
d
one of the pws
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl_s
p
ac
e
_
m
a
tch
:
optimiz
e
trivial cases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Ver
d
oolaege
ad
d
isl_map_flat_domai
n
_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdo
o
laeg
e
isl_access_in
f
o_compu
t
e_flo
w
: align
p
a
r
ameters of input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
alig
n
parameters of
arguments to isl_map_
{
lexmin,lex
m
a
x}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
i
sl_space_align_params:
accept
g
ene
r
al
i
s
l_spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ver
d
oolaege
add i
s
l
_space
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
ren
a
me isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven V
e
rdoolaege
document isl_d
i
m_move
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
ven Verdoolaege
split off decl
a
rati
o
ns from isl_polyn
o
m
ial
.
h
t
o
separat
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdo
o
laege
merg
e
isl_*_du
m
p f
u
nctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
add is
l
_set_dim_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
add isl_
b
as
i
c_set_for
e
ach_le
x
opt
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n Verdoolaege
a
d
d isl_pw_aff_union_opt
commit
|
commitdiff
|
tree
2011-09-01
Sven
V
erdoolaege
a
dd i
s
l_pw_aff_union_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
add i
s
l
_aff_le_bas
i
c_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Ver
d
oolaege
isl_qpolynom
i
al_fre
e
: r
e
turn
NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
S
ven Verdoo
l
ae
g
e
Merge br
a
nch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolaege
isl_qpolynomial_rat_cst:
han
d
le NULL space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven Verd
o
o
laege
b
ernstei
n
_coefficients_cell: handle NULL poly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Ve
r
doolaege
isl_printer_to_str: intialize buffer to empty string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sve
n
Verd
o
o
laege
isl_
m
a
p_inser
t
: properly
handle named o
r
nested spa
c
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdoolaege
i
s
l
_set_flat_product: call
i
sl_
m
ap_ra
n
g
e
_
f
lat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sven Verdoo
l
aege
add some isl_map_plain_is_fixed tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sven
V
e
r
doola
e
ge
isl
_
ba
s
ic_m
a
p_neg: gau
s
s result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
i
sl_
d
im_get_tuple_id
:
co
m
plain if tuple has n
o
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
Verdo
o
laege
isl_dim_get_dim_id: complain if dim has
no i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
ven V
e
r
doolaege
add isl_*_has
_
tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaeg
e
a
d
d isl_*_has_dim
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdool
a
ege
doc: warn a
b
o
ut the li
m
i
t
ed
u
se of ident
i
f
iers of i
n
d
i
v
i
dual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven
V
erd
o
olaege
docu
m
ent isl_m
a
p_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoola
e
ge
re
n
ame isl_ma
p
_insert to isl_set_inse
r
t_dims and a
d
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sv
e
n
Verdoolaege
Me
r
ge branch 'ma
i
nt
'
commit
|
commitdiff
|
tree
2011-08-11
S
v
en Verdoola
e
ge
isl_dim_equal: handle NULL
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Ver
d
oolae
g
e
isl_dim_tu
p
l
e_match: ha
n
dl
e
NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
S
ven Verdoola
e
ge
isl_ma
p
_is
_
subset: a map
c
a
nnot be as
s
u
bset o
f
a map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-06
Sven Verdoolaege
document isl_map_plain_is_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sv
e
n Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-08-05
Sven Ve
r
doolaege
i
s
l
_
set_pr
o
duct: call isl_
m
a
p_range_product instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next