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_ast_build_expr.c: extract_modulo: extract construction of modulo expression
2013-09-18
Sven Verdoolaege
isl_a
s
t_build_expr
.
c: extract_modulo:
extra
c
t constru
c
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
is
l
_ast_bui
l
d_exp
r
.
c
:
extract_modulos: postpone m
o
d
ificat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolae
g
e
isl_ast
_
b
u
i
ld
_
e
xpr
.
c: extract_modulos: store
i
ntermediate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven
V
er
d
oo
l
aege
isl_as
t
_buil
d
_expr
.
c: e
x
t
r
act_modulo: assume input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
Merge bran
c
h 'main
t
'
commit
|
commitdiff
|
tree
2013-08-26
Sve
n
V
erdoolaege
is
l
_union_set
_
comput
e
_schedule
:
fix che
c
k
f
or prog
r
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-16
Sven Verdoolaege
export isl_ast_expr_
s
et_op_arg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven
V
erdo
o
laege
add isl_
m
ult
i
_
*_range_fac
t
or_{domain,range}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoo
l
aege
add isl_map_range
_
factor_{domai
n
,
r
ange}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
v
e
n
Ve
r
do
o
l
aege
ad
d
isl_space_range_fact
o
r_{do
m
ain
,
r
ange}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
ven Verdoolae
g
e
add isl
_
multi_*_ra
n
ge_
i
s_wrap
p
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add is
l
_map_range_is_wrappi
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add isl_space_is_wrappin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
ve
n
Verdoolaeg
e
do
c
:
docume
n
t isl_space*product fun
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven V
e
rdoolaege
ad
d
i
sl_multi_*_re
s
et_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
ven Verdo
o
laeg
e
doc: list is
l
_multi_*_reset_tup
l
e
_id
a
s function modify
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoo
l
aeg
e
add
i
sl_set_reset_user a
n
d isl_map_reset_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven
Verdool
a
ege
add isl_spa
c
e_reset_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verd
o
olaege
ISL_ARG_GROU
P
: all
o
w specification
o
f l
o
ng name/pref
i
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sve
n
Verdoola
e
ge
i
s
l_args_parse: allow multip
l
e prefixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
isl_arg
.
c:
pri
n
t_arg_help:
pri
n
t "no-" on de
f
au
l
t
-
set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-06
Sve
n
Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2013-08-06
R
a
y
D
o
n
nelly
MinGW-w64 build fix (lacks ffs declaration)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-06
Sven Verd
o
o
l
ae
g
e
isl_ast_bu
i
ld_ast_from_sc
h
edule: improve h
a
nd
l
in
g
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-05
Sven
V
er
d
ool
a
eg
e
isl_ctx
.
c
:
find_nested_options: pr
o
p
er
l
y
handle ar
g
ume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven
V
erd
o
o
laege
isl_union_ma
p
_params: plug memory le
a
k in case of empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add is
l
_id_to_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Ve
r
doolaege
ad
d
isl_ast_exp
r
_subst
i
tute_ids
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
V
erdoolaege
extract out isl/ast_t
y
pe
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
V
e
rdoola
e
ge
ad
d
isl_as
t
_e
x
pr_a
c
c
e
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add
i
sl_ast_build_{access,call}_fr
o
m_multi_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
add isl_ast_build_access_from_pw_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
V
erdo
o
l
a
ege
add isl_id_to_ast
_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoola
e
ge
add isl_ast_expr_
i
s_
e
qual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
add isl_id_g
e
t_h
a
sh
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
g
e
nerali
z
e
and export
i
s
l
_map
_
to_basic_
s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add
i
sl
_
m
ap_to
_
ba
s
ic_s
e
t_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
isl
_
m
ap_to_b
a
sic_s
e
t: add reference counting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Ver
d
oolae
g
e
add i
s
l_map_to_basic
_
s
et_fo
r
each
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
o
laege
e
x
po
r
t
isl_bas
i
c
_set
_
pl
a
in_is
_
equa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
Verdoolaege
isl
_
map_to_basic_set:
k
eep
trac
k
o
f
isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
i
sl_m
a
p
_to_basic_set_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n Verdoolaege
rena
m
e isl
_
hmap_
m
ap_basic_s
e
t to isl_map_to_basic
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
add isl_
m
ult
i
_
p
w
_
aff_rea
d
_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verd
o
ola
e
ge
is
l
_input
.
c: extract out
map_from_tup
l
e from read_map_tuple
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
o
laege
isl_printe
r
_print_multi_p
w
_
a
ff: chang
e
output for
m
a
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aeg
e
isl_stream_read_map: accept
piecewis
e
affine expressio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
isl
_
i
n
put
.
c: extract out push_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_input
.
c: extract o
u
t set_curr
e
nt_line_co
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaeg
e
add
i
sl
_
set_fro
m
_multi_pw_aff
a
n
d i
s
l_map_from_multi_
p
w_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add
isl_map_pre
i
mage
_
d
om
a
in_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
add isl_set
_
preimage_
m
ul
t
i_pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
V
er
d
oo
l
a
ege
a
dd
i
sl_multi_pw_
a
ff_pu
l
l
back_multi_pw
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ver
d
oolaege
a
d
d
isl
_
m
ulti_pw_af
f
_pullback_pw_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
ad
d
isl_multi_
p
w_
a
ff_pullback
_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_aff
_
pu
l
lba
c
k_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
dd isl_multi_pw_aff_from_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi_p
w
_aff_from_m
u
lti
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
ad
d
i
sl_multi_pw_
a
ff_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi
_
pw_aff_i
n
t
e
rsect_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
is
l
_m
u
lti
_
pw_aff
_
i
n
t
ersect_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
o
o
la
e
ge
add
i
s
l_
m
u
lti_pw_aff_coa
l
esce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
a
dd i
s
l
_
multi_pw_aff_is_eq
u
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
a
d
d is
l
_pw_aff_is_equ
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
V
er
d
oolaege
gen
e
r
alize isl_multi_aff_plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
r
d
o
olaege
g
e
n
e
raliz
e
isl_multi_aff_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
declare is
l
_multi_pw
_
a
f
f_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
V
e
rdoolaege
decla
r
e isl_multi_pw_a
f
f_
g
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
r
d
oolae
g
e
add isl
_
p
w_multi_aff_fix_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
d
o
olaege
add
i
sl_pw_m
u
l
t
i_aff_project_out_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw_multi_
a
f
f
_from_
m
ulti_pw
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olae
g
e
add isl_p
w
_mul
t
i_aff
_
from
_
pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdo
o
la
e
ge
ad
d
isl
_
pw_multi_aff
_
zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
e
g
e
add
isl_pw_af
f
_pa
r
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
ad
d
isl_
p
w_aff_from_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
r
do
o
la
e
ge
privately export isl_pw_qpolynomial_reset_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n
Ve
r
doolaege
d
e
c
l
a
r
e isl_pw_aff
_
has_
t
uple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
a
d
d isl_multi
_
aff_ran
g
e
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erd
o
ola
e
ge
add
isl_
m
u
l
t
i_aff_domain_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoo
l
aege
add isl_spa
c
e_range_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
extrac
t
out i
s
l
_
space_domain_map from isl_map_d
o
main
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n Verd
o
olaege
add isl_multi_*_scale_down_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
a
d
d isl_multi_*_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
eg
e
add isl_multi_*_set_
d
im_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
add i
s
l_mul
t
i_*_get
_
di
m
_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
add isl_multi_*_find_dim
_
by_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
add isl_multi_*_reset_
t
uple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl
_
multi_
*
_get_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verd
o
olaege
add isl_mul
t
i_
*
_ha
s
_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Ve
r
d
o
ola
e
ge
isl_multi_*_set_tuple_id: fi
x
memor
y
m
a
n
a
g
eme
n
t anno
t
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
isl_mul
t
i_aff_pullback_multi_a
f
f: align parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoola
e
g
e
isl_mult
i
_aff_{add,sub}
:
align parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
isl
_
m
u
lti_*_range_p
r
oduct:
a
l
ig
n
paramet
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl
_
multi_*_set_*: align parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
add isl_mu
l
ti_pw_aff_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdo
o
l
aege
a
d
d isl_
p
w_
a
f
f_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verd
o
olaege
a
d
d isl
_
aff_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdool
a
ege
add isl_local_space
_
m
o
v
e
_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
isl_sp
a
ce_mo
v
e_dims: r
e
set source and d
e
st
i
nation tupl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolae
g
e
add
isl_v
e
c_move_els
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next