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_space_is_domain
2011-09-03
Sven Ver
d
oolaeg
e
add
isl_space_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
o
l
aege
add isl_l
o
c
al
_
s
p
a
c
e
_is_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add is
l
_local_spa
c
e
_
do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaeg
e
imple
m
en
t
i
sl_constraint on
t
op of isl_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
a
d
d
isl_ve
c
_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl
_
aff
.
c: e
x
t
r
a
ct
i
sl_local_space_
g
et_active
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_output
.
c
:
drop r
e
dundan
t
"set" argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdool
a
ege
isl_union_*
_
alloc: project space
onto parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
explicitly diffe
r
enti
a
te between spaces
o
f
m
aps, sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
al
l
ow isl_ids wi
t
h negat
i
ve
r
efer
e
nce
c
ounts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verd
o
olaege
proper imp
l
ement
a
tion
of is
l
_unio
n
_m
a
p
_
from_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
o
l
aege
i
s
l_map_from_domain_an
d
_range:
d
rop explicit conv
e
rsio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
is
l
_s
e
t
_
apply
_
pw_qpolynomial
_
fold: dr
o
p explicit conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_
t
ab_ba
s
ic_se
t
_non_trivia
l
_lexmin: drop explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl_tab_pip
.
c:
f
ix w
h
ite
s
pa
c
e issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl
_
set_
r
ead_from_*: coerce s
e
t-like ma
p
s into sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_input
.
c: ma
p
_read_polylib: conv
e
rt set-like
m
a
ps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
is
l
_
input
.
c
: obj_read:
s
tart off from parameter space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Verdoolaege
isl_input
.
c: repr
e
sent nested tuple as is
l
_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven V
e
rdoolaege
isl_i
n
p
u
t
.
c: obj_read_poly_or_fold
:
represent domai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoola
e
g
e
isl_basic
_
set
_
multiplicative_c
a
ll: explici
t
ly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Ver
d
o
olaege
isl_pw_qpolynomial_fold_bou
n
d: explicitly
p
roject on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
isl
_
qpolynomial_bou
n
d_on_d
o
mai
n
_ber
n
stein:
explicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l_qpolynomial_bound_on_domain_ran
g
e: explicitly
pro
j
e
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ver
d
oolaege
isl_union_map_from_map: explicitly
pro
j
e
ct on parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_union_map_al
i
gn_p
a
rams:
e
xpli
c
itly project on par
a
m
e
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdool
a
ege
i
s
l_pol
y
nomial
.
c: constant
_
on_domain: explicitly
project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
basic_s
e
t_dim_max: explicitly project
o
n para
m
eter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdool
a
ege
isl_basic_se
t
_
compute_ve
r
tices:
e
xplicitly turn cham
b
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
doolaege
bound
.
c: explici
t
ly
c
onvert context int
o
pa
r
ameter
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
p
ip
.
c:
ex
p
l
icitly conver
t
context in
t
o param
e
ter
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
add isl_pw_qpolynomial
_
fol
d
_p
r
o
ject_domain_on_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
o
o
laege
add isl_qpolynom
i
al_project_dom
a
in
_
on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
add isl
_
pw_q
p
olynomial_project
_
o
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolae
g
e
add i
s
l_morph_{dom,ran}_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_basic_set
_
par
a
ms and isl_set_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
add
isl_space_p
a
ra
m
s_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
isl_s
t
re
a
m_
r
ead_set: ac
c
ept par
a
meter dom
a
i
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
g
e
isl_pw_qpolynomial_fol
d
_bound
:
s
i
mplify constructio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
i
s
l_
t
es
t
.
c
: proper
l
y c
r
eate
se
t
sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_m
a
p_range_map: fix space ma
n
ipula
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoo
l
aege
isl_map_range: cons
t
ruct correct space
f
o
r
resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolae
g
e
isl_
b
as
i
c_set_all
o
c:
c
r
e
a
te basi
c
s
e
t in proper
s
e
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
o
olaege
isl_sp
a
ce_wra
p
: properl
y
create set space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
add isl_set_from_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
rename
PW_alloc_ to PW_allo
c
_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoola
e
ge
i
s
l
_pw_*
_
add_disjo
i
n
t
: tr
y
and extend one of the pws
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_spac
e
_ma
t
ch: optimize trivial ca
s
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
a
d
d
i
s
l_map_flat_d
o
m
a
in_produc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolaege
isl_acc
e
ss
_
info_compute_flow
:
al
i
gn parameters of input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
alig
n
parameters of
a
r
g
uments to isl_map_{
l
exmin,l
e
xm
a
x}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
i
sl_space_
a
lign_
p
arams: accept gener
a
l isl_
s
paces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
d
d i
s
l_spac
e
_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
r
e
n
ame isl_
d
im to i
s
l_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
d
o
c
ument i
s
l_dim_m
o
ve
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven V
e
rdoolaege
s
p
l
it
off
declarat
i
ons fr
o
m isl_po
l
y
n
omial
.
h
t
o
s
e
parate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
merge isl_*_dump fu
n
ctio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdool
a
e
g
e
add
isl_set_dim_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Ve
r
doolaege
add isl_ba
s
ic_set_fore
a
ch_l
e
xopt
commit
|
commitdiff
|
tree
2011-09-01
Sven V
e
r
d
oo
l
a
e
ge
add
isl_pw_aff_union_opt
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n Verdoolaege
a
dd isl_pw_aff_union_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoo
l
aege
a
d
d
i
sl
_
aff
_
le_basic
_
se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
S
ven Verdoolae
g
e
isl_qpolynomia
l
_
free: re
t
urn N
U
LL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
S
v
en Ver
d
oolaege
Mer
g
e branch 'main
t
'
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolaege
isl_
q
polynomial_rat_cst: handle NULL space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
S
ven
Ver
d
oolae
g
e
bernstein_co
e
fficient
s
_cell:
h
andl
e
NULL po
l
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven Ve
r
d
o
o
lae
g
e
isl_printer_to_str: intialize buff
e
r to empty string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdoola
e
ge
isl_
m
ap_ins
e
rt: properly ha
n
dl
e
named or nested
spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven Ve
r
doolaeg
e
i
s
l_set_flat_product: call isl_map_range_flat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
Sven Verd
o
o
l
aege
add s
o
me
isl_map
_
plain_is_fixed tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
Sven Verdoolaege
isl_
b
asic
_
map_n
e
g:
g
auss result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
i
s
l_dim_get_tuple_id: complain if tu
p
l
e
has no id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdool
a
ege
isl_dim_get_
d
im_id: complain if
d
i
m has no id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n Verdoolaeg
e
add isl_*_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
add
i
sl_
*
_has_dim
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven
Verdoola
e
g
e
doc: warn about
the
l
i
m
it
e
d use
o
f
identifiers
o
f
i
ndividual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
e
n
V
e
rdool
a
ege
d
o
c
ument is
l
_map_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
en Verdoo
l
aege
rename
i
sl_map_insert to
isl_set_i
n
se
r
t_dims and a
d
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven
V
er
d
oolae
g
e
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2011-08-11
Sven
Ve
r
doolaege
isl_dim_equal: h
a
ndle N
U
L
L input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Ve
r
doolaege
isl_dim_tup
l
e_match:
h
and
l
e NUL
L
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
Sven Verdoolaege
isl_map_is_
s
ubset
:
a m
a
p cannot be as
subset of a m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-06
Sven V
e
rdoolaege
document isl_map_plain_is_fixe
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
S
ven Verdoolaege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-08-05
S
ven
Verdoolaege
isl_set_product: call isl_map
_
r
a
nge_p
r
oduct instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaege
isl_ba
s
i
c
_map_remove_dims: pro
p
erl
y
handle nam
e
d or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sv
e
n Verdoolaege
i
sl_basic_map_dr
o
p: properly handle
n
es
t
ed spac
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sven V
e
r
d
oolaege
isl_access_in
f
o
_
com
p
ute
_
f
low: p
l
ug
m
emory leak on
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sebastian Po
p
doc: re
m
ove
"
struct" in fro
n
t of isl
_
* types
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sven Verdo
o
laege
doc: update pr
o
totype of isl_co
n
straint_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sven Verdoolae
g
e
isl_b
a
s
i
c_map_remove_divs:
h
and
l
e NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdoolaeg
e
i
sl_sc
h
ed
u
le
.
c: handle basic maps
i
ndiv
i
dually
i
n
setup_
c
a
rr
y
_lp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sven
V
erdo
o
l
aege
add isl
_
set
_
reset_tuple
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sven Ver
d
oola
e
ge
Me
r
ge branc
h
'
maint
'
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdoo
l
aege
isl_dim_range_product: dimension names o
f
d
omai
n
s don
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sven Verd
o
o
laege
isl_aff
.
c: fix u
p
copyr
i
ght
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Se
b
astian Pop
do
c
: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoo
l
a
e
ge
isl_aff_floo
r
: reduce coeffic
i
ents of
n
ewly cre
a
ted div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdool
a
ege
add is
l
_aff_mod and isl_
p
w_aff_
m
od
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoo
l
a
e
ge
add isl_int_mul_2exp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next