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_codegen.c: update_unrolling_lower_bound: use isl_val
2013-05-28
S
v
en
V
er
d
o
o
laege
isl_as
t
_codegen
.
c: u
p
date_u
n
rolli
n
g
_lower_
b
ound:
u
s
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verd
o
olaeg
e
isl_ast_build_has_stride:
u
s
e
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl
_
a
st_bu
i
ld
.
c: detect_stride
:
use isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rd
o
ola
e
ge
is
l
_ast_codeg
e
n
.
c: aff_co
n
stant_is_negati
v
e:
u
s
e isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
re
m
ove priv
a
te isl_ast_ex
p
r_alloc_int whi
c
h is
no lon
g
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoola
e
ge
isl_ast_build_get_str
i
d
e
: us
e
is
l
_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
i
s
l_ast_build_
s
c
a
le_down:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoola
e
ge
isl_ast_expr_from_*: us
e
i
sl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
isl
_
ast_b
u
il
d
_e
x
pr
.
c
: isl_ast
_
e
xpr_add_
t
erm: simplify
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
e
r
doolaege
isl_ast_ex
p
r: use i
s
l_v
a
l to represent inte
g
er expres
s
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
dd isl_as
t
_expr_from_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en V
e
r
doola
e
ge
ad
d
isl_ast_expr_g
e
t_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
temporarily add isl_val_
g
et_num_isl
_
int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
t
e
mporarily make isl_val_int_from_
i
sl_in
t
av
a
i
l
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verd
o
olaege
isl_flo
w
.
c: before: use isl_vec_cmp_
e
lement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_vec_cmp_element
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolae
g
e
isl_flow
.
c: sched_i
n
fo_alloc:
u
se
isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Ver
d
o
olaeg
e
isl_band
.
c
:
multi_aff_til
e
: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoola
e
ge
a
d
d isl_token_get_
t
ype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
erdoolaege
add
i
sl_token_
g
e
t
_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdo
o
l
a
ege
a
dd isl
_
toke
n
_g
e
t_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
a
dd isl_obj_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
add isl_un
i
on_map_fixed_power
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
g
e
add isl_set_count_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Ve
r
doolaege
add isl_se
t
_dim_
r
esidue_class_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
l
a
ege
add isl
_
map_fl
o
o
r
div_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
er
d
o
o
laege
add i
s
l_set_plain_get_val_if_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolae
g
e
add isl_basic_map_p
l
a
i
n_ge
t
_val_if_f
i
xed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ver
d
oolaege
ad
d
isl_m
a
p
_
plain_get_val_i
f
_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
ad
d
isl_s
e
t_lower_boun
d
_
v
al and isl_set_up
p
er_boun
d
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
Verdoolaege
ad
d
isl_map_fix_
v
al and isl_s
e
t_fix_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laege
add isl_set_min_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
add
i
sl_s
e
t_max_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_basi
c
_
s
et_max_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
ad
d
is
l
_
basic_s
e
t_*_lp_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
ad
d
p
r
ivate isl_b
a
sic_set_get_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add isl_p
w
_qpolyno
m
ial_fix_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven V
e
rdoo
l
ae
g
e
add isl
_
pw
_
aff_mod_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
er
d
oolaege
add isl_pw_aff_s
c
ale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add isl_union_pw_*_scal
e
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
isl_multi_*_scale_val
a
n
d
isl_pw_*
_
scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolae
g
e
add
isl_
q
p
olynomial_fold_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdo
o
l
a
ege
add
isl_qpolynom
i
al_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add i
s
l_qpol
y
nomial_val_o
n
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
dd isl_qpolynomial_
g
e
t_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d isl_term_
g
e
t
_
coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add isl_aff_
m
o
d
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
add isl_aff_s
c
ale_
d
own_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add isl
_
aff_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_aff
_
g
e
t_
d
enomi
n
ator_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaeg
e
add i
s
l_af
f
_
g
et_coefficien
t
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
add i
s
l_
a
ff_get
_
co
n
stant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
a
d
d isl_aff_a
d
d_co
e
fficien
t
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ver
d
oola
e
ge
add isl_aff_add_const
a
nt_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
rdool
a
eg
e
add isl_aff_
s
e
t
_coefficient_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdo
o
l
a
ege
a
dd isl_aff_set_cons
t
a
nt
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
ad
d
is
l
_constrai
n
t_get_coeffic
i
e
n
t_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
add
i
sl_constraint_
g
et_constant_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_co
n
strai
n
t
_
set
_
c
o
effici
e
n
t_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
Verdoolaege
ad
d
isl_constraint_set_constant_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ver
d
oolaeg
e
add isl
_
po
i
nt_g
e
t_coordinate_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolae
g
e
a
d
d isl_poi
n
t_s
e
t_coordinate_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ver
d
ool
a
ege
add isl_mat_get_eleme
n
t_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
add
i
sl_mat_set_
e
l
e
m
ent_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add is
l
_ve
c
_
s
e
t_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en V
e
rdoolaege
a
d
d
isl_vec
_
g
et_ele
m
ent_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add is
l
_vec_set_
e
lem
e
nt_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
add G
M
P s
p
ecific isl_
v
al
funct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolae
g
e
ad
d
isl_multi_val_m
o
d_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d
i
sl_mu
l
ti_val_
a
dd_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven V
e
rdoolaege
add isl_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erd
o
olae
g
e
is
l
_multi_templ
.
c: is
l
_multi_*_set_*: extract out check
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdool
a
e
ge
a
dd isl_val_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
ola
e
ge
add isl_val abstrac
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
add isl_int_sub
m
ul_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sve
n
Verdoolaege
add is
l
_
int_ad
d
mul_u
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven V
e
rdoolaege
add isl_int_mul_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven
Ve
r
doolaege
ad
d
isl_int_fits_ulong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
S
v
e
n
Verdoolaege
add isl_int_fits_slong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven
V
erdoolaege
r
e
move isl
_
int_gcdext from public isl/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sv
e
n
V
erd
o
o
l
a
e
g
e
create priva
t
e copy of isl/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
Me
r
ge
b
r
anch
'
m
aint'
commit
|
commitdiff
|
tree
2013-05-24
Sven Ve
r
doolaege
i
sl_union_set_compute_sch
e
dul
e
: fix c
h
e
c
k for
p
rogress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sven
V
erdoolaege
i
s
l
_
vertex_get_dom
a
in
:
return para
m
eter domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sven Ve
r
doo
l
a
ege
isl_a
s
t_expr_f
r
om_
c
o
n
straint: spli
t
o
f
f
constant term
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-22
Sv
e
n
V
erdoolaege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2013-05-22
S
v
en Verdoolaege
isl_b
a
si
c
_map_foreach_lexopt: properly merge partia
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-06
Sv
e
n Verdoo
l
aege
mer
g
e shared
i
sl_
m
ult
i
_* declarations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sven
Verdoolaege
declare i
s
l_mul
t
i
_*
together
with
i
sl_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sven Verdoolaeg
e
m
a
ke isl_multi_* files
m
o
r
e self-
c
onta
i
n
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven
Verd
o
olaege
isl_space_private
.
h: protect a
g
a
ins
t
multiple inclusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
S
v
e
n Verdoolaege
detect missing gmp
.
h or mis
s
i
n
g
/ol
d
gmp library d
u
ring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
S
v
en
V
er
d
oola
e
ge
isl_ast_codegen
.
c:
a
dd_nodes: use mo
r
e trans
p
a
r
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sv
e
n Verdoola
e
ge
add isl_
b
asic_map_order_gt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sve
n
Ve
r
doolaege
bound
.
c: v
e
rify_poin
t
: use isl
_
printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
S
v
en
V
erdoolaege
i
s
l_input
.
c: read
_
factor: declare variable
s
at start
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
Sven Ver
d
oolaege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2013-04-23
Sven Ve
r
doolaege
isl_*alloc*: return NULL if
ctx argument i
s
NU
L
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoo
l
aege
isl_space
.
c
: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Verdoola
e
ge
declare isl_
t
ab
_
g
e
t
_ctx in isl_tab
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next