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: add support for conditional validity constraints
2013-09-18
Sven Verdoolae
g
e
i
s
l_sche
d
ule_constraints: ad
d
support for condition
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
isl_sch
e
dule
.
c: extract_edge
:
look fo
r
matching edge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
is
l
_schedule
.
c: extr
a
ct out edge_multiplicity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en
Verdoolaege
isl_schedule
.
c: extr
a
ct out mer
g
e
_
edg
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
isl_
s
chedule
.
c: extract out res
e
t_band
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
isl_s
c
h
e
dule
.
c:
e
xtract out ext
r
ac
t
_schedule_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
introduce
new sche
d
ule API
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdo
o
laege
isl_ast_b
u
ild_a
c
cess_from_multi_pw_af
f
: treat neste
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
V
e
rdoolaege
i
s
l
_as
t
_build_expr
.
c: ex
t
ract out
i
sl_
a
st_bui
l
d_with
_
argument
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
e
r
doolaege
add isl_
a
st_
o
p
_
m
ember t
y
pe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaege
i
sl_schedule
.
c
: fix ty
p
o in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Ve
r
doo
l
aeg
e
isl_mat
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_ast_build_expr
.
c
:
extr
a
ct_mo
d
ulo: consider additiona
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoo
l
aege
isl_as
t
_build_expr
.
c
:
extract_modulo: ex
t
ract construct
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_ast_bu
i
ld_expr
.
c:
extract_
m
od
u
los: postpo
n
e modifica
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Ve
r
d
o
olaege
isl_ast_bui
l
d_expr
.
c:
e
xtract_mod
u
los: store intermediate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdool
a
ege
isl_a
s
t_
b
uild_
e
xp
r
.
c
: extr
a
ct_modul
o
:
a
s
s
ume in
p
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
Mer
g
e branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2013-08-26
Sven Verdoolaeg
e
isl_
u
nion_set_compute_schedule: fix check for progres
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-16
Sven Verd
o
olaege
export
i
sl_a
s
t_expr_s
e
t_op_arg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
a
d
d isl_multi_*_rang
e
_factor_{do
m
ain,range}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolae
g
e
a
d
d isl_map_
r
ange_
f
actor
_
{do
m
ain,range}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdo
o
laege
a
d
d isl_space_range
_
fact
o
r_{domain,r
a
n
ge}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven V
e
rdoola
e
ge
add is
l
_multi_*_range_is_wrapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Ve
r
d
oolae
g
e
add i
s
l_map_range_is_
w
rapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven
V
erdoolaege
add
isl_space_i
s
_wrapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven V
e
rdoolaege
do
c
:
document isl
_
space*product f
u
nctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add isl_mu
l
ti_*_reset_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven V
e
r
d
o
o
laege
doc: list isl_multi_*_
r
eset_
t
uple_id as fun
c
t
i
on modifying
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven
V
e
rdoola
e
ge
add isl_set
_
r
e
set_user an
d
i
s
l_map_r
e
set
_
user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sv
e
n
Verdoolaege
a
dd isl_sp
a
ce_reset
_
use
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verd
o
olaege
ISL
_
ARG_GROUP:
a
llow specification of long nam
e
/prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaeg
e
isl_ar
g
s_parse: all
o
w m
u
lt
i
ple
prefixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Ve
r
d
oolaege
isl_a
r
g
.
c: pri
n
t_arg_help: print "no-" on de
f
au
l
t-set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-06
Sve
n
V
e
rdo
o
laege
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2013-08-06
Sven Verdoo
l
aege
i
s
l_ast_build_ast_f
r
om_sc
h
ed
u
le: improve hand
l
ing o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-05
Sven V
e
r
d
oolaege
i
s
l_ctx
.
c: fin
d
_nested_options:
proper
l
y
handle argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
S
ven Verdoolaege
isl_
u
nio
n
_m
a
p_pa
r
ams: plu
g
memory leak in
case of
empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Ve
r
doolaege
add
i
sl_id_to_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
add isl_ast_expr
_
substitute_ids
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
extract
out isl/
a
st_type
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
a
d
d isl_ast_expr_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
add isl_ast_buil
d
_{access,
c
all}
_
fro
m
_mu
l
t
i
_
pw_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdool
a
ege
a
dd isl_ast_b
u
ild_access_
f
rom_pw_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add
isl_id_
t
o_
a
st_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
Ver
d
oolaege
add isl_ast
_
expr_
i
s_e
q
ual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoola
e
ge
add isl_i
d
_
get
_
hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
g
e
neralize and export isl_map_to_bas
i
c_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven V
e
r
doolaege
add
i
sl_map_to_basi
c
_set_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
Ve
r
doo
l
aege
is
l
_ma
p
_t
o
_basic_set: add
refer
e
nce counting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verd
o
o
l
a
ege
add isl_
m
ap_to_basic_set_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
V
erdoolaege
export isl_b
a
sic_set_plain_is_eq
u
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
isl_map_t
o
_basic_set: keep
t
rack o
f
isl_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolae
g
e
isl_map_t
o
_
b
a
sic_set_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
re
n
ame is
l
_
hmap_map_basic
_
set to i
s
l_map_
t
o_
b
asic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
add
i
s
l_
m
ulti_pw_aff
_
r
e
ad_from
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
isl_input
.
c
:
extract ou
t
map_from_
t
uple from r
e
ad_map_t
u
ple
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_p
r
inter_p
r
int_multi_pw_aff: change output forma
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
is
l
_
stream_
r
e
ad_map: acc
e
pt piecewise
a
ffine expressio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
i
sl_input
.
c: extract
o
ut
p
ush_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_input
.
c
: e
x
tract out
s
et_
c
ur
r
en
t
_
line_col
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdool
a
ege
add isl_set_
f
rom_multi_pw_aff and isl_map_from_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_ma
p
_preimage_domain_pw
_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
add isl_se
t
_preimage_multi_pw
_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdo
o
laege
add isl_mult
i
_pw_aff_p
u
llback_mul
t
i_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
do
o
laege
add isl_mu
l
ti_pw_aff_pullback_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_pull
b
ack_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_
a
f
f
_pu
l
lback_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
add isl
_
multi_pw_aff_fr
o
m
_
p
w_mul
t
i_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdool
a
ege
add isl
_
multi_pw_af
f
_from_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
add isl_multi_p
w
_af
f
_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
add
i
sl
_
mu
l
t
i
_pw_a
f
f_intersect_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
Verdoolaege
add
isl_multi_pw_aff_inter
s
ec
t
_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
dd isl_mul
t
i_pw_aff_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
add
isl_multi_
p
w_af
f
_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
add isl
_
pw_a
f
f_is_eq
u
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
rdoolaege
ge
n
e
ralize
isl
_
m
ulti_af
f
_p
l
ain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
generalize i
s
l_
m
u
l
t
i
_aff_pr
o
d
u
ct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
rdoolaege
de
c
lare isl_multi_pw_aff_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
ol
a
ege
de
c
la
r
e i
s
l_multi_pw_aff
_
gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
Verd
o
olaeg
e
add i
s
l_pw_multi_aff_fix_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl
_
pw_mu
l
t
i
_aff_project_out_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdo
o
laege
add isl_p
w
_multi_aff_fr
o
m_multi_
p
w_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
d
d isl_pw_m
u
lti_aff_fro
m
_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
ool
a
ege
add
is
l
_pw_mu
l
ti_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
add i
s
l_pw_aff_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
add isl_pw_aff_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
pri
v
ately exp
o
rt isl_pw_
q
polynomia
l
_reset
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven V
e
rdoolaege
de
c
lare isl_pw_
a
ff_has_tup
l
e_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
add
i
sl_multi_
a
f
f
_range_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
Ve
r
do
o
laege
ad
d
isl_multi_aff_domain_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
a
dd isl_space_rang
e
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
e
x
tract o
u
t isl_
s
pace_domain_map fro
m
isl_map_domain_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
isl_multi_
*
_scale_down_mult
i
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi
_
*_from_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Ver
d
ool
a
ege
add isl_
m
ulti_
*
_
s
et_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven V
e
rdoola
e
ge
add isl_mul
t
i_*_get_d
i
m_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi_
*
_find_dim_by_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
a
d
d
isl_multi_*_reset_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdo
o
l
ae
g
e
add
isl_multi_*_get_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next