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_map_dim_max
2011-10-02
Sven V
e
rdoolaege
add isl_map_
d
im
_
max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verd
o
olaege
pri
v
ate
l
y ex
p
or
t
isl_ba
s
ic_map_foreach
_
lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
Ve
r
d
o
olaege
ad
d
isl_b
a
sic_map_elim
i
nate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoola
e
ge
add isl_b
a
sic_
m
ap
_
has
_
di
m
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolae
g
e
M
erge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-10-01
Sven Verdoo
l
aege
isl
_
b
asic_map_eliminate_vars: gaus
s
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Ver
d
ool
a
ege
add
i
sl_aff_se
t
_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verd
o
olaege
add isl_local_space_set_dim_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
ven Ver
d
oolaege
add isl_ma
p
_find_dim_by_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
a
d
d isl_space_fin
d
_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
exp
o
r
t
i
s
l_pw_
a
ff_intersect_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sv
e
n
V
e
r
d
o
olaege
e
xport is
l
_p
w
_aff_plain_i
s
_eq
u
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdool
a
ege
a
d
d
gen
e
ri
c
isl_pw_*_set_tupl
e
_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaege
i
s
l_
s
et_inters
e
ct: properly h
a
ndle inte
r
section with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
Sven Verdoolaeg
e
isl_access_info_comp
u
te
_
flow: align paramet
e
rs of
input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
Sven
V
erdo
o
laege
Merge
b
ranch 'm
a
int'
commit
|
commitdiff
|
tree
2011-09-23
Sven Ver
d
oolaege
fix isl
_
set_involves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
ad
d
isl_
s
et
_
plain_
i
s_
f
ix
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
e
r
d
o
o
l
a
ege
add is
l
_
s
e
t
_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add
i
s
l_sp
a
ce_set_from_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
oolaege
isl_q
p
olynom
i
al_mo
r
ph: prope
r
ly handle denomi
n
a
t
ors
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n V
e
rdoola
e
ge
add isl_mat_d
i
ag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
V
erd
o
olaege
isl
_
tab_pip
.
c: sol_f
o
r
_
add: correctly set denomina
t
or
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdoolae
g
e
is
l
_tab_pip
.
c: sol_map_add: fix double free on e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ver
d
oolaege
isl_st
r
eam: acce
p
t
"==" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n
Verdool
a
ege
add isl_u
n
ion_pw_*_plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolae
g
e
add isl_pw_*
_
plain_is
_
equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n Verdo
o
laege
add
isl_set_p
l
ain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ve
r
d
oolaege
a
d
d isl
_
map_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
is
l
_st
r
eam
_
n
e
x
t_token: trea
t
"-
0
" as two to
k
ens '-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolae
g
e
drop "npa
r
am" argument from isl_{
s
et,map}_read
_
from
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
Sven Ve
r
d
o
ola
e
ge
doc
:
d
ocument *_move_dims f
u
nctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
drop isl_div abs
t
raction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
i
sl_{in,}eq
u
ality_allo
c
:
t
ake
i
sl_loc
a
l
_space int
e
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdool
a
ege
doc: update
e
x
ample code to
change
in ret
u
r
n
ty
p
e
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Ve
r
doolaege
M
e
rge
branch 'maint'
commit
|
commitdiff
|
tree
2011-09-09
S
v
en
V
erdoolaeg
e
provide full
p
rototypes for some functions wit
h
no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verd
o
olaege
doc: 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_set_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Verdoolae
g
e
m
ake i
s
l_pw
_
* o
b
ject
liv
e
in a map space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
add
isl_space_extend_do
m
ain_wi
t
h_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoo
l
aege
a
dd isl_space_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
d
d isl_
l
ocal_sp
a
ce_
i
s
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoola
e
g
e
add isl_local_space_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
impleme
n
t isl_con
s
traint on
t
op of isl_
v
ec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolae
g
e
ad
d
isl_vec_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolaege
isl_af
f
.
c
: extract isl_lo
c
al_sp
a
c
e_get
_
active
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdool
a
ege
i
sl_ou
t
put
.
c: drop redundant "
s
e
t" argum
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
V
erd
o
o
l
aege
isl_u
n
ion_*_all
o
c: project space o
n
to
parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoola
e
ge
explicitly differentiate between spaces of maps, set
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
allow isl_
i
ds w
i
t
h negative r
e
feren
c
e counts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
pr
o
per
i
mplemen
t
a
t
ion of isl_union_map
_
from_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoola
e
ge
isl_
m
ap_from_do
m
ain_and_range: drop exp
l
icit convers
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoo
l
ae
g
e
isl
_
se
t
_ap
p
ly_pw_qpolyn
o
mia
l
_fold: drop
e
x
plicit
convers
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verd
o
ola
e
g
e
isl_tab_bas
i
c_set_non_triv
i
a
l_l
e
xmin: d
r
op explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoola
e
ge
i
s
l_tab_pip
.
c: fix whi
t
espace
i
ssue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
do
o
laege
isl_se
t
_read_from
_
*:
c
oer
c
e
set-
l
ike maps into
s
e
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaeg
e
isl_in
p
ut
.
c
: map_read_polyli
b
:
c
onv
e
rt
s
et-like ma
p
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoo
l
aege
isl_
i
nput
.
c: o
b
j_re
a
d:
s
tart
of
f
from
parameter space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl
_
input
.
c
:
represent n
e
sted tu
p
le as
i
s
l
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ver
d
oolaege
isl_i
n
put
.
c: obj_read_poly_or_fold: represent
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_basic_set_multiplicati
v
e_call: explicitly p
r
o
j
ect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_pw_qpo
l
y
no
m
ial_fold_bound: expl
i
citly p
r
oject on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_qpolynomial_bound_on_domain_
b
ernstein: explicit
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n V
e
rdool
a
ege
isl_qpolyn
o
mial_bound_on_domain_range
:
expl
i
citly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_union_map_f
r
om_map:
explicitly project
on paramet
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
i
sl_
u
n
ion
_
map_align_p
a
rams: ex
p
li
c
itly p
r
oject on par
a
m
e
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoo
l
aege
isl
_
polynomial
.
c: cons
t
a
n
t_on_domain:
e
xplicit
l
y pr
o
ject
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
basic_set
_
d
im_max: explicitly project o
n
parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_basi
c
_set_comput
e
_ve
r
tices: exp
l
icitly
t
u
r
n c
h
ambe
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
bound
.
c: exp
l
icitly
c
onver
t
conte
x
t into pa
r
ame
t
er set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
pip
.
c: explicitly con
v
ert context into parameter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdoolaeg
e
ad
d
i
sl_pw_qp
o
lyno
m
ial_fold_project_domain_on_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Ve
r
d
o
olaege
a
d
d isl_qpolynomial_project_do
m
ain
_
on
_
p
ara
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
add isl_pw_qpolynomi
a
l_proj
e
ct_o
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
add i
s
l_mor
p
h
_
{
d
o
m,ran}_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add isl
_
basic
_
set_params and isl_set_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
a
d
d isl_space
_
p
a
rams_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl_stream_read_set: ac
c
e
p
t
parameter domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl_pw_
q
polynomial
_
fold_
b
ound: simplify con
s
truction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoo
l
aege
isl_test
.
c
:
p
r
operly create
s
et s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
d
o
olaege
isl_map_r
a
ng
e
_
m
ap: fix space manipul
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl
_
map_rang
e
: cons
t
ruct correct space for
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
i
s
l_basic_set_alloc: create b
a
sic set in proper set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_space_wrap: properly create set spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
add isl_set_from_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
rename PW_alloc_ to
PW_all
o
c_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
dool
a
e
g
e
isl_pw_*
_
add_disjoint:
try and ext
e
n
d
o
ne of the pws
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_space_match: opti
m
ize
t
rivi
a
l cases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
erdoo
l
aege
add isl_map_flat_domain_p
r
oduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
isl_access_i
n
fo_co
m
pute_flow:
ali
g
n
par
a
meters of i
n
p
u
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
d
o
olaege
align paramete
r
s of argumen
t
s to isl_
m
ap_{le
x
min
,
lexmax}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_space_align_params: acce
p
t gen
e
ral isl_s
p
a
c
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
add isl_space_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoo
l
aege
rename isl_dim to is
l
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n Ver
d
oola
e
ge
do
c
u
ment
i
sl_di
m
_m
o
ve
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
Verdoolaege
split off
declarations
f
rom isl_polynom
i
al
.
h to separate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
m
e
rge isl_*_
d
ump functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven
V
erdoo
l
ae
g
e
add isl_set_
d
im_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next