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
add isl_tab_mark_rational
2014-12-25
Sven V
e
rdool
a
ege
a
d
d isl_tab_mark_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaeg
e
isl_coa
l
esc
e
.
c: fix typos
i
n comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
ven Verdoo
l
aege
i
sl
_
co
a
lesce
.
c: can_wrap_in_face
t
: u
p
date comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
V
e
r
doolae
g
e
isl_coale
s
ce
.
c: che
c
k_wrap: update
c
ommen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoolaege
i
sl
_
t
ab_r
e
lax: r
e
turn
i
nt in
s
tead
of isl_
t
ab *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verdoolaege
isl_tab
_
rel
a
x: avoid
N
ULL pointer derefere
n
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoo
l
aege
isl_tab_add_eq: p
r
o
p
agat
e
errors of d
r
op_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoolaeg
e
isl_t
a
b
.
c
:
perfor
m
_
u
ndo_va
r
: propagate
e
rrors of d
r
op
_
row
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdool
a
eg
e
isl_tab_min_a
t
_
most_
n
eg_on
e
: be c
o
nsistent about returning
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
v
e
n
Ver
d
ool
a
ege
Merge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verdoolaege
is
l
_ast_
b
uild_ast_fr
o
m_
s
chedule: remove redund
a
nt constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ver
d
oolaege
add isl_union_{s
e
t,
m
ap}_remove_redundancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
doolaege
isl_ast
_
b
u
ild_expr
.
c
:
i
s
l
_ast_
e
x
pr_
a
dd_
t
erm:
allow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
ven Verdoolaege
isl_ast_codegen
.
c
: add
_
implied_guard
s
:
c
o
mbine
d
egenerate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
ven
Verdoolae
g
e
isl_ast_b
u
ild_e
x
pr
.
c
:
isl_ast_expr_ad
d
_ter
m
: store
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolae
g
e
i
s
l_ast_build_expr
.
c: try_extract
_
m
od:
declar
e
variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven
V
erdoolaege
AST
g
enerator:
s
elect unroll lower bound introducin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven
V
erdoolaege
is
l
_ast_codegen
.
c:
m
ove up at_o
f
f
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sv
e
n V
e
rdool
a
ege
i
s
l_a
s
t_codeg
e
n
.
c
:
ex
t
ract out
i
s_
b
e
t
t
er
_
lower_b
o
un
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-19
Sven Verdoolaege
isl_prin
t
er_flush: a
c
t
ually clear buf
f
er
when
called
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ve
r
doolae
g
e
is
l
_map_gi
s
t: try a
n
d e
x
p
l
o
it implicit
c
on
s
t
raints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sv
e
n
Verdo
o
laeg
e
isl
_
test
.
c: te
s
t_gist: consider t
e
st inputs as
sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sve
n
Verd
o
olaege
add isl_ma
p
_unshi
f
t
e
d_simple
_
hull_fr
o
m_ma
p
_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
ad
d
i
s
l_union_set_list_u
n
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
ad
d
isl_basic_map_list_intersect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven
Verdoo
l
aege
is
l
_
map
.
c: fix whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ver
d
o
o
laege
add isl_union_p
w
_multi_aff_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolae
g
e
a
d
d isl_union_set_
l
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
e
r
d
oolaeg
e
add isl_union_map_li
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdoolaeg
e
add isl_map_li
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdoolaege
add isl_basic_
m
ap_l
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdo
o
l
aege
a
d
d isl_union_set_identity_un
i
on_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add
is
l
_
u
nion_set
_
project_
o
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
ge
ad
d
i
sl_union_ma
p
_flat_domain_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
g
e
add is
l
_union_{set,ma
p
}_is_disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
dd isl_basic_map_gist
_
dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
add is
l
_uni
o
n_pw_*_subtract_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oo
l
aeg
e
ad
d
isl_pw_*_sub
t
ract_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
e
rdoolaege
ad
d
isl_union_m
a
p_
f
actor_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
a
dd isl
_
un
i
o
n
_map_fac
t
o
r
_
ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaeg
e
add isl_union_map_range_factor_
r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
add isl_unio
n
_map_dom
a
i
n
_facto
r
_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verd
o
ol
a
e
ge
add
isl_u
n
ion_map_domain_factor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_map_fa
c
tor_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_map_factor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add isl_space
_
fa
c
tor_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
dd isl
_
spa
c
e_factor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
add isl_map
_
domai
n
_factor_
d
o
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
ege
add isl_m
a
p_domain_f
a
ct
o
r_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oo
l
ae
g
e
add isl_
s
pa
c
e
_
d
omai
n
_facto
r
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
a
dd isl_u
n
ion_set_wrapped_domain
_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
sl_
s
e
t_w
r
apped
_
domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
add is
l
_union_map_in
v
olves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union_pw_*_find_d
i
m
_
by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoolaege
add isl_pw_*
_
find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdo
o
laege
ad
d
isl_multi_*
_
find_dim_by_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
a
ege
add
is
l
_
a
ff_fi
n
d_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
V
erdoolaege
add
isl_union_map_fi
n
d_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
add
isl_basic_map_find_di
m
_by_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add is
l
_local_space_find_dim_by_n
a
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
add
i
sl_union_p
w
_
*_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
ad
d
i
sl_union_
s
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
add
i
sl_union_pw_multi_a
f
f_multi_val_o
n
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
isl
_
pw_m
u
lti_aff_multi_val_on_
d
om
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aeg
e
add isl_mult
i
_aff_mult
i
_
v
al_
o
n_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_pw_af
f
_val_on_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdo
o
laeg
e
add isl_
u
n
ion_*_
s
ca
l
e_dow
n
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
ge
n
eralize isl_p
w
_
aff_scale_down_val to i
s
l_{mult
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven
V
e
rdoola
e
ge
add isl_qpo
l
ynomial_fold_scale_
d
own_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
add isl_qpolynomi
a
l_
s
cale_do
w
n_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
dd isl_val_inv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2014-11-20
S
ven Ver
d
oo
l
aege
is
l
_basic_map
_
gist: avoid
modifying
i
np
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
S
v
en Verdoolaege
add isl_local_
s
pace_is_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdoolaege
i
s
l_unio
n
_pw_multi_aff_add: c
o
m
p
ute sum
o
n
shared definiti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolaege
d
e
clare i
s
l_union_pw_qpolynomial
_
n
e
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
decl
a
re i
s
l_union_
p
w_multi_aff_inters
e
ct_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare is
l
_union_pw
_
multi_aff
_
gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
decl
a
r
e is
l
_union_pw_
m
u
l
ti
_
aff_co
a
l
e
s
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdool
a
ege
decla
r
e isl_union_pw_mu
l
ti_
a
ff_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolaege
declare isl_union_pw
_
mu
l
ti_aff_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
eclare isl_union_p
w
_
multi_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
de
c
lare
isl_union_
p
w_multi_aff_extract_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdool
a
ege
d
eclare isl_union
_
pw_multi_aff
_
from_pw_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoolaege
declare isl_
p
w_multi_af
f
_reset
_
tu
p
l
e
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en
V
erdool
a
ege
decla
r
e isl_mu
l
ti_*_flatte
n
_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoolaege
declar
e
isl_mul
t
i_
a
ff_m
o
ve_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoola
e
ge
dec
l
ar
e
i
s
l
_
union_m
a
p_to_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
laege
d
e
c
l
a
re isl_union
_
set_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verd
o
o
l
aege
de
c
lare isl_mult
i
_aff_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdool
a
e
g
e
declare
isl_ma
p
_to
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n
Ve
r
dool
a
ege
dec
l
are
isl_space_t
o
_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdo
o
la
e
ge
d
o
c: explain use of memor
y
m
anagemen
t
a
nnota
t
ion on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sv
e
n Verd
o
olaeg
e
doc: docu
m
ent *_to_s
t
r functi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoo
l
aege
doc: group function
types and operat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven V
e
rdoolaege
doc: group dimension and
t
uple ide
n
t
i
fier
f
u
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
d
o
c: move isl_space operat
i
ons to una
r
y/binary operations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
isl_union_pw_*_extract
:
i
gno
r
e parame
t
ers in spac
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en Verdoola
e
ge
only allow a single isl_p
w
_
*
object with
given domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoo
l
aeg
e
isl_unio
n
_pw_*_extra
c
t_*: r
e
name "dim" varia
b
le to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next