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 0.12
2013-06-23
Sven Verdoolaege
isl 0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven Verdoolaeg
e
d
o
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven
Verdoolaege
try
and
a
void depen
d
i
ng
on mp
z
_gcd
e
xt internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoolaege
isl
_
p
r
int
e
r_
p
rin
t
_ma
p
:
m
ake printing
o
rder of disjuncts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven
Verdoolaege
isl_constraint_
p
r
iv
a
te
.
h: per
f
orm proper includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven V
e
rdoola
e
ge
M
a
kefile
.
am: a
d
d isl
_
v
al_pr
i
vate
.
h to libisl
.
la sourc
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Ver
d
o
o
l
a
ege
doc: explain th
a
t isl_ints will
b
e remo
v
ed in future
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven
Verdoolaege
remove *_scale_v
e
c function
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
i
sl_band_ti
l
e: use isl
_
unio
n
_pw_m
u
lti_
a
ff_scale_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
a
d
d isl
_
union
_
p
w_multi_aff_scale_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
v
e
n Verdoolaege
add isl_pw_mu
l
ti_af
f
_scale_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdool
a
ege
a
dd isl_
m
u
lti_*_scale_multi
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
v
en
Verdoolae
g
e
merge shar
e
d isl_
m
u
l
ti_*_al
i
gn_p
a
rams dec
l
aration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-16
S
v
e
n Ver
d
o
olaege
a
dd isl_val_int_fro
m
_chunks and isl_va
l
_get_abs_num_c
h
unks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven
Verdoolaege
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2013-06-14
Sv
e
n Verdoolaege
isl_
{
in,}equality_fro
m
_aff: sk
i
p
cons
t
r
u
ction of is
l
_basi
c
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven V
e
rdoo
l
aege
isl
_
map_
g
ist_basic_map: remove alignment of
c
ontext
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven Verd
o
ol
a
ege
isl_multi_*_gist: add missing isl_m
u
lti_*_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
S
ven Ver
d
oola
e
ge
isl_loca
l
_spac
e
_
s
ubstitute_
e
qual
i
ties:
i
mpro
v
e error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
Sv
e
n Ver
d
oolaege
isl_local_spac
e
_s
u
bstitute_equalities: avoid writin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sven Verdoolaege
Merge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2013-06-10
Sven Verdoolaege
isl
_
coalesce
.
c: fix typo
i
n co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sven V
e
rdoolaege
isl_outp
u
t
.
c: prin
t
_qpolynomial
_
c: improve error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-06
Sven Verdoolaege
isl_map_align_d
i
vs: fix error han
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoo
l
aege
isl_hmap_map_basi
c
_set_
s
et: avoid memory leak on erro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
v
en Verdoolaege
isl_union_map_
a
ll
o
c: av
o
id
d
oub
l
e free on
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verd
o
o
laege
isl_vertices
.
c: comp
u
te_cha
m
be
r
s: av
o
id invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sve
n
Verdoolaege
isl_basic
_
map_g
i
st: avoid invalid access on e
r
ror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
v
en
Verdoolaege
i
s
l
_
bas
i
c_m
a
p_a
l
ign_divs: a
v
oid invalid access on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
isl_
b
asic_
m
ap_contains
:
avoid invalid a
c
ce
s
s on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sve
n
Ver
d
o
olaege
i
sl
_
basic_set_opt: a
v
oid inv
a
lid a
c
c
e
ss on error
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven V
e
rdoolaege
isl_ta
b
_pip
.
c: conte
x
t_gbr_save: avoid inva
l
i
d access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
i
s
l
_
tab_pip
.
c
:
use_sh
i
fted: avoid inv
a
lid access on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
isl_as
t
_codege
n
.
c
: generate_componen
t
:
av
o
i
d invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
isl_stre
a
m_read_map
:
ha
n
dle "implies"
t
o
ken
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-03
Sven Verdoolaege
remove reference to piplib from
.
gitmodules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
isl_i
n
put
.
c:
a
ccept_div: accept floor/ceil of rat
i
onal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoo
l
aege
isl
_
input
.
c: extract o
u
t common is_start_of_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sve
n
Verdoolaege
i
sl_p
w
_*_fix_va
l
:
al
s
o plug in value
in ass
o
ciated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
isl_pw_templ
.
c: extr
a
ct out isl_pw_*_exploit_equali
t
ies_and_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
add test
c
ase for isl_p
w
_
q
poly
n
omial
_
intersect
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-01
Sve
n
Verdoolaege
isl_polyn
o
mial
.
c
:
fix typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en V
e
rdool
a
ege
isl_ast_codegen
.
c
:
c
ontruct_shifted_executed: use
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_ast_co
d
egen
.
c: eliminate_non_fixed
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
rdo
o
l
a
ege
isl_ast_codegen
.
c: at_most_one_non_fixed: use isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
i
sl
_
ast_co
d
ege
n
.
c:
u
pdate_unrolling_
l
ower_
b
ound: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
isl_ast_bui
l
d_has_stri
d
e:
u
se is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
ol
a
ege
i
sl_ast_
b
uild
.
c
:
d
ete
c
t_stri
d
e: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
d
o
olaege
isl_ast_codegen
.
c: aff_constant
_
is
_
negative
:
us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
remove privat
e
isl
_
a
st_expr
_
allo
c
_int which is n
o
longer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
is
l
_ast_b
u
il
d
_get_stride: use isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
isl_ast
_
build_scale
_
down: use
i
sl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
l
a
e
ge
i
s
l
_ast_expr_from_*:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
isl_ast
_
build
_
expr
.
c: isl_ast_expr_
a
dd_term
:
simpl
i
f
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
l
aeg
e
isl_ast_
e
xpr: use
is
l
_val t
o
repre
s
e
n
t
inte
g
er expression
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_ast_ex
p
r_from_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_ast_
e
xpr_g
e
t_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ve
n
Verdoola
e
ge
t
e
mporarily add is
l
_val_get_num_isl_in
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
temporarily
make isl_val_int_
f
r
om_is
l
_int available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
Verdo
o
l
a
ege
i
sl_
f
low
.
c
:
before
:
u
se isl_vec
_
cmp_element
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdool
a
ege
ad
d
is
l
_vec_cm
p
_element
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
i
s
l_flow
.
c: sc
h
ed_info_
a
lloc: use
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_band
.
c: mult
i
_a
f
f
_
ti
l
e: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdo
o
laege
add is
l
_token_
g
et_typ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
add
i
sl_toke
n
_get_st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d isl_token_get_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add isl
_
obj
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add
i
sl
_
union_map_fi
x
ed_power_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add i
s
l_set
_
count_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
a
d
d
isl_
s
et_dim_
r
esidue_clas
s
_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
Sve
n
V
e
rdoolaege
add isl_set_plain_get_val_if_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
V
erdoolaeg
e
add isl_basic
_
m
ap_pl
a
in_ge
t
_val
_
if_fi
x
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add i
s
l
_
map_plain_get_val_if_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_se
t
_lo
w
er_bound_val and
isl_set_u
p
per_bound
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
ol
a
ege
add
i
s
l
_
map_
f
ix_val and
i
sl_s
e
t_fix_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oo
l
a
e
ge
add isl_set
_
min_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verd
o
ol
a
ege
a
dd isl_set_max_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
isl_bas
i
c_set_max_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add
isl
_
bas
i
c_set_*_lp_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add private isl_basic_set_g
e
t_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
rdoolaege
add isl_pw_
q
p
o
lynomial_fix_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
a
e
ge
add isl_pw_aff_mod_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
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
rdoola
e
ge
add isl_union_pw_*_scale_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
Sven Verdoolaege
ad
d
isl_qpolyn
o
mial_fold_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_qpol
y
nomial_s
c
ale_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
o
o
laege
add isl_
q
poly
n
omial_val_on_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add i
s
l_qpolynomial
_
get_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
add i
s
l_ter
m
_get_
c
oefficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ver
d
oolaege
add isl_aff_mod_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
o
laege
a
dd
i
s
l_aff
_
scale_down_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdool
a
eg
e
ad
d
isl_aff_scale_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_aff_get_denomi
n
ator
_
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_aff_get_coefficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add isl_aff_get_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
e
rdoolaege
ad
d
isl_aff_add_c
o
efficient
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
a
d
d
isl
_
aff_add_constan
t
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rd
o
o
laege
add isl_a
f
f
_
set_
c
oefficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next