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
add isl_multi_*_add_dims
2012-09-18
S
v
en Verdo
o
laege
a
dd isl_multi_*_add_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add i
s
l_multi_*_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
i
s
l
_mul
t
i_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
er
d
oola
e
ge
add
isl_m
u
lti_aff_from_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
isl_mult
i
_templ
.
c
: re
n
ame align_params_multi_set_and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
s
l_multi_
t
empl
.
h: avoid ref
e
rence to explici
t
elemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
isl_mul
t
i_*_r
e
set_space_and_doma
i
n: cal
l
isl_*_reset_dom
a
in_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ver
d
oolaege
generalize isl_
m
u
l
ti_
a
ff_f
l
at_range_
p
roduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
erdoolaege
g
eneralize i
s
l_multi_aff
_
drop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
d
o
o
laege
generalize isl_multi_aff_set_d
i
m_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ve
r
d
oolaege
gen
e
ralize isl_multi_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Ve
r
do
o
laege
gene
r
alize isl_multi_aff_identi
t
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdool
a
ege
add i
s
l_pw_aff_zero_o
n
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erd
o
olaege
add isl_pw_aff_var_on_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add isl
_
a
ff_var_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verd
o
ola
e
ge
isl_input
.
c: obj_rea
d
_body
:
simplify error handl
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoo
l
aege
add
isl
_
b
a
sic_
s
et_dr
o
p_constr
a
ints
_
n
o
t_involvin
g
_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Verdoolaege
add i
s
l_{set,map}_drop_co
n
straints_
i
nvolving_
d
i
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Verdoolaege
add isl
_
set_unshifted
_
si
m
p
l
e_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
i
s
l
_
stream_read_
u
nion
_
m
ap: force result to b
e
a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erd
o
o
la
e
ge
ad
d
isl_un
i
on_map_sub
t
ract_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ver
d
oolaege
isl_set_
f
ro
m
_pw_multi_aff: han
d
l
e
NULL i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
v
en
V
e
rdoolaege
isl
_
union_map
.
c: plain_injective_on_range: sile
n
ce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verd
o
olaege
isl_transi
t
ive_closure
.
c
: union_components: avoid invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Ve
r
doolaege
isl
_
range
.
c qpol
y
nomial_bound_on_domain_range: a
v
oi
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n
V
er
d
oolaege
isl_convex_hull
.
c:
in
i
tial_
f
a
cet_constraint
:
avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sve
n
Verdoolaege
isl_map_un
i
o
n
: spec
i
a
l
ca
s
e universa
l
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven Ve
r
doo
l
aege
isl_map_gist: spe
c
ia
l
c
ase universal
and equal inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en
V
e
rdoolaege
export i
s
l_set_plai
n
_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ver
d
ool
a
ege
d
oc: cl
a
rify use of identifi
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
add i
s
l_
b
a
s
i
c_
s
e
t
_
r
emo
v
e_un
k
nown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
and isl_pw_aff_td
i
v
_
q a
n
d isl_pw
_
af
f
_tdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoola
e
g
e
add isl_pw_aff_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n Verdoolaege
add isl_set_is_
d
isjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verdoolaege
isl
_
map_plain_is_dis
j
oint: speci
a
l case ob
v
iously empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verdoolaege
isl_basic_m
a
p_is_empty:
s
p
e
c
ia
l
case universal inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verdoola
e
g
e
is
l
_map_pla
i
n_is_disjo
i
nt: fix
e
rr
o
r
h
a
n
dling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
isl_aff
.
c: fix t
y
p
o
i
n co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
S
ven Verdoolaege
isl_aff_n
o
rmalize: combine
i
dentica
l
divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Ve
r
doo
l
aege
isl_aff_normaliz
e
: plug in divs with d
e
nominator
o
ne
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
extract ou
t
is
l
_
local_space_substitute_seq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
extract out common
isl_seq_sub
s
tit
u
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verd
o
olaege
isl_aff_normalize: s
o
rt d
i
vs i
n
local sp
a
ce of affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
S
v
e
n
Ve
r
dool
a
ege
add isl_local
_
s
p
a
c
e_swap_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Ver
d
o
o
laege
privately ex
p
ort is
l
_
m
at_cm
p
_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doolaege
add
i
s
l_map_uncu
r
r
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
o
o
laege
add isl_union_map_subtract_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_
p
w_*_
g
is
t
: avoid
inte
r
section
o
f
d
omain with context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl
_
map_
i
nterse
c
t_domain: av
o
i
d
useless double reverse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doo
l
ae
g
e
isl_map_i
n
tersect_{ra
n
ge,domain
}
: s
t
o
p
a
l
lowing interse
c
t
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoo
l
a
ege
isl_map
_
i
ntersect: special case universal input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n
Verdoolaege
add isl
_
co
n
straint_
l
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add i
s
l_pw_
m
ulti_aff_set_p
w
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdo
o
l
a
ege
ad
d
isl_pw_m
u
lt
i
_aff_
i
dentity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
d
e
clare isl_pw_multi_aff
_
a
l
ign_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoola
e
ge
d
eclare i
s
l_b
a
sic_map_re
m
o
ve_
d
i
v
s
_
involving
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaeg
e
add is
l
_v
e
c_
f
div_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olaege
add isl
_
*_list_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoolaege
decla
r
e isl_map_fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olaege
add isl_basic_map_upper_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolae
g
e
a
dd isl_basic_map_order_ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoo
l
aege
declare isl_aff_ze
r
o_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
a
d
d
isl_
v
ec_
c
on
c
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_v
e
c_fre
e
: return
N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
isl_m
a
p_fre
e
: return NU
L
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verd
o
olae
g
e
isl_basic_set_
f
r
e
e: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_basic_map_fre
e
: retur
n
NU
L
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
r
doolaege
is
l
_
s
pa
c
e_fre
e
: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en
V
erdoolaege
isl_basic_map_gauss: also set pr
o
g
r
ess if a div expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdoolaege
isl_ta
r
jan_
g
raph_ini
t
: document the
o
r
der of the
compo
n
en
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl
_
aff
.
c: docume
n
t isl_aff_normali
z
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n V
e
rd
o
o
lae
g
e
isl_aff
.
c:
f
i
x typo
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
hide internal
c
he
c
k_
h
elp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en V
e
rdoolaege
hide internal
ba
s
ic_
m
ap_ident
i
ty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_map_simplify
.
c: remove_duplicate
_
divs
:
preserve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoola
e
g
e
i
s
l_bas
i
c_map_drop_redundant_div
s
:
don
'
t drop divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven
Verdo
o
laege
i
s
l_test: genera
l
ize su
b
set test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
S
v
en Verdoolaege
ren
a
me isl_set_dim_has_*_bound
t
o isl_
s
e
t_
d
im_ha
s
_an
y
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
relicense isl under the MIT lic
e
nse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaeg
e
configure
.
ac: link
agains
t
same LL
V
M co
m
ponents as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
Merg
e
bran
c
h '
m
aint
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
isl_ma
p
_
i
ntersect: fix error h
a
n
d
l
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Ve
r
dool
a
ege
i
s
l_access_info_add_so
u
rce: plug mem
o
ry leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
isl_set_dim_
r
esi
d
ue_clas
s
: correctly con
s
id
e
r al
l
basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
Sve
n
Verdoolaege
isl
_
m
a
p_subt
r
act: handle dupli
c
ate
d
ivs in subtrahend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
S
v
en Verdool
a
ege
i
s
l
_af
f
_scale_down: check for scaling down by zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sve
n
Verdo
o
lae
g
e
add
i
sl_*_list_
d
ro
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
S
v
en Verdoola
e
ge
isl_
*
_list_add:
d
y
namically grow l
i
st to accom
o
date
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verd
o
olaege
c
o
nfigure
.
a
c
: don'
t
allow installat
i
on i
n
source
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
v
en Ve
r
doolaege
add isl_sp
a
ce_is_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdo
o
l
a
ege
export isl_space_
i
s_
d
o
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
v
en
V
e
rd
o
olaege
doc
:
document isl
_
s
p
ace_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sv
e
n Verdool
a
e
g
e
add
i
sl_space_is_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verd
o
ola
e
ge
d
e
c
lare
i
sl_pw_m
u
lti_a
f
f_pr
o
ject_d
o
main_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
add isl_ma
p
_
h
a
s
_
tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-04
S
v
e
n
Verd
o
o
laege
AUTHORS:
a
dd Mythri Alle
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doolaege
isl_p
r
inter_free: retu
r
n NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
d
e
clare isl
_
pw_m
u
l
ti_aff_drop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Ve
r
doolaege
export isl
_
multi_a
f
f
_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolae
g
e
extract common
i
mplementation o
f
Tarjan's
a
l
gorithm
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next