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_extend_domain_with_range
2011-09-03
Sve
n
Verdoolaege
add isl_space_e
x
te
n
d_domain_with
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
add isl_
s
pace
_
is_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
add isl_l
o
cal
_
space_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolae
g
e
add isl_local_s
p
ace_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
imple
m
ent
isl_constraint on t
o
p of isl_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoola
e
ge
add is
l
_vec_
n
eg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
isl_aff
.
c: extract isl_local
_
space_get_active
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl_outp
u
t
.
c
:
drop r
e
du
n
d
ant "set" argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_union_*_a
l
loc: project space onto parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
explici
t
ly differentiate between spaces of maps, set
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Ver
d
oolaeg
e
allow isl_ids wit
h
ne
g
ative reference counts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
prop
e
r
i
mplementation
o
f is
l
_union_map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
isl
_
m
a
p_from_domain_and_range: drop explicit conve
r
sion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
o
laege
is
l
_set_ap
p
l
y
_
p
w_qpolynomial_f
o
ld: drop explicit
c
onversion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_tab_ba
s
ic_se
t
_non_trivial_lexmin
:
dro
p
e
x
plicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rd
o
o
laege
isl_tab_pip
.
c
:
f
ix whites
p
ac
e
issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_set_read_from_*: coerce
set-like maps into sets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
oolaege
isl_i
n
put
.
c:
map_re
a
d_polylib: convert
s
e
t-like maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ve
r
do
o
laege
isl_i
n
put
.
c
: obj_
r
ead: start off from
parameter space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
is
l
_
input
.
c: represe
n
t ne
s
ted tuple as isl
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_input
.
c
:
ob
j
_read_poly_or_fold: repr
e
sent domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl_basi
c
_set
_
multiplic
a
tive_call: explicitly pro
j
ect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdo
o
laege
isl_pw_qpolynomi
a
l_fold_bound: expl
i
c
i
t
l
y pro
j
ect
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_qpolynom
i
a
l_bo
u
nd_on_domain
_
bernstein: ex
p
l
i
c
it
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oo
l
a
e
ge
isl_qpolynom
i
al_bound_on_domain_range
:
explicitly pr
o
ject
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_
u
nion_map_from
_
map:
ex
p
licitly project o
n
parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
i
s
l
_union_
m
ap_align_params: expli
c
itly project on
p
aramet
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoo
l
a
eg
e
i
s
l
_p
o
lynomia
l
.
c: constant_on_domain: e
x
plici
t
ly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven V
e
rdoolaege
basi
c
_set_dim_max:
explic
i
tl
y
projec
t
o
n
paramet
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rdoo
l
aege
i
s
l
_
ba
s
ic_set_compute_vert
i
ce
s
: explicitl
y
turn chamber
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
o
la
e
ge
bound
.
c
:
exp
l
icit
l
y convert cont
e
xt into parameter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
pip
.
c: expli
c
itly conver
t
context into paramete
r
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
add is
l
_pw_q
p
oly
n
omia
l
_f
o
ld_project_dom
a
in_on_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
V
erd
o
olaege
add isl_q
p
oly
n
omia
l
_project_do
m
ai
n
_on_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoo
l
aege
a
d
d i
s
l_pw_qpolynomial_project_
o
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verd
o
olaege
add isl
_
morph_{dom,r
a
n}_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolae
g
e
add isl_basi
c
_s
e
t
_params and isl_set_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdool
a
e
g
e
add
i
sl_space
_
p
arams_a
l
loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
i
sl_str
e
am_r
e
ad
_
set: acc
e
pt parameter domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
i
s
l
_pw_q
p
olynomial_fold
_
bound: simplif
y
c
onstruction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolae
g
e
isl_
t
est
.
c: prop
e
rly create set space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_map_
r
a
n
ge_map: fix space
manipulation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
i
s
l_map_
r
ange: co
n
str
u
c
t co
r
rect spa
c
e for result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_basic_set_allo
c
: cr
e
ate ba
s
i
c
set in p
r
o
p
er set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oo
l
aege
isl_s
p
a
c
e_wr
a
p: properly create
s
e
t
spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erd
o
olaege
add i
s
l_set_from_pw_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdo
o
laeg
e
renam
e
PW_
a
l
l
oc_ to PW_al
l
oc_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
V
erdo
o
l
aege
isl_pw_*_add_disjoint
:
try and extend one o
f
the pws
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_s
p
ace_matc
h
: optimize tr
i
vial cases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
add isl_map_flat_domain_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l_access_info_compute_fl
o
w: ali
g
n
pa
r
amet
e
rs of i
n
put
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
a
ege
align
p
arameter
s
of arguments to
isl_map_{
l
exmin,l
e
xmax}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
ola
e
ge
is
l
_spac
e
_align
_
params: accept general isl_space
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
ad
d
isl_space_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
r
ename isl_di
m
to i
s
l_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verd
o
olaege
document isl_dim_m
o
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdool
a
eg
e
s
plit off declarations
from is
l
_polyn
o
mial
.
h to
s
e
parate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
merge isl
_
*_dump func
t
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verd
o
o
l
aege
a
dd
i
sl_set_dim_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n V
e
rdoolaege
add
isl_basic
_
set_forea
c
h_le
x
o
pt
commit
|
commitdiff
|
tree
2011-09-01
Sven
Verdoolaege
add isl_pw_aff_union_opt
commit
|
commitdiff
|
tree
2011-09-01
S
v
en
Verdoolaege
add
i
s
l
_pw_aff_union_m
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoola
e
ge
add
isl
_
aff_le_ba
s
ic_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
v
en
Verd
o
olaege
isl_qpolynomial_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven V
e
rdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-08-31
S
v
en Verdoo
l
aege
isl
_
qpolyno
m
ial_rat_
c
st: handle NULL
spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
S
v
en Ve
r
doolaege
bernste
i
n_coefficients_cel
l
: handle
N
U
LL poly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sv
e
n Verdoolaege
isl_printer_t
o
_str: intialize buffer
t
o empty string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven V
e
rdoola
e
ge
isl_ma
p
_ins
e
rt: properly handle named or
n
e
sted spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdool
a
e
ge
i
sl_s
e
t_
f
lat_prod
u
ct: call isl_map_range_flat_pro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sven V
e
rdoolaege
add some isl_
m
ap_plain_
i
s_fixed t
e
s
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sven V
e
r
d
oola
e
g
e
isl_basic_
m
a
p
_neg: gauss result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
isl_dim_get_tuple_id: compl
a
in if tuple has
n
o id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdool
a
eg
e
isl_dim_get_dim
_
id: com
p
l
a
in if dim has n
o
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
v
en Verdoolaege
add
i
sl_*_has_
t
uple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
erdoolaege
add
i
s
l
_*_has_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
Verdoola
e
ge
d
o
c
:
warn abo
u
t the lim
i
t
e
d
u
se of identifiers
of individual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaege
document
i
sl
_
map_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
S
ven V
e
rdoolaege
re
n
ame isl
_
map_in
s
e
r
t
to isl_set
_
insert_dims and add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
S
ven Ve
r
doolaege
M
e
rge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-08-11
Sven V
e
rdoolaege
isl_
d
im
_
equal: ha
n
dle NULL inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sv
e
n Ver
d
oolaege
isl_dim_t
u
ple_m
a
t
c
h: ha
n
dle NULL
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Sven V
e
rdool
a
ege
isl_m
a
p_is_subset:
a
m
ap cannot b
e
as subse
t
of a map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-06
S
ve
n
Verdoola
e
ge
document isl
_
map_pl
a
in_
i
s_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaeg
e
Merge br
a
n
ch 'ma
i
nt
'
commit
|
commitdiff
|
tree
2011-08-05
Sven Verd
o
olaege
isl_set_pro
d
uct: call isl_map_rang
e
_product instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdo
o
laege
i
sl_ba
s
ic_map_remov
e
_dims: proper
l
y
h
a
ndle named or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaeg
e
is
l
_bas
i
c_map_drop: properly h
a
ndle nested spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoo
l
a
ege
i
s
l_access_info_comp
u
te_flo
w
: plug
m
emory lea
k
on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
Sebastian Pop
doc: remo
v
e "struct" in fro
n
t
of isl_* typ
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
S
ven Verdoolaege
doc: update prot
o
typ
e
of isl_constra
i
nt_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
Sven Ve
r
d
o
olaege
isl_basic_map_r
e
move_divs: ha
n
d
le NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Sven V
e
rdoolaege
i
s
l_
s
che
d
ule
.
c: handle basic ma
p
s indivi
d
ually in se
t
up_carry_lp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Sven Ver
d
oolae
g
e
add isl_set_reset_t
u
ple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-08-03
Sven Verd
o
olaege
isl
_
dim_range_product: dimensio
n
names of d
o
ma
i
ns do
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdoolae
g
e
i
s
l_aff
.
c: fix
u
p co
p
yright
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Seba
s
tian
Pop
doc: f
i
x typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoo
l
aege
isl_aff
_
f
l
oor
:
reduce c
o
efficients of newly creat
e
d
di
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Verdoolaeg
e
a
d
d isl_
a
ff_mod and isl_pw_af
f
_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next