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_union_{set,map}_is_disjoint
2014-11-20
Sven Verdoolaege
a
dd
isl_unio
n
_{
s
et,
m
a
p
}
_
i
s_disjoin
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
d
oolaege
add isl_basic_map_gist_d
o
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
V
e
r
d
o
olaege
a
d
d
i
sl_union
_
pw_*_
s
u
b
tract_
d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven
V
erdo
o
laege
add isl_pw_*_subtract_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union_map_facto
r
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n V
e
rd
o
olaege
add i
s
l_union_map_factor_
r
an
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
d
d isl_union_map_range
_
fac
t
o
r
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
V
e
rdoolaeg
e
ad
d
isl_union_map
_
domain_factor_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaeg
e
ad
d
is
l
_un
i
on_
m
ap_
d
o
main_factor
_
ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoolaege
add
isl_map_factor
_
d
o
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_map_fa
c
t
o
r_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
ad
d
isl_space_f
a
ctor
_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n Verd
o
olaege
add isl_spac
e
_fac
t
o
r
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
add isl_ma
p
_domain_
f
acto
r
_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_m
a
p_domain_factor_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdool
a
e
g
e
a
d
d isl_space_domain_factor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaeg
e
ad
d
isl_union_set_wr
a
pped_domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verd
o
olaege
add isl_se
t
_wrapped_domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n V
e
rdoo
l
aege
ad
d
isl_union_map_involv
e
s_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add i
s
l_u
n
ion_pw_
*
_
f
ind_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdool
a
ege
a
d
d
isl_
p
w_
*
_find_dim
_
by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add i
s
l_multi_*_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven
Verdoolaege
add isl_
a
ff
_
fin
d
_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
Verdool
a
ege
add
i
sl
_
u
nion_map_find_dim_by_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdool
a
e
g
e
add isl_basi
c
_m
a
p_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
add i
s
l_local_space_
f
ind
_
dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
Ve
r
doola
e
ge
a
d
d isl_union_pw_*_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
ool
a
ege
ad
d
isl_un
i
o
n_set_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
o
olaege
add isl_
u
nion_pw_multi_aff_mu
l
ti_val_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
e
ge
a
d
d isl_pw
_
multi_
a
ff_multi_val
_
o
n
_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdool
a
ege
add isl_multi_aff_mul
t
i_val
_
on_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
ge
ad
d
isl_pw_aff_val_on
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
a
d
d
isl_union_*_scale_down
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
generalize i
s
l_pw_aff_s
c
ale_down_val
to isl_{multi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
a
d
d
i
sl_qpolyno
m
ial_fold_scale_down_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
ad
d
i
s
l
_qpolynomial_scale_dow
n
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
a
d
d isl_
v
al_in
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoola
e
ge
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n Verdoolaege
isl_basic_map
_
gist: avoid modifying input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sven Ver
d
o
olaege
add i
s
l_lo
c
al_spac
e
_is_
p
ara
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sv
e
n Verdoolaege
isl_union
_
pw_mul
t
i
_
a
f
f_add: comput
e
sum on
shared
d
ef
i
nitio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaeg
e
declare
i
sl_union_pw_
q
polynomi
a
l
_
neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
declar
e
isl_u
n
ion_pw_mu
l
t
i
_
aff_inte
r
se
c
t_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoo
l
aege
declare isl
_
union
_
pw
_
multi_aff_
g
ist_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
d
eclare isl_union_pw_mult
i
_aff_coalesc
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_un
i
on_pw_multi_
a
ff_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Ve
r
doolaege
decl
a
re isl_uni
o
n_pw_multi_aff_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
a
e
ge
declare isl_union_pw_multi_aff
_
gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
o
o
laege
declare isl_un
i
on_p
w
_mult
i
_aff_extract_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdo
o
laege
dec
l
are isl
_
un
i
o
n_pw_
m
u
l
ti_aff_from_pw_mul
t
i_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_pw_mu
l
ti_aff_reset_
t
upl
e
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdoo
l
aege
dec
l
a
r
e
isl_mul
t
i_*_fl
a
tten_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n
Verdoola
e
ge
declare isl
_
multi_aff_move_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
laege
dec
l
are
i
sl_
u
nion_
m
a
p
_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_union_set_t
o
_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verd
o
olaege
declar
e
i
s
l_multi_a
f
f_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_map_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdo
o
laege
d
eclar
e
isl_space_
t
o_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdo
o
laege
doc: explain use of memory management annotation on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoolaege
doc: document *
_
to_
s
tr functi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
S
v
en Verdoola
e
ge
doc
:
group functi
o
n types and ope
r
at
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdoolaege
doc: group dimen
s
ion and tuple
ide
n
tifi
e
r
f
u
nc
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
doc:
m
ove isl_space op
e
rations t
o
unary/bi
n
ary op
e
rations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
i
s
l_
u
nion_pw_*_extract:
i
g
n
ore parameters in space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
only all
o
w a single isl_
p
w_* objec
t
with given d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdoolaege
isl_un
i
o
n
_
p
w_*_e
x
t
ract_
*
: rena
m
e
"dim"
v
ariable to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rdool
a
e
g
e
isl
_
union_pw_*:
r
e
n
ame "d
i
m"
f
iel
d
to
"sp
a
ce"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
e
n Verdoolaege
is
l
_ast_expr_from_const
r
ai
n
t: detect stride constrai
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
r
doolaege
add
i
s
l
_ast_op_zdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en Verdoolaege
add isl_aff_coefficient_sgn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
oolaege
a
dd isl
_
val_abs_eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en Verdoolaeg
e
mark
i
sl_sp
a
ce_tu
p
le
_
m
a
tch a
s
d
e
p
r
e
cated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-25
Sven Ve
r
d
oolaege
isl 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
S
v
e
n Verdoolaege
update AUTHORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven
V
erd
o
o
laege
Merg
e
bran
c
h 'mai
n
t'
commit
|
commitdiff
|
tree
2014-10-13
Sven
Ver
d
oo
l
ae
g
e
isl_map_convex
_
hull: de
t
e
c
t equalities b
e
fore chec
k
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoo
l
aeg
e
i
sl_schedule_constraints_compute_
s
chedule: al
l
o
w
partial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
S
v
e
n
V
erdoolaege
a
d
d isl_map_n_basic_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven
V
erdoolaeg
e
s
plit scheduler code from schedule obje
c
t
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
S
v
en Verdoo
l
ae
g
e
m
a
k
e isl_aff_p
r
ivat
e
.
h
m
ore self
-
c
on
t
ain
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
ool
a
eg
e
doc: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
e
n Verd
o
olae
g
e
document i
s
l_set_is_singleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaeg
e
doc:
up
d
ate isl_*_lis
t
d
ocument
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
o
laege
doc: clea
n
up isl_va
l
docum
e
ntati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoo
l
aege
isl_schedule_constrai
n
ts_compute_sched
u
le: comp
r
ess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n Verdoolaege
isl_s
c
hed_node: rena
m
e
"
dim" f
i
eld to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
add isl_morph_get_var_
m
ulti_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
add isl_morph_get_d
o
m_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
er
d
oola
e
ge
a
dd i
s
l_
m
o
r
ph_get
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
p
rivate
l
y ex
p
ort isl_af
f
_
all
o
c_ve
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdo
o
l
a
e
g
e
add
i
sl_mat_is_s
c
al
e
d_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Verdo
o
laege
add isl_m
a
t
_
get_ro
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdoolaege
isl_basic_{s
e
t
,
map}_
h
a
s
_
d
efi
n
ing_equa
l
it
y
: allow pas
s
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-28
Sven Verdoolaege
documen
t
is
l
_space_tuple_matc
h
as isl_
s
p
a
c
e_tuple_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
S
v
e
n Verdoolaege
isl_ma
p
_
p
l
ain_is_
d
isjoint: check tu
p
le spa
c
es bef
o
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven
V
erd
o
olae
g
e
isl_space_tuple_match
:
also ignore parameter
s
in nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verd
o
ola
e
ge
isl_space_tuple_match: rename "di
m
" variables
t
o
"spa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolae
g
e
isl
_
te
s
t
:
take opt
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
erdoolaege
isl_union_*
_
add_*: perfor
m
ch
e
ck for "zero" par
t
uncond
i
tional
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
is
l
_union
_
*_ad
d
_*: avoid
duplicate c
h
ecks
i
n callers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
