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_map_involves_dims
2014-11-20
Sven Verdoolae
g
e
a
dd isl_union_ma
p
_involves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verd
o
olaege
add isl_union_pw
_
*_find_dim_by_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
do
o
laege
a
dd isl_pw_*_find
_
d
im_
b
y
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven
V
e
rdoolaege
a
d
d isl_mul
t
i_*_
f
ind_dim_
b
y
_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
Verd
o
o
l
aege
a
d
d
is
l
_
a
ff_find_dim
_
b
y
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdool
a
ege
ad
d
i
s
l_union_map_find_dim_by_
n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
add isl_basic_map_find_dim_b
y
_
n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven V
e
rd
o
olaege
add isl_local_space_find_dim
_
by
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_uni
o
n_
p
w_*_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
ad
d
isl_union
_
set
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rd
o
olaege
add is
l
_
u
n
i
on_pw
_
multi_aff
_
multi_val_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
add is
l
_pw_multi
_
aff_multi_val_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
o
o
l
aege
add
i
sl_multi_a
f
f_multi_val_on
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdo
o
l
a
ege
ad
d
isl_pw_aff_v
a
l_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
ad
d
isl_union_
*
_scale_down_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoola
e
ge
g
e
n
eralize isl
_
pw_aff_scale_down_val to isl_{multi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
ege
add isl_qpolynomial_f
o
l
d
_
s
c
ale_do
w
n_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
ad
d
isl_qpol
y
nomial
_
sc
a
le_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
add isl_val_inv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verd
o
olaege
Me
r
g
e
b
r
anch 'maint'
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaeg
e
is
l
_basic_map_
g
i
s
t: av
o
id modifying in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sv
e
n Verdoolaege
add isl_local_space_is
_
p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdoolaege
isl_union_
p
w
_
m
ulti_aff_add: comp
u
te sum on shar
e
d defi
n
ition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdoola
e
g
e
d
eclare isl_union_
p
w_qpol
y
nomial_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoolaege
declare isl
_
un
i
o
n
_
p
w
_
multi_a
f
f_inters
e
ct_
p
ara
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n
Ver
d
oolae
g
e
declare
isl_union_pw_multi_aff_gis
t
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
declare isl_un
i
o
n_pw_multi_aff_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
declare isl
_
union_pw_multi_aff
_
scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare i
s
l
_
union_pw_multi_aff_plain_is_equ
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
laege
d
e
clare isl
_
union_pw_mu
l
ti_af
f
_
g
is
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Ve
r
doolaege
declare isl_union_pw
_
multi_aff_extract
_
pw_mu
l
ti_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_union_pw_mult
i
_
a
f
f
_
f
ro
m
_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ven V
e
rd
o
olaege
d
eclare isl_pw_multi_aff_res
e
t_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdool
a
ege
d
eclare
isl_multi_*_flatt
e
n_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdoolaege
declare isl_multi_aff_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
dec
l
a
r
e is
l
_uni
o
n
_
map_to
_
st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oolaeg
e
declar
e
i
s
l_union_s
e
t_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoolaege
d
e
clare isl_multi_aff_t
o
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoolaege
de
c
lare isl_map_to
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
e
r
d
oo
l
aeg
e
declar
e
isl_space_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdoolaege
d
o
c
: explain use
o
f memo
r
y
manag
e
me
n
t annotation on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven Ve
r
do
o
laege
do
c
:
document *_to_str
functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoolaege
doc: group function types
a
n
d
operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
doc: group dime
n
si
o
n
a
n
d
tuple
id
e
ntifier functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdo
o
laege
doc: move isl_space ope
r
ations to unary/binary
o
perations
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdo
o
l
aege
isl
_
union_pw_*_
e
x
t
ract: ignore paramete
r
s
i
n
space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
only allow a si
n
g
l
e isl_pw_*
o
bject with given
d
o
main
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
isl_unio
n
_pw_*_ex
t
ract_*: rename "dim" variab
l
e to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
Verdoo
l
aege
isl_union_pw_*:
r
ename "dim" field to "sp
a
c
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdo
o
la
e
ge
isl_as
t
_
expr_from_constraint: detect s
t
ride constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
add
i
sl_ast_op_zdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdoolaege
a
d
d isl_
a
ff_c
o
effic
i
en
t
_sgn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
add is
l
_val_abs_eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdool
a
e
ge
mark i
s
l_space_tuple_ma
t
c
h as dep
r
ec
a
ted
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-25
S
ven Verdoolaeg
e
i
s
l 0
.
1
4
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdool
a
ege
update AUTHORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
S
ven Ve
r
doolae
g
e
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdool
a
ege
isl_map_conve
x
_hull: detect equalit
i
es before checking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sv
e
n V
e
rdoolaege
isl_sche
d
ule_constraints_compute_sc
h
e
d
ule
:
allow pa
r
tial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdo
o
lae
g
e
add isl_map_n_bas
i
c_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven
Verdool
a
ege
split schedu
l
e
r
code from schedule object code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
S
v
en Verdo
o
laege
make isl_aff_
p
riv
a
te
.
h
m
o
re self-contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rdo
o
laege
d
o
c:
fi
x
typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en Verdo
o
laege
do
c
umen
t
isl_
s
e
t
_is_sin
g
leton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdoolaege
doc
:
update
isl
_
*_list d
o
cumentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
d
oc: clean up isl_val docume
n
tation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
o
o
laege
i
sl_sc
h
e
d
ule_c
o
nstraints_compute_schedule: compress
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
er
d
oolaege
isl_sched_node: rename
"dim" field to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoolaege
add isl_
m
o
r
ph_ge
t
_var_m
u
lti
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoolaeg
e
add isl_morph_get_dom_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
olaege
add isl_morph_get_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
priva
t
ely export isl_aff_alloc_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdool
a
ege
add
isl_mat_is_
s
c
a
led_
i
dentity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
add isl_
m
at_ge
t
_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaeg
e
isl_ba
s
ic_{set,map}_has_def
i
ning_equ
a
l
ity: a
l
low passing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-28
Sven Verd
o
olaege
docum
e
nt isl_spac
e
_
tu
p
le
_
m
a
t
c
h as isl_spac
e
_
t
uple_is_equa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verdool
a
ege
isl_map_plain_is_disjoint
:
check tuple spaces b
e
fore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verdoolaege
isl_space_t
u
ple_match: a
l
so i
g
nore pa
r
ameters i
n
nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verd
o
olaeg
e
is
l
_space_tuple_
m
a
t
ch: rena
m
e "d
i
m" variable
s
t
o
"space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verd
o
ol
a
ege
is
l
_te
s
t: take optio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
i
sl_
u
nion_*_add_
*
:
perfo
r
m ch
e
c
k
for "zero"
p
art
u
n
condi
t
ionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Ve
r
doolaege
isl_union_*_add_
*
: avoid duplicate ch
e
cks in callers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
i
s
l_union_map_is_sin
g
le
_
valued: look at domain spaces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolae
g
e
isl_unio
n
_m
a
p_is
_
single_valued: extract out sing
l
e_m
a
p
_
is_
s
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ve
r
doola
e
ge
isl_union_map_is_single_valued:
a
dd a coupl
e
of ex
t
r
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_bas
i
c_map_outp
u
t
_
def
i
ning_eq
u
a
lity: accep
t
divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdool
a
ege
extr
a
ct out shared isl_basic_map_output_defining_equality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verd
o
o
l
aege
A
ST generator:
dr
o
p redundant lowe
r
bounds on stri
d
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Ver
d
ool
a
ege
isl_
p
w
_*_gist: spe
c
ial
c
ase context equal to single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ver
d
oo
l
a
eg
e
isl_pw
_
*_gist:
s
p
ecial case
universe co
n
text
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Ve
r
doolaege
i
s
l_test: generalize isl
_
p
w_qpolyno
m
ial_g
i
s
t
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sven Ve
r
d
oolaege
isl_map_simp
l
ify
.
c:
drop spuri
o
us
s
emicolon
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sve
n
Verd
o
o
laege
i
s
l
_
map_gist:
r
eturn univer
s
e o
n
gist wit
h
empty s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdool
a
ege
isl
_
input
.
c
:
basic_ma
p
_read: c
h
eck t
y
pe of result returned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sve
n
V
erdoolaege
i
s
l_basic_map_gist
:
remo
v
e redunda
n
t d
i
v constrain
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_basi
c
_map
_
gist: re
m
ove obv
i
ously redundant r
e
duced
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sv
e
n Verdoolaege
isl_b
a
sic_map_g
i
st: avoid (temporarily) a
d
d
ing con
t
e
x
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verd
o
olaege
isl
_
map_subtr
a
ct: check if inp
u
ts are
disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Ver
d
oolaege
doc/SubmittingPatches: mention that each
m
ail should
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next