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_tab_min_at_most_neg_one: be consistent about returning to nonnegative sample
2014-12-25
S
ven Verdoolaege
isl_tab_min_at_
m
os
t
_n
e
g_one: be consistent abou
t
re
t
urning
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ver
d
oolaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolae
g
e
isl
_
ast_b
u
ild_ast_from_sch
e
dule: remove
r
e
d
unda
n
t con
s
traints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven V
e
rdoolaege
add
i
sl_union_{set,map}_remove_redundanc
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ven Verdoolae
g
e
is
l
_ast_build_expr
.
c: isl_ast_expr_add
_
term: allow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ven V
e
rdoo
l
aege
isl_ast
_
codegen
.
c:
add_imp
l
i
e
d_guards: co
m
bine de
g
enerate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_as
t
_b
u
ild
_
e
xpr
.
c
: isl_
a
s
t_expr_add_term:
s
tore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven V
e
r
doo
l
aege
isl_ast_b
u
ild_ex
p
r
.
c
: try
_
extr
a
c
t
_mod: declare variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoo
l
a
e
ge
AST generato
r
: select unroll lower
bound
i
ntroducing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verd
o
olaege
isl_ast_codegen
.
c: mov
e
up at_of
f
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verd
o
olaege
isl_
a
st_codegen
.
c: extract out
is
_
b
ett
e
r
_low
e
r_bou
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-19
Sven V
e
rdo
o
laege
i
sl_
p
ri
n
ter_flush: actually cle
a
r
buffer when c
a
lled
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdo
o
laege
isl_map_gist: try and
e
xploit impl
i
cit constrai
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
v
en V
e
r
d
o
o
l
a
ege
isl_test
.
c:
t
e
st_gist: c
o
nsider test
i
nputs as s
e
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
erdoola
e
ge
add
isl
_
map_unshifted_simple_hull_f
r
om_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ver
d
oo
l
aege
add isl_union_set_
l
ist
_
union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ve
r
doolaeg
e
ad
d
isl_ba
s
ic_map_li
s
t_interse
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
v
en
Verdoolaege
i
s
l_map
.
c: fix white
s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
v
en Ver
d
oolaege
a
dd i
s
l_unio
n
_pw_multi_aff_li
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
Ver
d
oola
e
ge
add
i
sl_un
i
o
n
_
s
et_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
Verdoolae
g
e
add isl_
u
nion
_
map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Ve
r
doolaege
add isl_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Ver
d
oolaege
add
isl_basic_map
_
list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdoolaege
add isl_union_set_identity_union_pw_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
sl_un
i
on_set_
p
r
o
je
c
t_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolae
g
e
add isl_union_
m
ap_flat_do
m
ain_p
r
oduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rd
o
olaege
add isl_
u
nion_{set,map}_is
_
disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdo
o
laege
a
d
d isl
_
b
asic_map_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
a
dd isl_
u
nion_pw_
*
_subt
r
act_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add is
l
_pw_*_subtract
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_
u
ni
o
n_map_fac
t
or_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
o
l
aeg
e
add is
l
_union_m
a
p_factor_r
a
ng
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
add isl_unio
n
_
map_rang
e
_facto
r
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Ver
d
oolae
g
e
ad
d
isl_unio
n
_map_d
o
main
_
factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
add isl_union_ma
p
_
d
oma
i
n_f
a
ct
o
r_r
a
n
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_map
_
factor_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ve
n
Verdoola
e
ge
add isl_map
_
fac
t
or_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
add isl_space_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
a
dd isl_space_facto
r
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add isl_map_domain_factor_
d
o
mai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
add isl_map_domain_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
add isl_s
p
ace
_
domain_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add i
s
l_u
n
ion
_
set_
w
r
a
p
p
ed_dom
a
in_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add isl_s
e
t_wrapped_domain_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven
Verd
o
o
laege
a
dd isl_union_map_in
v
olves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union
_
pw_*_find_d
i
m_by
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n V
e
rdoolaege
add
i
s
l
_pw_*_f
i
nd_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoolaege
ad
d
isl
_
m
u
lti_*_find_dim_
b
y
_
na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdool
a
ege
a
dd isl_aff_fi
n
d_dim_by_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
add isl_union_
m
ap_find_di
m
_b
y
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven
V
erdoolaege
add isl_basic_map
_
fi
n
d_dim_
b
y_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olae
g
e
ad
d
i
s
l_local
_
sp
a
ce_
f
ind_dim
_
by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
add isl_unio
n
_pw_*
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
o
o
laege
add isl
_
union_s
e
t_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union_pw_
m
ulti_aff
_
multi_val_on_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en
Verdoolaege
add isl_p
w
_multi_a
f
f
_multi_val_on_do
m
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Ve
r
doo
l
aege
add i
s
l
_multi
_
aff_multi_val_on_spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
add isl_pw_af
f
_val_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdo
o
laege
a
dd isl_union_*_scale_dow
n
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoolaege
g
e
n
erali
z
e isl_pw_aff_
s
cal
e
_down_val to isl_{m
u
lti
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
a
dd isl_qpolynomial_
f
o
l
d_scale_down_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erd
o
olaege
add is
l
_qpolyn
o
mia
l
_scale_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoolaege
add isl_
v
a
l_inv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoola
e
ge
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
isl_basic
_
map_gist: avoid modifying in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sv
e
n V
e
rdoolaege
add i
s
l_local_space_is_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdoolaege
isl_union_pw_m
u
l
ti_a
f
f_add: comp
u
te sum on sha
r
ed
d
e
fin
i
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdool
a
e
ge
decl
a
re isl_u
n
io
n
_pw_qp
o
lynomial_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolaege
declare is
l
_union_pw_multi_a
f
f_inters
e
ct_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
d
oolae
g
e
d
e
clare isl_union_pw_multi_aff_gis
t
_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
ool
a
ege
declare
isl_
u
nion_pw_multi_aff_
c
oale
s
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
declare isl
_
u
n
ion_pw_multi_aff_sca
l
e
_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
e
c
lare i
s
l
_
unio
n
_
pw_
m
ul
t
i_aff_plain_is_equa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_union_pw_
m
ulti_aff_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdool
a
ege
declare
isl
_
union_pw_mult
i
_aff_extract_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoo
l
ae
g
e
de
c
lare isl_u
n
ion_p
w
_multi_
a
f
f_fr
o
m_pw
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
e
rdool
a
ege
de
c
lare
isl_pw_multi_aff_reset_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Ver
d
oolaege
decl
a
r
e
is
l
_m
u
lti_*_flatten_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
d
e
clar
e
i
s
l
_multi_aff_move_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
de
c
l
a
re
i
s
l
_
uni
o
n_map_
t
o_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en
Ver
d
oo
l
a
e
ge
declare
isl_union_se
t
_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verd
o
olaege
d
eclare isl_
m
u
l
t
i_aff_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
aege
dec
l
are isl_map_t
o
_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdool
a
ege
declare i
s
l
_s
p
ace_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ve
n
Verdoolaege
doc: explain use of memory management annotati
o
n on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sve
n
Verdoolaege
d
oc: document *_to_str functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
S
v
en Verdo
o
l
aege
d
oc: group functio
n
types a
n
d oper
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verd
o
olaege
doc: group dimension and
tuple iden
t
ifier functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdoolaege
doc: move isl_s
p
ace oper
a
tions to unar
y
/binary operations
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
oolaege
isl_union_pw_*_extract: ign
o
re par
a
meters in space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en Verdoola
e
ge
only allow
a single isl_pw_* object wit
h
given dom
a
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
isl_un
i
on_pw_*
_
ext
r
a
ct_*: rename "di
m
"
v
ariable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
oolaege
i
s
l_union_pw
_
*
:
rename
"dim" fi
e
ld to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
er
d
oo
l
aege
isl
_
ast_expr_from
_
const
r
a
i
nt
:
detect st
r
ide constr
a
ints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
v
e
n Verdoolae
g
e
add isl_ast
_
op
_
zdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verd
o
olaege
add isl_aff_coefficient_sgn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdool
a
ege
add
i
s
l_val_abs_eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
oolaege
mark isl_spa
c
e_tu
p
le_match as deprecated
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-25
Sven Verd
o
olae
g
e
isl 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sv
e
n Verdoolaege
u
pdate AUTHORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next