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'
2012-05-30
Sven Verd
o
olaege
M
erge branch 'main
t
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-30
Sven
V
e
rdoolaege
is
l
_union_set_
c
o
m
pu
t
e_sch
e
d
u
le: fix
com
p
utat
i
on of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-30
S
ven Ve
r
doolaege
isl_s
p
ace_insert
_
dim
s
: fix ha
n
dl
i
ng of nested spac
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-30
S
ven Verdoolaege
isl_
r
estriction_{n
o
ne
,
empty}: "take" argumen
t
for consist
e
ncy
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-21
Andreas Kloeckner
Add is
l
_restriction_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-21
Sven Verdoo
l
aege
isl_space
.
c: docu
m
e
nt na
m
e
_
ok
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-21
S
ven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-05-20
Andreas K
l
o
e
c
k
ner
Call finalize in isl_basic
_
map_s
e
t_dim_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-18
S
v
e
n Verdo
o
laege
isl_space_set_dim_na
m
e: handle NULL nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-18
Sven Verdoola
e
g
e
is
l
_bas
i
c_map_z
i
p: always call isl_b
a
sic_map_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-17
Sven Verdoolaege
isl_morp
h
.
c: add_stri
d
es: cl
e
ar newly
a
dded divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdo
o
l
a
e
ge
i
s
l_tab_pip
.
c: fix
t
ypos in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
isl_test: be more
verbos
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven
V
erdoolaege
i
s
l
_aff_
f
l
oor: add special
c
ase for const
a
nt argume
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
S
ven V
e
rdoolaege
doc: explain is
l
_*_is_subset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
isl_map_order
_
g
t
: add special case for ordering a dimension
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
a
dd te
s
ts
f
or isl
_
m
a
p_oppose
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sve
n
Verdoo
l
a
ege
isl_map_equate:
add special
c
ase for equat
i
ng a di
m
ension
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven
Ver
d
oolaege
ad
d
isl_sched
u
le_foreach_b
a
nd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl
_
b
a
nd_list_foreach_band
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n
V
e
rdoola
e
ge
add isl_b
a
nd_tile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
laege
add isl_band_dup
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoo
l
aege
isl_
s
che
d
ule
.
c: extract o
u
t isl_band_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoolae
g
e
isl_
s
chedule_g
e
t_map: extract s
c
he
d
ule f
r
om band fo
r
est
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
olaege
isl_band
.
c:
extract out
isl_band_list_get
_
suffix_sch
e
dule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
i
sl_band: use isl_union_pw_
m
ulti_aff to
r
e
present part
i
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaeg
e
i
sl_schedule_nod
e
: represent sch
e
dule usin
g
isl_mu
l
ti
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
d
o
olaege
isl_union_
s
et_compute_schedule: separa
t
e components
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Ver
d
oolaege
isl_union_set
_
compute
_
schedule:
c
o
mpon
e
nts
may al
s
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n V
e
rdoolaege
i
sl
_
union_set_comput
e
_schedule: also keep track of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
V
e
rdoolaege
is
l
_
schedule
.
c: extract out g
r
ap
h
_edge_ta
b
le_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdool
a
ege
isl_union_
s
et_c
o
m
p
ut
e
_sc
h
edule: only carry valid
i
ty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdoolaege
isl_schedule
.
c: simpli
f
y
computation of num
b
er of con
s
traints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
is
l
_
s
chedule
.
c: fix
t
y
pos in commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdool
a
ege
a
dd isl
_
basic_m
a
p_is_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add
i
s
l_basic_m
a
p
_eq
u
ate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
laege
ad
d
isl_bas
i
c_set_get_dim_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl_printer
_
get_output_format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
add
isl_local_spa
c
e_has_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
a
dd isl_constra
i
nt_
g
e
t
_local_
s
pa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n Verdoolaege
add isl
_
constraint_is_{lo
w
er,upper}_bo
u
nd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
e
rdo
o
laeg
e
add
isl_basic_set_n_cons
t
rain
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
er
d
oola
e
ge
doc: document isl_basic_set_foreach_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n
Verdo
o
laege
add isl_set_has
_
tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoo
l
aege
ad
d
i
s
l
_space_has_tup
l
e_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoo
l
aege
isl_
a
ff
_
private
.
h: ad
d
m
issing i
n
clude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erd
o
olaege
a
d
d isl
_
seq
_
d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verd
o
olaeg
e
a
d
d isl_printer_get_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoo
l
aege
add isl_union_
m
ap_curry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaeg
e
isl_s
p
ace
.
c:
avoid use of "0" as pointer value
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ver
d
oolaege
ad
d
isl_
m
ap_order_
g
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n
V
e
r
d
oolaege
add
i
sl_map_fro
m
_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdoolaege
isl_args_parse:
optionally
i
gnore --help
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n Verdoolaeg
e
mov
e
generic part of isl_union_pw_q
p
o
lynomi
a
l_mul to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
laege
a
dd isl_unio
n
_pw_multi_aff_flat_range_produ
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
i
s
l
_pw
_
*
_on_shared_domai
n
:
a
l
l
o
w specificati
o
n of target
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
olaege
add is
l
_
u
n
i
on_map_from
_
union_pw_multi
_
af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en
V
er
d
o
o
la
e
ge
i
s
l_aff
.
c: fix ty
p
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdool
a
eg
e
add isl_
u
ni
o
n
_pw_multi
_
aff_from_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl_union_pw_mu
l
ti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoolaege
isl_union_pw_*: don'
t
a
ssume zero is
t
he default v
a
l
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdool
a
e
ge
add isl
_
pw_multi_aff
_
from_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoo
l
aege
export isl_multi_a
f
f
_set_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoolaege
add i
s
l_mu
l
ti_a
f
f_zer
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl
_
map_from_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verd
o
ola
e
ge
isl_bas
i
c
_
set_parameter_compressio
n
: us
e
i
s
l_
v
ec
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoolaege
i
sl_flow
.
c:
u
se public isl_vec interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven
V
erdoo
l
aege
add isl_ve
c
_set_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
e
r
doolaege
add
i
s
l_vec
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add p
u
b
l
ic isl_vec interfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en
V
erdoolaege
add isl_seq_set_s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Ve
r
d
oolaege
isl_
u
nion_pw_*_f
r
ee:
return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdool
a
ege
s
p
lit of
f
declarat
i
ons
o
f isl_un
i
on_map and isl_union_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
R
i
yad
h
Baghdadi
isl_map
_
delta
s
: add memory ma
n
ag
e
ment
annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoolaege
i
sl_acce
s
s_
i
nfo: change interfac
e
for sp
e
cifying re
s
trictio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
v
en Verdoolaege
i
s
l_m
a
p_coal
e
sce: on
l
y coales
c
e
p
airs of basic maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
v
en Verdoolaege
is
l
_coalesce
.
c: change i
n
terfac
e
of
{
in,}eq_status_in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verd
o
olaege
add i
s
l_map_sor
t
_
di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
add isl_set_coa
l
esce
t
e
st case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
v
en Verdoolaeg
e
add isl_bas
i
c_map_get_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Ve
r
doolaege
isl_
m
er
g
e_divs: handle N
U
LL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
v
en Verdoolaege
Me
r
ge branch
'
maint
'
commit
|
commitdiff
|
tree
2012-04-18
Sve
n
Verdo
o
l
a
eg
e
isl_local_space_alloc
_
div: fix error handlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven V
e
r
d
oolaeg
e
i
s
l_union_set_compute_schedule: i
g
nore backward proximit
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sv
e
n
Verdoo
l
aege
isl_ba
s
ic
_
map_insert: prese
r
ve emptiness
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
S
v
en Verd
o
olaege
i
s
l_b
a
sic_set_total_dim: handle N
U
LL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sv
e
n Verdoolaege
isl_term_get
_
d
i
v: suppo
r
t nes
t
ed divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoola
e
ge
i
s
l
_term_get_
d
i
v
: no
r
malize
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven V
e
rdoolaege
isl_ac
c
e
s
s_info_compute_f
l
ow: sor
t
accesses
i
n textual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
S
ven Verdoolaege
isl_flow
.
c
:
a
cce
s
s_sort_cm
p
: use i
s
l_qui
c
ksort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
S
v
e
n V
e
r
doolaege
isl
_
qsort
.
h: fi
x
whit
e
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdo
o
laege
isl_map_coalesce: optionally boun
d
the coe
f
ficients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Ver
d
o
olaege
add
i
sl_seq
_
ab
s
_max
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdo
o
laege
Merg
e
bran
c
h
'
maint'
commit
|
commitdiff
|
tree
2012-04-13
Sven V
e
rdoolaeg
e
isl_map_co
a
lesce: d
o
n't try
to relax (implicit) equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdool
a
ege
is
l
_tab_relax:
prevent relaxation on
dead or redundan
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Sven Verdoolaege
isl_
b
asi
c
_map_un
i
o
n:
p
l
u
g memo
r
y l
e
ak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Louis-Noel
Pou
c
het
Fix a ty
p
o i
n
i
sl_term_du
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
S
v
en
V
e
rdool
a
ege
isl_stream_read_map: allow "not" at start of grouped
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven V
e
rdoolaege
i
sl_test: te
s
t_
p
arse_ma
p
_
equal: re
t
u
r
n result of
test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next