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_substitute: check that input affine expression is integral
2012-05-30
Sven Verdoolaege
Merge branch 'maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-30
Sve
n
Verdo
o
laege
is
l
_union_set_compute_
s
ch
e
du
l
e
: fix
c
o
mput
a
t
i
on of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-30
Sven
V
erdoolaege
isl_space_inse
r
t_
d
ims: fix
h
a
n
dlin
g
of
nested
spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-30
Sven Verdoolaeg
e
isl_r
e
strict
i
on_{none,empty}:
"
take
"
argument
f
or
c
onsistency
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-21
S
ven Verdoo
l
a
ege
isl_space
.
c: docu
m
ent n
a
me_ok
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-21
S
ven Verdoola
e
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-05-18
Sven V
e
r
doolaege
isl_s
p
ace_set
_
dim_name: handle
N
ULL name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-18
Sven Verdool
a
ege
isl_basic_map_z
i
p: always
call
i
sl_ba
s
ic_ma
p
_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-17
Sven
Ve
r
d
o
olaege
isl_morph
.
c:
add_strides: clear new
l
y added divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
S
ven Verdoolaege
isl_
t
ab_pip
.
c: fix typos in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
is
l
_
test: be
m
o
r
e
verbose
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verd
o
olaege
isl_aff_floor: add
s
p
e
cial case for c
o
nstant arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sv
e
n Verdoolaege
doc: ex
p
l
a
in isl_*_is_subse
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sve
n
Verdo
o
laege
isl_map_order_gt:
a
dd special c
a
se for
or
d
eri
n
g a dim
e
nsion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdo
o
laeg
e
a
d
d
t
ests f
o
r isl_map_
o
ppose
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoola
e
ge
i
sl_map_e
q
uate:
a
dd s
p
ecial case for equating
a dimension
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
add isl_s
c
he
d
ul
e
_foreach_band
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
doolae
g
e
add isl_band_li
s
t_f
o
reach
_
band
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add
isl_ba
n
d_tile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ver
d
o
o
laege
ad
d
i
s
l_ban
d
_
d
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoo
l
aege
isl_schedul
e
.
c:
e
xtract o
u
t
i
sl_ba
n
d_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl_sch
e
dule_get_ma
p
: extra
c
t schedule from band fores
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdoolae
g
e
isl_band
.
c: ex
t
ract out isl_
b
and_lis
t
_
g
et_suffix_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
olaege
i
s
l_
b
and: use is
l
_union_pw_multi_aff to
r
e
presen
t
p
arti
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
ven
V
e
r
d
o
o
laege
isl
_
sched
u
le_node: represent
s
ch
e
d
u
le usin
g
isl_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
e
r
d
oolaege
isl_union_set_compute_
s
chedule: separate comp
o
n
e
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdoo
l
aege
isl_uni
o
n_
s
e
t
_co
m
pute_
s
chedule: comp
o
nents m
a
y also
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoolaege
isl_union_
s
et_compute_schedul
e
: a
l
so keep tr
a
ck of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl_schedule
.
c: extract
out graph_edge_t
a
ble_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ver
d
oola
e
ge
i
sl_union
_
s
e
t_compute_schedule
:
only carry validity
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoolae
g
e
isl_schedule
.
c: simplif
y
c
o
m
p
u
t
ation of n
u
m
b
er of cons
t
raints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoolaege
isl_schedule
.
c: fix typos in
c
omme
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdoolaege
add isl_basic_map_
i
s_single_va
l
ue
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add
i
sl_ba
s
ic_ma
p
_equa
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdool
a
e
ge
add
is
l
_basic_s
e
t_
g
et_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Verdool
a
e
ge
add
i
s
l_printer
_
get_output_format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolae
g
e
add isl_loc
a
l_s
p
a
c
e_
h
as_
d
im_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n Verdoo
l
a
e
ge
ad
d
isl_constraint_get_local_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaeg
e
add isl_
c
onstraint_is_{
l
ower,upp
e
r}_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
V
e
rdoolaege
add isl_basic_set_n_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
doc: docum
e
nt isl_basic_set_for
e
ach_cons
t
ra
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
add isl_se
t
_
has_t
u
ple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Ve
r
d
oolaege
add isl_space_has_
t
u
ple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdoo
l
a
ege
isl_aff_private
.
h: add missing inclu
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdo
o
laege
add
i
sl_se
q
_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaeg
e
a
dd isl_prin
t
er_g
e
t_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
add isl_union_map_curry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
olaege
is
l
_space
.
c
:
avoid u
s
e o
f
"0" as pointer value
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n Verdool
a
ege
add isl_map_order_
g
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
ven
V
erdoo
l
aege
a
dd isl_m
a
p_from_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Ver
d
oo
l
aege
isl_a
r
gs_
p
arse: option
a
lly i
g
nore --help
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
m
o
ve generic
p
art o
f
isl_u
n
i
on_pw_qpoly
n
omial_mul t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
er
d
oola
e
ge
a
d
d
i
sl
_
unio
n
_pw_multi_aff_flat_range_prod
u
ct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaeg
e
i
sl_pw_*
_
on_shared_d
o
main:
a
llow s
p
e
cification
o
f targe
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
a
d
d
isl_union_m
a
p_from_
u
nio
n
_pw_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaeg
e
i
sl_aff
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n
Verdoolaege
add isl_union_
p
w_
m
ulti
_
a
f
f_from_do
m
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolae
g
e
add isl_union_
p
w_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n
Verdoolaege
isl
_
union_pw_*: don't assume z
e
ro
is
t
h
e default
v
alue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Verd
o
ol
a
ege
add
isl_pw
_
multi_aff_fro
m
_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en
V
er
d
oolaege
export isl_multi
_
aff_
s
et_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolae
g
e
add isl_multi_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Ve
r
doo
l
ae
g
e
a
d
d
isl_map
_
from
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n
V
erdool
a
ege
isl_basic_set_parame
t
er_compres
s
ion: use isl_vec_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Verdoo
l
aege
isl_fl
o
w
.
c
: use public
i
s
l
_vec inte
r
face
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
d
o
olaege
add isl
_
ve
c
_set_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoo
l
aege
a
d
d isl_
v
e
c
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add public
i
sl_vec interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl_seq_se
t
_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
olaege
isl_union_pw_*_fre
e
: return
N
ULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ver
d
o
o
laege
split off declarations of
i
s
l_union_ma
p
and isl_
u
nion_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
V
e
rdool
a
ege
i
s
l
_
acces
s
_info: change inte
r
face f
o
r specifying res
t
r
ictions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sve
n
Verdoolaege
isl_map_coa
l
esce: only coalesce pairs of ba
s
ic maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven V
e
rdoolaege
isl_coalesc
e
.
c: chan
g
e i
n
terf
a
ce of
{in
,
}eq_status_in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verd
o
o
la
e
ge
add
i
sl_map_s
o
rt_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdool
a
ege
add i
s
l_set
_
coal
e
sce test
case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven V
e
rdool
a
ege
add isl_basic_map_get_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
S
ven Verdoo
l
a
e
ge
isl_merge_divs
:
h
a
ndle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven V
e
rdoolaege
Merge branch
'
mai
n
t
'
commit
|
commitdiff
|
tree
2012-04-18
Sve
n
Verdoola
e
ge
isl_local_
s
p
a
ce_alloc_div:
f
ix e
r
ror handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_union_set_co
m
pute_
s
chedul
e
:
ignore backward p
r
oxi
m
i
t
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Ve
r
doolaege
i
sl_
b
a
si
c
_map_insert: preserve emptine
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
S
ven Verdoolaege
isl_b
a
sic_
s
et_total_dim: hand
l
e
N
U
LL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
isl_term_get_div: support
nested divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoo
l
aege
i
s
l
_
te
r
m_g
e
t_div: norm
a
liz
e
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven
V
erdoolaege
isl_
a
ccess_in
f
o_compute_
f
low: sort ac
c
esses in textual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven
V
e
rd
o
olaege
isl_flow
.
c: access_sort_cmp: use isl_
q
uicksort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven
V
er
d
oolaeg
e
isl
_
qs
o
r
t
.
h: fix whites
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sve
n
V
e
rdoo
l
aege
i
s
l
_m
a
p_coalesce: opt
i
ona
l
ly boun
d
t
he coefficients
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
S
ven V
e
rdoolaege
a
dd isl_seq_abs_m
a
x
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2012-04-13
Sven Verd
o
olaege
isl_map_coalesce: don'
t
try to
relax (impli
c
i
t) equalitie
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sve
n
Verdoolaege
isl
_
ta
b
_re
l
a
x
:
pr
e
v
e
nt
rel
a
xation
on de
a
d or redu
n
dant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-11
Sven
V
erdoola
e
ge
isl_basic_
m
ap_union: plu
g
memory leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
S
ven
V
e
r
doolae
g
e
isl_s
t
rea
m
_read_map: allow "not" at star
t
of grouped
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verd
o
olaege
isl_t
e
st:
t
est_p
a
rse_map_
e
qual: re
t
urn resul
t
of test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdo
o
laege
Mer
g
e br
a
n
ch '
m
aint'
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdoolaege
isl_pw_*_
o
n_sh
a
re
d
_domain: improve er
r
or handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
link
in new -l
c
langEdit whe
n
available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-16
Sven
Verdoolaege
isl_*alloc macros: retu
r
n expr
e
ssi
o
n
of desi
r
ed type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next