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_space_factor_range
2014-11-20
Sven V
e
rdoolaege
add is
l
_space_
f
actor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Ver
d
ool
a
ege
a
d
d isl
_
map_domain_fac
t
o
r
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
a
dd isl_map_do
m
ain_factor_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven
V
erdoo
l
aege
add i
s
l
_sp
a
ce
_
domain
_
fac
t
or_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdool
a
ege
add isl_uni
o
n_set_wrapped_domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
add
isl_set_wrap
p
ed_domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdool
a
ege
a
d
d
i
sl_u
n
ion_map_involves_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add i
s
l_
u
ni
o
n_pw_*_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Ve
r
doolaege
add isl_pw_*_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_multi_*_fin
d
_d
i
m_
b
y_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
add
isl_a
f
f_fin
d
_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
add isl
_
union
_
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_basic_map_find_di
m
_
b
y
_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoola
e
ge
add isl_local_spa
c
e_
f
ind_di
m
_by
_
name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
e
rdoolaege
add i
s
l_union_pw_*_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_u
n
ion_set
_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add
i
s
l
_u
n
ion_pw_multi_aff
_
m
ulti
_
val_on_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
Ve
r
d
o
olaeg
e
add isl_pw_multi_aff_multi_val_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoolaege
add i
s
l
_
multi_aff_multi_val_on_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
isl
_
pw_
a
ff_va
l
_on
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add i
s
l
_union_*_scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
g
e
neralize isl_pw_af
f
_scal
e
_down_val to isl
_
{multi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
V
erdoolaege
add isl_q
p
olynom
i
al
_
fol
d
_
sca
l
e_down_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
ola
e
ge
add isl_qpolynomial_sc
a
le
_
d
o
w
n
_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add
i
s
l
_val_inv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
Me
r
ge
b
ra
n
c
h 'maint'
commit
|
commitdiff
|
tree
2014-11-20
S
v
en
Verdoolaege
isl_basic_map_gi
s
t: avoid modifyi
n
g input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sve
n
Verdoolae
g
e
add is
l
_
local_space_i
s
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sve
n
Verdoolaege
i
s
l_union_pw
_
multi_a
f
f_ad
d
:
c
omp
u
te sum on
s
hared definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
olaege
de
c
la
r
e
i
s
l_
u
nion
_
pw_qpoly
n
o
mial_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Ve
r
doolaege
declare i
s
l
_un
i
o
n_pw_
m
ult
i
_af
f
_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
olae
g
e
decla
r
e isl_union_pw_
m
ulti_aff_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
dec
l
are isl_union_
p
w_m
u
lt
i
_aff_
c
o
alesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolaege
d
eclare i
s
l_union_pw_mu
l
ti_aff_
s
cal
e
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdoolaege
decl
a
re isl
_
union_pw_multi_aff_pl
a
i
n
_i
s
_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolaege
declare isl_unio
n
_pw_
m
ulti_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdo
o
laege
declar
e
isl_u
n
ion_p
w
_multi_aff_extract_pw_m
u
lti_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
a
ege
d
eclar
e
i
s
l_union_pw_multi_aff_from_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdoolaege
declare isl_p
w
_multi_af
f
_
r
eset_tuple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_m
u
lti_*_flatt
e
n_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdoolaege
declare isl_multi_af
f
_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declar
e
isl_union_map_to_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n Verd
o
olaege
declare isl_
u
nion_set_to_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolaege
declare isl_mul
t
i_aff_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaeg
e
decla
r
e
i
sl
_
map_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oolaege
decl
a
re isl_space_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoola
e
ge
doc
:
explain
u
se of memory management annot
a
tion on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verd
o
olae
g
e
doc: documen
t
*_to_str functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoolaege
do
c
: group fun
c
tion type
s
and operati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdoolaege
doc:
g
roup dimension
a
nd t
u
ple identifier functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdo
o
laege
d
o
c
: move i
s
l_spa
c
e operations to
u
nary/b
i
nary ope
r
atio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rd
o
ola
e
ge
isl_union_pw_*
_
extract: ignore parame
t
ers in space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n
V
erdoo
l
a
ege
only allo
w
a si
n
gle isl_pw_* object with given dom
a
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoo
l
aeg
e
isl_union_
p
w_*_extract_*: ren
a
me
"dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
isl_union_pw_*: rename "d
i
m"
f
ield to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ve
r
doolaege
i
s
l_ast_expr_
f
rom_co
n
strai
n
t: d
e
t
ect st
r
ide
c
onstra
i
nt
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdoolaege
add isl_ast
_
o
p_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
Sven Verdoolaege
add
isl_v
a
l_abs_eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaeg
e
mark isl_spac
e
_t
u
p
l
e_match as
d
eprecated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-25
Sve
n
V
e
rdoolaege
isl 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sv
e
n
Verdoolaege
update AUTHORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven van Haastregt
doc: fix ty
p
o
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaeg
e
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2014-10-13
Sven
Verdoolaege
isl
_
map_convex_hull: dete
c
t eq
u
alities before checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Ver
d
o
o
lae
g
e
isl_schedule_con
s
train
t
s
_
c
o
mpute_schedule: allow p
a
rtial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
a
dd isl_
m
ap_n_bas
i
c_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdo
o
laege
split
scheduler code fro
m
s
chedule object code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
make isl_aff_pri
v
ate
.
h
m
o
r
e self-
c
ontaine
d
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
Sven
V
erdoolaege
document is
l
_set_
i
s_si
n
gleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
doc: upda
t
e is
l
_*_list
docume
n
tat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
V
erdool
a
ege
doc:
clea
n
up is
l
_val documentati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
oolaege
isl_schedu
l
e_constraint
s
_com
p
u
t
e_schedule:
c
omp
r
ess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
i
sl_sched_nod
e
: re
n
ame "d
i
m" fie
l
d
t
o
"
s
pace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rdoolaeg
e
add isl_
m
orph_g
e
t
_
var_m
u
lti_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
olaege
a
d
d isl_morph_get_d
o
m_sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rdoolaege
add is
l
_morph_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Verdoola
e
g
e
privat
e
ly e
x
port isl_aff_a
l
loc_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en
V
erd
o
ol
a
e
g
e
add i
s
l_mat_is_scaled_ide
n
tity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoo
l
aege
add isl_
m
a
t
_get_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Ve
r
doolaege
i
s
l_basic_{set,map}_has_defining_e
q
u
a
lity: allow passin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n van
H
aastregt
a
dd
a
st_always_
p
r
i
n
t_block o
p
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-28
Sven
Verdoo
l
a
ege
docum
e
nt isl_spac
e
_tup
l
e
_match as isl
_
space_tuple_i
s
_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sve
n
Verdoolaege
isl_
m
ap_pla
i
n_is_dis
j
oint: check
tuple spaces before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven Ve
r
doolae
g
e
isl_space_tuple_match:
a
lso i
g
nor
e
p
a
ra
m
e
ters in
n
est
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rdoolae
g
e
isl_space_t
u
p
le_match: rename "d
i
m
"
variables to "spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
erdoolae
g
e
isl
_
test: t
a
ke options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdool
a
e
ge
isl_
u
n
ion
_
*
_
add_*: perform chec
k
f
o
r
"zero"
p
a
rt unconditional
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verd
o
ol
a
ege
isl_union_
*
_add_*: avoid du
p
lica
t
e
chec
k
s in calle
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdoolaeg
e
is
l
_union_map
_
i
s
_single_valued: look
at domain
spaces
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
erdool
a
ege
isl_un
i
o
n_m
a
p_is_single
_
valued: extract
out single_map_
i
s_s
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoola
e
ge
isl_u
n
ion_map_is_
s
ingle_valued: ad
d
a couple of ext
r
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ve
r
dool
a
ege
isl_basic_map_output_defining_equality: accept divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoola
e
ge
e
xtract out sha
r
ed i
s
l
_
basic_map_ou
t
put_definin
g
_equ
a
lity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ver
d
oo
l
aege
AST generat
o
r: drop red
u
n
dant lowe
r
bou
n
ds on strided
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verdoolaege
Merg
e
bran
c
h 'maint'
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rdoolaege
isl_p
w
_*_gist:
s
p
ecial
case co
n
te
x
t
e
q
ual
t
o sing
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
erd
o
olaege
isl_pw
_
*_
g
ist:
s
peci
a
l case universe context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Ver
d
oolae
g
e
isl_
t
est: generalize isl
_
pw_
q
polynomial_gist tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next