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_pw_*_opt: use correct space in case of empty input
2011-09-07
Sven
V
e
rdool
a
ege
ad
d
isl_set_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
ma
k
e is
l
_pw_* object live in a
m
ap space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ve
r
doolaege
add isl_spa
c
e
_
extend_doma
i
n_with_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaeg
e
add isl_sp
a
ce_is_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
add isl_local_space_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
dd is
l
_
l
ocal_sp
a
ce_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolaege
implement i
s
l_
c
onstraint on top of
i
s
l
_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
add is
l
_
v
e
c_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
isl
_
a
ff
.
c: extract i
s
l_local_spac
e
_
g
et
_
active
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
g
e
i
s
l
_outpu
t
.
c: d
r
op redun
d
ant "set
"
arg
u
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdool
a
ege
isl_
u
n
i
on_*_alloc:
project s
p
ace onto p
a
rameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoo
l
aege
explicitly
di
f
fe
r
entiate bet
w
een sp
a
ces o
f
maps, se
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
allow isl_
i
ds with negative
r
eference coun
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
proper imple
m
en
t
ation of is
l
_union_map_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_map_
f
rom_domain_and
_
ra
n
ge: drop explicit convers
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdo
o
laege
isl_s
e
t_apply_pw_qpolynomial_fo
l
d: drop explicit conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_tab_basic_set_non_trivial
_
l
e
xmin: drop explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
i
sl_tab_pip
.
c
: fix whitesp
a
ce issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_set_read_from_*: co
e
r
c
e set-like ma
p
s int
o
sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
isl_i
n
put
.
c: map_read_polylib: con
v
ert set
-
like
map
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl_input
.
c:
o
bj_r
e
ad: start off
f
rom parameter space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_input
.
c: represent nested
t
u
p
l
e
as isl_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
V
erdoolaege
is
l
_input
.
c: ob
j
_read_p
o
ly_or_fo
l
d: represent doma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_bas
i
c_set_mul
t
ipli
c
a
tive_call
:
ex
p
lic
i
tly pr
o
ject
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
isl_pw_q
p
o
ly
n
omial_fold_b
o
u
n
d: explici
t
ly project o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
isl_qp
o
lynomia
l
_bound_on_domain_be
r
nstein: explicitl
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdool
a
ege
isl_qpolynomial_bound_on_
d
om
a
in_range: explicitly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
isl_u
n
ion_
m
a
p
_from_map: exp
l
icitly pr
o
ject on para
m
et
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_un
i
on_
m
ap
_
alig
n
_
p
arams
:
explicitly project
on parame
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdool
a
ege
i
sl
_
polynomi
a
l
.
c: constant_on_do
m
ain: ex
p
li
c
itly proje
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
b
a
si
c
_set_di
m
_max: ex
p
licitly project on p
a
rameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl
_
basic_set
_
compute_
v
ertices: e
x
plicitly turn
chambers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
o
l
aeg
e
bound
.
c: explicitly con
v
ert co
n
tex
t
i
nto p
a
rameter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
a
e
ge
pip
.
c: explicitl
y
convert context int
o
parameter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
a
d
d
i
s
l_p
w
_qpolynomi
a
l_fold_projec
t
_
d
omain_on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
add i
s
l_qpolynomial_pr
o
ject_domain_on_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
V
e
rdo
o
laege
add isl_pw_qpolynomial_project_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolae
g
e
a
dd isl_morph_
{
dom,ra
n
}_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
eg
e
add isl
_
bas
i
c_set_para
m
s and isl_set_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
add isl_space_par
a
ms_al
l
o
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl_stream_
r
ead_s
e
t: accept pa
r
amet
e
r do
m
ains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl
_
pw_qpolynomial_
f
old_bound: simplify con
s
truc
t
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
r
doolaege
isl_test
.
c
: properly cr
e
a
te set space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rd
o
olaeg
e
isl_map_range_ma
p
:
f
ix space manipulation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
isl_map_range: construct correct space for result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
ola
e
g
e
isl_basic_
s
et_alloc: creat
e
b
a
s
ic
s
e
t in proper set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
V
erdoolaege
isl_s
p
a
ce
_
wrap: prope
r
ly create set space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdool
a
eg
e
add isl_set_from_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
rename PW_a
l
loc_ to PW_alloc_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_
p
w
_*_ad
d
_disjoint: tr
y
and
e
x
tend one of the pws
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_space_m
a
tch:
optimize
t
rivial
c
ases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdoolaege
add
i
sl_map_flat_domain_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l_
a
ccess_info_compu
t
e_flow: a
l
i
gn p
a
rameters of input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
align
parameters of
arguments to i
s
l_map
_
{lexm
i
n,lexmax}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
i
s
l_space
_
ali
g
n_params: accept general isl
_
spac
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_space_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
rena
m
e
isl_dim to
i
sl_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven
Verdoolaege
d
oc
u
ment isl_dim_move
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoola
e
g
e
split off
d
e
clarations
f
r
om
i
sl_p
o
lynomial
.
h
t
o separa
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven V
e
rdoolaege
merge isl_*_dump functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
S
v
en
V
erdoolaege
add isl_set_dim_
m
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verd
o
olaege
add
isl_basi
c
_
set_f
o
reach_l
e
xopt
commit
|
commitdiff
|
tree
2011-09-01
Sven Ver
d
oola
e
g
e
a
dd is
l
_pw
_
a
f
f_union_opt
commit
|
commitdiff
|
tree
2011-09-01
Sven V
e
r
d
oolaege
add isl_pw_aff_union_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoola
e
ge
add isl_aff_le_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
S
ve
n
Ver
d
oolaege
isl_qpolynomial_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
S
v
en Verdool
a
ege
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolaeg
e
isl_qp
o
l
ynomial_
r
a
t
_
c
s
t: ha
n
dle NULL s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
Sven V
e
rdoo
l
aege
ber
n
stein_coeffic
i
e
n
ts_cell: handle NULL poly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
S
ven
V
erdoolaege
isl_
p
rint
e
r
_
to_st
r
:
int
i
alize buffer to empty string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven
V
erd
o
ola
e
g
e
isl_map_insert: pro
p
erly
h
an
d
l
e
named or ne
s
te
d
s
p
aces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven V
e
rdo
o
l
aege
isl_set_fl
a
t_product: call
i
sl_
m
ap_range_fl
a
t_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
S
v
e
n Verdoo
l
aege
add so
m
e isl_
m
a
p
_plain_is_fixed
t
e
s
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
Sven
Verdoolaege
i
s
l
_basic
_
map_neg: gauss result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdo
o
lae
g
e
isl_dim_get_tuple_id: complain if tuple
h
as no id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ve
r
do
o
l
a
ege
isl_dim_
g
et_dim_id: complain if dim has no id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
erd
o
olaege
a
dd isl_*_ha
s
_tu
p
le_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verd
o
olaege
add
i
sl_*_ha
s
_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ver
d
oo
l
aege
d
oc: w
a
rn
a
b
o
ut the li
m
i
t
e
d u
s
e of iden
t
ifiers
o
f in
d
ividual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoo
l
aege
do
c
ument is
l
_map
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven
V
erdoolaege
rename isl_m
a
p_insert
to
i
sl_set_insert_dims and add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sv
e
n
V
erdoola
e
ge
M
erge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdo
o
laege
isl_dim_eq
u
al: han
d
le NULL
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven V
e
rdoolae
g
e
isl_dim_t
u
ple_m
a
tch: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
Sv
e
n Verd
o
olaege
isl_map_is_
s
ubset: a
map cannot be as subset of
a
map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-06
Sven V
e
rdoolaeg
e
d
o
cument isl_map_plain_is
_
fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoo
l
aege
Me
r
ge branch
'maint'
commit
|
commitdiff
|
tree
2011-08-05
Sven
V
erdoolaege
isl_set_produ
c
t: call isl_map_range_produc
t
i
n
s
tead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sve
n
V
erdoolaege
is
l
_b
a
sic_map_remov
e
_dims
:
properly han
d
l
e
na
m
ed or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
S
v
e
n Ver
d
oolae
g
e
i
sl_ba
s
i
c_map_drop: properly handl
e
nes
t
ed
spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sv
e
n Verdoolaege
isl
_
acce
s
s_info_compu
t
e_flow: p
l
u
g memory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sebastian Pop
do
c
:
remove "struct"
in front of isl_*
types
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sven Verdoolaege
do
c
:
update
p
rot
o
type
of i
s
l_constraint
_
f
ree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sven Verdoolaeg
e
isl
_
ba
s
ic_map_
r
emove_d
i
vs:
handle NUL
L
inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
S
ven Verdoolaege
i
sl_schedule
.
c
: ha
n
d
l
e basic maps individu
a
l
l
y
i
n setup
_
carry_lp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdoolaege
add isl_set_reset_tuple_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
S
v
e
n
Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdoolaege
isl_dim
_
rang
e
_prod
u
ct: dimension names
of domains don
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sven
V
erdoolae
g
e
isl_aff
.
c: fi
x
up cop
y
right
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Se
b
astian
P
op
doc:
f
ix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next