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
s
l_coalesce
.
c: check_facets: mark table
a
u ratio
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
add isl_
t
ab_mark_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verdo
o
laege
isl_coalesce
.
c:
fix t
y
pos
in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoola
e
g
e
isl_coalesce
.
c: can
_
w
rap
_
in
_
facet: upd
a
te comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en V
e
r
d
o
o
laege
isl_coalesce
.
c:
c
heck_
w
rap: update comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
laege
isl_
t
a
b
_
r
e
lax: return
i
n
t i
n
stead of isl_ta
b
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
laege
i
s
l_tab_re
l
ax
:
avo
i
d
N
ULL
point
e
r der
e
ference
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en
Verdoolaege
isl_tab_ad
d
_eq: pr
o
p
a
g
ate e
r
rors of drop
_
row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
d
oolae
g
e
isl
_
tab
.
c:
p
erform_u
n
do_var: propa
g
ate
e
rrors of
d
rop_row
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ven V
e
rdoolaege
isl_tab
_
min_
a
t_most_neg_one: be consistent
a
bout returning
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verdo
o
la
e
ge
Merge
b
ra
n
ch
'
ma
i
nt'
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdool
a
ege
isl_ast_build_ast_from_
s
chedule: remove redundant
con
s
tr
a
i
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verdoolae
g
e
a
d
d is
l
_union_
{
set,
m
ap}_remove_redundancie
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
V
erdoolae
g
e
i
s
l_ast_build_exp
r
.
c: isl
_
ast_expr_
a
d
d_te
r
m: allow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n
Verdoolaeg
e
isl_ast_c
o
degen
.
c
:
add_implied
_
guards: combine degenerate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
er
d
oolaege
isl_ast_b
u
ild
_
e
xpr
.
c
: isl_ast_expr_add_t
e
rm:
store
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verd
o
olae
g
e
isl_ast_build_expr
.
c: try_extr
a
ct_mod: declare va
r
iables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
S
v
en Verdoolaege
A
ST g
e
nerator: sele
c
t
unroll low
e
r
b
ound
i
n
troducing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoola
e
ge
isl_ast_co
d
egen
.
c:
m
ove up at_offs
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sve
n
Verdool
a
ege
isl_ast_co
d
egen
.
c: extr
a
ct out i
s
_better_lo
w
er_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-19
Sven Verdo
o
la
e
ge
is
l
_
pr
i
nter_flush: actually clear bu
f
f
e
r when called
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven V
e
rdoolae
g
e
isl_map_gist: try and
e
x
p
loit implic
i
t constra
i
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
erdoolaege
isl_test
.
c: test_gist: consider
te
s
t inputs as s
e
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ve
r
doola
e
ge
add
i
sl_
m
ap_u
n
shifted_simpl
e
_hull_fro
m
_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
e
rdoolaeg
e
add isl_union_s
e
t_list
_
unio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdool
a
ege
a
dd isl_basi
c
_map_list_int
e
rs
e
ct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
isl_
m
ap
.
c: fix
w
hitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
a
d
d
i
s
l
_
unio
n
_pw_mult
i
_aff
_
l
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
erdoolaege
add isl
_
union_s
e
t_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ve
r
doolaege
add isl_union_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven
Verdoolaege
add
i
s
l_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdoolaege
add isl_basic_map_lis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sve
n
Verdoolaege
add isl_
u
ni
o
n_set_
i
dentity_u
n
ion_p
w
_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add isl_union_set_
p
roject_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
add is
l
_union_map_flat_doma
i
n_p
r
oduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdo
o
l
a
ege
add
i
s
l_union_{set,map}_is_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
sl_bas
i
c_ma
p
_g
i
st_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
a
d
d
isl_union_pw_*_subtra
c
t
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en
V
erdool
a
ege
add isl_pw_*_su
b
tra
c
t_do
m
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
ge
a
d
d isl
_
union_map_
f
actor_
d
om
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_uni
o
n_map_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdo
o
laege
add isl_u
n
i
on_map_
r
ange_fa
c
tor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
e
rdoolaege
add isl_union_map
_
d
o
main_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_unio
n
_map_
d
omain_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oo
l
aege
a
d
d isl
_
m
a
p_factor_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
add
i
sl_map
_
f
ac
t
or_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoolaege
add
i
sl_space_factor_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n V
e
rdoolaege
add
i
s
l
_sp
a
ce
_
fact
o
r_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven
V
erdoo
l
aeg
e
add is
l
_
m
ap_domain_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
Verdoola
e
ge
add
i
sl_map_d
o
mai
n
_factor_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n V
e
r
d
o
o
laege
a
d
d isl_space_domain_factor_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ve
n
Verdoolaege
ad
d
i
sl_
u
nion_
s
et_wrapped_do
m
ain_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaeg
e
add isl_set_wrapped_
d
o
m
ain_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
add isl_unio
n
_m
a
p_involves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
ad
d
is
l
_union_pw
_
*_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
add
isl_pw_
*
_find_
d
im_b
y
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add is
l
_multi_*
_
f
i
nd_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add
i
sl_aff_
f
ind
_
dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdool
a
ege
ad
d
i
sl_union_map_find_d
i
m_b
y
_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoo
l
ae
g
e
add isl_ba
s
ic_map_find_
d
im_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n Verdoolaeg
e
add isl
_
local
_
space_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaeg
e
add i
s
l
_
u
n
ion
_
pw_
*
_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
ege
add isl
_
u
n
ion_set_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verd
o
o
laege
add isl_union_pw_mul
t
i_aff
_
multi_val_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
add isl_
p
w_multi_aff_mul
t
i
_val_on_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
s
l
_
mul
t
i_aff_mult
i
_val_on_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoolae
g
e
add isl_
p
w_af
f
_val_on_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdo
o
l
aege
add isl
_
unio
n
_
*_scale_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoolaege
gene
r
alize isl_p
w
_aff_scale_
d
own_val to isl_{multi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoo
l
aege
add isl_qpolynom
i
al_fold_scale_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
dd isl_qpoly
n
omial_scale_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_val_inv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
i
sl_basic_ma
p
_gist: avoid
m
odifying inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdoola
e
g
e
a
d
d isl
_
local_spa
c
e_is_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sv
e
n
V
erdool
a
ege
isl_
u
nion_pw_mu
l
ti_aff_add: comp
u
te s
u
m on shared definition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declar
e
isl_union_pw
_
qpolynomial_ne
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oolaege
d
e
clare isl_union_pw_multi
_
aff_
i
ntersect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
ola
e
ge
declar
e
isl_union
_
pw_mult
i
_aff_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
olaege
declare isl_uni
o
n_pw_mult
i
_aff_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n
V
e
rdoolaege
d
eclare isl_union_pw_m
u
l
t
i_aff_s
c
a
l
e
_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
o
olaege
decla
r
e isl_un
i
o
n_pw_multi_aff_plain
_
i
s_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
declare isl_
u
nion_pw_multi_aff_g
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_union_pw_multi
_
aff
_
extract_
p
w
_
m
ult
i
_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdoo
l
aege
declare isl_
u
n
i
on_pw_mult
i
_af
f
_fro
m
_
pw_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
a
e
ge
declare isl_p
w
_multi_aff_reset_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Ve
r
doola
e
ge
declare isl_m
u
lti
_
*_flatten_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
doolaege
declare isl_mul
t
i_aff_
m
ove_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
d
eclare i
s
l_u
n
ion_map_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n Verdoolaege
dec
l
are isl_union_s
e
t_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
V
e
rdool
a
ege
declare isl_multi_aff_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdool
a
ege
declare
isl_ma
p
_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
decl
a
re isl_space_t
o
_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdoolaeg
e
doc:
explain use
of memory management ann
o
tat
i
on
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
S
v
en Verdoolae
g
e
doc: documen
t
*_to_st
r
func
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven
V
erdoolaege
doc:
g
roup function types
a
n
d operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en
V
erdo
o
laege
doc: group dimension and
t
u
p
le identifier fun
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sve
n
Ver
d
o
olaege
doc: move is
l
_space
o
perations to
u
n
a
ry/binary operations
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
oolaege
isl_
u
nion_pw_*_extrac
t
:
ignore pa
r
ameter
s
in space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n
V
erdoolaege
onl
y
al
l
ow a single isl
_
p
w_* object with given domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next