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: fix typo in comment
2011-02-05
Sven
Verd
o
olaege
i
s
l_t
a
b
_
pi
p
.
c: fix typo i
n
c
om
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaege
isl_affine_hu
l
l
.
c: fix ty
p
os in commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_
u
nio
n
_ma
p
_com
p
ute_flow: return acc
e
s
s
es with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
o
laege
isl_
u
n
i
on_
m
ap
.
c: i
n
pl
a
ce: pass data p
o
int
e
r to isl_hash
_
tabl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
ven Verdoolaege
isl_dim_move:
u
p
date par
a
meters of nested
spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Verdoo
l
aege
add isl_ma
p
_
nat_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven
Verdoolaege
clean u
p
isl_set_f
r
om_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
ve
n
Verdoolaege
me
r
ge isl_basic_set
/
isl_basic_m
a
p and i
s
l_set/isl_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdo
o
l
aege
rena
m
e "
o
mega" tran
s
itive closure to
"
bo
x
" t
r
ansitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
Verdoola
e
ge
export isl
_
int_obj_fr
e
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
isl_ver
t
ices
.
c: fi
x
t
y
pos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_unio
n
_templ
.
c: fix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
i
sl_map_subt
r
act
.
c: n_
n
on_redu
n
dant: propage isl_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoolaege
is
l
_bernste
i
n
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add isl_u
n
ion_p
w
_qpo
l
ynomi
a
l_
m
ul_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdo
o
laege
is
l
_stream_
r
ead_obj:
read in
t
objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdo
o
laege
ad
d
int objects for use
in iscc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
isl_basic_ma
p
_r
e
move_divs
:
f
inalize resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
add isl_ba
s
ic_set_get_tupl
e
_
n
a
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
S
v
en Verd
o
olaege
isl_union_map_sample:
d
on't return NULL on em
p
t
y input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdool
a
ege
isl_basic_map_set_
t
uple_name:
fin
a
lize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
S
v
en Verdo
o
laege
isl
_
t
ransit
i
ve_closure
.
c
: more an
o
nymize input
m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n Verdoo
l
a
e
g
e
i
s
l_b
a
sic_s
e
t_factoriz
e
r: make su
r
e g
r
o
up informatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoola
e
ge
add isl_union_map_rang
e
_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
doc:
document produ
c
t functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ver
d
o
ola
e
ge
rename
i
sl_basic_set_product to isl_b
a
sic_s
e
t_list_p
r
od
u
ct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
S
v
en
Verdoolaege
isl_set
_
conv
e
x_
h
u
l
l:
o
ptionally use Fourie
r
-Motzkin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_ba
s
ic_set_sam
p
le_
p
oint: exploit f
a
ctori
z
ation if a
n
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
add i
s
l_m
o
r
p
h
_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
cha
n
ge prot
o
type
o
f
isl_
v
e
c
_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
add isl_printer_print_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdool
a
e
g
e
add
i
sl_union_set_ap
p
ly_union_pw
_
qpolynomi
a
l_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
g
e
export isl_union_m
a
p_fr
o
m_doma
i
n and i
s
l_union_
m
ap_from_r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdool
a
ege
isl_
b
asic_map_intersec
t
_domain: repla
c
e ope
n
-c
o
d
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Ve
r
d
o
olaege
isl_stream_read_map
:
accept
m
odul
o
exp
r
es
s
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdool
a
ege
i
s
l
_basi
c
_map_i
n
sert: don't simpli
f
y the resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Merge b
r
anch
'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_ba
s
ic_map_fro
m
_constraint_matrices: clear newl
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl_token_free: free string
rep
r
esent
a
t
ion of keywords
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
isl_i
n
p
u
t
.
c
:
re
a
d_fac
t
or: drop unexpected iden
t
ifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
v
e
n Verdoolaege
isl_input
.
c
:
accept_affine_fa
c
tor: avoid double
free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Tobia
s
Grosser
Add isl_un
i
on
_
(se
t
/
map)_
d
etec
t
_
e
qu
a
lities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl_
s
tream_read_map: allow space names
that
h
ap
p
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl
_
stream_next_token: keep track of st
r
in
g
representation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaeg
e
add isl_basic
_
set_flatt
e
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
ege
add isl_union_m
a
p_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
ege
Merge bran
c
h 'mai
n
t
'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdo
o
la
e
ge
a
dd isl_set_
r
emove_u
n
known_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdool
a
ege
isl_map_is_s
u
bset: don't compu
t
e divs of
m
inuend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoolaege
rename isl_ma
p
_is
_
sin
g
l
e
ton t
o
i
sl_map_fa
s
t
_is_sing
l
eton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
oolaege
add isl_map_fast_i
s
_singl
e
_
v
a
l
u
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoo
l
aege
add isl_qpo
l
ynomial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
oo
l
ae
g
e
e
xport isl
_
union_set_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n
Verdoolaege
isl_qpolynomial_add_on_domain: comput
e
gist wit
h
r
e
spect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdool
a
ege
isl_
u
n
i
on_m
a
p_coalesce and isl_
u
ni
o
n_
m
ap_compute_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
Sv
e
n Verdoolaege
isl_basic_m
a
p_
s
olve_lp: us
e
denominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ve
r
doolaeg
e
M
erge commit 'isl
-
0
.
05
.
1'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
ven
Verdoo
l
aege
isl 0
.
0
5
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
e
r
doolaege
isl_tab_
b
asic_map_partial
_
lexop
t
:
f
ix up symme
t
ry detection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Verdool
a
ege
is
l
_basic_map_universe: fin
a
lize
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdool
a
ege
isl_seq
.
h: allo
w
inclusion from C+
+
commit
|
commitdiff
|
tree
2010-12-31
Tobias
G
r
osser
Add GDB modu
l
e that
defines an islprint command
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
re
i
m
p
lement is
l
_map_p
a
rt
i
al_lexop
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
i
s
l_map
:
f
ix typos in co
m
m
en
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
add some
m
ore isl_m
a
p_l
e
xmin test
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdool
a
ege
add isl_qpol
y
nomial
_
ad
d
_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven
V
erdoolaege
a
d
d
isl_
p
w_qpoly
n
omial
_
fold_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_p
w
_qpolyno
m
ial_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
a
dd isl_qpolynomial_fold_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolae
g
e
a
dd isl
_
qpolynomial_fold_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoola
e
ge
isl_print
e
r_print_
q
polynomial_fold: support C for
m
at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doolaege
ex
p
ort isl_prin
t
er_p
r
i
nt_qpolynomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoola
e
ge
expo
r
t isl_union_map_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
e
n
Verd
o
olae
g
e
add isl_{set,ma
p
}
_
dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoola
e
ge
a
d
d isl_
b
asic_{s
e
t,map}_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
ven
V
erd
o
o
la
e
ge
isl_prin
t
er
_
print_ba
s
ic_{set,map}:
d
on't print newline
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Verdoolaege
rename
i
s
l
_*_dum
p
to isl
_
*_
p
rint_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-27
Sven Verdo
o
laege
make isl/poin
t
.
h self-contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
S
ven
Verdoo
l
aege
isl 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verd
o
ola
e
g
e
i
s
l_p
r
i
n
ter
_
print_b
a
sic
_
map: plu
g
memory
leak on
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven
V
erdoolaege
i
sl_d
i
m_set_n
a
m
e: plu
g
memory
le
a
k whe
n
overwriting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoo
l
aege
isl_tab_
b
a
s
ic_ma
p
_
p
artial_lexopt: detect and exploit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven V
e
rdo
o
l
a
ege
isl_tab
_
pip
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven V
e
rdo
o
l
a
ege
isl_pip: limit the to
t
al number of param
e
ter values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
a
d
d
isl_ba
s
ic
_
set_count_upto
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_sc
a
n
.
c:
f
ix typo in
commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-17
To
b
ia
s
Grosser
Do not hash
t
h
e memor
y
address of an isl_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sve
n
V
erdoolaege
i
s
l_flow
.
c: fix ty
p
os in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaeg
e
isl_union_map_comp
u
te_flow: exploit
f
ixed dime
n
s
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
isl_u
n
ion_ma
p
_compute_flow: avoid depend
e
nce on pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdool
a
ege
dataflow
analysi
s
:
a
l
low a
b
sence of "
t
extual
"
or
d
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven
V
erdoolaege
add isl_map_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven V
e
rd
o
olaege
b
asic_map_read_poly
l
ib: add more sanity checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdoolaege
i
s
l
_pip:
p
re
s
erve names of
parame
t
ers in inp
u
t
contex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-13
Sven
V
erdoo
l
aege
isl_tab_b
a
sic_map_partial_lexopt: avoid m
e
mor
y
l
e
a
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-11
S
ven Ver
d
oolae
g
e
isl_
p
w_q
p
olynom
i
al
_
fold
_
bound: avoid access to f
r
eed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven V
e
r
doolaege
isl
_
basic_se
t
_
l
i
ft: prop
e
rly update th
e
number of ex
t
r
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
S
v
en
Verdoolaege
doc
:
emphasize
t
h
e need f
o
r isl_int
_
get_gmp and is
l
_int_
s
et_gm
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next