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_flow.c: use public isl_vec interface
2012-05-06
Sven Ve
r
doo
l
aeg
e
isl_fl
o
w
.
c: use
p
ublic isl_v
e
c inter
f
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdoola
e
ge
add isl_v
e
c_set_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoolaege
add isl_vec_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add
p
ublic isl_
v
ec inter
f
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
doolaeg
e
add
i
sl_seq_se
t
_
s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ve
n
V
er
d
ool
a
ege
isl_union_pw_*
_
free
:
return
N
ULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoola
e
ge
spl
i
t
off
declarations of isl_u
n
ion
_
map and isl
_
unio
n
_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdool
a
ege
isl_acce
s
s_info: change
int
e
r
f
a
ce
for spe
c
ifying restrictions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
v
en Verdoolaege
i
sl_map_coal
e
sce: only coal
e
sce pa
i
r
s
of basic
maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdool
a
ege
isl
_
c
o
alesc
e
.
c
:
chan
g
e interface
o
f {in,}eq_s
t
at
u
s_
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Ver
d
oolae
g
e
add
isl_map_sort_
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Ve
r
doolaege
ad
d
isl_set
_
coalesce test case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Ver
d
oola
e
ge
add
i
sl_basic
_
map_g
e
t_di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verd
o
olaege
isl_merge_divs: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Ve
r
doolaege
Merge bran
c
h
'm
a
int
'
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaeg
e
isl_local_sp
a
ce_
a
lloc_d
i
v: fix er
r
o
r
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
v
en Verdoo
l
aege
isl_
u
n
i
on_set_compute_schedule:
i
g
n
o
r
e bac
k
ward proxim
i
t
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolae
g
e
isl_basic_map_i
n
sert: preserve emp
t
iness
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
isl_basic_set_t
o
tal_dim
:
handle N
U
LL
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven
V
e
r
do
o
laege
isl_term_get_div: su
p
port nested
di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
S
v
en
Verdoo
l
aeg
e
isl
_
term_get_div:
n
ormalize re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
isl_
a
ccess_info_compute_flow: sort ac
c
esses in textual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdo
o
laege
isl_flow
.
c: access_sor
t
_cmp: use isl_quicksor
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
isl
_
qsort
.
h: fix whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
S
ven Verdoolaege
isl_map_co
a
l
esce: optionally
b
o
u
nd th
e
coeffi
c
i
ents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verd
o
olaege
add
isl
_
s
e
q_a
b
s_max
commit
|
commitdiff
|
tree
2012-04-13
S
v
en
V
erdoolaege
Merge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2012-04-13
Sve
n
Verdoolaege
isl
_
map_c
o
ales
c
e: don't try to relax
(
i
mplicit) equa
l
ities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sve
n
Verdoolaege
isl_t
a
b_rel
a
x:
p
revent relaxation on dead or redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Sven Verdoolaege
i
sl_ba
s
ic_ma
p
_union: plug memory leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sv
e
n Verdoolaege
isl_st
r
e
a
m_read_map: allow "not"
a
t s
t
art of group
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven
Verd
o
o
laege
isl_t
e
st
:
test_parse_map_equal: return result of t
e
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdoolaeg
e
Merg
e
branch
'
mai
n
t'
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdoola
e
ge
isl_
p
w_*_on_shared_domain: impro
v
e
error handlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoola
e
ge
link in new
-
l
c
langEdit when a
v
ailable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-16
S
ven
Verdoo
l
a
ege
isl_
*
a
l
loc macros: retur
n
expression of
d
e
s
i
red type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
S
v
en Verd
o
olaege
a
d
d isl
_
map_fixed
_
powe
r
and isl_union_map_fixed
_
pow
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
aege
i
s
l_
t
oken
:
change ty
p
e
o
f "type"
field from
enum isl_to
k
e
n_t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
Merge
b
r
an
c
h 'maint'
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoolaege
isl_union_m
a
p_is_subset: p
r
o
p
e
r
l
y
handle non
-
obv
i
ously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoolae
g
e
isl
_
pw_aff_
c
on
d
:
change first argumen
t
fr
o
m an isl_set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
er
d
oolae
g
e
ad
d
isl_set
_
{lower,upper}_
b
ound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oolaeg
e
add isl_pw_aff_n_piece
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
S
v
en Verdoolaege
add isl_set_
i
n
d
icato
r
_func
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
S
v
en Verd
o
olaege
i
s
l_basic_map_
a
ffin
e
_hull: consider points
a
djacent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sve
n
Verdoolaege
add
isl_set_h
a
s_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoolaege
doc: minor
c
lean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Ve
r
doolaege
add isl_sp
a
c
e_has
_
dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-25
S
ven Verdoo
l
aege
c
onfigure
.
a
c
:
r
e
move spur
i
ou
s
",
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven V
e
rdoolaege
doc:
f
ix t
y
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sve
n
V
e
r
d
ool
a
ege
isl_b
a
sic_set_sample: perform b
a
s
is reduc
t
ion at
e
ach
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Ve
r
doolae
g
e
a
d
d isl_basic_set
_
i
s_sub
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
S
ven Verdoolaege
expor
t
isl_basic
_
m
a
p_is_s
u
bset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven
V
e
r
doola
e
ge
a
d
d i
s
l_basic_set_sam
p
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven
V
erdo
o
la
e
g
e
d
o
c
:
d
ocu
m
ent *_sample fu
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
S
ven Verdoolaege
Merge
b
ranch
'mai
n
t'
commit
|
commitdiff
|
tree
2012-02-23
Sven Ver
d
oolaege
i
sl
_
coalesc
e
.
c: wra
p
_in_face
t
s:
b
ail out if an
y
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sv
e
n
Verdoo
l
aege
isl_t
e
st: test_c
o
ale
s
ce_
s
e
t
: fail if
c
oalesci
n
g failed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
Sve
n
Ve
r
d
o
olaege
export isl_m
a
p_plain
_
is_singl
e
_
v
a
l
ued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
Sven V
e
rdool
a
ege
isl_tab
_
basic_map_parti
a
l_lexo
p
t: pr
o
perly nor
m
alize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-20
S
v
en Verdoolaege
add
i
sl_map_complement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
isl_map_fix_
s
i: drop
b
asic maps that have
b
ecome empt
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sve
n
Verdoolaege
isl_
m
ap
.
c: extract out
c
o
mmon remove_if_empty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
isl_map_coalesce: drop empty parts
b
efore checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoo
l
aege
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2012-02-14
Sven Verd
o
olaege
isl
_
convex_hull
.
c:
uset_
c
onv
e
x
_
hull_
w
rap_bounded: remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sve
n
Ver
d
oolaege
i
s
l_basic_map_realign: preserve (most)
f
l
ags
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verd
o
olaege
add isl_pr
i
nter_prin
t
_pw_
a
ff
t
est
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Ver
d
oo
l
aege
isl
_
basic_map
_
for
e
ac
h
_lexopt: n
o
rmalize isl_affs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
S
v
en Verdoola
e
ge
isl_pw_*_un
i
on_add:
d
o
n
't subtract no
n
-overlapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaege
isl_print
e
r_print_p
w
_af
f
: skip constrain
t
s
implied
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoola
e
g
e
add isl_basic_
s
e
t
_is
_
div_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaege
Merg
e
br
a
nch 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven V
e
r
do
o
laege
isl_printer_pr
i
nt_p
w
_
aff:
f
ix print
i
ng in C form
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Ver
d
oolaege
isl_stream_read
_
pw_af
f
:
c
a
l
l i
s
l_pw
_
aff
_
uni
o
n
_add instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sv
e
n Verdoolaege
isl_ver
t
ic
e
s
.
c:
c
ompu
t
e_cham
b
e
rs:
avoid
acce
s
s
t
o
freed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Ver
d
oolaeg
e
exp
o
rt
isl_pw_mult
i
_aff
_
co
a
lesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
export i
s
l
_
pw_
m
ulti_aff_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
S
ve
n
Verdoolaege
isl_aff_normalize: remove u
n
u
s
e
d
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sve
n
Verdoola
e
ge
isl_pw_multi
_
aff_from_map: ad
d
a special
c
a
s
e
wh
e
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdool
a
ege
private
l
y ex
p
ort is
l
_basi
c
_m
a
p_plain_is_sing
l
e_value
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Ver
d
oolaege
i
sl_printer
_
print_pw_
a
ff: simplif
y
domain expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
isl
_
m
o
r
ph
.
c:
fix
t
ypo i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven
V
erdoola
e
ge
Me
r
ge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2012-02-01
Sven
V
erdoo
l
aege
isl
_
ba
s
ic_se
t
_full_compres
s
ion: dete
c
t equa
l
i
t
ies in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven
V
erdoo
l
aege
isl_stream_read_pw_qpolynom
i
al: accept pro
d
u
c
ts of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven Ve
r
doo
l
aeg
e
isl_union_set_product
:
call isl_
s
e
t_product on entries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven V
e
rdoolae
g
e
isl_t
a
b_
p
ip
.
c: sol_
a
d
d: skip empty c
o
ntexts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-31
Sven
V
e
rdoolaege
isl_s
p
ace_set
_
d
i
m
_id: a
l
s
o
s
e
t id of par
a
m
eter in
nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-31
Sven Verdo
o
l
aege
isl_space_se
t
_dim_id: rename "dim" variable to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven
V
erdool
a
e
ge
scheduler: replace split_parallel by
s
plit_scaled optio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolae
g
e
add
i
sl_
m
at_scale_
d
own_
r
o
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
S
ven Verdoolaege
scheduler: add an
option to con
f
igure the
level of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven
V
erdoo
l
aege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-01-30
Sven V
e
r
doolaege
s
c
hedule
.
c
: s
p
lit_pa
r
a
l
lel: a
v
oid invalid memory accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
up
d
a
te for change in clang's HandleTopLevel
D
ecl return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Ver
d
oolaege
configure
.
ac: only link aga
i
nst libr
a
ries
f
rom L
L
VM
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
put ann
o
t
ations after
"stru
c
t"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verd
o
olaege
Merge b
r
anch 'main
t
'
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
isl_p
w
_
a
ff
_
n
o
n
_zero
_
set
:
don't assume isl_pw_aff is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next