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_map_intersect_domain: special case intersection with parameter domain
2011-10-16
S
v
en Verdoola
e
ge
i
sl_unio
n
_map
_
inter
s
e
ct_dom
a
in
:
special
c
a
s
e i
n
tersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n Verdo
o
laeg
e
isl_union_set_interse
c
t: speci
a
l case intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Verdoolaege
add isl_union_
m
ap
_
inters
e
ct_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ve
r
doolaege
add isl_u
n
ion_set
_
is_pa
r
am
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoolaege
isl_poi
n
t_
g
e
t
_coord
i
nate
:
check
validity of "pos" argum
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
i
n
terface/ext
r
act_int
e
rface
.
cc: adjust to
rename o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
rename isl_pw
_
aff_a
d
d to is
l
_pw_aff_union_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven
V
erdoolaege
reimplement pw_
a
ff_mul on top of a generic isl_pw_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Verd
o
o
laege
isl_map_int
e
r
s
ec
t
:
requ
i
re arguments to live in
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sve
n
Verdoolaeg
e
i
s
l
_
inp
u
t
.
c: read_tuple: use i
s
l_m
a
p
_interse
c
t_pa
r
am
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
S
ven Verdoolaege
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2011-10-10
Andreas Klo
e
ckner
Ins
e
rt missin
g
error check i
n
t
o
isl_
p
w_
*
_inter
s
ect_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
A
ndreas Klo
e
ckner
R
un isl_basic
_
map_f
i
na
l
ize after isl_{basic_
,
}m
a
p_el
i
m
i
nat
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-08
Sven Ve
r
doolaege
isl_stream_read_map: h
a
n
dle neste
d
parenthesized
e
xpressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
isl_basic_{set,map}_partial_lex
{
min,max}_pw_m
u
lti_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Verdoola
e
ge
a
dd isl_aff_norma
l
ize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verd
o
olaege
add ex
t
ra
c
t
_int
e
rface for constructi
n
g
interfaces to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Verdoolaeg
e
mark some data
s
tru
c
tures and
f
unctio
n
s for export
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ve
n
Verdoolaege
add isl_*_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add i
s
l_u
n
ion_p
w
_qpolynom
i
a
l_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoo
l
aege
a
d
d isl_m
u
lti_aff_
l
ift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdool
a
ege
a
d
d
isl_local_space
_
l
i
fting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
add isl_lo
c
al_space_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
a
dd isl_l
o
cal_space_intersect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
a
dd isl_multi_aff_read_fr
o
m
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
r
doolaege
a
d
d
isl_pw_aff_r
e
ad_from_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
a
dd isl
_
aff_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaege
add isl_pw_mult
i
_aff_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoola
e
ge
add isl_pw_mu
l
ti_aff
_
from_
m
a
p
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_map_lexmin_pw_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en
V
erdoolae
g
e
pip
:
optionally use isl_basic_
s
et_parti
a
l_lexmin_pw_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
d
d isl_basic_{se
t
,
map}_partial_lex{min,max
}
_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
a
d
d
isl_
p
w_multi_aff_substitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n Ver
d
ool
a
ege
a
dd i
s
l_set_substit
u
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
a
d
d
isl_local_space_su
b
stitu
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven V
e
rdoolaege
isl_print
e
r_print_pw_
m
ulti_a
f
f: partial support for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
o
l
a
ege
a
d
d
i
s
l
_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
e
r
d
o
olaege
a
d
d
i
sl_pw_*_ge
t
_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdo
o
l
a
ege
add
isl_p
w
_*_get
_
dim_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_p
w
_*
_
ha
s
_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
add isl_pw_*_set_di
m
_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
dd isl
_
p
w_*_get
_
tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
add
i
s
l_pw_*_get_tuple_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
add isl_basic_map
_
from
_
multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdool
a
ege
add isl_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoo
l
ae
g
e
isl_pw_t
e
m
p
l
.
c: renam
e
align_pa
r
ams_pw_pw_and
t
o inc
l
ude PW
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoola
e
g
e
add isl_map_dim_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Ver
d
oolaege
privately export isl
_
basic_map_foreach_lexo
p
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
erdool
a
ege
a
dd i
s
l_ba
s
ic_map_elim
i
nat
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_basic_map_has_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
M
e
r
g
e branch 'mai
n
t
'
commit
|
commitdiff
|
tree
2011-10-01
S
ven
V
erdoolaege
isl_bas
i
c_map
_
eliminate_vars: gauss result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verd
o
ol
a
ege
add isl_aff_
s
et_dim_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
add i
s
l_
l
oca
l
_s
p
ac
e
_set_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
S
ven Verdool
a
ege
add i
s
l_map
_
f
i
n
d
_
dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
a
d
d i
s
l_
s
pace_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdo
o
laege
e
x
port is
l
_
p
w_aff_int
e
rsect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rdoolaege
export i
s
l
_
pw_a
f
f_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
add
g
eneric
i
sl_pw_*_set_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en
Verd
o
o
l
aeg
e
isl
_
s
et
_
i
n
t
ersect:
p
r
o
p
e
rly h
a
ndle int
e
rsection with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-24
Sven Ve
r
doolaege
isl_access_info_compute_flo
w
: al
i
gn parameters of input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-23
Sv
e
n
V
e
r
d
oolaege
Merge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-09-23
Sv
e
n Verdoolaege
fix
isl_s
e
t
_
involves_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
a
d
d
isl_set_plain_is
_
fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Ve
r
d
oolaege
add isl_set_f
r
om_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add isl_space_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoolaege
Merg
e
branch 'maint
'
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdoolaege
is
l
_qpolynomial_morph: pr
o
perly handle de
n
ominators
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
l
aege
add
isl_mat_
d
iag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
isl_tab_pi
p
.
c
:
sol_for_add: co
r
rectly set denomin
a
tor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Ver
d
oolaege
isl_tab_pip
.
c:
s
ol_m
a
p
_add: fix double free on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n
Ver
d
oolaege
i
sl
_
stream: accept "=
=
" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdo
o
laege
add
isl_union_pw_*_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
ven Verd
o
ola
e
ge
add isl_pw_*_plain
_
is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ve
r
doola
e
ge
add i
s
l_set_p
l
a
i
n_
c
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
a
d
d isl_map
_
p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Verdoolaeg
e
isl_stream_ne
x
t_token: treat "-0" as
t
wo tokens '
-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdo
o
laege
dr
o
p "npar
a
m" a
r
g
ument from isl_
{
s
et
,
m
a
p
}_read
_
from_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verdoolae
g
e
doc: docu
m
ent *_move_dims fun
c
t
i
on
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
drop is
l
_div
a
bstra
c
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
Ver
d
oolaege
isl_
{
in,}
e
q
uality
_
alloc: take isl_
l
ocal_space intead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verd
o
olaege
doc:
u
pdate example
code to chan
g
e in return ty
p
e of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
S
ven Verdoolae
g
e
Merge b
r
anch
'
ma
i
n
t'
commit
|
commitdiff
|
tree
2011-09-09
Sven Verd
o
olaege
p
r
ovide full protot
y
pes for some funct
i
ons
w
ith 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 Verdoo
l
aege
add isl_set_g
i
st_par
a
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaege
make isl_pw_*
o
b
j
e
ct live in a ma
p
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_space_extend_d
o
main_with_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Verdoola
e
ge
add isl
_
space_is_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add isl_local_space_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdool
a
e
g
e
ad
d
i
sl_local_space_
d
o
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaeg
e
implement isl_const
r
ai
n
t o
n
top of isl_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
add isl_vec_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
isl_aff
.
c: extract is
l
_lo
c
al_spac
e
_get_active
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolaege
isl_o
u
tput
.
c: drop redundant
"set
"
argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_union_*_al
l
oc: proj
e
ct sp
a
ce on
t
o
p
arameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
ex
p
lici
t
ly dif
f
e
r
en
t
iate between spaces of m
a
ps, sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdool
a
ege
a
l
l
o
w isl_id
s
with
negat
i
v
e
reference cou
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdo
o
laege
proper im
p
lementation of
isl_union_map
_
f
r
om_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
i
s
l_
m
ap_
f
rom_
d
o
m
a
in_and_rang
e
: d
r
op explicit conversio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next