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_tab_min_at_most_neg_one: be consistent about returning to nonnegative sample
2014-12-25
S
v
en Verdoolaege
isl_tab_min_
a
t_mo
s
t_
n
e
g
_one:
b
e consistent about
r
eturning
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
v
e
n Verd
o
olaege
Merge branch 'm
a
in
t
'
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoo
l
a
ege
isl_as
t
_
build_as
t
_fr
o
m_schedule: remove redu
n
d
a
nt constraint
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoo
l
aege
ad
d
isl_
u
nion_{set,map
}
_rem
o
ve
_
redundancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoolaege
isl_a
s
t_b
u
ild_expr
.
c
: isl_ast_expr_add_term: allow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdoolaege
isl_ast_cod
e
g
e
n
.
c: add_implied_guards
:
co
m
bin
e
degenerate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verdoola
e
ge
isl_a
s
t_build_expr
.
c: isl
_
a
s
t_expr_add
_
te
r
m: store
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
ven
Verdoolaege
i
s
l_
a
st_build_expr
.
c: try_ex
t
ract_m
o
d:
d
eclare v
a
riables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven
V
e
rdoolaege
AST
generato
r
: se
l
ect unroll
l
o
w
er bo
u
nd introducin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdool
a
ege
isl_ast_
c
odegen
.
c: mo
v
e up at_offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoolaege
isl_ast_c
o
d
e
ge
n
.
c: ext
r
act out is_
b
e
tter
_
lo
w
e
r
_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-19
Sven Verdo
o
laege
i
s
l_prin
t
e
r
_flu
s
h: actually clea
r
buffer
w
hen called
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
S
ven V
e
rdoolaege
isl_map_gist: try and
exploit implicit constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoola
e
g
e
isl_test
.
c
:
test_g
i
st
:
consider te
s
t inputs as sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
erdoolae
g
e
add i
s
l_map_u
n
s
h
ifted_simple_hull
_
f
r
o
m
_map_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ver
d
o
olaege
add
i
sl_union_
s
et_list_
u
nion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sv
e
n Ve
r
dool
a
ege
add isl_basic_map
_
l
ist_intersect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
i
sl_map
.
c: fi
x
whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven
Ver
d
ool
a
ege
add isl_union_pw_multi
_
aff_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdo
o
laege
a
d
d is
l
_
union_se
t
_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven
Ve
r
doolae
g
e
a
d
d
i
sl_union_
m
ap_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
Sven Ve
r
doo
l
aege
add isl_map_li
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
Sven V
e
rdoola
e
ge
add isl_basic_m
a
p_
l
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
Sven
Verdoolaege
add
i
sl_union_set_identity_uni
o
n_pw_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Ver
d
oolaege
add isl_
u
nion_set_project_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
e
ge
add
isl_union_ma
p
_
fla
t
_
d
omain_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoolaege
a
d
d
i
sl_union_{set,map}_is_disjo
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add isl_basic_map_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en V
e
r
doo
l
aege
add
isl_union_pw_*_subtract_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
add isl_pw_*_
s
ubt
r
act_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Ve
r
doolaege
add is
l
_u
n
ion_map_
f
actor_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
Verdoolaege
add isl_uni
o
n_
m
a
p
_factor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
ola
e
ge
add i
s
l_un
i
o
n
_map_ran
g
e_factor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
o
o
la
e
ge
add
i
sl_union_map_do
m
a
i
n_
f
actor_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
add i
s
l_union_map_doma
i
n_factor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
e
rdoolaege
add isl_map_factor_
d
om
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
isl_map_f
a
c
tor
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
e
rdoo
l
a
e
g
e
add isl
_
s
pace_factor_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
e
rdoolaeg
e
a
d
d
isl_spac
e
_factor
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
dd isl_map_domain_f
a
ctor_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
l
aege
add isl_map_dom
a
in_f
a
c
tor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
a
dd isl
_
space_d
o
main_
f
actor_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
ege
add isl
_
union_set_wra
p
ped_domain_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add is
l
_
s
et_w
r
appe
d
_domain_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
e
rdoolaege
add isl_union_map_involves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en
Ver
d
oolaege
add isl_union_pw_*_find_di
m
_by_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
add
i
sl_
p
w_
*
_fin
d
_dim_by_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_
m
ulti_*_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
Verdoolaege
add
i
sl_aff_find_dim_by_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add isl
_
union_map_find_di
m
_by_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add i
s
l_
b
as
i
c_map
_
find_
d
im_by_n
a
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoola
e
ge
add i
s
l
_
local_space_
f
ind_dim_by
_
name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdo
o
laege
add isl_union_p
w
_*_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
o
o
laege
add isl_un
i
on_set_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
ad
d
isl_union_pw_multi_
a
ff_mu
l
ti_val_on_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
V
e
rdoola
e
g
e
a
d
d isl_pw_mul
t
i_aff_multi_val_on
_
dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdo
o
laege
add isl_multi_aff_m
u
lt
i
_va
l
_on_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ve
n
Verdoolaege
add isl
_
pw_a
f
f_val_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
ge
add isl_union_*_sca
l
e_down
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
general
i
ze isl_pw_a
f
f_
s
c
ale_down_val to isl_{m
u
lti
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
o
o
laege
a
dd isl_qpolynomial_fold_scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Ver
d
oo
l
aege
a
d
d
isl_qpolynomial_scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n V
e
rdoolaeg
e
add isl_val_in
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
Mer
g
e branch 'm
a
int'
commit
|
commitdiff
|
tree
2014-11-20
S
ven
V
erdoolaege
isl_basic_
m
ap_gist: av
o
id modify
i
ng input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sven Ver
d
oola
e
ge
add isl_local_space_is_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
S
ven Verdoolaeg
e
i
s
l_union_p
w
_multi_aff_add: c
o
mpute sum
on shared definitio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
dec
l
are isl_u
n
ion_pw_qpolynomia
l
_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaeg
e
declare isl_
u
nion_pw_multi_af
f
_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoola
e
ge
dec
l
are isl_
u
nion
_
pw
_
multi_aff_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
V
e
rdoolaeg
e
decl
a
re isl_unio
n
_
p
w_multi_aff
_
co
a
lesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoolaeg
e
declare isl_un
i
on_
p
w_multi_aff_scale_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n
Ver
d
o
olaege
de
c
la
r
e
isl_u
n
ion_pw_multi_aff
_
pla
i
n
_
is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoolae
g
e
declare isl_
u
nion_pw_m
u
lti_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
declare
i
sl_unio
n
_p
w
_mult
i
_aff_extra
c
t_pw_mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oolaege
declare isl_union_pw_multi_
a
ff_fro
m
_
pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
declare isl_p
w
_
m
ulti_aff_reset_tuple_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdool
a
ege
de
c
lare isl_mu
l
ti
_
*_
f
la
t
ten_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoola
e
ge
declare isl_multi_
a
ff_move
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
l
aege
decla
r
e isl_union_map_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
d
eclare is
l
_union_set_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
decla
r
e is
l
_multi_aff
_
t
o_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
V
erd
o
olaeg
e
de
c
lare isl_map_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven V
e
rdoola
e
ge
declar
e
i
sl_spac
e
_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdo
o
laege
doc: explain u
s
e of m
e
mory management an
n
ota
t
ion on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven
Verdoolaege
d
oc
:
docu
m
ent *_to_str functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sve
n
Verdoo
l
aege
doc: group
function types and opera
t
ion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rdoolaege
doc: group
d
imensio
n
and t
u
ple id
e
n
t
ifier functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
r
d
oolaeg
e
doc: mov
e
isl_s
p
a
c
e operatio
n
s to unary/bina
r
y o
p
erations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
oolaege
is
l
_union_
p
w
_
*
_
ex
t
ract:
i
gnore parameters in space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven
V
erdoolaege
o
n
l
y allow
a single isl_pw_* obj
e
ct with given doma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdo
o
laege
isl_un
i
o
n_pw_*_
e
xtract_*: rename "dim" var
i
ab
l
e to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
isl_union_pw_*: rename "dim" field to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ver
d
oolaege
i
sl_ast
_
e
x
pr_from_constraint
:
detect stride constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoola
e
ge
add isl_ast_op_zdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdoolaege
add i
s
l_aff_coe
f
f
i
ci
e
nt_sgn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdoolaege
add isl_
v
al_ab
s
_
eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoo
l
ae
g
e
mar
k
isl_s
p
a
ce_tupl
e
_match as dep
r
ecated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-25
Sven Verdool
a
ege
isl 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
update AU
T
HORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next