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
add isl_{set,map}_drop_constraints_involving_dims
2012-09-17
Sven Verdo
o
laeg
e
a
d
d isl_{set,map}_
d
ro
p
_constraints_
i
nvolving_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Verdoolaeg
e
add is
l
_s
e
t_
u
n
shifted_
s
imple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en
Verdo
o
l
aege
isl_
s
trea
m
_
read
_
un
i
on_map
:
force result to be
a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdool
a
ege
add isl
_
un
i
on_
m
ap_subtrac
t
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
r
doolaege
i
s
l_set_from
_
pw_mul
t
i_aff: handle
NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoo
l
ae
g
e
isl_u
n
i
o
n
_
map
.
c: plain_inject
i
v
e
_on_rang
e
: silence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
i
sl_trans
i
tive_closure
.
c: uni
o
n_components:
avoi
d
inv
a
lid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_range
.
c qpol
y
nomi
a
l
_bound_on_domai
n
_range: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_convex_hull
.
c:
i
n
itia
l
_facet_c
o
n
st
r
aint:
a
void
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
S
v
en Verdoolaege
isl_map_union: spec
i
al case universal
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
S
v
en Verdo
o
l
a
ege
isl
_
map_gi
s
t: special c
a
se
u
n
i
v
e
r
s
al an
d
equal
i
npu
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
rdoolaege
export isl_set_plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoola
e
ge
doc:
c
larify use of ident
i
fiers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erdoolaege
add isl_basic_set_remove_unknown_div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdool
a
e
g
e
an
d
isl_pw_a
f
f
_
tdiv_q and isl_pw_a
f
f_tdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
rdoolaege
add isl_
p
w_af
f
_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
Verdoo
l
aege
add isl_set
_
is
_
d
isjoin
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
isl_map_plain_
i
s_disjoint: special case obviously empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
isl_bas
i
c_map_is
_
em
p
ty: special case universal
i
np
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdoolaege
isl_
m
ap_p
l
ai
n
_is_disjoint: fix error han
d
lin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erdoolaege
is
l
_aff
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
S
ven Verd
o
o
lae
g
e
isl_aff_norm
a
lize
:
c
o
mb
i
ne
i
d
entical div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
S
ven
V
erdoolaege
is
l
_aff_n
o
rmalize: plug in div
s
with den
o
m
i
n
a
tor
one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
e
x
tract
o
ut isl_l
o
c
a
l_space_substitut
e
_
s
eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sv
e
n Verdoolae
g
e
extract out co
m
m
o
n
i
sl_seq_su
b
stitu
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sve
n
Verdoolaege
isl_aff
_
normal
i
ze: sort divs
in local
s
p
ace of affi
n
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
a
dd i
s
l_lo
c
al_space_sw
a
p
_
div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaeg
e
privat
e
l
y
export isl
_
ma
t
_cmp_
d
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
add isl_ma
p
_uncur
r
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add isl
_
un
i
on_map_subtract
_
d
o
m
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
r
doolaeg
e
isl_
p
w_*_gist: avo
i
d in
t
erse
c
tion of domain with context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoo
l
ae
g
e
isl_map_inter
s
ect_d
o
mai
n
:
a
void
useless double reve
r
se
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
isl_map_interse
c
t_
{
range,domain}
:
stop allowi
n
g
int
e
rsect
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
e
g
e
isl_map_inters
e
ct: s
p
ecial case universa
l
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoo
l
aeg
e
add isl_constraint_li
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
add isl_pw_multi_aff_set_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add is
l
_pw_multi_aff_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdo
o
laege
declare isl_pw_multi_aff_align_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoolaege
declare isl
_
basic_
m
ap_
r
emove_divs_involving_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n
Verdoolaege
add isl_v
e
c
_f
d
iv_
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add isl_*_list_
i
nsert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n Verdo
o
l
aege
declare
i
sl
_
map_fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdoolae
g
e
add isl
_
basic_map_
u
pper_bo
u
nd_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Ver
d
o
olaege
add isl_basic_map_order_ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verd
o
olaege
declare isl_aff_zero_bas
i
c_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
ad
d
i
sl_vec_concat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oolaege
isl_vec_fr
e
e
:
return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
r
d
oolaege
isl_map_fre
e
: return NU
L
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rd
o
olaege
isl_basic_set_free
:
retu
r
n NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doolae
g
e
is
l
_basic
_
map
_
free: retur
n
N
ULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Ver
d
oolaege
isl
_
space_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oola
e
ge
isl_basic_map_gauss:
a
lso set progress
i
f a div ex
p
ression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Ve
r
doolaeg
e
isl_tarjan_gra
p
h_init
:
doc
u
ment the or
d
er of the compon
e
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoolaege
isl_
a
ff
.
c
:
do
c
ument isl_af
f
_normalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_aff
.
c: fix typo i
n
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdoolaege
hide
internal che
c
k_
h
elp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdool
a
e
ge
hide
in
t
ernal bas
i
c
_map_ide
n
t
i
ty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
isl_map
_
simplify
.
c
:
remove_duplicate_divs
:
preserve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
S
v
e
n Verdoolaege
i
sl_basic_map_drop_r
e
du
n
dant_
d
ivs: don't
drop divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven
V
erdoolaege
isl
_
test: generaliz
e
subset
t
e
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sve
n
Verdoolaege
rename isl
_
s
et
_
dim
_
has_*_bound to isl_set_dim_has_any_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sv
e
n Verdoolaege
r
e
lice
n
s
e
isl under the M
I
T license
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
erdoolaege
config
u
re
.
ac: li
n
k against
s
ame LLVM components as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdool
a
ege
M
e
rge branch 'ma
i
nt'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sve
n
V
erdoolae
g
e
isl_map
_
inter
s
ect: fi
x
error hand
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Ver
d
oolaeg
e
isl_access_info_add_so
u
rce
:
plug memory leak
o
n
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
S
ven Verdoola
e
ge
isl_set
_
dim_
r
es
i
due_clas
s
: co
r
rectly c
o
nsider all bas
i
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-13
Sven V
e
rd
o
ol
a
ege
isl
_
map_s
u
btract: handle
duplicate divs
i
n
subtrahend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-13
Sven Verdoolaege
isl_aff_scale_do
w
n
:
c
heck for scaling d
o
wn by zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
S
ven Verdoolae
g
e
add isl_
*
_
li
s
t_dro
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
S
ven Verdoolaege
isl_*_li
s
t_add: dyna
m
ically
g
row
l
ist to
a
ccomodate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sven V
e
r
d
o
olaege
configure
.
ac: do
n
't allow installatio
n
in source or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdool
a
ege
add
i
s
l_space_
i
s_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
expo
r
t isl
_
spa
c
e_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sv
e
n Verd
o
o
l
a
ege
doc
:
document is
l
_space_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
add isl_s
p
ace
_
is_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
de
c
lare isl_pw_multi_aff_project_d
o
main_
o
n
_
params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Ve
r
doolaege
ad
d
isl_map
_
has_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-04
Sven Verdoolaege
AUTHO
R
S: add M
y
thri Alle
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verd
o
olaege
i
sl_printe
r
_free: retu
r
n NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
e
n Ve
r
doolaeg
e
declar
e
isl_pw_multi_aff_drop_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoolae
g
e
e
xport isl_multi_aff_gis
t
_pa
r
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en V
e
rdoolaege
extract c
o
mmon implementation of
Tarjan's algorithm
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoo
l
aege
a
dd isl_p
o
int_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_uni
o
n_map_e
x
tr
a
c
t_map:
i
g
n
ore parameters in space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Ve
r
doolaege
isl_union_m
a
p_
e
x
t
ract_map
:
rename dim argu
m
ent to
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdo
o
laege
i
s
l_map_simplify
.
c: eliminate_var_using_
e
qual
i
ty: norm
a
lize
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
dool
a
ege
isl_strea
m
_read_map: force result t
o
b
e a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verd
o
olaege
is
l
_stream_read_map
:
accept rat
i
o
n
al
a
ff
i
ne expressi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoo
l
aege
add isl_
m
ap_{lexmin,lex
m
ax}_pw_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
d
eclare isl_map_remove
_
unknown
_
d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven
Verdoola
e
ge
doc: document isl_set
_
remove_unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
decl
a
re isl_map_remove_div
s
_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoolaege
a
dd isl_basic_set_remove_di
v
s_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoo
l
ae
g
e
doc
:
document isl_
s
et_remov
e
_
d
ivs_
i
n
v
olving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doo
l
aege
add isl_bas
i
c_
s
e
t
_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
oolaege
add isl_union_set_from_basic_s
e
t and isl_u
n
i
on_map_from_basi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_basic_{s
e
t,map}_
i
n
s
ert
_
di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
a
d
d
isl_bas
i
c
_{set,map}_align
_
params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven V
e
r
d
oolae
g
e
add isl
_
uni
o
n_map_domain
_
p
roduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next