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
isl_qpolynomial_from_constraint: reimplement using isl_aff
2011-07-02
Sv
e
n Verdoolaege
isl_qpolynomial
_
from_con
s
traint: reimpleme
n
t using
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-02
Sve
n
Verdoolaege
isl
_
local_space_get
_
div: check t
h
at the div has a known
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-02
Sven Verd
o
o
l
aege
avoid use of isl_constraint_add_div
i
n
isl_te
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-02
Sven Verdoolaege
add isl_aff_f
r
o
m
_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-02
Sven Verdo
o
laege
split
off declarati
o
ns for isl_aff and isl_pw_aff
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-02
Sven Verdoolaege
a
d
d
i
sl_constraint_get_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-02
Sve
n
Verdoolaege
privately export isl_basic_ma
p
_di
v
s_kn
o
wn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
S
ven Verdoolaege
add isl
_
pw_aff_ge_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
Sven Verdoolaege
add isl_
p
w
_
a
ff_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
Sven Verdool
a
ege
isl_printer_
p
rint_
a
ff: support printing in C format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
Sve
n
Verdoolaege
add isl_aff
_
add_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
Sven Verd
o
o
l
aege
add
is
l
_aff_d
r
op_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
S
v
en Verdoola
e
g
e
ad
d
isl_aff_involv
e
s_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
S
ven Verdoolaege
e
xport isl_aff_add_coeff
i
cient
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
Sven
V
erdoo
l
a
ege
expo
r
t isl_pw_af
f
_
get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
Sven Verdoolaege
e
x
po
r
t isl_pw_a
f
f_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
Sve
n
Verdoolae
g
e
export isl_
p
w_aff_
d
oma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
Sven Verdoolaeg
e
e
x
port isl_pw_aff_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sven Verdoola
e
ge
export
i
s
l
_pw_
a
f
f_gis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sv
e
n Verdoolaege
export
isl_pw_aff_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sven Verdool
a
ege
add i
s
l
_local_space_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sven Verdoolaege
ad
d
i
sl_local_spac
e
_dro
p
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sven
V
erd
o
o
l
aege
rename isl_local_sp
a
ce_add_dim to
i
sl_loc
a
l_space_add_dims
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sve
n
Verdoolaege
add isl_lo
c
al_
s
pace_is_named_or_nested
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sve
n
Verdool
a
ege
add isl_basic_set_s
e
t_tup
l
e_
n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sve
n
Verdool
a
e
g
e
add is
l
_s
e
t
_r
e
move_redundancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sven Verdoolaege
a
d
d
i
sl_vec_ins
e
rt_zero_els
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sv
e
n Verdoolaege
add isl_vec_drop_els
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-29
Sven Verdool
a
ege
Me
r
ge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-06-29
S
v
e
n Verdool
a
e
ge
isl_qpolynomial_insert_dims
:
pro
p
e
rly handle
named
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-29
Sven Verdoolae
g
e
i
s
l_qpolynomi
a
l
_drop_di
m
s: p
r
ope
r
ly handle nested
s
p
a
c
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-29
Sven Verdool
a
ege
isl
_
qpolyn
o
mial
_
insert_dims: i
n
sert zero co
l
u
m
ns
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
S
v
en Verdool
a
ege
isl_printer_prin
t
_pw_af
f
: support printing in C format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven
Verdoolaege
ad
d
isl_set_dim_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sve
n
Ve
r
doolaege
add is
l
_map_from_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
S
ven Verdool
a
ege
ad
d
i
sl_pw_aff_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoolaege
add
i
sl_p
w
_aff abstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
S
v
en
V
erdoolaege
is
l
_p
w
_*_free:
retur
n
NUL
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdo
o
laege
a
d
d isl_qp
o
lynomial_scal
e
alias for i
s
l_qpolynomial
_
mul
_
i
s
l_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven
Ver
d
oolae
g
e
add isl_a
f
f_ge_
b
a
s
ic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Ver
d
oolaege
add isl_ba
s
ic_set_forea
c
h_lexmax
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoolaege
export isl_basic_map_f
o
r
each_le
x
max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoolaege
add
i
sl_aff_gis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdool
a
eg
e
s
p
lit off type decl
a
rations for
isl_
m
a
p and i
s
l
_
s
et
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven
V
erd
o
ol
a
eg
e
ad
d
isl_aff_set
_
dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoolaege
add isl_aff_p
l
a
i
n_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
S
v
en Verdoolaege
add isl_a
f
f_plain_is_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
S
v
e
n
Verdoolae
g
e
add isl_a
f
f_scale_
d
own_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoolaege
add isl_aff_floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoo
l
aeg
e
add isl
_
a
f
f_add_con
s
tant_
s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sve
n
Verdoolaege
is
l
_p
r
inter_print_aff: alw
a
ys print pare
n
t
h
e
ses around
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sv
e
n
V
e
rd
o
olaege
a
dd isl_lo
c
al_
s
pace_
s
ubstitute_equalitie
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven
V
erdool
a
e
ge
add isl_loc
a
l_space_set
_
di
m
_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sv
e
n Verdoolaege
a
dd isl_local_s
p
ac
e
_is_equa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdool
a
e
ge
isl_pw_templ
.
c: avoid looking into in
t
ernals of some
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Ver
d
oolae
g
e
add isl_point_get_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoola
e
ge
add isl_p
o
int_get_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoolaeg
e
a
d
d
i
s
l_q
p
olynomia
l
_fold_
g
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoolae
g
e
add isl_vec_is_e
q
ual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoo
l
aege
add isl_int_set_
u
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sve
n
Ver
d
o
o
laege
a
dd
i
sl_config_post
.
h to d
i
stributio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven
V
erdoolaege
re
n
a
m
e isl_qpolynomial_is_e
q
ual to isl_qpolynomial_plain
_
is_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-23
Sv
e
n V
e
rdoolaege
M
e
r
g
e
branch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-06-23
Sven
V
erdoolaege
isl_qpolynomial_is_equal: also compare spaces a
n
d
divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-23
S
ven V
e
rdo
o
l
aege
bound
.
c: verify_poin
t
: make
sure spa
c
es of compared
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-20
Sven Verdoolaeg
e
add isl_dim_
d
u
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-18
Sven Ve
r
doolaege
M
e
rge branc
h
'maint'
commit
|
commitdiff
|
tree
2011-06-18
Sven
Verdoolaege
is
l
_bas
i
c_m
a
p_remove_divs_involving_dim
s
: hand
l
e disappeara
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-14
S
v
en Verdoolaege
i
s
l_
b
a
n
d: rename "parallel"
prope
r
ty
t
o "zer
o
d
i
stance"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-14
Sven Ver
d
oolaege
c
h
ange
i
sl_basic_m
a
p_for
e
ach_lexmin prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-12
Sv
e
n V
e
rdoolaege
add isl_basic_map_from_aff an
d
isl_b
a
sic_
m
ap_from_aff_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-12
Sven Verdoolae
g
e
add isl_local_spac
e
_add_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-12
Sven V
e
rdoolaege
add
i
s
l_local_space_from_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-12
S
v
en Verdoolaege
add i
s
l
_
basic_map
_
f
lat_range_p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-12
Sven Verdoolaege
ex
p
o
r
t isl_
b
asic
_
map_flatten
_
ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-05
S
ven Verdoolaeg
e
document isl_*_fix functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-05
Sven
Verdoolaege
scheduling: optionally split parall
e
l rows in non-tila
b
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-05
Sven Verdoola
e
ge
scheduling: optionall
y
create
schedules
with
o
utermost
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-05
S
v
en Ver
d
oolaege
add isl_print
e
r_print_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-05
Sven
V
erdoolae
g
e
sc
h
edul
i
ng: introduce band forest
i
nt
e
r
face
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-05
S
v
e
n
Ver
d
o
o
la
e
g
e
isl_schedule
.
c: keep track of pa
r
allel loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-05
Sven Ver
d
oolaege
i
s
l_schedule
.
c: extract out definition of isl_schedule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-05
S
ven Verdoolaege
add isl_union_map_
f
lat_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-05
Sv
e
n Verdoolaege
a
d
d isl_mat_n
o
rmalize_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
Sven V
e
rdo
o
laege
a
d
d isl_printer_i
n
dent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
Sven V
e
rdoolaege
add isl_dim_
a
lign_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
Sv
e
n Verdoolaeg
e
add isl_aff_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
Sven V
e
rdoola
e
ge
a
dd isl
_
pr
i
n
ter_pr
i
nt
_
*_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
Sven
Verd
o
olaege
add *list_get_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
Sven
V
e
rdool
a
ege
a
d
d *list_
n
_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
Sv
e
n
Verdoolaege
a
d
d
*
_
li
s
t_fo
r
ea
c
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
Sven Verdoolaege
add *_l
i
st_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
Sven Verd
o
olaege
ad
d
*list_copy
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
S
ven V
e
rdoolaege
generalize isl_basic_set_li
s
t to g
e
neri
c
lists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
Sve
n
Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-06-04
Sven Verdoolaege
i
s
l_union_m
a
p_range_produc
t
: only consider pairs of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
S
ven
V
erdoolaege
isl
_
m
at_s
c
ale_down: av
o
id trampling over
a
l
iased ma
t
rices
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
Sven
V
erdo
o
lae
g
e
add isl_aff_scale and
i
sl_af
f
_
scale_down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
S
ven Verdoolaege
add is
l
_aff_add a
n
d
isl
_
aff_sub
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
Sven
Verdoola
e
ge
add isl_inequal
i
ty_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next