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
make isl_pw_* object live in a map space
2011-09-04
Sven Verdoolaege
make isl
_
pw_
*
objec
t
live in a ma
p
spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_s
p
ace_exten
d
_domain_w
i
th_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
ad
d
isl_space_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_local_space
_
is_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
d
d isl_loc
a
l_space_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolae
g
e
implement i
s
l_co
n
straint
on
t
op of isl_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdo
o
l
a
ege
add isl_vec_n
e
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_aff
.
c:
e
x
t
ract isl_local_space_get_activ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_output
.
c: drop r
e
dundant "set" argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_union_*_
a
lloc:
p
roject spa
c
e o
n
to par
a
meters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ve
r
dool
a
eg
e
expli
c
itly
differ
e
ntiate between spac
e
s of
m
a
ps, sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdo
o
laege
allow
isl_ids w
i
th negative ref
e
rence cou
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rd
o
olaege
proper implementatio
n
of isl_union
_
map_f
r
om_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaeg
e
i
s
l
_
map_from_doma
i
n_
a
nd_range: drop exp
l
i
cit conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
i
sl_s
e
t
_apply_pw_qpolynomial_fold: drop explicit conversi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_tab_basic_s
e
t
_
non_tr
i
vial_l
e
xmi
n
: drop exp
l
icit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
i
sl_tab_pip
.
c: fi
x
wh
i
tespa
c
e issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l
_
set_read_
f
rom_*: coerce set-l
i
k
e map
s
i
nto
sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
isl_input
.
c: map_read_p
o
l
y
l
ib: convert set-
l
ike maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_input
.
c: obj_read:
start off
fro
m
pa
r
ameter spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
isl
_
input
.
c: represent
n
e
s
ted tuple as isl_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ve
r
d
oolaege
is
l
_input
.
c: obj_read_po
l
y_or_
f
old: represent domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl
_
b
a
sic_set_multiplicative
_
call:
e
xpl
i
citly proj
e
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
sl_pw
_
qpolynomi
a
l_
f
old_bound: explicit
l
y projec
t
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
isl_qpolynomi
a
l
_bound_o
n
_domain_bernstein:
e
xplicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
erdoolaege
isl_qpolyn
o
mi
a
l_bound_on_domain_range: e
x
plicitly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
o
olaege
isl_union_m
a
p_from_map:
e
xplicitly project on p
a
r
ameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erd
o
olaege
isl_uni
o
n_map_align_params:
exp
l
i
citl
y
p
roject on p
a
rameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_polynomial
.
c: constant_on
_
doma
i
n: explicitly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
basic_s
e
t_dim_max: expl
i
citly pro
j
e
ct on parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_basic_
s
et_
c
omput
e
_ve
r
tices: ex
p
li
c
itly
turn
c
hambe
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
bound
.
c:
e
x
plic
i
tly
con
v
ert
context into parameter
se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolae
g
e
pi
p
.
c: expli
c
itly convert c
o
nt
e
xt i
n
to p
a
r
ameter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
d
d isl_pw_
q
polynomial_f
o
ld_pr
o
j
ect
_
d
o
main_on_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
ad
d
isl_qpolynomial_projec
t
_domain_on_pa
r
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
add isl_pw_qpolynomial_pr
o
ject_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
add i
s
l_mo
r
p
h
_
{do
m
,ran
}
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
add isl_basic_se
t
_params and isl_se
t
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rdoolaege
a
d
d i
s
l_space_
p
arams
_
a
ll
o
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl_stre
a
m_rea
d
_set: accept param
e
ter doma
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
doolaege
isl
_
pw_qpolynomi
a
l_fold_bound: simplify construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_test
.
c
: p
r
op
e
rly c
r
eate set space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
ool
a
e
ge
isl_map_range_m
a
p: fix
s
pace manipul
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_map_ra
n
ge: co
n
struct
c
orrect space f
o
r
resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_
b
asic_set_alloc: create basic set in proper s
e
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
V
e
rdoolaege
isl
_
sp
a
c
e_w
r
ap:
pr
o
perly create set space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
add isl
_
set_fr
o
m
_
pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
re
n
am
e
PW_alloc_ to PW_alloc_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
ool
a
e
g
e
isl_pw_*_add_disjoint: try and extend o
n
e of
t
he pws
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoo
l
aeg
e
isl_space_match: optimiz
e
t
rivial c
a
ses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
o
o
laeg
e
add isl_map_flat_doma
i
n_produc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
i
s
l_access_inf
o
_c
o
mpute_flow: align parame
t
ers of inp
u
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
a
lign parameters of
arg
u
m
ents to isl_map_{lexmin,
l
exmax}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoola
e
ge
isl_space_alig
n
_para
m
s: acce
p
t gene
r
al isl_sp
a
ces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaeg
e
add isl_s
p
ace_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Ver
d
oolaege
r
e
nam
e
i
s
l
_
dim to
i
sl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
S
ven Verdoolaege
docum
e
nt isl_d
i
m_move
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
Verdoolaege
split
o
ff declaratio
n
s
from is
l
_polynomial
.
h
t
o
sepa
r
ate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
mer
g
e isl_*_dump functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
add isl_se
t
_dim_m
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolae
g
e
add isl_basic_s
e
t_foreach_lexopt
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n V
e
rdoolaege
add isl_pw_aff_uni
o
n_opt
commit
|
commitdiff
|
tree
2011-09-01
S
ve
n
Verdool
a
eg
e
a
d
d isl_pw_af
f
_union_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
S
ven Verdoolaege
add
i
sl_a
f
f_l
e
_b
a
sic
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Ve
r
doolaege
isl_
q
polyno
m
ial_free: r
e
tur
n
NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
Sven
Verdoolaege
Mer
g
e branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolaege
i
sl_qpolynomial_r
a
t_cst
:
handle N
U
LL sp
a
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
Sven Ver
d
oo
l
aege
b
e
r
ns
t
ein_coe
f
f
icients_cel
l
: handle NULL poly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdoolaeg
e
isl_printer_to_str: intialize bu
f
fer to empty string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdo
o
la
e
g
e
isl
_
map_in
s
e
rt: properly h
a
ndle named or n
e
sted spac
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven Ve
r
doolaege
isl
_
set_flat_product: call i
s
l_map_ran
g
e_flat_pr
o
duc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
Sven
V
erdoolae
g
e
add so
m
e
isl
_
map_pl
a
in_is_fixed tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
S
v
en Verdoolaege
isl_basi
c
_map_neg: gau
s
s result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdo
o
laege
isl_dim
_
get_tuple
_
i
d: complain if tuple
h
as n
o
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
is
l
_dim_g
e
t_dim_id: complain if d
i
m h
a
s
n
o id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
v
en
Verd
o
olaege
add isl_
*
_has_tu
p
le_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ver
d
oolaege
add isl_*_ha
s
_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
erdool
a
ege
doc: warn about th
e
limited
u
se of identifiers of indivi
d
u
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdo
o
laege
d
ocumen
t
isl_ma
p
_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sv
e
n Verdo
o
laege
rename isl_m
a
p_insert to isl_se
t
_insert_dims and add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven
Verdoolaeg
e
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2011-08-11
Sv
e
n Verdoolaege
isl_dim
_
equal: handle NULL
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
ven Verdoolaege
isl_dim_tuple_match:
handle NULL in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
Sve
n
Verd
o
olaege
isl_ma
p
_i
s
_
subset:
a map
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
V
erdoolaege
d
o
cume
n
t isl_m
a
p
_
plain_is_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sv
e
n Verdoolaege
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-08-05
Sven V
e
rdoolaege
isl_set
_
product: ca
l
l isl_ma
p
_ra
n
ge_product instea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaege
isl_basic_map_r
e
m
o
ve_di
m
s:
properly hand
l
e
n
a
m
e
d or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sve
n
Verdoolaege
i
s
l_basic
_
map_drop
:
p
roperly
h
andle nested
s
paces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sv
e
n Ve
r
doolaege
isl
_
access_info_
c
o
m
pu
t
e_flow: plug memory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sebastia
n
Pop
doc: remove "struct" in
front of isl_* types
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sven Verd
o
o
l
ae
g
e
doc: update prototyp
e
of i
s
l_constraint
_
free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sven Verdoolaege
isl
_
basic_map_r
e
mov
e
_divs
:
ha
n
dle NUL
L
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sven V
e
rdoolae
g
e
isl_schedu
l
e
.
c: h
a
ndle
b
asic ma
p
s in
d
ividually in s
e
tu
p
_
ca
r
r
y_lp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
S
v
en Ve
r
doolaege
add isl_
s
et_reset_tuple
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sve
n
Verdoolaege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2011-08-03
S
ven Verdoolae
g
e
isl_dim
_
rang
e
_
p
roduct: d
i
m
en
s
ion nam
e
s of d
o
mains
d
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
S
ve
n
Verdoolaege
isl_aff
.
c
: fix up
co
p
yright
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sebastian Pop
doc: fix ty
p
os
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdool
a
ege
i
s
l_aff
_
floor: reduce coefficients of ne
w
ly cr
e
a
t
ed div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next