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
isl_union_*_add_*: align parameters
2013-08-15
Sven V
e
rdoolaeg
e
ad
d
isl_multi_*
_
rese
t
_
user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
v
en Verdoo
l
aege
doc: l
i
st isl_
m
ulti_*_reset_tu
p
le_i
d
as func
t
ion modifying
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoo
l
aege
add isl_set_reset_user an
d
isl
_
ma
p
_reset
_
user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
v
en Verdoolaege
add is
l
_
space_rese
t
_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
v
en Verdoolaege
ISL_ARG_GROUP: allow sp
e
cifi
c
ation o
f
l
on
g
name/prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven V
e
r
d
oo
l
aege
is
l
_
args_parse
:
allow multiple pref
i
xes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoo
l
a
e
ge
isl_arg
.
c: prin
t
_arg
_
h
elp: print "no-" on default-set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-06
Sv
e
n Ve
r
doolaege
M
erge branch '
m
aint
'
commit
|
commitdiff
|
tree
2013-08-06
Sven Verdoolaege
isl_ast_build_ast_from_schedul
e
:
improve ha
n
d
l
i
n
g
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-05
Sven Verdo
o
laege
isl_
c
tx
.
c: find_nested_
o
pt
i
ons: pr
o
perly h
a
ndle argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdo
o
laege
is
l
_
u
nion
_
ma
p
_para
m
s: plug m
e
mory leak in case of empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_id_
t
o_pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
add isl_a
s
t_ex
p
r
_s
u
bst
i
tute_ids
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
extract
o
u
t isl/ast_
t
ype
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verd
o
ola
e
ge
add is
l
_
a
st_expr_a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolae
g
e
add isl_
a
st_build_{access,call}_from
_
mult
i
_pw
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_ast
_
b
uild_access_
f
rom_
p
w_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
V
e
rdoola
e
ge
add isl_id_to_ast_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
lae
g
e
ad
d
isl_ast
_
expr_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoo
l
aege
add isl_id_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaeg
e
gen
e
r
a
l
ize a
n
d
e
xp
o
rt isl_map_to_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n
V
e
rdool
a
eg
e
add isl_ma
p
_to_
b
a
s
ic_set_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_map_to_b
a
sic_set: add
r
eference counting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
add isl_map_
t
o_basic_set_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
export is
l
_
b
as
i
c_set_plain_is_e
q
ual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
isl_map_to_ba
s
ic_set: ke
e
p
track
o
f isl
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoo
l
aege
isl_map_to_basic
_
set_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdo
o
laeg
e
ren
a
m
e
isl_hmap_map_ba
s
i
c
_set
t
o is
l
_map_
t
o_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
Ver
d
oolaege
ad
d
isl_mul
t
i_pw
_
aff_rea
d
_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_
i
npu
t
.
c
: extra
c
t out map_from
_
t
u
ple
from
r
ead_
m
ap_tuple
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_prin
t
er_print_multi_
p
w
_aff:
c
h
a
n
ge o
u
tput format
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolae
g
e
isl_stream_read
_
m
a
p: a
c
cept piecewi
s
e af
f
ine
e
xpressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
isl
_
input
.
c: extrac
t
out push_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
i
s
l_input
.
c: extract out set_
c
urrent_line_c
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
a
d
d isl_se
t
_
f
r
o
m
_multi_
p
w_aff and
is
l
_ma
p
_
fro
m
_multi_p
w
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
V
e
r
d
oolaege
add isl_map_preimage_domain_pw_m
u
lt
i
_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_set_preima
g
e_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
add isl_multi
_
pw_aff_pullback_m
u
lti_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdo
o
laege
add i
s
l_multi_pw_
a
ff_pullb
a
ck_pw_
m
ulti_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
add isl_multi
_
p
w_a
f
f_pullback_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdool
a
ege
add isl_aff_p
u
llback_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add i
s
l
_multi_pw_af
f
_from_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
add isl_multi_
p
w_aff_from_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
add
i
sl_mu
l
ti_p
w
_
a
ff_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n
Ve
r
doolae
g
e
add isl
_
multi_pw_aff
_
in
t
e
rs
e
ct_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
a
d
d isl_multi_pw_aff_intersect_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
V
e
rdoolaege
add
i
sl_mu
l
ti
_
pw_af
f
_c
o
ale
s
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
add isl_multi_pw_a
f
f_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoola
e
g
e
add isl_p
w
_af
f
_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolae
g
e
generalize isl_mu
l
ti_af
f
_plain_is_equ
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
gene
r
alize isl
_
multi_aff
_
product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
declare isl_mu
l
ti_pw_aff_
g
ist_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
declare isl_multi_pw_aff_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
add isl_pw_multi
_
aff_
f
ix_s
i
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw
_
multi_aff_
p
roj
e
ct_out
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
add isl_
p
w_multi_aff_from_multi_pw
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n V
e
rdoolaege
add isl_pw_multi_aff_from_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
l
aege
a
d
d
i
s
l
_
p
w
_multi_a
f
f_ze
r
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
add isl_pw
_
a
ff
_
param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
r
doolaege
add isl_
p
w_aff_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
privately
exp
o
rt
isl
_
p
w
_qpol
y
nomial_res
e
t
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
d
e
clare is
l
_p
w
_a
f
f_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
add isl_mult
i
_aff_
r
ang
e
_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaeg
e
add isl_mul
t
i_aff_do
m
ain_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaeg
e
add isl_space_
r
ange_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
ex
t
ract out isl_space_domain_map f
r
o
m isl_map_domain_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
add isl
_
multi_*
_
scale_dow
n
_
m
ulti_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verd
o
ola
e
g
e
add isl_multi
_
*_from_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
add isl_
m
u
lti_*_set_dim
_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
dd isl_multi_*_get_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
add isl
_
multi_*_find_dim_b
y
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verd
o
olaege
add i
s
l_multi
_
*_r
e
set_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
add isl_mul
t
i_*_g
e
t_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoola
e
ge
add isl_
m
ulti_*_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
isl_m
u
lti_*_s
e
t_tuple_i
d
: f
i
x m
e
mory manag
e
ment
a
nnota
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven
V
e
rdo
o
laege
isl_mult
i
_aff
_
pullback_multi
_
af
f
: align p
a
ra
m
et
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolae
g
e
i
s
l_
m
ulti_
a
ff_{add,sub}:
a
lign parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
isl_
m
ulti_*_range
_
pro
d
u
ct: alig
n
parame
t
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
isl_multi_*_set_*: align
p
a
ramete
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
add isl_m
u
l
t
i_pw_aff_move_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rd
o
olaege
add
i
sl_pw_a
f
f_move_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdo
o
lae
g
e
add isl_aff_mov
e
_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
a
dd isl_local_space_move_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoo
l
aege
i
s
l_space_
m
ove_d
i
ms: re
s
et source and destination t
u
ple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
add
i
sl_ve
c
_mov
e
_
e
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl
_
multi_val_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pr
i
nter_
p
rint_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoola
e
ge
i
s
l_output
.
c: parameterize print_nested_v
a
r_li
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verd
o
olaege
isl_printer_print_map: print floo
r
expressions as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_outp
u
t
.
c: r
e
use p
r
i
n
t_disjunc
t
fo
r
printing in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
r
doolaege
isl_output
.
c: reuse
print_div instead of reimple
m
enting
i
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_ast_co
d
egen
.
c: ad
d
_nodes:
d
oub
l
e-check
t
hat
l
ist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
l
a
ege
add is
l
_basic_{set,m
a
p
}_is_dis
j
oint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdo
o
laege
Merg
e
branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
isl 0
.
12
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
do
c
/impleme
n
ta
t
ion
.
tex: u
p
date to algorithm2e
.
sty versi
o
n 4
.
0
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Ve
r
doolaeg
e
confi
g
ure
.
ac: link in
l
lvm option compon
e
nt in extract_interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-21
S
ve
n
Ve
r
do
o
laege
isl_
a
st_build_ast_from_schedule: improve handling
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-11
Sven Ver
d
oolaeg
e
isl_ast_build
_
e
x
pr_from_pw
_
a
f
f
:
coalesce
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-11
Sv
e
n Verdoolaege
isl_as
t
_
buil
d
_
ex
p
r_
f
rom_pw_aff: co
m
pu
t
e gist wi
t
h respec
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next