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_polynomial.c: avoid use of an unitialized variable on an error path
2011-05-25
Sven Verdoolaege
is
l
_polynomial
.
c: avoid use of
an unitiali
z
ed v
a
riable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdool
a
ege
a
u
togen
.
sh
:
replace b
y
call t
o
autoreco
n
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
config
u
re
.
ac: use non-deprecat
e
d f
o
rm of
A
M_INIT_AU
T
OMAKE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
r
d
oo
l
aege
i
s
l
_
fold
.
c: avoid warni
n
g
a
bout cont
r
ol reaching
e
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
mark some fu
n
ctions as (p
o
ssibly)
unused
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
do
o
laege
isl_poly
n
omial
.
c: use flex array member to avoid ar
r
ay
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
lae
g
e
isl
_
t
ab_p
i
p
.
c:
remo
v
e unused context_lex_extend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
aege
isl_map
_
simplify
.
c: remove unused normalize_cons
t
raints_in_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
r
doola
e
ge
i
s
l_map_simplify
.
c: remove
u
n
used set_swap_inequality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl
_
co
n
vex_hull
.
c:
r
emove un
u
sed set_
p
roject_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
isl_convex_hull
.
c: remove u
n
used swap_ineq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
i
sl_a
r
g
.
c: fix typo affec
t
ing argument parsin
g
wh
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl_transiti
v
e_clo
s
ure
.
c: re
m
ove unus
e
d variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoola
e
ge
isl_unio
n
_map
.
c: remove
unused vari
a
b
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven
Verdoolaeg
e
isl_tab
.
c
: avoid war
n
in
g
a
b
out unhandled enumeration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
isl_tab
.
c: r
e
move unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
do
o
laege
isl_tab_pip
.
c:
rem
o
ve unused
v
ariables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_reordering
.
c: remove unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
oolaege
i
s
l
_output
.
c
:
remove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
isl_arg
.
c: remove unused variab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_m
a
p
.
c remove un
u
sed isl_
s
et_swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
isl_map
.
c: remove unused vari
a
b
l
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven
V
erdo
o
la
e
g
e
isl
_
map_
s
ub
t
r
act
.
c: rem
o
ve u
n
used variabl
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
V
erdo
o
laeg
e
isl_mo
r
ph
.
c
:
r
em
o
v
e
unuse
d
v
aria
b
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl_polynomial
.
c: remo
v
e unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoola
e
ge
isl_
i
npu
t
.
c: remove un
u
sed variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Ve
r
d
o
ol
a
e
g
e
isl_b
e
rnstei
n
.
c: remove unused v
a
riable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaeg
e
isl_dim
.
c: avoid war
n
ings about unha
n
dled enumeration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
lae
g
e
isl_di
m
_drop:
f
ix
b
ot
c
hed up
rename of paramete
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
bound
.
c:
remove unused
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdo
o
laege
i
s
l_
l
ocal
_
space
.
c: remove
u
n
used variab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_pw_tem
p
l
.
c:
r
emo
v
e unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
isl_fold
.
c: f
i
x typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_uni
o
n_templ
.
c: re
m
ov
e
unu
s
ed variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ve
n
Verdoo
l
a
e
ge
i
sl_fold
.
c:
r
e
move
un
u
sed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdool
a
ege
add isl_basic_set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
S
v
en Verdo
o
laege
isl
_
q
p
olynom
i
a
l_from_a
f
f: create privat
e
copy of div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven
V
erdoolaege
is
l
_aff_expand_di
v
s: fi
x
typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
S
v
en Verd
o
o
l
a
ege
isl_aff_a
l
loc: check that a
l
l
d
iv
s
are known
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
add isl_local_spa
c
e_divs_k
n
o
w
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaeg
e
Merge branc
h
'
m
aint'
commit
|
commitdiff
|
tree
2011-05-20
Sven Ver
d
oolaege
isl_qpolynomial_* cons
t
ructors: che
c
k dim before accessing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven
V
er
d
oolaege
add isl_qpolynomial_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verd
o
olaege
isl_qpolynomial
_
i
nvolves_dims: fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
is
l
_po
l
yn
o
mial
.
c:
f
ix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sv
e
n
Ver
d
o
o
l
aege
add i
s
l_aff_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-17
Sven Ve
r
doolaege
isl_bas
i
c_map_from_local_space: don't finali
z
e res
u
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
Verdoolaege
add isl_set_add_
c
o
nstraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_equa
l
ity_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
add is
l
_se
t
_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add
i
sl_co
n
strai
n
t_get
_
bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven
Verdool
a
ege
add isl_
{
basic_
,
}map_may_be_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
V
erdoola
e
ge
add isl_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaeg
e
add isl_b
a
sic_
s
et_expand
_
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdo
o
laeg
e
is
l
_
p
olynomial
.
c: mo
v
e
m
e
r
ge_divs to isl_loca
l
_space
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_local_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Ver
d
oolaege
isl_dim_size:
handle
i
sl_dim_all
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
a
dd isl_con
s
traint_i
n
volves_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doola
e
ge
i
sl_printer_print_qpoly
n
om
i
a
l
:
support proper isl output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
add isl_qpo
l
ynomia
l
_align_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoo
l
aege
add isl_ma
p
_
align_
p
ara
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaeg
e
export isl_
b
asic_set_
r
emo
v
e_redundancie
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
V
erdool
a
e
g
e
export isl_qpolynomi
a
l_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
expor
t
is
l
_set_elim
i
n
a
te
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
Verdoolaege
isl/div
.
h
:
drop dependen
c
e on isl/set
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
hid
e
isl_div internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
ad
d
i
sl_
d
i
v
_get
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
a
d
d
isl_mat_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
doc: drop documenta
t
io
n
for is
l
-pol
y
lib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
S
v
en V
e
rd
o
ola
e
g
e
add gmp flags to
p
kg
-
config
file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verd
o
olaege
e
xplici
t
ly li
n
k in gmp in a
p
p
lication
s
th
a
t refer
e
nce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven V
e
rdoo
l
aege
configure
.
a
c: don'
t
depend on automake 1
.
1
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sve
n
Verdoolaege
isl_pw_qpolynomia
l
_i
n
volves_d
i
ms: al
s
o check
whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
v
e
n Ve
r
dool
a
ege
add
isl_union_map_plain_is_inj
e
c
tive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
is
l
_ma
p
_intersect_rang
e
: a
d
d spe
c
ial case for
i
nterse
c
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en
V
erdo
o
laege
add isl_vec_s
o
rt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoo
l
ae
g
e
add isl_union_map_u
n
i
verse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ve
r
doolaege
rename *_fast_* func
t
ion
s
to
*_plain
_
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Verdoolaege
M
e
rge branch
'maint
'
commit
|
commitdiff
|
tree
2011-05-05
Sven
Verdo
o
l
a
ege
isl_ma
p
_
range: correctly handle
maps w
i
th 0D domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
isl_list
.
h: allow in
c
lusion fr
o
m C
+
+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
isl_tab_pip: don'
t
simpl
i
fy doma
i
n
in isl_for_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven V
e
rdoolaege
add i
s
l_printer_print_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
S
ven Ve
r
d
oolae
g
e
a
dd isl_constraint_get_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Ve
r
do
o
la
e
ge
add isl_mat_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
rename isl_mat_dump to isl_mat_print_in
t
ern
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n
Ve
r
d
o
o
l
ae
g
e
add
i
s
l_constr
a
int_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven V
e
rdool
a
ege
M
e
rge
branch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n Verdool
a
ege
isl_basic_map
_
affine
_
h
u
ll: finalize resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven V
e
rdo
o
laege
dataf
l
ow an
a
l
ysis: d
o
n
'
t de
p
e
nd on word size during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d isl_u
n
i
o
n
_s
e
t_compute
_
schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
add
isl_tab_
b
asic_set_non
_
neg
_
l
e
x
m
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
add isl_tab_basic_set_n
o
n_trivi
a
l_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Verdo
o
laege
isl_tab_pip
.
c: add_lexmin_eq: re
t
urn int
i
nstead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
i
sl_tab_
p
ip
.
c
:
r
estore
_
lexmin
:
return int
i
nstead
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_tab
_
pip
.
c
: add
s
ome
d
e
bugging code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
isl_tab_pip
.
c
:
fix typo in
c
omme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
is
l
_quicksort (copied from
g
lib
c
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
isl_p
r
inter_print_b
a
sic_set: also print invalid basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
add isl_unio
n
_map_is
_
injectiv
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next