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
export isl_map_eliminate
2011-12-03
Sv
e
n V
e
rdoolaeg
e
export isl_map_
e
liminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-03
Tobias Grosser
Impro
v
e
message whe
n
ctx i
s
freed, but still referenced
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-02
Tobias Grosser
add isl_local_spac
e
_
r
a
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-02
Sv
e
n
V
erdoolaege
Me
r
ge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-12-01
Sven Verdo
o
laege
isl
_
pw_a
f
f_s
c
ale: d
o
n't special case
m
u
l
t
ipl
i
ca
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-30
Sven V
e
rdool
a
ege
add isl_se
t
_f
i
n
d_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-30
Sven
Verd
o
ol
a
ege
i
s
l_basic_map_involves_dims:
double-check divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-26
Sven V
e
rd
o
olaege
isl_s
c
hedule
.
c: f
i
x typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-25
S
ven
V
erdoola
e
ge
configure
.
ac: only cre
a
te interface/Makefile if use
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
a
dd isl_pw_aff_has_d
i
m_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n
Verdo
o
l
a
ege
ad
d
m
issing namespace qualification
o
n llvm::Arr
a
yRef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Ve
r
doolae
g
e
M
erge branc
h
'
m
a
i
nt'
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Verdoolaege
isl_union_pw_
*
_{inters
e
ct_domai
n
,gist}:
u
pdate to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaege
isl_ma
p
_
ins
e
r
t_dims: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaege
is
l
_set
_
from_
p
w_aff
:
h
a
ndle NUL
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ver
d
o
ola
e
g
e
document isl_b
a
sic_map_set
_
tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
S
v
en V
e
rdoolaege
.
gitignore: a
d
d is
l
_c
o
nfig
.
h
.
i
n
~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoolaege
isl_arg_parse: su
p
port
s
tr
i
ng
list arg
u
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdoolaege
hide isl_optio
n
s structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven
Verdoolaeg
e
i
ntroduce isl_a
r
gs struct
u
re that constains
isl_arg
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Ver
d
oolae
g
e
add
i
sl_ctx_parse_o
p
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdoolaege
isl_arg_parse
:
prin
t
current opti
o
n values
a
s
d
efaul
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoolaege
use the
cl
a
n
g driver to ob
t
ai
n
comman
d
l
i
ne a
r
guments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaeg
e
sup
p
ort mo
r
e recent LLVMs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
e
r
doolaege
add
isl_ma
p
_subtract_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Serge Bel
y
shev
allow --with-
g
m
p
=build
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven
V
erdool
a
ege
isl_map_g
i
st: return empty set if
c
ontext
i
s obviously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-04
S
ven Verdo
o
laege
ad
d
i
s
l_map_gist_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-04
Sven Verdoolaege
add
i
sl_m
a
p_subtract_
d
o
m
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Verdoolaege
add isl_se
t
_upper_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verd
o
olaege
document
*lower_bound_si func
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
laege
isl_
u
nion_pw_*_gist: special case gist with
respe
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
add isl_union_pw_*_gis
t
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolaege
a
d
d
is
l
_pw_
*
_
gist_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
laege
export
isl_pw_mult
i
_aff
_
g
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Verdoolaege
add isl_
m
ulti_aff_gist_
p
a
ra
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
V
erdoo
l
a
ege
ad
d
i
sl_qpolynomial_gis
t
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
add i
s
l_qpo
l
y
n
om
i
al_fold_
g
ist_p
a
r
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
export
isl_qpolynomial_fo
l
d_gis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
add isl_aff_gis
t
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verd
o
ol
a
e
g
e
add isl_set_g
i
st_params_basic
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n
Verdo
o
laege
add isl_basic_set_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolaege
isl_union_pw_
*
_intersect_domain: spe
c
i
a
l cas
e
parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ver
d
oolaege
add un
i
on
_
pw_*_int
e
rs
e
ct_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n
Verdoolaege
add is
l
_pw_*_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
add
i
s
l
_
u
nion_
m
a
p_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven
V
erdoolaege
doc:
e
xplain direction of dependence
r
elation
s
from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoolaege
isl_m
a
p_is_subse
t
: al
i
gn parameters if needed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
er
d
oolaege
i
s
l_pw_*_o
p
t
:
u
s
e
co
r
r
ect spa
c
e
in case of emp
t
y input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-01
Sve
n
Verdoolaege
isl_ta
b
_pip
.
c: sol_pma_add: add missing finalize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-31
S
v
en Verdoolaege
isl_id_a
l
loc
:
allow
i
s
l_i
d
s
w
ith the
s
a
me name but
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-31
Andreas Kloeckner
Add missin
g
cow to isl_{basic_,}map_set_dim_
n
ame()
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-31
Sven Verd
o
olaege
isl_union_set_gist:
special c
a
se
g
i
st with respec
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Ver
d
oolaege
i
s
l_map_al
l
oc_space: fix memory leak on er
r
or path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
S
ven Ve
r
do
o
laege
isl
0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdo
o
laege
i
n
t
e
r
f
ace/Makefi
l
e
.
am: ap
p
end ex
t
ra copy of CLANG_LDFLAGS
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-20
Sven Verdoolaege
isl_ta
b
_pip
.
c: set_row_cst_to
_
d
i
v: don't assume coefficient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-20
S
ve
n
Verdoolaege
isl_tab_pip
.
c: fi
x
typo i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sve
n
V
e
rdoolaege
r
e
move undoc
u
mented isl_basic
_
{set,map}_
f
oreach_l
e
x
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven
Verdo
o
laege
is
l
_
t
est: test isl_bas
i
c_
m
a
p
_lexmin_pw_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ve
r
doolaege
add isl_union_map_g
i
st_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ver
d
o
o
laege
add
isl_ma
p
_
g
i
s
t_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
add isl_union_ma
p
_gi
s
t_par
a
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n Verdoolaege
isl_union_map_inte
r
sect_domai
n
: s
p
ecia
l
case inters
e
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
ven Verdoolaege
isl_unio
n
_set_interse
c
t: special case interse
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ve
r
doolaege
add isl
_
u
n
ion_map_int
e
rsect
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
a
d
d isl_u
n
ion_set_i
s
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Ver
d
oolaege
isl
_
p
o
int_get_coordinate: check va
l
id
i
t
y of "po
s
" arg
u
me
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdool
a
ege
inter
f
a
ce/extra
c
t_interface
.
cc: adjust to rename o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
renam
e
isl
_
pw_aff_add t
o
isl
_
pw_aff_
u
nion_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
rei
m
plement
pw_
a
ff_mul on top of a generic isl_pw_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
ven Verdoolaege
isl_map_
i
nt
e
rsec
t
: requ
i
re a
r
guments to live in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en V
e
rdool
a
ege
i
s
l_i
n
put
.
c: re
a
d_tuple
:
use isl_map_intersect_p
a
rams
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
Sven Verdoolaege
Merge
branch
'
m
aint'
commit
|
commitdiff
|
tree
2011-10-10
Andreas Kloeckner
Insert
m
is
s
ing
e
r
ro
r
check into isl_pw_*_i
n
terse
c
t_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
Andreas Kl
o
eckner
Ru
n
is
l
_basic_map_fina
l
ize after is
l
_{basic_,
}
map_
e
liminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-08
Sven Verdoolaege
isl_stre
a
m
_
r
e
ad_map: handle nested parenthes
i
zed expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
rdoolae
g
e
isl_basic_{set,map}_partial_lex{min,max}_pw_m
u
lti
_
aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
e
rdoolaege
add isl_af
f
_no
r
malize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add ex
t
r
act
_
interface f
o
r constructing int
e
r
f
aces to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdoolaege
mark
s
ome dat
a
s
t
ructures and fun
c
t
i
o
ns for e
x
p
o
r
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Ver
d
oolaeg
e
ad
d
is
l
_*_to_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en
V
erdoolaege
add i
s
l_union_pw_qpolynomial_read_f
r
om_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
d
d is
l
_mul
t
i
_
aff_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en V
e
rdool
a
e
ge
ad
d
isl_local_space_lifting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
add isl
_
local_spac
e
_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verd
o
o
l
a
e
ge
add isl_local_space_inter
s
ect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en
V
e
rdoolaege
add i
s
l_mu
l
ti_aff
_
re
a
d_from
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
ege
add is
l
_pw_aff_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven
V
e
rdoo
l
ae
g
e
add isl_aff_read
_
f
rom_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aege
add
i
sl_pw_
m
ulti_aff_r
e
ad_from_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aeg
e
add isl_pw_multi
_
aff
_
from_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
e
g
e
ad
d
is
l
_basic_map_lexmin_pw
_
multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoola
e
ge
pip: opti
o
nally
use isl_basic_set_p
a
rt
i
al_l
e
xmin_
p
w_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add
isl
_
b
a
sic_{set,map}_partial
_
lex{mi
n
,max}_pw_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rd
o
o
l
a
e
g
e
add isl_pw_multi_aff_su
b
sti
t
ute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
o
olaege
add
isl_set
_
s
u
bstitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Ver
d
oolaeg
e
add isl_
l
ocal
_
space_substit
u
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
isl_pr
i
nter_print_pw_multi_aff: p
a
rtial supp
o
rt for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
add isl_pw_multi_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next