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_set_plain_cmp
2011-09-18
Sven
V
erdoolaege
a
dd isl_s
e
t_plain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdo
o
lae
g
e
add
i
sl_map_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ve
r
doolae
g
e
isl_str
e
am_
n
e
xt_
t
oken: treat "-0
"
as two tokens
'
-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en V
e
rdo
o
laege
drop "nparam"
argument from
isl_{set,map}_
r
ead_fro
m
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
S
v
en Ver
d
oolae
g
e
d
o
c: document *_move_dims fu
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdoolaege
drop isl_div abstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoo
l
aege
i
s
l_{in,}equality_
a
lloc: take isl_loca
l
_space intead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
rdool
a
eg
e
doc: update exampl
e
code to c
h
ange in return type of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
S
v
en Verdool
a
ege
Merg
e
branc
h
'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sven
V
erdoolaege
provide ful
l
pr
o
totypes f
o
r s
o
me f
u
nc
t
io
n
s with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
S
v
en
Ve
r
doo
l
aege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoola
e
g
e
add isl_set_gist_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoolae
g
e
make isl_pw
_
* object live
in a
map space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
a
dd is
l
_s
p
ace_extend
_
doma
i
n_with_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
add isl_space_is_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
add
isl_local_spac
e
_
i
s_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add isl_lo
c
al_
s
pace_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaeg
e
implement isl_constrain
t
on to
p
of isl_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl
_
vec_n
e
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_aff
.
c:
e
x
tract isl_
l
ocal
_
space_ge
t
_active
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_outp
u
t
.
c
:
drop redundan
t
"set" arg
u
men
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl
_
union_*_allo
c
: pr
o
j
ect sp
a
ce onto parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
e
xpl
i
citly dif
f
ere
n
t
iate
between spaces of map
s
, sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
V
e
rdo
o
laege
allow isl_ids with
n
egative re
f
erence
cou
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verd
o
o
laege
proper imp
l
ementation
of isl_union_map_
f
rom_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
g
e
isl
_
map_
f
rom_domain_and_r
a
ng
e
:
dr
o
p expli
c
it conversion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolae
g
e
isl_se
t
_apply_p
w
_
q
polynomia
l
_fold: drop explicit conv
e
rsion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_tab_basic_
s
et_non_trivial_lexmi
n
:
d
rop ex
p
l
icit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdool
a
ege
isl_tab_pip
.
c:
f
ix whitesp
a
ce
i
ssu
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
isl_set_rea
d
_
from_*:
coerce set-
l
ike maps into
s
ets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_
i
nput
.
c
:
map_read_polylib: conver
t
s
e
t
-like
m
aps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdo
o
laege
isl_input
.
c: obj_re
a
d: start off from
paramet
e
r s
p
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
V
erdoolae
g
e
isl_inpu
t
.
c: repr
e
s
e
nt nes
t
ed tu
p
l
e
as isl_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
isl
_
input
.
c: ob
j
_
read_p
o
ly_or_
f
o
ld: repre
s
ent domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_basic_set
_
multiplicative
_
ca
l
l: explicit
l
y project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
is
l
_pw_qpoly
n
omial
_
fold_bound: explic
i
t
l
y pr
o
ject on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoola
e
ge
isl
_
qpolynomia
l
_bound_on_domain_bernstein
:
explicitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_qpolynomial_bo
u
nd_on_domain_
r
ange: explicitly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoola
e
ge
isl_un
i
on_map_from_map:
exp
l
icit
l
y proje
c
t
on parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_union_map
_
ali
g
n
_
pa
r
ams: expli
c
itly project on parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
isl_poly
n
omial
.
c: constant_on_d
o
main:
e
x
p
l
i
citly
p
roject
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ve
r
do
o
laege
basic_se
t
_di
m
_
m
ax
:
explicitly project on paramet
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
isl_basic_set_compute
_
verti
c
es: e
x
plicit
l
y turn
c
h
a
m
bers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven V
e
rdoo
l
aege
bound
.
c: expl
i
citly convert
c
ontext into parame
t
er s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
pip
.
c
:
e
x
plicitly convert
c
on
t
e
x
t into parameter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
V
e
rdoolaege
add
i
sl_pw_qpolynomial_fo
l
d_pro
j
e
ct_domain_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
dd isl_qpolynomial_project_domain_on_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add
i
sl_pw_
q
polynomial_project
_
out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_mor
p
h_{dom,ran}_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
add isl_basic_set_pa
r
am
s
a
nd i
s
l_set_pa
r
am
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_
s
pace_params
_
al
l
oc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl_strea
m
_read
_
se
t
: accept
parameter
d
omains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
isl_pw_qpolynomial_fold_bound: s
i
mpl
i
fy constructio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl_te
s
t
.
c: prope
r
ly create set space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
sl_map_ran
g
e_m
a
p
:
f
ix space
m
anipul
a
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdoolaege
isl_map_ran
g
e
:
co
n
stru
c
t
c
orrect space
fo
r
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
isl_b
a
si
c
_set_alloc: create b
a
sic set in proper set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_space_wrap: properl
y
create set space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ver
d
oolae
g
e
add
isl_s
e
t_from_pw
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
r
ename
PW_alloc_
to PW_
a
lloc
_
size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
doolaeg
e
i
sl_pw_*_add_disjo
i
nt: try and extend one of the pws
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olae
g
e
isl_spa
c
e_
m
a
t
ch: optimize triv
i
al c
a
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
add isl_map_flat
_
domain_prod
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdoolaeg
e
isl_access_inf
o
_
c
ompute_flow: alig
n
parameters of input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
a
l
i
gn parame
t
ers of argume
n
ts to isl
_
map_{lex
m
in,lexmax}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_space_alig
n
_param
s
:
a
c
c
e
pt gen
e
ral isl
_
spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rdoo
l
aege
add isl_spa
c
e
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
re
n
ame isl
_
dim to isl_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdool
a
ege
d
o
c
u
ment isl_dim_move
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
ven Verdoolaege
split off declaration
s
from
i
sl
_
po
l
ynomial
.
h to sepa
r
ate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
v
e
n
V
erd
o
olaeg
e
merge isl
_
*_dump functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdo
o
lae
g
e
ad
d
isl_
s
et_
d
im_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verd
o
o
la
e
ge
add i
s
l_ba
s
ic_set_fore
a
ch_lexopt
commit
|
commitdiff
|
tree
2011-09-01
Sven Ver
d
oolaege
ad
d
isl_pw_aff_union_opt
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
Verdoolaege
a
d
d
isl_
p
w_aff_union_m
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n Verdoolaege
add
is
l
_aff_le_ba
s
ic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
v
en V
e
rdoolaeg
e
isl_qpolynomi
a
l_free: retu
r
n N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
S
v
e
n Verdoolaege
M
erge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-08-31
Sve
n
V
erdoolae
g
e
i
s
l_
q
poly
n
omial_rat_
c
st: handle N
U
LL spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
S
v
en Ver
d
oolaege
bernst
e
in_coefficients_
c
ell: han
d
l
e
NUL
L
poly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven
Ve
r
doolae
g
e
isl_printer_to_str: intia
l
ize buffer to emp
t
y
s
tring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Ve
r
d
o
o
laege
isl_map_insert: p
r
oper
l
y handle named or nest
e
d
spac
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
S
ven
Ve
r
dool
a
e
ge
isl_set_f
l
at_prod
u
ct:
c
al
l
isl_map_r
a
nge_flat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sven Verdoolaege
add some isl_
m
a
p
_plain_i
s
_fixed t
e
st
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
S
v
en Verdoolaeg
e
isl_ba
s
i
c
_
map_neg:
g
auss
re
s
ul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
i
s
l
_
dim_get_tu
p
le_id: complain if
tup
l
e has no id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
isl_dim_get_dim_id: complain if di
m
has no id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
erdo
o
l
aege
add isl_*_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
v
en Verdoolaeg
e
add isl_*_has_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
v
e
n Verdool
a
ege
doc: warn about the limited use of identi
f
iers of indiv
i
du
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Ve
r
dool
a
ege
docum
e
nt
i
s
l_
m
ap_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven
V
erdoo
l
aege
rename is
l
_map_i
n
sert to isl_set_ins
e
rt_dims a
n
d add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven V
e
rdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-08-11
S
v
en Ver
d
oolaege
isl
_
dim_e
q
ual: handle NUL
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaege
isl_dim_tuple_match: ha
n
dle NU
L
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Sven
V
erdoolaege
isl_map_i
s
_subset: a map
c
annot be a
s
su
b
set of a
m
ap
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-06
Sven Verdoolaege
document
i
sl_map_pl
a
i
n_is_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sve
n
Verd
o
ola
e
g
e
Merge br
a
nch 'ma
i
n
t
'
commit
|
commitdiff
|
tree
2011-08-05
Sven Verd
o
o
laege
i
s
l_set_p
r
odu
c
t: call
isl_map
_
ra
n
g
e
_product instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verd
o
olaege
isl_basi
c
_map_remove_dims: pro
p
erly handle name
d
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next