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 Verdoolaeg
e
remove refer
e
nce to piplib from
.
gitmodules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
S
ven Verdoolaege
isl_input
.
c: accept_div: a
c
c
ept flo
o
r/ceil
o
f
r
ational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
S
ven Verdo
o
laege
isl_input
.
c:
e
xtract
o
ut common is_start_of
_
div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sve
n
Verdoolaege
is
l
_pw
_
*_fix_val: also plug
i
n value in associated
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sv
e
n Verdoolaege
isl_
p
w_templ
.
c: extract out isl_pw_*_e
x
ploit_equ
a
li
t
ies_and_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven Ver
d
oolaege
a
d
d
test cas
e
for isl_pw_qpolyn
o
mial
_
intersect_
d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-01
Sve
n
Verdoolaege
isl_polynomial
.
c: f
i
x typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n Ver
d
o
ola
e
ge
isl_ast_
c
o
d
e
g
e
n
.
c: contru
c
t_shifte
d
_
e
xecute
d
:
u
se isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
is
l
_
a
st_c
o
d
egen
.
c:
eliminate_non_
f
i
x
ed: use isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdo
o
laege
is
l
_
a
s
t_
c
odegen
.
c
:
at_most
_
o
n
e_
n
o
n
_fixed: use isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_
a
s
t_c
o
degen
.
c: update_un
r
o
lling
_
l
ower_bound: use
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laege
isl_as
t
_build_has
_
s
tride:
u
se isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
V
erdoolaege
i
sl_as
t
_build
.
c: detect_stri
d
e: use is
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
Verdoo
l
ae
g
e
isl_ast_codegen
.
c: aff_constant
_
is_n
e
gative: us
e
is
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
rem
o
ve private isl_ast_expr_al
l
oc
_
int which is
n
o longer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
isl_ast_build
_
get_stride: use isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
rdoo
l
aege
i
sl_as
t
_build
_
scale_do
w
n: use isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
isl_ast_expr_from
_
*: use
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolae
g
e
isl_ast
_
build_e
x
pr
.
c: isl
_
ast_e
x
pr_add_term: s
i
m
plify
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
eg
e
i
sl_ast_exp
r
:
use isl_val to r
e
prese
n
t int
e
ger expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaeg
e
add isl_ast_expr_from_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
ad
d
isl_as
t
_ex
p
r
_
get_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolae
g
e
temporaril
y
add isl_val_get
_
num_is
l
_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
te
m
p
o
ra
r
i
ly make isl_val_
i
nt_from_isl_int available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_flo
w
.
c: before: use isl_vec_cmp_element
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoola
e
ge
a
d
d isl_ve
c
_cmp_eleme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
isl_
f
l
o
w
.
c: s
c
he
d
_info_
a
l
l
o
c
:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
isl_band
.
c: multi_aff_tile: use is
l
_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
add isl_tok
e
n_get_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n V
e
rdoolaege
add isl_
t
oken_ge
t
_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_token_get_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
add i
s
l_
o
bj_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add isl_union_
m
a
p_fixed_power_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add isl_set_
c
ount_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdool
a
ege
add isl_set_d
i
m_residue_class_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_map_floordi
v
_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaeg
e
add isl_set
_
plain_get_
v
al_if_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_basic
_
ma
p
_plai
n
_get_v
a
l_if_fix
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add i
s
l_map_plai
n
_get_val_if_fix
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
Ve
r
doolaege
add i
s
l_set_low
e
r
_
b
ou
n
d_val and is
l
_
set_up
p
e
r_boun
d
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rd
o
olaege
add isl_map_fix_val and isl_set_fix
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
ola
e
ge
add is
l
_set_min_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
a
d
d
i
sl_set_max_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add isl_ba
s
ic_
s
et_ma
x
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
ol
a
e
g
e
a
d
d
isl_basic_set_*_lp_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdo
o
la
e
ge
add
private isl_basic_set
_
ge
t
_d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add isl_pw_q
p
ol
y
nomial_fix_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_pw_aff_
m
od_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
d
o
ola
e
ge
add isl_pw_aff_scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
rdoolae
g
e
a
d
d isl_un
i
on
_
pw
_
*
_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
add is
l
_multi_*_scale_
v
al
a
nd
isl_pw_*_sca
l
e_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add isl_q
p
olynomial_fold_scal
e
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ve
n
Verdoolaege
add isl_qpolynomial
_
scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add i
s
l_qp
o
lynom
i
a
l
_val_o
n
_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add is
l
_qpoly
n
omi
a
l_ge
t
_constant_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
g
e
ad
d
isl_ter
m
_get_coeffi
c
ient
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
ad
d
isl_aff_mod_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
isl_aff_scale_down_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Ver
d
oolaege
add
isl_aff_s
c
ale_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en V
e
rdoolaege
add is
l
_a
f
f_get_den
o
min
a
tor_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
isl_aff_get_coefficient_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en
Verdool
a
ege
add isl_a
f
f_get_co
n
s
t
ant_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
add
i
sl_aff_a
d
d_
c
oeffic
i
ent_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoo
l
aege
add isl_aff_
a
d
d_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add i
s
l
_aff_s
e
t
_
coe
f
ficien
t
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add isl_aff_set_c
o
n
stant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoo
l
aege
a
d
d
isl_co
n
straint_get_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laeg
e
add isl_co
n
straint_get_constan
t
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
ad
d
i
s
l_co
n
straint_set_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
ad
d
isl_constrain
t
_
s
e
t_const
a
n
t_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
a
d
d
isl_point_get_
c
oordi
n
a
t
e_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
i
sl_point_set_coordin
a
te_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verd
o
ol
a
ege
add isl_mat_g
e
t
_
e
l
ement_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoo
l
aege
add isl_mat_
s
et
_
element_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add isl_
v
ec_set_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
Verdoolaege
ad
d
isl_v
e
c_get_element_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
e
rd
o
olaeg
e
add i
s
l_vec_set
_
element_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ve
r
d
o
o
l
ae
g
e
add GMP
specific
i
sl_val functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
add isl_multi_val_mod_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verd
o
olaege
add isl_
m
u
l
t
i_val
_
add_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdo
o
l
a
e
ge
add i
s
l_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
isl_mu
l
ti_templ
.
c: isl_multi_*
_
set_*: extract
out check
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
i
sl
_
val_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
isl_val abst
r
ac
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sv
e
n
Ve
r
d
oolaege
add isl_int_submu
l
_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
add i
s
l_i
n
t_addmul_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
add isl_int
_
mul_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdool
a
ege
add isl_int_fits_ulong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdo
o
l
a
eg
e
add i
s
l_int_fits_slong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sv
e
n Verdoolaege
rem
o
ve isl_int_gcdext f
r
o
m
pub
l
ic isl
/
int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolae
g
e
cr
e
ate
p
rivate c
o
py of isl/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ve
r
doolaege
Merg
e
branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2013-05-24
Sven Ver
d
oola
e
ge
isl_unio
n
_set_compute_schedule: fix check for progress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sv
e
n Verdoolaege
isl_
v
ertex_ge
t
_domain: retu
r
n parameter domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sven Ve
r
dool
a
ege
isl_ast_expr_fro
m
_constraint: split of
f
constant
t
erm
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-22
Sv
e
n Verdoolaeg
e
M
e
rge branch '
m
aint'
commit
|
commitdiff
|
tree
2013-05-22
Sven V
e
rdoolaege
isl_b
a
sic_ma
p
_f
o
reach_lexopt: properly me
r
ge partial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-06
Sven Verdoolaege
merge sha
r
e
d isl_multi_* declarati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sven Verd
o
olae
g
e
decl
a
re isl_
m
u
l
t
i
_*
toget
h
er with isl_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sv
e
n Verdoolaege
make
isl
_
multi_* fi
l
es more self-
c
ont
a
i
n
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next