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_map_uncurry
2012-09-06
Sven V
e
r
d
oolaeg
e
a
d
d
i
s
l_
m
ap_uncurry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olaege
add
i
sl_
u
ni
o
n
_
map_subtra
c
t_dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
i
sl_p
w
_*_gist
:
a
v
oid intersectio
n
of domain with context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdool
a
ege
isl_
m
ap_inters
e
ct_domain: av
o
id
u
s
e
l
ess doubl
e
reverse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
isl_map_intersect_{range,d
o
main}: sto
p
allowing intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_map_i
n
ters
e
c
t
: s
p
ecial case univ
e
rsal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven
Verdoo
l
aege
ad
d
isl_constr
a
int_l
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add isl
_
p
w_multi_aff_set_
p
w_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olaege
a
d
d isl_pw_multi_
a
ff_i
d
e
n
t
i
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n
Verdoolaege
declare isl_pw_mult
i
_af
f
_align_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
declare isl_ba
s
i
c
_m
a
p_
r
em
o
v
e
_divs_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add isl_vec_
f
div_
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n
Verdool
a
ege
add isl_
*
_
list_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Ver
d
oolaege
declar
e
i
s
l
_
map
_
f
ix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
e
r
doolae
g
e
add i
s
l_ba
s
ic_
m
ap_upper_bound_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ve
n
Verdoolae
g
e
a
dd isl_basic_ma
p
_order
_
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verd
o
o
l
aege
declare isl_aff_
z
ero_basic
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoolaege
add
i
s
l
_
vec_concat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
V
e
rdoolaege
isl_vec_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_ma
p
_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdo
o
laege
i
s
l_
b
asic_set_fre
e
: return NU
L
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoo
l
aege
isl_basic_map_fr
e
e: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoolaege
isl
_
space_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oolaege
is
l
_basic_ma
p
_gauss: also set progres
s
if
a
d
i
v expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
e
rdoolaege
isl_tarjan
_
graph
_
i
n
it: do
c
ument the order of th
e
comp
o
ne
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_aff
.
c: document isl_aff_normalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_aff
.
c: fix typo in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolae
g
e
hi
d
e
i
nternal c
h
eck_help
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdoolaege
hide
i
n
tern
a
l basic_map_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n V
e
rdool
a
ege
is
l
_
ma
p
_simplify
.
c: remove_duplic
a
te_divs: preserve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven
Verdoolaege
isl_basic
_
m
a
p_drop_red
u
ndant_divs: don't
drop divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
i
sl_test: gen
e
ralize subset test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sve
n
Verd
o
olaege
renam
e
i
s
l_set_
d
im_has_*_bound to is
l
_se
t
_dim
_
h
as_any_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sv
e
n
Verd
o
olaeg
e
r
elicense i
s
l under the MIT license
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven V
e
r
doolaege
configure
.
ac:
l
ink against sa
m
e
LLVM components as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoola
e
ge
Mer
g
e branch 'mai
n
t'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
isl_map_intersec
t
: f
i
x error handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
erdoo
l
aege
i
sl_ac
c
ess_
i
nfo_a
d
d_
s
ou
r
ce: plug memory leak on er
r
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
S
v
en Verdoolae
g
e
isl
_
set_dim_residue_class: corre
c
t
ly c
o
n
s
ide
r
all b
a
sic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-13
Sv
e
n Verdoolaege
isl_map_subtrac
t
:
handle duplicate divs
i
n subt
r
ahend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-13
Sv
e
n Verdoolaege
isl_aff_scale_down: che
c
k for scaling down by zer
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verdoolaege
a
d
d
isl_*_list_drop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sven Ver
d
oolaege
i
s
l_*_li
s
t_add: dyna
m
ically grow list
t
o accom
o
date
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verd
o
olaege
con
f
igure
.
ac: don't al
l
ow ins
t
allatio
n
i
n
source or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
add isl_space_is_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven
Verdoolaege
export isl_
s
pa
c
e_is_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
S
v
e
n
Verdoolaege
doc:
d
ocument
i
sl_space_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoola
e
ge
add i
s
l_space_is_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
d
eclare is
l
_pw_mu
l
ti_aff_pro
j
ect_domain_
o
n_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sve
n
Verd
o
olaege
add i
s
l_map_has_tuple_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-04
Sven Verdo
o
la
e
ge
A
U
T
H
ORS: a
d
d Mythr
i
A
l
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoolaege
isl_
p
rinter_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erd
o
o
la
e
ge
declare isl_pw_
m
ulti_a
f
f_dr
o
p
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verd
o
olaege
ex
p
ort isl_multi_aff_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en
V
e
r
d
oolaege
extract
common im
p
lementation of Tarjan's algo
r
i
thm
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doolaege
add isl
_
p
oint_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolae
g
e
isl_union_m
a
p_extract_map: ign
o
re
p
ara
m
eters in space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_u
n
ion_
m
a
p
_extract
_
map: re
n
ame dim argument to space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
ege
is
l
_ma
p
_
s
i
mplify
.
c
:
e
l
i
minat
e
_
v
ar_using_equality: norm
a
lize
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
i
sl_stream_rea
d
_ma
p
: f
o
rce
result to be a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n
Verd
o
olae
g
e
isl_st
r
eam_read
_
m
a
p: accept r
a
tional affine expre
s
sions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolae
g
e
a
d
d
i
s
l_map_{lexm
i
n,
l
exmax}_
p
w_
m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verdool
a
ege
declare isl_map_remo
v
e_u
n
kno
w
n
_
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolae
g
e
doc
:
docu
m
ent
i
s
l_set_remove_unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
oolae
g
e
de
c
lare isl_map_r
e
m
ove_divs_involvi
n
g_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
ege
a
dd
isl_basic_set_remove_divs_invo
l
v
ing_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
e
r
doolaege
doc: document
i
s
l
_set_remove_divs_in
v
olv
i
n
g
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verd
o
o
laege
add isl_basic
_
set
_
eliminat
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaeg
e
add isl_union_set_from_basic_s
e
t and is
l
_
union_map_from_b
a
si
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoola
e
ge
add i
s
l_basic_{set,
m
ap}_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add is
l
_basi
c
_{set,
m
ap
}
_ali
g
n_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
ad
d
isl_unio
n
_map_
d
omain_
p
rodu
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
d
ecl
a
re isl_basic_
m
ap_
p
roduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoo
l
ae
g
e
add isl_pw_multi_
a
ff_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n
Verdool
a
ege
add
i
s
l
_pw_multi_aff_union_
{
le
x
min,lexmax}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdoo
l
aege
isl_s
e
t
_
free: ret
u
rn N
U
LL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdo
o
lae
g
e
add isl_multi_a
f
f_lex_{le,ge}_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoola
e
ge
decla
r
e isl_mul
t
i
_
aff_get_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en V
e
rdoolaege
add isl_mu
l
t
i_aff_id
e
ntity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verdoolae
g
e
add isl_
a
ff_neg_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdoolaege
add isl_aff_add_cons
t
ant_num{,_si}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_id
_
list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoolaege
a
dd isl_*_
l
i
s
t_set_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdo
o
l
a
ege
a
d
d isl_pw_multi_aff
_
has
_
t
u
ple_n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
e
n Verdoo
l
aeg
e
declare isl
_
pw_af
f
_get_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven V
e
rdo
o
lae
g
e
a
dd isl
_
map_has_d
i
m_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n
V
erd
o
o
l
a
ege
a
d
d isl_l
o
cal_space_has_dim_i
d
and is
l
_
loc
a
l
_
space_get_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en V
e
rdo
o
lae
g
e
isl_
s
e
t
_opt: align paramete
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
e
ge
i
s
l_mult
i
_*
_
set_*: chec
k
th
a
t para
m
e
t
ers a
n
d
d
o
mains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven V
e
r
d
oolaege
isl_basic_map_range_product
:
chec
k
tha
t
pa
r
a
meters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verd
o
olaeg
e
is
l
_basic_map_si
m
plify: eliminate
k
nown divs that appear
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n
Verdo
o
l
a
ege
isl_basic
_
map_r
e
m
ove_divs_involving_dims: insert b
o
unds
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_basic_map_simplify: n
o
rmalize div expre
s
sions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven V
e
rdoo
l
aege
isl_access_
i
nfo_fr
e
e: ret
u
rn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-31
Sven Verd
o
olaege
ad
d
is
l
_printer_
p
rint_double
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-30
Sve
n
Ver
d
oolaege
doc:
add
a
n
ote on isl_dim_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-30
Sv
e
n Verdoolaege
doc: add a note about isl_*
_
intersect a
n
d par
a
me
t
r
i
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-28
Sven
V
e
r
d
o
olaege
doc:
a
dd missing document
a
t
i
o
n for some scheduli
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-27
Sven Verdoola
e
ge
Merge b
r
anch 'main
t
'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-27
Sven V
e
rdoolaege
isl_pw
_
*_realign_domain: plug memory
l
eak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next