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
AST generator: select unroll lower bound introducing fewest integer divisions
2014-12-24
Sven V
e
r
doolaege
AST ge
n
erator: select u
n
roll lower bound intr
o
ducing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoolaege
i
s
l
_ast_codegen
.
c: move up
a
t_o
f
fset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoolaege
isl_ast_cod
e
gen
.
c
:
extra
c
t ou
t
is_
b
etter_lower_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
v
en Verdoolaege
isl_m
a
p_gist: try and explo
i
t implicit co
n
stra
i
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
Ve
r
doolaege
is
l
_test
.
c: test
_
g
i
s
t: consider test inputs
a
s sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven V
e
rdoo
l
aege
add isl
_
m
a
p_u
n
shi
f
ted_sim
p
le
_
h
ull
_
from_
m
ap_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sv
e
n Ve
r
doolae
g
e
a
d
d isl_union_
s
et_list_un
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
erdoolaege
a
d
d i
s
l_basic_map_list_intersect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoola
e
ge
isl_map
.
c:
f
ix
whitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
Verdool
a
ege
add
i
sl_union_
p
w_mul
t
i_
a
f
f
_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ve
r
doolaege
add
i
sl_union_
s
et_lis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven V
e
rdoolaege
a
d
d isl_union_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Ver
d
oolaege
add
i
sl_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
S
ven Verdoolaege
a
d
d isl_basic_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sv
e
n Verd
o
olaege
add isl_union_
s
e
t
_
ide
n
tity_uni
o
n
_pw_m
u
lti
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
add isl_unio
n
_
set_project_o
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union_m
a
p_flat_domain
_
p
rodu
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
add isl_
u
n
i
on_{set,map}
_
is_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add
isl_
b
asic_map_gist_
d
o
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
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_*_subtract
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
a
dd isl_union_map_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add is
l
_uni
o
n_map_factor_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_
u
nio
n
_ma
p
_range_
f
actor_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
dd isl_unio
n
_m
a
p_domain_factor_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
add
i
sl_union_map_domain_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_map_fac
t
or
_
do
m
ai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven V
e
rdoolae
g
e
add isl
_
m
a
p_
f
actor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Ver
d
oolaege
a
dd
i
sl_spac
e
_factor_do
m
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
ad
d
isl
_
s
p
ace
_
factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ve
n
Verdoolaege
a
dd isl_map_domain_factor
_
do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add i
s
l_
m
ap_doma
i
n_
f
actor
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Ver
d
oola
e
ge
add isl_spac
e
_domain_factor_r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolae
g
e
a
dd isl_union_
s
et_wrappe
d
_doma
i
n_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
d
d
isl_set_wrapped_
d
oma
i
n_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union_m
a
p_i
n
volves_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
a
dd isl_union_
p
w_*_find_di
m
_by_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdo
o
laege
add
isl_pw_*_find
_
dim_b
y
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
add
i
sl_multi_*_f
i
nd_
d
im_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_di
m
_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
er
d
oolae
g
e
add is
l
_uni
o
n_map
_
find_dim_by
_
n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Ve
r
doola
e
ge
add isl_b
a
sic_map_find
_
dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
e
g
e
add isl_local
_
space_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
a
d
d
i
s
l
_union_pw_*_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
add isl_union_
s
et_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ve
n
Verdoolaege
add isl_uni
o
n_pw_multi_aff_mul
t
i_va
l
_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oola
e
g
e
add
isl_pw_mu
l
t
i
_aff_m
u
lt
i
_val_on
_
dom
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add
isl_m
u
lti_a
f
f_mult
i
_val_on_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add is
l
_pw_aff
_
val_on_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
add isl_uni
o
n_*_
s
cale_down_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdo
o
laege
generalize isl
_
p
w_a
f
f
_scale
_
down_v
a
l to isl_{multi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoolaege
add isl_qpolynomial_f
o
ld_scale_down
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verd
o
olaege
add i
s
l_qpoly
n
omial_sc
a
le_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaeg
e
add isl_val_inv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laeg
e
Merge
b
ran
c
h
'
maint'
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
is
l
_basic_map_gist:
a
void modi
f
ying input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
S
v
en Verdoola
e
ge
add isl_l
o
cal_space_is_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sv
e
n Verdoo
l
aege
isl_u
n
i
on_pw_multi_aff_add: comput
e
sum
o
n
s
hared de
f
inition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verdoola
e
g
e
d
eclar
e
isl
_
union
_
pw_qp
o
lyno
m
ial_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
eclare isl_union_
p
w_multi_aff_intersect_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare
isl_
u
ni
o
n
_
p
w
_multi_aff_
g
ist_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Ve
r
doolaege
dec
l
are
i
sl_
u
n
i
on
_
pw_multi_
a
ff_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ve
n
V
e
rd
o
olaeg
e
declare
i
s
l_union_p
w
_
multi_aff_scale
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oo
l
aege
declare isl_union_pw_multi_aff_plain_is_eq
u
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
doola
e
ge
d
e
clare isl_union
_
pw_multi_af
f
_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n
Verdoolaege
d
e
clare isl_union_pw_mult
i
_a
f
f_extract_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
aege
d
eclare isl_
u
nion_pw_multi_aff_from_pw
_
multi_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
laege
de
c
lare isl_pw_mult
i
_af
f
_reset
_
tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdool
a
ege
dec
l
are is
l
_mul
t
i_*
_
flatt
e
n_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoolaege
d
e
clar
e
i
sl_
m
ulti_aff_mo
v
e_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
eclare isl
_
union_map
_
to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdool
a
ege
d
e
c
lare isl_union_set_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verdool
a
e
g
e
declare isl_multi
_
aff_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
decl
a
re isl
_
map_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
declare is
l
_
s
pa
c
e_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ve
n
Verdo
o
laege
do
c
: explain
u
se o
f
memor
y
management annotation
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verd
o
o
laege
doc: documen
t
*_to_str fu
n
ctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoola
e
ge
d
oc: gr
o
u
p function
t
ypes and operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
doc: group dimension and
t
u
p
le
i
dentifier fun
c
ti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Ver
d
o
olaege
doc: move isl_space
o
pe
r
a
ti
o
ns to unary/b
i
na
r
y oper
a
tions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdool
a
ege
isl_union_
p
w_*_extract: ignore pa
r
ameters in s
p
ac
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdoolae
g
e
onl
y
allow a single isl_p
w
_* object w
i
th g
i
ven do
m
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rdoolaege
is
l
_union_pw_*_extract_*: rename "dim" variable t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoo
l
aege
isl_union_pw_*: rename "dim" field to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
i
sl_ast_expr_f
r
om_co
n
straint:
detect stride constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
add is
l
_as
t
_
o
p_zdi
v
_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ve
r
dool
a
ege
add isl_aff_coefficient_sgn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n
Verdoo
l
aeg
e
add isl_
v
al_abs_
e
q
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
e
r
doolaege
mark isl_space_tuple_
m
atc
h
as d
e
p
r
ecate
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-25
Sven Verdoolaege
isl 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
update AUTHORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
Merge
b
r
anch 'ma
i
n
t'
commit
|
commitdiff
|
tree
2014-10-13
Sven Ver
d
oolaege
isl_map_convex_hull:
det
e
ct equa
l
i
t
ies
before ch
e
cking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
isl_sc
h
edul
e
_
c
o
n
strai
n
ts_
c
o
m
pute_schedule: all
o
w
p
a
rtial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
S
ven Verdoo
l
aege
add isl_map_n_basic_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven V
e
rdoolaeg
e
split scheduler c
o
de
from
s
c
h
e
dule obje
c
t
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sv
e
n
Verdoolaege
make is
l
_aff_p
r
ivat
e
.
h
mo
r
e self
-
conta
i
ned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
r
d
oolaege
doc: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rdoolaege
d
ocument isl
_
set_is_sin
g
leton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdoolaege
do
c
:
u
pda
t
e isl_*_list document
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next