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
generalize isl_multi_aff_identity
2012-09-18
Sven
V
erdoolaeg
e
g
eneralize isl_multi_
a
ff_ident
i
ty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdo
o
l
a
ege
add isl_pw_aff_zero_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
ae
g
e
add isl_pw
_
aff
_
var_on_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoola
e
g
e
ad
d
i
s
l_af
f
_var_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verd
o
ola
e
g
e
is
l
_input
.
c
: obj
_
rea
d
_body: simplify
e
rror han
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdoolaege
ad
d
isl_basic_set_drop_c
o
nstraints_not_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Verdoolaege
add isl_
{
set,map}_dro
p
_con
s
traints_involvin
g
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
ad
d
isl_set_
u
nshifted_si
m
ple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ver
d
ool
a
eg
e
isl_stream_read_
u
nion_m
a
p: for
c
e result
t
o be a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoolaege
ad
d
isl_union_map_s
u
btrac
t
_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
rd
o
o
l
aege
isl
_
s
e
t_from_p
w
_
mul
t
i_aff: hand
l
e NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven
V
erdoolaege
isl_union_map
.
c: plain_injective_on
_
r
ange: silence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolae
g
e
is
l
_
tran
s
itiv
e
_clo
s
u
re
.
c: un
i
o
n_com
p
onen
t
s: avoid invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_range
.
c qpoly
n
om
i
al_bound_o
n
_d
o
ma
i
n
_
r
ange
:
avo
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_convex_h
u
ll
.
c: i
n
itial_facet_constraint: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
S
v
en
V
erdoola
e
ge
i
sl_map_union: speci
a
l
cas
e
universal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verdoo
l
aege
isl_m
a
p_gist: special case universal and equal inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
ve
n
Ver
d
oolaege
export isl_set_
p
l
a
in_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ve
r
d
o
olaege
d
o
c: cl
a
ri
f
y use of
identifiers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
Verd
o
olaege
add is
l
_basic_set_remove_u
n
known_div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdo
o
laege
and is
l
_pw_aff_tdiv_q an
d
isl_pw_
a
ff_tdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Ver
d
ool
a
e
g
e
a
d
d i
s
l_pw_aff_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdoo
l
aege
add is
l
_set_is_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ver
d
oolaeg
e
isl_map_
p
lain_is
_
disjoint: spe
c
ia
l
c
a
se obviousl
y
em
p
ty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erd
o
olaeg
e
i
sl_basi
c
_map
_
is_em
p
ty: special case universal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ver
d
o
olaege
isl_map
_
plain_is
_
disjoint:
f
i
x error h
a
ndl
i
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoo
l
aege
is
l
_a
f
f
.
c:
f
i
x typo in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
isl_
a
ff_
n
ormalize: combine i
d
entical divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
isl
_
af
f
_
n
ormalize: plug
in di
v
s wi
t
h
denom
i
n
a
tor o
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
S
v
en V
e
rdoolaege
extract out isl_local_space_substitu
t
e_seq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
extract out comm
o
n isl_
s
eq_substit
u
te
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Ver
d
oolaege
isl_aff_nor
m
ali
z
e: sort d
i
v
s in local space of affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoo
l
aege
a
dd isl_local_space_swap_
d
iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Ve
r
doolaege
privately export isl_mat
_
cmp_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoo
l
aege
add is
l
_map_uncurry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdoolaege
a
dd
i
sl_union_map_subt
r
ac
t
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
isl
_
p
w_*_gist: avoid
i
ntersection
of domain with context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoola
e
ge
is
l
_m
a
p_intersect
_
do
m
a
in: avoid useless dou
b
le rever
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Ve
r
doo
l
aege
i
sl_map_intersect
_
{range,dom
a
in}: stop
a
llowing int
e
r
sec
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolae
g
e
isl_map_intersect:
spe
c
ial case
u
niv
e
r
s
a
l
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaeg
e
add is
l
_constraint_
l
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaeg
e
add isl_pw_mu
l
ti_
a
ff_set_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdoolaege
add isl_pw_multi_aff
_
i
den
t
ity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
d
eclare isl_pw_
m
u
lti_a
f
f_align_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olaege
declare isl_basic_map_re
m
ov
e
_divs_
i
nvolvi
n
g_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en
V
e
rd
o
olaege
a
d
d
isl_vec_fdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdool
a
ege
add is
l
_*_list_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
declare isl_map_fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoolaege
add isl_basic_ma
p
_upp
e
r_bou
n
d_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
add isl_
b
asic_m
a
p_order
_
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
V
e
rdoola
e
ge
d
e
clare isl
_
aff
_
z
e
ro_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdoolaege
add i
s
l
_
vec_concat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en
V
erdoolaege
isl_
v
ec_free: return
N
U
L
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verd
o
olaege
isl_m
a
p
_
free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_basic_set
_
free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verd
o
olaeg
e
isl_basic_m
a
p_
f
ree: return
NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oolaege
i
s
l_space_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_basic_map
_
g
a
uss: also set progress if
a d
i
v
expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erd
o
olae
g
e
isl_tarjan_graph_init:
d
ocument t
h
e or
d
er of
t
he components
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdoolaege
isl_aff
.
c:
document isl
_
aff_norm
a
lize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_aff
.
c
: fix typo in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoolaege
hi
d
e internal check
_
help
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verd
o
olaege
hide
intern
a
l b
a
sic_map
_
iden
t
i
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_map_s
i
m
plify
.
c: remove_duplicate_
d
ivs: p
r
es
e
r
ve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaeg
e
isl_basic_map_drop_redunda
n
t_divs
:
don't drop
d
ivs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
S
v
en V
e
rdoolae
g
e
isl_t
e
st: generalize s
u
bset te
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
S
v
en
Verdoola
e
ge
r
ename isl_set_
d
im
_
has_*_bo
u
n
d to isl_set_dim_ha
s
_
a
n
y_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
S
v
en Verdoolaeg
e
relicense
isl under the MIT lice
n
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
con
f
i
gure
.
ac: link again
s
t same
L
L
VM comp
o
ne
n
ts as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
S
v
en Verdo
o
l
ae
g
e
Merge branch '
m
aint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
S
ven
Verdoolaege
isl
_
m
a
p
_
intersect: fix error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven V
e
r
d
ool
a
ege
isl_access_info
_
add_
s
ource:
plu
g
memory lea
k
on
er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sve
n
Verdoolae
g
e
isl_set_dim_residue_class: correc
t
l
y
c
onsider all bas
i
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-13
Sven Verd
o
olae
g
e
isl_map_subtra
c
t: handle dup
l
icate d
i
v
s
in subtrahend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-13
Sv
e
n Verdoolaege
isl_aff_
s
ca
l
e_down: check
for scaling down by
z
ero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sve
n
Verdoolaege
add
i
s
l
_*_
l
ist_drop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sven V
e
r
d
o
olaege
isl_*_li
s
t_
a
dd: dy
n
ami
c
a
l
ly
g
row li
s
t to accomodate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sv
e
n
V
e
rdoolaege
confi
g
ure
.
ac:
don't allow installatio
n
i
n s
o
urce or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
add isl_space_is_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
expor
t
i
sl
_
space_i
s
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoo
l
aege
doc: document isl_spa
c
e_is_e
q
ual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven
Verdoolaege
ad
d
isl_
s
pace_is_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdool
a
ege
dec
l
ar
e
isl_pw_multi_aff_projec
t
_domai
n
_on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
add isl_map_has_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-04
Sven Verdo
o
l
a
e
ge
AUTHOR
S
: add
My
t
hri
A
lle
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
e
n
V
e
rdoolaege
isl_
p
rin
t
er_free:
r
eturn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verdo
o
laege
declare isl_
p
w_multi_aff_
d
ro
p
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
expo
r
t isl_multi_aff
_
gist_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
ex
t
ract common im
p
l
ementation of Tarjan's
a
lgorithm
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_point_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoo
l
a
e
ge
i
s
l
_uni
o
n
_
m
ap_ext
r
act_map: ignore parame
t
e
r
s
i
n space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven V
e
r
d
oo
l
aeg
e
isl
_
u
nion_map_
e
xtract_map: rename dim argument
t
o space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven V
e
rdo
o
l
a
ege
isl_map_sim
p
l
if
y
.
c: el
i
minat
e
_var
_
using_equality: normal
i
ze
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_stream_read_ma
p
: force
result to be a
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolaege
i
s
l_s
t
ream
_
read_map
:
ac
c
ept rational affin
e
expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdo
o
laege
add isl
_
map_{le
x
mi
n
,lexmax}_
p
w_multi_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdoola
e
g
e
declare isl_map_remove_
u
nknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doo
l
aeg
e
doc: d
o
cument isl_set_
r
emove_unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoo
l
aege
declare isl_map_remov
e
_di
v
s_invol
v
ing_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdoolae
g
e
a
d
d isl_b
a
sic_set_remove_
d
ivs_invo
l
ving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next