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
Merge branch 'maint'
2011-10-02
Sven Verdoola
e
ge
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-10-01
Sv
e
n
Ve
r
doolaeg
e
isl_bas
i
c_map_elim
i
na
t
e
_va
r
s:
g
au
s
s res
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rdo
o
la
e
ge
add isl_aff_set
_
dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
add isl_local_space_set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven
Verdoola
e
ge
add
i
sl_map_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
ven Verdoolaege
add isl_space_find_dim_by_n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
v
en Verdoolaege
export isl_pw_aff
_
i
ntersect_do
m
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
ven Verdoola
e
ge
export
i
sl_pw_aff_pla
i
n_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
d
o
olaege
ad
d
generic isl_pw_*_set_tu
p
le_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolaege
i
s
l
_se
t
_intersect:
p
rop
e
r
l
y
handle intersection with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
S
v
en V
e
rdoolaege
isl_access_info_compute_f
l
ow:
a
lign
p
aramete
r
s of i
n
put
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaege
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-09-23
Sv
e
n
Verdoolaege
f
ix isl_set_i
n
v
o
lves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaeg
e
ad
d
i
s
l_s
e
t_p
l
ain_i
s
_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add isl_set_from_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en
Verdoolaege
a
d
d isl_space
_
set
_
f
r
om_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
Merge bran
c
h
'
maint'
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoolaege
isl_qp
o
lynomial_morph: properly handl
e
denomina
t
o
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verd
o
ol
a
ege
add isl_mat_diag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdoolae
g
e
isl_tab_pip
.
c: sol_for_add: correctly set denominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoola
e
ge
isl
_
tab_pip
.
c: sol_map_add: fix dou
b
le f
r
ee on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ver
d
o
olaege
isl_str
e
am: accept "=="
token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
ve
n
Verdoolaege
add isl_union_pw_*_pla
i
n_is_eq
u
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
ven Verdoolaege
a
dd isl_pw_*_pl
a
in_i
s
_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
add isl_set_pla
i
n_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Verd
o
ol
a
ege
add isl_map_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
isl_stream_ne
x
t_token: tr
e
at "
-
0" as two tok
e
ns '-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
ven Verdool
a
ege
d
rop "npar
a
m" a
r
g
ument from isl_{set,map}
_
read_from_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verdoolae
g
e
doc: do
c
u
m
ent *_move
_
dims f
u
nction
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n Verd
o
ol
a
e
g
e
drop isl
_
div a
b
stracti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdoo
l
aeg
e
i
s
l_{i
n
,}equ
a
lity_alloc: take isl_local
_
space in
t
ead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoo
l
ae
g
e
d
o
c: update example c
o
de to change i
n
re
t
u
rn type
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaege
Merge
b
r
anch 'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdo
o
laege
provide
f
ull prototypes for some functions
with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdo
o
laege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdool
a
ege
add isl_set_g
i
st_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
o
l
aege
make
i
s
l
_
pw
_
* object live in
a
map space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ver
d
oolaege
add isl_s
p
a
c
e_exte
n
d_domain_wi
t
h_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
V
e
r
do
o
l
ae
g
e
a
d
d isl_space_is_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add
isl_local_space_is_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
add is
l
_
l
ocal_space_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
implement isl_constraint on top of is
l
_
ve
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
a
d
d isl_vec_n
e
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erd
o
olae
g
e
isl_aff
.
c: e
x
t
r
act isl_l
o
cal
_
space_get_active
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
o
o
laege
isl
_
outp
u
t
.
c: drop redundant "set" argume
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Verdoolaege
isl_union
_
*_al
l
oc
:
project s
p
ace on
t
o paramete
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ve
r
do
o
l
aege
e
x
p
l
icitly differentiate betw
e
en space
s
of ma
p
s, sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
allo
w
isl_ids w
i
th negative reference counts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doo
l
aege
proper implementation of isl_
u
nion_map_from_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
sl_m
a
p_from
_
domain_and_range: drop explici
t
conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
sl_set_apply_pw_q
p
o
l
y
n
omial_fold: d
r
op ex
p
licit
c
onvers
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolae
g
e
isl_ta
b
_basic_set_non_tri
v
i
al_lex
m
in: drop exp
l
i
cit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oola
e
ge
isl_tab
_
pip
.
c: fix whitespace issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
d
oola
e
ge
isl
_
set_read_from_*: coerce set-like maps into
sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_input
.
c
:
ma
p
_r
e
a
d
_polyl
i
b
:
conve
r
t set-li
k
e maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_input
.
c: obj_read: start off from p
a
rameter space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_input
.
c: represen
t
nested tuple as isl_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_input
.
c: obj_read_po
l
y_or_fold: represent domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdo
o
laege
isl_basic_set_mul
t
iplicative
_
c
a
ll: expl
i
citly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verd
o
olae
g
e
isl_pw_q
p
ol
y
nomial_f
o
ld_bound: explicitly pro
j
ect on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl_qpoly
n
omia
l
_bound_o
n
_d
o
m
a
in_bern
s
t
e
in: explic
i
tly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdo
o
l
a
ege
i
s
l_qpolynomia
l
_bound_on_domain_range: explicitl
y
p
r
o
ject
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ve
r
doolae
g
e
isl
_
u
n
ion_ma
p
_from_map: explicitly
p
r
o
ject on paramete
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_union_ma
p
_a
l
ign_params: ex
p
lic
i
tly projec
t
on param
e
te
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
is
l
_polynomial
.
c:
c
onstant_on_domain: exp
l
icitly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
ba
s
ic
_
set_dim_max
:
explici
t
ly
p
roject on
par
a
meter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
d
o
olaege
isl_basic_s
e
t_compute_vertices: exp
l
i
citly turn
c
hambers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
bound
.
c:
e
x
pli
c
itly convert co
n
text
into paramete
r
s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
pip
.
c:
e
xplici
t
ly con
v
ert con
t
ext into parameter se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ve
r
doolaege
a
d
d
isl_
p
w_qpolynomial_fold
_
project_d
o
ma
i
n_on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
ad
d
isl_qpol
y
nomial
_
p
rojec
t
_d
o
main_
o
n_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verd
o
olaege
add isl_pw_qpoly
n
omial_projec
t
_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add is
l
_morp
h
_{dom
,
ra
n
}_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
doolaege
add isl_basic_set_params
a
nd isl_se
t
_
para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
add
isl_space_p
a
rams_
a
llo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l_stream_r
e
a
d
_
set: acce
p
t
p
aram
e
ter domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oola
e
ge
i
s
l
_p
w
_qpolynom
i
al_fold_bo
u
nd: sim
p
lify constructio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl
_
t
e
st
.
c: pr
o
per
l
y create set
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
sl_map_r
a
nge_map: fix s
p
ace manipulation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ver
d
oolaege
isl_map_r
a
n
g
e: c
o
nstruct
c
orrect
s
pace for result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
i
s
l_basi
c
_set_alloc: create b
a
sic set
in pro
p
e
r s
e
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
erdoolaeg
e
isl_space_wrap: prop
e
rly create
s
et space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
o
olaeg
e
a
dd isl_set_from_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolaege
rename PW_alloc_ to PW
_
al
l
oc_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_pw_*
_
add_dis
j
oi
n
t:
t
ry and
e
xt
e
nd one of
the pw
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ver
d
oolaege
isl_space_match
:
optimize trivial cases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add i
s
l_map_flat_dom
a
in_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
is
l
_a
c
c
ess_i
n
fo_co
m
p
u
te_flow: ali
g
n paramet
e
rs
of in
p
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdoolaege
alig
n
par
a
meters of
arguments to isl_map_{lexmin,lexma
x
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_space_align_par
a
ms: accept general
isl_
s
paces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdool
a
ege
add isl_spac
e
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
rena
m
e isl_dim to
isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verd
o
olaege
document isl_dim_move
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoo
l
aege
split
off declarati
o
ns from isl_polynomial
.
h to sep
a
r
a
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verd
o
o
l
aege
mer
g
e isl_*_dump
f
unctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
Ver
d
oolaeg
e
add
isl_set_dim_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoo
l
aeg
e
add
i
sl_basic_set_foreach_lexopt
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
Verdoolaege
add isl_pw_aff_
u
n
i
o
n_o
p
t
commit
|
commitdiff
|
tree
2011-09-01
Sven
Ver
d
oolaege
add
is
l
_
pw_aff_un
i
on_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
S
v
e
n
Verdoolaege
a
d
d
i
s
l_af
f
_le_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next