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}_remove_redundancies
2014-12-25
Sven Verdoolae
g
e
add isl_union_{set,map}_remove_redundancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
doola
e
ge
i
sl_ast_build_
e
xpr
.
c: isl_ast
_
expr
_
ad
d
_term:
a
llow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
d
oolaege
i
s
l_ast_bu
i
ld_expr
.
c: isl_
a
s
t_expr_add_term: store
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verd
o
o
lae
g
e
isl_ast_build_expr
.
c
:
try
_
extra
c
t_mod: declare va
r
ia
b
les
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoolae
g
e
AST generator: select unrol
l
lower bound
i
ntroducing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven V
e
rd
o
olaege
isl
_
ast
_
codeg
e
n
.
c: move up
a
t_o
f
fset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
S
v
en Ve
r
doo
l
aege
isl_ast_cod
e
g
e
n
.
c: extra
c
t out is_better_lower_b
o
u
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ve
r
doolaege
isl_map_gist: try and exploi
t
imp
l
icit con
s
tr
a
ints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdo
o
laege
isl_test
.
c: test_gi
s
t: consid
e
r
test i
n
p
u
ts as set
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verd
o
ol
a
ege
add
i
s
l
_map_unshift
e
d_simple_hull_from_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdool
a
ege
add isl_union_s
e
t_list_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
erdoola
e
ge
add isl
_
b
asi
c
_map_list
_
intersect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ve
r
doolaege
isl_map
.
c: f
i
x
w
hi
t
espace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
ven Verdoolaege
add isl_union_p
w
_multi_aff_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
add isl_union_set_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sve
n
Verdoolaege
add isl_u
n
ion
_
m
a
p_l
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Ve
r
doola
e
ge
add isl_m
a
p_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdoolaege
add isl_basic_
m
ap_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
S
v
en
Verdoolaege
add isl_union_set_identity_union_pw
_
multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
add isl_uni
o
n_set_p
r
oj
e
ct_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
a
e
ge
add
i
sl_un
i
on_map_
f
l
at_domain
_
product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoola
e
g
e
a
d
d isl_union_{set,map}_
i
s_disjoin
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
e
ge
add isl_basic_map_gi
s
t_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n V
e
rdoolaege
add isl_unio
n
_pw_*_su
b
tract_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add isl_pw_*_
s
ubtract_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdool
a
ege
add isl_union_map_fa
c
t
o
r_do
m
ai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
V
e
rdoolaege
a
d
d isl_uni
o
n_map_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aeg
e
a
dd isl_union_map
_
ra
n
ge_factor_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoolaege
a
d
d
i
s
l
_
union_map_domain
_
f
a
ctor_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
a
e
ge
a
dd i
s
l_
u
n
ion_map_domain_
f
actor
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
d
oolaege
add isl_map_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoolaege
add
i
sl_map_fa
c
tor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en
V
e
rd
o
olaege
add isl_space_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
add i
s
l_space_factor_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
add isl_map_do
m
ain_factor
_
dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add isl_ma
p
_domain_factor_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
a
dd isl
_
space_domain_
f
a
c
tor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add isl_uni
o
n_set_w
r
apped_d
o
main_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
add isl_set_wrapped_d
o
main_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oo
l
aege
add isl_union_map_involves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
add isl_unio
n
_
p
w_*_find_
d
i
m_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
add isl_p
w
_*_find_
d
i
m
_
b
y
_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
ege
add isl_multi_*_find_d
i
m_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
V
erdoolaege
add isl_aff_find
_
dim_by
_
n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
a
e
g
e
add is
l
_unio
n
_map_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdool
a
ege
add isl_basic_map_find_dim_by_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoola
e
g
e
add
isl_loca
l
_space_find_dim_b
y
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
add isl_u
n
ion_pw_*_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoolaeg
e
add isl_union_set_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
add i
s
l
_
u
n
i
on_pw_multi_af
f
_multi
_
v
a
l
_on_dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en
V
erdoolaege
add isl_pw_m
u
lti_aff_
m
ulti_val_on_dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n Verdoolaege
add i
s
l_mu
l
t
i
_
aff_multi_val_o
n
_spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_pw
_
a
ff_
v
al_on_dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_uni
o
n_*_scale_dow
n
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolae
g
e
generalize
i
s
l_
p
w_
a
ff_scale_down_v
a
l to i
s
l_{m
u
lti
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
e
r
doolaege
a
dd is
l
_qpolynomi
a
l_fold_
s
cale_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add is
l
_
q
polynomial_scal
e
_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven
V
erdoola
e
ge
add
isl_
v
al_
i
n
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven V
e
rdo
o
l
ae
g
e
Merge br
a
nch 'm
a
i
nt'
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
i
s
l_basic_map_gist: avoid modi
f
yi
n
g
in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sv
e
n V
e
rdoolaeg
e
add isl_local_space_i
s
_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
S
v
e
n
Ve
r
doolaege
isl_uni
o
n
_pw_multi_a
f
f_add
:
compute sum
o
n s
h
are
d
defi
n
ition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en
V
erdoolaege
declare isl_union_pw_qpo
l
y
n
omial
_
neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oolaege
decl
a
r
e isl_union_pw_multi_aff_i
n
t
er
s
ect_
p
a
r
am
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_union
_
pw_multi
_
aff_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdool
a
e
g
e
declare
i
sl_union_pw
_
mu
l
ti_aff_co
a
lesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
laege
d
e
c
l
a
r
e isl_uni
o
n_pw_mu
l
t
i
_aff_scale_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
doolaege
de
c
l
a
re isl_union_pw_m
u
lti_aff_plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n
Ve
r
doolaege
declar
e
isl_uni
o
n
_
pw_multi_aff_g
i
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
declare isl_union_pw_multi_aff_extract_p
w
_
mu
l
ti_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
declare isl_uni
o
n_pw_
m
u
l
ti_aff_from_pw_mu
l
t
i
_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolae
g
e
d
eclare
is
l
_pw_mu
l
ti_aff_reset_tu
p
le
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
d
e
c
lare isl_multi_*_flatten
_
ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_
m
ulti_aff_m
o
ve_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoola
e
ge
d
e
clare isl_uni
o
n
_
map_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oolaege
declare isl_union_set_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
e
r
dool
a
ege
declare
isl_mu
l
ti_aff_to_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
e
cl
a
re
i
sl_map_to_
s
tr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Ver
d
oo
l
a
e
ge
dec
l
a
re isl_space_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdo
o
laege
d
oc: expl
a
in use of memo
r
y management annotation on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoolae
g
e
doc: documen
t
*_to_str func
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoolaege
d
o
c: group function types a
n
d oper
a
tion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
doc: g
r
oup dimension
a
nd t
u
p
le id
e
ntifier functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoo
l
a
e
ge
doc: move isl_space operations to una
r
y/binary
operatio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
i
s
l
_union_pw_*_ext
r
ac
t
: ignore p
a
r
ameters in space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
only
a
llow
a
sin
g
le
i
s
l_p
w
_* object
w
ith
given domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rdoolaege
isl_union_pw_*_extract_*: r
e
name "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sve
n
Verdoolaeg
e
is
l
_union
_
pw_*: rename
"
dim"
field to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoola
e
g
e
isl_
a
st_
e
x
pr_from_con
s
traint: detect stride c
o
n
st
r
a
ints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolae
g
e
a
d
d i
s
l_ast_op_z
d
i
v
_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
v
e
n V
e
rdoolaege
add
i
sl_aff_coeffi
c
ient_sgn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
oo
l
aege
add
i
sl_va
l
_
abs_eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
m
a
rk is
l
_space_tuple_match as deprecated
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-25
Sven Verdoolaege
i
sl
0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven
V
erdoolaege
update AUT
H
OR
S
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdo
o
l
a
e
ge
Mer
g
e branc
h
'ma
i
nt'
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
isl_
m
ap_convex_
h
u
ll:
detect e
q
ualities befor
e
checki
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
isl_schedu
l
e_constraints
_
compute_sch
e
dule:
a
llow p
a
rtial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
S
v
en
V
erdoolaege
add
isl_map_n_basic_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven
Verd
o
olaege
split sc
h
e
d
u
ler code fro
m
s
c
hedule
object code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next