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_map_domain_factor_domain
2014-11-20
Sven Verdoolaege
add isl_map_domain_fact
o
r
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
a
dd isl_
m
ap_domai
n
_factor_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
ad
d
isl_space
_
domain_factor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoo
l
aege
a
dd isl_union_set_wra
p
ped_domain_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doo
l
aege
add isl_se
t
_wrap
p
ed_domain
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
a
d
d
isl_union
_
map
_
involves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union_pw_*_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdool
a
ege
a
d
d isl_pw_*_find_di
m
_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
isl_multi_*_find_d
i
m_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
add
i
s
l_
a
ff_find_dim
_
by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaeg
e
a
d
d isl_union_map_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
a
d
d
isl_basic
_
map_fin
d
_dim_by
_
nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaeg
e
add
i
sl_local
_
space_find_di
m
_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoo
l
aeg
e
a
d
d
i
sl_u
n
io
n
_pw_*_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Ve
r
doolaege
ad
d
is
l
_unio
n
_set_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
V
er
d
oolaege
add
i
s
l_union_pw_m
u
lti_
a
f
f
_
multi
_
val_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdo
o
lae
g
e
add isl_pw_multi_aff
_
mu
l
ti_val_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoo
l
aege
add
isl_multi_af
f
_
m
ulti_val_on_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
d
d isl_pw_aff_v
a
l_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
Verdoolaege
add isl_union_*_sca
l
e_do
w
n_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolae
g
e
generalize isl_pw_aff_scale_down_val to isl
_
{multi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
ad
d
isl_qpolynomi
a
l_fold_scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
sl_qpolynomial_sca
l
e_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add isl_va
l
_inv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
ge
Merge
b
ra
n
ch 'm
a
int'
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doola
e
g
e
is
l
_
b
asi
c
_map_gist: avoid modifying input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdoolaege
ad
d
isl_local_space_i
s
_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sv
e
n Verd
o
ol
a
e
ge
isl_
u
nion_pw_multi_aff_ad
d
: c
o
mput
e
sum o
n
shared defi
n
it
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoola
e
g
e
de
c
l
are isl_union_pw_qpolynomial_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
decla
r
e isl
_
u
n
i
on_pw_mult
i
_
a
ff
_
i
n
tersec
t
_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
do
o
laege
declare
i
sl_union_pw
_
multi
_
aff_
g
ist_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoo
l
aege
dec
l
are isl_
u
n
i
on_pw_mu
l
ti_aff
_
coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
olaege
declar
e
i
s
l_uni
o
n
_
pw_multi_aff_scale_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdo
o
laege
d
e
clare isl_union_pw
_
multi_aff_pl
a
in_is_equ
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
ool
a
ege
dec
l
are isl_u
n
ion_pw_multi_aff_
g
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
aege
declare isl_union_pw_mul
t
i_aff_extract_pw_multi
_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
laege
declare isl
_
union_pw_multi_aff_f
r
om_pw_m
u
lt
i
_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoolae
g
e
declare is
l
_pw_multi_a
f
f_reset_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoo
l
aege
declare isl_multi_*_flatten_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
V
erdoolaege
declar
e
isl_mu
l
ti_aff_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
de
c
la
r
e isl_union_map_to_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declar
e
isl_union_set_
t
o
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
d
oolaege
declare i
s
l_mul
t
i_aff_to_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
declare isl_ma
p
_to_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
ec
l
are isl_space_to_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
doolaege
doc: e
x
plain us
e
of m
e
mory management
a
nn
o
tation on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sv
e
n
V
erdool
a
ege
doc: docum
e
n
t *_to_s
t
r f
u
nctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoola
e
ge
do
c
:
gro
u
p
f
unction types and operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
r
doolaege
doc: group di
m
ensio
n
and tupl
e
identifier fun
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolae
g
e
doc: move isl_space operati
o
ns
t
o
u
n
ary/
b
inary oper
a
tions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n
V
erdoo
l
a
e
g
e
isl_un
i
on_
p
w
_
*_extract: ignor
e
par
a
meters in sp
a
ce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en Ve
r
d
oolaege
o
n
ly allow a si
n
gle isl_p
w
_* o
b
j
e
c
t with gi
v
en do
m
ain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
r
doolaege
i
sl_union
_
pw
_
*_extract_*: rename "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verd
o
o
l
aege
isl_u
n
ion_pw_*: r
e
n
ame "dim" fie
l
d t
o
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
isl_
a
st_expr_from_constraint: detect
stride constr
a
i
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ve
r
doolaege
add isl_ast_op
_
zdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdoolaeg
e
a
dd i
s
l_aff_coefficient_
s
gn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
add isl_val_abs_eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
Verd
o
olaege
ma
r
k
isl_sp
a
ce_tuple_m
a
t
ch as de
p
recat
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-25
Sven
Verdoolaege
isl 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sv
e
n Verdoolaege
upda
t
e AUTH
O
R
S
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sv
e
n
Verdoola
e
ge
Me
r
g
e
b
ranch 'm
a
i
nt'
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
isl_
m
ap_convex_hull: detect eq
u
a
l
ities before checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoola
e
ge
i
s
l_sch
e
dule_c
o
n
straints_compute_schedule: allow partia
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Ve
r
doolaege
add isl
_
map_n
_
basic_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
spl
i
t scheduler code f
r
om sche
d
ule obj
e
ct code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verd
o
olaege
make
i
sl_
a
ff_private
.
h
m
o
re self-contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoolae
g
e
doc: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rdool
a
e
g
e
document
i
sl_set_i
s
_singleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en Verdoolaeg
e
doc:
update isl_*_list documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rdoolae
g
e
d
o
c
: clea
n
up is
l
_
v
al doc
u
m
entation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
oolae
g
e
isl_schedule_
c
onstraints_comput
e
_sc
h
edule
:
c
ompress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n Verdool
a
ege
isl_sch
e
d_node:
rena
m
e
"dim" field
t
o
"sp
a
ce"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rdo
o
laege
a
d
d isl_morph_get_var_mult
i
_
af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdool
a
e
g
e
a
dd isl_morph_g
e
t_do
m
_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
e
n Verdoola
e
ge
add i
s
l_morph_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
p
r
ivately e
x
port i
s
l_aff_alloc_v
e
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoola
e
ge
add isl_mat_is
_
sc
a
le
d
_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
V
erdoolaege
add is
l
_mat_get
_
row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en
Ve
r
doolaege
is
l
_basic_{set,map}_has
_
defining_equality: allow passing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-28
Sven Verdoolaege
do
c
ument isl
_
s
pace_tuple_ma
t
ch as isl
_
spa
c
e
_tuple_is_e
q
ual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verdo
o
lae
g
e
isl_
m
ap_pl
a
in_is_disjoint: check
t
uple spaces be
f
o
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven Ver
d
o
olaege
isl_
s
pa
c
e_tuple_match: also i
g
nore
p
arameter
s
in nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdo
o
laege
isl
_
space
_
tuple_match:
r
ename "
d
im" va
r
i
ables t
o
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaeg
e
isl_test
:
take o
p
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdoolaege
isl_union_*_
a
dd_*: perfo
r
m che
c
k
for "zero" part uncondit
i
on
a
lly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
i
s
l
_
union_*_add_*: avoid d
u
plic
a
te c
h
ecks in callers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
is
l
_union_map_i
s
_single_value
d
:
l
o
ok at domain spaces
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdoola
e
ge
isl_union_ma
p
_is_single_
v
a
l
ued
:
extract out single
_
ma
p
_is_si
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n
Verdoola
e
ge
i
sl_u
n
ion_
m
ap
_
is_sin
g
le_valued: add a
c
o
up
l
e
of extr
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ver
d
oolaege
i
s
l
_
basic_map_output_d
e
fining_
e
quality
:
accept di
v
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ve
r
doolaeg
e
extr
a
ct o
u
t shared
isl_ba
s
ic
_
map_out
p
ut_de
f
ining_eq
u
ality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdoolae
g
e
AST generato
r
:
d
rop r
e
dundant lo
w
er
b
oun
d
s
o
n strided
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Ve
r
d
o
olaege
i
s
l_pw_*_gist: specia
l
case context
e
qu
a
l to single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_pw_*_gist: s
p
e
c
ial
case universe context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_test: generalize isl_pw_qp
o
lyn
o
m
i
a
l_gist tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
S
v
e
n Verdo
o
laege
i
s
l_m
a
p_s
i
mplify
.
c
:
dro
p
s
p
uri
o
us
semicolo
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoo
l
aege
isl_ma
p
_gist: ret
u
rn
universe
o
n
gist with empty
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolaege
isl_input
.
c
: b
a
sic_ma
p
_
r
ead
:
check type of result returned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next