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_wrapped_domain_map
2014-11-20
S
v
e
n
Verdoolaege
add isl_union_se
t
_wrapped_domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verd
o
ola
e
ge
add isl_
s
et_wrapped_domai
n
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
add isl_union_map
_
involves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
add isl_un
i
on_p
w
_*_find
_
dim_by_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
add isl_pw_*_f
i
nd_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add isl
_
multi_*_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add
isl_aff_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union_map_fi
n
d_dim
_
b
y_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_basic_m
a
p_find_dim_by_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
ege
a
dd isl_local_
s
pace_find_dim_by_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verd
o
olaege
add isl_
u
nion_pw_*_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoolaege
add i
s
l
_un
i
o
n_set_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
is
l
_
u
nion_pw_multi_aff_mu
l
t
i
_va
l
_on_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
d
d isl_pw_multi_aff_m
u
lti_val_on_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
dd is
l
_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
V
erdoolaege
add isl_pw
_
aff_val_on
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add
i
sl_u
n
ion_*_scale_d
o
wn_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
generaliz
e
isl_pw_aff_sc
a
le
_
down_val to
i
s
l_{multi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add isl_qpolynomial_
f
o
ld_
s
cale_down_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
a
d
d isl_
q
p
ol
y
nomial_scale_down
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
ool
a
ege
add
isl_val_inv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Ver
d
o
olaege
i
s
l_basi
c
_map_gist: avoid mo
d
if
y
ing input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdoolaege
add
i
sl
_
local_space_is_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
S
ven Ver
d
oolae
g
e
isl_union_pw_multi_aff_add: compu
t
e
s
um on shared defini
t
io
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
e
clare isl_uni
o
n_pw_qpolynomi
a
l_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verdoo
l
aege
declare
i
sl_union_pw_multi_aff_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
e
clare
isl_union_pw_
m
u
lti_aff_gist_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdoolaege
d
e
clare isl_
u
n
i
on_pw
_
mult
i
_a
f
f
_
coale
s
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oolaege
dec
l
are
isl
_
union_
p
w_m
u
lti_
a
ff_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolaege
declare isl_uni
o
n_pw
_
mul
t
i
_
a
ff_pla
i
n_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaeg
e
declare
i
s
l_union_pw
_
m
u
lti_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
e
c
lare isl_union
_
p
w_multi_aff_extract_pw
_
multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare i
s
l_
u
n
ion_pw
_
mu
l
t
i
_aff_
f
rom
_
pw_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n
Verdo
o
laege
declare is
l
_
p
w_mul
t
i_aff_reset_tuple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolae
g
e
declare
i
sl
_
multi_*_flatt
e
n_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
olaege
declare isl_mu
l
ti_
a
ff
_
move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verdoolaege
d
eclare isl_union_map_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoolaege
declare isl_un
i
on_set
_
to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdool
a
ege
decla
r
e isl_multi_aff_to_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven
Verdoolaege
declare isl_map_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare is
l
_space_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verd
o
ol
a
ege
doc: explain
u
se of memory
management
ann
o
tation on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven
V
erd
o
olae
g
e
doc: document *_to
_
s
t
r f
u
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven V
e
rdool
a
ege
doc: group funct
i
o
n types and
ope
r
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdo
o
laege
d
o
c:
g
roup dimens
i
on
a
nd tupl
e
id
e
ntifier f
u
ncti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verd
o
olae
g
e
d
o
c
:
move i
s
l_space ope
r
ations to unary/bin
a
ry
operat
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sve
n
Ver
d
oolaege
isl_union_pw_*_extract:
i
gnor
e
p
ar
a
meters
in space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdoolaege
onl
y
allow a singl
e
isl_pw_* o
b
ject w
i
th given doma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sve
n
Verdo
o
laege
isl_union_pw_
*
_extr
a
c
t
_*: rename
"
d
im" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sve
n
Verdoolaege
isl_unio
n
_pw_*: rename
"
d
i
m" fi
e
ld to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoola
e
g
e
i
sl_ast_expr_from_co
n
straint: detect stride constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolae
g
e
add isl_ast_op_zdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en
V
erd
o
ol
a
ege
a
d
d isl_aff_
c
o
effic
i
ent_s
g
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
oolaege
add
i
s
l_val_ab
s
_
eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
mark
i
sl_space_tuple_match
as depreca
t
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-25
Sven V
e
rdoolaeg
e
i
s
l
0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
S
ven Verdoolaege
u
p
date A
U
THOR
S
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven Ve
r
doola
e
g
e
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2014-10-13
S
v
en Ver
d
o
o
laege
i
sl_map_convex_hul
l
: de
t
ect equalities befor
e
checki
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sve
n
Verdoolaege
isl_s
c
hedule_constrai
n
ts_compute_sched
u
l
e: allow partial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sv
e
n Verdoola
e
ge
a
dd
i
sl_map_n_basic_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
split scheduler code from
s
c
hedule
o
bject code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sv
e
n Verdoolaege
make isl_aff_pri
v
ate
.
h more self-contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en Verd
o
o
laege
d
o
c:
f
ix
t
ypos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
oolaege
document isl_set_is_singlet
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
doc: updat
e
isl
_
*_list d
o
cumentati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n
V
erdoolaege
doc: cle
a
n up isl_val documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdoo
l
aeg
e
isl_s
c
hedule_const
r
aints_compute_sc
h
e
d
u
l
e:
c
ompress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n
V
erdoolaege
isl_
s
ched
_
n
o
d
e: r
e
name "
d
im" field to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoolaege
ad
d
isl_morp
h
_get_
v
ar
_
multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoola
e
ge
add isl_
m
orph_
g
et_
d
om_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoola
e
ge
add isl_morph_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
ola
e
ge
privately
e
xport isl_aff_alloc_v
e
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Verdoolaeg
e
add isl_mat_is_scaled_iden
t
i
ty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoo
l
aege
add isl_
m
at_get_r
o
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n Verdoolaege
is
l
_bas
i
c_
{
set,map}_has_defining
_
equal
i
ty: allow passing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-28
Sven Verdoolaege
document isl_space_
t
uple_match as
i
sl_space_tuple_is_eq
u
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven
V
erdoolaeg
e
isl_map_
p
la
i
n
_
is_disjo
i
nt
:
c
h
e
ck tupl
e
space
s
b
e
fore
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verdoolaege
isl_sp
a
ce
_
t
u
p
l
e_match: also ignore
pa
r
ameters i
n
nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verd
o
olaege
i
s
l
_
space_
t
uple_m
a
tc
h
: r
e
n
ame "dim"
v
ariables to
"
s
p
ace
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
e
n V
e
rd
o
olae
g
e
isl_test
:
take options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ve
r
doolaege
i
sl_u
n
ion_*_
a
dd_*:
p
erform chec
k
for
"zero
"
p
a
r
t
u
n
c
ond
i
t
i
onally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdoolaege
i
s
l
_
union_*_
a
dd_*
:
av
o
i
d dupli
c
a
t
e checks in
call
e
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ver
d
oolaege
i
s
l_union_map_is_si
n
gle_valued: look at
d
o
m
ain spaces
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
e
n Ver
d
oolaege
i
sl
_
uni
o
n_map_is_
s
ingle_valu
e
d
:
extract
out single_map_is_si
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Ve
r
d
o
olaege
isl_union_map_is_singl
e
_valued: add a couple of
e
xtra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
erdoolaeg
e
isl_basic_map_output_defi
n
i
n
g_equality: a
c
c
e
pt div
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdo
o
laege
extra
c
t out
share
d
isl_basic_map_output_de
f
ining
_
equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rdoolaeg
e
AS
T
generato
r
: drop redundant lowe
r
bounds on
s
tride
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoo
l
a
e
ge
Merg
e
bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verdoolaege
isl_
p
w
_
*_gist: special case context equal to si
n
gl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoo
l
aege
isl_pw_*
_
g
i
st: s
p
ecial case
univ
e
rse context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
erdoo
l
aege
isl
_
test: generalize isl_p
w
_
q
polynomial_gist tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sv
e
n
V
e
r
doo
l
aege
is
l
_ma
p
_sim
p
lify
.
c: drop spurious semicolon
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolaege
is
l
_map_g
i
s
t
:
retu
r
n universe on gist with empty set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdo
o
laege
i
sl_input
.
c
:
b
asic_map_read: che
c
k type of result returned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven V
e
rd
o
o
laege
isl_
b
asic_map_g
i
s
t
:
remove r
e
dundant div cons
t
r
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sve
n
Verdoolaeg
e
i
s
l
_basic_map_gist: remove
o
bviou
s
ly
r
e
d
undant reduc
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdo
o
la
e
g
e
isl_basic_map_gis
t
: avoid (temporarily) adding c
o
nte
x
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
