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
reimplement isl_stream_read_aff in terms of isl_stream_read_multi_aff
2012-05-06
Sven
V
er
d
oolaege
isl_union_set_compu
t
e_schedule: a
l
so keep
track
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verd
o
olaege
i
s
l_s
c
h
e
dule
.
c: extract
out g
r
aph_edge_table_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolae
g
e
isl_union_set_
c
ompute
_
schedul
e
:
only carry validity
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
isl_schedule
.
c: simplify computation o
f
number of constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Verdoolaege
isl_schedul
e
.
c: fix typo
s
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
d
ool
a
ege
a
d
d isl_ba
s
ic_map_is_sing
l
e_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaeg
e
add isl_basic_map_equ
a
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add i
s
l_basic_set_get
_
di
m
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
r
d
o
olaege
add isl_print
e
r_get_output_
f
ormat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
a
dd isl_local_space_ha
s
_dim_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaege
add isl
_
c
onstraint_g
e
t_local_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
laeg
e
a
d
d isl_c
o
n
s
traint
_
i
s_{lower,up
p
er}_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en
V
erdo
o
l
a
ege
add isl_
b
asic_set
_
n_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven
Ve
r
do
o
l
a
ege
doc: document isl_basic_s
e
t_f
o
re
a
ch_c
o
nst
r
aint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl_set_has_
t
uple_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n V
e
rdoolaege
add
i
sl_space_has_tuple_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
i
s
l
_a
f
f
_
p
r
ivat
e
.
h: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n Verdoolaege
add isl_seq_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl_printer_get_
f
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
a
dd isl_union_map_curry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en
V
erdoola
e
ge
isl_spa
c
e
.
c
: avoid us
e
of "0" as pointer value
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoo
l
aege
a
d
d is
l
_map_order_gt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoolaege
a
d
d
i
sl_ma
p
_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
i
sl_arg
s
_parse: o
p
tionall
y
ign
o
r
e
--help
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Ver
d
oolaege
move
g
e
n
eric
par
t
of isl_
u
nion_pw_qpolynomi
a
l_mul to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdoolaege
add isl
_
u
nion_
p
w_
m
ulti_aff_f
l
at_ra
n
ge_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdo
o
l
a
e
ge
isl_pw_
*
_
o
n_shared_domain: allow specifi
c
ation of target
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
a
dd isl
_
un
i
on_map_fr
o
m_union_pw_mult
i
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdo
o
l
a
ege
isl_aff
.
c: fix typo i
n
com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven V
e
rdo
o
laege
ad
d
isl_u
n
ion_
p
w_m
u
lti_
a
ff_from_d
o
m
a
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoo
l
aege
a
d
d i
s
l_union_pw_mu
l
t
i
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
lae
g
e
is
l
_u
n
i
o
n_pw_*:
d
on't
a
ssume zero is
t
he def
a
ult va
l
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n Verdo
o
laege
add isl_
p
w_multi_aff_fro
m
_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoolaege
e
xpor
t
i
s
l
_
multi_af
f
_set_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verd
o
olaege
ad
d
isl_mu
l
ti_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdool
a
ege
add isl_map_
f
r
o
m_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rd
o
olaege
isl_ba
s
ic_s
e
t_p
a
ramete
r
_compre
s
sion
:
us
e
i
sl_vec_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ver
d
oolaege
i
sl_f
l
ow
.
c
: u
s
e pub
l
ic isl_v
e
c interf
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven V
e
rdoola
e
ge
add
is
l
_vec_set_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaege
a
dd isl_ve
c
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoolaege
add
p
ublic isl_vec inter
f
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
olaege
a
d
d i
s
l_seq_set_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ve
n
Verdoolaege
isl
_
unio
n
_pw_*
_
free:
retur
n
NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ve
n
Verdoolaege
split off
d
ec
l
a
rations o
f
isl_unio
n
_
m
a
p and isl
_
union_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoola
e
ge
isl_access_info: change
i
nt
e
rface for sp
e
cifying restricti
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoo
l
a
ege
isl_map_coal
e
sc
e
:
only coale
s
c
e
p
airs of
b
asic
m
aps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven V
e
rdoolaege
i
sl_coalesce
.
c: cha
n
ge interface of
{
in
,
}eq_status_
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven
V
e
r
doo
l
aege
add isl
_
map_sort_div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
v
en
Verdoolaege
add isl_set_coalesce test case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolae
g
e
add isl_basic
_
map_ge
t
_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_merge_divs:
h
andle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoola
e
ge
Merge branch
'm
a
i
nt'
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaeg
e
i
s
l_local_s
p
ace
_
alloc_div: fix error h
a
ndl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sve
n
Ve
r
doolaege
isl
_
union_set_compute_sched
u
le: ignore backwa
r
d
p
r
ox
i
mity
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verd
o
olaege
i
s
l_basic
_
map_i
n
sert:
p
rese
r
ve empti
n
e
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Ver
d
oolaege
isl_basic_
s
et_total_dim
:
handle NULL i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
isl_term_get
_
div: supp
o
r
t
ne
s
ted divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
isl_term_get
_
div: normalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
S
ven
V
erdoolae
g
e
isl_
a
cces
s
_
i
nfo_com
p
ute_flow: sort acc
e
sses i
n
textual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaeg
e
is
l
_f
l
ow
.
c: acc
e
ss_sort_cmp: use isl_quicksort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven
V
e
r
d
oolaege
isl_qsort
.
h: fix
w
hi
t
espace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolae
g
e
isl_map_coales
c
e: op
t
ionally bound the coefficients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaeg
e
ad
d
isl_seq_abs_max
commit
|
commitdiff
|
tree
2012-04-13
Sven
Verdoolaege
Me
r
ge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2012-04-13
Sven V
e
r
doo
l
aege
i
sl_map_coalesce:
don't try to relax
(implicit) equa
l
ities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sve
n
V
e
rdoolaege
isl_tab_r
e
lax:
pr
e
v
e
nt relaxation on d
e
ad or redundan
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Sven Verd
o
olaege
isl_basic_m
a
p_u
n
ion: plug memory leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdo
o
laeg
e
isl_stream_read_ma
p
:
allow "not" at star
t
of grou
p
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
S
v
e
n Ver
d
oo
l
aege
isl_tes
t
:
t
e
s
t_par
s
e_map_equal: retur
n
result of test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sv
e
n Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-04-07
Sven V
e
r
d
oolaege
isl
_
pw_*
_
on_sh
a
red_domain: improve
error ha
n
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
S
v
en Verdoolaege
lin
k
in new -lcl
a
ngEdi
t
whe
n
available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-16
Sven Verdoolaege
isl_*al
l
oc macro
s
: r
e
turn expression of des
i
r
e
d t
y
pe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Ver
d
oolaege
a
d
d is
l
_map_fix
e
d
_
power
a
nd isl
_
union_map_fix
e
d_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
isl_token: change
t
ype of "
t
ype" field fro
m
enum isl_tok
e
n_t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
e
n
Ve
r
doo
l
aege
M
erg
e
branch 'maint'
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdoolaege
is
l
_unio
n
_
m
ap_is_su
b
set: properly han
d
le non-o
b
viously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n V
e
rdoolaege
i
s
l_pw_aff_cond: change first argument from an i
s
l_
s
et
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
add is
l
_
s
et_
{
lower,upper}_
b
ound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Ver
d
oolaege
a
dd
i
sl_
p
w_a
f
f_n_pie
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
S
v
en Verdo
o
laege
add isl_set_indicator_fun
c
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
S
ven Verdoolae
g
e
isl
_
basic_map_affine_h
u
ll: consider
p
oints adjacent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
S
v
en Verd
o
o
laeg
e
add
i
sl_set_has_dim_
n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdool
a
ege
doc: min
o
r c
l
ean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Ver
d
oolaege
add is
l
_
s
p
ace_h
a
s_di
m
_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-25
S
v
e
n
V
erdoolaege
configur
e
.
a
c
:
remove spurious
"
,
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven V
e
rdoolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sv
e
n Ve
r
doolae
g
e
i
sl_b
a
sic_set_s
a
mple: perfo
r
m basis reduc
t
ion at each
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Ve
r
doolaege
a
dd isl_basic_set_is_
s
ubset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
S
v
en Verdoolaege
export isl_b
a
si
c
_map_is_s
u
bset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Ve
r
d
o
ola
e
ge
add isl_basic_set_sample
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaege
d
oc
:
documen
t
*
_
s
ample
functi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sven Verdoolaeg
e
Merge branch 'ma
i
nt
'
commit
|
commitdiff
|
tree
2012-02-23
Sven Verdoolaege
isl
_
coal
e
sce
.
c
: wrap_in_facets: bail out if any of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sven Verdoolaege
isl
_
test:
test
_
co
a
lesce_se
t
: fail if c
o
ales
c
ing
f
ailed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
Sven Verd
o
ol
a
ege
export i
s
l_ma
p
_plain_
i
s_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
Sven V
e
rdoolae
g
e
isl_tab_basic_map_par
t
i
a
l_lexo
p
t: properly normalize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-20
Sven Verdoolaege
a
d
d i
s
l
_
map_com
p
lement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
isl_map_
f
ix_si: drop basic maps
that have become empty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
i
s
l_map
.
c: extrac
t
out
c
ommon re
m
ove_if_em
p
ty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next