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_map_union: special case universal input
2012-09-14
S
v
en Verdo
o
laege
isl_map_union:
special case universal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven V
e
r
do
o
lae
g
e
isl_map_gist: special case u
n
iversal and equal inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdo
o
laeg
e
e
x
port isl_set
_
pl
a
i
n_
c
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
rdoola
e
ge
d
o
c: clarif
y
use of identif
i
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
r
d
oolaege
add isl_basic_set_re
m
ove_unknow
n
_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
and isl_pw_aff_tdiv_q and i
s
l_pw_
a
ff_tdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoola
e
ge
add isl_p
w
_aff_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ve
r
doolaege
add isl_set_is
_
dis
j
oint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
Verdoolaege
isl
_
map_pla
i
n_is
_
disjoint: spe
c
ial case obvious
l
y
e
mpty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaeg
e
isl_basic_m
a
p_is
_
empty: sp
e
cial case u
n
iversa
l
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
rdoolaege
isl_map_pl
a
in_is
_
disjoi
n
t: fi
x
e
r
ror handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verdoolaege
isl_
a
ff
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoo
l
aege
i
sl
_
af
f
_
n
o
rmalize: combi
n
e
i
dentical divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven
V
erdoolaeg
e
isl_aff_norma
l
i
ze: plug in
d
ivs with denominator one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Ver
d
oolaeg
e
extr
a
ct out
i
sl_
l
ocal_space_substitute_seq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven
V
erdoolaeg
e
e
x
tract out commo
n
i
sl_seq_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sve
n
Verdoolaege
isl_
a
f
f_normalize: sort
divs in local space of a
f
fin
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven
V
erdoolae
g
e
add isl_loca
l
_sp
a
ce_swap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verd
o
olaege
pr
i
v
a
tely export
isl_mat_cmp_
d
iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Tobi
a
s
G
rosser
fix isl_un
i
on_map_
d
ete
c
t_equ
a
lit
i
e
s memory manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doolaege
add isl_map_uncurr
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
add
i
sl_union_map_subtract_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdoolaege
isl
_
pw_*_gist: a
v
oid i
n
t
e
rse
c
tion of do
m
ain w
i
t
h
c
o
ntex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en V
e
rdoola
e
ge
isl_
m
ap_inter
s
ect_domain: avoid us
e
less double
rever
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
r
doolaege
isl
_
map_intersect_{range,domain}:
s
to
p
allowing inters
e
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Ver
d
oolaeg
e
isl_map_inte
r
sect
:
special case
u
niversal in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
a
d
d isl_constraint_lis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven
V
erdo
o
laege
a
dd isl_pw_multi_a
f
f_set_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add
i
sl_pw_m
u
lti_aff_ident
i
ty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
d
eclare isl
_
pw_
m
ulti_aff_align_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdo
o
laeg
e
decla
r
e isl_basic_map_remove
_
divs_in
v
ol
v
ing_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oo
l
aege
a
dd isl_vec_fdiv
_
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
a
dd isl_*_l
i
st_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoo
l
aege
d
e
clare isl_m
a
p_fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoolaege
a
d
d isl_basic_
m
ap_upper_bound
_
si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven
V
er
d
ool
a
ege
add i
s
l_basic_map
_
order_ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoolaege
declare isl_a
f
f_zer
o
_
b
asic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoo
l
aege
add isl_vec_conc
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Ve
r
doolae
g
e
isl_vec_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaeg
e
isl_
m
ap_free:
return NUL
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdo
o
laeg
e
isl_basic
_
set_free: re
t
urn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_ba
s
i
c
_map
_
free: return
N
UL
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdoolaege
is
l
_spa
c
e
_
free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_basic_
m
ap_gauss: also set p
r
o
g
ress if a div expre
s
sion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en
Ve
r
doolaege
isl_
t
ar
j
an_graph_
i
nit: documen
t
t
he order of the compo
n
ent
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_aff
.
c
:
document is
l
_aff_normalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Ve
r
doolaege
isl_aff
.
c: fix t
y
p
o
i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdoolaege
hide inter
n
al ch
e
ck
_
h
e
lp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
h
i
de in
t
ernal
basic_map_
i
dentity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n
V
erdoola
e
ge
i
sl_
m
ap_si
m
plify
.
c
:
remo
v
e_d
u
plicate_div
s
: pres
e
rve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sv
e
n Verdoolaege
isl_basic_
m
ap_drop_red
u
ndant_divs: don't dro
p
d
ivs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
S
v
en Ve
r
doolaeg
e
is
l
_test: generalize subset test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
S
v
e
n
Verdoolaege
rename
isl_set_dim_h
a
s
_*_bo
u
nd to isl_set_
d
im_has_any_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
relicense isl under
t
he MIT
license
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolae
g
e
confi
g
ure
.
ac: link ag
a
inst same LLVM components as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Ve
r
doolae
g
e
Merge branch 'maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
S
ven
Verdoolae
g
e
is
l
_map_i
n
t
e
rsect: f
i
x error han
d
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
erdoolaege
isl
_
access_i
n
fo_add_source: p
l
ug
mem
o
r
y
leak on er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
S
v
en Verdoolaege
isl
_
set_dim_residue_class:
c
orrectly consider all basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-13
Sven Verdoo
l
aege
isl_map_subtract: hand
l
e duplicate divs
in su
b
trahend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-13
Sven Verdoolaege
isl
_
aff_scale_down:
c
h
eck for scalin
g
down by
z
ero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
S
ven Verdo
o
laege
add isl_*_list
_
drop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verdoolaege
isl_*_li
s
t_ad
d
: dyna
m
ica
l
ly grow
l
is
t
to accomodate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verdoolaege
c
o
nfigure
.
ac: don't
a
llow insta
l
l
a
tion in source o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
S
ve
n
Verdoolae
g
e
a
dd is
l
_sp
a
ce_is_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
export isl_space_is_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
S
v
e
n Verdoolaege
d
o
c:
doc
u
ment
i
sl
_
space
_
is_equa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolae
g
e
add
i
sl_space_
i
s_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
S
v
en Verdoolaege
d
ec
l
a
r
e i
s
l_pw_m
u
lti
_
aff_pr
o
j
e
c
t
_domain_on
_
pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
add isl_ma
p
_has_
t
uple
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-04
S
ve
n
Verd
o
ol
a
ege
AU
T
HORS: add Mythri Al
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolaege
isl_printer_fre
e
:
return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Ver
d
o
o
l
aeg
e
declare isl_
p
w_
m
ulti_
a
ff_d
r
op_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
e
x
port
i
sl_multi_aff
_
gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
V
e
rd
o
ola
e
ge
extra
c
t common im
p
lementation
of Tar
j
an's algorithm
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdoolaege
a
d
d isl_poin
t
_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven V
e
rdoolaege
is
l
_union_map_extract
_
m
a
p:
i
gnore
parameters in
s
pac
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolaege
isl_union_map_extr
a
ct_map: ren
a
m
e
d
im argument
t
o
spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdo
o
l
aege
isl_map_simplify
.
c: eli
m
inate_var_us
i
n
g
_equ
a
lity:
normaliz
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdoolaege
isl_stream_read_ma
p
:
f
o
rce res
u
lt to be
a
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_stream_
r
ea
d
_map: accept rational
affine expres
s
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add
i
sl_map_{lexmin,lexmax}_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
d
e
clare isl_map_remove_
u
nkn
o
wn_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en V
e
rdoo
l
aege
d
o
c: documen
t
isl_set_remove_unknown_div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolae
g
e
declare isl_map
_
r
emove_div
s
_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
e
n Verdoolaege
add isl_basic_set_remove_divs_in
v
ol
v
ing_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erd
o
olaege
doc: document isl_
s
et
_
rem
o
v
e_divs_inv
o
lvi
n
g_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n
V
e
rdoo
l
aege
a
d
d isl_b
a
sic_set_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verd
o
olaeg
e
add isl_u
n
ion_set_from_basic_set an
d
i
s
l
_
union_map_f
r
om_
b
asi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verdoolaege
add isl_basi
c
_{set
,
map}_inser
t
_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
d
o
olaege
add
isl_b
a
sic_
{
set,map}_align_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doo
l
aege
add isl_union_map_domain_pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
dec
l
are
i
sl_basi
c
_map_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven V
e
r
d
oolaege
add isl_pw_multi_af
f
_pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdool
a
ege
add isl_pw_m
u
lti_aff_union_{lexmin,l
e
xm
a
x}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
oo
l
aege
i
sl_set_free: ret
u
r
n
N
ULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolaege
ad
d
isl_mult
i
_aff_le
x
_{le,ge}
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
o
o
laege
dec
l
are isl_mu
l
t
i_a
f
f_get_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_mu
l
ti
_
aff_identi
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdoolaeg
e
a
dd
isl_af
f
_neg_basi
c
_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next