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_pw_*_get_tuple_name
2011-10-02
S
v
en Verdoolaege
add i
s
l_pw_*_
g
et_tup
l
e_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_ba
s
ic_
m
ap_from_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
add isl_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
rdoo
l
aege
isl_pw_templ
.
c
:
r
ename a
l
ign_params_pw_pw_and
t
o
i
nclude PW
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoola
e
ge
add i
s
l_map_
d
im
_
max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolae
g
e
p
rivatel
y
e
x
p
ort i
s
l_bas
i
c
_map_for
e
ach_
l
exopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaeg
e
a
d
d
i
sl
_
ba
s
ic_map_el
i
minate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaege
a
dd isl_basic_map_h
a
s
_
d
i
m_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en
Verdoo
l
aege
Mer
g
e b
r
anch 'maint'
commit
|
commitdiff
|
tree
2011-10-01
Sve
n
Verdoolae
g
e
i
sl_
b
asic_map_e
l
iminate_vars: gauss result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoo
l
aege
add isl_aff_set_di
m
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sve
n
Ver
d
oolaege
a
d
d isl_loca
l
_s
p
ace_s
e
t
_
dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Ve
r
do
o
laege
add isl_m
a
p_find_d
i
m_b
y
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
r
doolaege
add isl
_
space
_
f
ind_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verd
o
olaege
export isl_pw_aff_intersect_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
ven Verdo
o
laege
exp
o
rt
i
sl_p
w
_aff_plain_is_equa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoola
e
ge
a
d
d ge
n
er
i
c
i
sl_pw
_
*_set_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
ool
a
ege
is
l
_se
t
_
interse
c
t:
p
r
operly handle inters
e
ctio
n
with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
Sven Verd
o
o
lae
g
e
isl_
a
ccess_info_comp
u
te_fl
o
w
:
align p
a
rameters of inpu
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
S
ven
Verdoolaege
Me
r
ge branch 'main
t
'
commit
|
commitdiff
|
tree
2011-09-23
Sven Ver
d
oolaege
fix
i
sl_set_i
n
volve
s
_
di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add is
l
_set_plain_is_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaeg
e
a
d
d
i
sl_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doolaege
add isl_sp
a
ce_set_from_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
e
r
do
o
l
a
e
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdoolaege
isl_qpol
y
n
o
mial_m
o
r
p
h: properly hand
l
e
d
e
nominators
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven
V
erdoolaeg
e
add isl_mat_d
i
ag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
laege
isl_t
a
b
_
p
ip
.
c: sol_fo
r
_
a
d
d: correctly set denominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
aege
isl_tab_pip
.
c: sol_map_add: fix double free on
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ve
r
doolaege
i
s
l_stream:
accept "=="
t
o
ken
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ver
d
ool
a
ege
a
dd is
l
_union_pw_*_plain_
i
s_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven V
e
rdoolaege
add isl_pw_*_p
l
ain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven
Verdoolaege
a
dd
isl_set_pl
a
in_
c
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
add isl_m
a
p_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoo
l
aege
isl_strea
m
_
ne
x
t_toke
n
:
tre
a
t "-0" as two
t
okens '-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Ver
d
oolaeg
e
drop "nparam" ar
g
u
ment from isl_{set,m
a
p}_read_from_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verdoolae
g
e
doc: document *_m
o
v
e_dims func
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
drop isl_div abstracti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
ven Verdoolaege
isl_{in,
}
equality_alloc
:
t
a
ke is
l
_local_space
i
nt
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n Verdoolaege
doc
:
u
pdate example code
t
o change in return
type of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven
V
erdoolae
g
e
M
erge b
r
a
n
c
h 'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sv
e
n
V
erdoolaege
provide f
u
ll pr
o
t
o
types fo
r
some functi
o
ns with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
S
ve
n
V
e
rdoolaege
do
c
:
fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
add isl_set_gist_p
a
r
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoo
l
aege
make isl_pw_* obje
c
t live in a map
s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
add i
s
l_space_
e
xtend
_
domain_with_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
add isl_
s
pace_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add
i
s
l_local_space_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoo
l
a
ege
ad
d
isl_local_space_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
implement isl_constraint on top of isl
_
vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
add
isl_vec_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolaege
is
l
_aff
.
c:
extr
a
c
t
isl_lo
c
al_space_
g
et_acti
v
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolae
g
e
i
sl_output
.
c: drop redundan
t
"set" argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
isl_union_
*
_a
l
loc: p
r
oj
e
ct space
o
nto pa
r
ameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
Verdoolaege
explicitly
d
ifferentiate between
s
paces
o
f map
s
, se
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
o
o
laege
allow isl_id
s
with negative r
e
ference count
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
proper
i
m
plemen
t
ation of isl_unio
n
_ma
p
_
f
r
o
m_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_m
a
p_
f
rom_doma
i
n_and_ra
n
ge
:
drop explicit con
v
e
r
sion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
i
sl
_
set_apply_pw_qpolynomial_f
o
ld: drop
explicit conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl_tab_basic_set_
n
on_trivial_lex
m
in: dr
o
p explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_tab_pip
.
c: f
i
x wh
i
te
s
pace issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoola
e
ge
i
s
l_set_
r
ead_f
r
o
m_*:
c
oerce se
t
-like
m
ap
s
into sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdoolaege
is
l
_
i
n
put
.
c: m
a
p
_
rea
d
_polylib:
convert set-lik
e
ma
p
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaeg
e
is
l
_input
.
c: obj_read: start
o
ff from parame
t
er
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
i
s
l_input
.
c: represent nested t
u
ple as
i
sl_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_input
.
c
:
obj_read_poly_
o
r_fold: r
e
pres
e
nt domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoola
e
ge
isl
_
b
asic_s
e
t
_multiplicative_cal
l
: explicitly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
isl_pw_qpol
y
nomial_fold_bound: explic
i
tly project on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_qpolynomial_bound_on_domain_
b
ernstein
:
exp
l
ic
i
tly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ve
r
doolaege
isl_qp
o
lynom
i
al_bou
n
d_on_domain_range:
e
xplicitly
project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl_union_
m
ap_f
r
om_map: ex
p
licitly proje
c
t on parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl_union_
m
a
p_align_params
:
expl
i
citly project on parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
erdoolaege
isl_polyn
o
mial
.
c: constan
t
_on_domain: e
x
pli
c
itly proj
e
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdo
o
laege
basic_
s
e
t_di
m
_max:
explic
i
tly project on parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
is
l
_basic_
s
e
t_compute_vertices: exp
l
icitly
turn chambers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdoolaege
bound
.
c
:
explicitly conver
t
c
ontext into para
m
eter
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
Verdoolae
g
e
pip
.
c: explicitly convert cont
e
xt into
p
ara
m
e
t
er
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
add is
l
_pw_qpol
y
nomial_
f
o
l
d_pro
j
ect_doma
i
n_on_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ve
r
doolaege
add i
s
l_qpolynomial_project_
d
omain_
o
n_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
d
oolaege
add isl_pw
_
qpo
l
ynomial_project_ou
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_morph_{dom,ran
}
_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
l
aege
add isl_basic_se
t
_params and isl_set_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
a
e
ge
add isl_spa
c
e
_params_a
l
loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_st
r
e
am_read_set: accept parameter domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_pw_qpoly
n
omi
a
l_fold_bound: simpli
f
y
construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_
t
est
.
c: pro
p
e
rly
c
r
eate set s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoo
l
aege
isl_map_ran
g
e_
m
ap: fix
space
m
a
nipulation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdo
o
laege
isl_map_range: const
r
u
ct cor
r
ect sp
a
ce
for re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erd
o
olae
g
e
is
l
_basic_s
e
t
_
alloc: c
r
e
ate bas
i
c set in proper se
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
is
l
_
space_wrap: pr
o
perl
y
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
a
ege
rename PW_alloc_ to PW_allo
c
_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_pw_*_add_disjoint: t
r
y and extend one of t
h
e pws
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ve
r
doo
l
a
e
g
e
isl_space_
m
atch: optimize t
r
ivial cases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaeg
e
add isl_map_flat_domain_
p
roduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
isl_access_
i
nfo_compute_flow: al
i
gn
param
e
ters
o
f
input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
align pa
r
ameters of arg
u
ments
to isl_map_
{
lexmin,lexm
a
x}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_
s
pa
c
e
_
ali
g
n_par
a
ms: accept general isl_spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven V
e
rdoolaege
add isl_s
p
ace_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdool
a
ege
r
e
name isl_dim to isl_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next