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
S
ven Ver
d
o
o
l
aege
gener
a
lize isl_m
u
l
t
i_aff_i
d
ent
i
ty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
add is
l
_pw_a
f
f_zero_on_do
m
ai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoo
l
aege
add
i
s
l_pw_aff
_
var_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ver
d
o
ol
a
ege
add isl_
a
ff_va
r
_
on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaeg
e
isl_i
n
pu
t
.
c: obj_
r
ead_body:
s
implify error h
a
n
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ver
d
o
olaeg
e
add isl_basic_set_drop_constraints_not_involv
i
ng_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verd
o
o
l
aege
add isl_{se
t
,
m
ap}_drop_con
s
traints_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ver
d
oolaege
add isl_set_unshifted
_
si
m
ple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_stream
_
read_un
i
on_
m
ap
:
f
o
rce re
s
ult to be a ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoo
l
ae
g
e
add isl_union_map_subtr
a
ct_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ve
r
doolaege
isl_set_from
_
pw_multi_a
f
f:
handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_union_map
.
c: pl
a
in
_
i
n
j
e
c
t
iv
e
_on_rang
e
: s
i
l
e
n
ce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_tra
n
sitive_closure
.
c: union_co
m
ponents: avoid
i
n
valid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_range
.
c qpolynomial_bound_on_domain_range: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
i
s
l_convex_hull
.
c: initial_facet
_
constr
a
i
n
t: av
o
id
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven
V
e
r
d
o
olaege
isl_map_
u
nion
:
special case universal inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven
V
e
r
doolaeg
e
isl
_
map_gist: special
c
ase
u
niversa
l
and equal inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verd
o
olaege
export i
s
l_set_plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Ve
r
do
o
l
a
ege
doc
:
clarify use of identifiers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
ven
V
erd
o
olaege
add isl_basic_s
e
t_remove_unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verdoolaeg
e
a
n
d isl_p
w
_af
f
_tdiv_q and isl_pw_aff
_
t
div_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ve
r
doo
l
a
e
ge
add
i
sl_pw_aff_d
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verd
o
olaeg
e
add
i
sl
_
set_
i
s_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdoo
l
aege
isl_m
a
p_
p
lain_is_disjoint: specia
l
case obviously e
m
pty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
i
s
l_basic
_
map
_
is_empty
:
speci
a
l
case univer
s
al input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ver
d
oolaege
isl_map_plain_
i
s_disjoin
t
: fi
x
e
r
ror ha
n
dling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
isl_a
f
f
.
c: fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Ve
r
doolaege
isl
_
a
ff_n
o
rmalize
:
com
b
ine
ide
n
tical
d
iv
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaeg
e
isl_a
f
f_normali
z
e:
plug in divs with denomina
t
or one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven
Verdoolaege
extra
c
t out isl_local_space_subst
i
tute_seq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Ver
d
oolaege
e
x
tract out common
isl_seq_sub
s
titute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven
V
erd
o
ol
a
ege
isl_aff_norm
a
l
iz
e
: sort divs in
l
o
cal
space of
a
ffi
n
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Ver
d
o
olaege
add isl_local_sp
a
c
e
_
swap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
priva
t
ely export is
l
_
mat_cmp_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n
V
e
rdoo
l
a
e
ge
add isl_map_uncurry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
o
o
l
aege
add i
s
l_union_map_subtract
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
ola
e
ge
isl_pw_*_g
i
st: avo
i
d in
t
e
r
section
o
f
domain wit
h
c
o
ntext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdo
o
laege
isl_
m
ap
_
inter
s
ect
_
doma
i
n: avoid useless dou
b
le reverse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_map_intersect_{range,dom
a
in}: stop
all
o
wing intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
do
o
laege
isl_map_intersect: special case
u
n
i
v
e
r
sal in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
add isl_const
r
ain
t
_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add is
l
_pw_
m
ulti_aff_set
_
pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdoo
l
aege
add isl_pw_m
u
lti_aff_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Ver
d
ool
a
e
g
e
dec
l
a
r
e isl_p
w
_
multi_aff_align_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olaege
dec
l
ar
e
isl
_
basic_map_remove_divs_involving_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add isl_vec_fdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdoolaege
add isl_*_li
s
t
_
insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdool
a
ege
d
eclare isl_map_fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
e
r
d
o
o
lae
g
e
a
d
d
i
sl_basic_map
_
upper_bou
n
d_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Ve
r
doo
l
a
e
g
e
add isl_basic_
m
ap_order
_
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oolae
g
e
declare isl_af
f
_
z
ero
_
basic_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdo
o
laege
add isl_ve
c
_conc
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl
_
vec_free: r
e
tu
r
n NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdoolaeg
e
isl
_
map_free: r
e
turn NU
L
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl
_
basic_set_
f
ree: return
N
U
L
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n V
e
rdoolaege
i
s
l
_
basic_map_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoolaege
isl_
s
pace_free: return NU
L
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoolaege
isl_b
a
si
c
_map_gau
s
s: also set progress if a div
e
xpression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_tarjan_graph_init:
document the order of
the compone
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl
_
af
f
.
c
: document isl_a
f
f
_
n
ormal
i
ze
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_af
f
.
c: fix
t
y
p
o in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doo
l
aeg
e
hide
i
nterna
l
check_help
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdoolaege
hide
interna
l
basic_map_identit
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdo
o
laege
isl_map_sim
p
lif
y
.
c: remove_du
p
licate_divs:
preserve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaeg
e
isl_basic_m
a
p_drop_red
u
ndant_divs: don't
drop d
i
vs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
isl_test: general
i
z
e s
u
b
set test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sve
n
Ve
r
doolae
g
e
rename
isl_set_dim_has_*_b
o
und
t
o
isl_set_dim_has_any_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolae
g
e
relicense isl under
the MIT lic
e
nse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolae
g
e
confi
g
ure
.
ac: lin
k
against sa
m
e
LLVM comp
o
nent
s
as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
S
ven Verd
o
olaege
Merge br
a
nch '
m
aint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
i
s
l
_map_intersect: fi
x
error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
e
rdoola
e
ge
isl_access_info_add_source: plug
m
emory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sv
e
n
V
e
rdoolaege
isl
_
s
e
t_dim_residue_class
:
co
r
rectly
c
on
s
ider all ba
s
ic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-13
Sv
e
n
Ve
r
doolaege
isl_map_subtract: handle dupli
c
ate divs in
s
ubt
r
ah
e
nd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-13
Sven Verd
o
o
laege
isl_aff_s
c
ale_
d
own: check for scaling
d
own by zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verdoolaeg
e
add isl_*_list_drop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
S
v
en Verdoo
l
aeg
e
isl_*
_
lis
t
_add:
dynamically grow list to a
c
co
m
odate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sve
n
Verdo
o
l
aege
con
f
igure
.
ac: don't a
l
low installati
o
n in sou
r
ce
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven
V
e
rdoo
l
a
e
ge
add i
s
l_sp
a
ce_i
s
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolae
g
e
export isl_space_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sv
e
n Ver
d
oolaege
doc: document isl_space_is_
e
qual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sv
e
n Verdoo
l
aege
add isl
_
s
p
ac
e
_is_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verd
o
olaege
declare isl_
p
w_
m
ult
i
_aff_p
r
o
ject_domain
_
on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verd
o
o
l
aege
add isl_map_has_tu
p
l
e
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-04
Sven Verdoolaege
AUTHORS: add Mythri A
l
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolaege
isl_printer
_
fr
e
e: r
e
tur
n
N
ULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doolaege
declare is
l
_pw_m
u
lti
_
aff_drop_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
d
oolae
g
e
export isl_multi_aff_gist_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven V
e
rd
o
olaege
ex
t
ract common implementat
i
on of Tarjan's algorithm
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
oolaege
add i
s
l_point_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaeg
e
is
l
_union_map_extr
a
ct_map: ignore param
e
ters in space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
is
l
_union_map_extract_m
a
p: rename di
m
a
r
g
ument to space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_map_simplify
.
c: elimina
t
e_
v
ar
_
using_equality: normalize
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_st
r
eam_
r
ead_map: force r
e
s
u
lt to b
e
a ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolaege
isl_s
t
ream_r
e
ad_map
:
accept
r
a
t
i
onal affine
expres
s
io
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n
V
e
rdoolaege
add is
l
_map
_
{lexmin,lexma
x
}_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
e
ge
decla
r
e
i
sl_m
a
p_re
m
ove
_
unk
n
o
wn_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verdoolae
g
e
d
o
c
:
do
c
ument is
l
_set_rem
o
ve_unkn
o
wn_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
dec
l
are isl_
m
ap_r
e
m
o
ve_divs_
i
nv
o
l
v
ing_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
a
dd isl_basic_set
_
remove_di
v
s_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next