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_dim.c: avoid warnings about unhandled enumeration value in switch
2011-05-25
Sven Verdoolaege
isl_dim
.
c:
avoid warnings about
unhandled enumeration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
lae
g
e
isl_d
i
m_drop:
fix botc
h
ed up
r
e
n
a
m
e of parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verd
o
ola
e
ge
boun
d
.
c: re
m
ove un
u
sed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven V
e
rdoolaege
isl_local_space
.
c:
remov
e
unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
s
l_pw_templ
.
c: remove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoola
e
ge
isl_fold
.
c: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_u
n
ion_templ
.
c: remove unused variable
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolaege
isl
_
fol
d
.
c: re
m
ove
u
n
used variab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven
V
erdoolaeg
e
add
i
sl_basic_set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdo
o
laege
isl_qpolynomial_f
r
om_aff:
c
reate private copy of divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
S
ven Verdoolaege
isl_aff_
e
xpa
n
d_divs: fi
x
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdo
o
laege
is
l
_aff_alloc:
check
t
ha
t
all
d
iv
s
are
know
n
commit
|
commitdiff
|
tree
2011-05-20
S
v
e
n Verdoolaege
ad
d
isl_lo
c
al_
s
pace_divs_known
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolae
g
e
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoola
e
g
e
isl_qp
o
ly
n
om
i
al_
*
con
s
tructors: ch
e
ck d
i
m before accessing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
S
ven Verdoolaege
ad
d
isl_qpolynomial_fr
o
m_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
S
ven
Ve
r
doolaege
isl_qpolynom
i
al_involves_d
i
ms: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
isl
_
polyn
o
mial
.
c: fix typ
o
in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
a
d
d isl_aff_
g
et_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-17
Sven Verdool
a
ege
isl_basic_
m
ap_fr
o
m_local_spa
c
e: don'
t
f
i
nalize r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
add
isl_s
e
t_
a
dd_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_equality_fr
o
m_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdool
a
ege
add isl_set_m
a
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
add isl_
c
onstraint_ge
t
_bo
u
nd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
add isl_{basi
c
_,}map_may_
b
e_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolae
g
e
add i
s
l
_basic_se
t
_expand_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl_
p
olynomial
.
c: move
m
erge_divs
to isl_local_spac
e
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
add isl_lo
c
al_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoola
e
ge
isl_dim_size: handle isl_dim_all
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_c
o
nstraint_involves_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
isl_printer_print_qpol
y
nomial: support p
r
op
e
r isl output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_qpolynomial_ali
g
n_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n V
e
rdoolaeg
e
add isl_m
a
p_
a
lign_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
ae
g
e
e
x
po
r
t isl_basic_s
e
t_
r
em
o
ve
_
redun
d
ancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
export i
s
l_qpolynomi
a
l_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
do
o
laege
export
i
sl_
s
e
t
_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
isl/div
.
h: drop
d
ependence
o
n isl/set
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
lae
g
e
hide is
l
_d
i
v internal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoolaege
a
dd
i
sl_div_ge
t
_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
ad
d
isl_mat_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
doc
:
d
r
o
p
d
o
c
u
m
entat
i
on f
o
r i
s
l-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Ve
r
doolaege
ad
d
gmp flags
t
o pkg-conf
i
g
file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sv
e
n
V
erdoolae
g
e
explicitl
y
link
in
g
mp
i
n ap
p
lications
t
ha
t
r
e
f
er
e
nce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven V
e
r
d
oolaege
con
f
igure
.
a
c
: don't depend on automake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
S
v
e
n Verdoolaege
is
l
_
p
w_
q
p
olynomial_in
v
olv
e
s_dims:
al
s
o
check w
h
ether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoolaege
add isl_union_map_plain_i
s
_inject
i
ve
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl_map_in
t
e
rsect_range: add special
cas
e
for intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verd
o
ol
a
ege
add is
l
_vec_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoolaege
add isl_union
_
map_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoo
l
aeg
e
rename
*
_f
a
st_* func
t
i
o
ns to *_p
l
a
i
n_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Verdoolaege
Merge branch
'ma
i
n
t
'
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoolaege
i
sl_m
a
p_range
:
correctl
y
handle maps wi
t
h 0D d
o
main
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolae
g
e
isl_lis
t
.
h: allo
w
inclusio
n
from C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
S
ven Ver
d
o
olae
g
e
i
s
l_tab_pip: do
n
't si
m
plify domain in isl_for
_
add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdool
a
ege
a
d
d isl_printer
_
p
r
int_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaeg
e
add isl_
c
onstrain
t
_get
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sve
n
Verdoolaeg
e
add isl_
m
at_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
rename isl_mat
_
dump to isl_ma
t
_print_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verd
o
ola
e
ge
add isl_constraint_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
S
ve
n
Verdoola
e
g
e
Merge branch
'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven
Verd
o
olaege
isl_bas
i
c_m
a
p_affine_hul
l
: finalize
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
S
v
en Verdoo
l
aege
d
atafl
o
w
an
a
lysis: don't depend
o
n word size during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
add i
s
l_
u
nion_se
t
_
compute_sche
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
o
laege
ad
d
i
s
l
_tab_basic_se
t
_
non_neg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add
isl_tab_basic_set_non_trivial_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoola
e
g
e
isl_tab
_
p
ip
.
c: ad
d
_lexmin_eq: return int in
s
tead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
i
s
l
_tab_pip
.
c:
r
e
store_lexmin: return int
instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
isl_tab_pip
.
c
:
ad
d
some debugging code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
V
erdoolaege
isl_tab_p
i
p
.
c: fix typo
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
Verd
o
olaege
add isl_quicksort (cop
i
ed from glibc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
isl
_
p
rinter_p
r
int_basic_set:
a
lso print invali
d
bas
i
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_union_map_is_
i
njective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add is
l
_un
i
on_
m
ap_i
s
_bijective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
dd isl_uni
o
n
_
m
ap_i
s
_single_val
u
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
r
d
o
ol
a
ege
add isl_
m
a
t_add_zero_ro
w
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_bl
k
:
don't
r
euse ov
e
rly large b
l
ocks for small
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add isl_hmap_
m
a
p
_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verd
o
olaege
ad
d
isl_union_map_
c
opy_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_un
i
o
n
_ma
p
_c
o
n
t
ains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
o
o
laege
add isl_basi
c
_
set_transform_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
a
dd isl_basic
_
set
_
offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
c
h
ange isl_mat_s
u
b_all
o
c pro
t
otype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
make isl_mat_s
u
b_*
f
un
c
tions priva
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verd
o
o
l
aege
add isl
_
vec_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
ad
d
isl_m
a
t_initia
l
_non_zero
_
c
ols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
o
olae
g
e
add isl
_
mat_set_element_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
add is
l
_basic_set_add_constraint
s
_dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
add isl_dim_map_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoola
e
g
e
isl_
d
im_map: allow
s
igned mapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdo
o
laege
is
l
_dim_map: extract from isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Verdoolaege
c
h
ange
p
r
ot
o
type of isl_tab_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
add isl_map_
r
emove_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoo
l
aege
doc: fix
t
yp
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaeg
e
doc: add a
n
o
te on th
e
accu
r
acy of our ap
p
roximati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolae
g
e
add isl
_
uni
o
n_se
t
_co
e
fficie
n
ts and isl_union_set
_
solutions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ve
r
dool
a
ege
add
i
s
l_union_s
e
t_li
f
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
M
erge br
a
nc
h
'
m
aint'
commit
|
commitdiff
|
tree
2011-04-19
Sven
Verdoolaeg
e
isl_tab: alway free saved basis undo record
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sve
n
Verdoolaege
make s
u
re destin
a
tion for GDB modul
e
exists
b
efore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next