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_multi_aff_gist_params
2011-09-15
Sve
n
Verdoolaege
add isl_map_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
is
l
_
stream_next_token: treat "-0" as tw
o
tokens '-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
v
e
n
Verdoolaege
drop "nparam" argumen
t
from isl_{s
e
t,map}_read_from_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verd
o
olaege
doc: docum
e
n
t *_move_dims fun
c
tio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n Ver
d
oolaege
drop
isl_div ab
s
tr
a
c
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
r
d
o
o
laege
isl_{in,}
e
quality_alloc: take isl_local_space in
t
e
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaeg
e
doc: u
p
date example code
to
c
hange
i
n retu
r
n typ
e
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven
Verdoolaege
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sven Ve
r
doola
e
g
e
p
r
ovide full
p
rototypes for some f
u
nc
t
ions wi
t
h no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven
V
erdoolaege
doc: fi
x
typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdool
a
ege
add isl_set_gist_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdool
a
eg
e
make isl_pw
_
*
object live in a map s
p
a
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
add is
l
_
s
pace_extend_
d
omain_with_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_spac
e
_i
s
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
o
lae
g
e
add
i
sl_local_spa
c
e_is_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add
isl_
l
o
c
a
l_s
p
ace_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
implement i
s
l_c
o
nstraint on top of
isl_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add
i
sl_vec_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ve
r
d
oolaege
isl_aff
.
c: extra
c
t isl_local_sp
a
ce_get_
a
ctive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
oolaeg
e
i
s
l_output
.
c: drop
redun
d
ant "set" argu
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl_union_*_
a
l
l
oc: project space onto par
a
meters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaeg
e
explicitly di
f
f
eren
t
iate
b
e
tween s
p
aces of maps,
sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
allow isl_ids with neg
a
tive reference
counts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
prop
e
r implem
e
n
t
ation of
i
sl_union_m
a
p
_
f
rom_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
isl_map_from_domai
n
_
and_range: drop explicit co
n
ve
r
s
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_set_appl
y
_pw_qpolynom
i
a
l
_fold: dr
o
p
e
xplicit c
o
nversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolae
g
e
isl
_
t
ab_b
a
sic_set
_
non
_
trivial_lexmin:
d
r
op explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rdoolaege
isl_ta
b
_pip
.
c: fix whitespace i
s
sue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_set
_
r
e
ad_from_*: coerce set-
l
ike ma
p
s into
s
e
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl
_
input
.
c: map_read_polylib: co
n
vert set-like maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
isl_input
.
c: o
b
j_read: start off from paramet
e
r space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaeg
e
isl_
i
n
put
.
c: repre
s
ent nes
t
ed tuple as i
s
l_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_input
.
c: obj_read_pol
y
_or_fol
d
: represent
d
omai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
g
e
isl_basic
_
set_m
u
ltiplicative
_
call: explicitly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl
_
pw_
q
p
o
l
y
nomial_fold_bound: expli
c
itly
p
r
o
j
ect on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_
q
polynomial_bound_
o
n
_
domain
_
b
e
r
n
s
t
ein:
e
x
p
licitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
is
l
_qpo
l
ynomial_bound_on
_
domain_range: expl
i
citly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdool
a
ege
isl_union_map_from_map: ex
p
licitly
p
roject on
para
m
eter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ve
r
doolaege
isl_union
_
map_align
_
params: explicitl
y
p
r
oject on parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_polynomi
a
l
.
c:
constant_on_domain: e
x
pl
i
citly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
b
a
sic_set_dim_max: explici
t
ly pr
o
ject on parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_bas
i
c_set_comput
e
_vertic
e
s
: explicitly
turn chamb
e
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolae
g
e
bound
.
c:
e
xplicitly conv
e
rt
context
into param
e
t
er se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
Verd
o
olaege
pi
p
.
c:
explic
i
t
l
y
c
onvert
c
onte
x
t
into para
m
eter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl
_
pw_qpolynom
i
al_fo
l
d
_
proje
c
t_domain_on_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdool
a
ege
add isl
_
qpolynomial_project_d
o
main_on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
add isl_pw_qpoly
n
omial_project_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
add
i
sl_morp
h
_{d
o
m,ran}_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
add isl_
b
asic_set_params and
isl_set
_
params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdoolaege
add
i
sl_space_params
_
alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_stream
_
read_set
:
accept par
a
meter domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_pw_qp
o
l
ynomial
_
fold_
b
ound: sim
p
l
ify con
s
truction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_test
.
c: properly create set space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolaege
isl_ma
p
_range_map: f
i
x spac
e
m
a
nipulat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_map_range: construct cor
r
ect space for result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
i
sl_
b
a
sic_
s
et_alloc: create basi
c
set in
prop
e
r set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdo
o
l
a
eg
e
isl
_
space
_
wrap: pr
o
p
e
rl
y
create s
e
t spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
ad
d
i
s
l_set
_
from_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
r
en
a
me PW
_
al
l
o
c_ to P
W
_
alloc_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verd
o
o
l
a
e
g
e
is
l
_pw_*_add_disj
o
int:
try and exte
n
d one
o
f
th
e
p
w
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolaege
isl_
s
pace_match: optimize trivi
a
l
cases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verd
o
olaeg
e
add isl
_
m
a
p_flat_domain_pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
i
sl_access_info_c
o
mpute_flow:
a
l
ign pa
r
a
m
eters of i
n
put
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
ali
g
n parameters of arguments to isl
_
map
_
{lexmin,lexm
a
x}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
i
s
l
_
s
pace_align
_
p
a
rams:
acce
p
t ge
n
eral
i
s
l_spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
add isl_space_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolae
g
e
renam
e
is
l
_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
S
v
en Verdoolaege
docum
e
nt isl
_
dim_move
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
S
v
en
V
erdo
o
l
aege
s
p
lit off de
c
larat
i
ons
f
rom
isl_poly
n
omial
.
h to sep
a
rate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven
V
erdoolaege
merge isl_*_dump functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
a
d
d
i
sl_set_di
m
_
m
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
a
d
d isl_b
a
sic
_
set
_
foreach_lexopt
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
Verdoolae
g
e
add i
s
l_p
w
_aff_union_opt
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdo
o
laege
add isl_pw_a
f
f_u
n
ion_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
add i
s
l
_af
f
_le_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven
Ve
r
do
o
l
a
ege
isl_qpolynom
i
a
l
_free: return N
U
LL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
S
v
en Ve
r
doolaeg
e
M
e
r
g
e
branch 'main
t
'
commit
|
commitdiff
|
tree
2011-08-31
Sven Ver
d
oolaege
isl_q
p
o
lyn
o
mial_
r
at_cst: handle NUL
L
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
Sv
e
n Verdoo
l
aege
bernstein_coefficients_ce
l
l: handle N
U
LL poly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdoolaeg
e
isl_p
r
in
t
er_to_str: intial
i
ze bu
f
fer to
e
mpty str
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven Ve
r
d
o
olaege
i
sl_m
a
p_inse
r
t: properly handle
named or nested
s
paces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven V
e
rdoolaege
isl_set_
f
l
a
t_product: call isl_map_range_
f
lat_p
r
oduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
Sven Verdoo
l
aege
add some isl_map_pla
i
n_is_f
i
x
ed
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
Sv
e
n Ve
r
doolaege
isl_basic_map_neg: g
a
u
s
s result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
v
en Verdoolaege
isl_dim_get_t
u
p
l
e
_id: c
o
mp
l
ain if tuple
h
as
n
o id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ve
r
doolaege
isl
_
dim_get_dim_id: complain if dim has
no id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
ven Verdoolaege
ad
d
i
s
l_*_has_tuple
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
add
isl_*_has_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n
V
e
rd
o
o
l
a
e
g
e
doc:
w
arn abou
t
t
h
e limited use
of identifiers of individual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
e
n
Verdoolaege
document isl_map_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Ver
d
oolaege
re
n
ame
isl_map_
i
nsert to isl_set_
i
nsert
_
d
i
ms an
d
add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-08-11
S
ven
Verdoolaege
isl_dim_equa
l
:
h
andle
N
ULL i
n
pu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Ve
r
d
oolaege
isl_dim_tup
l
e_match
:
h
andle N
U
LL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
Sven Verdoolaege
isl_map_is_subset: a map cannot
be as sub
s
et o
f
a map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-06
Sven V
e
rdoo
l
aege
d
o
cument i
s
l
_
map_
p
la
i
n_is_fi
x
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sven Ver
d
o
o
l
aege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-08-05
Sve
n
Ve
r
do
o
laege
isl_s
e
t_product: cal
l
isl_
m
ap_ran
g
e_p
r
oduct instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sve
n
Verdoo
l
aege
isl_basic_map_r
e
move_dims: pro
p
erly han
d
le name
d
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaege
isl_basic_map_drop:
p
r
operly
h
andl
e
n
e
s
ted spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next