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_ast_expr_access
2013-07-27
Sve
n
V
erdoolaege
add isl_ast_expr_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_
a
st_build_{
a
ccess
,
call
}
_fr
o
m_mul
t
i_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
a
dd
i
s
l_ast_bu
i
ld_
a
ccess_from_p
w
_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
ol
a
ege
add isl_
i
d_to_ast_
e
xpr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
l
aege
a
dd isl_
a
st_expr_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
a
dd isl_i
d
_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
generalize
a
n
d export isl_
m
ap_to_b
a
sic_
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
a
dd isl_map_to_basic_
s
et_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
Verdoo
l
ae
g
e
i
sl_map
_
to_basic_
s
et: add
r
eference
counting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
add isl_ma
p
_
t
o
_
ba
s
ic_set_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
V
erdoolaege
exp
o
rt
i
s
l_basic_
s
et_pl
a
in_is_e
q
ual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
isl_map_to_basic_set: kee
p
track of i
s
l
_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
rd
o
olae
g
e
isl_map_to_basic_set_free: retur
n
NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
rename isl_hmap_map_basic
_
se
t
to isl_ma
p
_to_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
a
dd
isl_m
u
l
t
i_pw
_
aff_read_from_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
l
aege
isl_input
.
c: extract
out m
a
p_from_tuple fro
m
read_map
_
tuple
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
o
o
lae
g
e
isl
_
pri
n
ter_print_multi_pw_aff: change outpu
t
form
a
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
i
s
l_s
t
rea
m
_
r
ead_map: acc
e
p
t piecewise affine
expressio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolae
g
e
isl_input
.
c: extra
c
t out push_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
isl_input
.
c:
e
x
tr
a
c
t
out set_current_line_col
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
r
doolaege
add
isl_set_from_multi_pw_aff a
n
d
isl_map_from_multi_pw
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
r
doolaege
a
d
d
isl_map_prei
m
age_domain_
p
w_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
a
d
d i
s
l_set_preimage_mul
t
i_
p
w_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erd
o
olae
g
e
ad
d
isl_multi
_
pw_aff_pullback_mult
i
_
pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
add is
l
_
m
ulti
_
pw_a
f
f_pullback_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n Verd
o
ol
a
ege
ad
d
isl
_
multi_pw_
a
f
f_p
u
llback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Ver
d
oola
e
ge
add is
l
_aff_p
u
llbac
k
_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
ad
d
isl_mult
i
_pw
_
aff_from_
p
w_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
r
d
o
olaege
add isl_m
u
lti_pw_aff_from_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
a
dd isl_multi_pw_aff_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n V
e
rdoolaege
add
i
sl_multi_pw_aff_inte
r
s
e
ct_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
d
o
o
laeg
e
a
dd isl_multi_pw_aff_intersect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
ad
d
i
s
l_multi_pw_aff_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoola
e
ge
a
dd isl_mu
l
ti_
p
w_a
f
f
_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
o
lae
g
e
a
dd isl_pw_aff_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
generaliz
e
isl_multi_aff
_
plain_is_
e
qual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en V
e
r
doolae
g
e
genera
l
iz
e
i
s
l_multi_aff_pro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
declare isl_mu
l
t
i
_pw_aff_gis
t
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
l
aege
declare
isl_mu
l
ti_pw_a
f
f_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
add isl_pw_mul
t
i_aff_fi
x
_
si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
add isl_pw_m
u
lti_aff_project_out_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
r
doolaege
add isl_pw_multi_aff_from
_
multi_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_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw_multi_
a
ff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
add
isl_pw_aff_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verd
o
olae
g
e
ad
d
isl_pw_a
f
f
_
from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Ver
d
o
o
laege
p
r
iva
t
ely export
i
sl_p
w
_
q
polynomial_
r
e
set_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
declare isl_pw_aff_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
V
erdoola
e
ge
add
i
s
l
_mu
l
ti_aff_range_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
add is
l
_multi_a
f
f
_
domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoo
l
aege
add
is
l
_space_rang
e
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdool
a
ege
extract out isl_s
p
ace_
d
o
m
a
i
n_map from is
l
_
map_domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
add is
l
_multi_*_sca
l
e_down_mu
l
ti_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
i
sl_
m
ulti_*_from_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
add isl
_
multi_*_set_dim
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
add isl_mul
t
i
_
*_get_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
add isl
_
multi_*_f
i
nd_di
m
_by_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
a
d
d
isl_
m
ulti_*_reset_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
add isl_m
u
lti_*_ge
t
_tup
l
e_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoola
e
ge
add is
l
_multi_*_has_
t
uple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
V
erdool
a
ege
isl_
m
ulti_*_set_t
u
ple_i
d
: fix memory manage
m
ent ann
o
tation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Ver
d
o
o
l
aege
isl_m
u
lti_
a
f
f
_
p
ullback_multi_
a
ff: align
parameter
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
V
erdoolaege
isl_multi_aff_
{
add,
s
ub}: align para
m
eters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
isl_multi_*
_
r
ange_product:
align p
a
ramet
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
do
o
lae
g
e
isl_mu
l
ti
_
*_set_*: align parame
t
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add is
l
_multi_pw_aff_m
o
ve_d
i
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
r
d
oola
e
ge
add i
s
l_pw_a
f
f_move_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
add isl_a
f
f
_
mov
e
_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
i
sl_local_space
_
m
ove_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolae
g
e
isl_space
_
move
_
dims: reset source a
n
d
destinat
i
on tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
a
d
d
isl_vec_move_els
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
a
dd isl_multi_v
a
l_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
V
erdoolaege
add i
s
l_print
e
r_print_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl
_
ou
t
p
u
t
.
c
:
paramet
e
ri
z
e print_ne
s
ted_var_lis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
rdoo
l
aege
i
s
l_printer_print_map: print floor expressions as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
Verd
o
ol
a
ege
isl_output
.
c:
r
euse print_
d
isjunct for
printing in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
is
l
_
output
.
c: reuse
p
rint_div in
s
tead of reimplementing it
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_ast_codegen
.
c: add_nodes: doubl
e
-check that list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoo
l
aege
a
dd isl_basic_{set,map}
_
is_disj
o
i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
Merge bran
c
h
'
maint'
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
isl 0
.
1
2
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
d
o
c
/implementatio
n
.
tex:
update to algorithm2e
.
sty ver
s
i
on 4
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
configu
r
e
.
a
c: link in llvm o
p
tion component in ext
r
a
ct_interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-21
S
v
en Ver
d
o
olaege
i
s
l_ast_build_ast_f
r
o
m
_sched
u
le:
improve handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
S
ve
n
Verdoolaege
i
sl_ast_build_
e
xpr_from_pw_aff
:
coalesce inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
Sven Verdoolaege
isl
_
a
st_build_e
x
pr_from_pw_
a
f
f
: compute gist
w
ith re
s
pect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
Sven Verdoolaege
isl_
a
st_expr_from_aff: separ
a
te
o
u
t
rational part
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoolaege
a
d
d isl_aff_val_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoolae
g
e
isl_input
.
c:
f
i
x typo in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven V
e
r
d
oo
l
aege
add isl_basic_map_preimag
e
_
r
a
n
ge_
m
ulti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Ve
r
doolaege
add isl_basic
_
ma
p
_preimage_d
o
main_mu
l
ti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoo
l
aeg
e
complain on memory
a
llocation failure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
S
ven Verdoolaege
Mer
g
e branch 'main
t
'
commit
|
commitdiff
|
tree
2013-07-09
Sve
n
Verdoo
l
aege
add isl_ilp_privat
e
.
h
to distributi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-08
Sven Verd
o
olaege
isl
_
ast_build_
c
ompute_gis
t
_pw_aff
:
handle parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaeg
e
i
s
l_vertices
.
c
: isl_
c
ell_alloc: accep
t
N
U
LL pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Ver
d
oolaege
isl
_
vertices
.
c: compu
t
e
_
c
h
ambers:
a
ccept NUL
L
poin
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n V
e
rdoolaege
isl_ver
t
ices
.
c: ad
d
_chamber: ac
c
ept
N
ULL
p
oin
t
er on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verd
o
olaege
i
s
l_
b
asic_set_compute_ver
t
ices: acc
e
pt
N
ULL p
o
inter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
laege
i
s
l
_vertices
.
c:
ve
r
tices_from_l
i
st: accept NULL pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next