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_ast_build_expr.c: isl_ast_expr_add_term: store local information in struct
2014-12-25
S
ven Ver
d
oolaege
isl_as
t
_build_expr
.
c
:
is
l
_ast_exp
r
_
a
d
d_
t
er
m
:
sto
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
ven Verdo
o
lae
g
e
isl
_
ast_build_
e
xpr
.
c: try
_
extract_mod:
dec
l
are variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoolaege
AST generator: select unr
o
l
l lower b
o
und introduci
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven Ver
d
o
olae
g
e
isl
_
ast
_
cod
e
gen
.
c: move u
p
at_off
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sv
e
n Verdool
a
ege
isl_ast_codegen
.
c: extract out is_better_lower_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
erdoolaege
isl_ma
p
_
gist:
try and
e
xplo
i
t implici
t
constra
i
n
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolae
g
e
isl_test
.
c: test_gi
s
t: conside
r
test i
n
puts as set
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
add
isl
_
m
a
p_unshif
t
ed_simple_hull_from_map_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ver
d
oolaege
add isl_union_s
e
t
_
list
_
union
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
er
d
oo
l
a
e
g
e
add
isl_
b
asic_m
a
p
_l
i
s
t
_intersect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
S
v
en Verdoolaege
i
sl
_
ma
p
.
c: fix whi
t
espace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
e
rd
o
o
l
aege
add isl_union_pw_multi_aff_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven
Verdoola
e
g
e
add isl_union_set_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
S
v
en Ve
r
doolaeg
e
add i
s
l_unio
n
_map_lis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
Sven
V
er
d
oolaege
add isl
_
m
a
p_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
S
ven
Verdoola
e
ge
ad
d
i
s
l
_b
a
sic_map_lis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
S
ven
Verdoolaege
add isl_union_set_
i
den
t
i
ty_un
i
on
_
pw_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
add isl_
u
nion_set_project_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add i
s
l_union_m
a
p_flat_domain_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
isl_union_{set,map}_
i
s_disjoi
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaeg
e
add
isl_bas
i
c_
m
ap_g
i
st_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Ve
r
d
o
olae
g
e
ad
d
is
l
_u
n
ion_
p
w_*_subtract_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
add
i
sl_p
w
_*_subtract
_
do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Ver
d
oolaege
add isl
_
union_
m
ap_factor_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoolaege
add isl_union_ma
p
_factor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
a
d
d isl_union_map_r
a
nge
_
f
a
ctor_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
add isl_union_map_domain_fact
o
r_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_un
i
on_map_domain_facto
r
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
ool
a
e
ge
a
dd isl_m
a
p
_f
a
ctor_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add i
s
l
_
ma
p
_f
a
c
t
or_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolae
g
e
add isl_space_factor
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoola
e
ge
add
i
sl_
s
p
a
ce
_
factor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
sl_
m
ap_domain_factor_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
Verdoolaeg
e
add isl_map_domain_f
a
ctor_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoo
l
aege
ad
d
i
s
l_spa
c
e
_
d
o
ma
i
n_factor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
Verdoolaege
add is
l
_union_set
_
wrapped
_
doma
i
n_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdool
a
ege
add isl_se
t
_wrapped_dom
a
i
n
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
V
erdool
a
eg
e
add isl_union_
m
ap_
i
nvo
l
ves_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union_pw_*_find_dim_by_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add is
l
_pw_*_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
g
e
add isl_
m
u
l
ti_*_find_dim_by_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_aff_find_dim_by_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laeg
e
add isl_union_map_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
a
d
d isl
_
bas
i
c_map_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
e
rdoolaege
a
dd isl_l
o
cal_space_find_dim_b
y
_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
ad
d
i
s
l_union
_
pw_*_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
add is
l
_union_s
e
t_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
er
d
oolaege
add
isl_union_pw
_
m
u
l
ti_aff_multi
_
val_on_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
a
dd isl_
p
w_multi_a
f
f_multi_val_on_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
o
ola
e
ge
add isl_m
u
lti_af
f
_multi_val_on_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
Ve
r
d
oo
l
a
ege
add isl_pw_af
f
_va
l
_
on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verd
o
olae
g
e
add isl_union_*_s
c
ale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
generalize isl_pw_aff_scale_down_val to isl_{multi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven V
e
rdool
a
e
ge
add isl_qpolynomial_fold_s
c
ale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add is
l
_qpolyn
o
m
ial_s
c
ale_dow
n
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
V
er
d
oolae
g
e
a
d
d
is
l
_val_i
n
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
Ve
r
dool
a
ege
M
e
rge
b
r
an
c
h 'maint'
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
Verdoolae
g
e
i
s
l
_basic_
m
ap_gist: avoid
m
odifying
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sven Ver
d
oo
l
aege
add isl_local_space_is_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sven Ve
r
doola
e
g
e
i
s
l
_
union_pw_multi_aff_add: compute sum
o
n shared
d
e
f
in
i
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Ve
r
doolaege
declare isl_union
_
pw_qpoly
n
o
mial_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
aege
declare
i
s
l_un
i
on_pw_m
u
lti_aff_i
n
tersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoolaege
d
eclare is
l
_union_
p
w_
m
u
l
ti_af
f
_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
laege
declare isl_
u
nion_pw_multi_aff_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oo
l
aege
d
e
clare isl_union_pw_multi_aff_scale_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdool
a
ege
declare isl_union_pw
_
multi_aff
_
pl
a
in_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
declare isl_union_pw_multi_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
e
clare
isl
_
un
i
on_pw_multi_aff_extra
c
t
_pw_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
d
o
olaege
decla
r
e isl_
u
nion_pw_multi_aff_fro
m
_pw_
m
ulti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdoolaeg
e
declare isl_pw
_
m
ulti_aff_
r
eset_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_m
u
lti_*_flatte
n
_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n Verdoolaege
de
c
lare isl_
m
ulti_aff_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_union_m
a
p_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verdoolaege
d
e
clare isl_union_set_to_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
V
e
rdoo
l
aege
d
e
cla
r
e isl_mult
i
_aff_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
eclare isl_map_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n
Verdoolaeg
e
decla
r
e isl_space_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
aeg
e
doc: e
x
plain
use of mem
o
ry manageme
n
t annotation on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdo
o
laege
do
c
: do
c
ument *
_
to_str functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven
V
erdoolaege
doc: group
f
unction t
y
p
e
s
a
n
d operat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sve
n
V
e
rdo
o
laege
d
o
c: group dimension
a
nd
tuple identifi
e
r funct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rdoolaege
doc: m
o
ve
isl_spac
e
operations t
o
una
r
y/binary operations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdool
a
ege
is
l
_union_pw_*_extra
c
t: ignore
p
a
rameters in s
p
ace
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven
Verdoolaege
onl
y
allow a single isl_pw_*
obj
e
ct
w
ith given domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sve
n
Verdoo
l
a
ege
i
sl_union_pw_*_ex
t
ract
_
*: renam
e
"dim" var
i
able to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdoolae
g
e
isl_
u
nion_pw
_
*
:
rename "dim" f
i
eld to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoola
e
ge
isl_a
s
t_expr_
f
r
om_constraint: de
t
ect stride constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdoo
l
aege
add isl
_
ast
_
op_zdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
e
r
doolaege
a
d
d isl_aff_coefficient_s
g
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdo
o
l
a
ege
add
isl_val_abs
_
eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
ven
V
erdoolae
g
e
mark isl_
s
pace_tuple_ma
t
ch as de
p
re
c
ated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-25
Sven Verdoolaege
is
l
0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
S
v
en V
e
rdoolaege
update AUTHOR
S
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven van Haastregt
doc:
fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoo
l
aege
Me
r
ge
b
ran
c
h 'maint'
commit
|
commitdiff
|
tree
2014-10-13
Sv
e
n Verdo
o
laege
isl_map_con
v
e
x
_hul
l
: detec
t
e
qualiti
e
s
b
e
f
o
re checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdool
a
e
g
e
isl
_
sc
h
edu
l
e_c
o
nst
r
a
i
n
ts_com
p
u
t
e
_
s
c
hedule: al
l
ow partia
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
add isl_map
_
n_basic_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
s
p
l
i
t scheduler code f
r
om schedule o
b
ject code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
S
ven Verdoolae
g
e
make isl_
a
ff_private
.
h more
self-contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next