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 Verdoola
e
g
e
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2013-08-06
Sven Verdoo
l
aege
isl_ast_build_ast_fr
o
m_sch
e
dule:
i
mp
r
ove h
a
ndli
n
g of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-05
Sven Verdoolaege
isl_ctx
.
c: find_nested_opt
i
ons: p
r
operly handle argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoo
l
aege
isl_union_map_params: plug memo
r
y leak
in case
o
f empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
add
i
sl
_
i
d_to_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl
_
ast_expr_s
u
b
s
titut
e
_
i
d
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
extrac
t
out isl
/
a
s
t
_
t
ype
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolae
g
e
add isl_ast_expr_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
V
erdool
a
ege
add isl_a
s
t_build_{access,call}_from_multi_pw
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
add isl_ast_
b
u
i
l
d
_a
c
c
ess_fr
o
m_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdo
o
laege
add isl_id_to_as
t
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verd
o
olaege
add
i
sl_ast_
e
xpr_is_equa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Ver
d
ool
a
ege
add isl_id_
g
et_ha
s
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Ve
r
doolaege
g
eneralize a
n
d export i
s
l_m
a
p_to_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add
i
s
l
_map_to
_
basic_set_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erd
o
olaege
i
sl_map_to_basic_set: ad
d
r
eference counting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
add i
s
l_map_to
_
basic_set_fo
r
each
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
ex
p
or
t
isl_basic_set_pla
i
n_
i
s_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
i
sl_map_to_basic_s
e
t: keep track of isl_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdool
a
eg
e
isl_m
a
p_to_bas
i
c_set_fr
e
e: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ve
n
V
erdoo
l
aege
r
e
name isl_hmap_map_basi
c
_set to isl_
m
a
p_to_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
add
i
s
l_multi_pw
_
a
ff_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
isl_inp
u
t
.
c
: ex
t
rac
t
out map_fro
m
_tuple
f
r
o
m r
e
ad_ma
p
_
tup
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
er
d
oola
e
ge
isl_printer_print
_
mu
l
ti_pw_aff:
c
h
a
ng
e
output
f
ormat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdo
o
laege
isl
_
stream_r
e
ad_map: accept piec
e
wise affine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
isl_input
.
c: ex
t
rac
t
out
push_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
isl_input
.
c
:
extract out set
_
current_line_col
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
add
isl
_
set
_
f
r
om
_
multi_pw_aff and isl_m
a
p_from_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
add i
s
l_map_preimage_domain_pw_
m
u
l
ti
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdool
a
ege
add isl_set_preimage_multi_pw
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Ver
d
o
o
l
a
e
g
e
a
dd is
l
_
m
ulti_pw_aff_pullb
a
ck_multi
_
pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
a
dd i
s
l_multi
_
p
w_aff_pullback_pw_m
u
lti_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
e
ge
add isl
_
multi_pw_aff
_
p
ullb
a
ck_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven
V
e
rdoolaeg
e
add isl_aff_
p
ul
l
back
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
add isl_mult
i
_pw_aff_from_
p
w_mul
t
i_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolae
g
e
add isl_mu
l
ti_pw_aff_from_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
ad
d
isl_multi_pw_aff_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
ad
d
isl_multi_pw_aff_intersect
_
pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi
_
pw_aff_inte
r
sect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
add is
l
_multi_pw_aff_coalesc
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi_pw_af
f
_is
_
equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
add
i
s
l_pw_aff_is_equa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaeg
e
generalize
i
sl
_
multi_aff
_
plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
V
erdoolaege
g
e
n
e
ra
l
ize is
l
_multi_aff_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
declare isl
_
multi_pw_aff_gist_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
ola
e
g
e
d
eclare
i
s
l_multi_pw_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n
V
e
rdool
a
ege
add isl_
p
w_m
u
lti_aff_fix_
s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdool
a
ege
add
isl_pw
_
multi_aff_project_out
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw_multi
_
aff_f
r
o
m
_
m
ul
t
i_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw_multi_aff_from_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw_m
u
lti_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
dd
is
l
_pw_aff_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
add
i
sl_pw_aff_fr
o
m_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
privately export isl_pw_qp
o
lynomial_reset_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
declare isl_pw_aff_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
add isl_mu
l
ti_aff_range_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n
Verdool
a
ege
a
dd isl_mu
l
t
i
_aff_do
m
ain
_
ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
add isl
_
s
p
a
ce_range_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
e
x
tr
a
ct out
i
s
l_space_domain_map from isl_map_domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
Verdoolaege
add i
s
l_multi_*_scale_down_mult
i
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
a
d
d
isl_
m
u
lt
i
_*_
f
rom_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
a
d
d isl_multi_*_set_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
la
e
ge
add isl
_
mu
l
ti_*_get
_
d
im_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
add isl_m
u
lti_*_fi
n
d
_dim_by_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaeg
e
a
d
d isl_multi_
*
_reset_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
o
o
laeg
e
add
i
s
l_multi
_
*_get_tuple
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
V
erdool
a
ege
add
i
s
l_multi_*_
h
as_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
i
s
l_multi_*
_
set_tupl
e
_id: f
i
x memory ma
n
agement annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
la
e
ge
isl
_
mult
i
_aff_pu
l
lback
_
m
ul
t
i_aff: align parame
t
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ve
r
d
o
olaege
isl_mu
l
ti_aff_{add,sub}: align par
a
meters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
is
l
_multi_*
_
range_product: align parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
V
e
r
dool
a
e
g
e
i
sl_mul
t
i
_*_se
t
_*: align parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
r
doola
e
ge
add
isl_mu
l
ti_pw_
a
ff_move_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
add is
l
_pw_aff_m
o
v
e
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
add isl_aff_mov
e
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl
_
local_space_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_space_move_dims: reset
source a
n
d de
s
tination
t
uple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
lae
g
e
add i
s
l_vec_move_els
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
add is
l
_multi_val_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
r
doolaeg
e
add isl_
p
r
inter_
p
r
int_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_output
.
c: para
m
et
e
rize print_nes
t
ed_var_l
i
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_printe
r
_print_map: print
floo
r
ex
p
ress
i
ons as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_output
.
c: re
u
se print_d
i
sjunct for printing i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdo
o
laege
i
sl_output
.
c: re
u
se pr
i
n
t
_
d
iv instead of reimplementing it
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Ver
d
oolae
g
e
isl_ast_
c
o
d
egen
.
c: add_nod
e
s: d
o
uble
-
che
c
k that list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
add
is
l
_basic_{set,
m
ap}_is_disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaeg
e
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
isl
0
.
1
2
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
doc
/
implementation
.
t
e
x: upd
a
t
e to a
l
gorithm2e
.
sty version
4
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoo
l
aeg
e
configur
e
.
a
c
: link in llvm option component in extract_interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-21
Sven Ve
r
doolae
g
e
i
s
l_as
t
_buil
d
_ast
_
from_s
c
h
edule: improv
e
h
andling
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
Sven
V
erdoolaege
is
l
_
ast
_
build_expr_from_pw_aff: coal
e
sce input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
Sven Verdoolaege
isl_ast_
b
uild_
e
xpr
_
f
rom_pw_
a
ff: comp
u
te gist with respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
S
ven Verd
o
olaege
i
sl_ast_expr_
f
rom_aff:
s
epa
r
ate o
u
t rat
i
onal part
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven
V
e
r
d
oolaege
add isl_a
f
f_val_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven
V
erdoolaege
isl_input
.
c
:
fix
t
ypo in c
o
mm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
S
ven
V
erdool
a
ege
add
is
l
_b
a
sic_
m
a
p_preimage_range_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
S
v
e
n Verdoolaege
add
isl_ba
s
ic_map_preimage_domain_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven V
e
r
doolaege
comp
l
ain on memo
r
y alloca
t
ion fail
u
re
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sv
e
n Verdool
a
ege
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
next