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_basic_map_involves_dims: double-check divs
2011-11-30
Sven Verdoolaege
isl
_
basic_map_involves_dims: doub
l
e-c
h
eck div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-26
Sven Ver
d
oolaege
isl_sch
e
dule
.
c
:
fix typ
o
in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-25
Sve
n
Verdoolaege
configure
.
ac: o
n
ly create interface/M
a
kefile if user
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
V
e
rdool
a
ege
ad
d
is
l
_pw_aff_has_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoo
l
a
e
ge
add missing
nam
e
space
q
ualificat
i
on on llvm::ArrayRef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoo
l
aege
Merge bra
n
c
h
'main
t
'
commit
|
commitdiff
|
tree
2011-11-23
S
ven Ve
r
dool
a
ege
i
sl_unio
n
_pw_*_{intersect_domain,gis
t
}: upda
t
e to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven V
e
r
d
oolaege
i
s
l
_
map_insert_dims: ha
n
dle NULL i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven
V
erdoolaeg
e
isl_se
t
_
f
rom_pw_aff: handle NULL in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ve
r
doolaege
document isl_basic_m
a
p_set_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
erd
o
ol
a
ege
.
gi
t
igno
r
e
: a
d
d i
s
l_
c
o
n
f
i
g
.
h
.
in~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
i
s
l_
a
r
g
_
p
a
rse: supp
o
rt
s
tring list a
r
guments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoo
l
a
e
ge
h
ide isl_options structu
r
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Ve
r
doolaege
i
n
troduce isl_args struct
u
r
e
that
c
onstains isl_
a
rg
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Verdoolaege
add isl_ctx
_
pa
r
se_opti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdoolaege
isl
_
a
rg_parse:
pri
n
t curr
e
nt option
va
l
ues as def
a
ults
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven V
e
r
d
oolaege
use the clang driver
t
o obt
a
in
c
ommand line arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Ve
r
d
oolae
g
e
support more recent LLVMs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven V
e
r
d
ool
a
ege
a
d
d
is
l
_
map_subtract_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Serge Belys
h
e
v
a
llow --with-gmp=build
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
isl_map_gist:
r
eturn empty set i
f
context is obviously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-04
Sven Verdo
o
laege
add isl_map_g
i
s
t_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-04
Sv
e
n V
e
rdoolaege
add
i
sl_map_su
b
tract_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verd
o
o
laege
add isl_set_
u
pp
e
r
_
bo
u
n
d_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ver
d
oolaege
docu
m
en
t
*lowe
r
_bound_si f
u
nct
i
on
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Ver
d
oo
l
aege
isl_union_pw_
*
_gist
:
spe
c
ial
case gist wi
t
h r
e
spect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
V
e
rdo
o
laege
add isl_union_
p
w_*_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
laege
a
d
d
i
sl_pw_
*
_
g
i
s
t_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verdoolaege
export is
l
_pw
_
multi_aff_
g
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
ad
d
i
sl
_
multi_af
f
_gis
t
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
add isl_qpolynomi
a
l_g
i
st
_
param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
e
n Ve
r
dool
a
ege
add is
l
_
qpolyn
o
mial_
f
old_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
export isl_qpo
l
ynomial_fo
l
d_
g
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
add isl_af
f
_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven
V
erdoo
l
aege
a
dd isl_se
t
_gist_params_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolae
g
e
add isl_b
a
s
i
c_set_interse
c
t
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verd
o
olaege
isl_union_pw_*_intersect_domain: speci
a
l
case parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdoolaege
add union_pw_*_intersect_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
add isl_pw_*
_
intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven
Verdoolaege
add
isl_unio
n
_map_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en V
e
rdool
a
ege
do
c
: expla
i
n direction of depende
n
c
e relations
f
r
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
isl_map
_
is_subset: align parameters if
needed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
laege
isl_pw_*_opt: us
e
c
orrect
s
pace i
n
case of empt
y
inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-01
Sven Ver
d
oolaeg
e
isl_t
a
b_pip
.
c: sol_
p
ma
_
a
dd: add
m
i
ssing finali
z
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-31
Sven Verdoolaege
isl_id_alloc: allow isl_ids wit
h
the sa
m
e nam
e
but
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-31
Andr
e
as Kloeckner
Add missing
cow to
i
s
l_{basic_,}map_set_dim_name()
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-31
Sven Verdoolaege
isl_union_set_gist: s
p
e
c
ial cas
e
gist w
i
th respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven V
e
rdoolaege
is
l
_map_al
l
oc_space: fix
memor
y
le
a
k on error
p
ath
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven
V
erdoolaege
isl 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Ve
r
doola
e
g
e
inter
f
ac
e
/M
a
kefile
.
am: appen
d
ext
r
a
c
o
py of CLANG_LDFLAGS
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-20
Sven
Verdo
o
laege
isl_tab_
p
ip
.
c: set_
r
ow
_
cst_
t
o_div:
don't
assume coefficient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-20
S
v
en Verdoola
e
ge
isl_
t
ab
_
pi
p
.
c: fix t
y
po in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sv
e
n V
e
rdool
a
ege
remove undocumented isl_
b
a
sic_{set,map}_for
e
ach_lex
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Ver
d
oo
l
aege
isl_test: test isl_ba
s
i
c_
m
ap_le
x
m
i
n_pw_m
u
l
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verd
o
ol
a
ege
add
isl_
u
nion_map_gis
t
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaeg
e
add
i
s
l_map
_
g
i
st
_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sve
n
Verdoolaeg
e
add isl_union_
m
ap_gist_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
isl_un
i
o
n_map_
i
ntersect_domain: speci
a
l case i
n
t
e
rse
c
t
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
isl_unio
n
_set_inte
r
sect
:
s
p
ecial cas
e
intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
add isl_union_map_intersect_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
add
isl_u
n
ion_se
t
_is_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Ver
d
oolaege
isl_point_get_c
o
o
r
d
ina
t
e: check
v
alidity of
"p
o
s" argu
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sv
e
n V
e
rdoolaeg
e
interface/extract_interf
a
ce
.
cc
:
adju
s
t
to renam
e
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
S
v
en
V
e
r
doolaege
rename is
l
_p
w
_a
f
f_add to isl_pw
_
aff_uni
o
n_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sv
e
n Verdool
a
ege
reimplement
p
w_af
f
_mul on to
p
of a
g
en
e
ri
c
i
sl
_
pw_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sve
n
Verdoolaeg
e
isl
_
map_intersect: requ
i
re
a
rguments to live in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven V
e
rdo
o
l
a
ege
is
l
_in
p
ut
.
c
:
read_tuple: use is
l
_map_int
e
rsect_params
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
Sven
V
erdo
o
laege
Merge branch 'm
a
i
nt'
commit
|
commitdiff
|
tree
2011-10-10
A
n
dr
e
as
K
loeckner
Insert missing error
che
c
k into i
s
l_pw
_
*_intersect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
Andreas Kloeckner
Run isl_basic_map_finalize after isl_{basic_,}map
_
eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-08
Sv
e
n Verdoolaege
isl_st
r
eam_r
e
ad_map: handle
n
ested parent
h
esiz
e
d expr
e
ssions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
e
n Verdoolaege
isl_basic_{s
e
t
,
map}
_
partial_l
e
x
{
min,max}
_
pw_multi_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ver
d
oolaeg
e
add isl_aff_normal
i
ze
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erdoolaeg
e
add
ext
r
a
ct_
i
nterf
a
ce for constru
c
ting int
e
rfaces to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
m
a
r
k
s
om
e
data structu
r
e
s and functions for export
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
laege
add i
s
l_*_to_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add isl_union_p
w
_q
p
olynomial_
r
ea
d
_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
ad
d
isl
_
mul
t
i_
a
ff_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoola
e
ge
add
i
sl_local_space_lifting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
rdoolaege
ad
d
isl
_
local_space_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven V
e
rdoolaeg
e
add isl_local_space_intersect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaege
add isl_multi_aff_
r
e
a
d
_f
r
om_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ve
n
Verdoo
l
aege
add isl_pw_aff_read
_
from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
rdoolaege
add isl_aff_read_fro
m
_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add
i
sl_p
w
_
m
ul
t
i_aff
_
r
e
a
d_from_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
add isl
_
p
w
_multi_aff_
f
rom_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
a
dd isl_basic_map_lexmin_
p
w_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
erd
o
olaege
pip: op
t
ionally use isl_basic_set_
p
artial_lex
m
in_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
dd isl_b
a
s
ic_{set,
m
ap}_partial_lex{min,max}_pw_
m
ult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdo
o
laege
ad
d
isl_p
w
_m
u
lti_aff_
s
ubstitu
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
Ver
d
oolaege
a
d
d i
s
l_set_su
b
stitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
add isl_
l
ocal_space_substitut
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoo
l
aege
isl_p
r
inter_p
r
int_pw_m
u
lt
i
_
a
ff:
partial
support
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_p
w
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
add isl
_
pw_*_get_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n
Verdoola
e
ge
a
d
d i
s
l
_pw_*_get_
d
im_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aeg
e
add is
l
_pw_*_
h
a
s
_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
add isl_pw_*_set_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
e
rdo
o
laege
ad
d
isl_pw_*
_
get_tuple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
Verdoolaege
ad
d
isl_pw_
*
_get_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next