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
extract out isl/ast_type.h
2013-07-27
Sven Verdoolaege
extrac
t
out
i
sl/
a
st_t
y
pe
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
V
erdoolaege
ad
d
isl_ast_e
x
pr_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add
i
sl_as
t
_build_{access,call}_from_multi_
p
w
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
add isl_ast_build_ac
c
e
s
s_from_pw_mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_id
_
to_
a
st
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
add
i
s
l_ast_expr_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
ad
d
isl_id_get
_
hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
V
erdoolae
g
e
g
eneralize and export isl_map
_
to_basic
_
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
add isl_ma
p
_to
_
basi
c
_s
e
t_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_map_
t
o_basic_set: add reference counting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
a
d
d isl_
m
a
p
_to_basic_set_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Ve
r
doo
l
aeg
e
expor
t
isl_basic_set_plain_is_equa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
o
l
aege
isl_map
_
to_basic_set
:
keep tra
c
k of isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
isl_map_t
o
_basic_s
e
t
_fre
e
: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
rename isl_hmap_map_basic_set t
o
isl_
m
ap
_
to_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_
m
u
lti_pw
_
aff_read_fro
m
_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
isl_input
.
c
: extra
c
t ou
t
map_from_t
u
ple from
re
a
d_ma
p
_
tuple
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_printer_print_m
u
l
t
i_pw_aff: chang
e
output form
a
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
isl_st
r
e
am_read_map
:
a
c
cept piecewise affine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
isl
_
input
.
c:
e
xtrac
t
out push_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
l
aeg
e
isl_input
.
c: e
x
tract
out set
_
current
_
line_col
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
add
isl_set_from_multi_pw_
a
ff
a
nd
i
s
l_ma
p
_from_m
u
lti_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
ad
d
is
l
_m
a
p_prei
m
age_domain_pw_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
add isl_set_preimage_
m
ulti
_
p
w
_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
a
dd i
s
l_multi_pw
_
aff_pu
l
lback_
m
ulti_pw
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
r
doolaege
a
dd isl
_
multi_pw_aff_pul
l
back_pw_
m
ulti_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdool
a
ege
add isl_multi_pw_aff
_
pull
b
ack_
m
ulti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
g
e
a
d
d
isl_aff_pu
l
lback
_
af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoola
e
ge
ad
d
isl_multi_pw_aff_from
_
p
w
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
a
dd isl
_
multi_pw_aff_from_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
a
d
d
isl_
m
ulti_p
w
_aff_
d
omai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
add i
s
l_mu
l
ti_pw_aff_in
t
ersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
V
erdool
a
ege
add is
l
_
mu
l
ti_pw_a
f
f_intersect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi_p
w
_aff_coale
s
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoo
l
a
e
ge
a
dd isl_mu
l
ti_pw_
a
f
f
_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olae
g
e
a
dd isl_
p
w_
a
ff_
i
s_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
g
eneralize isl_
m
ulti_aff_pla
i
n_is_equ
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoola
e
ge
generalize
i
sl_m
u
lti_aff_produc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaeg
e
d
eclare isl_multi_pw_a
f
f_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
d
ecl
a
re
isl_multi_pw_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_
p
w_multi_aff_f
i
x_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
add isl_pw_multi_aff_project_out_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
d
oolaege
add isl_pw_multi_aff_f
r
o
m
_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
add isl_
p
w
_
mu
l
ti_aff_from_pw_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
rdoolaege
add isl_pw_multi_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Ver
d
ool
a
ege
add isl
_
pw_af
f
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
V
er
d
oo
l
aege
add
i
sl_pw_aff_from_
r
ang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
privately export isl_p
w
_qpolynomial_re
s
e
t
_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
declare i
s
l_pw_aff_ha
s
_tuple_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
a
d
d
i
s
l_
m
ulti_aff_range
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add i
s
l
_
m
u
lti_aff_
d
omain_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdo
o
laege
ad
d
isl_space_rang
e
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
V
erdoolae
g
e
extract out isl_s
p
a
c
e_do
m
ain_ma
p
f
rom isl
_
map_domai
n
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
add
i
sl
_
mu
l
ti
_
*_scale_
d
own_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
ad
d
isl
_
mult
i
_*_from_
r
a
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
V
e
rd
o
olaege
add isl_multi_*_se
t
_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ver
d
o
o
l
aege
add isl_mul
t
i_*_get_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
isl_multi_*_
f
ind_dim_by
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
e
g
e
add i
s
l_multi_*_reset_tup
l
e
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
i
sl_
m
u
l
ti_*_get_tu
p
le_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
add isl_mult
i
_*_has
_
t
uple_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
i
sl_multi
_
*
_set
_
tuple_id: fix me
m
ory man
a
g
e
m
ent annotat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
isl
_
multi_aff_
p
ullback_multi_aff: align parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
isl_mult
i
_aff_{add,
s
ub}: align pa
r
a
m
eters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
d
oolaege
isl_
m
ulti
_
*_
r
a
nge_
p
roduct: al
i
g
n paramet
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
i
s
l
_
m
ult
i
_*_set_
*
: align parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
V
e
rdoolaege
a
d
d isl_
m
ulti_pw_aff_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
add isl_
p
w_aff
_
move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_aff_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
add i
s
l_local_space_m
o
ve_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
isl_sp
a
c
e_move_d
i
ms: reset sour
c
e and
d
est
i
nation
tupl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
i
sl_vec_mo
v
e_els
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
do
o
l
a
ege
add is
l
_multi_va
l
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
d
o
olaege
add isl_printer_print_mul
t
i_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
i
s
l_o
u
tput
.
c: para
m
eter
i
ze
pri
n
t
_
nested
_
var_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Ve
r
d
o
ola
e
ge
isl_printe
r
_p
r
int_map: print floor expr
e
ssion
s
as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolae
g
e
isl_output
.
c: reus
e
print_disjunct for
p
rintin
g
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdool
a
ege
isl_output
.
c: reuse
print_div in
s
tead
o
f reimple
m
enti
n
g
it
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdo
o
laege
is
l
_
a
st
_
codegen
.
c
:
add_nodes: d
o
ubl
e
-check that list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Ve
r
doolaege
add
isl_basic_{set,
m
ap
}
_is
_
disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdo
o
laege
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oola
e
ge
isl 0
.
1
2
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
doc/im
p
lementation
.
tex: updat
e
t
o algor
i
thm2e
.
sty ver
s
ion 4
.
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ve
r
doolaege
c
onfigure
.
ac: link in llvm
o
ptio
n
c
o
mponent in extract_int
e
rfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-21
S
ven Ver
d
oolaege
isl_ast_build
_
ast_from_sche
d
ule: im
p
rove han
d
ling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
Sven Verd
o
ola
e
ge
isl_ast
_
build_expr_from_pw
_
aff: coalesce input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
Sven Verdo
o
laege
i
sl_ast_build_expr
_
from_p
w
_
aff: com
p
ute gi
s
t
with respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-11
S
v
en Verdoolaege
isl
_
ast_expr_from_aff: se
p
arate out rational part of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven
V
er
d
oolaege
add
isl_aff_
v
al
_
on_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdo
o
laege
isl_in
p
ut
.
c: fix typo in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven V
e
rdoolaege
add isl_b
a
s
i
c_map_preimage_rang
e
_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoola
e
ge
add i
s
l_
b
asic_map_pr
e
image_
d
omai
n
_multi_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoolaege
compla
i
n on m
e
m
ory allo
c
ation f
a
i
l
ur
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-09
S
v
en Verdoolaege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2013-07-09
Sven Verdoolaege
add i
s
l
_ilp_privat
e
.
h
t
o dis
t
ribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-08
Sven V
e
rdoolaege
i
sl_ast_build_c
o
m
p
ute_gist_pw_aff
:
handl
e
parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
isl_ve
r
tices
.
c: isl_cell_alloc: acc
e
pt NULL pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaeg
e
isl_vertic
e
s
.
c: compute_chambers: ac
c
ept
N
ULL
p
ointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oola
e
ge
isl_ve
r
tic
e
s
.
c:
add_chamber:
accept NULL pointer o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl
_
basic_s
e
t
_compu
t
e_vertices
:
accept
N
UL
L
po
i
nter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next