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
add isl_set_wrapped_domain_map
2014-11-20
Sven
Verdoola
e
ge
ad
d
isl_set_wrappe
d
_
d
omai
n
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n Verdool
a
e
g
e
ad
d
i
sl_u
n
ion_map_involves_d
i
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add isl_union
_
pw_*_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add
isl_pw_*_
f
ind
_
dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
add isl_multi_*_
f
ind_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
ad
d
isl_a
f
f
_fi
n
d_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
a
d
d is
l
_uni
o
n_map_find_dim_b
y
_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
sl_basic_map_find_
d
im_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ve
n
Verdoolaege
add isl_local_spac
e
_
f
ind
_
d
i
m
_by_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
sl
_
un
i
o
n
_
p
w_*_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
add isl_uni
o
n_s
e
t
_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
ad
d
isl_un
i
on_
p
w_m
u
l
ti_a
f
f
_multi_val_on_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdo
o
laege
add isl_p
w
_multi_aff_mult
i
_val_on
_
dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
add
i
sl_multi_aff_multi_val_on_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doo
l
aege
add
i
sl_pw_aff_val_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verd
o
olaege
add isl_uni
o
n_*_scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Ve
r
doo
l
aege
ge
n
e
r
alize isl_p
w
_aff_s
c
ale_dow
n
_
val t
o
isl
_
{multi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
V
e
rdoola
e
g
e
ad
d
i
s
l_qpolynomial_fold_scale
_
d
o
wn_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdool
a
ege
ad
d
isl_qpolyn
o
mial_scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_
v
al_inv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
Me
r
g
e
b
ranch '
m
aint'
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
isl_basic_map_gist: avoid modifyi
n
g i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
S
v
en
V
erdoo
l
aege
add isl_
l
ocal_space_is_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sven
Verdoo
l
a
eg
e
i
s
l
_union_pw_
m
ulti_aff_
a
dd: c
o
mpute s
u
m on
shared definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolaege
declare
i
sl_
u
nion_pw_qpolynomial_ne
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oolaege
decla
r
e isl_
u
nion_pw_mu
l
t
i
_aff_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Ver
d
oolaege
declare i
s
l
_unio
n
_p
w
_multi_aff
_
g
i
st_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_union_
p
w_mult
i
_aff_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n Verd
o
olaege
decl
a
re
isl_union_p
w
_
m
ulti_
a
ff_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoola
e
ge
declar
e
isl_union_pw_mul
t
i
_
a
ff_plain_is_
e
qual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n Verdoolaege
declare is
l
_union_pw_multi_
a
f
f_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verdoolaege
declare isl_union_pw_multi_aff
_
ext
r
act_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en V
e
rdoolaege
d
eclar
e
isl_un
i
on_pw_multi_af
f
_from
_
pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
V
erd
o
olaege
declare isl_
p
w_multi
_
aff_reset_tu
p
le_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verd
o
olaege
decl
a
re isl_multi
_
*_fl
a
t
t
en_
r
ang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n
Verdoolaege
declare
i
s
l_multi_aff_move_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n Verdoolaeg
e
dec
l
a
re
isl_union_
m
ap_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
doo
l
aege
d
eclare isl_union_set_t
o
_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verd
o
olaege
d
eclare isl_
m
ulti_a
f
f_to_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oo
l
aege
dec
l
a
r
e
is
l
_
m
ap_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en
V
erdoolaege
decl
a
re isl_spac
e
_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
doc:
e
x
p
lain u
s
e of
m
emory mana
g
em
e
nt an
n
otat
i
on
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sv
e
n Verd
o
o
l
aege
doc:
doc
u
men
t
*_
t
o_str functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Ve
r
doolaege
do
c
:
grou
p
function typ
e
s and opera
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
doc: gro
u
p dimension and tuple
identifier
f
unct
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoo
l
aege
doc: move is
l
_space ope
r
a
tions to unary/binary opera
t
ions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en Ver
d
oolaege
i
sl_union_pw_*
_
extra
c
t: ignore
p
arameters in space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
only allow
a single isl_pw_* objec
t
with
g
iven doma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaeg
e
isl_uni
o
n_pw_*
_
extract_*: rename "dim"
va
r
iab
l
e t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
isl_union
_
pw_*:
r
ename "dim
"
f
i
e
ld to "spa
c
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdo
o
laege
isl_
a
st_expr_fr
o
m_cons
t
raint:
detect stride constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdoolaeg
e
add isl_as
t
_op
_
z
div_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoola
e
g
e
add isl_aff_coeff
i
c
ient_sgn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rdoo
l
aege
add isl_val_abs_eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en Ver
d
oolaege
mark isl_spa
c
e_tuple
_
m
a
tch as deprecated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-25
Sven Verdoolaege
isl 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaeg
e
update A
U
T
HORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven van
Haastregt
do
c
: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sve
n
Verdo
o
laege
M
e
r
g
e b
r
anch
'
maint'
commit
|
commitdiff
|
tree
2014-10-13
Sv
e
n
V
erd
o
olaege
isl_map
_
convex
_
hu
l
l
: d
e
te
c
t equaliti
e
s before checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoo
l
aege
isl_schedule_
c
on
s
traints
_
co
m
pute_schedule:
al
l
o
w part
i
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
S
ven Verdoola
e
ge
add
isl_map_n_basic_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdo
o
l
aege
split sche
d
ul
e
r
code fro
m
schedule
object code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
make isl_aff_priva
t
e
.
h
more
s
elf-containe
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
doc
:
fix typo
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaeg
e
document i
s
l_set
_
is_singlet
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
doc: up
d
at
e
isl
_
*_list do
c
umentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdool
a
ege
doc:
c
l
ean up isl_va
l
docume
n
tation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en
V
e
rdoolaege
isl_schedule_cons
t
raint
s
_
c
o
mpute_schedule
:
compress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
isl_sched_node:
r
ena
m
e
"dim"
f
i
e
ld to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erd
o
olaege
add isl_morp
h
_get_var_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erd
o
olaeg
e
add
isl
_
morph_get_dom_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdool
a
ege
add i
s
l_morph
_
g
et_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Ve
r
doolaeg
e
p
rivately ex
p
ort isl_aff
_
all
o
c_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdoolaege
add isl_m
a
t
_
is_scaled_id
e
ntity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
add isl_mat_
g
et_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
isl_basi
c
_{se
t
,map}_ha
s
_def
i
nin
g
_equality:
allow passing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven van Haas
t
r
e
g
t
add ast_always_
p
rint_block o
p
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-28
Sven Verdoolaege
document isl_spac
e
_tup
l
e
_match as isl_
s
pac
e
_tuple_i
s
_eq
u
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven
V
e
rd
o
olaege
i
sl_map_plain
_
is_d
i
sjoint: ch
e
ck tuple
s
paces before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven
V
erdoo
l
aege
isl_space_tuple
_
m
atch:
a
lso ignore parame
t
ers
i
n nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdo
o
lae
g
e
isl_space_t
u
ple
_
m
a
tch: renam
e
"dim" variables to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoo
l
aege
isl_test:
take
options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verdoolaege
i
s
l_
u
nion_*_ad
d
_*: pe
r
form
che
c
k f
o
r "zero" part uncondit
i
onally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Verdoolaege
i
sl_un
i
o
n
_
*
_
a
d
d_*:
a
void duplicate
checks in callers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
i
s
l_union
_
m
a
p
_
i
s
_s
i
ngle_valued: look at domain spaces
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_union_map_is_single_valued: extra
c
t
out single_m
a
p_is_si
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdool
a
e
ge
isl_union_map_is
_
sing
l
e_valued: add a cou
p
le of extr
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_
b
a
s
i
c
_
ma
p
_
o
utput_defining_equalit
y
: ac
c
e
pt div
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
ve
n
Verd
o
o
l
a
ege
e
x
tract out
sha
r
ed
i
sl
_
basic_map_output_
d
efining_equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdoolaege
AST
generator: d
r
op
r
edu
n
dant lo
w
er bound
s
o
n strided
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdool
a
ege
Merge
branch
'
maint'
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
i
sl_p
w
_
*
_
g
ist: special
c
ase cont
e
xt equal
t
o single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_
p
w_
*
_gist: spec
i
a
l
case un
i
verse c
o
ntext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ver
d
o
o
laege
i
sl_test: g
e
neralize isl_pw_qpolyno
m
i
al_gis
t
tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verd
o
olaege
isl_map_s
i
mplify
.
c: drop spurious semicolon
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
S
ve
n
Verdoolaege
i
sl_map_gist: retur
n
univ
e
rse
o
n gis
t
with empty set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sve
n
Verdool
a
eg
e
i
s
l_input
.
c
:
basic_m
a
p_read
:
check
t
ype of result re
t
u
rned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
S
v
en Verdoolaege
isl_basic_m
a
p_gist: remove r
e
du
n
dant div const
r
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Ver
d
oolaeg
e
isl_basic_map_gist: re
m
ove o
b
viously redun
d
an
t
r
educed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
