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_schedule_constraints: split proximity constraints into coincidence/proximity
2013-09-18
Sven V
e
r
doolae
g
e
is
l
_sch
e
dul
e
_constrai
n
ts:
split p
r
oximity constr
a
ints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_schedule_constraints:
add sup
p
ort for co
n
di
t
ion
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
isl_sc
h
edule
.
c
:
extract_e
d
ge: look for matching edge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
is
l
_
sche
d
ule
.
c: extract out edge_
m
ultiplicity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdool
a
ege
isl_
s
chedul
e
.
c: extract
o
u
t
merge_edge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_schedule
.
c:
extr
a
ct out reset_ba
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaege
isl_s
c
hedule
.
c: extract out extract_sch
e
dule_r
o
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaege
introdu
c
e new schedule API
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
i
sl_as
t
_build_
a
ccess_fro
m
_
m
ulti_pw_aff:
t
re
a
t
ne
s
ted
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Ver
d
oolaege
isl_
a
st_build_expr
.
c: extrac
t
out isl_ast_build
_
with_arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
add isl
_
a
s
t_op_m
e
mbe
r
type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
isl_sc
h
edule
.
c: fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolae
g
e
isl_mat
.
c
:
fix t
y
po in
c
o
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Tobias Grosser
Fix typo
i
n hea
d
er gua
r
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rd
o
ol
a
ege
i
sl_ast_build_expr
.
c: extract
_
modul
o
: cons
i
der additional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
isl_ast
_
build_expr
.
c:
e
x
tract_modulo
:
extract co
n
structio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_
a
s
t
_build_expr
.
c: extract
_
modulos: postpone modificati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
i
s
l_ast_b
u
ild_expr
.
c:
e
xtra
c
t
_modulos: store inter
m
e
d
iate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verd
o
olaeg
e
isl_ast_bu
i
ld_exp
r
.
c
:
e
xtract_m
o
d
ulo: assu
m
e input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n
V
erdoolae
g
e
M
e
rge branch '
m
a
i
nt'
commit
|
commitdiff
|
tree
2013-08-26
Sv
e
n Verd
o
olaege
i
sl_u
n
ion_set
_
compute
_
s
chedule: fix
c
h
eck for progress
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-16
Sven Verdoolaege
export isl_ast_expr_set_op_a
r
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven
V
erdoolaege
add isl_m
u
lti_*_range_factor_{domain,range}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sv
e
n Verdoolaege
a
dd isl_m
a
p_range_factor_
{
domain,range}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
v
e
n Verdoolaege
add isl_space
_
range
_
factor
_
{doma
i
n,ra
n
ge}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sve
n
Ve
r
doolaege
add isl_multi_*_ra
n
ge
_
is
_
w
r
apping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven V
e
rdoo
l
aege
add isl_
m
ap_range_is_wrapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoola
e
ge
a
d
d isl_space_is_wrap
p
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Ve
r
doolaege
doc: d
o
cument isl_space*product functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
v
en Verdoolaege
a
dd isl_
m
ulti_*_reset_
u
s
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoo
l
a
e
ge
doc: list isl
_
multi_*_reset_tuple_id as f
u
nctio
n
m
o
difying
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Ve
r
doolaege
add isl_set_
r
eset_user
and isl_map_reset_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add
i
sl_space_reset
_
user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
v
e
n
V
erdoolaege
ISL_ARG_GR
O
UP
:
all
o
w specific
a
tion of
long name/prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaeg
e
isl_args_par
s
e: allow mu
l
t
iple prefixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoo
l
a
ege
isl_arg
.
c
: print_arg_help: print "no
-
" on default
-
set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-06
Sven Verdoolaege
Merge b
r
a
nch 'mai
n
t'
commit
|
commitdiff
|
tree
2013-08-06
Ray Donne
l
ly
Min
G
W
-
w64 b
u
i
l
d
f
i
x
(la
c
ks ffs
declaration)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-06
S
ven Verdoolaege
isl_ast_buil
d
_ast_from_sc
h
edule:
impr
o
ve hand
l
ing of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-05
Sven Verdoo
l
aeg
e
isl_
c
tx
.
c
:
find
_
nes
t
ed_opti
o
n
s
: properly handle argum
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoolaege
isl_
u
nion
_
map_params: plug
m
emor
y
l
e
ak
i
n case of em
p
ty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Ver
d
oolae
g
e
add is
l
_id_to_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
add isl_ast_
e
xp
r
_substi
t
ute_ids
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
r
doo
l
a
e
g
e
extrac
t
out isl/as
t
_typ
e
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_ast_expr_ac
c
ess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoola
e
ge
add isl_ast
_
build_{access,call}_fro
m
_mul
t
i_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
a
dd
isl_ast_build_access
_
from_p
w
_multi_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Ve
r
doo
l
aege
add
i
sl_id
_
to_ast_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verd
o
o
laege
add
i
sl
_
ast_expr_is
_
equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
add isl_id_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
do
o
la
e
ge
general
i
ze and e
x
port isl_map_t
o
_bas
i
c_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoo
l
aege
add isl_map_
t
o_
b
asi
c
_
s
et_d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
i
s
l_map_to
_
basic_set: add
reference cou
n
ting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolae
g
e
ad
d
is
l
_ma
p
_to_basi
c
_set_fo
r
ea
c
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verd
o
olaege
expo
r
t isl_basic_s
e
t_plain_is_
e
qual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
isl_map_to_basic_set: keep track
of isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
isl_map_to_ba
s
ic_
s
et_
f
ree: ret
u
rn
NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
r
d
o
o
laeg
e
rename isl
_
hmap_map_ba
s
ic_se
t
to
i
sl_map_to_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoola
e
ge
add isl_m
u
lti
_
p
w
_aff_read_from
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verd
o
olaeg
e
is
l
_
i
n
p
ut
.
c: extract out map_f
r
om_tuple from read
_
ma
p
_tuple
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Ver
d
oolaege
i
s
l_printer
_
pr
i
nt_multi_pw_aff: change output format
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Ver
d
o
o
l
a
ege
isl_str
e
am_read_map: accep
t
piecew
i
se affine e
x
pr
e
ssions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
is
l
_input
.
c: extract out push_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Ve
r
doola
e
ge
isl_input
.
c: e
x
tract out set_
c
urrent_
l
ine_
c
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add
isl_
s
et_f
r
o
m_multi_
p
w_aff a
n
d
i
sl_map
_
from_m
u
lti_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
dool
a
ege
add isl
_
map_preimage_domain_pw_mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
add isl_
s
et_preimage_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
a
dd isl
_
multi_pw_aff_pullba
c
k_
m
ulti_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oo
l
aege
add isl_m
u
l
t
i_pw_aff_pullback_pw_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
add isl_multi_pw_a
f
f_pullback_
m
ult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
a
d
d
isl_aff_pul
l
back_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
add isl_multi_pw_aff_from_pw
_
m
u
l
ti_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
ad
d
isl_multi_pw_a
f
f_from_
m
ulti_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
a
dd isl_mult
i
_pw_aff_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven
Verdoolaege
add i
s
l_multi_pw_aff_inte
r
se
c
t_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
add
i
sl_mult
i
_pw_aff_intersect_dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoo
l
a
ege
add
i
sl_multi
_
pw_a
f
f_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
add isl_multi_pw_aff_is
_
e
q
u
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdo
o
laege
add isl_pw_aff
_
is_e
q
ual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en V
e
rdoolaege
generalize
i
sl_m
u
lti
_
af
f
_plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
ol
a
ege
generalize isl_multi_aff_
p
roduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
declare isl_multi
_
p
w_aff_gist_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
declare isl_
m
ulti_pw_aff_g
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw_m
u
lti_aff
_
fix_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doola
e
ge
add isl_pw
_
multi_aff_
p
r
o
ject_out_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
add
isl_pw
_
mu
l
t
i
_aff_from_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verd
o
olaege
add isl_
p
w
_multi_aff_from_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw_multi_aff_
z
ero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
la
e
ge
add
isl_pw_aff_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw_aff_from_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
privately export i
s
l
_pw_qpolynomi
a
l_reset_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdo
o
laege
declare
is
l
_pw_aff_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
add isl
_
mul
t
i_aff
_
range_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoo
l
aege
add isl_multi_aff_domain_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
add isl_spac
e
_range_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Ve
r
doolaege
extra
c
t out isl_spac
e
_domain_map from i
s
l_map_domain_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
add isl_multi_*_scale_do
w
n_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdool
a
e
ge
ad
d
isl_multi
_
*
_
from
_
ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
add isl_multi_*_s
e
t_dim
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
add isl_mu
l
t
i
_*_get
_
dim
_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next