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-03
Sven
Verdoolaege
add isl_
s
pace_is_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ver
d
ool
a
ege
add is
l
_l
o
cal_
s
p
ace_
i
s_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ve
r
d
oolaege
add isl_lo
c
al_s
p
ac
e
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoo
l
aege
implement
isl_cons
t
rain
t
on t
o
p of isl_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
do
o
l
aege
add isl_vec_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_aff
.
c:
e
x
tract isl
_
local_
s
pac
e
_
g
et_acti
v
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_output
.
c
: drop redu
n
dant "set"
a
r
g
u
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdool
a
e
g
e
i
s
l_un
i
on
_
*
_allo
c
: project space onto para
m
eters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoo
l
aege
exp
l
icitl
y
di
f
f
erentiate
b
e
t
ween sp
a
ces of maps, sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
doolaege
a
l
l
o
w isl_ids
w
i
th
negative reference coun
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
proper implement
a
tion of isl_unio
n
_map_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l_
m
a
p_from_do
m
ain_and_range: drop explic
i
t conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_se
t
_apply_pw_
q
pol
y
n
omial_fold: drop explicit con
v
ersion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdo
o
laege
i
sl_t
a
b
_bas
i
c
_
set_non_t
r
ivial_lexmin: drop explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl_tab_pip
.
c: fix whitespa
c
e
issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
isl_s
e
t
_
read_from
_
*: coerce set-like maps into
s
ets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaeg
e
isl_input
.
c: ma
p
_read_polyli
b
: convert
s
et-
l
ike maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl
_
input
.
c: obj_read: start off from parameter s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_input
.
c: represent
n
ested tuple as
isl_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_i
n
put
.
c:
o
b
j
_
read
_
poly_o
r
_fold:
r
epresent domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdo
o
l
aeg
e
isl_
b
asic_set
_
multiplicative_call: explicitly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdo
o
l
aeg
e
i
s
l_pw_qpolynomia
l
_fo
l
d_bound:
explicitl
y
project
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Ve
r
doolae
g
e
isl_qpolynomi
a
l_bound_
o
n_domain_bernstein: explici
t
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
o
o
l
aege
isl_
q
polynomial_
b
ound_on_dom
a
i
n
_range: ex
p
l
i
citly projec
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rd
o
olaeg
e
i
s
l_union_map_from_ma
p
: expl
i
citly p
r
ojec
t
on param
e
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
isl_union_map_al
i
gn_params: explic
i
t
ly projec
t
on p
a
r
ameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaeg
e
isl_polynom
i
al
.
c: constant_on_domain: explic
i
tly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
basic_set_dim_max: exp
l
icitly proje
c
t on pa
r
ameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_basic_s
e
t_compute_vert
i
ce
s
: explicitly t
u
rn ch
a
mbers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
bound
.
c: explicitly con
v
ert c
o
ntext into p
a
rameter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
pi
p
.
c:
expl
i
citly convert
c
ontex
t
int
o
p
a
ram
e
ter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_pw_q
p
olynom
i
al_fold
_
pr
o
ject_domain_
o
n_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
add
isl_qpolynomia
l
_project_domain_on_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoola
e
ge
a
dd isl_pw_
q
polynomi
a
l_proje
c
t_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
add
i
sl_morph_{dom,
r
an}
_
pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
o
l
aege
a
d
d isl_b
a
sic_set
_
params and isl_s
e
t_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
d
d
i
sl_space_param
s
_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdo
o
l
a
e
ge
isl
_
stream
_
read_set: accept
para
m
eter dom
a
ins
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_
p
w_qpolynomial_fo
l
d_bound: si
m
plify const
r
uct
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl
_
test
.
c:
p
r
operly c
r
e
a
te set space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_m
a
p_range_map
:
fix spac
e
manipulation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
isl_m
a
p_
r
a
ng
e
:
c
onstruct corr
e
ct s
p
ace fo
r
resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_basic_set_a
l
loc:
create basic set in proper set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
is
l
_space_wrap: properly create set space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
a
dd isl
_
s
et_fro
m
_
p
w_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
r
en
a
me PW_alloc_ to P
W
_
al
l
oc_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
i
s
l_p
w
_*_
a
dd_disjoint: try and extend one of
t
he pws
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
doolaege
isl_
s
p
ace_match: optimize trivial ca
s
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
ad
d
i
s
l_map_fla
t
_
d
o
main_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
ola
e
ge
isl_access_info_compu
t
e_f
l
ow: align
p
arame
t
ers of input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
align paramet
e
rs of arguments to is
l
_
map_{lex
m
in,lexma
x
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
i
s
l
_space_align_params: accept general is
l
_
spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
a
eg
e
ad
d
i
s
l_sp
a
ce_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oo
l
aege
rename isl_
d
im to isl_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdool
a
ege
docum
e
nt isl_dim_move
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n Verdoola
e
ge
split of
f
declaration
s
from isl_polynomi
a
l
.
h to sepa
r
ate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdo
o
laege
merge isl_*_dum
p
funct
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
add isl
_
set
_
d
im_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
Verdool
a
ege
add isl_basic_set_foreach_lexopt
commit
|
commitdiff
|
tree
2011-09-01
S
v
en
V
erdoolae
g
e
add isl_pw_aff_un
i
o
n
_op
t
commit
|
commitdiff
|
tree
2011-09-01
Sven Ve
r
d
oolaege
add i
s
l_pw_aff_uni
o
n_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven
Ve
r
d
oolaege
add
i
sl_aff_le_b
a
sic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
isl_qpo
l
ynomial_free:
return NU
L
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
S
v
en Verdoolae
g
e
Me
r
ge branc
h
'maint'
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolaege
isl_q
p
olynomial_rat_cst: handle NULL space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
Sve
n
Verdoolaege
b
e
rn
s
tein_
c
o
e
fficien
t
s_cell: handle
NULL poly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven Ve
r
doolaege
isl_
p
rinter_to_s
t
r: i
n
tialize buffer to empt
y
stri
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
S
v
en
V
erdoolaege
isl_map_insert
:
properly handle named or nested space
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdo
o
laege
isl_set_flat_product: call isl_map_ran
g
e_f
l
at_pro
d
uc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
S
v
en Verdool
a
ege
add
som
e
i
sl_map_pla
i
n_is
_
fixed tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
S
v
en V
e
rdool
a
e
g
e
i
s
l_basic_
m
ap_
n
eg: gauss r
e
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven
Verdoo
l
aege
is
l
_dim_g
e
t
_
t
u
p
l
e
_id: com
p
lain
i
f
t
uple has
n
o id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
v
e
n V
e
rdoolaege
isl_dim_g
e
t_dim_id: complain if dim ha
s
no id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ve
r
doolaeg
e
add isl_*
_
has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ver
d
oola
e
ge
add
i
s
l
_
*
_h
a
s
_
dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
ven Verd
o
o
l
aeg
e
doc: warn
about the limited
use of identif
i
e
r
s o
f
individual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
en
Verdoolaege
do
c
ument is
l
_
map_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaege
rename
i
sl_map_ins
e
rt t
o
isl_
s
et_in
s
e
r
t_dims and add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven
Verdoolaeg
e
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaege
is
l
_
d
im_equal: handle NULL inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
e
n Verdoolae
g
e
isl_dim_tuple_ma
t
ch: handle
N
ULL inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
Sven
V
erdoola
e
ge
isl_map_is
_
subset
:
a ma
p
ca
n
not be as subset
of a
m
ap
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-06
Sven Verdo
o
l
aege
doc
u
ment isl_map_p
l
ain_is_fix
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
S
v
e
n
V
erdoolaege
Mer
g
e b
r
anch
'
maint'
commit
|
commitdiff
|
tree
2011-08-05
Sven
Verdoolaege
isl_set_product: call isl
_
map
_
range_produ
c
t instea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
S
v
en Ve
r
doolaege
isl
_
ba
s
ic_map_r
e
move_dims: properly handle
n
amed or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaege
isl
_
basic_
m
ap_dro
p
:
p
r
op
e
rly han
d
le nested
s
paces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sven V
e
rdool
a
e
g
e
isl_access_info_compute_flow: plug
m
emory leak
on e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sven Verdoolaege
doc: update protot
y
pe o
f
isl_co
n
straint_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sven Verdoolaege
isl_basic_map_remove_divs: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sven
V
e
r
doolaege
isl_schedu
l
e
.
c
: handle basic maps individually in set
u
p_c
a
rry_lp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sv
e
n Verdoo
l
aege
add i
s
l_set_reset_
t
uple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdo
o
laege
Merge bra
n
ch
'maint'
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdoo
l
aege
isl_
d
im_range
_
product: dimension names of doma
i
ns don
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
S
v
en
V
erdoolaege
isl_aff
.
c: fix
up copyr
i
g
ht
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verd
o
olaege
isl_af
f
_floor:
r
e
duce coefficient
s
of newly created d
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n
V
erdoolae
g
e
add
i
sl_aff_mod and isl_
p
w_aff_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
e
n Verdo
o
laege
add isl_int_mul
_
2
exp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-29
S
v
e
n Verdo
o
laeg
e
export isl_pw
_
aff_foreach_
p
iece
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-29
S
v
en Ver
d
oolaege
a
d
d isl_se
t
_dim_h
a
s_{lower,upper}_boun
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next