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_domain_factor_range
2014-11-20
Sven Verdoolaege
a
d
d is
l
_union_map_domain_factor_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
Verdoo
l
aege
add is
l
_
map_
f
actor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
ool
a
ege
add i
s
l_map_fact
o
r_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add isl_space_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en
V
erdoolaege
add isl_space_fac
t
or_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven
V
erdoolaege
ad
d
isl_map_do
m
a
i
n_
f
a
c
tor_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verd
o
olaeg
e
ad
d
isl
_
map_domai
n
_
f
ac
t
or_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
e
r
doolaege
ad
d
isl_space_
d
o
ma
i
n_factor_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ve
n
V
e
r
do
o
la
e
ge
add isl_union_set_wrapped_domai
n
_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
a
dd
i
sl_se
t
_w
r
app
e
d
_
d
o
m
ain_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en
V
er
d
oolaege
add isl_union_map_in
v
olves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
add isl_union_pw_*_find_di
m
_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
add
i
sl_pw_*_f
i
nd_
d
im_b
y
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoo
l
aege
a
d
d
i
sl_multi_*_find_di
m
_by_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_aff_find_dim_by
_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verd
o
o
l
aege
add isl_unio
n
_map_
f
ind_dim_by
_
nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_
b
asic
_
map_fin
d
_dim_b
y
_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_lo
c
al_s
p
ace_
f
ind_dim_by_n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
dd isl_union_p
w
_*_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oo
l
a
e
ge
add isl_un
i
on_s
e
t
_
di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaeg
e
add
isl_u
n
ion_pw_multi_aff_multi_val_
o
n_
d
om
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
a
e
ge
add isl_pw_multi_aff_multi_val_o
n
_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erd
o
olaege
a
dd isl_multi_aff_mu
l
ti_val_on_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
add i
s
l_p
w
_a
f
f_val_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_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
generalize
i
s
l
_pw
_
aff_scale_do
w
n_
v
al to isl_{multi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven V
e
r
doolaege
ad
d
isl_
q
polynomial_fol
d
_sc
a
le_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
add is
l
_qpolynomial_scal
e
_down
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdo
o
laege
a
d
d isl_val
_
inv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
Mer
g
e
branc
h
'main
t
'
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
isl_basic_map_
g
ist:
avoid modifying
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdoolaege
ad
d
i
sl_local_space
_
is_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sve
n
Verdoolaege
isl_union_pw_mult
i
_
a
ff
_
add: compute sum on shared de
f
inition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ven
Verdo
o
laege
decl
a
r
e
isl_union_pw
_
qpol
y
n
o
mial_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n
Verdoolaege
declare isl_
u
nion_pw_multi_a
f
f_inte
r
sect_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n
V
erdoolaege
dec
l
are isl_
u
nio
n
_pw_mul
t
i_aff_gis
t
_pa
r
a
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoo
l
aege
declare isl
_
u
n
ion_
p
w_m
u
l
ti_aff_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
aege
declare isl_u
n
i
o
n_pw_multi_aff_s
c
ale_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoolaege
declare isl_u
n
i
on_pw_mul
t
i_af
f
_plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Ver
d
oo
l
aege
declare
i
sl_union
_
pw_mul
t
i
_aff_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n
Verd
o
olaege
d
eclare isl_uni
o
n_pw_multi
_
a
f
f_extract_pw_mul
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
doolae
g
e
d
eclare isl_union_pw_mu
l
t
i_af
f
_from
_
p
w
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdool
a
e
g
e
d
e
c
lare i
s
l_pw_mu
l
ti_aff_reset
_
tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdoolaege
d
e
clar
e
isl_multi_*_flat
t
en
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
eclar
e
isl_multi_aff
_
move_
d
i
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdoolae
g
e
declare isl_union_map_t
o
_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
doolaege
declare is
l
_union
_
set_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
ae
g
e
declare
i
s
l_mult
i
_aff_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n
Verdoolaege
declare isl_map_to_
s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verdoolaege
declare isl_space_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ve
n
Ve
r
doolaeg
e
doc: expl
a
in
u
se of memor
y
management annotation
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven Ve
r
dool
a
ege
doc:
d
ocum
e
nt *_to_str
fun
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoolaege
d
oc: group fun
c
tion types and operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoo
l
aege
doc:
g
roup dimension and tuple i
d
entifie
r
f
un
c
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolae
g
e
doc: move
i
sl_space ope
r
a
t
ions
t
o u
n
ary/bi
n
a
ry o
p
e
ration
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verd
o
olaeg
e
isl_
u
nion_pw_*_ex
t
ract:
ignore par
a
meter
s
in space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdoolaege
only
allow a single isl_pw_* objec
t
wi
t
h given domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rdoolaege
isl_union_pw_*
_
e
x
tract_*: renam
e
"
d
i
m" variable
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
isl_
u
nion_pw_*:
r
e
n
a
m
e "dim" field to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolae
g
e
isl_ast_ex
p
r
_
from_constraint:
d
etect strid
e
c
o
n
s
t
ra
i
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
a
d
d isl
_
ast
_
op_zdi
v
_
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
oolaege
add isl_aff_coefficie
n
t_sgn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
Verdoolae
g
e
add isl_val_ab
s
_eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erd
o
o
l
aege
mark isl_
s
pace_tuple_ma
t
ch as deprecat
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-25
Sven Verdoolaege
is
l
0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
upd
a
te A
U
THO
R
S
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven Ver
d
oola
e
ge
M
erge
branch 'maint
'
commit
|
commitdiff
|
tree
2014-10-13
Sve
n
V
erdoo
l
aege
isl_map_
c
o
nv
e
x
_hull
:
detect equa
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
_sched
u
le_
c
ons
t
raints_co
m
pute
_
sch
e
dule: a
l
lo
w
partial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
S
ven Verdool
a
ege
add isl_map_n_basi
c
_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Ver
d
oolaege
split schedul
e
r code from sch
e
dule
o
b
j
e
ct co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
S
v
en
Verdoo
l
a
e
ge
make is
l
_aff_private
.
h more sel
f
-con
t
a
i
n
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
olaeg
e
do
c
: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
olaege
do
c
ument isl_set_is_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdool
a
ege
doc: u
p
date
isl_
*
_list documentati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
r
doolaege
do
c
: clean up isl_val documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rd
o
o
laege
i
sl_schedule_con
s
traints_comput
e
_schedule: compress
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rdoo
l
aege
i
s
l_sched_node
:
re
n
am
e
"
dim" field t
o
"
s
pace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaeg
e
ad
d
isl_morph_get_var_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Verdoolaeg
e
add isl_m
o
rph_ge
t
_dom_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en V
e
rdoolae
g
e
ad
d
isl_m
o
rph_get_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdoolaeg
e
private
l
y
e
xport isl_aff_alloc_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoolaege
add isl_ma
t
_
is_sca
l
ed_id
e
ntity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoolaege
add isl_mat
_
get_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
isl_basic_{set,map}_has
_
defining_equality: allow passing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-28
Sven Ver
d
oolaege
do
c
u
m
ent isl_space_tuple_m
a
tc
h
as isl_space_tuple_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sve
n
Verdoolaege
isl_map_p
l
a
i
n
_is_disj
o
int:
check tuple s
p
aces before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sv
e
n Verdoolaege
isl_space_t
u
ple_ma
t
ch: also ignore para
m
eters in n
e
s
ted
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdoolae
g
e
isl_spa
c
e_tuple_m
a
tch:
rename "dim" variable
s
t
o
"
space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n
V
er
d
oolaege
isl_test: t
a
ke options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_union_*_add_*: perform check for "zero" part uncondit
i
onally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verd
o
olaege
isl_union
_
*_add
_
*:
a
void
duplicate
checks in
c
allers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
e
rd
o
olaege
isl_u
n
ion_m
a
p
_is_single_valued: look
a
t dom
a
in
spac
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdoolaege
is
l
_
u
nion_ma
p
_is_sin
g
le
_
v
alu
e
d:
extract out single_ma
p
_
is_si
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Verdoolaege
isl_uni
o
n
_
ma
p
_is_single_valued
:
add a coupl
e
of ex
t
r
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
is
l
_basic_map_output_defining_equali
t
y
: accept
di
v
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdoolaege
ex
t
ract
o
ut s
h
a
r
ed isl_basic_map_outp
u
t_defining
_
equali
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdo
o
laege
AST generator: drop redundant lower bounds on s
t
rided
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Ve
r
doo
l
aege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
e
r
do
o
lae
g
e
isl_pw
_
*_
g
i
st
:
specia
l
case con
t
e
xt e
q
ual to
s
ingle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next