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_transitive_closure.c: union_components: avoid invalid access on error path
2012-05-06
Sven Verdoolaege
isl_union_pw_*:
d
on'
t
assume z
e
ro i
s
t
h
e
default value
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
dool
a
e
g
e
add isl_pw
_
multi_aff
_
from_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoola
e
ge
exp
o
rt isl
_
multi_aff_s
e
t_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
ve
n
V
erdo
o
laege
add isl_multi_aff_ze
r
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Ver
d
oo
l
aege
add isl_map_from_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Ve
r
doolaege
isl_b
a
sic_se
t
_paramete
r
_
compr
e
s
s
ion: use
isl_ve
c
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n Verdoolaege
i
sl_f
l
ow
.
c: use public isl_vec
i
nte
r
face
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoo
l
aege
ad
d
isl_vec_se
t
_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add
isl_vec_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
doolae
g
e
add public
isl_vec interfac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl_seq
_
set_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdo
o
laege
isl_unio
n
_
pw_
*
_f
r
ee: re
t
urn
N
ULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
olaege
spl
i
t off declarat
i
ons of isl_
u
nion_map
a
nd isl_
u
n
ion_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Ver
d
oolaege
is
l
_access
_
info: c
h
ange interfa
c
e for sp
e
ci
f
ying restrictions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sve
n
Verdool
a
eg
e
isl_
m
ap_coalesce:
only
coalesce pairs of
b
as
i
c maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Ver
d
o
o
laege
isl_coa
l
esc
e
.
c
:
change interface of {in,}eq_st
a
tus
_
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sv
e
n Ver
d
o
o
l
aege
add
isl_map_sort
_
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
add
is
l
_set_coalesce test case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
add isl
_
basi
c
_
m
ap_
g
et_d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven
V
e
r
doolaege
isl_me
r
g
e_divs: handle NUL
L
in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoola
e
ge
M
e
rge branch 'main
t
'
commit
|
commitdiff
|
tree
2012-04-18
S
v
en
Verdoo
l
aege
isl_
l
o
c
al_space_alloc_div: fix
error handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaeg
e
isl
_
union_set_com
p
ute_schedul
e
: ignor
e
backw
a
rd prox
i
mit
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sv
e
n
Verd
o
olaeg
e
i
sl_bas
i
c_map_in
s
e
rt: preser
v
e
e
mptines
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Ver
d
oolaege
is
l
_basic
_
se
t
_t
o
tal_dim: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sve
n
Verdoola
e
ge
i
s
l
_te
r
m_ge
t
_div: support nested d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Ve
r
doo
l
aege
isl_term
_
get_
d
iv:
n
o
rmal
i
z
e
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven V
e
rdoolaege
isl_access_info_compute_f
l
ow
:
sort
a
ccesse
s
in textual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
S
v
en Verdoolaege
i
s
l_flow
.
c: acc
e
ss_s
o
rt_cmp: us
e
isl_quick
s
ort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven
V
erdoo
l
aege
isl
_
qsort
.
h:
fix
w
h
i
tespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
isl_map_coalesce:
optionally bo
u
nd the coeffic
i
ents
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verd
o
olaege
ad
d
isl_s
e
q
_
a
bs_max
commit
|
commitdiff
|
tree
2012-04-13
S
v
en Verdoolaege
Mer
g
e
b
r
anch 'main
t
'
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdool
a
ege
isl_m
a
p_coalesc
e
: don't try to
relax
(implicit) equal
i
ties
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
S
ven Verdo
o
l
ae
g
e
is
l
_tab_re
l
ax: prev
e
n
t
relax
a
tion
o
n dead
or redundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-11
Sven
V
e
rdoolaege
isl_basic_
m
ap_un
i
o
n: plug mem
o
ry leak on
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verd
o
olae
g
e
i
s
l_st
r
eam_rea
d
_
map
:
al
l
ow "
n
ot" at start of grouped
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sven
V
erdoolaege
isl_test
:
tes
t
_
p
ars
e
_m
a
p
_
equal: r
e
turn result of tes
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdoola
e
ge
Me
r
g
e
branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2012-04-07
Sv
e
n Verdoolaeg
e
isl_pw
_
*_on_sh
a
red_domain
:
im
p
rove error hand
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven
Verdoolaege
l
ink in new -lclangEdit
w
hen avail
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-16
Sven Verdo
o
laege
isl_*alloc macro
s
:
retur
n
e
xp
r
ession of desired ty
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verd
o
olae
g
e
add isl_map_fixed_po
w
er
and isl_union_map_fi
x
e
d
_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolae
g
e
isl_token: chan
g
e
type of
"
type"
fi
e
ld from enum isl
_
token
_
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verd
o
olaege
Merge bran
c
h
'maint'
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
e
g
e
isl_union_map_is_subset: prop
e
r
ly
h
andle non-obvio
u
sly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
e
n Verdo
o
lae
g
e
i
s
l_pw
_
aff_cond
:
ch
a
nge first
a
rgum
e
nt
fro
m
a
n
i
sl_set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven V
e
rdoola
e
g
e
add isl_set_
{
lower,upper}_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
ven
V
er
d
oolae
g
e
ad
d
isl
_
pw_
a
ff_n_piece
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoolaege
add isl_set_i
n
di
c
ator_function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
S
ven Ve
r
d
o
ol
a
ege
isl_basic_map_affi
n
e_hu
l
l: consider points adjacent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoolaege
add i
s
l
_
set_ha
s
_dim_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoolaege
doc: mi
n
o
r
clean
-
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
S
ven
V
erdoolaege
add isl_space_has_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-25
Sven Verdoolaege
c
o
nf
i
gure
.
a
c: remove spurious ","
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdo
o
l
aege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven
V
erdool
a
ege
isl_
b
a
s
ic_
s
et_samp
l
e: perform basis
red
u
ction at e
a
ch
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verd
o
olaege
add isl_
b
asic_s
e
t_is_subset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven
Ver
d
oolaege
export
isl_basic
_
map_i
s
_subset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
S
v
en Verd
o
ola
e
g
e
add isl
_
basic
_
set_samp
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
S
ven Verdoolaege
doc: document *_sample fun
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-23
S
ven Verdoola
e
ge
M
e
rge
b
ranch 'maint
'
commit
|
commitdiff
|
tree
2012-02-23
Sven Verdoolae
g
e
i
s
l_coalesce
.
c
: w
r
ap_in_facets
:
b
ai
l
out if any of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-23
Sven Verdoo
l
aege
isl_test: test_coalesce
_
set:
f
a
il if coalescing failed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-21
Sven
V
erd
o
olaege
e
xport i
s
l_map_plain_is_single_va
l
u
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-21
Sven Ve
r
doo
l
aege
isl_tab_basi
c
_ma
p
_partia
l
_lexopt: pro
p
erly nor
m
alize
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-20
Sv
e
n Verd
o
olaege
add isl_map_
c
omple
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sve
n
Ve
r
doolaege
isl_map_fi
x
_
s
i
: dr
o
p
b
asic ma
p
s that have beco
m
e
e
mpty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
S
v
en Verd
o
olaege
i
s
l_map
.
c: ex
t
ract out common remov
e
_if_empty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
isl
_
map_coa
l
esce: drop empty parts before
c
hecking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
Merge branc
h
'main
t
'
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaeg
e
is
l
_convex_
h
u
ll
.
c: uset_
c
onvex_hull_wrap_bounded:
r
emov
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sv
e
n
Verdo
o
l
a
eg
e
isl_ba
s
ic_map_re
a
lign
:
pres
e
rve (most) flags
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaege
a
d
d
i
sl_printer_print_pw_aff test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaege
isl_basic_map_forea
c
h
_le
x
opt: nor
m
alize
isl_affs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaege
isl_pw_*_union_add:
don't subtract non-over
l
appi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaege
is
l
_p
r
i
n
ter_pr
i
nt_pw
_
aff
:
skip constra
i
n
ts implied
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sv
e
n Verdoolaege
add
isl_b
a
sic_set_is_div_constrai
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Ve
r
doolaege
Me
r
ge branch 'maint
'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoo
l
ae
g
e
isl_
p
rinter_
p
ri
n
t
_
p
w_af
f
: f
i
x pr
i
nting in C format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven
V
e
rd
o
olaege
isl_stream_r
e
ad_pw_af
f
: call is
l
_pw_aff_uni
o
n
_
a
dd instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sve
n
V
e
rdool
a
ege
isl_vertices
.
c: com
p
ute
_
cha
m
b
e
rs: a
v
oid
a
cce
s
s to freed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
expor
t
i
sl_
p
w_mu
l
ti_aff_coale
s
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
e
x
port isl_pw_multi_aff_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven V
e
rdoolaege
i
sl_af
f
_norm
a
lize: remove u
n
us
e
d di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdool
a
ege
isl_pw_
m
ulti_aff_from
_
map: a
d
d a
s
pecial case where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sv
e
n Verd
o
olaege
privatel
y
export isl_basic_map_plain_is_sin
g
le_va
l
u
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sve
n
Ver
d
oola
e
g
e
isl_printer_print_
p
w_
a
ff: simplify domain expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven
Verdo
o
laege
i
s
l_
m
orph
.
c: fix typo in c
o
mmen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven
V
erdoolaege
Me
r
ge b
r
anch 'mai
n
t'
commit
|
commitdiff
|
tree
2012-02-01
Sven Ve
r
d
oo
l
ae
g
e
isl_ba
s
ic_set_ful
l
_compress
i
o
n: detect equali
t
ies in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
S
v
en Verdoolaege
isl_s
t
ream_r
e
ad_pw_qpolynomial:
a
c
cept products of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Ver
d
o
o
laege
isl_un
i
on_se
t
_prod
u
ct: call isl_set_product on entrie
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
S
v
en
Verd
o
olaege
isl_tab
_
pip
.
c: sol_add: skip emp
t
y c
o
ntexts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-31
Sven Verd
o
o
laege
isl_space_set_dim_id: also set id
of parameter in nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-31
Sven Verdoolaege
i
s
l_space
_
set_dim_id: rename
"di
m
" v
a
riable t
o
"space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven
V
erdo
o
laege
scheduler:
r
eplace sp
l
it_parallel by split_scaled
opti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven V
e
rdo
o
laege
add i
s
l_ma
t
_scale_do
w
n
_
row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verd
o
olae
g
e
schedu
l
er
:
a
d
d
an opti
o
n to con
f
i
g
ure the
level of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sv
e
n
V
e
rdoolaege
Merge bran
c
h 'mai
n
t'
commit
|
commitdiff
|
tree
next