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 Verd
o
o
l
aege
a
dd is
l
_ast
_
expr_
s
ubstitute_ids
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdool
a
e
g
e
extract out
isl/ast_ty
p
e
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
ola
e
ge
a
d
d
isl_ast_ex
p
r_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
V
e
r
dool
a
ege
add isl_ast_build_{acces
s
,call}_from_m
u
lti
_
pw_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_ast_build_
a
ccess_from_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
a
dd isl_id_to_ast_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaeg
e
add is
l
_
ast_expr_
i
s_
e
qual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_
i
d_get_ha
s
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
generaliz
e
and export isl
_
map_to
_
basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laeg
e
ad
d
isl_m
a
p_to_basic_set_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
isl_map_to
_
bas
i
c_
s
et:
a
dd r
e
feren
c
e coun
t
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
add isl_map_to_bas
i
c_set_f
o
reac
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaeg
e
export isl_ba
s
ic_set
_
p
l
ain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdo
o
laege
isl_ma
p
_to_basic_set: keep tra
c
k of isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n
Verdoola
e
ge
isl_map_to_basic_se
t
_free: re
t
urn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Ve
r
d
oola
e
ge
rename isl_h
m
ap
_
map_basic_set to
isl_ma
p
_to_
b
asic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
add isl_
m
ulti_pw_aff_read_
f
ro
m
_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
d
o
olae
g
e
isl
_
input
.
c: e
x
tract out map_from_t
u
p
l
e f
r
o
m
read_map_tu
p
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdo
o
l
aege
isl
_
printer_print_mult
i
_pw
_
aff: change
o
utput f
o
rm
a
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_stream_
r
e
a
d
_map: ac
c
ept piecewis
e
a
ffin
e
expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
isl_input
.
c
:
extract out push_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
i
s
l
_input
.
c: extract out set_current_line_c
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
add
i
sl_set_from_multi_pw_aff
and isl_ma
p
_from_multi_pw
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoo
l
aege
add
i
sl_ma
p
_preimage_domain_pw_mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
e
ge
add
i
sl_se
t
_
p
reimage_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolae
g
e
add isl_mult
i
_pw_a
f
f_pullback_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdool
a
ege
add is
l
_mu
l
ti_pw_aff
_
pullback_
p
w
_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
add isl_multi_pw_aff_pullb
a
ck_mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
dd
isl
_
a
f
f_pullback_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaeg
e
a
d
d isl_multi_pw_aff_
f
rom_pw_mu
l
ti_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
dd
i
s
l_multi_pw_aff
_
fr
o
m_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
a
dd i
s
l_multi
_
pw_
a
ff_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
ad
d
is
l
_
multi
_
pw_aff_inter
s
ect_p
a
r
a
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
a
dd isl_m
u
lti_pw_
a
ff_intersect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
a
dd isl_mult
i
_pw
_
aff_coale
s
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
add isl_m
u
lti_pw_aff_is_equ
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoola
e
ge
add isl_pw_aff_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
g
e
ner
a
lize is
l
_multi_aff_p
l
ain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
gen
e
ralize
i
sl_
m
ulti_aff_
p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aeg
e
declare
isl_mu
l
t
i
_p
w
_
aff_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
declare isl_m
u
lti_pw_aff
_
gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
add i
s
l_pw_mult
i
_
aff
_
f
ix_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
add isl_pw_mult
i
_
af
f
_project
_
out_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
add isl_pw
_
m
u
lti_aff_f
r
o
m_mul
t
i_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
add isl_p
w
_
multi_aff_from
_
pw_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
i
sl_pw_m
u
lti_af
f
_z
e
ro
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ve
n
Ver
d
oolaege
add
i
s
l_pw_aff_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaeg
e
add isl_pw_a
f
f_from_r
a
ng
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
d
oolaege
p
riva
t
ely export isl_pw_qpolynomial_res
e
t_
s
pa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n
Ve
r
doolaege
d
e
clare i
s
l
_
pw_aff_has_tuple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
add isl_multi_aff_range_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
add i
s
l_mul
t
i_aff_domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
add
i
s
l_space_range_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
e
xtrac
t
out isl
_
space_d
o
main_map
from isl_m
a
p_
d
o
ma
i
n_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoo
l
a
e
g
e
add isl_multi_*_scal
e
_down_m
u
lti_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ve
r
doolaege
add isl_m
u
l
ti_*
_
from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
add isl_multi_*_se
t
_d
i
m
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven
V
erdoolaege
add is
l
_
multi_*_
g
et_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
a
dd isl_mult
i
_*_find_dim_by_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Ver
d
oolaege
add isl_multi_*
_
reset_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi_*_get_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laeg
e
a
d
d isl_mul
t
i
_
*
_has
_
t
u
ple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
is
l
_mu
l
ti_*_
s
et_tuple_i
d
: fix
m
e
m
ory managem
e
nt annotat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdool
a
ege
isl_
m
ulti_aff_pu
l
l
b
ack_multi_aff: align parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaeg
e
isl_multi_aff_{add,sub}: al
i
gn
paramet
e
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_multi_*_range_
p
r
oduct: al
i
gn parame
t
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
isl_multi_*_se
t
_*:
align parameter
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
add isl_mult
i
_pw_aff_move
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
ad
d
isl_pw_aff_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
i
s
l
_aff_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
Verdo
o
laeg
e
add isl_l
o
cal_s
p
ace_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdo
o
l
aege
is
l
_spac
e
_move_dims: reset source and
d
e
st
i
n
ati
o
n tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
V
erdoolae
g
e
add isl_v
e
c_move_els
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
a
dd isl_multi_val_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Ve
r
doo
l
aege
add isl_pri
n
ter_pri
n
t_multi
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaeg
e
isl_output
.
c: para
m
eterize print_nested_var_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
i
s
l_pri
n
te
r
_p
r
int_map:
print
f
l
o
or ex
p
ressions as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
r
d
oolaege
isl_output
.
c:
reuse print_di
s
junct for printing in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_output
.
c: reuse p
r
int_div
inste
a
d of rei
m
plementing it
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
isl
_
a
st_codegen
.
c:
add
_
nod
e
s: double-check
t
h
a
t list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oo
l
aege
add isl_basic
_
{set,map
}
_
is_disjo
i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
o
o
l
aege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
isl 0
.
12
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
doc/imp
l
emen
t
a
tion
.
tex: update to a
l
gorithm2e
.
sty version 4
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven
V
e
rdoola
e
ge
configur
e
.
ac: link in l
l
vm option co
m
ponent in extract_inter
f
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-21
S
v
en Verdool
a
e
ge
i
s
l_ast_bui
l
d_a
s
t_
f
rom
_
schedul
e
: impr
o
ve
handling
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
Sven Ver
d
oolaege
isl_
a
st_build_e
x
pr_
f
rom
_
pw_aff: coalesce input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
Sven Verdoolaege
isl_ast_build_ex
p
r
_from_pw_aff: compute
g
ist 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: sepa
r
ate out rational
p
art
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdool
a
ege
a
d
d
isl_aff_v
a
l_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
S
v
e
n Ve
r
doolaege
i
sl
_
input
.
c:
f
ix typo
in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoolaege
add isl_basic_map_prei
m
ag
e
_ra
n
g
e_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Ver
d
oolaege
add isl_b
a
sic_
m
ap_pr
e
image_do
m
a
in_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sv
e
n V
e
rdoolaege
c
omplain on m
e
mory al
l
ocatio
n
f
a
ilure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoolaege
M
e
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2013-07-09
S
ven Verdool
a
ege
add isl_ilp_p
r
ivate
.
h to d
i
stribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-08
S
v
en Verdo
o
laege
isl_ast_buil
d
_compute_gist
_
pw_aff: handle parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
olae
g
e
isl_verti
c
es
.
c: isl_cell_a
l
loc: accept NULL point
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolae
g
e
isl_vertices
.
c
:
compute_chambers:
a
ccept
N
ULL pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdo
o
laege
isl
_
vertices
.
c: add_chamber
:
a
c
ce
p
t NULL pointer o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next