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_set_compute_vertices: fix handling of lower-dimensional input
2011-12-16
S
ve
n
Verdo
o
l
aege
i
sl_bas
i
c_set_compute_ve
r
tices: fix
h
andl
i
ng
of l
o
wer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-14
Sven
Verdoola
e
g
e
doc: improv
e
consistency in list of
s
chedule option
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-11
Sven Ver
d
o
olaege
add isl_pw_multi_aff_get_
p
w_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
S
ven Verdoolaege
Merg
e
b
ranch 'maint
'
commit
|
commitdiff
|
tree
2011-12-10
S
ven Verdoolaege
isl_map_from_pw_aff
:
ha
n
d
l
e NUL
L
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-10
Sven Verd
o
o
l
aege
a
dd isl_space
_
m
a
p_fr
o
m_domain
_
and_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-03
Sv
e
n V
e
rd
o
olaege
export isl_map_el
i
mi
n
a
te
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-02
Sven Ve
r
doo
l
aeg
e
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2011-12-01
S
v
en V
e
rdoolaege
isl_pw
_
aff_scale: don
'
t sp
e
cial case
m
ultiplication
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-30
Sven
V
erdoolaeg
e
a
dd isl_s
e
t_find_di
m
_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-30
Sven Verdoolaege
isl
_
basic_map_in
v
olves_dims: double-check divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-26
Sven Verdool
a
ege
isl_schedule
.
c
: fix typo i
n
co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-25
Sven V
e
rdoolaege
configure
.
ac:
o
nly create interfa
c
e/
M
akefile if user
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n
Ver
d
oolaege
add i
s
l_pw_aff_has_dim_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en Verdoolae
g
e
a
dd missing names
p
ace qua
l
ifica
t
ion on llv
m
::Array
R
ef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
v
e
n Verdoolaege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaeg
e
isl_union
_
pw_*_{i
n
te
r
s
ect_do
m
ain,gist}: update to chan
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaege
isl_map_insert_
d
im
s
: ha
n
dle N
U
LL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaeg
e
isl_set_from_pw
_
aff:
h
andle
N
ULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ve
r
d
o
olaege
document is
l
_basic_map_set_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaeg
e
.
gitignore: add
isl_conf
i
g
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Ve
r
doola
e
ge
i
sl
_
arg_parse: support strin
g
list arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
e
n
V
e
rdoolae
g
e
hide isl_option
s
stru
c
ture
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaeg
e
introduce isl_args
s
t
r
u
c
t
ur
e
that constain
s
isl_arg
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
doo
l
a
e
ge
add isl_c
t
x_
p
a
rse_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en
Verdoola
e
ge
isl_ar
g
_pa
r
s
e
: print current opti
o
n value
s
a
s default
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
V
erd
o
ol
a
ege
use th
e
c
lang
d
river to obtain command line arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ven V
e
rdoolaege
supp
o
r
t
more
r
ecent LLVMs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
olaege
ad
d
isl_map_subtract
_
r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sv
e
n Ve
r
doolaege
isl_map_
g
is
t
: r
e
turn empty set i
f
c
ontext is obvious
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-04
Sven
V
erdoolaege
a
dd isl_map_gis
t
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-04
S
v
en V
e
rdoola
e
ge
a
d
d
i
sl_ma
p
_subtract_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Ve
r
do
o
lae
g
e
a
dd isl_set_u
p
per_bound
_
si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Ve
r
d
o
olaeg
e
documen
t
*low
e
r_bo
u
nd
_
si functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdool
a
ege
isl_u
n
ion_p
w
_*_gis
t
: special c
a
se gist wi
t
h re
s
pect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdoo
l
aege
add isl_union_pw_*_gist_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
e
n Verdoolaege
add is
l
_pw_*_
g
ist_pa
r
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
export isl_pw_multi_aff_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
lae
g
e
ad
d
isl_multi_aff_g
i
st_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
add
isl_qp
o
lynomial_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdool
a
ege
add isl_qpolynomial_
f
old_g
i
st_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ver
d
oolaeg
e
export isl_qpo
l
yno
m
ial_fold_gi
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verdoolaege
add isl_aff_gist_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
add isl
_
set_gist_
p
a
r
ams_ba
s
ic
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
add
i
sl_basic_
s
et_intersect_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
e
n
Verdoolaege
isl_unio
n
_
pw_*_inte
r
s
ect_doma
i
n: special case param
e
t
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n
V
e
r
doolaege
add uni
o
n
_pw_*
_
intersect_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoola
e
ge
a
d
d
isl_
p
w_*_intersect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Verdoolaege
add isl_unio
n
_m
a
p
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
laege
d
oc: explai
n
direc
t
i
o
n
o
f
dependenc
e
re
l
ations from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verdoolaege
isl_
m
ap_is_subset: align pa
r
ameters
i
f needed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
isl_pw_*_opt
:
use cor
r
ect space in case of empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-01
Sven Ve
r
do
o
la
e
ge
isl
_
t
ab_pip
.
c: sol_pma_ad
d
: a
d
d missi
n
g finalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-31
S
v
e
n
Ve
r
doolaege
isl_
i
d_alloc: allow isl_ids
with t
h
e
same name b
u
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-31
Sven
Ve
r
doola
e
ge
isl
_
un
i
on_set_
g
i
s
t:
speci
a
l cas
e
gis
t
with
r
espec
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
isl_map_a
l
loc_space:
f
ix me
m
o
r
y le
a
k on error
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
S
v
en
Verdoo
l
aege
i
s
l 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven V
e
r
d
oolaeg
e
i
nterf
a
ce/Makefile
.
am: ap
p
e
n
d
e
x
tra copy of CLANG_LDFLAG
S
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-20
Sve
n
V
e
r
doolaege
isl_tab_pi
p
.
c: set_row_
c
st_to_div: don't assum
e
coefficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-20
Sv
e
n Verdoolaege
isl_tab_pip
.
c: fix typo i
n
comm
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoolaege
rem
o
ve undocumented i
s
l_bas
i
c
_{
s
et,map}_forea
c
h_
l
ex
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdool
a
eg
e
isl_test: test
isl_basic_map_lexmin_pw
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
add i
s
l_union_map_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
add isl
_
m
a
p_g
i
st_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven
V
erdoola
e
g
e
add isl_union_map
_
gist
_
par
a
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
isl_union_map_intersect_
d
omain: special case
int
e
rsecti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven
V
erdoolaege
isl_union_s
e
t_
i
ntersec
t
:
s
p
ec
i
al case inters
e
cti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
r
doolaege
add isl_union_map_intersect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven
V
er
d
oolae
g
e
a
d
d
isl_
u
nion_set_is_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven Ve
r
doolaege
i
sl_point_ge
t
_coordi
n
ate:
check
validity of "p
o
s" argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verd
o
olaeg
e
i
nterface/extra
c
t_interfac
e
.
cc: a
d
just t
o
rename of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verd
o
o
l
a
ege
r
e
name isl
_
pw_aff_a
d
d to isl_
p
w_aff_union_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
S
v
en
V
erdoo
l
aege
reimpl
e
m
e
n
t p
w
_aff_mul on
to
p
of a gene
r
ic isl_pw_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
isl_map_intersect
:
require arguments t
o
live in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
i
sl_input
.
c: re
a
d_tu
p
le: use isl_map_intersect_params
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-10
Sven Verdool
a
ege
Merge
b
ranch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-10-08
Sven Verdoolaege
isl_strea
m
_read_map: hand
l
e nes
t
e
d parenthesized e
x
pressio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
l
a
ege
isl_basic_{se
t
,map}_partial_
l
ex{min,max}_pw_m
u
lti_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add isl_aff_normalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Verdo
o
lae
g
e
add extrac
t
_interfa
c
e for construc
t
ing inter
f
aces to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
mark some data struc
t
ures and functions for export
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ver
d
o
olaege
add
isl_*_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Verdoolaege
add is
l
_unio
n
_pw_qpolynomial_read_f
r
om_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
a
d
d isl
_
multi_aff_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_lo
c
al_
s
p
a
ce_l
i
fting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdo
o
laege
add
i
sl_loc
a
l_space_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoo
l
aege
add
isl_l
o
cal_spa
c
e_intersect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
a
d
d
i
sl_
m
u
l
ti_aff_read_f
r
o
m
_st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aege
add isl_pw_aff_rea
d
_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaege
a
d
d isl_af
f
_re
a
d_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_multi_aff_re
a
d_
f
rom_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoolaege
ad
d
isl_pw_mult
i
_aff_from_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
la
e
ge
add is
l
_
basic_map_lexmin_pw_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Ve
r
dool
a
ege
pip: opt
i
onally use i
s
l_
b
asic_set_partial_lexmin_pw_mul
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolae
g
e
add isl_basic_{se
t
,map}_part
i
al
_
l
ex{min,max}_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n
Verdoolaeg
e
add i
s
l_pw_mul
t
i_aff_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoolaege
ad
d
isl_
s
e
t_
s
ubstitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoolaege
a
d
d isl_loc
a
l_spa
c
e_sub
s
titute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n Verdoolaeg
e
isl
_
printer
_
pr
i
n
t_pw_m
u
lti
_
a
f
f: pa
r
tial s
u
ppo
r
t for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Ve
r
doo
l
aege
add
is
l
_pw_mul
t
i_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next