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
S
ve
n
Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2013-08-06
Sve
n
Ver
d
ool
a
ege
isl_ast_build_ast_f
r
om_schedule
:
imp
r
ove handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-05
Sven Verdoolaege
isl_c
t
x
.
c: find_nested_optio
n
s: pr
o
perly handle
a
rgument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven
Ver
d
oolaege
isl_union_map_params: plug memory leak in case of empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verd
o
o
laege
a
d
d i
s
l_id_to_p
w
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_ast_expr_substitute_ids
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
Verdoolaege
extract ou
t
isl/
a
st_type
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
V
erdoolaege
add isl_ast_expr_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
Verdoolae
g
e
a
d
d
isl_ast_build_{access,call}_from_m
u
l
t
i_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ve
n
Verdoolaege
add isl_ast_b
u
i
l
d
_access_from_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdool
a
ege
a
d
d isl_id
_
to_ast_exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
la
e
ge
add isl_ast_expr
_
i
s
_eq
u
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoola
e
ge
add i
s
l_
i
d
_
get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laeg
e
gener
a
lize
a
nd ex
p
ort isl_map_to_
b
asic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
V
erdoolaege
a
d
d i
s
l_map_to_basic
_
set_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
is
l
_map_to_basic_set: ad
d
reference co
u
nting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
add
isl_map_to_bas
i
c_set_forea
c
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oola
e
ge
export is
l
_basic_se
t
_
plai
n
_
i
s_equa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verd
o
olaege
isl_map_t
o
_b
a
sic_set:
k
eep track o
f
isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
isl_map_to_b
a
s
i
c_set
_
free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
dool
a
ege
r
ename isl_hmap_map_basic_set to isl_m
a
p_to_bas
i
c_
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
a
dd isl_multi_pw_aff
_
read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl
_
input
.
c: e
x
tr
a
ct
o
ut map_from_
t
uple from read_map_tuple
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
isl_printer_print_
m
ulti_pw_aff: chang
e
outp
u
t form
a
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
isl_strea
m
_read_m
a
p: accept pie
c
ewise
a
ffine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
isl
_
input
.
c: extract out push_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
Verd
o
ola
e
ge
isl_input
.
c: extract
o
ut
s
et_
c
urrent
_
line_co
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
ad
d
isl
_
set_from
_
multi_pw_af
f
and
isl_map_f
r
o
m
_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
Verdoola
e
ge
a
d
d isl_map_preima
g
e_domain_p
w
_
m
ulti
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
a
dd is
l
_set_preimage_mu
l
ti_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
add isl_
m
ulti_p
w
_aff_pu
l
lback_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
ad
d
isl_multi_
p
w_aff_pullback_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi
_
p
w
_
a
ff_pullback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdo
o
lae
g
e
ad
d
isl_
a
ff_pullb
a
ck_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_mul
t
i_pw_aff_from_
p
w_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
add isl_
m
u
l
t
i_p
w
_af
f
_from_mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdo
o
laege
a
d
d i
s
l_
m
ulti_
p
w_
a
ff_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
add isl_multi
_
pw_aff_inte
r
s
e
ct_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
add isl_multi_pw_aff_intersect_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
add isl_multi_p
w
_aff_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolae
g
e
add isl_mult
i
_pw
_
aff
_
is_e
q
u
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
d
oo
l
a
e
g
e
add isl_
p
w
_aff_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
generalize
isl_multi_aff_plain_is_
e
q
u
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
g
e
neralize isl_multi_
a
f
f_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
dec
l
are isl_multi_pw_aff_gist_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
declare is
l
_multi_pw_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
r
doolaege
a
dd isl_pw_multi_aff_fix_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
Verd
o
olaeg
e
add isl_pw_m
u
lti_aff
_
pr
o
je
c
t_o
u
t_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoola
e
ge
add isl_
p
w
_
multi_aff_fr
o
m_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
add isl_pw_m
u
lti
_
aff_from_pw_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ve
r
d
o
olaege
add is
l
_
pw_multi
_
a
f
f_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
add
i
sl_pw_aff_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
isl_pw_aff_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
privately e
x
p
o
r
t isl_pw
_
qpolynomial_reset_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verd
o
olaege
declare isl
_
pw_
a
ff_has_tup
l
e_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
add isl_
m
ulti
_
aff_range
_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
d
oo
l
aege
add isl_multi_aff_do
m
ain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Ver
d
oolaege
add i
s
l_space_range_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
extract out
isl_sp
a
ce_doma
i
n_m
a
p from isl_map_domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
ad
d
isl_multi_*_
s
cale_d
o
w
n
_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
add isl_mu
l
ti_*_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
add isl_m
u
lti_*_set_di
m
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
add i
s
l
_multi
_
*_get_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Ver
d
oo
l
a
ege
add is
l
_mu
l
ti_
*
_find_dim_by_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
Verd
o
o
l
aege
add i
s
l
_
m
u
l
ti_*_reset_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdo
o
l
a
e
ge
add isl_multi_
*
_get_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
r
doolaege
add isl_multi_*_has_tup
l
e_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
ae
g
e
isl_multi_*
_
set
_
t
uple_
i
d
: fix
m
emory management annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
do
o
laege
i
s
l
_multi_aff
_
pull
b
ack_m
u
l
ti_aff: alig
n
p
a
rameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoola
e
ge
i
sl_multi_aff_{add,sub}: a
l
ig
n
parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_multi_*_
r
an
g
e_
p
roduct:
a
lign parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
is
l
_mult
i
_*_
s
et_*: align parameter
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolae
g
e
add isl_m
u
lti_pw_aff_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add i
s
l_pw_aff_mov
e
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
ad
d
i
sl_aff_mov
e
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
a
dd isl_loca
l
_space_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_space_move_d
i
ms: r
e
set source and
d
es
t
ination tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
er
d
o
o
laege
ad
d
is
l
_
v
ec_
m
ov
e
_el
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
ad
d
isl_multi_
v
al_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
add isl_printer_
p
rint_m
u
lti_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
i
s
l_outpu
t
.
c: p
a
ramet
e
riz
e
p
rint_nested
_
v
a
r_li
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_printer_print_
m
ap: prin
t
floor expressions as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
isl_output
.
c: reuse print_disjunct for
p
rinting in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdo
o
lae
g
e
isl_output
.
c: re
u
se print_div i
n
st
e
ad of reimplementi
n
g it
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
isl_as
t
_codegen
.
c
: a
d
d_n
o
des: doubl
e
-check
that list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
V
erdoolaege
add
isl_
b
asic_{set,map}_is_disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
Merge
b
ra
n
ch 'm
a
int'
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
er
d
o
o
laege
i
s
l
0
.
12
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
rdoolaege
doc/implem
e
nta
t
ion
.
t
ex: update to alg
o
r
i
thm2e
.
s
ty vers
i
o
n
4
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
configure
.
ac: l
i
nk in
llvm option
c
omponent
i
n
e
xtract_interf
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-21
Sv
e
n
V
erdoolaeg
e
isl_as
t
_build_ast_fr
o
m_schedule: i
m
prove
handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
Sven Ve
r
doolaege
isl_ast
_
build_expr
_
f
r
om_p
w
_
a
f
f: coalesce input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
Sven Ve
r
d
o
o
la
e
ge
isl_as
t
_build_expr_f
r
om_pw_a
f
f: co
m
pu
t
e
g
ist wi
t
h respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
Sve
n
Verdoolaege
i
s
l
_
a
st_expr_fr
o
m_aff: s
e
parat
e
o
ut
r
ational p
a
rt of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdo
o
l
a
e
ge
add isl_
a
ff_val_o
n
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoola
e
g
e
isl_input
.
c: fix typo i
n
comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Ve
r
doolaege
add isl_basi
c
_ma
p
_p
r
eimage_range_m
u
lti_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Ver
d
oo
l
a
e
g
e
add is
l
_basic_map_prei
m
age_domai
n
_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven V
e
rd
o
ola
e
ge
complain on memory allocation
f
ailure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sv
e
n
Verdoolaeg
e
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
next