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_set_wrapped_domain_map
2014-11-20
S
v
e
n Verdoola
e
ge
a
d
d isl_set_wrapped_d
o
main_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoola
e
ge
add isl_u
n
ion_map_in
v
olves_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
add isl_u
n
ion_pw
_
*_find_dim_by_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaeg
e
ad
d
isl_p
w
_
*
_fin
d
_dim_by_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add i
s
l_multi_
*
_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_a
f
f
_
fin
d
_d
i
m_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union_ma
p
_find_
d
im_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
ad
d
isl_ba
s
ic_map_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
o
l
a
e
ge
add isl_
l
ocal_space_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoolaege
a
dd isl_uni
o
n
_pw_*_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoola
e
g
e
add isl_
u
n
ion_se
t
_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
add isl_
u
nio
n
_
pw_multi_aff_mult
i
_val_on
_
do
m
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Ve
r
do
o
laeg
e
add isl_p
w
_multi_aff_multi_val_
o
n_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoolaege
add
i
sl_multi_aff_multi_val
_
on_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add i
s
l_pw_a
f
f_val_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdool
a
ege
add isl_union_*_sc
a
l
e_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ve
n
Ve
r
do
o
laege
gene
r
alize
isl_pw_aff
_
sc
a
le_down_v
a
l
to isl_{
m
ult
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en
V
erdoo
l
a
ege
add isl_qpolynomia
l
_
fol
d
_sc
a
le_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Ve
r
doolaege
add isl_qpolynomial_sc
a
l
e
_
down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add
is
l
_val_inv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoolaege
isl_basic_
m
a
p_gist: avoid modifying inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sv
e
n
Ve
r
doolaege
a
dd isl_local_space_is_p
a
ram
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdoolae
g
e
isl_union_pw
_
multi_aff
_
a
dd: comp
u
te s
u
m
on
shared defin
i
ti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoolaege
decl
a
re isl_union_pw_qpolynomia
l
_
neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
declare isl_union_pw_
m
ult
i
_aff
_
i
n
tersect
_
params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verdoola
e
ge
declare isl_union_pw_multi_aff_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
d
e
cla
r
e isl_union_pw_multi_a
f
f_coa
l
e
s
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oolaege
declare isl_union_p
w
_multi_aff_scale_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdool
a
ege
decla
r
e isl_un
i
on_p
w
_
m
ulti_aff_plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdoolaege
declare
i
sl_
u
nion_pw_mul
t
i_aff_gis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare
i
sl_uni
o
n_
p
w_multi_aff_extract_p
w
_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdoola
e
ge
declar
e
isl_union_pw_multi_af
f
_from_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verd
o
olaege
declare
isl
_
pw_multi_a
f
f
_
res
e
t_tuple
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_multi_*_flatt
e
n_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
ola
e
ge
de
c
lare
isl_m
u
lti
_
aff_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
olaeg
e
decla
r
e isl
_
union_m
a
p_
t
o_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
doolaege
declare isl_union_s
e
t_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oolae
g
e
declare isl_m
u
l
t
i_aff_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
decl
a
re is
l
_map_t
o
_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdoolaege
decl
a
re
i
sl_space_
t
o
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdoolaege
do
c
:
e
x
p
l
ain use of memory management annotati
o
n on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven Ve
r
doola
e
ge
do
c
: document
*
_
to_str functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoolaege
doc: group
f
unction
t
ype
s
and opera
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdoolaege
doc: gr
o
up dimension and t
u
p
le identifier functi
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdoola
e
ge
d
oc: move isl_space operations to unary/bi
n
ary operations
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdool
a
ege
isl_un
i
on_pw_*_extrac
t
:
i
g
n
ore parameters in spac
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sve
n
Verdoolaege
only all
o
w
a
s
in
g
le is
l
_pw_* object
with
g
i
v
en dom
a
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
is
l
_union_pw
_
*_e
x
t
r
act_*: rename "dim" v
a
r
i
able to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verd
o
olaege
is
l
_
un
i
o
n
_pw_*: r
e
n
a
me
"
di
m
" field to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verd
o
o
l
ae
g
e
isl_ast_expr
_
fro
m
_
cons
t
raint:
detect stri
d
e c
o
nstraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en Verdoolaege
a
dd isl_ast_op_zdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verd
o
olaeg
e
add is
l
_aff_c
o
eff
i
cient_sgn
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 Ve
r
doolaeg
e
mark isl_space
_
t
uple_match as deprecate
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-25
Sven
V
erdoolaege
i
s
l 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven V
e
rd
o
olaege
update AUTHORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven V
e
rdoolaege
M
erge branc
h
'maint'
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
isl_m
a
p_convex
_
h
u
ll: d
e
tect
e
qualities before che
c
king
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
is
l
_sch
e
d
u
l
e_
c
on
s
traints_compute_schedule: allow partia
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
S
ven
V
erdo
o
laege
add isl_map_n_ba
s
ic_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven
V
erdoolaege
sp
l
it sche
d
uler code
from sch
e
dule object code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
m
a
ke i
s
l_af
f
_
priv
a
te
.
h more self-contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
doc: fix typ
o
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaeg
e
docu
m
ent isl
_
se
t
_
i
s
_
single
t
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdool
a
ege
doc: update i
s
l
_
*_list documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
olaege
d
o
c: c
l
ean
up isl_val
d
ocu
m
e
nt
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
isl_sch
e
dule_constrain
t
s_co
m
pute_schedule: compress
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n Verdoolaege
isl_sched_node:
rename "dim" fiel
d
to
"
s
p
ac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolae
g
e
add is
l
_mo
r
p
h
_g
e
t_var_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
v
e
n Ver
d
o
olaege
add isl_m
o
rph_get_do
m
_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n Verdoolaege
add isl_mor
p
h_g
e
t_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Verdo
o
laege
p
rivately exp
o
rt isl_aff_allo
c
_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
e
r
doolaege
a
dd isl_mat_is_scaled_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdoolaege
add isl_mat
_
get_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
isl_b
a
si
c
_
{set,map}_has
_
defining
_
equality: allo
w
p
a
s
s
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-28
S
ven Verdoola
e
ge
doc
u
ment
is
l
_s
p
ace_tuple_m
a
tch
a
s is
l
_
space_tuple_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sven V
e
r
doolaege
isl_map_plain_is_disjoint
:
c
h
ec
k
tuple space
s
before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
S
v
e
n
Verdoolaeg
e
i
s
l_space_tuple_
m
at
c
h: a
l
so i
g
nor
e
para
m
eter
s
in nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdool
a
ege
is
l
_space_tuple_
m
atch:
rename "
d
im"
variables to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
is
l
_
t
est: take options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verdoolaege
isl_un
i
on_*_add_
*
: perfor
m
check fo
r
"zero"
p
a
rt
u
n
cond
i
tionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n
V
er
d
o
o
laege
isl_u
n
ion_*_a
d
d_*: avoid duplicate che
c
ks
in callers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolae
g
e
isl_u
n
ion_map_is_si
n
g
le_
v
alue
d
: look a
t
domain spaces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolae
g
e
isl_union_
m
ap_is
_
single
_
valued: ex
t
ract out s
i
ngle_map_is_si
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en
V
erdoola
e
g
e
i
s
l
_
u
ni
o
n_map_is_single_valued:
add a couple of extra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdo
o
lae
g
e
isl_basic_map_o
u
tput_d
e
f
ining_
e
q
uality: accept di
v
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
extract out shar
e
d
isl_basic
_
m
a
p
_output_d
e
finin
g
_
e
quality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoola
e
ge
AS
T
generator: drop redu
n
d
ant lower
b
ounds on strided
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Ver
d
oolaege
Mer
g
e
b
ranch 'm
a
i
nt'
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_pw_*_gis
t
: special case context equal to
s
ingle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Verdoo
l
a
ege
isl_pw
_
*_gi
s
t: special case univer
s
e context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
erdoolaege
isl_
t
est:
g
eneralize isl_pw_qpolynomi
a
l_gi
s
t test
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sve
n
Verdoolaege
i
s
l
_map_simplify
.
c: drop spurious
semicolon
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolaege
i
sl_map_gist: retur
n
un
i
verse on g
i
s
t w
i
th emp
t
y s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verd
o
olaege
isl_input
.
c
:
ba
s
ic_map_rea
d
: c
h
eck
t
ype
of result
r
eturned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdo
o
laege
isl_bas
i
c_map_gist:
remove r
e
dundant div co
n
strai
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
S
v
en Verdoolaege
i
sl
_
basic_map
_
gist: remove obviously redunda
n
t re
d
uced
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoo
l
aege
isl_basic_map_gist: avoid
(
t
e
mporarily) adding cont
e
xt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Ve
r
doo
l
aege
i
s
l_m
a
p_subtra
c
t
: c
h
ec
k
if
i
np
u
ts are disj
o
int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next