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,map}_drop_constraints_involving_dims
2012-08-02
Sv
e
n
V
erdoo
l
a
e
ge
dec
l
a
r
e is
l
_basic_map_pr
o
duct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaeg
e
add isl
_
pw_multi_
a
ff_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verd
o
olaege
add
i
sl_pw_m
u
lt
i
_af
f
_uni
o
n_{l
e
xmin,le
x
m
ax}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doolaeg
e
isl_set_free: r
e
turn
N
U
L
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdoolaege
add isl_multi_aff_l
e
x
_
{l
e
,
g
e}_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdoolaege
decla
r
e isl
_
multi_aff_get_dom
a
in_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoolaege
add isl_multi_aff_iden
t
ity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdo
o
laege
add
i
s
l
_a
f
f_add_c
o
nsta
n
t_num{,_si}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl
_
id_li
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n
V
e
rdoolaege
add isl_*_list_set_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolae
g
e
a
d
d
isl_pw_multi
_
aff
_
has_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verdoola
e
ge
declare is
l
_pw_aff_get_
t
u
p
le_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdoolaege
add i
s
l_map_has_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en
V
erdoolaege
add
i
sl_lo
c
a
l
_
space_has_dim_id and
isl_loc
a
l_
s
pace_get_d
i
m_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erd
o
olaege
isl_s
e
t
_opt: align paramete
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdoolaege
isl_multi_
*
_set_*: check
t
hat param
e
ters and
d
omains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doolae
g
e
isl_basi
c
_map_r
a
nge_
p
rod
u
ct: check that
p
ara
m
ete
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Ver
d
o
o
l
a
eg
e
isl_basic_map_simplify
:
elimi
n
ate kn
o
wn divs that appear
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
oolae
g
e
i
s
l_basic_map_rem
o
ve_divs_inv
o
lvi
n
g
_d
i
ms:
in
s
ert bou
n
ds
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_
b
asi
c
_m
a
p
_simplify: normalize di
v
exp
r
essi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoo
l
aege
i
s
l_acc
e
ss_info_free: r
e
turn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-31
Sven Verdoolaege
add isl
_
prin
t
er
_
print_dou
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-30
Sven
Verdoolaege
doc: add
a no
t
e on is
l
_
dim_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-30
Sve
n
Verdoolaege
doc
:
add a note about is
l
_*_
i
ntersect
a
n
d
parame
t
ri
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-28
Sven Ver
d
oolaege
doc:
a
dd
m
i
ssing docume
n
tation for some scheduling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
S
ven Ve
r
doo
l
ae
g
e
Merge b
r
anch 'mai
n
t'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
Sve
n
Ve
r
dool
a
ege
is
l
_pw_*_realign_
d
omain: plug memory leak on
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
Sven Verdool
a
ege
isl_handle_error
:
avoid use of is
l
_options_get_on_error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
Sven Ver
d
oolae
g
e
isl_
s
pace_ex
t
e
nd_domain
_
with
_
r
ange: ha
n
dl
e
r
anges with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
Sven Verdoolaege
isl_map_
e
liminate: check for over
f
low in computation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
Sven V
e
rdool
a
ege
isl_*_
e
liminate: update c
o
mme
n
ts to reflect recent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-16
S
ven Verd
o
olaeg
e
Merge branch 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-16
Sven Verdoolaege
is
l
_multi_aff_set_dim_
n
ame:
d
o not s
e
t name
o
f
ele
m
ents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-13
S
ven Ver
d
oolaege
ad
d
doc
/
Submi
t
tingPatches to the
distr
i
b
u
t
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-13
Sven Verdoolaege
d
oc: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-11
Sven
Verdoolae
g
e
isl_
*
_eliminate: perform integer elimination
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-11
S
ven
V
erdoolae
g
e
priv
a
tel
y
exp
o
rt is
l
_ba
s
i
c
_map
_
insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-14
Sven Verdoo
l
aege
is
l
_flo
w
.
c:
m
erge isl_
r
estriction_none a
n
d isl
_
restrict
i
on_empty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-09
Sven Ver
d
oolaege
isl_tab_ba
s
i
c
_map_partial_lexopt: do
n
't normalize intermedi
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n
Verdoo
l
aege
isl 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven
V
erdool
a
ege
isl_spa
c
e
.
c
: avoid icc
warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n Verdoolaege
i
sl_sche
d
ule
.
c: fix types of enum isl_edge_type iterator
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Ve
r
doolaege
isl_i
n
put
.
c
:
construct_c
o
nstraints: a
v
oid icc warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verd
o
ola
e
g
e
isl_ha
n
dle_er
r
or: fix type of error ar
g
u
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
u
p
date AUTHORS
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoolaege
a
dd isl_map_o
r
der_lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-02
Sven Verdoola
e
ge
is
l
_
space_unwrap
:
fix error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-30
S
ven Verdoo
l
aege
Merge branc
h
'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-30
S
v
en V
e
rdoolaege
isl_
u
nion_set_co
m
pute_schedule: fix comput
a
tion of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-30
Sven Verdoolaege
i
s
l
_space
_
i
nsert_dims
:
f
i
x handling o
f
nes
t
ed sp
a
ces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-30
Sven Verdo
o
laege
isl_restriction_{none,empt
y
}:
"t
a
ke"
argument fo
r
consis
t
ency
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-21
Sven V
e
r
do
o
laeg
e
is
l
_space
.
c: do
c
ument
name
_
ok
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-21
S
v
e
n Verd
o
olaege
Mer
g
e
br
a
nc
h
'maint'
commit
|
commitdiff
|
tree
2012-05-18
S
v
en Verd
o
olaege
isl_space_set_dim_name:
h
a
ndle NULL
name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-18
Sv
e
n Verdoolaege
isl_basic_ma
p
_zip: always call isl_basi
c
_
map_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-17
Sven Verdoolaege
isl_mor
p
h
.
c: add_str
i
des: clear newly added divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sve
n
Verdoolaege
i
sl_
t
ab_pip
.
c: fix ty
p
os in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Ve
r
do
o
laeg
e
is
l
_test:
be more
v
erb
o
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
S
ven Verdoola
e
ge
isl_
a
ff
_
floo
r
: add
s
pecia
l
case for const
a
n
t
a
r
gume
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sv
e
n V
e
r
d
ool
a
e
g
e
do
c
: exp
l
ain isl_*_i
s
_subset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
isl_map_order_gt:
a
d
d special
c
ase f
o
r ordering a dimension
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdo
o
l
a
e
g
e
add
tests for i
s
l
_map_oppose
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
S
v
en Verdo
o
laege
isl_m
a
p_eq
u
a
te: add special case f
o
r equa
t
ing a dimens
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
a
d
d
is
l
_sche
d
ule_foreach_ba
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoo
l
a
ege
add isl_band
_
list
_
f
oreach_band
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Ver
d
ool
a
e
ge
a
d
d isl_band_tile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Verdoolaege
add isl_
b
and_
d
up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl_
s
c
hedul
e
.
c: extract out is
l
_band_a
l
loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaege
isl_sche
d
ule_get_map
:
e
x
tract schedule fr
o
m band fores
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdool
a
ege
isl_ban
d
.
c: extract
o
ut isl_band_
l
i
s
t
_
get_suffix_sched
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoolaege
isl
_
b
and: use isl_union_pw_
m
ulti_af
f
to represent p
a
r
tial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Verdoo
l
aege
isl_schedule_node: repre
s
e
n
t sched
u
le using isl_m
u
l
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdool
a
e
g
e
i
sl_union_
s
et
_
compute
_
sc
h
edule: se
p
a
r
ate c
o
mponent
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoolaeg
e
isl_union_s
e
t_compute_schedul
e
: compo
n
ents may a
l
so
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ve
n
Verdoola
e
ge
isl_unio
n
_set_comput
e
_schedule: also
k
eep
track of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven
V
erdoolaege
isl_sched
u
le
.
c: ex
t
ract out graph_edge
_
tabl
e
_ad
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
isl_union_set_compute_schedule: only carry validity
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl_schedule
.
c: simplify computation of numbe
r
of constrain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n V
e
rdoolaege
isl_schedule
.
c: fix typos
in comm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
l
aege
a
dd i
s
l_basic_map
_
is_sing
l
e
_v
a
l
u
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n
V
erdoolaeg
e
ad
d
i
sl_basic_map
_
equate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl_ba
s
ic_set_g
e
t_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n Ve
r
doolaege
add isl_print
e
r_get_output_for
m
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ver
d
oola
e
ge
add isl_local_space_has_
d
im_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
olaege
add
isl_constraint
_
get_
l
ocal_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoo
l
a
e
g
e
add isl_co
n
straint_is_{lowe
r
,up
p
er}_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdool
a
e
g
e
add isl_bas
i
c_set
_
n_c
o
nstraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
d
oolaeg
e
doc
:
document isl_
b
asic_set_foreach_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
doolaege
add isl_set_has_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoolae
g
e
add isl_space_has
_
t
u
pl
e
_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Ver
d
oo
l
ae
g
e
isl_aff_private
.
h
:
a
dd missing i
n
clude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdoolaege
add
i
sl_se
q
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Ve
r
d
oolaege
add isl_printer_get_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verd
o
olaege
add i
s
l_
u
ni
o
n_ma
p
_curry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl_space
.
c:
avoid
u
se of "0" a
s
pointer v
a
lue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verd
o
ol
a
ege
add isl
_
map_order_gt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdo
o
laege
add isl
_
map_from_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoolaege
isl_args_parse: optionally ignore
-
-help
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
move g
e
neric part
o
f isl_union_pw_qpolyno
m
ial_mul to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoo
l
aege
add isl_uni
o
n_pw
_
multi_aff_flat_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next