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_set_intersect: special case intersection with parameter domain
2011-10-16
Sven
Verdoolaege
isl_union_set_intersect
:
s
pec
i
al case intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdo
o
laeg
e
add
isl_unio
n
_map
_
inters
e
ct_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ve
r
doolae
g
e
add isl_union
_
s
et
_
is_p
a
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoolaege
isl_point_get_coordinate: chec
k
validity of "pos"
a
rgument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven
V
er
d
o
o
l
aege
interface/
e
x
tract
_
i
n
t
erface
.
cc: adjust to rename of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
r
e
n
a
me
i
sl_p
w
_aff_add to isl_pw_af
f
_u
n
io
n
_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Ve
r
d
o
o
laege
reimplement
pw_
a
f
f_m
u
l on top o
f
a generi
c
isl_pw_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en
Verdo
o
l
aege
i
s
l_map_inte
r
s
e
ct:
requi
r
e a
r
guments to
live in
the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
e
r
doolaege
isl
_
i
nput
.
c: read_tuple:
u
se is
l
_m
a
p_inte
r
sect_params
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-10
Sven Verdoolaeg
e
Merge branch
'
mai
n
t'
commit
|
commitdiff
|
tree
2011-10-08
Sv
e
n Verdoolaege
isl_stream_read_map: handl
e
nested p
a
renthesized
expressi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Verdoolaeg
e
isl
_
basic_{set,
m
ap
}
_partial_lex{m
i
n,ma
x
}
_
p
w
_multi_a
f
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Verdoolaege
a
dd
i
sl_aff_normali
z
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Verdoolaege
add extract_in
t
er
f
ace for
constructing interfaces
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
mark so
m
e
d
ata struc
t
ures and functions for exp
o
r
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erdoolaege
add isl_*_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
laeg
e
add isl_union_pw_q
p
ol
y
nomial_r
e
ad_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
add isl_multi_
a
ff_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdool
a
ege
add
is
l
_local_s
p
ace_lifting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erd
o
olaege
ad
d
i
sl_l
o
cal_space_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
V
e
rdoolaege
add isl_loc
a
l_s
p
a
c
e_intersect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
ae
g
e
add isl
_
multi_aff_r
e
a
d
_
f
rom_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n V
e
rdo
o
laege
add
isl_
p
w_aff_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdool
a
ege
add
isl_
a
ff_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en V
e
rdoolae
g
e
add isl_pw_mul
t
i_aff
_
r
e
ad_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdool
a
e
ge
add isl_pw_multi_
a
f
f
_fr
o
m_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolae
g
e
add isl_
b
a
s
ic_ma
p
_lexmi
n
_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaege
pip: optiona
l
ly use isl_basic
_
s
et_p
a
rtial_l
e
xmin_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
add isl_b
a
sic_
{
s
et,map}_partial_l
e
x
{
min,max}_p
w
_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add
i
sl_pw_m
u
lti_aff_
s
u
bstitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
add isl_set_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaege
add isl_local
_
space_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verd
o
ola
e
ge
isl_printer_pri
n
t_
p
w_
m
ulti_aff:
p
a
r
tial support fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaege
add isl_pw_mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoolaege
add isl_pw_*_
g
e
t_d
i
m_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
add i
s
l_
p
w_*_get_dim
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
er
d
oolaeg
e
add isl_pw_*_has_t
u
p
le
_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
add isl_pw_*_set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoolaege
add isl
_
p
w_*_get_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
add isl_
p
w
_
*_get_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoola
e
ge
add i
s
l
_
basic_
m
a
p_from_m
u
lti_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoola
e
ge
add isl_m
u
l
t
i
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven
Verdoola
e
ge
is
l
_
pw_templ
.
c: rena
m
e
ali
g
n_params_pw
_
pw_and to incl
u
de PW
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
ad
d
is
l
_map_dim_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
privatel
y
export isl_
b
a
s
ic
_
map_foreac
h
_lexo
p
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
add isl_basic_map
_
el
i
minate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
ege
ad
d
isl_basic_
m
ap_
h
as_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaege
M
e
r
ge
br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-10-01
Sv
e
n
Ver
d
oolaege
isl_basic_map_eli
m
inate_vars:
gauss result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven
Verdoolaege
a
d
d
i
s
l
_
aff_
s
et_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
add i
s
l_local_space_set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verd
o
olaege
add isl_map_find_dim_by_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sv
e
n Verdoolae
g
e
add isl_space_find_d
i
m_by_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven
V
e
rdool
a
ege
export isl_pw
_
af
f
_intersect_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
v
en Ve
r
doolaege
e
x
port
i
sl_pw_a
f
f_
p
lain
_
is_e
q
ual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
add generi
c
i
sl_pw_*_set_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
isl_set_i
n
tersec
t
: proper
l
y handle intersection with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
Sven Ver
d
oolaeg
e
is
l
_access_info_compute_fl
o
w: align
parameters
of input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdool
a
ege
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-23
Sve
n
Ve
r
do
o
laege
fix
i
sl_set_inv
o
lves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdoolaege
add isl_set_pl
a
in_i
s
_
f
ixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Ve
r
doolaege
a
d
d isl_set_from_
p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
olaege
ad
d
i
s
l_sp
a
c
e_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
a
e
g
e
isl_q
p
olynom
i
al_morph: properly handl
e
denominato
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n
Verdoolaege
add isl_ma
t
_diag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verdoolaege
i
s
l
_tab_p
i
p
.
c: sol_fo
r
_add
:
corre
c
tly
s
e
t denomi
n
a
t
or
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doolaege
isl_tab_pi
p
.
c:
sol_map_add: fix double free on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
isl_stream: ac
c
e
p
t
"==" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdo
o
laege
a
d
d isl_union
_
p
w
_*_plain_is_e
q
ual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
ven Verdoolae
g
e
add
i
s
l
_pw_*_plai
n
_is
_
equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
a
dd isl_set_
p
la
i
n_c
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verd
o
olaege
a
d
d isl
_
map_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
rdoolaege
is
l
_stream_ne
x
t_token:
t
reat "-0" as two tokens '-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en V
e
rdo
o
laege
drop "nparam"
argu
m
ent f
r
om isl_{set,map
}
_re
a
d_
f
r
o
m
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
Sve
n
Verdoolaege
doc: docu
m
ent *_move_dims functi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
oolaege
drop isl_div abst
r
a
c
tio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
rdoolaege
is
l
_{in,}equality_
a
lloc: take isl_l
o
cal_spac
e
intead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdo
o
laeg
e
doc: upd
a
te example code
t
o
cha
n
g
e in return
type
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sv
e
n Verd
o
olaege
Merge
branc
h
'
m
aint'
commit
|
commitdiff
|
tree
2011-09-09
Sv
e
n Verd
o
olaege
provide f
u
ll pro
t
otypes for s
o
me fun
c
tions
with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Ver
d
o
o
laege
doc
:
f
i
x t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sve
n
Verdoo
l
aege
a
dd is
l
_set_gis
t
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdoo
l
aege
make isl_
p
w
_*
o
bj
e
c
t live in a map space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_spa
c
e_
e
xt
e
nd_domain_with_r
a
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
a
d
d isl
_
space_is_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdo
o
laege
add isl_
l
ocal_space_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ver
d
oolaege
a
dd isl_loca
l
_
s
pace_
d
omai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdo
o
laege
implement i
s
l_
c
onstra
i
nt on top
o
f is
l
_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaeg
e
add isl
_
vec_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
ool
a
ege
isl_af
f
.
c: ext
r
act
is
l
_local_spa
c
e_
g
e
t
_a
c
tiv
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
i
sl_output
.
c: drop redundant "set
"
a
rgu
m
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdo
o
laege
isl_un
i
on_*
_
alloc: project space onto paramet
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
e
xplicitly
d
ifferentia
t
e betwe
e
n space
s
of maps, se
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
allow isl_ids with
n
egative reference counts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
p
r
oper imple
m
ent
a
t
i
on of is
l
_un
i
on
_
m
ap_from_r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
isl_map_from_domain_
a
nd_r
a
nge: drop explicit conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
V
er
d
o
ola
e
ge
i
sl_
s
et_ap
p
l
y
_pw_qpolyn
o
mi
a
l_fold: drop ex
p
licit conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
i
sl_t
a
b_
b
asic_set_
n
on_trivia
l
_lexmin: drop explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoo
l
aege
isl_
t
ab
_
p
i
p
.
c: fix whitespace issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next