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_substitute_ids
2013-07-27
Sven Verdoolaege
add isl_ast
_
expr_substitute_
i
ds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
r
d
oolaege
extract out isl/ast_type
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaeg
e
add isl_ast_expr_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
add
isl_
a
st_build_{access
,
call}_fro
m
_multi_pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add i
s
l_a
s
t_b
u
ild_
a
ccess_fro
m
_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
add isl_id_to_as
t
_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n
Verd
o
olaege
add isl_ast_expr_is_
e
q
ual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
add
i
sl_id_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
V
e
rdo
o
l
a
e
ge
gener
a
lize a
n
d exp
o
rt
isl_ma
p
_t
o
_b
a
s
ic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
do
o
l
aege
add isl_ma
p
_t
o
_
b
asic_set_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_map_to_bas
i
c_set: add refe
r
e
nce counting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaeg
e
add isl_map
_
to_basic_set_f
o
reach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
ex
p
o
rt
i
s
l_basic_set_plain_
i
s_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
ola
e
ge
isl_m
a
p
_to_basic_set
:
keep track of
isl_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_
m
ap_to_basic_set_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Ve
r
d
oolaege
rename
isl_h
m
a
p
_map_basic_set to isl_m
a
p
_
to_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
add is
l
_multi_pw
_
a
f
f
_r
e
ad_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Ve
r
do
o
lae
g
e
isl_i
n
put
.
c:
e
xt
r
a
ct out map_fr
o
m_
t
uple from read_map_tuple
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl
_
printer_print_mult
i
_pw_aff: change
o
utput format
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_stream_read_ma
p
: a
c
ce
p
t pie
c
ewise affine expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
isl_input
.
c:
e
x
tract out push
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_input
.
c:
e
xtra
c
t
out set_c
u
rrent_line_col
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
add i
s
l_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 Verdo
o
laege
add
isl_map_preimage_domain_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
add isl_set_pr
e
i
m
age_mul
t
i_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdo
o
laege
a
dd is
l
_multi_pw_af
f
_pullback_multi_
p
w_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolae
g
e
add i
s
l_mult
i
_pw_aff_pull
b
ack_pw_m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
rdo
o
l
a
ege
add isl_m
u
lti_pw_aff_pullback_mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
d
d isl_aff_pull
b
ack_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Ver
d
o
o
laege
add isl_mu
l
ti_pw_aff
_
from_pw_
m
ul
t
i_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verd
o
o
lae
g
e
a
d
d isl_m
u
lti_pw_aff_f
r
om_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n Ve
r
doolaege
a
dd isl_m
u
lti
_
pw_aff_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdool
a
e
ge
add
i
sl_multi_pw_aff_int
e
rsect
_
para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi_
p
w_aff_
i
ntersect_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_
m
ulti_pw_
a
ff_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
dd
i
sl
_
m
ulti_pw
_
af
f
_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
a
d
d isl_pw_a
f
f
_is_eq
u
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdool
a
ege
gener
a
l
i
ze isl_multi_a
f
f_pl
a
in_is_e
q
ual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
g
ener
a
l
ize isl_multi_aff_produ
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
d
eclare isl_multi_pw_aff_gist_pa
r
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n Verdoolaege
declare
isl_multi_p
w
_aff_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ver
d
ool
a
e
g
e
a
dd isl_pw_m
u
l
t
i
_
aff_
f
ix_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
add i
s
l_pw_multi_aff_project_ou
t
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
dool
a
ege
a
dd isl_pw_multi_aff_from_
m
ulti
_
pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven
V
erd
o
olaege
add
i
sl
_
pw_multi_a
f
f_from_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
add isl_p
w
_
m
u
lti_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add i
s
l
_pw_aff_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
add i
s
l_pw_aff
_
from_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
priva
t
ely
e
x
port isl_p
w
_qpolynomial_reset_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
r
d
o
o
l
aege
declare i
s
l_pw_aff_ha
s
_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
add isl
_
m
u
lti_aff_ran
g
e
_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Ver
d
oolaege
add isl_multi_
a
f
f
_domain_
m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
isl
_
space_range
_
m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
e
x
trac
t
o
ut isl_space_domain_map from isl_
m
ap_dom
a
in_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
ad
d
i
s
l_multi_*_s
c
ale_
d
own_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
add i
s
l_mu
l
ti_*_fr
o
m_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
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_
m
ulti_*_ge
t
_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_m
u
lti_
*
_fi
n
d_dim_
b
y_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
add
i
sl_multi_*_reset_t
u
p
l
e_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaeg
e
add isl_multi_*_g
e
t_tuple_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
a
d
d
i
s
l_multi_
*
_h
a
s_t
u
ple_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
i
sl_mu
l
ti_*_set_tuple_id: fix memory man
a
gement a
n
n
o
tation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoo
l
aege
isl_multi_aff_pullback_multi_aff:
align parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
i
s
l_mult
i
_aff_{add,sub}: align
paramet
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
Verdoolaege
isl_mul
t
i_*_range_product: alig
n
parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
i
sl_
m
ulti_*_se
t
_
*: ali
g
n
parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
a
d
d is
l
_multi
_
pw
_
aff_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdool
a
ege
add isl_p
w
_aff_mo
v
e_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add is
l
_aff_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
ad
d
isl_lo
c
a
l_space_mov
e
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl
_
s
pa
c
e_
m
ove
_
dims
:
re
s
et sou
r
ce
a
nd d
e
stination tuple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Ver
d
oolaege
add isl_vec_move_els
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Ver
d
oolaege
add isl_
m
ulti
_
val_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_printe
r
_p
r
int_multi_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_
o
utput
.
c: parameterize prin
t
_nes
t
ed_var
_
list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
d
o
o
laege
i
s
l_p
r
in
t
er_p
r
int_map: print floor exp
r
essions as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doo
l
a
e
ge
isl_
o
ut
p
ut
.
c: reuse
pr
i
n
t_d
i
s
junct for printing
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
isl
_
o
u
tpu
t
.
c:
reuse print_div inste
a
d of reimpleme
n
ting it
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verd
o
olaege
is
l
_ast
_
code
g
en
.
c: add_nodes:
d
oub
l
e-check t
h
at list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Ve
r
doolaege
add
i
sl_basic_{se
t
,map}_is_disjo
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Ve
r
doolaeg
e
Mer
g
e branch 'maint
'
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verd
o
o
laege
isl 0
.
1
2
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
doc/implementat
i
on
.
tex: update to algorithm2e
.
st
y
version 4
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
co
n
figure
.
ac: link in l
l
vm option compone
n
t in
extrac
t
_
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-21
Sven Verdoolaege
isl_ast_b
u
ild_
a
s
t
_from_sched
u
le: i
m
prove handlin
g
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-11
S
v
en Verdoolaege
isl_a
s
t_build_expr_from_pw_aff:
coale
s
ce input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-11
Sven Verdoola
e
g
e
i
sl_ast_build_expr_from_pw_aff: compute gist
w
i
t
h respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-11
Sven
V
erd
o
olaege
isl_ast_expr_f
r
o
m_aff: separate out rational
part of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoolaege
add isl_aff_val_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
Sven V
e
rdoolaege
i
sl_i
n
put
.
c: fix typo in c
o
mm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
S
v
en Verdoolaege
add i
s
l_basic_map_p
r
e
i
m
age_range_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verd
o
o
l
a
ege
add
i
sl
_
basic_map_
p
reimage_domain_
m
ulti_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoolaege
complain on memo
r
y allocation failure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoolaege
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2013-07-09
S
v
en Verdoo
l
ae
g
e
add isl_il
p
_privat
e
.
h to distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-08
Sven
V
erd
o
olaege
is
l
_
ast
_
build_comp
u
t
e_gi
s
t_pw_aff: han
d
l
e parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdoola
e
g
e
i
s
l_vertices
.
c:
i
sl_
c
ell_alloc: acc
e
pt NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
e
n
Ve
r
doo
l
a
ege
isl_vertices
.
c:
c
ompute_cha
m
bers: accept
NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
ol
a
ege
isl_vertic
e
s
.
c: add_c
h
amber:
a
c
c
e
pt NUL
L
po
i
n
ter on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next