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_tab_pip.c: restore_lexmin: return int instead of isl_tab *
2011-04-21
Sven
Verdoolaege
isl_tab_pip
.
c: rest
o
re
_
lexmin: return int ins
t
e
a
d of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoo
l
aege
isl_tab_pip
.
c:
add some
debugging co
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rd
o
o
l
a
e
ge
isl_tab_pip
.
c: fi
x
t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
add i
s
l_q
u
ic
k
s
o
rt
(cop
i
ed from glibc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
isl_printe
r
_
p
rint_b
a
sic_set
:
a
l
s
o print inva
l
id bas
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolae
g
e
add isl_union_map_is
_
inject
i
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
add isl_union_
m
ap_is_bi
j
e
ctive
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
add isl_unio
n
_map_is_single_
v
a
l
ued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolae
g
e
add isl_m
a
t_
a
d
d_z
e
ro_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
isl_blk: don't reu
s
e overly large blocks for s
m
a
l
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
add
is
l
_hmap_map_
b
a
s
ic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
add isl_union
_
map_
c
opy_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
o
ola
e
ge
add isl_union_map_contains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
add i
s
l_
b
asic_set_tr
a
nsf
o
rm_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ver
d
oolaege
a
d
d i
s
l_
b
asic_set_offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
change isl_mat_sub
_
alloc p
r
ototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
m
a
ke isl_mat
_
sub_* f
u
nctions
p
riv
a
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
add
i
sl_vec_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add i
s
l_mat_initial_non_z
e
ro_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaeg
e
add isl_m
a
t_set_el
e
ment_s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ve
r
doolaege
add i
s
l_basic_s
e
t_
a
dd_
c
o
ns
t
rain
t
s_d
i
m_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
add isl_dim_map_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
isl_dim_map:
allow signed mapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
is
l
_
dim_map:
e
xtract fro
m
isl
_
map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laeg
e
change
pro
t
otype of isl
_
tab_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
dd isl_map_remove_
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
do
c
: fix
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
doc: add a
n
ote on t
h
e accurac
y
of our a
p
prox
i
m
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
o
olaege
a
d
d
isl_union
_
s
e
t
_c
o
efficien
t
s and isl_union_se
t
_solut
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
a
dd isl_uni
o
n_set_lif
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolae
g
e
Merg
e
bra
n
ch '
m
ain
t
'
commit
|
commitdiff
|
tree
2011-04-19
Sve
n
Ve
r
doolaege
isl_tab: alway free saved b
a
sis undo rec
o
rd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ver
d
oolaege
make sure destination
f
or GDB
m
o
du
l
e
exists
b
ef
o
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
S
v
en Verdoolaege
isl_tab_pip
.
c: add_l
e
xmin_e
q
:
remove m
i
sgu
i
d
ed op
t
imizati
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n Verd
o
o
l
aege
isl_basi
c
_map_lexmin:
t
urn of
f
equality dete
c
tion on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
v
en Ver
d
oolaeg
e
use s
i
lent
m
ak
e
rules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_stre
a
m_read_map: fi
x
h
andli
n
g
of d
i
vs in tuples
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
ven Verdoolaege
isl_mat_lef
t
_
hermit
e
: plug me
m
ory leak
on
e
rror
p
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n Ver
d
o
o
laege
plug m
e
mory leak in isl_
m
a
t
_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verd
o
olae
g
e
i
sl 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
Verdoolaege
doc: add some implementation
d
etails on pa
r
amet
r
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
isl_lp
.
c: avoi
d
cl
a
ng war
n
in
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
l
_stream_
r
ead
_
map: accept floord and ceild exp
r
essi
o
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en
V
e
rdoolaege
isl_stream_r
e
ad_map: ac
c
ept min and m
a
x expr
e
ssions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
sl_stre
a
m_read_map: p
r
o
perly r
e
ad
n
ested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolae
g
e
isl_stream_read_map
:
treat divs as output variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdo
o
la
e
g
e
isl
_
m
ap_coalesce: plug memory le
a
k on error p
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl
_
mat_extend: avoid memo
r
y leak when re
a
lloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Ve
r
doolaeg
e
isl_basic_m
a
p_overlying
_
set: avoid memory lea
k
when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
isl_
s
t
ream
_
ge
t
c:
a
void memory
l
eak w
h
en realloc fai
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
r
udiment
a
ry
s
upport for asynchrono
u
s
termin
a
ti
o
n
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sve
n
Verdoola
e
ge
hide isl
_
c
t
x
i
nternals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdool
a
e
g
e
isl_v
e
c_read_from_file: drop input_format
a
rgument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_map
.
c: drop
u
nused error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoola
e
g
e
isl_input
.
c: drop unused erro
r
label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verd
o
olae
g
e
respect DESTDIR
when installing is
l
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Ve
r
d
oolaege
isl
_
stream: a
c
cept "$" t
o
ken
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add is
l
_uni
o
n_map_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
c
h
ange
isl
_
map_power inte
r
f
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdool
a
ege
a
d
d
i
sl_union_ma
p
_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolae
g
e
add
p
ri
v
ate isl
_
basic_map_sw
a
p_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdo
o
laege
add
i
s
l_
u
nion_map_delta
s
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven V
e
rdoola
e
ge
is
l
_map
_
del
t
as:
d
on't copy flag
s
from input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ve
r
doolae
g
e
isl_stream_
r
ead_m
a
p: accep
t
constant expre
s
sions
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n V
e
rd
o
olae
g
e
isl_st
r
eam: accept "/\" and
"\/
"
a
s
alternatives for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven
V
erdoolaege
isl_stream: on
l
y
quote
n
e
w
lin
e
using '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven
V
erdoolaeg
e
i
s
l_stream: maintain private ungetc buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sve
n
Verdoola
e
ge
isl
_
set_lifting: s
i
m
p
l
i
fy and finali
z
e result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven
V
erdoolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verd
o
olaege
d
oc: drop
long outdated note on transitive c
l
osures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven Ve
r
doolaege
a
dd isl_
b
a
s
ic_set_get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sve
n
V
erdo
o
laege
i
sl_map_ident
i
ty: tak
e
dimens
i
on
specifica
t
ion of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n Ve
r
doolaege
renam
e
is
l
_dim_map to isl_dim_
m
ap_
f
ro
m
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
tran
s
itive closure:
projec
t
ou
t
parameters
w
hen any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
rd
o
o
l
aege
p
rivately export
i
sl_basic_
s
et_reset_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ver
d
oolae
g
e
i
sl_
s
et_lift: preserve structure of space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verd
o
o
lae
g
e
isl_pw_qp
o
ly
n
o
mi
a
l_boun
d
: handle combina
t
io
n
of
w
rap
p
in
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ve
r
doo
l
a
ege
isl_tab_pip
.
c: fix ty
p
o in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
e
rd
o
olaege
isl_tab: check for obviously e
m
pty tableaus
a
fter discoverin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n Verdoolaeg
e
i
sl_basic
_
map_gist:
pr
e
fer contr
a
ints without existenti
a
l
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdoola
e
ge
isl_basic_map_sort
_
constraints: cha
n
ge comparison routine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
S
v
e
n V
e
rdoolaeg
e
i
sl_tab_in
e
q_t
y
pe:
classify mo
r
e constraints as
be
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaeg
e
isl_map_co
a
l
esce: be more relaxed about multiple equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl
_
b
asic_map_from_domain_and_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
erdo
o
l
a
ege
a
d
d
isl_basic_set_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n
V
erdool
a
ege
add isl_basic_set_flat
_
product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoo
l
aege
expo
r
t isl_basic_map_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
erdoolaege
ad
d
isl_basic_map_from_qp
o
l
y
nomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream
:
s
u
pport
\<newline> line
continuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
add
i
sl_union_m
a
p
_
read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdool
a
ege
isl_strea
m
_
r
ead_map:
a
cc
e
pt 'tru
e
' and 'false'
c
onstraint
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdool
a
eg
e
isl_stre
a
m_read_map: all
o
w ext
r
a
'
;' at end
o
f map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
rdoolaege
isl_stre
a
m_rea
d
_ma
p
: allow
n
egations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdo
o
la
e
ge
isl
_
s
t
ream_read_map: allow exis
t
enti
a
l quant
i
fication
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
privatel
y
export i
s
l_basic_map_add_div
_
c
o
nstraints_v
a
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven V
e
rdoo
l
a
ege
is
l
_morph_basic
_
set:
p
r
eserve ra
t
ionality
of inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdo
o
laege
add isl_basic_
s
et_is
_
ratio
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaeg
e
isl_printer_print_basic_map: explicitly
mark ra
t
ional
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoolaege
isl_
s
tr
e
am_read_map: read rati
o
nal m
a
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next