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_min: micro-optimization: postpone taking into account denominator
2011-02-10
Sven Verdoolaege
isl_tab_min
:
micro-optimization: post
p
o
ne taking
into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge br
a
nch 'main
t
'
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
isl_t
a
b_ad
d
_row: add further exp
l
anatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaeg
e
isl_tab
.
c: fix typo
s
in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoo
l
a
e
g
e
isl_tab_pip
.
c:
correctly de
t
e
c
t non-
n
egativity
o
f
divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
laege
a
d
d test
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Verdoolaege
t
e
st both
context hand
l
ing m
e
chanisms
of isl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
isl_tab_is_equality: properly
s
uppo
r
t "big
pa
r
ameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
i
sl_tab
_
pip
.
c: fix typo
i
n
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
Verdool
a
ege
isl_affine_hull
.
c
:
fix t
y
pos
in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
Verdoolaege
isl_
u
nio
n
_
map
_
compute_flow:
r
et
u
rn accesses
with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
isl_un
i
on_map
.
c: inpla
c
e: pass
data pointer to isl_
h
ash_tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdo
o
laege
isl_dim_move: upda
t
e parameters
of neste
d
spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
ven
V
erdoolaege
add isl_ma
p
_nat_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoo
l
aeg
e
cle
a
n up isl_set_from_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdo
o
la
e
ge
m
e
rge isl_basic_se
t
/isl_
b
a
s
i
c_map and
i
sl_set/i
s
l_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoo
l
aeg
e
ren
a
me "omeg
a
" transi
t
iv
e
closure to "box" transitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaege
export isl_int
_
obj
_
free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
isl
_
vertices
.
c
: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
er
d
oolae
g
e
i
s
l_un
i
on_
t
empl
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdo
o
l
a
ege
i
sl_map_subtract
.
c: n_
n
on_redundant: propage isl_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
la
e
ge
isl_bernstein
.
c
:
f
i
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
o
laeg
e
add
i
sl_union_pw_qpol
y
nom
i
al_m
u
l_isl_i
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
i
sl_stream
_
r
e
ad_obj: re
a
d i
n
t
o
bjec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
a
d
d
int
o
bject
s
for u
s
e
in iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
is
l
_b
a
sic
_
map_remove_div
s
:
f
inalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
add isl
_
ba
s
ic_set_
g
et_tu
p
le_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ver
d
oolaege
Merge
b
ranc
h
'maint'
commit
|
commitdiff
|
tree
2011-01-22
S
v
e
n Verdoolae
g
e
is
l
_union_m
a
p_sam
p
le
:
d
on't ret
u
rn NULL on empty
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven V
e
rdoola
e
ge
isl_
b
asic_
m
ap
_
set_
t
uple
_
name
:
fina
l
ize
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ver
d
oolaege
isl_
t
ransitive_closure
.
c: more anony
m
ize
i
nput map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven
Verdoolae
g
e
i
s
l_b
a
sic_se
t
_factoriz
e
r: mak
e
sure group in
f
ormat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven V
e
rdoola
e
ge
add isl
_
u
n
ion_map_range_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven V
e
rdo
o
laege
doc: d
o
cu
m
ent
produc
t
f
u
nctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ve
r
doolaege
rena
m
e
i
s
l
_
basic_set_
p
r
oduct to i
s
l_basic_set_list_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
S
v
e
n
Verdo
o
laege
isl_set_con
v
ex_hull: op
t
ionall
y
u
se Fourier-Mo
t
zkin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basic_s
e
t_sa
m
ple_point: ex
p
lo
i
t
f
actorization if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoo
l
ae
g
e
add isl_
m
orph
_
vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
change
pro
t
o
type of isl_vec
_
dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verd
o
olaege
a
d
d i
s
l_pr
i
n
t
er_print_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add
i
sl_
u
n
io
n
_
s
e
t
_
apply_union
_
pw_qpolynomia
l
_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
ex
p
ort
i
s
l
_
u
n
i
on_map_from_dom
a
i
n
a
nd isl_union_map_f
r
om_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
isl_basic_map_intersect_domain: replace o
p
en
-
coded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
i
sl_stream_read_map: accept modulo e
x
p
r
essi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
is
l
_bas
i
c
_
map_insert: don't simplify the
resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
V
erdoolae
g
e
M
erg
e
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ve
r
doolaeg
e
isl_basic_ma
p
_from_constra
i
nt_
m
atric
e
s:
c
lear new
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven
Verdoolaege
isl_token_f
r
ee: free s
t
ring
r
epresentation
of keywords
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoolaege
i
s
l_input
.
c: read_factor: drop un
e
xp
e
cted identifi
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ver
d
oo
l
aege
i
s
l_
i
nput
.
c
: a
c
cept
_
affine_f
a
ctor: av
o
i
d double free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven
Verdoolaege
isl_stream_r
e
a
d_map: allow spa
c
e
n
ame
s
that
happe
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl_stre
a
m_next_token:
k
eep track of st
r
ing representation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoola
e
ge
add i
s
l_basic
_
set_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoolaeg
e
a
d
d isl_union_
m
ap_sim
p
le_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verdool
a
ege
Merge br
a
n
c
h 'maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
ven
V
e
rdoolaege
add isl_set_r
e
move_unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
r
d
ool
a
ege
isl_map_is_subset: d
o
n't compute divs of minuend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n Ve
r
doo
l
aege
r
enam
e
isl_map_is_singl
e
ton to
isl_ma
p
_fast_is_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaeg
e
add isl
_
m
a
p_
f
a
s
t_
i
s_single_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
ege
add isl_qpolyn
o
mial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
e
rdoolaege
e
xpo
r
t is
l
_union_
s
et_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolae
g
e
isl_qp
o
lynomial_add_on_domain:
c
o
m
pute gist wi
t
h re
s
pect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Ver
d
oo
l
aege
isl_un
i
on_map_coalesce and isl_unio
n
_map
_
co
m
pute_di
v
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
i
s
l_basi
c
_map_solve_lp: use den
o
minator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoola
e
ge
Merge c
o
m
m
it 'isl-0
.
05
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verd
o
olaege
isl 0
.
0
5
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdool
a
ege
i
sl_tab_
b
a
s
ic_map_parti
a
l_le
x
opt: fix up symmetry detection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Verdoo
l
aege
isl_basic_map_un
i
v
ers
e
:
finalize res
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
i
s
l_seq
.
h: allo
w
inclusion from C++
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
reimpl
e
ment
isl_m
a
p
_pa
r
tial_lex
o
p
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n
Verdoolaege
isl_map:
f
i
x typos in com
m
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoola
e
ge
add some more isl_map_lexmin tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verd
o
olaeg
e
add
isl_qpolynomial_add_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolae
g
e
add isl_pw_qpolynom
i
al_fold_d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
e
rdoolaege
add isl
_
pw_qpolynomial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verdool
a
e
ge
ad
d
isl_
q
polyn
o
mial_fold_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doolae
g
e
add
i
sl_qpolynom
i
a
l_fo
l
d_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Ve
r
doolaege
i
s
l_printer_print_qp
o
lynomial_fol
d
: su
p
port C format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Verdoolaege
ex
p
ort isl_
p
rinter_print_qpolynomia
l
_f
o
ld
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Ve
r
do
o
lae
g
e
export isl_u
n
ion_map_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Verd
o
ol
a
e
g
e
add isl
_
{set,
m
ap}
_
dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
olaege
add isl_basic_{
s
e
t
,map}
_
d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
i
s
l_pr
i
nt
e
r_
p
rin
t
_basi
c
_{set
,
map}: don't pri
n
t n
e
wl
i
ne
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
o
l
aege
rename isl_*
_
dump to
isl_
*
_prin
t
_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-27
Sven Verdoolaege
make isl/point
.
h
s
e
lf-containe
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolae
g
e
isl 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sv
e
n Verdoolaege
is
l
_printer_p
r
int_ba
s
ic_map:
p
l
ug mem
o
ry lea
k
o
n e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verd
o
o
l
a
e
ge
isl_dim_set_na
m
e
: plug memory leak when overwr
i
t
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_
t
ab_basic_map_partia
l
_lexopt: detect and
e
x
p
loi
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
S
v
en
V
e
rdoolaege
isl
_
t
a
b_pi
p
.
c: fix
t
ypos in com
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_pip: l
i
mit the total numbe
r
of
pa
r
ameter values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
a
d
d
isl_basic_set_count_up
t
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sve
n
Verdoolaege
isl_scan
.
c
:
fix typ
o
in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n Verdoolaege
is
l
_
flow
.
c: fix
t
ypos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sve
n
Verdo
o
laege
isl_
u
n
i
o
n
_m
a
p
_
compu
t
e
_
fl
o
w
: explo
i
t f
i
xed dime
n
s
i
on
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven
Verdoolaege
isl_union_
m
ap_com
p
ute_f
l
o
w: avoid
depen
d
ence on
p
ointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sve
n
Verdoolae
g
e
dataflow
analy
s
is: allow absence of "textu
a
l" order
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
S
v
en
Verdoolaege
add isl_map_get
_
hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
basic_map
_
re
a
d_
p
olyli
b
: a
d
d more s
a
nit
y
checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next