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_drop_dims
2012-09-18
Sven
Verdoolaege
generalize is
l
_
multi_a
f
f_dr
o
p_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
g
e
g
e
neralize is
l
_
m
ulti_aff_set_di
m
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
generalize
i
sl_multi_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
gene
r
alize is
l
_multi_
a
ff_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verdo
o
la
e
g
e
ad
d
is
l
_pw_aff_zero_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
add is
l
_pw_af
f
_var
_
on_d
o
mai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoolaege
add
isl_aff_var_on_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
r
dool
a
ege
isl_in
p
ut
.
c:
obj_read_body: sim
p
lify error
han
d
lin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Verdoolaege
add isl_basic_set_drop_cons
t
raints_not_i
n
volving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
e
n
Verdoo
l
aege
add
is
l
_{set,map}_drop_constraints_involving_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoola
e
ge
add isl
_
set
_
u
nshifted_simpl
e
_
h
u
ll
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verd
o
olae
g
e
isl_stream
_
read_
u
nion_map: force result
to b
e
a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add isl_u
n
ion_map_s
u
btract_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoolae
g
e
isl_
s
e
t
_from_pw_mul
t
i_a
f
f
: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolae
g
e
is
l
_
union_m
a
p
.
c: plai
n
_injec
t
ive_o
n
_range: s
i
lence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sve
n
Verdoolaege
isl_tran
s
i
tive_cl
o
s
ure
.
c: uni
o
n
_
comp
o
nents: avoid
i
nvalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven V
e
r
d
oolaege
isl_ra
n
ge
.
c qpolynom
i
al_bound
_
on_d
o
main_range: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n Verdoo
l
aege
isl_convex
_
h
u
ll
.
c: initial_
f
acet_co
n
straint: avo
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven Ver
d
oolaege
isl_map_u
n
ion: special case
u
nivers
a
l i
n
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven Ver
d
oolaege
isl_map_gist: spe
c
ial
c
ase univers
a
l and
equal
i
nputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erdoolaege
e
xport
isl_set_plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n V
e
rdo
o
laege
doc:
cl
a
rify use of id
e
ntifiers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
rdoolaege
a
d
d i
s
l
_
basic_set_r
e
m
o
v
e
_
unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
and isl_pw_aff_tdiv_q and isl_
p
w_aff_tdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaeg
e
add isl_pw
_
aff_
d
iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verd
o
o
laege
a
d
d isl_set_is_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
isl_map_plain_is_disjoint: special case o
b
viously empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
is
l
_basic_map_is_empty: special case universal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdoolaege
is
l
_map_pl
a
in
_
is_d
i
sjoi
n
t: fix erro
r
handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
isl_a
f
f
.
c: fix
t
ypo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
isl_a
f
f_nor
m
aliz
e
:
combine identical
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sve
n
V
e
rdoola
e
ge
isl
_
aff_normalize:
p
lug in divs
w
ith den
o
minator one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolae
g
e
extract
o
ut
i
sl_local_space_substitute_
s
eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
S
v
en Verdoolaeg
e
e
x
t
r
a
c
t
o
ut common i
s
l_
s
eq_substit
u
te
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Ver
d
oo
l
a
e
ge
isl_aff_normalize: sort div
s
in lo
c
al spac
e
of af
f
ine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven
V
erdoolaege
add isl_local_space_swap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdo
o
laege
privately export isl_mat_cmp_
d
iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-10
Tobias Gro
s
ser
f
i
x
i
sl_union_map_detec
t
_equalities me
m
o
r
y manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n Verdoolaege
add isl_map_uncurry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
V
e
rdoolaege
add
isl_union_map_su
b
tract_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
i
s
l_
p
w_*_gist: a
v
oid intersect
i
on
of
d
o
main with c
o
nt
e
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doolaege
isl
_
m
a
p_intersect_domain: avoid u
s
eless
double r
e
vers
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
isl_map_intersect_{range,domain}:
sto
p
allo
w
ing
intersectio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoola
e
ge
isl_map_i
n
tersect:
special
case universal in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en V
e
rdoolaege
add isl_constraint_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdo
o
laege
a
dd isl_pw_multi_a
f
f_se
t
_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdoolaege
add isl_pw_multi
_
aff_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdool
a
e
ge
decla
r
e isl_pw_
m
ult
i
_aff_
a
l
ign_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ve
n
Verdoolaege
declare isl_basic_map_remove_divs_involving_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
ven
V
erd
o
olaeg
e
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
Sven
V
erdoolaege
add
is
l
_*_list_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdoo
l
a
ege
decla
r
e
i
sl_map_fix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n Verdoola
e
ge
ad
d
i
s
l
_basic_map_upp
e
r
_boun
d
_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verd
o
olaege
a
d
d i
s
l
_
ba
s
ic_ma
p
_order_ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
d
e
clare isl_aff_zer
o
_b
a
sic_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolae
g
e
add i
s
l
_vec_con
c
at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoolaege
isl_vec_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
i
s
l_map_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_basic_set_fre
e
: retur
n
NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_basi
c
_
map_f
r
ee: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdoolaege
i
sl_space_fre
e
: retu
r
n NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
isl_basi
c
_
m
ap_gauss
:
also set progress i
f
a div express
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
o
laeg
e
isl_tarjan_graph_init
:
document the
o
r
d
e
r of the
c
o
mpo
n
e
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en V
e
rdoola
e
ge
isl_aff
.
c: docum
e
nt
i
s
l
_a
f
f
_
n
o
r
maliz
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olaeg
e
isl
_
aff
.
c
:
fix ty
p
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
d
oolae
g
e
hide internal check_help
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n
V
e
rdoolaege
hide interna
l
b
a
s
ic_map_identit
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdo
o
laege
i
s
l_map_simpl
i
fy
.
c: r
e
mo
v
e_duplicate_divs: preserve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
isl
_
b
asic_map_
d
rop
_
r
e
dundant_divs: don't drop divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
i
sl_test:
g
eneralize subse
t
test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoo
l
aege
rena
m
e isl
_
se
t
_dim_has_
*
_bound to isl_set_dim
_
has_
a
ny_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sve
n
V
er
d
oolaege
r
e
license isl u
n
der the MIT li
c
e
n
se
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verd
o
ola
e
ge
configure
.
a
c: link against same L
L
VM components as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
e
rdoolaege
Merge bra
n
ch 'maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
isl_map_inte
r
s
e
c
t
:
fix error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
isl_access
_
info_a
d
d_source: plug memory leak
on err
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
erdoolaege
i
s
l
_s
e
t_dim_
r
esid
u
e
_
class: cor
r
ectly
consi
d
e
r all basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-13
Sven Verdoolaege
isl_m
a
p_sub
t
ract:
handle duplicate divs in subtrahen
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-13
S
v
en
V
erd
o
olaege
isl_aff_scale_down: check
f
or sc
a
ling down by
z
ero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verdo
o
laege
add isl_
*
_list
_
d
r
o
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sv
e
n Verdool
a
ege
isl_*_list_add: dynamically
g
r
o
w list to
accomodate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-10
Sve
n
Verdoolaege
configur
e
.
ac: don't all
o
w installati
o
n in source
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Ver
d
oolaege
add isl_space_is_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Ver
d
oolaege
expo
r
t isl_space_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
S
ven Verdoolaege
d
o
c:
d
ocu
m
ent isl_spa
c
e_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
S
ven
V
erdo
o
lae
g
e
add isl_space_i
s
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sve
n
Ver
d
oolaege
declare isl_pw_mu
l
t
i
_aff_project_d
o
main_on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoo
l
ae
g
e
a
d
d
i
sl_map_has_tupl
e
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-04
Sven Verd
o
olaege
AUTHORS:
a
d
d Mythri Alle
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
oo
l
aege
isl
_
printer_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
d
e
clare isl_pw_multi
_
aff
_
drop_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolaege
export isl_multi_aff_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verd
o
o
l
a
ege
extract common i
m
pleme
n
tation of Tarjan's algorithm
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_p
o
i
n
t_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_union_map_extract_map
:
ignor
e
paramet
e
rs
i
n
space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
e
rdoolaege
isl_unio
n
_map
_
extr
a
ct_map: rename
d
im arg
u
me
n
t t
o
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doo
l
aege
isl_m
a
p_simplif
y
.
c:
eliminate_var
_
using_equ
a
li
t
y: normalize
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verdoolaeg
e
isl_st
r
e
am_read_map:
force result to be a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_stream_re
a
d
_map: ac
c
ept rati
o
nal affine
e
xpressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoo
l
aege
a
dd
i
s
l
_map_{lexmi
n
,lexmax}_p
w
_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next