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_aff_find_dim_by_name
2014-11-20
Sve
n
Verdoolae
g
e
a
dd i
s
l_aff
_
find_
d
im_
b
y_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdo
o
laege
a
dd isl_u
n
ion_map_find_dim_b
y
_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_b
a
sic_map_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
add isl_local_space_find
_
dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doo
l
aege
add i
s
l_
u
n
i
on_pw_*_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add i
s
l_union_set_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoola
e
ge
add is
l
_union_pw_multi_af
f
_
m
ul
t
i
_val_on_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven
Ve
r
d
oo
l
ae
g
e
add isl
_
pw_multi_
a
ff_multi_v
a
l
_
on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
e
g
e
add isl_multi_aff_multi_val_on_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Ve
r
doolaege
ad
d
isl_pw_aff_val_on_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
ad
d
isl
_
u
n
ion_*_scale
_
d
ow
n
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
gen
e
rali
z
e
isl
_
pw_af
f
_scale_down_
v
al to isl
_
{
mu
l
ti
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verd
o
olaege
add isl_qpolynomial_fold_
s
cale_down
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
ge
add isl_
q
poly
n
omial_
s
cale_dow
n
_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add isl_val
_
inv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolae
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
o
laege
isl_ba
s
ic_map_gist: avoid m
o
dify
i
ng input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sv
e
n Verdoolaege
ad
d
isl_local_
s
pace_is_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdoolaege
isl_
u
nion_pw_multi_aff_
a
dd: comp
u
te s
u
m on shared d
e
fi
n
i
tio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
eclare isl_union_
p
w_qpolyn
o
m
i
a
l
_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
V
erdoolaeg
e
de
c
lare isl_un
i
on_pw_multi_aff_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
e
r
doolaege
de
c
lare isl_union_pw_mult
i
_aff_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erd
o
o
l
aege
decl
a
re isl_unio
n
_pw_multi_aff_co
a
l
esce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdo
o
l
aege
d
eclare isl_union_pw_multi_aff_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n Verdoolaeg
e
declare isl_uni
o
n
_
p
w_multi_aff_plai
n
_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoo
l
a
e
ge
declar
e
i
s
l_union_pw_multi_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaeg
e
d
e
cla
r
e isl_union_pw_mul
t
i_aff_extract_pw_
m
ulti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoolaeg
e
declare i
s
l_union_pw
_
multi_
a
f
f
_from_p
w
_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verdoo
l
aege
d
e
clar
e
isl_pw_mul
t
i_aff_reset
_
tuple
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdool
a
e
g
e
declare
is
l
_m
u
l
ti_*_flatten_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n
Ve
r
doolaege
dec
l
are isl_multi_aff_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
l
a
ege
decl
a
re
isl_un
i
on_map_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
o
laege
declare isl_union_set_
t
o_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolaege
declar
e
isl_m
u
l
t
i_a
f
f_to_
s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolaege
dec
l
are
isl_map
_
t
o_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_
s
p
ace_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
aege
d
oc: explain use of m
e
m
o
ry m
a
nagement annotation on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
S
ven
V
erdoolaege
doc: docu
m
ent
*_to_str fu
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoolaege
doc: gro
u
p function types and operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven
V
erdoolaege
doc: group dimension and
t
uple identifier f
u
nc
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdo
o
l
aege
d
oc: move isl_spac
e
operations to u
n
a
r
y/binary ope
r
ati
o
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
isl
_
union_pw_
*
_
extract: ig
n
o
re param
e
ters in s
p
ace
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolae
g
e
on
l
y allow a si
n
g
l
e isl_pw_* object w
i
th given domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erd
o
olaege
isl_union_pw_*_ex
t
ract_*: rename "dim" var
i
able to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolae
g
e
i
sl_union_pw_*:
rename "dim
"
field t
o
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
oolaege
isl
_
ast_
e
xpr
_
from_cons
t
raint: detect stride con
s
traint
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven
V
erdoolaeg
e
ad
d
is
l
_ast_op_zdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdoolae
g
e
add isl_aff_coefficient_sgn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en Verdoolaege
add isl_val_abs_eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ve
r
doolaege
mark is
l
_sp
a
ce_tuple_m
a
t
c
h
as depre
c
ated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-25
S
v
e
n V
e
rdoolaege
isl 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
update AUTHORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven van
H
aastregt
doc
:
fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven
Verdoolaege
M
erge b
r
anch 'mai
n
t'
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaeg
e
isl_ma
p
_co
n
vex_hull: detect equ
a
lities before ch
e
cki
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
isl_
s
chedule_constraint
s
_comp
u
te_schedule: all
o
w partial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
S
v
e
n Verdool
a
e
g
e
add i
s
l_map_n_basic
_
ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verd
o
olaege
spl
i
t schedule
r
co
d
e
fr
o
m
s
che
d
ule
obje
c
t code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolae
g
e
make is
l
_a
f
f_pr
i
vate
.
h more s
e
lf
-
contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
doc:
fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Verdoolaege
d
o
c
ument isl_se
t
_is
_
singleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
doc: update
isl
_
*_list
d
ocumentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verd
o
olaege
doc: cl
e
an up
i
sl_val
documen
t
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
ven
V
erdoolaege
isl_s
c
hed
u
le_constraints_co
m
pute_schedule:
c
o
mpress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n Verdoolaeg
e
isl_sch
e
d_
n
o
d
e: rename "dim" field to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
olaege
ad
d
isl_morph_get_v
a
r_m
u
lti_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Ver
d
oo
l
a
e
ge
add isl_morph_get_dom_sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdoolaege
a
d
d i
s
l_morph_ge
t
_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Verdoolaege
private
l
y
e
xport
i
s
l_aff_alloc_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en Verdo
o
laege
a
dd is
l
_mat_is_scaled_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rdo
o
laege
ad
d
isl_mat_ge
t
_ro
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
olaege
isl_basic_{set,map}_has_defi
n
ing_equ
a
l
ity: allo
w
pa
s
sin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven v
a
n H
a
astre
g
t
add
a
st_a
l
w
a
ys_print
_
block option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-28
Sven Verdool
a
e
ge
docum
e
nt isl_spac
e
_tuple_ma
t
ch as isl_sp
a
ce_tuple_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven
V
erdoolae
g
e
isl_m
a
p_plain_is
_
di
s
joint
:
check tupl
e
s
pace
s
b
e
fore
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sve
n
V
e
rdoolaeg
e
isl_space_tuple_match: als
o
i
g
nore
parame
t
ers in
n
ested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
ven V
e
rdool
a
ege
isl_space_tuple_match
:
rename "dim" variables
t
o "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ver
d
oola
e
g
e
isl_t
e
st: take opti
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdool
a
e
g
e
i
s
l
_union_*_add_*: perform check for "zero" part
unconditionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoola
e
ge
isl_union_*_
a
dd_*: avoid duplicate checks in call
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Ver
d
oolaege
isl_union_map_is_single_val
u
ed: loo
k
a
t
d
omain s
p
aces
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_union_map_is_single_
v
a
lued: ext
r
a
c
t
out
s
i
ngle_map_
i
s_si
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Verdoolaege
is
l
_
union_ma
p
_
is_single_va
l
ued: add a
c
ou
p
le of extra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdoola
e
g
e
i
sl_b
a
sic
_
map_output_def
i
ning_equality:
accept
d
ivs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdo
o
laege
extrac
t
out shar
e
d isl_basic_map
_
out
p
ut_def
i
ning_equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoola
e
ge
AS
T
g
enerator
:
drop redu
n
da
n
t lower bounds
on st
r
ided
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Verdoolaege
Merge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdo
o
laeg
e
is
l
_pw_*_gist: special case context equal to si
n
gle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ver
d
oolaege
isl_pw_*_gist:
specia
l
c
a
se univer
s
e cont
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Verdool
a
ege
isl_test: gene
r
alize isl_pw_qpolyno
m
ial_g
i
st tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven
V
e
rd
o
o
laege
isl_map_simplify
.
c
: drop s
p
urio
u
s semicolon
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolae
g
e
isl_map_gi
s
t
:
return universe on gist w
i
th empty
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoo
l
a
ege
isl_inpu
t
.
c: b
a
si
c
_map_rea
d
: check
t
yp
e
of
resu
l
t returned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_basic_ma
p
_gist
:
remove r
e
dun
d
a
nt
d
i
v c
o
nstraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven
V
erdoolae
g
e
i
s
l_basi
c
_map_gist: remov
e
obviously redundant reduced
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoo
l
aege
isl_basic_map_gist: av
o
id (te
m
porarily) addi
n
g context
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
S
ven Verdoolae
g
e
is
l
_map_su
b
tract: check if inputs are dis
j
oint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
S
ven Ve
r
do
o
laege
doc/S
u
b
m
i
tting
P
atches: mention that ea
c
h mail should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Johanne
s
Doerfert
A
d
d an
AST
e
xpression rep
r
es
e
nting the &-oper
a
t
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Johannes Doerf
e
rt
Ad
d
AST
e
xpre
s
sion builder func
t
ions for co
m
parisons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next