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_aff_normalize
2011-09-03
Sven
Verdoolaege
b
a
sic
_
set_
d
im_max: expl
i
citly pro
j
ect on parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
d
oola
e
ge
isl_basic_set_comput
e
_ve
r
tices:
e
x
p
licitly turn chambers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erd
o
olaege
b
o
u
nd
.
c:
explicitl
y
convert context
i
n
t
o
parameter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
pi
p
.
c
:
explici
t
ly
c
o
nvert context
into
paramete
r
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
add isl_p
w
_
q
polynomial_fold_p
r
o
j
ect_domain_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add
isl_
q
polynomial_project_domain_on
_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdo
o
laege
add is
l
_pw_qpolynomial_proj
e
c
t
_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add i
s
l
_morph_{dom,
r
an}_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add i
s
l_basic_set_params and i
s
l
_
s
e
t_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaeg
e
add i
s
l_s
p
ac
e
_par
a
ms_all
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
la
e
ge
isl_str
e
a
m
_read_set: accept par
a
m
et
e
r do
m
ains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_pw_qpo
l
yn
o
mial
_
fold_b
o
u
n
d: simpl
i
fy
constr
u
ct
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
l
a
ege
i
s
l_tes
t
.
c:
prope
r
ly
c
r
e
a
te set space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
o
ol
a
ege
isl_
m
ap_ran
g
e
_
m
ap:
f
i
x
s
p
ace manipulation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oola
e
g
e
is
l
_map_ra
n
g
e
: construct
correct s
p
ace fo
r
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl_basic_
s
et_a
l
l
oc
:
c
r
eate basic set in
proper set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
isl_spa
c
e_wra
p
: pr
o
perly create set space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolaege
add isl_set_fro
m
_pw
_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ve
r
doolaege
rename PW_alloc_ to P
W
_alloc_siz
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_pw_*_
a
dd_disjoint:
t
ry
and e
x
tend on
e
of the pws
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaeg
e
isl_s
p
ace_match: optimize trivia
l
cases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_map_
f
lat
_
domain_p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_access_info_com
p
ut
e
_flow: align parameters o
f
input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
al
i
gn pa
r
a
m
eters of
ar
g
ument
s
to isl_
m
ap_{
l
exmin
,
lexmax}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oola
e
ge
isl_space_align_p
a
rams: accept general is
l
_
s
p
aces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
doolaege
a
dd isl_space_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
r
enam
e
isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolae
g
e
doc
u
ment isl_dim_
m
ove
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n Verdoolaege
split off declaration
s
fr
o
m
isl_polynom
i
al
.
h to separate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
v
e
n
Verdoola
e
ge
merge
isl_*_dump f
u
nctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
v
en Verdoola
e
ge
add isl_se
t
_dim_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Ve
r
do
o
laege
add i
s
l_basic_set_foreach_lexopt
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
add isl_pw_aff_u
n
ion_opt
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdool
a
ege
add isl_p
w
_aff
_
union_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven V
e
rdoolaege
add isl_aff_le_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
ven V
e
rdoolaege
isl_qp
o
lynomi
a
l_free
:
retu
r
n NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdo
o
lae
g
e
M
erge
b
ranch '
m
aint'
commit
|
commitdiff
|
tree
2011-08-31
S
v
en
V
e
rdoolae
g
e
isl_qpolynomial
_
rat_cst: han
d
le NULL space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sv
e
n Ve
r
d
o
olaege
be
r
nstein_co
e
fficients_cell:
handle NUL
L
poly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sve
n
Verd
o
olaege
i
sl_
p
r
i
nter_to
_
str: intialize bu
f
fer to em
p
ty string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Ve
r
doolaege
isl_map_insert:
p
r
o
p
erly
h
andl
e
na
m
ed or nested spa
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
S
v
en Verdo
o
laege
i
sl_set_flat_product: call isl_map_range_flat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sven
Ver
d
oo
l
aege
a
dd some isl_map
_
p
lain_is_fixed test
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sven
Verdoolaege
isl_bas
i
c_map
_
ne
g
:
g
a
u
s
s r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
ven Verdoolaege
isl_dim_get_tuple
_
id:
c
omplain if tuple has no id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
isl_dim
_
get_di
m
_id
:
comp
l
ai
n
if dim has no id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
erdoolaege
add isl_*_ha
s
_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
v
e
n
V
e
rdoo
l
aege
ad
d
is
l
_*_h
a
s_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
Verdoolaege
do
c
:
wa
r
n a
b
out t
h
e limited use of ident
i
fier
s
of individual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sv
e
n Verdo
o
laege
document isl_map_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
S
v
en Verdoolaege
rename isl_map_insert t
o
is
l
_se
t
_
insert_
d
ims
and
a
dd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
S
ven Verdo
o
laege
Me
r
ge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-08-11
S
ven Ver
d
oolaeg
e
i
sl_di
m
_equal: handle NU
L
L i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven
V
erdoolaege
isl
_
d
i
m
_
tuple_mat
c
h:
hand
l
e NULL inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Sven Verdool
a
ege
isl_map
_
is_subset:
a
map cannot be as s
u
b
s
et
of a map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-06
Sven Ver
d
oolaege
do
c
ument isl_map_pl
a
in_i
s
_fix
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verd
o
olae
g
e
Merge bran
c
h
'
m
a
i
n
t
'
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaege
isl_set
_
product: call isl_m
a
p_range_product instea
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven
V
erd
o
o
laege
isl_basic_m
a
p_remo
v
e_dims:
p
ro
p
erly ha
n
dle
n
amed
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven
V
erdoolaege
isl_basi
c
_map_drop: properly
handle nested spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaeg
e
isl_access_info_co
m
pute_flow: plug
m
e
mo
r
y
l
e
ak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
S
eb
a
s
tian P
o
p
d
o
c
: remove "struct" in front of isl_*
t
y
p
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
S
v
e
n Verdoolaeg
e
do
c
:
update p
r
ototype o
f
isl
_
con
s
traint_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
S
ven Ver
d
o
o
laege
isl_basic_map_remove_divs: handle
N
ULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Sve
n
Verdoo
l
aege
is
l
_
s
ch
e
dule
.
c
:
h
a
n
d
l
e basic
maps i
n
divid
u
ally i
n
setup_ca
r
r
y_
l
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
S
ven V
e
rdoolaege
a
d
d isl_set_reset_t
u
ple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Sven V
e
rdoolaege
Merge
b
r
a
nc
h
'
m
aint'
commit
|
commitdiff
|
tree
2011-08-03
Sven V
e
rdoola
e
ge
isl_
d
im_range_produc
t
: dimension
n
ames of dom
a
ins don
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Sve
n
V
erdoolaege
isl_aff
.
c:
fi
x
up
c
o
py
r
ight
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Seb
a
stian
Pop
doc: f
i
x typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaeg
e
isl_aff_f
l
oo
r
:
re
d
uce coeffic
i
ents
of newly crea
t
ed di
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n
V
erd
o
olaege
add isl_aff_mod and isl_pw_aff_mo
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
ven Ve
r
doolae
g
e
add isl_int_mul_
2
exp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-29
Sve
n
Verdool
a
e
ge
e
xport
isl_pw_aff_foreach_piece
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-29
Sven Verd
o
olae
g
e
a
dd isl_set_dim_has_{low
e
r,up
p
e
r}_
b
oun
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
er
d
oolaege
i
s
l_st
r
eam
_
rea
d
_ma
p
: accept assignments t
o
t
u
ple v
a
riables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
Verdoo
l
ae
g
e
isl_stream
_
read_map: accept ter
n
ary operators i
n
variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en V
e
rdoo
l
aege
i
s
l
_
s
t
r
e
am_read_ma
p
:
h
andle init
i
al
p
arenthesized
a
f
fine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdool
a
e
ge
isl
_
str
e
am: sup
p
ort com
p
oun
d
tokens
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
priv
a
tely export isl_t
o
ke
n
_new
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven
V
erd
o
olaege
i
sl_s
t
ream_read
_
map: accept
"!=" in expr
e
ssions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ver
d
oolaege
isl_stream_r
e
a
d_map: accep
t
"mod" in expre
s
s
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven
Verdoolaege
isl_stream_read_
m
a
p
:
a
ccept arbi
t
rary aff
i
n
e
ex
p
ressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verdoola
e
ge
isl_stream_re
a
d_map: use affine expressions during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
Verdoolaeg
e
ad
d
is
l
_pw_af
f
_list
_
{
min,max}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdo
o
laege
add
isl_pw_aff_list_*_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ver
d
ool
a
e
g
e
add
i
sl_pw_qpolynomial_
f
r
o
m_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ve
r
doolaege
add
i
sl_pw_qpol
y
n
o
m
ial_pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ver
d
oola
e
ge
add isl_pw_
q
polynomi
a
l_from_qpolyn
o
mial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verdo
o
l
a
ege
add
isl_pw_aff_l
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaeg
e
add isl_*_list_concat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verd
o
o
l
aege
a
dd isl_*_list_from_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
*_lis
t
_
f
ree: retur
n
NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
add i
s
l_m
a
p_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n
V
e
rdoolaege
add
i
sl
_
pw_aff_from_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sv
e
n Verdoo
l
a
ege
isl_map_i
n
tersect: be c
a
r
e
ful when intersecting with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sve
n
Verdoolaege
i
s
l_map_intersect: be careful whe
n
intersec
t
ing
w
i
t
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven
Verdoolaege
add isl_
p
w_aff
_
non_zer
o
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdo
o
laege
export isl_pw_aff_z
e
ro_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-23
S
v
e
n
Ve
r
doolaege
reimplement isl_c
o
nstrai
n
t
in terms of isl
_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next