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
add isl_map_order_lt
2012-06-03
Sv
e
n Verd
o
olaege
add isl_m
a
p_or
d
er_
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-02
S
v
e
n
Verd
o
olaege
isl_space_unwrap: fix
e
r
ror message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-30
Sven Ver
d
oo
l
aege
M
e
rge br
a
nch 'maint
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-30
Sven Verdo
o
laege
isl
_
u
nion_
s
e
t
_c
o
mpute_schedule: fix comp
u
tation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-30
Sven Ve
r
doola
e
ge
isl_space_insert_d
i
ms
:
fix handli
n
g of
nested spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-30
Sven Ver
d
oolae
g
e
isl_restriction_{none,empty}: "
t
a
k
e" argument
f
or consi
s
t
e
n
cy
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-21
Andreas Kloeckn
e
r
A
dd isl
_
restri
c
tion_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-21
Sven Verdoolaege
isl_space
.
c
: document
name_
o
k
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-21
Sven Verdoola
e
ge
M
e
rge branch 'maint
'
commit
|
commitdiff
|
tree
2012-05-20
Andr
e
as
K
l
oeckner
Call final
i
ze in isl_basi
c
_map_set_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-18
Sve
n
Verdoolaeg
e
isl_space_
s
e
t
_d
i
m_n
a
me: handle
N
ULL name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-18
Sven V
e
rdoolaege
isl_b
a
sic_m
a
p_z
i
p: always call isl_basic_ma
p
_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-17
Sven Verdoolaege
i
sl_m
o
r
p
h
.
c
:
add_strides: c
l
ear newl
y
added divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven
V
erdoolaege
isl_tab_pip
.
c: fix t
y
pos i
n
co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Ver
d
oola
e
ge
isl_test: be more verbose
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven
Verdo
o
laege
is
l
_aff_floor: add special case for cons
t
a
nt arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sve
n
Verdoolaege
doc
:
explain isl_*
_
is_subset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven
Ver
d
o
olaege
isl_map_order_gt: add special case for ordering a
d
imension
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdo
o
laege
add tests
f
or isl_
m
ap
_
oppose
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
S
v
en Verdoolaege
isl_map_equa
t
e
:
a
d
d s
p
ecial case for equati
n
g a dimens
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ver
d
oolaege
add isl_schedule_foreach_ba
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaege
add isl_band_list_fo
r
each_b
a
nd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
doolaege
add
i
sl_ban
d
_
t
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
a
dd i
s
l_band_dup
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Verd
o
olaege
isl
_
sche
d
ul
e
.
c: extract
o
ut isl_band
_
all
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl_schedule_get_map: extr
a
ct schedule from band
f
orest
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
i
s
l_band
.
c: extract out isl_band_list_ge
t
_suffix
_
schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
i
s
l_ban
d
: use isl_union_pw_mul
t
i_aff to
r
epre
s
e
n
t partial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdoolaeg
e
isl_schedule_node: represent s
c
hedule using isl_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Verdoolaege
i
sl_union_set_c
o
mpute_sched
u
le: sep
a
rate compon
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ve
n
Verdoolaege
isl_union
_
set_compute
_
sche
d
ule: compon
e
n
t
s may also
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl_unio
n
_set_com
p
u
t
e_sch
e
dule: also
k
eep track of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ver
d
oolaege
isl_
s
chedule
.
c
: extract out gra
p
h
_edge_table_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
V
e
r
do
o
laege
isl_union_set_compute_sc
h
edule: o
n
l
y
carr
y
v
a
li
d
ity
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoolaege
is
l
_schedule
.
c: simplify c
o
mputation of number of constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl_s
c
hedule
.
c: fix
ty
p
os
i
n
c
o
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoo
l
aege
a
d
d isl_
b
asic
_
m
ap_is
_
single_va
l
ued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
add is
l
_ba
s
i
c_
m
a
p
_equate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n
V
e
rdoola
e
ge
add isl_bas
i
c_set_get_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add
i
sl_
p
rinter_get_output_form
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
a
d
d
isl_local_
s
pace_has
_
d
im_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoolaege
a
dd isl_c
o
n
s
traint_get_local_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolae
g
e
add isl_c
o
n
s
tra
i
nt_is_{lower,upper}_bo
u
nd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdoolaege
add
isl
_
basi
c
_se
t
_n_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoolaege
d
o
c: documen
t
i
sl_basic_set_fo
r
each_constra
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoolaege
a
d
d isl_set_has_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Ver
d
oolaege
add isl_space_h
a
s
_
t
uple
_
n
a
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
doo
l
aege
is
l
_aff_
p
r
i
vate
.
h: add missin
g
incl
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdoolaeg
e
a
dd isl_seq_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
e
r
doolaege
add isl_printer_g
e
t_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Verdo
o
laege
add i
s
l_union_
m
ap_curry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoo
l
aege
i
s
l_
s
pace
.
c: avoid u
s
e of
"0" as pointer value
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n V
e
r
doolae
g
e
add
isl_ma
p
_order_gt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
ola
e
g
e
add isl_ma
p
_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
laege
is
l
_
a
rgs_pars
e
: optionally i
g
n
o
re
-
-help
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
move generic part of i
s
l
_un
i
on_pw_qpolynomial_mul to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
r
d
oolaege
a
dd isl_union_pw_m
u
lti_aff_flat_ran
g
e
_
product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Ver
d
oo
l
a
e
ge
isl_
p
w_*_on_shared_domain
:
allow
specification of targe
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaeg
e
a
dd isl
_
union_
m
ap_f
r
om_union_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
olaege
isl
_
aff
.
c:
f
i
x typo i
n
c
o
m
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
add isl
_
un
i
on_pw_m
u
lti_
a
ff_from_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
laege
a
d
d i
s
l_union_pw_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Ver
d
oolaeg
e
isl_un
i
on_pw_*: don't
as
s
ume zer
o
is the default val
u
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoola
e
ge
a
d
d isl_pw_
m
ulti_aff_from
_
multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n Ve
r
d
oolaege
export isl_multi
_
aff_set_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdool
a
ege
a
d
d i
s
l_m
u
lti_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdo
o
laege
a
d
d isl_map_from_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoola
e
ge
isl_basic_
s
et_parameter
_
comp
r
es
s
ion: use isl_v
e
c_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven
Verdool
a
ege
is
l
_
flow
.
c: use
public
is
l
_
v
e
c inter
f
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n V
e
rd
o
olaege
add isl
_
v
ec
_
set_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl_vec_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
e
r
doolaege
add public isl_vec
i
n
terface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n
Verdoolaege
add isl_seq_set_s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven
Ve
r
d
o
olaege
isl_union_pw_*_free: retu
r
n
N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaeg
e
split off dec
l
arati
o
ns
of
i
s
l
_unio
n
_ma
p
and isl_union_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Riya
d
h Bag
h
dadi
isl_map_
d
e
ltas: add memory manag
e
ment annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaege
isl_access_
i
nfo: change i
n
t
e
r
f
a
c
e for speci
f
ying restr
i
c
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl
_
map_
c
o
a
les
c
e: only coalesce pairs of b
a
s
i
c maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_coa
l
esce
.
c: change inter
f
ace of {in,}eq_status_in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
a
d
d
isl_map_sort_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
add isl_set_
c
oale
s
ce test
case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
v
e
n Verdool
a
e
g
e
a
d
d isl
_
basic_map_get_
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sve
n
V
erdool
a
ege
isl_merge_divs: handle NULL
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
v
en Verdo
o
l
aege
Merge
b
ranch 'mai
n
t'
commit
|
commitdiff
|
tree
2012-04-18
Sven Ve
r
doolaeg
e
i
s
l_l
o
cal_space_alloc_div: fix
e
rro
r
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
ven Verdoolaege
isl_uni
o
n
_
set_compute_s
c
hedule: ign
o
re backward
p
roxi
m
ity
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
is
l
_b
a
sic_ma
p
_
i
nsert: p
r
eserve emp
t
ine
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoo
l
a
ege
i
s
l_basic_s
e
t_t
o
tal_di
m
: ha
n
dle NULL in
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
S
ven Verd
o
o
laege
i
s
l_term_
g
et_div: suppo
r
t
nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
S
ven Verdoolaege
isl_ter
m
_get
_
div: normalize res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven
Verdool
a
ege
is
l
_access_info_com
p
ute_flow: sort accesses in tex
t
u
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoo
l
aege
isl_flow
.
c: access_sort_cmp
:
use isl_qui
c
ksort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sv
e
n
Verd
o
olaeg
e
isl_
q
sort
.
h:
f
ix whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Ver
d
oolaege
isl_m
a
p
_
coa
l
e
s
c
e: optionally
bound the coeffic
i
ents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolae
g
e
add i
s
l_
s
e
q
_a
b
s_max
commit
|
commitdiff
|
tree
2012-04-13
Sven V
e
rdoolae
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoo
l
aege
isl_
m
ap_
c
oalesce
:
d
on't try
to
r
ela
x
(i
m
p
licit) equa
l
i
ties
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
S
v
e
n
Verd
o
olaege
isl_t
a
b_rel
a
x: prevent relaxation on
de
a
d o
r
redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Sv
e
n Verdoola
e
g
e
isl_
b
asic_
m
ap_union:
plug memory leak on
error pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Louis-N
o
el P
o
uch
e
t
Fix a
typo in isl_term_dup
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
