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: check_facets: mark tableau rational before subset tests
2014-12-25
Sv
e
n Verdoolaege
i
sl_co
a
l
e
sce
.
c: ch
e
ck_fa
c
et
s
: mark t
a
b
l
ea
u
rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
doolaege
add i
s
l_tab_mark_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ver
d
oolaege
isl_coalesce
.
c: fix typos in com
m
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoola
e
ge
isl_coalesce
.
c: can_w
r
ap_in_fa
c
et: up
d
ate comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdool
a
ege
isl_coal
e
sce
.
c: che
c
k
_wrap: upda
t
e
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Ve
r
doolaege
i
sl_
t
ab_relax: retur
n
int inst
e
ad of
is
l
_tab
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoolaege
isl_tab_relax
:
avoid NULL pointer dere
f
eren
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ve
n
Ve
r
doo
l
aege
isl_tab_add_eq
:
pr
o
pagate
e
rr
o
rs of drop_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdoo
l
ae
g
e
isl_tab
.
c:
p
erform_und
o
_var
:
propagate
er
r
ors of
drop_r
o
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
i
sl_tab_min_at_m
o
st_neg_on
e
: be cons
i
st
e
nt abou
t
r
etur
n
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verdoolaege
Merge br
a
nc
h
'ma
i
nt'
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdool
a
e
g
e
isl_
a
st_
b
uild_ast_from_schedule: remo
v
e redundant constraint
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
laege
a
d
d isl_un
i
on_{
s
et,map}_remove_redu
n
dancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_ast_b
u
ild_exp
r
.
c: isl_ast
_
expr_add_term:
a
l
lo
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoolaeg
e
isl_ast_c
o
degen
.
c: add_implied_gua
r
ds
:
combine de
g
e
n
e
rat
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdoolaege
isl_ast_build_expr
.
c: isl_ast_
e
x
p
r_add_term: stor
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdool
a
ege
i
s
l_ast_build_
e
xpr
.
c: try_extract_mod: declare v
a
riables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven
Verdo
o
laege
A
S
T
g
ene
r
a
t
or: select un
r
oll lower boun
d
introdu
c
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sve
n
V
e
rdool
a
ege
i
sl_as
t
_codegen
.
c:
m
ove up at_offse
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoola
e
ge
isl_ast_codegen
.
c: e
x
tract o
u
t is_
b
etter_lower_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-19
Sve
n
Verdoolaege
isl_pr
i
nte
r
_
flush: actual
l
y clear
buff
e
r whe
n
called
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sve
n
Verdoolaeg
e
isl_map_gi
s
t: t
r
y an
d
e
x
ploit implicit constraint
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sve
n
Verdoolaeg
e
isl_test
.
c: t
e
st_gi
s
t: co
n
side
r
test inpu
t
s as s
e
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven V
e
rd
o
o
laege
add is
l
_map
_
u
ns
h
ifted_s
i
mple_hull_f
r
om_map
_
list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
add i
s
l_union_set_list_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sve
n
Verdoolaege
add isl_basic_map
_
list_intersect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdo
o
laege
isl_map
.
c:
fix wh
i
t
e
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
erdoo
l
aege
add isl_un
i
on_pw_multi_aff_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ver
d
oolaege
add isl_union_set_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
Verdoolaege
ad
d
i
sl_union_map_lis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
S
v
en
V
e
rdoolaege
add isl_map_l
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdoolaege
add is
l
_
basi
c
_
map_
l
is
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verd
o
olaege
add isl
_
unio
n
_se
t
_identity_union_pw
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verd
o
olae
g
e
add isl_union_set_p
r
oject_ou
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoolaege
add isl_union
_
m
ap_fl
a
t_
d
om
a
in_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Ver
d
o
olaege
ad
d
isl_unio
n
_{set,map
}
_is_d
i
sjoi
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdo
o
laege
add isl_basic_map_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add is
l
_union_pw_*_
s
ubtract_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
d
d isl_pw_*_
s
ubtr
a
ct_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en
V
e
rdoo
l
a
ege
add isl_unio
n
_m
a
p
_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
er
d
oolaege
add isl_un
i
on_
m
ap_facto
r
_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add isl_union_map_range_factor_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
ege
add isl_union_map
_
domain_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
add
i
sl_
u
nion_map_domain_factor_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_map_factor_do
m
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
la
e
ge
ad
d
i
sl_map_facto
r
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add isl_space_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
a
d
d isl_space
_
factor_
r
ang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
add is
l
_map_domain_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_map_domain_fa
c
to
r
_
ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
ge
add isl_
s
pace_d
o
main_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
ae
g
e
add isl_
u
nion_set_wrap
p
e
d
_domain_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n V
e
rdool
a
ege
add isl_
s
et_w
r
ap
p
ed_domain_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaeg
e
add isl_un
i
on_map_involves
_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
a
ege
a
d
d isl
_
union_pw_
*
_find_
d
i
m_by_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoola
e
ge
add isl_pw_
*
_find_di
m
_
b
y_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
a
d
d isl_mu
l
ti_*_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
Ve
r
doola
e
ge
add
i
sl_aff
_
find_dim
_
by_n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
add
i
sl_uni
o
n_map_
f
ind_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
g
e
add isl_basi
c
_map_find_dim_
b
y_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verd
o
olaege
add isl_
l
ocal_
s
pac
e
_find_d
i
m
_by_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
isl_un
i
on_pw_*_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
e
r
d
o
olaege
add isl_uni
o
n
_set_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doola
e
g
e
add isl_union_
p
w_multi_aff_multi_val_on
_
doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add i
s
l_pw_multi_aff_multi_val_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
d
d
i
sl_multi_aff_m
u
lti_
v
al_on_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
s
l
_pw_aff_val_on_dom
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
ae
g
e
add i
s
l_u
n
ion_*_scale_down_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
g
e
ne
r
al
i
ze isl_pw_aff_scale_d
o
wn_val to isl_{multi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoo
l
a
ege
add isl_qpo
l
y
nom
i
al_fold_sca
l
e_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en
Verdoolae
g
e
add isl_q
p
olynom
i
a
l
_sc
a
le_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add i
s
l_val_inv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n Verdo
o
laege
Me
r
ge
branch 'maint'
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
V
erdoolaege
isl
_
b
asi
c
_map_gist: avoid modi
f
yi
n
g
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
S
v
e
n Verdoolaege
a
d
d isl_loc
a
l_space_is_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sve
n
Ve
r
doola
e
ge
isl_union
_
pw_multi_
a
ff_add:
compute
s
um on shared definitio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n Verdool
a
ege
de
c
lare isl_union_p
w
_q
p
oly
n
omial_
n
eg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
r
d
ool
a
ege
d
eclar
e
isl_union_pw_multi
_
af
f
_
i
ntersect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdool
a
e
ge
d
e
cl
a
re isl_unio
n
_
p
w
_
multi_aff_
g
ist_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
olaege
dec
l
are i
s
l_unio
n
_pw_
m
u
l
t
i_aff_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaeg
e
d
eclare
i
sl_unio
n
_pw_multi_aff_scale
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declar
e
isl_union_pw_mu
l
t
i_aff
_
plain_
i
s_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoolaege
declare
isl_
u
nion_pw_mul
t
i_aff_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolaege
d
e
clare
i
s
l_union_p
w
_multi_aff_extract_pw_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdool
a
ege
declare isl_uni
o
n_p
w
_multi
_
aff_fro
m
_pw_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoo
l
aege
declare isl_pw_multi_aff_reset_t
u
ple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdool
a
eg
e
declare
isl_multi_*_flatte
n
_
r
ang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_
m
ulti_aff_mo
v
e_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
d
oo
l
aege
decla
r
e
is
l
_union_map_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
a
e
ge
declare
i
sl_union
_
set_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoolae
g
e
decla
r
e
is
l
_multi_aff_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdo
o
laege
declare isl
_
map_
t
o_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoo
l
aege
declare
i
sl_space_to_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
doc: ex
p
lain use of memory management annotation on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven Ve
r
doolaege
doc: document
*
_to_str functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoolae
g
e
doc: g
r
oup function t
y
pes and operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
oolaege
doc: gr
o
up dimension and
t
uple identi
f
ier funct
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
v
e
n Ve
r
d
ool
a
ege
doc:
m
ov
e
isl_space op
e
rat
i
ons t
o
unary/binary operations
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erd
o
o
laege
isl_un
i
on_pw_*_e
x
tract: i
g
n
o
re para
m
eter
s
in space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaeg
e
only allow a
si
n
gle isl_pw_*
o
b
j
ect
w
ith
g
iv
e
n domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next