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_build_access_from_pw_multi_aff
2013-07-27
Sven Verdoolaege
a
d
d isl_ast_build_access_from_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
add isl
_
id_to_ast_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl
_
ast
_
ex
p
r_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
g
e
add isl_id_get_ha
s
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoo
l
a
e
ge
generalize and export
i
sl_map
_
to_basic
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
eg
e
add i
s
l_m
a
p_to_basic_set_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
V
erdoolaege
isl_map_to_
b
asic_set: add reference c
o
unting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
add isl_m
a
p_to_basic
_
set_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
export isl_basic_s
e
t_plain_is_equa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_map_to_basic_set:
k
ee
p
tr
a
ck of is
l
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
isl
_
map_t
o
_basic_set_free: retu
r
n
N
ULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
rena
m
e isl_hmap
_
map_
b
as
i
c_set t
o
isl_
m
ap_to_basic_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
add
i
s
l_
m
ulti_pw
_
aff_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
i
s
l_inp
u
t
.
c:
e
xtract out
m
ap_from_tuple from read_map_tupl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_pri
n
ter_p
r
int_multi_pw_aff:
c
h
a
n
ge output format
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl
_
stream_read_m
a
p: acc
e
pt piecewise affine expression
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_inp
u
t
.
c
:
extrac
t
out push_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdool
a
e
ge
isl_input
.
c: extract o
u
t set_current_line_col
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
add isl
_
set_from
_
m
u
lti_
p
w_aff and
i
sl_map_from_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoola
e
ge
add isl_map_preima
g
e_domain_pw_mu
l
t
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
add is
l
_set_preimage_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
add isl_multi_pw
_
aff_pullback_multi_pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ver
d
o
olaege
add
i
sl_multi_pw
_
aff_pullba
c
k_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
add isl
_
mul
t
i_pw_aff_pullback_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Ve
r
doolaege
add
i
sl_af
f
_pull
b
ac
k
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoo
l
aege
add isl_multi_pw_
a
ff_f
r
om
_
p
w_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdool
a
ege
add i
s
l
_multi_pw_aff_from_m
u
lti_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
Verdo
o
l
a
ege
a
d
d
isl_multi_pw_aff_
d
o
mai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
ad
d
is
l
_multi_pw_aff_intersect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
ad
d
isl_
m
ulti_pw_aff_inte
r
sect_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
Verdoolaege
add isl_m
u
lti_pw_
a
ff_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
add isl
_
multi_pw_aff_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
V
e
r
d
oolaege
add
i
sl_pw
_
aff_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
Verdoolaege
generalize isl_mul
t
i
_
aff_plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdo
o
laege
generalize isl_multi_
a
ff_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
ool
a
ege
de
c
l
a
re isl_m
u
lti_
p
w_aff_gist
_
p
ara
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
declare isl_multi_pw_aff_g
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdo
o
l
aege
add isl_pw_multi_aff_fix_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven 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 Verdoolaeg
e
add i
s
l_
p
w_multi_aff_from_m
u
lti_p
w
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
ad
d
isl_pw_
m
ulti_aff
_
f
r
om_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
add is
l
_pw_multi_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
add isl_pw_aff
_
param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoola
e
ge
add
i
sl_
p
w_aff_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
privately expor
t
isl_
p
w_q
p
olynomi
a
l
_
r
eset_spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
d
o
o
l
a
ege
d
e
clare isl_pw_aff_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
o
l
aege
add isl_multi_aff
_
range_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
add isl_multi_aff
_
domain_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
add isl
_
space
_
rang
e
_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
e
x
t
r
act out i
s
l
_sp
a
c
e
_
d
o
m
a
i
n_
m
ap from isl_map_domain_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add is
l
_mul
t
i_*_sca
l
e
_
do
w
n
_
multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ver
d
o
o
laege
add isl_mult
i
_*_from_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
l
a
ege
ad
d
isl_multi_
*
_set
_
dim_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add i
s
l_multi_*_get
_
dim_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_mult
i
_*_find_dim_by_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
add
i
sl_m
u
lti
_
*_re
s
et_t
u
ple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
add isl_multi_*_get_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
d
d
i
s
l_m
u
lti_*_has_tuple
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
V
erd
o
o
l
aege
isl
_
mu
l
ti_
*
_set_tuple_
i
d: fix memory management ann
o
t
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
isl_multi_aff
_
pullback_multi_aff: al
i
gn
p
arameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
a
ege
isl_
m
u
l
ti_aff_{add,sub}: align
p
arameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rd
o
olaege
isl_multi_*_range_product:
align parame
t
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
is
l
_multi_*_set_*: align parameter
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ve
n
Ver
d
oo
l
aege
add isl
_
multi_pw_aff_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw_aff_mo
v
e_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
Verdoolaeg
e
ad
d
i
sl_
a
ff_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
add isl_loc
a
l
_sp
a
ce_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
i
s
l_
s
pac
e
_mov
e
_dims:
r
e
set source a
n
d d
e
s
t
ination tup
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoola
e
ge
ad
d
isl
_
v
ec_move_els
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
add isl_multi_val
_
dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
add i
s
l_printer_print_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verd
o
ol
a
ege
isl_output
.
c: param
e
terize print_n
e
sted_var_lis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
ae
g
e
isl_printer_print_
m
ap: print floor e
x
pres
s
ions
as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
ol
a
e
g
e
isl_outpu
t
.
c: reuse
p
rint_disj
u
nct f
o
r printing in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_output
.
c: reuse print_div instead of reimple
m
enting it
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
i
sl_as
t
_
c
odegen
.
c:
a
d
d_nodes: doub
l
e-c
h
eck
that list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
add isl_basic_{set,map}_is_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaeg
e
Merge bra
n
ch 'mai
n
t'
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaeg
e
isl 0
.
12
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoola
e
ge
d
oc/implem
e
n
tation
.
tex
:
update to alg
o
rithm2e
.
sty
v
ersion
4
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
configure
.
ac: link in
llv
m
option c
o
mpone
n
t in extract_interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-21
Sven Ver
d
o
olaege
isl_
a
s
t_build
_
ast_from_sch
e
dul
e
: i
m
prove han
d
ling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-11
Sven Verdoolaege
isl_ast_build_expr_from_pw_aff: coalesce input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-11
Sven
V
erdoolaege
isl_a
s
t
_
b
uild_expr
_
from_pw_aff: comput
e
g
i
st w
i
th
respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-11
Sven Verdoolaege
isl_ast_expr_from_
a
ff: separ
a
te out
rational
p
art of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
Sven Ve
r
doolaege
add isl_aff_v
a
l_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
S
ve
n
Ver
d
oolaege
isl_inpu
t
.
c:
f
ix typo in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdool
a
ege
add is
l
_basic_m
a
p_prei
m
age_range_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoolaege
add isl_basi
c
_map_preimage_domain_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoola
e
g
e
c
o
mplain on memo
r
y a
l
location
f
ailure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdo
o
laege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2013-07-09
Sve
n
Ve
r
doolaege
add
isl_il
p
_priva
t
e
.
h
t
o distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-08
Sven Verdoolaege
isl_
a
s
t_
b
uild
_
comp
u
te_gist
_
pw_aff: handle
parametr
i
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_
v
ert
i
ces
.
c: isl
_
cell_alloc: accept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
is
l
_
vertices
.
c
:
compute_chambe
r
s: accept NULL p
o
inter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
a
e
ge
isl_vertices
.
c: ad
d
_c
h
a
m
ber
:
accept
NULL pointe
r
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
i
sl_b
a
sic_set_compu
t
e_vertic
e
s: accept
N
ULL pointe
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erd
o
ola
e
ge
isl_vertices
.
c: ve
r
tices_from_l
i
st:
a
ccep
t
NULL poi
n
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_tra
n
sitive_c
l
osure
.
c: union_c
o
mp
o
nents
:
avoid zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaeg
e
isl_tran
s
itive_closure
.
c: path_along_delta: accept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next