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
S
v
en
V
e
r
d
oolaege
add isl_as
t
_expr_substitute_ids
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
extract o
u
t isl/
a
s
t_
t
ype
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
o
o
laeg
e
add i
s
l_ast_exp
r
_acces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
a
dd isl_ast_build_{acc
e
ss,call}
_
from_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
rdoola
e
g
e
a
d
d isl_
a
s
t_
b
uil
d
_access_from_pw_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdo
o
la
e
g
e
add isl_id_t
o
_ast_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
V
erdoolaege
add isl_ast_expr_i
s
_
e
qual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaeg
e
add
i
sl_id_g
e
t
_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en V
e
rdoolaege
gener
a
lize an
d
export isl_map_to_basic_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_map
_
t
o
_
basic_set
_
dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
l
a
ege
isl_map_to_basic_s
e
t: add refer
e
n
c
e counting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
ad
d
isl_map_to
_
b
asic_
s
e
t_fo
r
each
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
exp
o
rt
isl_basic_set_plain_is_equa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdool
a
ege
isl_
m
ap_t
o
_ba
s
ic_set:
k
eep track of isl_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
i
sl_map_to_basic_set
_
free: r
e
turn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
r
ename is
l
_
h
map_map_b
a
sic_set to
i
sl_map_to_basic_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
a
d
d isl_
m
ulti
_
p
w
_aff_
r
ead_
f
ro
m
_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_input
.
c: extract
o
ut m
a
p_from_tuple from rea
d
_map
_
tuple
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
isl_printer_print_multi_pw_aff: ch
a
nge outp
u
t
f
ormat
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdo
o
laege
i
s
l_stream_
r
ead_map: accept piece
w
ise affi
n
e expr
e
ssi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
isl_input
.
c:
e
xt
r
act ou
t
push_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
isl_input
.
c:
e
xtra
c
t
o
ut
set_current_li
n
e_
c
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
a
d
d isl_set_fr
o
m_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
Sven Ve
r
doo
l
aege
add isl_map_pr
e
image_domain_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
add
i
sl_set_pre
i
mage_
m
ul
t
i_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
add
i
sl_multi_pw_aff_pu
l
lb
a
ck_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdo
o
laege
a
d
d isl_mult
i
_
p
w_aff_p
u
l
l
bac
k
_p
w
_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
Verdoolaege
add isl_mul
t
i_pw
_
aff_pullb
a
ck_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoo
l
a
eg
e
add isl_a
f
f_pull
b
ack_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
add i
s
l_multi_pw_aff_from_
p
w_mul
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n Verdoolaege
add i
s
l_multi_pw_aff_from
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
o
ol
a
ege
add is
l
_
multi_pw_aff
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
add isl_multi_pw_aff_intersect_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi
_
pw
_
aff_intersect
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
add isl_multi_
p
w
_aff_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Ver
d
o
o
l
a
ege
ad
d
isl
_
mul
t
i
_pw_aff_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw
_
aff_is_e
q
ual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
generalize isl_multi_aff_plain_is_eq
u
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
g
eneraliz
e
isl_multi_aff
_
p
r
oduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
declar
e
i
sl_multi_pw_aff_
g
ist_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
Ver
d
oolaege
decla
r
e isl_m
u
lti_
p
w_aff_gi
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
add isl_pw_m
u
lti_aff_f
i
x_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw
_
mult
i
_
a
ff_project
_
out_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaeg
e
add isl_pw_
m
ulti_aff_from_m
u
l
t
i
_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
add
isl_pw_
m
ulti
_
af
f
_f
r
om_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doola
e
ge
add isl_pw_multi_
a
ff
_
z
e
ro
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n Verdoolae
g
e
add i
s
l_pw_aff_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
d
oolaege
add isl_p
w
_aff_f
r
om_r
a
ng
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoola
e
ge
private
l
y export
is
l
_pw_qpolynomial_reset_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoo
l
aeg
e
de
c
lare i
s
l_pw_a
f
f_has_tuple_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n V
e
rd
o
o
laege
add isl_m
u
l
ti_aff_rang
e
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
ad
d
isl_m
u
lti_aff_domain_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
ad
d
isl_
s
pace_range_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
extract out isl_spac
e
_do
m
a
in_map from isl_map_doma
i
n_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
ad
d
isl
_
multi_*_scale_
d
o
wn_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Ve
r
do
o
l
a
e
ge
ad
d
isl_multi
_
*_from
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl
_
multi_
*
_s
e
t_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoola
e
ge
a
dd i
s
l_multi
_
*_get_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
rdoo
l
a
ege
add is
l
_multi_*_fi
n
d
_
dim_
b
y_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
add isl_multi_*_reset_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Ve
r
doolaege
a
d
d
i
sl_
m
u
lti_*_get_tu
p
le_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
o
olaeg
e
a
dd
i
sl
_
mu
l
ti_*_ha
s
_
t
u
p
le_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_mu
l
ti_*_set_tuple_id: fix mem
o
ry manage
m
ent annota
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
isl_multi_a
f
f_pullba
c
k_multi_aff: align parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoo
l
aege
i
sl_mult
i
_aff_{add,sub}
:
align parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoola
e
g
e
isl_multi_
*
_range_product: align parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rd
o
ol
a
e
g
e
i
sl_multi_*_set_
*
: align parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdool
a
eg
e
add isl
_
m
u
l
ti_
p
w
_
af
f
_move
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
isl_pw_aff_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
add
isl_aff_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
a
d
d i
s
l
_
local_spac
e
_
m
ove_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
isl_space_m
o
ve_dims:
r
es
e
t source and
d
estination
t
uple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_vec_mo
v
e_els
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
Verdoolaege
add isl_multi_val
_
dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
l
a
ege
add is
l
_printer_prin
t
_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
is
l
_o
u
tput
.
c: parameterize print_nes
t
ed_va
r
_
l
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
Verdoolaege
isl_prin
t
er_print_m
a
p: pr
i
nt floor ex
p
ressions
a
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
lae
g
e
isl_output
.
c:
reu
s
e p
r
i
nt_disjunct
for printi
n
g in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Ver
d
o
olaege
isl_out
p
u
t
.
c: reus
e
print_
d
iv ins
t
ead of reimple
m
e
nting it
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
isl_ast_code
g
en
.
c: add_nodes: doubl
e
-
c
hec
k
t
h
at list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdo
o
laeg
e
add
isl
_
b
a
sic_{set,map}_is
_
disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl 0
.
12
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
doc/implement
a
tion
.
t
e
x: u
p
date to al
g
orithm2e
.
sty
v
ersion
4
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
configure
.
ac: link in llvm
option co
m
ponent in extract_interfac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-21
Sven Verdoolae
g
e
isl_ast
_
build_
a
st_from
_
schedul
e
:
impr
o
ve handling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-11
Sven
Verdoolae
g
e
isl_ast_build_expr_from_pw_aff: c
o
alesce in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-11
Sven Verdoolaege
i
s
l_ast_bui
l
d
_expr_fr
o
m_pw
_
aff: c
o
m
pute gist wi
t
h res
p
ect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-11
Sven Verdool
a
ege
isl_ast_expr
_
from_aff: separat
e
out rational
par
t
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoo
l
aege
a
d
d is
l
_aff_val_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoola
e
ge
isl_input
.
c: fix typo i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
Sven V
e
r
do
o
laege
add isl_basic_map
_
preimage_rang
e
_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
S
v
en Verd
o
olaege
add isl_basic_map
_
p
reima
g
e_domain_multi_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoolaege
co
m
plain on me
m
ory
allocation failure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
Sven Ver
d
oolaege
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2013-07-09
S
v
en
V
erdoolaege
add isl_ilp_private
.
h
t
o
distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-08
Sven Verdoolaege
i
s
l_
a
st_build_compute_gist_p
w
_a
f
f: ha
n
dle parametr
i
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdoolaege
isl_ve
r
tic
e
s
.
c
: i
s
l_cell_alloc: accep
t
N
U
LL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en
V
er
d
oolaege
isl_vertices
.
c: comp
u
t
e_chambers: accept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_v
e
rtices
.
c: add_chamber
:
a
cce
p
t
NULL poin
t
er on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next