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: can_wrap_in_facet: update comment
2014-12-25
Sve
n
Verdoolae
g
e
isl_coalesce
.
c: can_wrap_in
_
facet: update co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
Verdoolaege
isl_
c
oalesce
.
c: check_wrap: u
p
d
ate
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
v
e
n
V
e
rdool
a
e
g
e
i
sl_tab
_
r
e
lax: return int instead of isl_tab *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Ver
d
o
o
l
aege
isl_tab_relax: av
o
id NULL pointer dereference
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
d
oolaege
i
sl_tab
_
a
dd
_
e
q
:
pr
o
pagate err
o
rs of d
r
o
p
_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoolaege
is
l
_ta
b
.
c: p
e
rform_undo_var
:
propaga
t
e errors o
f
drop
_
row
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
i
sl_tab_min_a
t
_mo
s
t_neg_one: be consistent about returning
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-12-25
Sven
Verdoolaege
isl_ast_
b
uild_as
t
_
f
r
o
m_s
c
hedule:
r
emove redundan
t
constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
add i
s
l
_
union_{set,map}_remove_
r
edundancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
V
erdool
a
eg
e
isl_as
t
_bui
l
d_expr
.
c
: isl_
a
st_ex
p
r
_
add_term
:
allo
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verd
o
ol
a
e
g
e
isl_ast_codegen
.
c: add_
i
m
p
lied_gua
r
ds
:
combine
degenerate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdoolaege
is
l
_
ast_
b
uil
d
_expr
.
c: isl_
a
st_expr_add_term:
s
tore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
d
oolaege
isl_a
s
t_b
u
ild_e
x
p
r
.
c
: tr
y
_e
x
tract
_
mod
:
declare
var
i
ables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven V
e
rdoolaege
AST
generator: sele
c
t unroll lo
w
er bound in
t
roducing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sve
n
Ve
r
doolaeg
e
isl
_
ast_
c
odegen
.
c: move up at_of
f
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sv
e
n Verdoolaege
isl_ast_
c
ode
g
en
.
c: e
x
t
r
act out is_bette
r
_
lower_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-19
Sve
n
Ve
r
d
o
olaege
i
s
l_pri
n
ter_flush: actually
clear buffer when called
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
ven Verdoolaege
isl_map_gi
s
t
:
try and
e
xploi
t
implicit constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ve
r
doolaege
is
l
_test
.
c:
t
es
t
_gi
s
t
:
consider test inputs as sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
Verdoolaege
add isl_map_unshifted_simple_hull_from_
m
ap_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
ven Verdoolae
g
e
add isl
_
union_s
e
t_list_u
n
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sv
e
n Verdoolaege
ad
d
i
s
l
_basi
c
_map_li
s
t
_
inte
r
sect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
isl_map
.
c:
f
ix whitesp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoo
l
aege
add isl_union_p
w
_multi_aff_
l
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ver
d
oolaege
a
d
d isl_union_set
_
list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
erdoolaege
a
d
d
is
l
_unio
n
_map
_
list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sv
e
n Verdoolaege
ad
d
isl_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven
Verdoolaege
add isl_ba
s
ic_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdool
a
ege
add isl_union_set_identity_union_pw_multi
_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
add isl_union_set_project_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verd
o
olaeg
e
ad
d
isl_
u
nion
_
map_flat_domain
_
product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
s
l_unio
n
_{set,m
a
p}_
i
s_disjoi
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
r
d
oolaege
add isl_basic_map_gi
s
t_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Ver
d
oolae
g
e
add isl_union_pw_*_
s
u
b
tract_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add isl_pw_
*
_subtract_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
Verdoo
l
aege
add
i
sl_unio
n
_map_factor
_
dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdo
o
laege
a
dd
i
sl_un
i
o
n_map_fac
t
or_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
ad
d
i
sl
_
union_map_ra
n
ge
_
f
actor_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdo
o
laege
add isl
_
uni
o
n
_
map_domain_fa
c
to
r
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
a
d
d isl_union_map
_
domain_factor_r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laeg
e
add isl
_
map_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoolaege
a
dd isl_map_f
a
c
tor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add is
l
_space_fac
t
o
r
_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
a
d
d
i
sl_
s
pace_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven
Ve
r
doolae
g
e
add isl
_
map_domain_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoola
e
ge
a
d
d
i
s
l_map
_
d
o
m
a
in_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aeg
e
add isl_space_
d
omain_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdo
o
laege
add i
s
l_
u
ni
o
n_set_wrapped_domai
n
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add i
s
l_set_wrapped_dom
a
in_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven V
e
rdoolae
g
e
add
i
sl_u
n
io
n
_map
_
involves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
d
d isl_un
i
on_pw_*_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoo
l
aege
add isl_pw_*_
f
ind_d
i
m_by_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
r
d
oolae
g
e
a
d
d isl_multi_*_find_dim_b
y
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
V
erdoolaege
add
i
sl_aff_fin
d
_dim
_
by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdool
a
ege
add isl_uni
o
n_map_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n Verdoolae
g
e
add isl_basic_
m
ap_find_dim_by_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdo
o
laege
add
i
s
l
_local_spa
c
e_find_di
m
_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_u
n
ion_p
w
_*_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add is
l
_
u
n
ion_set_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union_p
w
_multi_aff_multi_
v
al_on
_
dom
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_pw_m
u
lti
_
aff_mul
t
i
_v
a
l_on_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
ad
d
isl_mul
t
i
_aff_multi_
v
al_on
_
spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
e
ge
add isl_pw_aff_
v
al_
o
n
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdool
a
eg
e
add isl
_
union_*_scale
_
down_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoola
e
ge
generali
z
e isl_
p
w_aff_scale_down_v
a
l to isl
_
{multi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
a
dd isl_qpolynom
i
al_fold_scale
_
down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
ge
add isl_qpolynomial_sca
l
e_down
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add isl_v
a
l_in
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
isl_bas
i
c_map_gist: avoid
modifyin
g
i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sven
Verdoola
e
ge
add i
s
l_loc
a
l_space_i
s
_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdo
o
laege
isl_union_pw_multi_aff_add: comput
e
sum on sh
a
r
ed definition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_
u
n
ion_pw_qpolynomial_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaeg
e
de
c
lare
isl_unio
n
_pw_mul
t
i
_
a
f
f_interse
c
t
_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
decla
r
e isl_union_pw_multi_aff_gis
t
_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
decl
a
re isl_un
i
on_pw_multi_a
f
f_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oolaege
declar
e
i
s
l
_
u
n
ion_pw_mu
l
t
i
_af
f
_scale_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdo
o
laege
declare
is
l
_u
n
i
o
n_pw_multi_aff_plain_i
s
_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verd
o
olaege
d
eclare isl_union_pw_mult
i
_aff_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erd
o
olaege
dec
l
a
r
e isl_
u
nion_pw_mu
l
ti_aff_extr
a
ct_pw_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n
V
e
r
d
oo
l
aeg
e
d
ecl
a
re isl_union
_
pw_mul
t
i_aff
_
from_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
olaege
declare isl_
p
w_multi
_
aff_reset_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdoolaege
dec
l
are isl_multi_*_flatten_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n Ve
r
doolaege
declare
i
sl_mul
t
i
_aff_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdoolaege
d
e
clare isl_union_map_t
o
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
decla
r
e isl_union_set_
t
o_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n
Verdoolaeg
e
d
e
clare i
s
l_multi_aff_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoolaeg
e
declare isl_map_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdoolaege
d
ecla
r
e
is
l
_space
_
to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
er
d
oolaege
do
c
: explain u
s
e of memory
management annotation
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sv
e
n Verdoolaege
doc: d
o
c
u
ment *_to_str fun
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoolaeg
e
doc
:
gro
u
p function
t
ypes and
o
perations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdo
o
laege
doc:
group d
i
mensio
n
and tuple identifier f
u
nctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
er
d
oolaege
doc:
mo
v
e is
l
_spac
e
operations to
u
nary/
b
inary o
p
erations
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n
Verdoolaege
isl_u
n
i
o
n_pw_*_extract: ignore para
m
eters in space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n V
e
r
d
oo
l
aege
only allow a si
n
g
le isl_pw_* ob
j
ect with given domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoo
l
aege
isl
_
unio
n
_
p
w_*_ex
t
ract_*: re
n
ame "dim"
v
ariable
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdoolaege
isl_union_pw_*: rename "dim
"
fiel
d
to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rdo
o
lae
g
e
isl_ast_expr_from_constraint: de
t
ect s
t
ride const
r
aints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next