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
isl_convex_hull.c: initial_facet_constraint: avoid invalid access on error path
2012-09-15
Sven Ver
d
oo
l
aege
isl_convex_hu
l
l
.
c
:
i
n
itial
_
facet
_
constraint: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verdoo
l
aege
i
sl_m
a
p_union: special
c
ase universal
i
npu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verdoolaege
i
s
l_
m
a
p_gist: s
p
ecial case unive
r
sal and equal
i
n
p
ut
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
expor
t
isl_set_p
l
a
i
n_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoo
l
aeg
e
doc:
clarify use of i
d
entifie
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoo
l
aege
add isl_ba
s
ic_set_remov
e
_unknown_div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
r
d
oolae
g
e
and isl
_
pw_
a
ff_tdiv
_
q
a
nd isl_pw_aff
_
tdiv_
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
add is
l
_pw_aff_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ve
r
doolaege
add isl_set_is
_
disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
rdo
o
l
aege
isl_map_
p
lai
n
_
is_disjoint: special case obviously empt
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
i
s
l_basic_map_is_empty: special case u
n
iversa
l
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erdoolaege
is
l
_m
a
p_plain_is_disjoint: fix error han
d
lin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verd
o
olaege
isl_aff
.
c: fix typo in
c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
S
ven
Verdoolaege
isl_aff_normalize: combine i
d
entical divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoo
l
a
e
g
e
isl_aff_no
r
malize: plug
in divs with denominator one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdool
a
ege
extract out is
l
_
local_sp
a
ce
_
s
u
b
s
titute
_
seq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven V
e
rdoolaeg
e
e
x
t
ract o
u
t
common isl_se
q
_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
isl_aff_no
r
malize: sor
t
divs
in loca
l
space
of affi
n
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sve
n
Verdo
o
l
a
ege
add isl_local
_
space_
s
wap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven
V
e
rdoolaege
private
l
y export isl
_
m
a
t_cmp_d
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
a
dd is
l
_map_uncurry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add isl_
u
nion_map_su
b
tract_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdo
o
la
e
ge
isl_pw_*_gist: avoid inte
r
s
e
ction of domain wit
h
c
o
n
t
ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_map_inte
r
sect
_
domain: avoid us
e
les
s
double
reve
r
se
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoo
l
a
ege
isl_map_
i
ntersect_{ra
n
g
e
,do
m
ain}:
s
t
op all
o
wing
intersec
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdoolaege
i
sl_map_intersect: special ca
s
e universal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
a
dd isl_constraint
_
lis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
ad
d
isl_pw_multi_aff_
s
et_pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdoolaege
add is
l
_pw_mult
i
_aff_iden
t
ity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
do
o
laege
declare isl_pw_mu
l
ti_aff_align
_
p
a
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en
V
erdoolaege
dec
l
are isl_basic_ma
p
_remove_d
i
vs_in
v
olving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
a
d
d isl_vec_fd
i
v
_
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoolaege
a
dd isl_*_l
i
st_
i
nsert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verd
o
ola
e
g
e
d
e
c
l
are isl_map
_
f
i
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoolaeg
e
add isl_
b
asic_ma
p
_upper_bo
u
nd_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaeg
e
add isl_b
a
sic_map_
o
r
d
er_ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
de
c
lare isl_af
f
_
zero_
b
asic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoolae
g
e
add i
s
l_vec_c
o
n
cat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaeg
e
isl_vec_free: re
t
u
rn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
r
d
oolaege
is
l
_map_free
:
ret
u
rn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_basic_set_
f
r
ee: re
t
urn
NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoo
l
aege
isl_
b
as
i
c_map_
f
ree
:
return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_space_free:
r
eturn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doolaege
isl_basic_map_ga
u
ss: also set progress if
a
d
iv express
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoolae
g
e
isl_tarja
n
_
gra
p
h_init: do
c
um
e
nt the
o
rder of
t
he components
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
o
laege
isl_aff
.
c: docu
m
ent isl_aff
_
nor
m
alize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oolaege
is
l
_aff
.
c: fix
typo in com
m
en
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoolaege
hide int
e
rna
l
c
heck
_
hel
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Ver
d
oolaege
h
ide
internal bas
i
c_map_iden
t
ity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_map_si
m
plify
.
c: remove_duplicate_divs: pres
e
rve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
S
v
en Verd
o
olaege
isl_b
a
s
ic_map_drop_redunda
n
t_divs: don't drop div
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
S
v
en
Verdoo
l
aege
is
l
_t
e
s
t
: generali
z
e subset test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Ver
d
oolae
g
e
re
n
ame isl_s
e
t_dim_h
a
s_*_bo
u
n
d to
isl_
s
et_dim_ha
s
_any
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
erdoolaege
relicen
s
e
i
sl
un
d
e
r
the MI
T
l
i
ce
n
se
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven
Verdoolaege
configur
e
.
ac:
l
ink agains
t
s
a
me LLV
M
components
as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven V
e
r
doolaege
Merg
e
bra
n
ch 'maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
isl_
m
ap_
i
ntersect: fix
e
rror handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
S
v
en Ve
r
do
o
laeg
e
isl
_
a
c
cess_info_add_source: p
l
u
g
memory leak on erro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven V
e
r
doo
l
aege
isl_set_dim_residue_
c
l
ass: cor
r
ect
l
y consider all basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-13
Sven Ver
d
o
o
l
aege
isl_map_subtract: handle dup
l
icat
e
d
i
vs
in subtra
h
end
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-13
S
v
en Verdoolaege
i
s
l_af
f
_scale_
d
own: check
fo
r
s
c
a
ling down by zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sv
e
n Verdoolaege
add isl_*_lis
t
_drop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
S
ven Verdoolaege
isl_*_
l
ist_add: dynamically grow list to accomodate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sve
n
Verdoolaege
configure
.
a
c: don't allow installation in
source or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoo
l
ae
g
e
add isl_s
p
a
c
e
_is_
r
ang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdool
a
ege
export i
s
l_space_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
d
o
c: document isl_space_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoo
l
aege
a
dd isl_sp
a
c
e
_is_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sv
e
n
V
e
r
d
oolae
g
e
decl
a
re is
l
_pw_multi_aff_proje
c
t_domain_on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven
Verdoola
e
ge
add is
l
_map_has_tu
p
le_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-04
Sven
V
er
d
oola
e
ge
AUTHORS: add Mythri
A
l
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolae
g
e
isl_printer_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoo
l
aege
de
c
lare isl_pw_multi_aff_drop
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
export isl_mu
l
ti_aff_
g
ist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
ege
extract common impl
e
mentation o
f
Tarjan's
algori
t
hm
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven V
e
rdoolaege
add isl_point_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
oolaeg
e
isl_union_map_e
x
tract_map: i
g
nore pa
r
ameters
i
n s
p
ace
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolaege
is
l
_union_map_
e
xtract_map: renam
e
dim ar
g
ument to sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
oolaeg
e
isl
_
map_simplify
.
c: eliminate_var_us
i
ng_equality:
n
o
r
mal
i
ze
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n
Verdoolae
g
e
isl_stream_read_map: f
o
rce result to be a
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Ve
r
d
oolaege
i
sl_stream_rea
d
_map: accept
r
ational affine expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_m
a
p_{lexmin,lexmax}_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdoo
l
aege
declare isl_m
a
p_remove
_
unk
n
ow
n
_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
e
r
doolaege
d
o
c: document isl_
s
e
t_
r
emov
e
_unknown
_
div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoo
l
ae
g
e
decl
a
re
isl_
m
ap_r
e
mov
e
_divs_inv
o
lving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
a
d
d isl_basi
c
_set_remov
e
_
divs_inv
o
lving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdo
o
laege
d
oc: docume
n
t isl_set_remove_divs_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolaeg
e
add
i
sl_basic_set_elimin
a
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
d
o
o
l
a
eg
e
add
isl_union_set_f
r
om_basic_set and
i
sl_
u
n
i
o
n_map_f
r
om_basi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoo
l
aege
add isl_b
a
sic_{set,map}_inse
r
t_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ve
n
Ver
d
o
olaege
add isl
_
basic_{se
t
,map
}
_align_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verd
o
o
laege
add
isl_
u
nion_map
_
domain_p
r
od
u
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoola
e
ge
d
eclare
i
sl_basic_map_pr
o
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_pw_m
u
lti_aff_pr
o
d
u
ct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
e
n Verdoolaege
a
d
d isl_pw_multi_aff_u
n
ion
_
{lexm
i
n
,lexmax}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdoolaege
isl_set_free:
r
eturn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoo
l
aege
add isl_mult
i
_aff
_
lex_{le,g
e
}_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verd
o
olaege
dec
l
are isl_
m
ulti_af
f
_g
e
t_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_multi_aff_identit
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdoolaege
add isl_
a
f
f_neg_basic_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next