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_compute_vertices: fix handling of lower-dimensional input
2011-10-02
S
v
en
V
e
r
doolaege
ad
d
isl_pw_*_get_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
add
isl
_
pw_*_get_dim_n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw
_
*_has_tup
l
e
_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
rdoolaege
add isl_pw_*_set_dim
_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en V
e
r
do
o
laege
add isl_pw_*_get_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaege
add is
l
_
p
w_*
_
get_tup
l
e_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
ad
d
isl_basic_map_
f
r
om_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaege
a
d
d
isl_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
isl_pw
_
templ
.
c:
rename alig
n
_par
a
m
s
_pw_pw_and to in
c
lude PW
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
ola
e
ge
a
d
d
isl_map_dim_m
a
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
ool
a
ege
pri
v
ately export is
l
_b
a
sic_map_foreach
_
lexo
p
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add i
s
l
_
basic_
m
ap_e
l
iminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
add isl
_
ba
s
ic_map_h
a
s_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
d
oolaege
M
erge
branc
h
'
m
ain
t
'
commit
|
commitdiff
|
tree
2011-10-01
Sve
n
V
e
r
d
o
ola
e
ge
i
sl_basic_ma
p
_el
i
m
i
n
a
t
e
_
v
ars: gaus
s
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verd
o
olaege
add isl_af
f
_
se
t
_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
v
e
n
Verdoolaeg
e
a
dd
i
s
l_local_space
_
set_dim_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven
Verdoolaege
add isl_map_f
i
nd_di
m
_b
y
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sve
n
V
erdoolaege
a
dd i
s
l_spac
e
_find
_
di
m
_b
y
_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sve
n
V
er
d
oolaege
export
i
sl_pw_a
f
f_int
e
r
sec
t
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verd
o
ol
a
e
g
e
export
i
sl_pw_aff_plai
n
_
i
s_eq
u
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
add gener
i
c
isl_pw_*_set_tuple_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Ve
r
doolaege
isl_s
e
t_i
n
tersec
t
: pro
p
erly h
a
nd
l
e intersection with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
Sven Ve
r
d
o
olaege
i
s
l
_access_info_compute_flow: align param
e
t
e
rs of input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaege
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-09-23
Sv
e
n Ve
r
d
o
o
laege
fix
i
sl_
s
et
_
involves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoo
l
aege
add isl_set_plain
_
is_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven
V
erdoo
l
aege
add i
s
l_set_fr
o
m_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n V
e
r
doolaeg
e
add
i
s
l_s
p
a
c
e_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Ve
r
d
oolaege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
oolaege
isl_q
p
olyno
m
ial_morph: properly handle denominators
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven V
e
rdoo
l
aege
a
dd isl_ma
t
_diag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
ol
a
ege
isl_tab_
p
ip
.
c: sol_f
o
r_ad
d
: correctly s
e
t denominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdool
a
ege
isl_tab_pip
.
c: sol
_
map_add: fix double free
o
n error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ve
r
d
o
olaege
i
s
l_stream: accep
t
"
==" to
k
e
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
ven Verdoo
l
aege
add i
s
l_unio
n
_pw_*_plain
_
is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
add isl_pw_*_plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
ven Verdool
a
e
g
e
add is
l
_se
t
_plain_cm
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
a
d
d isl_map_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Verdo
o
lae
g
e
isl_str
e
am_nex
t
_token: trea
t
"-0" as tw
o
tok
e
ns '-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
drop "nparam"
a
rgument
f
rom isl_{set,map}
_
read
_
from_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
Sve
n
Verdoolaege
doc:
d
o
c
ument
*
_move_dims functi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
ool
a
ege
dro
p
isl_
d
iv abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdo
o
l
a
ege
i
sl_{in,}
e
qua
l
ity_alloc:
take isl_local_spac
e
intead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n Verdoolaege
d
o
c
:
up
d
ate example cod
e
to chan
g
e
i
n
return type of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven
V
e
rdoolaege
M
e
rge bran
c
h 'mai
n
t'
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdool
a
eg
e
pr
o
vid
e
full p
r
ototypes f
o
r some fun
c
tions wi
t
h
no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sv
e
n
V
erdoolaege
ad
d
isl_set_g
i
s
t_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoolaege
make
i
s
l_pw_
*
object live in a map spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
erdoolaege
add
isl_space_extend_do
m
ain_with_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verd
o
olaege
add
i
s
l_spa
c
e_i
s
_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_local_space_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
a
dd isl_local_space_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
Verdoola
e
ge
implement isl_const
r
a
int
on top of isl_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
add isl_vec_ne
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
is
l
_aff
.
c: extract isl_
l
ocal_sp
a
ce_get_act
i
ve
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
i
s
l_output
.
c: drop redu
n
dant "set" argum
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl
_
union_*_alloc
:
project spac
e
onto para
m
eters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
explicitly d
i
fferentiate betwee
n
spaces of maps,
sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolaege
allow isl_id
s
with negative
r
efer
e
n
c
e co
u
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aeg
e
proper implementation
of
i
s
l_union_map_
f
r
o
m_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_map_fr
o
m_dom
a
in_and_
r
ange: d
r
o
p
e
x
plic
i
t conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdo
o
lae
g
e
isl_
s
e
t_apply
_
pw_q
p
o
l
ynomial_f
o
l
d
:
drop explicit conve
r
s
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
a
e
ge
isl_tab_ba
s
ic
_
set_non_trivial
_
l
exmin: drop
explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_tab_pip
.
c: fix
whitesp
a
ce issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoola
e
g
e
isl_set_read_from_*: coerce
s
et-like ma
p
s into
s
et
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
i
s
l
_input
.
c: m
a
p_read_
p
olylib: convert se
t
-like map
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l_input
.
c:
o
bj_
r
ead: s
t
art
o
ff from p
a
rameter
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
V
e
rdoolaege
isl
_
inpu
t
.
c: r
e
pres
e
nt nested tuple as
i
sl
_
se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l_input
.
c:
o
b
j
_rea
d
_
poly_or_fold: represen
t
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
i
sl_bas
i
c_set_multipl
i
cative_call: explicitly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
i
s
l_
p
w_qpol
y
nomia
l
_f
o
ld
_
bound: e
x
plicitly projec
t
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl_q
p
olynomial_bound_on_domain_ber
n
stein: explicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rd
o
olaege
isl
_
qpol
y
no
m
ia
l
_boun
d
_
on_domain_range: expl
i
citly
p
roject
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_union_m
a
p_from_
m
ap: explicitly project on para
m
eter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l_union_
m
ap_align
_
params:
e
xp
l
icitly project on par
a
meter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_p
o
lyno
m
ia
l
.
c: constant_
o
n_domain:
explicitly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
basic_set
_
dim_max: expli
c
i
tly project on parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_basic_set_compute_vertices: ex
p
licitly tur
n
chambers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
b
o
u
nd
.
c: explicitly convert contex
t
into paramet
e
r set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
r
d
oolaege
pip
.
c: e
x
pl
i
c
i
tly convert context
i
nto pa
r
ameter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdool
a
e
g
e
add isl_pw_qpolynomial_fold_
p
r
oj
e
ct_doma
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_q
p
o
lyno
m
i
a
l_pr
o
ject_domain_on_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolaege
add isl_pw_qpo
l
yn
o
m
i
a
l
_pro
j
ect_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
a
d
d
isl
_
morph_{dom,ran
}
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
add i
s
l_basic_set_params and
isl_set_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
add i
s
l_s
p
ace_p
a
ram
s
_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
sl
_
stream_read_set: accept
parameter domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_p
w
_q
p
olynomial_
f
old_b
o
und: simplify c
o
nstruction
.
.
.
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
Sven Verdool
a
e
g
e
i
s
l_map_range_map:
fix space manipulation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_map_r
a
nge: construct correct s
p
ace for result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_basic_set_a
l
loc: create b
a
si
c
set
i
n proper set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
is
l
_space
_
wrap: p
r
operl
y
cre
a
te set space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add is
l
_set_
f
rom_p
w
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaeg
e
renam
e
P
W
_
alloc_ to
P
W
_alloc_s
i
ze
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdoolaege
i
s
l_pw_*_add_disjo
i
nt:
t
ry and ex
t
end
one
of the
pws
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_space_match: optimize trivial cases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add i
s
l
_
map_fl
a
t_domain_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next