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_map_deltas: add memory management annotations
2012-05-06
Riyadh Baghdadi
i
sl_map_deltas: add memory ma
n
a
g
e
ment
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaeg
e
i
s
l_a
c
c
es
s
_info: change interface
f
o
r sp
e
cifying res
t
rictions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_m
a
p_coale
s
ce: o
n
ly coalesce p
a
ir
s
of b
a
sic maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_coale
s
ce
.
c: change interface
o
f {in,}eq_stat
u
s
_in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sv
e
n
V
er
d
oolaege
a
d
d isl_map_sort_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven
V
e
r
doolaege
add is
l
_set_coalesc
e
test
c
as
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sv
e
n Verdoolaege
add isl_basic_
m
ap_get_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven V
e
rdoolaege
isl_m
e
r
g
e_divs: handle NULL
i
npu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
ven Verdoolaege
Merge branch
'mai
n
t'
commit
|
commitdiff
|
tree
2012-04-18
Sven
V
erdoo
l
aege
isl_
l
oca
l
_space_alloc_div:
f
ix e
r
ror handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdool
a
e
g
e
isl_union_set_compute
_
schedule: i
g
nore backward proximity
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Ve
r
doolaege
isl_ba
s
ic_map_inse
r
t: preserve emptiness
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdo
o
l
aege
i
sl_basic_se
t
_total_dim: h
a
ndle NULL
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
i
sl_term_get_div: suppo
r
t nest
e
d 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
Sven Verd
o
olaege
isl_
a
c
c
ess_info_compute_fl
o
w:
sort accesses in textual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven V
e
r
d
oo
l
aege
isl_flow
.
c:
a
ccess_so
r
t_c
m
p:
us
e
isl
_
quicksort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdool
a
ege
isl_qsort
.
h: fi
x
whitesp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
isl_map_coalesce:
op
t
ionally bou
n
d the coefficients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven
V
e
r
doolae
g
e
add isl_seq
_
ab
s
_max
commit
|
commitdiff
|
tree
2012-04-13
Sven
V
e
rdool
a
ege
Merg
e
branch 'main
t
'
commit
|
commitdiff
|
tree
2012-04-13
Sve
n
Verdo
o
laege
is
l
_map_
c
oale
s
ce: don't try to relax (implicit) equal
i
tie
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven V
e
rdoolaege
isl_tab
_
relax: preve
n
t relaxation on
d
ead or redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Sven Verdoolaege
i
s
l_
b
asic
_
m
ap_un
i
on:
p
l
ug
m
emory leak
o
n error p
a
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Louis-Noel Pouchet
Fix
a
ty
p
o in isl_term_d
u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
S
ven V
e
rdoolaege
i
s
l_stream_
r
ead_map:
a
ll
o
w "not" at s
t
art of groupe
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven
Verdoolaege
isl_test:
t
est_pa
r
se_map_equal
:
return result of test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sve
n
Verd
o
o
lae
g
e
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2012-04-07
S
ven Verdoola
e
ge
isl
_
pw_*_on_s
h
a
red_domain: i
m
prove error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
S
ven V
e
rdoola
e
ge
l
i
nk in new -
l
clangEdit when available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-16
Sven Verdool
a
ege
isl_*al
l
o
c macros: retur
n
e
x
pression o
f
d
esired type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verd
o
ola
e
ge
add isl_map_fixed_power
and
isl
_
union_ma
p
_
f
ixed_p
o
wer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven
V
erdoolaege
isl_token: change type
of "type" field from enum isl_toke
n
_t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
olaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoolaege
isl_u
n
ion_map
_
is_subset: properly handle non-o
b
viously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoolaege
i
s
l_
p
w_aff
_
cond: ch
a
nge
f
irs
t
ar
g
ument from a
n
isl_s
e
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
e
g
e
ad
d
isl_set_{l
o
wer,upper}_b
o
und
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Ver
d
oo
l
aege
a
d
d
isl_pw_af
f
_n_piece
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoolaeg
e
add i
s
l
_
set_indicator_function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
S
v
e
n Verdool
a
ege
isl_basic_
m
ap
_
affine_hull
:
con
s
ider
p
o
ints adjacen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven
V
erdo
o
laege
add
i
s
l_
s
et_has
_
d
i
m
_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 Verdoolaege
ad
d
isl_space_ha
s
_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-25
Sv
e
n Ve
r
doolae
g
e
configure
.
ac:
remove
s
p
u
rious ","
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
S
v
en
V
e
r
d
ool
a
ege
d
o
c
: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sve
n
Verdoolaege
isl_ba
s
i
c
_s
e
t_sample: perform basis
reduction at ea
c
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Ve
r
doolaege
add isl_basic_set_is_subset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaege
e
xport isl_basic_
m
ap_is_subset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verd
o
olaege
add i
s
l_basic_set_sample
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaege
doc: document *_sample funct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sven Verdoolaeg
e
Merge branch 'ma
i
n
t
'
commit
|
commitdiff
|
tree
2012-02-23
Sven Verd
o
olae
g
e
isl_coale
s
ce
.
c: wrap_
i
n_fac
e
ts: bail out if
a
ny of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sven Verd
o
olaege
isl_tes
t
: test
_
c
o
alesce_
s
et: fail if coalescing
f
ailed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
S
v
en Verd
o
o
l
aege
expor
t
i
s
l
_
map_pl
a
in_i
s
_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
Sven
Verdool
a
ege
isl_tab_b
a
s
ic_map
_
p
artial_lexopt: pro
p
erly nor
m
ali
z
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-20
Sven
Verdoolaege
add
i
sl_map_complem
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-19
To
b
ias Gross
e
r
scheduler: allow t
o
boun
d
the coeffici
e
nts in th
e
c
a
lc
u
la
t
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Gr
o
sser
isl_tab_basic_s
e
t_non_t
r
ivial_lexmin: do not add
cuts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
S
ve
n
Verdoolae
g
e
isl_map_fix_si: drop basi
c
maps that have become empty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
isl_map
.
c: ext
r
act
out common
r
emov
e
_if_e
m
pt
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaeg
e
isl_m
a
p
_coa
l
esce: drop
empty parts before checkin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven
V
e
r
dool
a
ege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2012-02-14
Sven V
e
rdoolaeg
e
isl_convex_
h
ull
.
c: uset_convex_
h
u
ll_wrap_
b
o
u
nded: remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
i
sl_basic
_
map_
r
ealign: pres
e
rve (mos
t
) flags
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sv
e
n
Verdoolae
g
e
add isl_printer_pr
i
nt_pw_aff tes
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaeg
e
isl
_
bas
i
c_map
_
foreach_l
e
xopt: normalize isl_affs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven
Verdool
a
ege
isl_pw_*_unio
n
_a
d
d: don't
s
ubtract non-overlapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Ve
r
doolaege
i
s
l_prin
t
er_print
_
pw_af
f
: skip constrain
t
s implied
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
S
v
en Verdoolaege
a
d
d
isl_b
a
sic_se
t
_is_div_co
n
st
r
ain
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Ver
d
oola
e
ge
Merge bran
c
h 'm
a
int'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven V
e
rd
o
olaege
i
s
l_
p
ri
n
t
e
r_
p
r
i
nt_pw_aff: fix printing in C
f
o
r
mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sv
e
n Verd
o
olaege
isl_stream_read_pw_a
f
f
:
call isl_pw_aff_union_
a
dd
instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
S
ven
V
erdool
a
ege
isl_ve
r
tices
.
c: compute_chambe
r
s: avoid access
t
o
f
reed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven
V
erdoo
l
ae
g
e
e
x
port
isl
_
pw_m
u
lti_aff_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Ver
d
o
ol
a
e
g
e
export isl_
p
w_multi_aff_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
S
v
en Ve
r
doolae
g
e
isl_aff_normalize: remove
u
nused divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verd
o
olaeg
e
i
s
l_pw_multi_aff_
f
r
o
m_map: add
a
s
p
e
cial case where
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sve
n
Verdoolaege
p
r
ivately
export isl_basic_ma
p
_plain_is_sing
l
e_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdo
o
lae
g
e
isl_printer
_
prin
t
_pw_a
f
f
:
simplify domain expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
i
sl_morph
.
c
: fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven Ve
r
doolaege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2012-02-01
S
v
en Ver
d
o
ol
a
ege
isl_basic_se
t
_full_compression: detect equalities in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verd
o
olaege
isl_stream
_
r
e
ad_pw_q
p
olynomia
l
: ac
c
e
p
t products of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sve
n
Ve
r
d
oola
e
g
e
isl_union_set_product: call isl
_
set_product on entries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
S
ven Verdoolaege
isl_
t
ab_pip
.
c: so
l
_add: sk
i
p empty
c
ontex
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-31
S
v
en Verdoolaeg
e
isl_space_s
e
t_dim_id: also
s
et
i
d of
p
aram
e
ter in n
e
st
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-31
Sven Verdoolaege
isl_s
p
ace_set_dim_id: rename "dim
"
variable to
"
space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sv
e
n
Ve
r
do
o
laege
scheduler: re
p
lace split_paral
l
el
b
y
s
p
lit_scaled option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven
V
e
r
doolaege
add
i
sl
_
m
at_
s
cale_down
_
row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Tobias Grosser
Add isl_union_map_gist_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verd
o
ola
e
ge
sched
u
ler: add an option to configu
r
e the le
v
el
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Ver
d
oolaege
Merg
e
b
ranch 'maint
'
commit
|
commitdiff
|
tree
2012-01-30
Sven Ver
d
oolaege
s
c
hedule
.
c: split_pa
r
allel: avoid invalid
m
e
m
o
r
y accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolae
g
e
u
pdate
for change in clang
'
s HandleTopLevelDecl return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
configure
.
ac:
o
nly link agai
n
st
libraries from LLVM
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
S
ven Verdool
a
ege
put annotations af
t
er
"
s
t
ruct"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Ver
d
oolaege
Me
r
g
e
b
ranc
h
'm
a
int'
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
isl_pw_a
f
f_non_zero_se
t
: don't assume i
s
l_pw_a
f
f is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdo
o
l
a
ege
isl_aff
_
n
o
n
n
eg_basic_set an
d
isl_aff_zero_basi
c
_set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-16
S
v
en Verdoola
e
ge
isl_tab
_
fr
o
m_b
a
sic_map:
preserv
e
al
l
const
r
aints in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next