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_set_min_val: compute minimum of minima
2013-06-03
Sven Verdool
a
ege
remove ref
e
rence to piplib from
.
gitmodu
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolae
g
e
isl_i
n
p
u
t
.
c: accept_di
v
: a
c
c
ept floor/
c
eil of rati
o
nal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sv
e
n Verdool
a
e
g
e
isl_in
p
ut
.
c
:
extract out com
m
o
n is_star
t
_o
f
_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
isl_pw_*_fix_
v
al: also plug in value in a
s
s
o
ciated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven V
e
rdoolaege
isl_pw_templ
.
c:
e
xtract
o
u
t
isl_
p
w_*_exploit_equa
l
ities_and_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
S
v
e
n
Verd
o
o
l
a
e
ge
a
dd tes
t
case for isl
_
pw
_
qpo
l
ynomial_i
n
t
e
rsect_d
o
ma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-01
Sven V
e
rdoo
l
aege
isl_poly
n
o
m
ial
.
c: fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_a
s
t
_
co
d
e
g
en
.
c: contruct_shifted_execut
e
d: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
isl_ast_codegen
.
c: eliminate_non_
f
ixed: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en V
e
r
d
o
ola
e
ge
isl_ast_codegen
.
c: a
t
_most_one
_
n
o
n
_fixed: use i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verd
o
olaege
is
l
_ast_codegen
.
c: update_unrolling_lowe
r
_
b
oun
d
: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
isl_ast_bui
l
d_has_stride: use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
isl_ast_build
.
c: det
e
ct_str
i
de: us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_
a
st_codeg
e
n
.
c
: aff_co
n
stant_is_negat
i
ve:
u
se isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
do
o
laege
remo
v
e
p
r
ivate
i
sl_ast_expr_alloc_
i
nt which is n
o
longer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
V
e
rdo
o
laeg
e
isl_a
s
t_build_get_stride:
u
se
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
isl_ast_bui
l
d_scale_down
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
isl_as
t
_expr_fro
m
_*: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdool
a
ege
isl_ast
_
build_e
x
pr
.
c: isl
_
ast_
e
xpr_add_term: si
m
plify
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ve
r
doo
l
ae
g
e
isl_ast_expr: use
i
sl_val
t
o
represent int
e
ger expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
e
rdo
o
laege
add is
l
_ast_e
x
pr_from_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d i
s
l_ast_expr_get_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
t
empora
r
ily a
d
d isl_val_
g
et_num_is
l
_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
t
emporarily
make isl_val_int_from_is
l
_int available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
isl_flo
w
.
c: before: use isl_vec_cmp_e
l
ement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
add isl_vec_cmp_
e
lement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
Verdoo
l
a
e
g
e
i
s
l_flow
.
c
:
s
c
hed_info_
a
lloc: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoola
e
ge
isl_band
.
c: multi_aff_t
i
le: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
i
sl_token_get_ty
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
V
erdoo
l
ae
g
e
add i
s
l
_to
k
en
_
get_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
V
e
rdoola
e
ge
a
d
d
isl_tok
e
n_ge
t
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add isl_obj_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoola
e
ge
add is
l
_un
i
on_m
a
p_fi
x
ed_p
o
wer
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl
_
set_count_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add isl_set_dim_residue_class_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d isl_map_floordiv_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n V
e
rdoolae
g
e
a
d
d i
s
l_set_plain_ge
t
_val_i
f
_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
add isl_
b
a
s
i
c_map_pla
i
n_get_val_if_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
a
d
d is
l
_ma
p
_plain_get_val_if_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add
i
s
l_
s
et_lower_bound_val and isl_set_upper_bound_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdo
o
laege
add is
l
_ma
p
_
f
i
x_val and isl_set_fix_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
ol
a
e
g
e
add isl
_
s
et_mi
n
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add isl_set_max_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
rdool
a
ege
ad
d
isl_basic_set_
m
ax_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add isl_ba
s
ic_s
e
t_*
_
lp_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
a
dd privat
e
isl_basic_set_ge
t
_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Ve
r
doolaege
add is
l
_p
w
_qp
o
lynomial_fix_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d
isl_pw_af
f
_m
o
d_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_pw
_
aff_scale_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
is
l
_union_pw_*_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add is
l
_multi
_
*_scale_val a
n
d isl_pw_*_s
c
ale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
a
dd isl_qpolynomial_fold_s
c
ale_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en V
e
rdoolaege
ad
d
is
l
_
qpolyn
o
mial_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
e
rdoolaege
add isl_qpolyno
m
ial_v
a
l_o
n
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
a
dd is
l
_qpolynomial_get_
c
on
s
tant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoola
e
g
e
add isl_term_get_coefficient
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
ad
d
isl_aff_mo
d
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oo
l
ae
g
e
add isl
_
aff
_
scale_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d
isl_aff
_
sca
l
e_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
V
erd
o
olaege
add isl_
a
ff_get_d
e
nominator_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d isl_af
f
_get_coeffic
i
ent_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d isl_
a
ff_get_constant_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verd
o
ola
e
ge
ad
d
isl_aff_add_
c
oeffi
c
ient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaeg
e
add isl_a
f
f_add
_
c
o
nstant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdo
o
laege
add isl_aff_set_coef
f
icient_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_aff_set_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ve
n
Verdoola
e
ge
a
dd isl_constraint_get_coeffi
c
ient
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add
isl_constr
a
int_ge
t
_
c
onst
a
nt_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
g
e
add isl_const
r
aint_s
e
t
_
c
oeffici
e
nt
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
a
d
d isl_constrai
n
t_set_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
add isl_point_g
e
t_coordinate_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
ad
d
isl_point_
s
et_
c
oordinat
e
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl
_
mat_get_element_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ver
d
ool
a
e
g
e
add isl_mat_set_element_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaeg
e
a
d
d is
l
_
v
e
c
_
set_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
ol
a
ege
add isl_vec_g
e
t_e
l
ement
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laege
add
is
l
_vec_set
_
element
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
g
e
add GMP specific isl_val functio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laege
add isl_
m
ulti_val_mod_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoo
l
a
eg
e
ad
d
isl_mu
l
ti_
v
a
l
_add_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
a
dd isl_multi
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
isl_multi_templ
.
c: isl_m
u
lti_*_set_*: extract o
u
t
check
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_
v
al
_
list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_
v
a
l
abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sv
e
n
Verdoolaege
add isl_int_submul_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven V
e
r
d
oo
l
a
e
ge
a
dd
i
sl_int
_
addmul_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoo
l
ae
g
e
add isl_int_mul_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sve
n
Verdoolaege
add isl
_
int_fits_ulong
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
S
ven V
e
rdoolaege
add isl_int_fits_slong
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ve
r
doolaege
remove
isl_in
t
_gcd
e
xt f
r
om
p
ublic
i
sl/int
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
S
v
en Verdoolaeg
e
create pri
v
ate copy of isl/
i
nt
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
Merge br
a
nch
'
maint'
commit
|
commitdiff
|
tree
2013-05-24
Sven
V
erdoo
l
a
e
ge
isl_union_set_compute_
s
che
d
ule: fix chec
k
fo
r
p
r
ogress
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoolaege
isl_ve
r
tex
_
get_domain: return param
e
ter domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sven Ver
d
oolaeg
e
isl_ast_e
x
pr_from_c
o
n
s
traint: sp
l
i
t off const
a
nt term
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-22
S
v
en Verdoolae
g
e
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2013-05-22
Sven Ver
d
oolae
g
e
isl
_
basi
c
_map_for
e
ach_lexopt: properl
y
m
e
rge
p
artial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-06
Sven Verdoolaege
merge shared isl_multi_*
d
e
clarations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
S
v
en Verdoolaege
d
eclare isl_multi_* to
g
ether w
i
th isl_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
Sven V
e
r
d
oolaege
make isl_multi_* file
s
more sel
f
-cont
a
in
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next