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
and isl_pw_aff_tdiv_q and isl_pw_aff_tdiv_r
2012-09-13
Sven Verdoolaege
and isl_pw
_
aff_t
d
iv_q and
i
sl_
p
w_af
f
_tdiv_
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
add
i
s
l
_p
w
_aff_di
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verdoolaege
add isl_set_is_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verdoolaege
isl_map_plain_is_disjoint: special
c
ase obviously empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erd
o
olaege
isl_basic_m
a
p_is_empty
:
sp
e
c
ial case universal
i
n
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdool
a
ege
isl_m
a
p_plain_is_disjoint: fix error
handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
ve
n
Verd
o
o
l
aege
isl_aff
.
c: fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
isl_aff_normalize: combine ide
n
t
ical divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Ve
r
doolaege
isl_aff_nor
m
alize: plug in div
s
with denominator
o
ne
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
S
v
en Verdool
a
ege
extrac
t
o
ut i
s
l_local
_
s
p
ace_substitute_seq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sve
n
Verdoolaege
extract out common isl_seq_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
S
v
e
n
Verdoola
e
ge
i
sl_aff_normalize: sort divs in l
o
cal space of af
f
ine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
add isl_local_
s
p
a
ce_sw
a
p
_
d
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sve
n
Verdool
a
ege
privately export isl_mat_cmp_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoolaege
add isl_map_uncurry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
add i
s
l
_union_map_subtra
c
t_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl
_
pw_*_gist: avoid intersection of
domai
n
with context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Ver
d
oolaege
isl_
m
ap_
i
nterse
c
t_domain: avoid useless
double reverse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_m
a
p_intersect_{ra
n
ge,do
m
ai
n
}: stop allo
w
ing inter
s
ection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoo
l
aege
isl_map_inte
r
s
ect:
s
pecial case uni
v
ersa
l
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add isl_constraint_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaeg
e
a
d
d
isl
_
pw_mul
t
i_aff_set_pw
_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoola
e
g
e
ad
d
isl
_
pw_multi_
a
ff_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoo
l
aege
decla
r
e
is
l
_
p
w_m
u
lti_aff_align_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rd
o
olaege
declare isl
_
b
asic_
m
ap_rem
o
ve_divs_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdo
o
laege
add
i
s
l
_v
e
c_fd
i
v_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
V
e
rdoolaege
add
i
s
l_*_list_
i
n
s
e
rt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
declare is
l
_map
_
fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n
Verdoolae
g
e
add isl_basic_map_uppe
r
_
bound_s
i
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoola
e
ge
add isl_bas
i
c_map_orde
r
_ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdoolae
g
e
d
e
c
l
a
re isl_aff_zer
o
_basic
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add
i
sl_vec_concat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Ve
r
do
o
laege
isl_vec_fr
e
e
:
r
e
turn NU
L
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
isl_map_free: return
NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doolae
g
e
isl_basic_set_free: re
t
urn
N
U
L
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
i
sl_basic_m
a
p_free: retu
r
n NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoo
l
a
e
g
e
isl_space_free: return
N
U
LL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
i
sl
_
basic_
m
ap_ga
u
ss
:
also set progre
s
s if a div
e
x
pr
e
ss
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolae
g
e
isl_tarjan_graph_init: document the order of the comp
o
nents
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdoolaege
isl_aff
.
c: document
i
sl_
a
ff_normalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdool
a
ege
isl_a
f
f
.
c: fix typo in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoola
e
ge
hide intern
a
l check_help
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doolaege
hide internal basic_map_iden
t
ity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
d
oolaege
isl_map_simplify
.
c: remove
_
d
upl
i
c
a
t
e_divs: preserve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven
V
erdoolaege
isl_basic_map_
d
rop_redundant_divs:
d
o
n'
t
drop
divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Ve
r
doolaege
isl_test:
g
e
nera
l
ize
s
ubs
e
t test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Ve
r
dool
a
ege
rename
i
sl_set_dim_has_*_boun
d
to
i
s
l_set_dim_h
a
s
_
an
y
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
reli
c
ense isl under
t
he
MIT license
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
con
f
igure
.
ac: link against same LLVM c
o
mponents a
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
erdoolae
g
e
M
e
rg
e
branch 'ma
i
nt'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
S
ve
n
Verdoolaege
isl
_
map_intersect:
f
ix
error handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven
Verdoolaege
isl_
a
ccess_i
n
fo_
a
dd_source
:
plug
m
emory leak on erro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sve
n
Ver
d
oolae
g
e
i
sl_set_dim_
r
esi
d
u
e_cl
a
ss:
c
orrectl
y
consider
a
ll ba
s
ic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-13
Sven
Verdoolaege
isl_map_subtra
c
t: han
d
l
e duplic
a
te divs in subtrahend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-13
S
v
en Ve
r
do
o
laege
isl_aff_scale_down: check for scaling do
w
n
b
y zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sven
V
e
r
d
o
olaege
add i
s
l_*_list_drop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verdoo
l
aege
isl_*_
l
i
st_
a
dd: dyn
a
mically grow
l
i
st
to accomodate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verd
o
ola
e
ge
confi
g
ur
e
.
ac: don't allow installat
i
on in source or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Ver
d
oolaege
add isl_
s
pace_is_ra
n
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven
V
erdoola
e
ge
export isl_space_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sve
n
Verdoolaege
doc: doc
u
ment i
s
l_space_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
add i
s
l_s
p
ace_is
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
S
ven
V
erdoolaege
de
c
lare
i
s
l_pw_multi
_
aff_project_d
o
main_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
S
ven
Verdoolaeg
e
AUTHORS: add Mythri
Alle
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en
V
erdool
a
ege
i
s
l_
p
rinter_free: return NU
L
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
declare isl_pw_m
u
lti_aff_drop_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
export isl_multi_aff_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
oolaege
extract common
implem
e
n
t
ation
of
Tarj
a
n's algo
r
ithm
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
Sve
n
Verdoolaege
isl_union
_
m
ap
_
extract_map
:
i
g
nor
e
para
m
eters in space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdo
o
lae
g
e
isl_union_
m
ap
_
extract
_
map: ren
a
m
e
dim argume
n
t to space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoolaege
isl_map_simplify
.
c
: e
l
imina
t
e
_var_using
_
equality: normal
i
ze
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
e
n
Verdool
a
e
g
e
isl_stream_read_map:
force
r
esult to be a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoola
e
ge
i
s
l
_stream_read_map: acce
p
t rational aff
i
ne expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verd
o
olaege
ad
d
i
s
l_ma
p
_{lexmin,l
e
xmax}_pw_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
e
rdoolaeg
e
declare isl_
m
ap_
r
em
o
ve_unkn
o
wn_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
doc: document isl_set_remove_unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdo
o
la
e
ge
d
eclare isl_
m
ap_
r
emove_divs_involv
i
ng_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Ve
r
d
o
olaege
add isl_ba
s
ic_set_remove_divs_involving
_
dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdo
o
laege
d
o
c
:
document isl_set_remove_div
s
_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doolaege
a
d
d isl_bas
i
c_set_
e
liminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoo
l
a
e
ge
add is
l
_u
n
ion_set_from
_
b
a
s
i
c_set and i
s
l_union_map_f
r
o
m
_basi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_basic_{set,map}_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolae
g
e
add
isl_b
a
sic
_
{set,map}_ali
g
n_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolae
g
e
add isl_union_map_domain_p
r
oduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Ver
d
oolaege
declare isl_basic_map_pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoola
e
ge
add is
l
_pw_
m
u
l
ti_aff_
p
roduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdoolaege
a
d
d isl_pw_
m
u
l
ti_aff_union_{lex
m
i
n
,lexmax}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolaege
i
s
l_s
e
t
_
free: return NU
L
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
a
dd isl_
m
ulti
_
aff_lex
_
{
le,ge}_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
dool
a
ege
declare
i
s
l
_multi_aff_get_
d
omain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_
m
ul
t
i_a
f
f
_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoola
e
ge
add isl_aff_neg_basic_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
oolaege
add isl_aff_
a
dd_
c
onsta
n
t_n
u
m{,_si
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolaege
add
isl_id_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_*_l
i
st_set_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
ege
add isl_pw_
m
ulti_aff_has_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoolaege
declar
e
i
s
l
_p
w
_aff_ge
t
_
t
up
l
e
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doolae
g
e
add i
s
l_map
_
has_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next