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
Sven Verdoolaege
isl_
l
ocal_spac
e
_substitute_e
q
ualities: improve error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-10
Sven
Verdoolaege
Merge b
r
a
nch 'maint'
commit
|
commitdiff
|
tree
2013-06-10
S
v
en Verdoolaege
isl_
c
o
alesce
.
c: fix typo i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-10
Sv
e
n Verdoola
e
ge
isl_output
.
c: print_qp
o
lyn
o
mial_c: impr
o
ve e
r
ror handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-06
Sven Ver
d
oo
l
aege
isl_map_align_
d
ivs: fix er
r
or ha
n
dling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoo
l
aege
isl
_
hmap_map_b
a
sic_set_
s
et: avoid
m
emo
r
y
l
eak o
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven
Verdo
o
laege
isl_uni
o
n_ma
p
_all
o
c:
avoid do
u
ble free on
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sv
e
n Verdo
o
laege
isl_v
e
rtice
s
.
c:
compute_chambers
:
avoid invalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoo
l
aege
isl_basic_map
_
gist: avoid inva
l
i
d access
on error
p
ath
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Ve
r
dool
a
ege
isl_basic_map_align_divs: avoid invalid acce
s
s
on
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
is
l
_basic_m
a
p_con
t
ain
s
: avoid invalid ac
c
e
ss
on
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven V
e
rdoolaege
i
s
l
_b
a
sic
_
set_opt: a
v
oid inval
i
d
acce
s
s on
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
Sven Ver
d
oo
l
a
e
ge
isl
_
tab_
p
ip
.
c
:
cont
e
xt_gbr_sa
v
e: av
o
i
d
invalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
Sven
Ver
d
oolaege
isl_tab_pip
.
c: use_shif
t
ed: av
o
id
i
nvalid acce
s
s on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
Sven
Verdool
a
eg
e
i
sl_
a
st_c
o
degen
.
c: generate_component
:
a
void inval
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
isl_stre
a
m_rea
d
_map: handle "implies" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-03
Sven Verdoola
e
ge
re
m
ove
r
eference to p
i
plib from
.
gitmodules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven Ver
d
oolaege
isl_input
.
c: a
c
cept_di
v
:
a
c
cept fl
o
or/
c
eil of
ra
t
iona
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
isl
_
i
nput
.
c: extrac
t
o
ut commo
n
is_
s
t
a
rt_
o
f_di
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
S
v
e
n Verdoolaeg
e
isl_
p
w
_
*_fix_val: also plug
in
value
i
n associa
t
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoola
e
ge
isl_pw_templ
.
c
: extract
o
ut isl_pw_
*
_
exploit_equalities
_
and_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven
V
e
r
d
o
olaege
a
d
d
te
s
t case
f
or
i
sl
_
pw_qpolynomial_inter
s
e
ct_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-01
S
v
en Ve
r
doolaege
i
sl_polyno
m
ial
.
c: fi
x
t
y
po
i
n
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
is
l
_ast
_
codegen
.
c:
c
ontruct_shifted_executed: u
s
e isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaeg
e
isl_ast_
c
odegen
.
c
: elimina
t
e_non
_
fixed:
u
se isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
i
s
l_ast_
c
ode
g
en
.
c:
at_most_one_non_fixed: use i
s
l_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
i
s
l_ast_codegen
.
c:
u
pdate_unrolling_lower_bound
:
use
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl
_
ast_build_has
_
strid
e
: use
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en
V
erdo
o
laege
isl_ast_build
.
c: d
e
tect_strid
e
:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n V
e
rdoolaege
i
s
l_ast_codeg
e
n
.
c: aff_cons
t
an
t
_is_
n
egative
:
use isl
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
re
m
ove priv
a
te isl_a
s
t_ex
p
r_
a
lloc_int which
i
s no longer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
d
o
o
laege
isl_ast_build_get_s
t
ride: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaeg
e
isl
_
ast_build_scal
e
_d
o
wn
:
u
s
e i
s
l_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ver
d
oo
l
aege
isl_as
t
_
e
xpr_from_*: use
isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
isl
_
ast
_
bui
l
d_
e
xpr
.
c
: isl_ast_expr_add_term: simplify
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_ast_expr: use
i
sl_val to represent i
n
teger exp
r
essions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_ast_expr_from_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
erdool
a
ege
ad
d
i
s
l_ast
_
expr_get_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
t
emp
o
rarily add isl_val_ge
t
_num_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ve
r
doolae
g
e
temporar
i
ly
m
ake isl_v
a
l_int_f
r
o
m_isl_
i
nt available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en
Verd
o
olaege
is
l
_
flow
.
c: before: use
i
sl_
v
ec_cm
p
_elem
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Ver
d
oolaege
add isl_vec_c
m
p_element
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Ver
d
oolaege
i
s
l_flow
.
c:
s
c
hed_info_allo
c
: use isl_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Ve
r
doolaege
isl_ban
d
.
c
: mult
i
_aff_t
i
l
e
: use
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
V
erdool
a
ege
add
isl_tok
e
n_get_
t
y
pe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoo
l
a
ege
add i
s
l_token_g
e
t
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
o
o
laege
add isl
_
token_get_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_
o
bj_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ver
d
oolaege
add
isl_union_map_fixed_power_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_se
t
_coun
t
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add
i
s
l
_se
t
_dim_residue_class_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laege
add is
l
_map
_
floor
d
iv_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add
i
s
l_s
e
t_
p
lain_get_val_if_fi
x
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add isl_basic
_
map_plai
n
_get_val_if
_
fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolae
g
e
add is
l
_ma
p
_p
l
ain_get_val_
i
f_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoo
l
aege
add isl_set_lo
w
er_bound_val
a
nd is
l
_set_upper_bound_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
add isl_m
a
p_fi
x
_val and isl_set_fi
x
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
isl
_
set_min_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
is
l
_set
_
max_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_basic_set
_
max_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add isl_
b
asic_set_*_lp_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
o
olaege
add priva
t
e
isl_ba
s
ic_set_g
e
t_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
l
aege
a
dd
isl_pw
_
qpolynomial_fix_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_pw_aff_
m
o
d
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
dd isl
_
pw_aff_scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolae
g
e
add isl_uni
o
n
_
pw_*_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_m
u
lti_*_
s
cale_val and isl_pw_
*
_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laege
a
dd
i
sl_q
p
olynomial_fold_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
add isl_qpol
y
nomial_scale_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add isl
_
qp
o
lynomial_val_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
r
d
oolaege
ad
d
isl_qp
o
lynom
i
a
l
_get_
c
onstant_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
e
ge
add isl_term_get_coef
f
ici
e
nt_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
ad
d
isl
_
a
f
f_mod_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add i
s
l_aff_scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
rdo
o
laege
add isl_af
f
_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verd
o
olaege
add isl_aff_get_denominator_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add isl_aff_get_coeff
i
cient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Ver
d
ool
a
ege
add i
s
l_a
f
f_get_consta
n
t_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
add
i
s
l
_
aff_add_co
e
ffici
e
nt_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
a
d
d isl_aff_add_cons
t
ant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
a
d
d isl_aff
_
set_coe
f
ficient_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl
_
aff_set_
c
ons
t
ant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en
Verd
o
olaege
add isl_constraint_g
e
t
_
coeffic
i
ent_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_constraint_g
e
t_c
o
nstant_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
ad
d
i
sl_constraint_set_c
o
efficie
n
t_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
isl_co
n
str
a
int
_
s
e
t_
c
o
n
st
a
nt_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add isl_po
i
n
t
_
g
et_coordinate_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add isl_point_s
e
t
_coordinat
e
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oo
l
aege
add isl_mat_get_elem
e
nt_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
l
aege
add isl_
m
at_set_e
l
ement_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
r
do
o
laege
add is
l
_vec_set_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
a
dd isl_vec_get_
e
leme
n
t
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_vec
_
set_element_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
a
dd
G
MP specif
i
c is
l
_val fun
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add isl_multi_va
l
_mod_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
dool
a
ege
add i
s
l_multi_val_add_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdool
a
ege
add isl_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
la
e
ge
isl_m
u
lti_templ
.
c: isl_mult
i
_*_s
e
t_*: extra
c
t out check
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
rdoola
e
ge
a
dd isl_val
_
list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
e
ge
a
dd isl
_
v
al
a
bstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next