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_local_space_substitute_equalities: improve error message
2013-06-11
S
v
en
Verdoolaege
i
s
l_local_space_substitute_
e
qualiti
e
s: i
m
pro
v
e err
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sven
Verdoolaege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2013-06-10
Sven
V
e
rdoolaege
isl_coalesce
.
c
:
fix
typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sv
e
n Verdool
a
ege
isl_outpu
t
.
c: p
r
int_qpolynomial_c: improve error
h
a
n
dling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-06
Sven V
e
r
d
o
olaege
isl_map_align_d
i
vs: f
i
x
error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
ven Verdo
o
laege
i
s
l
_hmap_map
_
basic_set_se
t
: avo
i
d mem
o
ry
le
a
k o
n
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven
V
erdoolaege
isl_u
n
ion_map_alloc: a
v
oid dou
b
le free
o
n err
o
r
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
v
e
n V
e
rdoolaeg
e
isl_vertices
.
c
:
co
m
pute_
c
hamb
e
rs
:
avoid inva
l
id access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
v
en Ver
d
ool
a
ege
isl_basic
_
map_
g
is
t
: avo
i
d invalid acc
e
ss on
e
rror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verd
o
olaege
isl_basic_map_
a
lign
_
divs: avoid invalid acce
s
s on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven
Verdoo
l
a
e
ge
isl_basic_map_cont
a
ins
:
avoi
d
invalid access
on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaeg
e
isl_basic_set_opt: avoi
d
invalid access on err
o
r pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
S
ven Verdoolaeg
e
i
s
l_tab_pip
.
c: co
n
text_gbr
_
save:
a
void invalid
a
ccess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
isl_tab_pip
.
c
: use_shifted: avoid i
n
valid access on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
S
v
e
n
V
e
rdoolaege
isl_ast_codegen
.
c:
g
enerate_
c
ompone
n
t
:
a
void invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
isl_stream_read_
m
ap: handle "impli
e
s" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-03
Sven Verdoolaege
rem
o
ve reference to piplib f
r
o
m
.
gitmodul
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sv
e
n
Verdoo
l
ae
g
e
isl_i
n
pu
t
.
c: accept_
d
iv: acc
e
pt floor/ce
i
l
o
f rat
i
onal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sve
n
Verdool
a
e
g
e
isl_input
.
c:
e
x
t
ract out common is_start_of_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
S
v
en
V
erdoolaege
isl_pw_*
_
fi
x
_val: als
o
plug in val
u
e i
n
associated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolae
g
e
isl_p
w
_te
m
pl
.
c: ex
t
rac
t
out isl
_
pw_*_expl
o
it_equalities_and_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sv
e
n Verdoola
e
ge
add test case for isl_pw_qpoly
n
omial_intersect_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-01
S
v
en
Ver
d
oo
l
aeg
e
isl_polynomial
.
c: fix
t
ypo in c
o
m
me
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
i
s
l_ast_codegen
.
c: contruct_
s
hifted_executed: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
i
s
l_ast_code
g
en
.
c
: eliminate_
n
on_fixed:
u
se isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
isl_ast_codegen
.
c
:
at_most_one_no
n
_fixed: use
i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ve
r
d
o
olaege
isl_ast_c
o
degen
.
c
: update_unrolling_lower_b
o
und: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
i
s
l_ast_bu
i
ld_has_s
t
ride: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdo
o
l
a
ege
isl_ast_buil
d
.
c:
d
etect_stride:
u
se isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoola
e
ge
i
sl_
a
st_
c
odegen
.
c:
a
ff_constant
_
is
_
negative: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
remove privat
e
isl_ast_expr_alloc_
i
nt
which
is no
longer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_a
s
t_b
u
ild_get_stride:
use is
l
_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_ast_build_
s
cal
e
_down:
u
se isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
e
ge
isl_ast_
e
x
pr_from
_
*: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
isl_ast_bui
l
d_expr
.
c
:
i
s
l_a
s
t_expr_add_term: simplify
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
isl
_
ast_exp
r
: use isl_
v
al to represent
i
n
t
eger express
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
e
ge
add isl_as
t
_expr_from_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add i
s
l
_a
s
t_expr_
g
et_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
erdoolae
g
e
temporarily
add is
l
_v
a
l_
g
et
_
n
um
_
i
s
l_i
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
temporarily m
a
ke isl_va
l
_
i
n
t_from_isl_
i
n
t
available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolae
g
e
isl_flow
.
c: bef
o
r
e: use isl_vec_cmp_
e
l
emen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
la
e
ge
add isl_vec_cmp_e
l
ement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
isl_f
l
ow
.
c: sched_info_alloc: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolae
g
e
i
s
l
_band
.
c
: mu
l
ti_
a
ff_tile: u
s
e isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
d
oolaege
add isl_token_g
e
t
_typ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
a
dd isl_toke
n
_
g
et_st
r
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
Sven Verdoolaege
a
dd isl
_
obj_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdo
o
laeg
e
add isl_union_
m
ap_fixed_power_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verd
o
ol
a
ege
a
dd i
s
l_set_cou
n
t_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
a
dd isl_s
e
t_
d
im_residue
_
class_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdool
a
ege
add isl_map_
f
l
oordiv_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doo
l
aege
add i
s
l_set_plain_get
_
val_
i
f_f
i
xed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl
_
basic_map_plain_g
e
t
_
val
_
if_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaeg
e
add is
l
_map_pla
i
n_get_val_
i
f_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
add
isl_set_lowe
r
_
b
o
u
n
d
_val and isl_s
e
t
_
upp
e
r_bound_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_map_fix
_
val and isl_set_f
i
x_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add isl_set_min_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
e
g
e
add is
l
_set
_
m
a
x_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
a
e
ge
a
dd isl_basic_set_max_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
ae
g
e
add isl_basic
_
set_*
_
lp_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n Verdoolaege
add privat
e
isl
_
basic
_
set_get_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
ae
g
e
add is
l
_p
w
_
qpolynom
i
al_f
i
x_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoola
e
ge
add
i
sl_pw_a
f
f_mod_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
o
l
a
ege
add isl_
p
w
_
af
f
_scale_
d
own_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en V
e
rdool
a
ege
add isl_un
i
on_pw
_
*_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add is
l
_
m
ulti_*_scale_val and isl_pw_*_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add isl_qpolynomial_fold_scale
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
la
e
ge
add isl_qpoly
n
omi
a
l_scale_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d
isl_qpolynomial_va
l
_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
ola
e
g
e
a
dd isl_qpol
y
nomial
_
get_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
Verdoo
l
a
e
g
e
add isl_term_get_coef
f
icient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add isl_
a
ff_mod_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laege
add isl_aff_scale_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add
i
sl_aff_scale_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
V
e
rdoolaege
add isl_aff_get_
d
enomi
n
ator_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Ve
r
doolaeg
e
add isl_aff_
g
et
_
coefficient_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_aff_get_c
o
nstant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
add isl_
a
ff_ad
d
_coefficient_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
a
d
d
is
l
_aff_add_const
a
nt_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoo
l
aege
add isl_a
f
f_se
t
_coefficien
t
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add isl_aff_set_const
a
nt
_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
Verdo
o
laege
add isl_constraint_get_coef
f
icient_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
r
doolaege
add isl_cons
t
raint_get_constant
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
ad
d
is
l
_con
s
tra
i
nt_set_coef
f
icient_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdool
a
ege
add isl
_
constraint_set_co
n
stant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdo
o
l
a
ege
add isl_
p
oint_get_
c
oord
i
nat
e
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdo
o
laege
add i
s
l_poi
n
t_set_coordi
n
a
te_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rd
o
olaege
add isl_mat_
g
et_
e
l
e
m
ent_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoo
l
aege
add isl_m
a
t_s
e
t_elem
e
nt_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d is
l
_vec_set_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add isl
_
vec_
g
et_elemen
t
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
a
e
ge
a
dd isl_vec_set_e
l
ement_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add GMP sp
e
c
i
fic isl_val fu
n
ctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
r
d
oolaege
add isl_multi_v
a
l_mod_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add isl_multi_val_add
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolae
g
e
add isl_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
r
d
oolaege
isl
_
multi_
t
empl
.
c:
isl_multi_
*
_
set_
*
: extrac
t
out check
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoo
l
aege
add isl_val_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
ad
d
i
s
l_v
a
l
a
bs
t
raction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next