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_map_intersect: require arguments to live in the same space
2011-10-12
Sven V
e
r
d
oo
l
aege
isl_map_in
t
ersec
t
:
r
equ
i
r
e
a
r
gumen
t
s to live in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Verdoolaege
isl_input
.
c:
read
_
t
uple: us
e
i
s
l_map_int
e
rsect
_
p
a
ra
m
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-10
Sv
e
n Verdool
a
ege
Mer
g
e b
r
anch 'm
a
in
t
'
commit
|
commitdiff
|
tree
2011-10-10
A
n
dr
e
a
s
K
l
oeck
n
er
Insert missing error chec
k
into isl_pw_*_intersect_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-10
An
d
r
eas
Kl
o
eckner
Ru
n
isl
_
basic_map_finalize after isl_{basic_,}map_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-08
Sven Verdoolaege
isl_stream_re
a
d_map: handle nested
paren
t
h
esiz
e
d expression
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
i
sl_basic_{set
,
map}_partial_lex{min,max}
_
pw_m
u
l
t
i_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Verdool
a
e
g
e
add isl_aff_norm
a
l
ize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
v
e
n Verdoolaege
add extract_interface
f
o
r
c
onstruct
i
n
g
interfaces
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdool
a
ege
mark some data struc
t
ur
e
s and functio
n
s for
exp
o
rt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add is
l
_*_
t
o_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
rdoolaege
add isl_un
i
on_pw_q
p
olynomia
l
_rea
d
_from_st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoolaege
add is
l
_multi_aff_lif
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
add isl_local_space
_
lifting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olae
g
e
add is
l
_local_space
_
l
ift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_
l
ocal_space_int
e
r
s
ect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
add isl_multi_aff_rea
d
_f
r
om_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoola
e
ge
ad
d
isl_pw_af
f
_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
r
d
o
olaege
add isl_aff_read_from_
s
tr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdo
o
laege
add isl_pw_multi_a
f
f_read_fro
m
_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verd
o
olaege
add isl_pw_multi_af
f
_
f
rom_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_basic_
m
ap_le
x
min_pw
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdool
a
ege
p
ip: opt
i
ona
l
ly use
isl_basic_set_partial_l
e
xmin_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add
i
sl_basic_{set,map}_partial_lex
{
min
,
m
ax
}
_pw_
m
ult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
ege
ad
d
isl_pw_multi_aff_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
add isl_set_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
V
erdoolaege
a
d
d isl_local_
s
p
a
ce_subs
t
itu
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
isl_p
r
i
n
ter_print_pw_multi
_
aff: parti
a
l suppo
r
t
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
r
doolaege
add is
l
_pw
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
rdoolaege
a
dd isl_pw_*_get_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
r
doolaege
a
d
d isl_pw_*_get_dim_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verd
o
olaege
add
isl_p
w
_*_has
_
t
u
ple_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_*_se
t
_d
i
m_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdool
a
ege
a
d
d
i
sl_pw_*_get_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
add isl_pw_*_ge
t
_tu
p
l
e
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_basic_ma
p
_from_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
add isl_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
do
o
l
aege
i
s
l_pw_templ
.
c:
r
e
na
m
e
align_params_p
w
_pw_and to inclu
d
e
PW
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
add isl_map_dim
_
max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en
V
erdoolaege
priva
t
e
ly export isl_bas
i
c
_
m
ap_foreach_lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
add
isl_
b
a
s
ic_map_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
a
d
d isl_basic_map
_
has
_
d
i
m
_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
Merge branc
h
'
m
ai
n
t'
commit
|
commitdiff
|
tree
2011-10-01
Sven Verdoolaege
isl_basic_map_eliminate_vars: gauss resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sve
n
Verd
o
ola
e
ge
add i
s
l_aff_set_d
i
m_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaeg
e
add
isl_local_space_s
e
t_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven
Verdo
o
laeg
e
add isl_map_find_dim_by_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
ven
Ve
r
doolae
g
e
add isl_space_find_di
m
_by
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdo
o
laege
ex
p
ort isl_p
w
_
aff_
i
nters
e
ct_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
ven Verdoolaeg
e
export isl_pw_aff_plain_is_equ
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolaege
add ge
n
e
ric is
l
_
p
w_*_
s
et_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoolaege
isl_set_intersect
:
properly
h
andle intersection w
i
th
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
Sv
e
n Verdoolaege
isl_access_info_comput
e
_flow: align para
m
eter
s
o
f input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
Sve
n
Verdoola
e
ge
Merge
b
ra
n
ch 'm
a
int'
commit
|
commitdiff
|
tree
2011-09-23
Sven
V
erdo
o
laege
fi
x
isl
_
set_involves_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add isl_set_plai
n
_is_fixe
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
e
n
Verdool
a
ege
a
dd isl_set_fr
o
m_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdo
o
laege
add isl_spac
e
_s
e
t_from_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
V
erdoola
e
ge
isl_q
p
oly
n
omial_morph:
p
roperly ha
n
dle
d
enominators
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
laege
a
d
d isl
_
m
at_diag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdool
a
ege
i
sl_tab_p
i
p
.
c: sol_for_a
d
d: correc
t
ly set deno
m
inat
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoolaege
isl_tab_p
i
p
.
c: sol_map_add: fix do
u
ble free on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
ven Verdoolae
g
e
isl_s
t
ream: accept
"==" t
o
k
e
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdo
o
laeg
e
add isl_union_pw
_
*_plai
n
_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
er
d
o
o
l
aege
add isl_pw_
*
_plai
n
_is_eq
u
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ve
r
d
oolaege
ad
d
isl
_
set_plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
rd
o
olaege
add isl
_
map_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Ver
d
oolaege
isl_s
t
r
eam_next_token:
t
reat "-
0
" a
s
two tokens '
-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en Verdoo
l
aege
d
rop
"nparam"
ar
g
ument fro
m
isl_{set,map}_re
a
d
_fro
m
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
Sven V
e
rdoolaege
doc:
d
ocument *_move
_
di
m
s funct
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
drop isl_
d
iv abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
i
s
l
_{in,}equa
l
ity_al
l
oc: take
is
l
_local_space intead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n
V
erdoo
l
a
ege
d
oc: upda
t
e
examp
l
e
c
o
de to change in return type of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaege
Merg
e
bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sven V
e
rdoolaege
provide full prototy
p
es
for some f
u
n
c
t
io
n
s wit
h
no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
S
v
en Verdoolaege
add isl_s
e
t_gist_pa
r
a
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoolaeg
e
make isl_pw_* objec
t
live in
a
m
a
p s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolaeg
e
a
d
d is
l
_space_extend_doma
i
n_with_ra
n
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
l
a
eg
e
ad
d
isl_sp
a
ce_is_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ve
r
do
o
l
aege
add
is
l
_local_spac
e
_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
d
d isl_
l
o
c
al_space_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
impl
e
me
n
t
isl_constraint
o
n
top of
i
s
l_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add
i
sl_vec_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdo
o
l
aege
i
sl_aff
.
c: extract i
s
l_local_
s
pace_get_acti
v
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoola
e
ge
isl
_
outp
u
t
.
c
:
drop redu
n
d
ant "se
t
" argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
i
sl_u
n
ion_*_alloc: project
s
pace o
n
t
o param
e
t
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoo
l
aege
explic
i
tly diffe
r
entiate
b
etween
spa
c
es o
f
map
s
, sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
al
l
ow isl_ids with neg
a
tive reference counts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdoolaege
proper
i
mplement
a
tion of isl_u
n
io
n
_map_fro
m
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
dool
a
ege
i
s
l_ma
p
_from_domain_and_range: d
r
o
p
explicit conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verd
o
olaege
isl_set_apply
_
pw_
q
po
l
ynomial
_
fold:
drop explici
t
conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ver
d
oolaege
isl_tab_basic_set_non_trivia
l
_lexmin: drop exp
l
ic
i
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_tab_pi
p
.
c
:
fix whitespace issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verd
o
olaeg
e
isl_set_read_f
r
om_*: coerce set-
l
ike maps
i
nt
o
s
e
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
ae
g
e
isl_inpu
t
.
c: ma
p
_read_p
o
l
ylib:
c
onvert
set-like maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ve
r
doolaege
i
sl_input
.
c: obj_r
e
ad
:
start
o
f
f
f
r
om p
a
rameter space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
is
l
_input
.
c:
r
epresent nested tuple a
s
isl_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
isl_input
.
c: obj_read
_
p
o
ly_or_
f
o
ld: represent domai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next