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 0.09
2011-12-18
Sven Verdoolaege
isl 0
.
0
9
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ver
d
oolae
g
e
avoid
"errno" argument name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolae
g
e
add isl_morph_
d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven
Verdool
a
ege
rename
isl_mo
r
ph_du
m
p to isl_morph_p
r
int_
i
nternal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-16
S
ven Verdoolaege
isl
_
basic_set_comput
e
_vertices: fix
handl
i
ng of lower
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-14
Sven Verdoolaege
doc:
improve con
s
iste
n
cy in list
of schedu
l
e options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-11
Sven Verdoolaege
add isl_pw_multi_aff_get_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
Sven Verdoolaege
Merge branch
'
m
aint'
commit
|
commitdiff
|
tree
2011-12-10
Sve
n
Verdo
o
l
aege
isl_map_
f
rom_pw
_
a
ff: ha
n
dl
e
NUL
L
inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
S
v
en Ve
r
d
o
olaeg
e
add isl_spac
e
_
m
ap_f
r
om
_
domai
n
_and_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-03
Sven Ver
d
o
o
laege
expor
t
isl_map_elimina
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-02
Sven
V
erdoo
l
aege
Merge branc
h
'm
a
in
t
'
commit
|
commitdiff
|
tree
2011-12-01
Sven
V
e
rd
o
olaege
isl
_
pw_
a
ff_scale:
d
on
'
t speci
a
l case multipl
i
cation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-30
Sven Ve
r
do
o
laege
add
i
sl_set_find_dim_by_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-30
Sven Verdoolaege
isl_basic_map
_
involves_dims:
d
ou
b
le-check divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-26
Sv
e
n Verdoolaege
is
l
_schedule
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-25
Sven Verdoola
e
ge
configure
.
ac: only cre
a
te interface/Makefil
e
if
use
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolae
g
e
add isl_pw_aff_
h
as_dim
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdool
a
ege
a
dd
m
issing namespace q
u
alific
a
tion on
llvm
:
:ArrayRef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
rdo
o
laege
isl_un
i
on
_
pw_*
_
{intersect_domain,gist}: update
t
o change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
S
ven Verdoo
l
a
e
ge
i
sl_map
_
i
n
sert_dim
s
: handle NULL i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sv
e
n Verd
o
ol
a
ege
i
sl_set_from_pw_aff: h
a
n
d
l
e NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sv
e
n Verdoolaege
document
i
sl_basic
_
map_set
_
tup
l
e_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoola
e
ge
.
gitignore:
a
dd isl_config
.
h
.
in
~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven V
e
rdoolaege
is
l
_arg_parse: supp
o
rt string li
s
t argum
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
hide
isl_options str
u
c
ture
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ver
d
oolaege
introduce isl_arg
s
s
t
ructure
t
h
at co
n
stains isl_
a
rg
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verdoolaege
add
i
sl_c
t
x_pars
e
_options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en V
e
r
d
ool
a
ege
i
sl
_
arg_parse: pri
n
t
c
u
r
ren
t
o
p
tion value
s
as def
a
u
l
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaeg
e
use
the clang
d
river
t
o
obtai
n
command line a
r
guments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verdoo
l
aege
support more recen
t
LLVMs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
e
n
Ver
d
oolaege
add i
s
l_ma
p
_subtr
a
ct_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven
Verdoolaege
isl_map_gi
s
t: r
e
turn empty s
e
t if conte
x
t
is obviously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-04
S
v
e
n
V
erdoolaege
a
dd i
s
l
_map_gis
t
_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-04
S
v
e
n Ver
d
oolae
g
e
a
d
d
isl_map
_
subtra
c
t_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rdo
o
laege
add isl_set_upper_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven
V
erdoolaege
document *lower_bound_si functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdool
a
e
ge
isl_union_
p
w_*_gist:
special case
gi
s
t wit
h
respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
ad
d
isl_union_pw_*_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdool
a
ege
add is
l
_pw_*
_
gist_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ver
d
o
o
laege
export isl_pw_mu
l
t
i_aff_gis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verdool
a
eg
e
a
dd isl
_
m
u
l
ti_aff_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verdoolaege
a
dd isl_qpolynom
i
al_gist_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Verdoolaege
a
d
d
isl_qpolynomial
_
f
old
_
gist_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
e
r
doolaege
export isl_qpolynomial_f
o
ld_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ve
n
Verdoolaege
add isl_aff_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
a
dd is
l
_
s
e
t_gis
t
_params_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Ve
r
doolaege
add
i
sl_basic_set_intersect_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verdoo
l
a
ege
isl_union_p
w
_*_inters
e
c
t
_do
m
ain:
special case
parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolaege
add union_pw
_
*_inter
s
e
c
t_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoo
l
a
e
ge
a
dd isl_pw_*_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
d
oolaege
a
d
d isl_un
i
o
n_map_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Verdool
a
ege
doc: explain di
r
ection of dependence relations
from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n
V
erdoolaege
isl
_
map_is_subset: align parameters if nee
d
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
e
n Verd
o
olaege
isl_pw_*_opt: use correct
space
in case of empty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-01
Sven Verdoolaege
isl_
t
ab_pip
.
c: sol_pma
_
a
d
d
: add
miss
i
n
g
f
in
a
lize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-31
Sven Ve
r
doolaege
i
s
l_id_alloc: allow isl_
i
ds with the same name but
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-31
Sven Verd
o
olaege
isl
_
uni
o
n_set_gis
t
: special case gist wi
t
h respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
isl_ma
p
_al
l
o
c
_space: fix
mem
o
ry le
a
k
o
n e
r
ror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sve
n
Verdoolaeg
e
isl
0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
interface/Makefile
.
am: append extra
copy
o
f
C
LA
N
G_LDFLAGS
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-20
Sven V
e
r
doo
l
a
ege
is
l
_
t
a
b_
p
ip
.
c: set_row_cst_
t
o
_
d
iv: don't a
s
sum
e
coe
f
fi
c
ie
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-20
S
ven Verdool
a
ege
is
l
_tab_pip
.
c:
fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Ve
r
doolae
g
e
remove undocum
e
nted isl_basic_{set,ma
p
}_foreach_lex
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoolaege
isl_test: test isl_basic_map_lexmin_pw_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verd
o
o
l
aege
ad
d
isl_union
_
ma
p
_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Verdool
a
ege
add isl_map_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verd
o
ol
a
ege
ad
d
isl_union_map
_
gist
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven
Verdoolaege
isl
_
union_map_intersect
_
domain
:
special case
i
n
t
ersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Ver
d
oolaege
isl_union_se
t
_inters
e
c
t
:
s
pecial case
intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n Verdoolaege
a
d
d
isl_un
i
on_map_intersec
t
_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven
V
e
rdoo
l
aege
add isl_u
n
ion_set_i
s
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sv
e
n Verdoolaege
isl_point_get_coo
r
dinate: c
h
eck valid
i
t
y o
f
"pos" argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven
V
e
rdoolaeg
e
inte
r
face/ex
t
ract
_
inter
f
ace
.
c
c: adj
u
st to renam
e
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Ve
r
doolaege
rename isl
_
pw_aff_add to isl_pw_aff_
u
nion_ad
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdo
o
laege
reimplement
p
w_aff_mul o
n
top of a gen
e
ri
c
isl_pw_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
is
l
_map_intersect:
r
equire arguments
to l
i
ve
i
n
t
he
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
doolaege
isl_inp
u
t
.
c:
read_tuple: use isl_map_intersect
_
p
a
r
a
m
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
S
v
en Verdoolaege
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2011-10-08
S
v
en Verdoolaege
isl_st
r
eam_read_ma
p
: handle nested parenth
e
size
d
ex
p
ressi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Verdoola
e
ge
is
l
_
b
a
s
ic_{s
e
t,map}_partial_le
x
{min
,
ma
x
}_pw_multi_af
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erdoolaege
add
i
sl_aff_no
r
malize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoo
l
aege
a
d
d extr
a
ct
_
in
t
e
r
face for constru
c
ting interfac
e
s
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
la
e
ge
mark som
e
d
a
ta str
u
ctures and functio
n
s fo
r
export
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erdoolaege
add isl_*_to_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erdoolaege
add isl_union
_
p
w_qpolynomia
l
_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl
_
mult
i
_
a
ff_li
f
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoola
e
ge
add
i
sl_l
o
cal_space_lifting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ve
n
V
e
rdoolaege
a
d
d isl_loca
l
_space_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_loca
l
_spac
e
_inters
e
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
d
d
i
s
l_multi_aff_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaege
add is
l
_pw_aff_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolae
g
e
a
d
d
isl_aff_read_
f
r
o
m_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven
V
e
rdoolaege
add isl_
p
w_mul
t
i_aff_re
a
d_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en
Verdoolaege
add isl_
p
w_multi_aff_f
r
om_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Ve
r
doolaeg
e
a
dd isl_bas
i
c_map_lexmin
_
pw_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ve
n
Ve
r
doolaege
p
i
p
: opti
o
n
a
lly us
e
is
l
_
basic
_
set_partial_lexmin_pw_mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
add isl_ba
s
ic_{set,
m
a
p
}_partial_lex
{
m
i
n
,max
}
_
p
w
_
m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_multi_aff_substitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next