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
export isl_pw_aff_intersect_domain
2011-09-27
Sven Ver
d
oolaege
expo
r
t isl_
p
w_af
f
_intersect_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Ve
r
doolaege
export isl_pw
_
aff_plain_i
s
_
e
qual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
add gene
r
ic isl_pw_*_set_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
aege
isl_set_in
t
e
rsect: proper
l
y
h
and
l
e
i
ntersection with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-24
Sv
e
n V
e
r
d
oola
e
ge
is
l
_access_i
n
fo_compute_flow:
a
lign parameters of
i
np
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-23
S
ven Verdoola
e
ge
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-09-23
Sve
n
Ver
d
oolaege
fix is
l
_s
e
t_involves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoolaege
a
d
d isl_set_plain_is_fixe
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
a
d
d isl_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
a
e
ge
add isl_space_set_from_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ven V
e
r
dool
a
ege
Merge b
r
anch 'main
t
'
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n
Verdoola
e
ge
isl_qpolynomial_morph: properly
handle
d
eno
m
inat
o
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add isl_mat_diag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdoolaege
i
sl
_
tab_pip
.
c: s
o
l
_for_add:
c
or
r
ectly
set denominator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Verdoola
e
ge
isl_tab_pip
.
c
:
sol
_
map_add:
fi
x
double
f
ree on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoo
l
aege
i
s
l_stream: accept "==" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
V
erdoolaege
add isl_union_pw_*_pl
a
in_i
s
_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n V
e
rdoo
l
aege
add isl_pw_
*
_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
add isl_set
_
plain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ver
d
oolaege
add isl_
m
ap
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
isl_str
e
am
_
next_token:
t
reat "-0"
as
two tokens '-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
rdoolaege
drop "npar
a
m" argument fr
o
m isl_{
s
et,
m
ap}_read_fro
m
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verd
o
olaege
doc: document *_move_d
i
m
s
functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdoolaege
drop isl_di
v
abstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaeg
e
isl_{in,}equality_alloc
:
t
ake isl_local_space int
e
ad
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en V
e
rdoolae
g
e
d
oc: update exa
m
p
l
e
code
to change in return type of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sve
n
V
e
rdool
a
ege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoola
e
ge
p
r
ovide full prot
o
ty
p
es for
some
f
unctions
w
ith
n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven
Verdoolaege
d
o
c
: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven V
e
rdoola
e
g
e
add isl_s
e
t_gist_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoo
l
a
e
ge
make isl
_
pw_*
o
b
ject live i
n
a map spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
ad
d
isl_space_
e
xtend_domain_
w
ith
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
add
isl_spac
e
_
i
s
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Verdoolaege
add i
s
l_local_space_
i
s
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolaege
a
d
d isl_local_space_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
o
l
a
ege
implement i
s
l_co
n
st
r
aint
on to
p
o
f isl_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
r
doolaege
a
dd isl_vec_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_aff
.
c: ext
r
act isl_lo
c
al_space_get_ac
t
ive
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdo
o
la
e
ge
is
l
_outpu
t
.
c: drop redundant "
s
et" arg
u
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aeg
e
is
l
_union_*_alloc: proj
e
ct space onto param
e
te
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
expli
c
itly different
i
ate b
e
tween spaces of map
s
, set
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoo
l
aege
allow isl_ids
wit
h
negative referen
c
e c
o
unts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
proper im
p
lementati
o
n of isl_union_map_from_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ve
r
doo
l
aege
isl_m
a
p_
f
rom_do
m
ain_an
d
_range:
drop explicit conversion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
i
sl_
s
et
_
apply_
p
w_qpol
y
nomial_
f
old: drop explicit
conversion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
Verdoolaege
is
l
_tab_basic_set_non_tri
v
ial_le
x
min: drop explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl
_
tab_pi
p
.
c: f
i
x whitespace issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_
s
et_read_f
r
om_*: coerce set-
l
ike maps into sets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
V
e
r
doo
l
aege
isl_i
n
put
.
c: map_read_polylib: convert
s
e
t
-like maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolae
g
e
isl_in
p
ut
.
c
:
ob
j
_
r
ead: start off fro
m
par
a
meter space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
is
l
_input
.
c:
r
epresent nes
t
ed tuple as
isl_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
is
l
_inp
u
t
.
c: o
b
j_read_poly_or_fo
l
d: repres
e
nt domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoo
l
a
e
ge
isl_b
a
sic_set_multi
p
l
icative_call
:
expli
c
itly proj
e
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolae
g
e
i
s
l_
p
w_qpolynomial_fo
l
d_bou
n
d: explicitly projec
t
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Ver
d
oolaege
isl
_
qpolynomial_b
o
un
d
_on_domain_bernstei
n
: explic
i
tly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_qpo
l
ynomial_bound
_
o
n
_d
o
main_
r
a
n
ge: ex
p
licitly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verd
o
olaege
isl_union_
m
ap_from_map:
expli
c
itly p
r
oje
c
t on para
m
et
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Ve
r
doolaege
isl_union_map_a
l
ign_params: explicitly project
o
n parame
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
V
erdoolaege
i
s
l_polyn
o
mia
l
.
c:
c
o
nstant_on_d
o
main: e
x
pl
i
citly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laeg
e
basic_set_d
i
m_max:
e
x
p
licitly project on
p
arameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
isl_basic_set_compute_v
e
rtice
s
: ex
p
licitly t
u
rn chambers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n V
e
rdoolaeg
e
boun
d
.
c: ex
p
licitly c
o
n
v
e
rt contex
t
into par
a
meter
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ve
r
d
o
o
l
a
e
ge
pip
.
c: explicitl
y
conv
e
rt c
o
ntext into parameter
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdo
o
laege
add isl
_
pw_qpol
y
nomial_fol
d
_project_doma
i
n
_on_par
a
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_qpo
l
y
nomial_projec
t
_domain
_
on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
add
i
sl_pw_qpol
y
nomial_
p
roject_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
add isl_morph
_
{dom,ran
}
_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
add isl_basic_set_pa
r
a
m
s and isl_set_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
o
ol
a
eg
e
add isl_s
p
ace_params_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
isl_s
t
ream_read_set: accept
p
arameter domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoo
l
aege
i
s
l_pw_qp
o
lyno
m
ial_
f
old_b
o
u
n
d
:
sim
p
lify constructi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
do
o
laeg
e
isl_test
.
c: pro
p
erly
cre
a
t
e set space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
sl_map_
r
ange_ma
p
: fix space manip
u
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
i
sl
_
map_range: co
n
st
r
uct correct s
p
ace for resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
i
sl_b
a
sic_set_a
l
loc: c
r
e
a
te b
a
sic set
in pro
p
er set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
is
l
_space_wrap: prop
e
rly create
set sp
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoola
e
g
e
add i
s
l_se
t
_from_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Verdool
a
ege
renam
e
PW_alloc
_
to PW_al
l
oc
_
size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdo
o
laege
isl_pw_*_add_disjoint:
try and extend on
e
of the pws
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolaege
is
l
_space_match: optimize trivial cases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_map_fla
t
_domain_produc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl
_
a
ccess_info_compute_flow: align parameter
s
of input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
er
d
oolaege
al
i
g
n
parameters of argum
e
nt
s
to isl_m
a
p_{lexmin,lexmax}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
i
sl
_
space_align_p
a
rams
:
accept
general isl_spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdoolaege
add
i
sl_space_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
rename isl_
d
i
m
t
o
i
sl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdo
o
la
e
ge
document isl_dim_move
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
s
p
lit
o
ff declara
t
ions
from i
s
l_polynomial
.
h to separa
t
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven
V
erdoola
e
ge
merge isl_*_dump
f
u
n
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven
V
erdoolaeg
e
add isl_s
e
t_dim_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n Verdool
a
ege
a
d
d isl_ba
s
ic_set_fo
r
e
a
c
h_lexopt
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
add isl_pw_aff_u
n
i
o
n
_opt
commit
|
commitdiff
|
tree
2011-09-01
Sven
V
erdoolaege
ad
d
i
sl_pw
_
aff
_
u
nion_
m
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
Verdoolaege
ad
d
isl_aff_le_basic_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
is
l
_qp
o
l
ynomial_free:
r
etur
n
NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolaege
Merg
e
branch
'
maint'
commit
|
commitdiff
|
tree
2011-08-31
Sven Ve
r
doolaege
isl_qpolynomial_rat_cst: handle NUL
L
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven Verd
o
olaege
bernstein_c
o
efficients_
c
ell: hand
l
e
NULL poly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Ver
d
o
o
l
a
e
ge
isl_printer_to_st
r
: intialize buffer to empty string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Ver
d
oola
e
ge
isl_map_inser
t
:
pr
o
perly ha
n
dle named or n
e
sted
s
pa
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next