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_union_pw_*: don't assume zero is the default value
2012-05-06
Sven Verdool
a
ege
isl_un
i
on_pw_*
:
don't assume zero is the default value
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Ver
d
ool
a
e
ge
a
d
d
isl
_
pw_multi_aff_from_
m
ulti
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
export isl
_
m
u
l
t
i_aff_s
e
t_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
laege
ad
d
isl_mult
i
_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
doolaege
a
dd isl_map_from_mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Verdoolaege
isl_
b
a
sic_set_p
a
ram
e
ter_c
o
mpression:
u
se isl_vec_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ver
d
oolaege
isl_
f
low
.
c:
u
se public isl_vec i
n
terface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add
i
sl
_
vec_set_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
ven V
e
r
d
oola
e
ge
add isl_
v
ec_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdoolaege
add
public isl_ve
c
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
a
dd isl_seq_set_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Ve
r
do
o
laege
isl_unio
n
_pw_*_free:
r
eturn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
lae
g
e
spli
t
off declarations of isl_uni
o
n_map
a
n
d
i
sl_unio
n
_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Riyadh Ba
g
hdadi
i
s
l_map_deltas: add memory
man
a
g
e
ment ann
o
ta
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Ver
d
oolaege
isl_access_info:
c
hange interface fo
r
specifying
restrictions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_map_coa
l
esc
e
: only coalesce pai
r
s of b
a
sic ma
p
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_
c
o
a
lesce
.
c: change interface of {in,}eq_
s
tatus_in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdool
a
ege
add isl_map_sort
_
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
add i
s
l_
s
et_co
a
l
e
sce test c
a
se
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
S
ve
n
V
e
rdoolaege
add isl
_
basic_map_
g
et
_
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_me
r
ge_divs: handle NU
L
L
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
Merge br
a
nch 'ma
i
nt'
commit
|
commitdiff
|
tree
2012-04-18
Sven
Verdool
a
e
ge
isl_loca
l
_spa
c
e_all
o
c_d
i
v:
fix error
h
and
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoo
l
aege
isl_uni
o
n_set_c
o
mpute_schedule: ignore bac
k
ward proximity
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
S
v
en
V
er
d
oolaege
isl_basic_m
a
p_insert: preserve emptiness
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoola
e
ge
isl_ba
s
ic_set_total_dim:
handle NUL
L
in
p
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven V
e
r
d
oolae
g
e
i
s
l
_
term_get_div: support nested di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sve
n
Verd
o
olaege
isl_term_get
_
div: normalize res
u
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
isl_acces
s
_
i
nfo_compute_flow:
s
ort acc
e
s
ses i
n
textu
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoo
l
aege
i
s
l
_
fl
o
w
.
c: access_
s
ort
_
cmp: use i
s
l_quick
s
ort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verd
o
ol
a
ege
i
sl_q
s
ort
.
h: fi
x
whitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven V
e
rdoolaege
isl_
m
ap_coa
l
es
c
e: opti
o
nally bound t
h
e co
e
fficients
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven Ve
r
doolaeg
e
add
isl_seq_abs
_
max
commit
|
commitdiff
|
tree
2012-04-13
Sve
n
Verdoo
l
aege
M
erge br
a
nch 'maint
'
commit
|
commitdiff
|
tree
2012-04-13
S
v
en Ve
r
doolaege
i
sl
_
ma
p
_coalesc
e
: don't try t
o
rel
a
x
(i
m
plici
t
)
equal
i
ties
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sve
n
Verdoolaege
isl_tab_relax: p
r
e
vent rela
x
at
i
on on dead or r
e
d
undan
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-11
Sv
e
n
Verdo
o
lae
g
e
is
l
_basic_map_union: plug mem
o
r
y lea
k
on er
r
or pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-11
L
o
u
is-Noe
l
Pou
c
het
Fi
x
a ty
p
o in isl_term_dup
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sven
V
erdoolaege
isl_strea
m
_read_
m
a
p: al
l
o
w
"
not"
at start of gro
u
ped
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sven
V
e
r
doolaege
i
sl_
t
est: test_parse_map_equal: retu
r
n resu
l
t of
test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdoolaege
Merge
bran
c
h '
m
aint'
commit
|
commitdiff
|
tree
2012-04-07
S
v
e
n
Verdoolaege
isl_pw_*_on_
s
h
ar
e
d
_domain
:
impr
o
v
e error handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
S
v
en Verdoolaege
link in
n
ew -lclangEdit w
h
en av
a
ilable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-16
Sven Verdoo
l
a
e
g
e
isl_*alloc ma
c
ros: return
e
x
pression of desired type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoo
l
aege
add isl_map_fixed
_
power and isl_unio
n
_ma
p
_fixed_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oolaege
isl_token: change type of "typ
e
"
field fro
m
enum is
l
_token_t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaeg
e
Merge branch 'ma
i
n
t
'
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
laege
isl_un
i
on_map_is_subset: prope
r
ly handle non-obvi
o
usly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
e
r
doolaege
isl_p
w
_
a
f
f
_cond: change first argum
e
nt
f
rom an is
l
_set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoo
l
ae
g
e
add
i
sl_set_{lowe
r
,upper}_bo
u
nd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n
V
e
r
dool
a
ege
add isl_p
w
_
aff_n_p
i
ece
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
S
ven Verdool
a
ege
add isl_set_indic
a
tor_functio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
S
ven Verdoolaeg
e
isl_basi
c
_map_af
f
ine_hull: consider points adjacent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven Ver
d
oolaeg
e
add i
s
l_set_has_dim_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sv
e
n
Verdoolaege
d
o
c: minor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdool
a
ege
add isl_
s
pac
e
_has_dim_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-25
Sven Verdoolaege
configure
.
ac: remove spu
r
ious ","
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sv
e
n Verdool
a
ege
d
o
c:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven
Verdoolaege
isl_basic_set_sample:
p
e
r
f
o
rm b
a
s
i
s
reduction at e
a
ch
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sve
n
Verdoolaege
add
i
sl_bas
i
c
_set_is_subse
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaege
e
x
port isl_basic
_
map_is_subs
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdool
a
e
g
e
add
i
sl_basic_set_sample
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
S
v
e
n Verdoolaege
doc: docum
e
nt *_sample f
u
nctio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-23
Sven
Verdoolaege
M
erge br
a
n
c
h
'
m
aint'
commit
|
commitdiff
|
tree
2012-02-23
S
v
en Verdoolaege
isl_
c
oalesce
.
c
:
wrap_in
_
fac
e
ts: ba
i
l
out i
f
any of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-23
Sven
Verdoolaege
isl_test: test_coalesce_set: fail if
coal
e
scing failed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-21
Sven Verdoolaege
expo
r
t isl
_
map_pl
a
in_is_single_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-21
Sven Verdoolaege
i
sl_tab_ba
s
ic_map_parti
a
l_
l
exopt: p
r
operly no
r
mal
i
ze
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-20
Sv
e
n V
e
rdoo
l
a
eg
e
add isl
_
map_com
p
lement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Gros
s
er
scheduler:
a
l
lo
w
to b
o
und the coefficients in the ca
l
cula
t
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Grosser
is
l
_tab_
b
asic_
s
et_non_trivi
a
l_lexmin:
d
o not add c
u
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoola
e
ge
is
l
_ma
p
_
fix_si: drop
basic maps that
have become e
m
pty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
isl_ma
p
.
c: extract
out c
o
mmon remove_
i
f_empty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
i
s
l_map_c
o
a
lesce
:
drop em
p
t
y
p
arts be
f
ore
c
h
ecking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sv
e
n Verdool
a
ege
M
e
r
g
e branch 'maint'
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
isl_convex_hull
.
c:
uset_convex_hull
_
wrap_
b
ounded: remo
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sven
V
erdool
a
ege
isl_basic_map_realign: preserve (most) flags
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sv
e
n Verdoolaege
add i
s
l_pr
i
n
t
er_print
_
pw_aff
t
est
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaege
isl_ba
s
ic_map_foreach_
l
exopt: normalize
i
sl_a
f
fs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verd
o
olaege
isl_p
w
_*_union_add: d
o
n'
t
subtrac
t
non-overlapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven
V
erdoola
e
g
e
isl_pri
n
ter_print
_
pw_af
f
: sk
i
p constraints
im
p
lie
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaege
add isl_bas
i
c_
s
et_is_d
i
v_constra
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven
Verdoolaege
Merge
b
r
a
nch 'maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sv
e
n V
e
rdoolaege
isl_p
r
in
t
er_print_pw_aff:
f
ix
p
r
inting in
C f
o
rmat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sv
e
n
Verdool
a
ege
isl
_
stre
a
m_read_pw_aff
:
c
all is
l
_
pw_aff
_
union_add instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoo
l
aege
isl
_
vertices
.
c
: compute_chambers: avoi
d
a
ccess t
o
freed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
S
ven Ve
r
d
oolaege
export
i
sl_p
w
_multi_aff_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoola
e
g
e
export isl_pw_multi_
a
ff_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven
Verdoo
l
aeg
e
isl_aff
_
n
o
r
malize: re
m
ove unused
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdo
o
lae
g
e
isl_pw
_
m
u
lti_aff_from_map
:
add a special case where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
privatel
y
export is
l
_basic_map_plain_is_single_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sve
n
V
e
rdoolaege
isl_p
r
in
t
er_pr
i
nt_p
w
_aff: simpli
f
y doma
i
n
expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
S
ven Verdoola
e
ge
isl_
m
or
p
h
.
c
: fix typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
Merge
b
r
a
nch 'maint'
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolae
g
e
i
s
l_b
a
s
ic_set_
f
ul
l
_compressi
o
n:
detect equali
t
i
e
s
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Ve
r
do
o
l
aege
isl_stream_read_pw_qpolynomial: accept pro
d
ucts of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sv
e
n V
e
rdoolaege
isl_union_set_product: call isl_se
t
_pro
d
uc
t
on en
t
ries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
S
ven Verdoolaege
isl_tab_pip
.
c:
s
o
l
_add:
skip em
p
ty contexts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-31
Sven Verdoolaege
is
l
_space_
s
e
t_dim
_
id: also
s
et id of paramet
e
r in nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-31
Sven Ve
r
d
o
o
laege
isl_space_set_dim
_
id
:
rename "dim" variable to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next