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_coalesce.c: fix typos in comments
2014-12-25
Sven Verdoolaege
isl_
c
oalesce
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_
c
oalesce
.
c
:
c
an_wrap_i
n
_face
t
: update comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
i
s
l_c
o
alesce
.
c: check_wrap:
u
p
da
t
e comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
Verdoolaege
i
sl_tab_relax: return int inst
e
ad of isl_tab *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
laeg
e
isl
_
tab_relax: avoi
d
NULL poi
n
ter d
e
r
eference
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verd
o
olaeg
e
isl_tab_add_eq: propaga
t
e erro
r
s of drop_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
i
sl_
t
a
b
.
c: p
e
rf
o
r
m
_undo_var: pro
p
agat
e
erro
r
s of
drop_row
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_t
a
b_min_a
t
_
m
ost_neg
_
one: be consi
s
tent
about retur
n
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n
V
erd
o
olaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-12-25
S
ven Verdo
o
laege
isl_ast_b
u
ild_ast_fro
m
_schedule: remove redund
a
nt constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
l
aege
add
isl_union
_
{set,map
}
_remo
v
e_redu
n
da
n
cies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verd
o
o
l
aege
is
l
_ast_b
u
il
d
_expr
.
c: isl_ast_expr_
a
dd_term:
allow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
doo
l
aege
isl_
a
st_
c
odegen
.
c: ad
d
_implied_gua
r
ds
:
comb
i
ne degene
r
ate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
doolaege
i
s
l_ast_build
_
expr
.
c
:
isl_a
s
t_expr_add
_
t
erm: store
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ve
n
Ver
d
oolae
g
e
isl_
a
st_build_
e
xpr
.
c:
try_extra
c
t
_
mod:
d
eclare v
a
r
iables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoolaege
AST g
e
ne
r
ator: sele
c
t unroll l
o
wer
bound
introducing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoolaege
i
sl
_
as
t
_codegen
.
c: move up
a
t_of
f
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoolaege
i
s
l_ast_codegen
.
c: extract out is_better_lower_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-19
Sven Verdoolaege
isl_pr
i
n
ter_flush: ac
t
ually clear buffer wh
e
n call
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ve
r
dool
a
e
ge
isl
_
map_gist: try
and e
x
ploit implicit constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
erdoolaege
isl_te
s
t
.
c: t
e
st_gist: c
o
n
s
ider test inputs as sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
e
rdoolaege
add isl_map_unshift
e
d_simple_hull_from_map_
l
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
v
en Verdoolaege
a
d
d
i
sl_union_set_list_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
Verdoolaege
a
dd is
l
_b
a
s
ic_
m
ap_list_interse
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdool
a
ege
isl_map
.
c
:
fi
x
whitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoola
e
g
e
add isl_union_pw_multi_aff_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sv
e
n Ver
d
oolaege
add isl_union_set_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
v
e
n Ver
d
oolaege
add
is
l
_
u
nion_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven
Ver
d
oolaege
add isl
_
m
ap_lis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven V
e
rdoolaege
a
d
d
i
sl
_
bas
i
c_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
S
v
en Ver
d
oolaege
add isl_un
i
on_set_i
d
entity_union_
p
w_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdool
a
e
g
e
add isl_uni
o
n_set_project_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
ge
add isl_union_m
a
p
_
flat_domain_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolae
g
e
a
d
d
i
s
l
_union
_
{s
e
t
,
map}_i
s
_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
add isl_basic_map_gis
t
_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
add isl_union
_
pw_*_subtract_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_pw_*
_
s
ub
t
ract_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verd
o
o
l
a
ege
add is
l
_union_map_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
d
oo
l
a
e
ge
add isl_
u
nion_map
_
factor_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaeg
e
add
isl_union_ma
p
_r
a
nge_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
add isl_u
n
ion_map_domain_factor_dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
add
i
s
l_union_map_domain_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add isl_map_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add
i
sl_map_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verd
o
o
laege
add
is
l
_space_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_space_
f
actor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
l
a
e
ge
ad
d
isl_map_do
m
ain_facto
r
_d
o
ma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
add
isl_map_domain_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
add
i
sl_space
_
domain_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoola
e
ge
add isl_u
n
ion_se
t
_w
r
apped_
d
omain
_
ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdo
o
laege
add
i
sl_set_
w
r
a
ppe
d
_domain_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
add isl_un
i
on_map_
i
nvolves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
add
isl_union_p
w
_*_find_
d
im_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n Verdoolaege
a
dd isl_pw_*_
f
ind_di
m
_b
y
_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoolaege
add i
s
l_multi_*_find_
d
im
_
by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
r
d
oolaeg
e
add isl_af
f
_
fin
d
_di
m
_b
y
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
a
d
d isl
_
u
n
i
on_map_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add
isl_basic_map
_
f
in
d
_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n Verdool
a
e
g
e
add isl_local_space_find_
d
im_by
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
dd isl_u
n
ion_p
w
_*_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoo
l
a
e
ge
add isl_union_set_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
ad
d
is
l
_union_pw_multi_a
f
f_mul
t
i_val_on_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Ve
r
doolaege
add
is
l
_pw_multi_aff_
m
ult
i
_val
_
o
n_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
la
e
g
e
a
dd isl_multi_aff_
m
u
lti_val_on_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
d
o
o
la
e
ge
add is
l
_p
w
_aff_va
l
_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rd
o
olae
g
e
add i
s
l_
u
ni
o
n_*_scale_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdo
o
laege
gene
r
al
i
z
e isl_pw_aff_scale_down_val to
i
s
l_{multi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_qpolynomial_f
o
ld_sc
a
l
e
_down_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verd
o
olaege
a
dd isl_q
p
o
l
ynom
i
al_
s
cale
_
dow
n
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add i
s
l_v
a
l_inv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
ege
Merge branch
'
m
a
int'
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Ve
r
doo
l
aege
isl_basic_map_
g
ist: avoid modifying inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdoo
l
aege
a
dd isl_
l
ocal_space_is_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
S
v
en V
e
r
d
ool
a
ege
isl_union_pw_multi
_
a
ff
_
add: compute s
u
m on share
d
d
e
fi
n
ition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Ve
r
d
o
olae
g
e
declare isl_unio
n
_pw_qpolynomia
l
_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n
V
erdoolaege
d
e
clare isl_union_pw_multi_a
f
f_interse
c
t_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaeg
e
declare isl_u
n
ion_pw_m
u
lti_aff_gi
s
t_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
olaege
d
ecla
r
e isl
_
union
_
pw_mu
l
ti_
a
f
f_
c
oalesc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
do
o
lae
g
e
de
c
lare isl_union_
p
w_multi_a
f
f_sc
a
le_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
de
c
l
a
r
e isl_
u
nion_pw
_
multi_aff_
p
lain_is_equ
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en
Verdoolaege
declare isl_union
_
pw_multi_af
f
_gi
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoolaege
de
c
l
are isl_union_p
w
_multi_aff
_
extract_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoolaege
declare isl
_
union_pw_multi_af
f
_from_pw_mult
i
_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
olaeg
e
declare is
l
_pw_mul
t
i_af
f
_
rese
t
_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
eclare isl_multi_*_
f
latt
e
n_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erd
o
olaege
de
c
l
a
r
e isl_multi_aff_mov
e
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
laege
declare isl_un
i
on_map_to_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verd
o
olaege
d
eclare isl_union_set_to
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
eclare isl_multi
_
a
ff_to
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_map_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdo
o
laeg
e
decla
r
e
i
sl_space_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdoo
l
ae
g
e
doc: explain use of m
e
mory management annotation
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
S
v
en Ver
d
oolaege
doc
:
doc
u
ment *_to_str functio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven Ve
r
d
oo
l
aege
doc: group f
u
nc
t
ion types a
n
d ope
r
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en
V
erdoolaege
doc:
gr
o
up d
i
mensi
o
n a
n
d tu
p
le id
e
ntif
i
er functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
d
o
c
:
m
o
v
e
i
s
l
_space operat
i
on
s
to
u
n
ary/bina
r
y operatio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
Verdo
o
laege
isl_union_p
w
_
*
_
e
xtract: ign
o
r
e parameters
i
n space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
ven V
e
rdoolaege
only allow a single isl_pw
_
*
object wit
h
giv
e
n domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdoolaege
isl_union_pw
_
*_
e
x
t
ract_*: rename "dim" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
is
l
_un
i
on_pw_*: ren
a
me
"
dim" fie
l
d to
"space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next