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
isl_union_map_intersect_domain: special case intersection with parameter domain
2011-10-16
Sv
e
n
V
erd
o
olaege
isl_union_ma
p
_
interse
c
t_
d
omain: speci
a
l
case intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
ven Verdoolaege
isl_un
i
o
n
_set_
i
nte
r
sec
t
: special case in
t
e
rse
c
t
io
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolae
g
e
a
d
d isl_union_map_
i
n
te
r
sect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
r
d
oolaege
add isl_union_set_is_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verd
o
olaege
isl_point_
g
et_coordinate:
check val
i
dity of "pos" ar
g
ument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sve
n
Ve
r
do
o
l
aeg
e
int
e
rface/extract_i
n
terfac
e
.
cc: adjust to ren
a
m
e of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven
V
erdoolaege
rename isl_pw
_
aff_add
t
o isl_pw
_
aff_unio
n
_a
d
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
S
v
en Verdoo
l
aege
reimplement pw_aff_mul on top o
f
a gener
i
c isl_pw_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
isl
_
m
ap_in
t
er
s
e
c
t:
r
e
q
uire arguments to
l
iv
e
in th
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Verdoo
l
aege
isl_input
.
c: rea
d
_tuple: use
i
sl_map_inte
r
sect_p
a
rams
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-10
Sve
n
Verdoolae
g
e
Merge branch
'main
t
'
commit
|
commitdiff
|
tree
2011-10-10
Andreas Kloeck
n
er
In
s
ert missing error check into isl_
p
w_*_intersec
t
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-10
Andr
e
as Kloeckner
Run
isl_b
a
si
c
_map_fi
n
a
lize after i
s
l
_{basi
c
_,}map_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-08
Sven Verdo
o
laege
isl_stream_
r
ead_m
a
p: h
a
ndle nested parenthesized ex
p
r
e
ssions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdoola
e
ge
i
s
l_basic_{
s
et
,
map}_
p
a
r
tia
l
_l
e
x{min,m
a
x}_pw_multi_a
f
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add isl_aff_norma
l
i
ze
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
laege
add extract_interface for co
n
str
u
cti
n
g inter
f
aces t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erdoolaege
mark some data stru
c
t
ure
s
and
funct
i
ons for export
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdoolaege
add isl
_
*_
t
o_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Verdoolaege
add isl_
u
nion_pw_qpolynomial_read_f
r
o
m
_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en V
e
r
d
oola
e
ge
add isl
_
multi_aff_l
i
ft
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
add isl
_
local_space_lifti
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
dool
a
ege
add isl_loca
l
_space_li
f
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_local_space_inte
r
sect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoolaege
a
d
d isl_
m
u
l
ti_aff_r
e
ad_fr
o
m
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
add
isl_
p
w_aff_read_fro
m
_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoola
e
ge
a
d
d isl_aff_rea
d
_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoola
e
ge
add isl_pw_multi_aff_read_from_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aeg
e
add isl_pw_multi_a
f
f_from_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
add isl_basic_map_lexmi
n
_p
w
_mul
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
d
o
olaege
pip: op
t
i
onally us
e
i
sl_
b
a
sic_set_
p
artial_lexmin_pw_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
dd
i
sl_basic_{
s
et,map}_p
a
r
t
i
al_le
x
{m
i
n,max}_pw_mul
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verd
o
ol
a
ege
add isl_pw_multi_a
f
f_
s
ubsti
t
ute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
dd isl_se
t
_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Ve
r
doo
l
ae
g
e
add isl_l
o
cal_space_s
u
bstitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
isl_pr
i
nter_pri
n
t
_
p
w_multi_
a
ff: partial support fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
a
d
d isl_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
rdoolae
g
e
a
d
d isl_
p
w
_*_get_d
i
m_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdo
o
laege
add
i
sl_p
w
_*_get_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
ad
d
isl_p
w
_
*
_has_tup
l
e_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
add isl_pw_*_s
e
t_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
a
dd isl_pw_*
_
get_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdool
a
e
ge
add isl_pw_*_get_tuple_
n
a
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n
Verdoolaege
add isl
_
basic_map_from_multi_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
d
d isl_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
is
l
_
pw_templ
.
c: renam
e
align_pa
r
ams
_
p
w
_pw_and
to include
PW
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdo
o
lae
g
e
add isl_m
a
p_dim_m
a
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaeg
e
pr
i
vately e
x
port isl_basic_ma
p
_fo
r
each_lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
ool
a
ege
ad
d
i
sl_ba
s
ic
_
map_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdool
a
ege
add isl
_
basic
_
map_has_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-10-01
Sv
e
n Verdoolaege
isl_basic_map_eliminate_
v
ar
s
: gauss result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
ven Verdo
o
lae
g
e
add
isl
_
a
f
f_set_d
i
m_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
ven Verdoolaege
a
d
d isl_local_space_set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sve
n
Ve
r
do
o
la
e
g
e
add isl_m
a
p
_f
i
n
d_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven
Verdoolaege
ad
d
isl_space_fin
d
_
d
i
m
_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
v
en Verdoolaege
e
xport isl_pw
_
aff_inters
e
ct_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoola
e
ge
expor
t
isl_pw_
a
f
f_plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
add generic isl_pw
_
*
_set_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
is
l
_set_intersect: properly handle inte
r
section with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
Sven Verdoolaege
i
s
l
_access
_
info_compute_flow: align parameters of i
n
put
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaege
M
e
rge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-09-23
S
v
en
V
erdool
a
ege
fix is
l
_set_involves_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
ad
d
isl_s
e
t_pl
a
in_
i
s_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Ve
r
doolae
g
e
add
isl_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
l
a
ege
add
isl_sp
a
ce_se
t
_
f
r
om_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
ool
a
ege
Merge branch
'
ma
i
nt'
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verdoolaege
isl_qp
o
l
y
nomial_morph: properly
han
d
le denominators
.
.
.
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 Verdoolaege
isl_tab_p
i
p
.
c: s
o
l
_
for_add: cor
r
ectly set denominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
e
rdoolaege
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 Verdoolaege
isl_stream:
a
c
c
ept "=
=
" t
o
ken
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven V
e
rdoolaege
add
i
sl_union_pw_*_plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
ven Verdoolaeg
e
add
i
sl_pw_*_plain_is_eq
u
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven V
e
rdoolaege
a
dd isl_se
t
_pla
i
n
_
cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Verdool
a
ege
add is
l
_map_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Ver
d
oolaege
i
sl_stream_nex
t
_toke
n
: treat "-0" as two tokens '-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n
Verdoolae
g
e
d
rop "npara
m
" a
r
gument from isl_{set,map}_read_from_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
Sven V
e
rdo
o
laege
doc: docume
n
t *_move_di
m
s functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
d
r
op i
s
l_div abstract
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ve
r
dool
a
ege
is
l
_{in,}
e
qu
a
lity_a
l
loc: take isl_
l
oc
a
l_sp
a
ce
i
ntead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdoolaege
doc: u
p
date ex
a
mple code to change in
r
eturn ty
p
e
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven
Verdoolaege
Merge
bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sv
e
n Ve
r
doolaege
pro
v
ide
f
u
ll p
r
ototyp
e
s
f
o
r some
f
u
n
c
t
ions
w
ith
n
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven
V
erdoolaege
d
o
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Ver
d
oolaege
add is
l
_
set_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n V
e
r
d
oolaege
make isl_
p
w_
*
o
b
ject li
v
e in
a
map
spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
ad
d
i
sl_space_extend_domain_with_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_space_
i
s
_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
add
isl_loc
a
l
_
s
pace_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_local_space_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
imp
l
e
m
ent isl_constra
i
n
t
o
n top
of isl_
v
ec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
a
dd isl_vec
_
n
eg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_aff
.
c: e
x
tract i
s
l_loc
a
l_s
p
a
c
e_g
e
t_ac
t
ive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_output
.
c: drop
redundant "set" argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_unio
n
_*_al
l
oc: project
s
pac
e
onto para
m
eter
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
explicitly di
f
ferent
i
ate betwe
e
n spaces of
m
aps, sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
a
l
l
o
w
i
s
l
_id
s
with neg
a
t
ive refe
r
enc
e
co
u
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaeg
e
proper implementation of isl_unio
n
_map_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoo
l
aege
isl_map_from_doma
i
n_and_rang
e
: dro
p
explic
i
t conve
r
s
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next