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
Merge branch 'maint'
2014-11-20
Sven Verdoolaege
M
e
rge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
isl_basic_map_gist:
a
void modifying i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
S
ve
n
Verdoolaeg
e
a
dd isl
_
local_space_is_p
a
r
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
S
ven Verdoolaege
isl_un
i
o
n_pw_multi_aff_ad
d
: compute sum on shared definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
e
clare isl_union_pw_
q
polyno
m
ial_ne
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
declare isl_union_pw_multi_aff_int
e
rsect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolaege
d
eclare isl_union
_
p
w
_multi_aff_gist_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n V
e
rdoolaege
declare isl_union_
p
w
_
multi_af
f
_c
o
alesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
decl
a
re isl
_
u
n
i
o
n_p
w
_multi
_
aff_scale_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
declare isl_
u
nion_pw_multi_aff_plain_is
_
e
q
ua
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdool
a
ege
declar
e
isl_union_pw_multi_aff_g
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
do
o
laege
declare is
l
_uni
o
n_pw_multi_a
f
f_extract_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
laege
declare
isl_union
_
pw_multi_aff_fro
m
_pw_mu
l
ti
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaeg
e
declare is
l
_pw_multi_aff_reset_t
u
ple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oolaege
decl
a
re is
l
_
m
ulti_*_flatt
e
n_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n
V
erdoolaege
d
e
clare isl_multi_aff_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
decla
r
e isl_union_map_to
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoo
l
aege
dec
l
a
re isl_union_set_
t
o_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verdoolaege
de
c
lare
i
sl_multi_aff_t
o
_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
laege
decla
r
e
i
sl_ma
p
_
to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare i
s
l
_
space_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdo
o
l
aege
d
oc: explain use of mem
o
ry ma
n
a
g
e
m
e
n
t annotation on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoolae
g
e
doc: document
*_to_s
t
r functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
S
ven
V
e
r
doolaege
doc
:
group function types and op
e
rations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
doc
:
group dim
e
n
sio
n
and tu
p
le identifier
functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoola
e
ge
d
oc: move isl_space operations to unary/binary o
p
erations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sve
n
Ve
r
doolaege
isl_
u
nion_pw_
*
_extrac
t
: ignore parameters
in space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
Ver
d
oolae
g
e
only a
l
low a sin
g
le
i
sl
_
pw_* object
wi
t
h
g
iven domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolae
g
e
isl_union_pw_*_extrac
t
_
*: rename "d
i
m
" var
i
able to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdoolaege
isl_uni
o
n_pw
_
*: rename
"dim"
field to
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
i
sl_ast_expr_f
r
om_constraint: detect
st
r
i
d
e constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verd
o
olaege
add isl_as
t
_op_zdiv_
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ve
r
doolaege
add isl_aff_coefficient
_
sgn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaeg
e
add isl_va
l
_abs_eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erd
o
ol
a
e
ge
m
a
rk
isl_space_tuple_match as deprecat
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-25
Sve
n
Ve
r
doolaege
isl
0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
S
ven V
e
rdool
a
ege
upd
a
te AUTHORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
S
ven van Haastregt
doc: fix ty
p
os
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoo
l
aege
Mer
g
e branch
'
mai
n
t'
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoo
l
aege
isl_map_c
o
nvex_hull: detect equali
t
ies before
checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
isl
_
sc
h
edule_constraints_compute_schedule: allow
p
artial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
S
v
en V
e
r
d
oolaege
a
d
d i
s
l_map_n_basic_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoola
e
ge
split
s
cheduler
code from
schedule obje
c
t code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven
V
e
rdoolaege
make isl_af
f
_pri
v
a
t
e
.
h more self-contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdoolaege
doc:
fix ty
p
os
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
document isl_set_is_
s
ingl
e
t
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdoolaeg
e
doc: updat
e
isl
_
*_list docum
e
ntati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdoolaege
doc: clean up isl_val docum
e
ntation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoolaege
isl_schedule_
c
onstraints_co
m
pute_schedu
l
e: compress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
oolaege
isl_sched_node: rename "dim" fie
l
d to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdoolaege
a
dd isl_mor
p
h_get_var_mu
l
t
i
_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolae
g
e
add
isl_morp
h
_get_dom
_
s
p
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
oolaege
add isl_
m
orp
h
_get_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
pri
v
ately exp
o
rt
isl_aff_alloc_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoolaege
add i
s
l_mat_is_
s
cale
d
_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rdoolaeg
e
add isl_mat_get_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoo
l
aege
is
l
_b
a
sic_{s
e
t,map
}
_has_
d
efining_eq
u
ality: a
l
lo
w
passing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n van Haastregt
add ast_always
_
print_block option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-28
Sven Verdoo
l
a
e
ge
document isl_space_
t
uple_match as isl_sp
a
ce_
t
uple_is_
e
qual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verdoola
e
ge
isl_map_plai
n
_is_disjo
i
nt: check tuple spaces befor
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sve
n
Verdoolaege
isl_space_tuple_
m
a
t
c
h: al
s
o
i
g
nore
p
aram
e
ters in ne
s
te
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_space_tu
p
le
_
match: rename "dim" variables to "
s
pace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolae
g
e
isl_
t
est: take options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Verdoolaege
isl
_
u
n
i
o
n
_
*_ad
d
_*: perfor
m
ch
e
ck f
o
r "zero" part unconditionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rdoolaege
isl
_
union_*_add_*
:
avoid duplicat
e
checks in c
a
l
l
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
e
n Ve
r
doolaeg
e
isl
_
u
ni
o
n_m
a
p_i
s
_single_valued: l
o
o
k
at
do
m
a
in sp
a
ces
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verd
o
olaege
i
s
l
_
union_
m
ap_is_single_valued: extract
o
ut sin
g
le_map_is_s
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdo
o
lae
g
e
isl_union_map_is_si
n
gle_valued
:
add a cou
p
le of extra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rdo
o
l
a
ege
isl
_
basic_map_output_defining_eq
u
ality: accept divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Verdoolaege
extract out shared isl_basic_map_output_defi
n
ing_equal
i
ty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdool
a
ege
AST gen
e
rator: drop red
u
ndant lower bounds on
s
trided
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
V
e
r
d
o
olaege
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
erdoolaege
is
l
_pw_
*
_gist: sp
e
c
ial case con
t
ext equal to sing
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rdoolaeg
e
isl_pw_*_gi
s
t
:
special case
u
niverse con
t
ext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdoolaege
isl_test: generalize
i
s
l
_p
w
_qpolynomial_gist tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sv
e
n Verdo
o
laege
isl
_
ma
p
_
s
implify
.
c: drop s
p
uri
o
u
s
semicolon
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
S
v
e
n Verdo
o
laeg
e
isl_map
_
gis
t
: return universe on gist
with empty set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolaege
i
sl_inp
u
t
.
c: basic_map_read: check type
of result returned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_basi
c
_map_gist:
remove redundant div constrain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
S
ve
n
Verdool
a
eg
e
isl_basic_ma
p
_
g
i
st: remove obviously redundant redu
c
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_basic_map
_
gi
s
t: avoid (t
e
m
po
r
arily) add
i
n
g
context
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl
_
ma
p
_sub
t
r
act: check if input
s
ar
e
d
isjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
S
v
en V
e
rdoolaege
d
o
c/Submi
t
tingP
a
t
ches: mention t
h
at each mail should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
J
oha
n
nes Doerfert
A
dd a
n
A
S
T expr
e
ssion representi
n
g the &
-
opera
t
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Johannes Do
e
rfert
Add
AST expressi
o
n builder functions f
o
r compariso
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
d
oc: fix documen
t
at
i
on
of isl_basic_set
_
{in,}equalit
i
es_matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoola
e
ge
isl_convex_hull
.
c: convex_hull
_
pair: add missing retu
r
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-04
Sven
V
erdoolaege
isl_map_{domain,range
}
_product: r
e
m
o
ve possible obvi
o
us
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdo
o
laege
isl_map
.
c: map
_
product: r
e
n
ame "dim
_
prod
u
ct" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Ver
d
ool
a
ege
a
d
d
isl_m
a
p_re
m
ove_obvious_duplicates
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoola
e
g
e
isl_map_no
r
m
alize
:
extract out sort_and_r
e
move_duplicates
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
is
l
_map_nor
m
alize: rem
o
ve empty parts befor
e
s
o
rting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdool
a
ege
isl_basic_map_s
o
rt_con
s
traints:
u
se isl_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
S
v
e
n
V
erdo
o
laege
isl_
b
a
s
ic_map_sort
_
constr
a
in
t
s: skip sorting
i
f
constrain
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verd
o
o
l
aege
is
l
_b
a
sic_map_align_divs:
o
n
ly
extend dst
when needed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sv
e
n
Verdoolaege
clean up
is
l
_basic_map_align_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
isl_map_s
i
m
plify
.
c
:
r
emo
v
e_redundant_divs: update outdate
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven V
e
rdoolaege
isl
_
reordering_dump: a
l
s
o
dump
t
arget sp
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
S
v
en V
e
rdoolaege
u
pd
a
te f
o
r change
in Ta
r
g
e
tOptions refc
o
unting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next