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
add isl_pw_aff_mod_val
2013-05-28
Sven Verdoolaege
add isl_pw_aff_mod_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Ver
d
oolaeg
e
ad
d
isl_pw_aff_sc
a
le_down_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
er
d
oolae
g
e
a
dd isl_union_pw
_
*_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
a
dd isl_multi_*
_
scale
_
val and isl_pw_*_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolae
g
e
add isl_qp
o
l
y
nomial_fold_sca
l
e_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_qpolynomial_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaeg
e
a
dd
i
s
l_qp
o
lynom
i
a
l
_
v
al_on_d
o
ma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
i
sl
_
q
p
olynomial_get_c
o
nstant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add isl_term_get_coefficie
n
t_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
add isl_aff_
m
od
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
a
d
d isl_aff_scale_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olae
g
e
add isl_
a
f
f
_
scal
e
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl
_
aff
_
get_denominator_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
ad
d
isl_a
f
f_ge
t
_coefficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
V
erdoolaege
add
isl_aff_get_con
s
t
a
nt_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
d
oolae
g
e
add i
s
l_aff_add_coefficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdool
a
ege
ad
d
isl_a
f
f_add_constant
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n Verdoolaege
ad
d
isl_aff_set_coef
f
icient_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add is
l
_aff_set_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
ola
e
ge
add isl_constraint_
g
et_c
o
ef
f
ici
e
nt_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
a
dd isl
_
constr
a
int_get
_
constant
_
va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
V
erdoolaege
ad
d
isl_con
s
t
ra
i
nt_set_c
o
efficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
dool
a
ege
a
dd
i
sl_constraint_set
_
constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laege
add
is
l
_point_get_coordi
n
ate_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rd
o
olaege
add isl_point
_
set_coordinate_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
e
ge
add isl_
m
at_get_ele
m
ent
_
va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
e
rdoolaege
add isl_mat_
s
et_element_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add is
l
_vec_set_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
add isl_vec_get
_
element_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verd
o
o
l
aege
a
dd isl_vec_set_el
e
ment_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
l
aege
add GMP
specific isl_val
f
unct
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
add isl_mult
i
_
v
a
l_m
o
d_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add
isl_multi_val
_
a
d
d_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
isl_
m
ul
t
i_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laege
isl_multi_templ
.
c
:
i
sl_m
u
l
ti_*_s
e
t_*: ext
r
a
c
t out ch
e
ck
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add
i
sl_val_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verd
o
olaege
add isl_val a
b
st
r
ac
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolae
g
e
add is
l
_int_submul_
u
i
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sve
n
Ver
d
oola
e
ge
add isl_int_addmu
l
_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
S
v
en Ver
d
oo
l
aege
add isl_i
n
t_mul_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven
Verdoolaege
a
dd isl_int_fits_ulong
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ver
d
oo
l
a
e
g
e
add isl_int_fits_slong
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
S
ven Verdoolaege
remove isl_int_gcdex
t
from p
u
blic isl/
i
nt
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ve
r
doolaege
c
r
eat
e
private c
o
py
o
f
i
sl
/
in
t
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sve
n
Verdoolaege
M
e
rg
e
branch 'main
t
'
commit
|
commitdiff
|
tree
2013-05-24
Sven Ve
r
d
oolaege
isl_union
_
se
t
_compute_sc
h
e
d
ule: f
i
x
check for prog
r
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sven
Verdoolaeg
e
isl_verte
x
_get_domain: retu
r
n pa
r
ameter domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoolaege
is
l
_a
s
t_expr_from_constraint: split off consta
n
t term
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-22
Sve
n
Verdoolaege
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2013-05-22
Sven V
e
rdo
o
laeg
e
is
l
_
b
asic_map_foreach_lexopt: p
r
oper
l
y merge partial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-06
Sven Verdoo
l
a
e
ge
merge shared isl_multi_
*
d
eclarations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
Sven
V
erdo
o
l
a
ege
declare
isl_multi_*
t
o
gethe
r
w
ith
isl_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
Sv
e
n
Verdoolaege
make isl
_
multi
_
* fil
e
s
more self-
c
onta
i
ned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
isl_s
p
ace_private
.
h
: protect against multiple i
n
clusions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
S
ven Ver
d
oolae
g
e
detect miss
i
ng g
m
p
.
h or missin
g
/old gmp library during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
S
v
e
n
Verdoolaege
isl_ast_codegen
.
c: add
_
nodes: use more transparent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoolaeg
e
ad
d
isl_basic_m
a
p_order_g
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoolaege
bo
u
nd
.
c: verif
y
_point: use i
s
l_
p
rinter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
Sven Verdoolaege
isl_inp
u
t
.
c
:
r
ead_factor
:
declare
v
a
r
i
a
bles at start
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
Sven Verdoolaege
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2013-04-23
Sven Ver
d
oolaege
isl_*alloc*: retu
r
n NULL if ctx arg
u
ment is NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ve
r
doolaege
isl_space
.
c
:
a
d
d
missin
g
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
Verdoolaege
declare isl_ta
b
_get_ctx in isl_tab
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Verdoola
e
g
e
declare
isl_*_list together with i
s
l_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Verdool
a
e
g
e
isl_ast_g
r
aft
.
c:
r
e
mov
e
spurious inc
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_
a
st_codege
n
.
c: remove depend
e
nce on internals of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ve
r
do
o
l
a
ege
extract
g
e
n
e
ric isl_*_list_fore
a
ch_scc from i
s
l_as
t
_codegen
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ven V
e
rdool
a
ege
isl
_
map_aff
i
ne_hull: ma
k
e stride in
f
ormation
explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Verd
o
olaege
is
l
_mo
r
ph
.
c: extract out isl_mat_parameter_compression_ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n
Verdool
a
eg
e
isl_ast_build_get_strid
e
_const
r
a
int: combine mul
t
iple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Ve
r
doolaege
isl_
a
s
t_b
u
il
d
.
c: u
s
e isl_int_gcde
x
t instead of
ope
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
a
dd isl_int_gcdext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Verdoola
e
ge
isl_ast_b
u
il
d
_ast_from_sched
u
l
e
: also add stride guard
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ver
d
o
o
l
aege
isl_ast_b
u
ild_se
t
_lo
o
p_bounds:
c
ompute di
v
s after
eliminat
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Verdoolaege
i
s
l_map_simpli
f
y
.
c: normalize_divs_i
n
_context: improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Verdo
o
laege
isl_ast_buil
d
_expr
.
c: r
e
move lef
t
-
over from refactoring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
v
e
n Verdoolaege
isl_ast_codegen
.
c: create_no
d
e_scal
e
d: reflect current
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
Verdo
o
laeg
e
add i
s
l_
u
nio
n
_map
_
pr
e
image
_
domain_
m
ulti_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rdoo
l
aege
add isl_m
a
p_pr
e
image
_
d
o
m
ain_m
u
lti
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verd
o
olaege
isl_basic_map_preimage_mu
l
t
i
_
aff: micro-refactoring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
Verdoolaege
is
l
_ma
p
_simplify
.
c:
div_is_redundant:
ignore
c
oefficients
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoola
e
ge
ge
n
eralize isl_ba
s
ic_set_prei
m
age_multi_aff to isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
Sven
V
erdoolae
g
e
i
s
l_a
s
t_build_ast_
f
rom
_
s
chedule: also add stride gua
r
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
S
ven
V
erdool
a
ege
isl_ast
_
build_set_loop_bounds: c
o
mpute
d
iv
s
after eliminatin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
Sven Ver
d
ool
a
ege
i
sl_map_simplify
.
c: normalize
_
divs_in_con
t
ext: improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sven Verdoolaege
isl_
m
ap
.
c: fix typ
o
in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sven Verdoolaege
exten
d
is
l
_
s
eq_pre
i
mage to allow taking
p
reimage of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sven V
e
r
doolae
g
e
isl_map_si
m
plify
.
c: div_is_re
d
undant: ignore
coefficients
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-15
S
v
en Verdo
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2013-04-15
Sv
e
n Ver
d
oola
e
g
e
i
s
l
_
a
st_codegen
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-15
S
v
e
n Verd
o
olaege
isl_ast_b
u
ild_ast_from_sch
e
du
l
e: p
r
operl
y
handle unio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-15
S
ve
n
Verdoolaege
isl
_
a
st_codegen
.
c: update
_
unrolling
_
l
ower_
b
o
u
nd:
c
heck
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-12
S
ven
V
erd
o
olaege
isl_mat_free: r
e
turn
NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-11
Sven Verdoolaege
isl_basic_map_insert_dims: plug
m
emory leak when called
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-11
Sve
n
Verdoola
e
ge
C
h
angeLog: drop some text
tha
t
ap
p
ears to have been
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-09
Sven Verdoo
l
aege
isl
0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-09
Sven Verdoola
e
g
e
ad
d
missing int
e
rface/all
.
h
and interf
a
ce/isl
.
p
y
.
top
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-09
Sven Verdo
o
l
aege
isl_schedule
.
c: sort_band_list
:
t
a
ke
i
n
t
o
acco
u
nt that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-09
Sve
n
Verdoolae
g
e
is
l
_schedule_get_map: pad schedule
map with zeros if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-09
Sven Verdoolaege
i
s
l_as
t
_g
r
aft
.
c
: store_guar
d
: coa
l
esce guar
d
after
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next