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
Merge branch 'maint'
2013-08-06
Sven Verdoo
l
aege
Merge bra
n
ch 'maint
'
commit
|
commitdiff
|
tree
2013-08-06
Sven Verd
o
olaege
isl
_
as
t
_build_a
s
t_from_s
c
hedule: improve handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-05
Sv
e
n V
e
r
doolaege
isl_ctx
.
c: find_nested_
o
p
tion
s
:
p
roper
l
y handle argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoolaege
isl_union_map_par
a
ms: pl
u
g memo
r
y le
a
k in
c
ase of e
m
p
ty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
add
isl_i
d
_to_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
a
d
d is
l
_ast_expr_substitute_ids
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
Verdoolaege
extr
a
ct out is
l
/ast_t
y
pe
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
ad
d
i
s
l_ast_expr_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
dool
a
ege
a
d
d isl_ast_
b
uild_{acces
s
,cal
l
}_fr
o
m_mul
t
i_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
add isl_ast
_
build_access_from_pw_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolae
g
e
a
dd isl
_
id_to_ast_
e
x
pr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n
Verdoolaege
a
d
d i
s
l_ast_expr_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
add isl_id_get_h
a
sh
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
r
d
ool
a
ege
ge
n
eral
i
z
e
a
nd
export is
l
_
m
a
p_to_basic_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add
i
s
l
_map_to_b
a
sic_set
_
d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
isl_map_to_basic_set: add re
f
erence
c
ounting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
add isl_map_to_basi
c
_
s
et_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
export isl_b
a
sic_set_plain_is_eq
u
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
Verdoolae
g
e
isl
_
m
ap_to_basic_set: keep track o
f
isl
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoo
l
a
e
ge
isl_map_
t
o_basic_set
_
f
r
e
e
: return N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
lae
g
e
rename i
s
l_hmap_map_ba
s
i
c
_set to isl_m
a
p_to_basic
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n V
e
rdoolae
g
e
a
dd isl
_
m
u
lti_p
w
_aff_read_from_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verd
o
olaege
isl_inpu
t
.
c: extract out map_from_tuple from re
a
d_
m
ap_tuple
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
r
d
oolaege
i
s
l
_
pr
i
nter_print
_
m
u
lti
_
pw_aff: change outp
u
t
f
ormat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
isl
_
stream_
r
ead
_
map:
accept
p
ie
c
ewise
a
ffine
expr
e
ssions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
isl
_
input
.
c: extract out push_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdool
a
eg
e
isl
_
input
.
c: extr
a
ct
o
ut s
e
t
_
current
_
line_col
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
add isl_set_from_multi
_
pw_aff and isl_map_from_multi_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
add i
s
l_map_preimage_domai
n
_pw_m
u
lti_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
a
dd isl_set_preimage_multi_pw_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
add isl_m
u
lti_pw_aff_pullba
c
k
_multi_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdool
a
ege
add isl_
m
ult
i
_pw_a
f
f_pull
b
ack_pw_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi_pw_aff
_
pullback_
m
ul
t
i_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
ad
d
isl_aff_pullba
c
k
_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaeg
e
add is
l
_m
u
l
t
i
_
p
w_aff_from_pw_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
d
d isl_multi_pw_aff_from
_
multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi_pw_aff_
d
o
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
dool
a
ege
a
dd isl_multi_pw_aff_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Ve
r
doolae
g
e
a
d
d
isl_multi_pw
_
aff_inters
e
ct_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdool
a
ege
add
i
s
l
_mu
l
ti_pw_aff_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Ve
r
do
o
l
ae
g
e
add
i
sl_mult
i
_pw_aff_is_e
q
ual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n
Ver
d
oolaege
add isl
_
pw_
a
ff_is_
e
q
u
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
ge
n
eralize isl_mu
l
ti_aff_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verd
o
ol
a
ege
g
eneralize isl_
m
ulti_aff_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
declare isl_multi_pw_aff_g
i
st_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
V
erdoolaege
declare isl
_
multi_pw_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdo
o
la
e
ge
add isl_
p
w_
m
ulti_aff_fix_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
add
i
sl_pw_mul
t
i_aff_project_o
u
t
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
ad
d
isl_p
w
_multi_
a
ff_from_mu
l
ti_pw_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
add is
l
_pw_multi_aff_f
r
om_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
add isl_p
w
_
m
u
lt
i
_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ve
r
do
o
l
a
ege
a
dd i
s
l_pw_
a
ff_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
add i
s
l_p
w
_a
f
f_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Ve
r
doolae
g
e
privately export isl_pw_qpolynomial_
r
es
e
t_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdo
o
laege
declare isl_pw_aff_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
a
dd isl_
m
ulti
_
aff_range
_
m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ve
n
Verdoola
e
ge
a
dd i
s
l_mul
t
i_aff_domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
i
sl
_
space_r
a
nge_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Ve
r
doolaeg
e
extract out isl_s
p
ace_dom
a
in_m
a
p from isl_map_domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
ad
d
i
sl_multi_
*
_sc
a
le_down_multi_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
add isl_multi_
*
_from
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
g
e
add isl_mul
t
i_*
_
set_di
m
_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
add isl_mul
t
i_*_get_
d
im
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
add isl_multi_
*
_
f
ind_dim_by_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n Verdoolaege
add isl_multi_*_
r
eset_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
add isl_multi_*_get_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
d
d
i
sl
_
multi
_
*
_has_tupl
e
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
d
ool
a
e
g
e
isl_multi_*_set_tuple_i
d
: fix memory management a
n
notati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
a
ege
isl_multi_aff_pull
b
ack_multi_aff:
a
l
i
g
n
p
ar
a
meters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
V
e
rdoolaege
i
sl_multi_aff_{add,sub}:
a
lign
parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en V
e
r
d
oolaeg
e
isl_multi_*_ra
n
g
e_prod
u
ct: align
parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_multi_*_s
e
t_*: align paramete
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
d
d isl_multi_pw_aff_mov
e
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
add is
l
_pw_aff_move_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
add isl_
a
ff_move_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
V
erdo
o
laeg
e
add isl_local_space_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rd
o
o
laege
is
l
_space_move_dims: res
e
t source and destinatio
n
tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Ve
r
do
o
lae
g
e
add is
l
_v
e
c_move_els
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
i
sl_m
u
lt
i
_val_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
add isl_
p
rin
t
er_prin
t
_m
u
lti
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
isl_output
.
c: pa
r
am
e
t
e
rize
p
rin
t
_ne
s
ted_var_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
isl_pri
n
ter_pri
n
t_m
a
p: print floor e
x
pressions as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
i
s
l_
o
utput
.
c: reus
e
p
rin
t
_
disjunct for printing in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_
o
utput
.
c:
r
euse print_div ins
t
ead of reimplement
i
ng it
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
er
d
oolaeg
e
isl_ast_codegen
.
c: add_nodes:
d
ouble
-
check
t
hat
list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
a
d
d
isl_basic_
{
set,map
}
_is_dis
j
oint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
Merge branch
'm
a
int
'
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
Verdoolaeg
e
isl 0
.
12
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoo
l
aege
doc/implementation
.
tex: update to
a
l
gorithm2e
.
sty
v
ersi
o
n 4
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolae
g
e
config
u
r
e
.
ac: link in llvm option
c
omponent in extract_interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-21
Sven V
e
rdoolaege
isl_
a
st
_
build_ast_from_schedule: improve
h
andling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
S
v
en Verd
o
o
l
aege
is
l
_ast_build_expr_from_pw
_
a
f
f: coalesce input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
Sven
Verdoolaege
isl_ast_buil
d
_expr_from_pw_a
f
f: compute gist
with respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
Sven Verdoolaege
isl_a
s
t
_
expr_from_aff: separate out ra
t
io
n
al par
t
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven V
e
rd
o
olaege
add isl_aff_val_on_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoolaege
isl_input
.
c: fi
x
typo in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven
V
erdoolaege
add isl_basic_map_preimage_r
a
ng
e
_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoo
l
a
e
ge
add isl_b
a
sic_map_preimage_doma
i
n_mult
i
_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoolaeg
e
c
omplain
o
n memory allocation
failure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Ve
r
doolaege
M
erge branch 'maint
'
commit
|
commitdiff
|
tree
next