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_multi_*_splice
2012-09-18
S
v
e
n Verdool
a
ege
add i
s
l_multi_*_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
ad
d
i
sl
_
multi_*_range_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ve
r
doo
l
aege
add isl_multi_*_set_
t
u
p
l
e_
n
a
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verd
o
o
laege
add isl_multi_*_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
do
o
laege
a
dd
isl_m
u
lti_
*
_add_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdoo
l
aege
add isl_multi_
*
_in
s
e
r
t_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_mult
i
_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
a
dd i
s
l_multi_
a
ff_
f
r
o
m_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
isl_
m
ul
t
i
_t
e
mpl
.
c: rename align_params_m
u
lti_set_an
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
s
l_multi_te
m
p
l
.
h: avoid reference
to explicit element
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
er
d
oola
e
ge
isl_multi_
*
_reset
_
space_and_domain:
c
a
l
l isl_*_reset_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
gen
e
ralize isl
_
m
u
lti_aff_flat_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
genera
l
ize isl_m
u
lti_aff_drop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
g
e
nerali
z
e isl
_
mul
t
i_aff_s
e
t
_
dim_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
g
ene
r
alize isl_multi
_
aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
r
doolaege
generalize isl_multi_a
f
f_iden
t
ity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
a
e
ge
a
dd is
l
_
pw_aff
_
zero_on_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
add isl_pw_aff
_
var_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdool
a
e
g
e
add i
s
l_aff_var_on_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verd
o
olaege
i
sl_input
.
c: obj
_
rea
d
_body: si
m
p
l
ify err
o
r
hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdoolaeg
e
add is
l
_basic
_
set_drop_constraints_not_i
n
volving_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
e
n Verdool
a
ege
ad
d
isl_{set,map}_
d
rop_constraints_involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdool
a
ege
add isl
_
set_unshifted_si
m
pl
e
_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdo
o
l
a
ege
i
sl_stream_
r
e
ad_u
n
i
on_map: fo
r
c
e
r
es
u
lt t
o
be a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erd
o
olaege
a
dd i
s
l_union_m
a
p_subtract_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_set_from_pw_multi_aff:
h
andle NULL
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_union_
m
a
p
.
c: pl
a
i
n
_
injective_on
_
range: silen
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
ven Verdoolaege
i
s
l_transitive_
c
l
o
sure
.
c: union_component
s
: avoid in
v
ali
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven
V
erdoolaege
isl_range
.
c
q
p
o
lyn
o
mial_bound
_
on
_
d
omain_ra
n
g
e
: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_co
n
ve
x
_hull
.
c: initial_facet_constr
a
int: av
o
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sv
e
n Verdoola
e
ge
isl_map_union:
s
p
ecial
c
ase universal input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven
V
erdoo
l
aege
i
sl_map_gist: spe
c
ial case univer
s
al and equ
a
l i
n
puts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Ve
r
d
o
o
laege
export isl_set_plain_c
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolae
g
e
doc: clarify
u
se of identifi
e
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erdoolaege
add isl_ba
s
i
c
_set_remove_unknown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
and isl_pw_a
f
f_tdiv_q and is
l
_
pw_aff_t
d
iv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n
V
erdoolaege
ad
d
isl_pw_aff_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
e
n Verdoolaege
add isl_set_
i
s
_
disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erdo
o
laege
i
s
l_ma
p
_
p
lain_is_disjo
i
nt: specia
l
case ob
v
iously empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdoolaege
isl_basic_map_is
_
emp
t
y: special
cas
e
universal input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verdoolaege
isl_map_p
l
ain_is_disjoint: fix error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
is
l
_aff
.
c: fix typo
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
isl_
a
ff_normaliz
e
: com
b
i
n
e id
e
nt
i
cal d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoola
e
ge
isl_aff_no
r
malize: plug in divs with
d
enominator
one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoola
e
ge
extr
a
ct out
isl_lo
c
al_
s
pace_substitute
_
seq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
extra
c
t out common isl_seq_subs
t
itute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
isl_
a
ff_n
o
rmalize: sort divs in local space
o
f
a
ffine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sv
e
n Verd
o
olaege
a
d
d
isl_local_sp
a
ce_swap_
d
iv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
privately expo
r
t isl_m
a
t_
c
m
p_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Ver
d
oola
e
ge
add isl_map_
u
ncu
r
ry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoolaege
add
i
sl_union_map_subtract_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdoo
l
aeg
e
isl_pw_*_gi
s
t:
avoid intersection of
d
omai
n
w
i
th
c
ontext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verd
o
olaege
isl_ma
p
_
i
nter
s
ec
t
_
d
oma
i
n: avoid u
s
eless double rev
e
rse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oolaege
isl_
m
ap_intersec
t
_{rang
e
,domain}:
stop allowing
i
ntersect
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdoo
l
aege
isl_m
a
p_inters
e
ct: special case universal in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoolaege
add
i
sl_constraint_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add
isl_
p
w_multi_a
f
f_set_
p
w_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
e
g
e
add isl_pw
_
multi_aff_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
declare i
s
l
_pw_mul
t
i
_aff_a
l
ign_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoo
l
ae
g
e
declare isl
_
basi
c
_map
_
rem
o
ve_divs_involv
i
ng_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoo
l
aege
add
isl_ve
c
_fdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verd
o
olaeg
e
add isl_*_list_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
o
o
laege
declare isl_m
a
p_
f
ix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
a
d
d isl_basi
c
_map
_
upper_bo
u
nd_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
e
rdoola
e
ge
add isl_basic_
m
ap_o
r
d
er_ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
declare isl_aff_zer
o
_basic_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
ven V
e
rdo
o
la
e
g
e
add is
l
_vec_
c
o
n
cat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
i
s
l
_
vec_
f
r
ee: retur
n
NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_ma
p
_f
r
ee:
return NUL
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erd
o
olaege
isl_basic_set_free: return
NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
i
s
l
_ba
s
ic_map_fr
e
e: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdoo
l
aege
isl_spac
e
_free
:
return N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olaege
isl_basic_map
_
gauss:
a
lso set
pr
o
gress if a div expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
i
s
l_t
a
rjan_graph_init:
documen
t
the
o
rder of the co
m
ponents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
isl_aff
.
c: document isl
_
aff_n
o
rm
a
lize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoolaege
isl_aff
.
c: fix typo in co
m
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdoolaege
hide internal che
c
k_hel
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
hide inter
n
al basic
_
map_
i
dentity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoolaege
isl
_
map_simplify
.
c: r
e
move_duplicate_di
v
s: pr
e
ser
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
S
ven Verdoo
l
aeg
e
isl_basic_map_drop_re
d
undant_divs: don'
t
drop divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven
V
e
rdo
o
lae
g
e
isl_te
s
t: gen
e
ralize
subset
test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
erdoolaege
re
n
ame isl
_
set_dim_h
a
s_*_bo
u
nd to isl_set_dim_has
_
a
n
y_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
relicense isl un
d
e
r
t
he
MIT lice
n
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sv
e
n
Ver
d
oolaeg
e
conf
i
g
ure
.
ac: link against
same LLVM components as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
Merg
e
bran
c
h 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven
Verdo
o
l
a
ege
isl_m
a
p_inte
r
sect:
f
ix error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven V
e
rdo
o
l
aege
isl_access_in
f
o_
a
dd_
s
ource: plug memory leak on erro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
erdoo
l
aege
isl_set_dim_re
s
idue_class: cor
r
ectly consi
d
er all basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
Sven Verdoolaege
i
sl_map_su
b
tract
:
handle du
p
lica
t
e divs
i
n
s
u
btra
h
end
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
Sven Verdoolaege
isl_aff_scale_d
o
wn: check for scali
n
g down by
z
ero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verdo
o
laege
add isl_*_list_drop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sv
e
n Verdoolae
g
e
isl_*_lis
t
_a
d
d: dynamicall
y
grow list t
o
acco
m
odat
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sv
e
n Ver
d
oolaege
configure
.
ac: don't allow installation in sour
c
e or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdo
o
laege
a
d
d isl_space_is_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
v
e
n
Verd
o
olaege
export isl_space
_
i
s_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
ve
n
V
e
rdoolaege
doc: document isl_
s
pace_
i
s_equa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
add isl_space
_
is_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sv
e
n Verdoolaege
declare isl_pw_mul
t
i_aff
_
pro
j
ect_doma
i
n_on_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
ven V
e
rdoolaege
add isl_map_has_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-04
Sven Verdoolaege
AU
T
HORS: add Mythri All
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next