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_test.c: test_ast: avoid invalid access on error
2012-12-02
Sven V
e
rdoola
e
ge
is
l
_te
s
t
.
c: test_ast: a
v
oid invalid acces
s
on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
ven Verdoolae
g
e
isl_parameter_a
l
i
gnment
_
reor
d
ering: fix error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ver
d
oolae
g
e
isl_basic_map_normal
i
z
e: a
v
oid i
n
v
alid ac
c
ess
o
n
err
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verd
o
olae
g
e
isl_map
.
c:
b
asic_set_maximal_di
f
ference_a
t
: fi
x
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_conve
x
_hull
.
c: map_simple_hull: avoid invalid acces
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdool
a
e
g
e
i
s
l_ast_codege
n
.
c: com
p
u
te_domain
s
: avoid inva
l
id access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_basic_map_
i
s_e
m
pty: avoid
i
n
valid
ac
c
ess
o
n
error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
en Verdoolaege
i
s
l_space_exten
d
: av
o
id in
v
ali
d
acce
s
s on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_map_subtract
.
c: basic_
m
ap
_
co
l
lect_diff
:
avoid invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verd
o
o
l
a
ege
isl_bas
i
c_map
_
overlying_s
e
t:
a
void inv
a
lid ac
c
e
ss o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
Ver
d
oolaege
isl_map
.
c: ba
s
ic_map_s
p
ace
_
res
e
t: handle NU
L
L input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
Verdoolaege
isl_basic_
s
et_swap_va
r
s: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdo
o
laege
isl_inp
u
t
.
c: constru
c
t
_
cons
t
raints: resp
e
ct m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
Verdoolaege
i
s
l
_
a
st
_
codegen
.
c: create_node: avoid invalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
ven
V
erdoolaege
i
sl_a
s
t_codeg
e
n
.
c:
f
or_inc: h
a
ndle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
Verdoolaege
isl_pw_aff_s
e
t
_
rational
:
avoi
d
invalid access on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
en Ver
d
ool
a
ege
isl_vec_du
p
:
a
void
i
nvalid a
c
ces
s
es on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
Verdool
a
ege
isl_map
.
c: ma
p
_intersect_
i
nte
r
nal:
properly p
l
ug memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
u
p
date fo
r
change in the cons
t
ructor of the clang Driver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
v
en V
e
rdool
a
ege
i
s
l_ve
r
tices
.
c
: ver
t
ice
s
_fro
m
_l
i
st: plug memo
r
y leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_basic_set_compute_vert
i
ces:
plug me
m
o
r
y leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
Verdoolaege
isl_test
.
c
: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_t
e
st
.
c: t
e
st_output: avoid inval
i
d
a
cces
s
on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdo
o
laeg
e
isl_test
.
c: before_for:
r
eturn early
on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaeg
e
isl_test
.
c: te
s
t_s
a
mple: return early on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_tab
_
pip
.
c:
fi
n
d_in_pos: plug memory leak
o
n
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n Verdoolaege
isl_t
a
b_pip
.
c: add_par
a
me
t
ric_cu
t
: plug me
m
o
ry leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_tab_p
i
p
.
c: sol_push_
s
ol: plug memory l
e
ak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_space_du
p
: avoid invalid
acc
e
sses on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdool
a
eg
e
isl_schedule
.
c: add_*_constraints: avoid
invalid accesses
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
erdoolaege
isl_re
o
rderin
g
_extend_space
:
fix error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
erdoolaege
isl_multi_
*
_realign_domain
:
pl
u
g memory leak on e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
erdoolaeg
e
i
s
l
_map_su
b
t
ract
.
c: map_is
_
subset: f
i
x error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ve
r
do
o
laege
i
sl_map
.
c: update_dim
_
opt: return early on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ver
d
oola
e
ge
isl_basi
c
_map_und
e
rlying_set:
pl
u
g mem
o
r
y
l
e
ak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ver
d
oola
e
ge
isl_map
.
c: map_i
n
terse
c
t_internal:
plug memory leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verd
o
olae
g
e
isl_ast_build_i
n
it_de
r
ived: c
h
eck build->d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven
Verdool
a
ege
isl_input
.
c: read_aff_domain: re
m
ove spurious vars_free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolaege
isl_input
.
c: read_map_
t
u
p
le: return earl
y
on er
r
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sve
n
Ver
d
oola
e
ge
isl_input
.
c
:
accep
t
_affin
e
_list: plu
g
m
e
mory leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Ver
d
ool
a
ege
isl_
a
ffine_hul
l
.
c: equalitie
s
_
in_underly
i
ng
_
s
e
t: pl
u
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sv
e
n Ver
d
ool
a
ege
i
s
l_tab_d
e
tect
_
e
qualiti
e
s: plug memory leak
o
n err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolaege
isl
_
a
st_codegen
.
c:
after_each_for: a
d
d m
i
ssing
r
eturn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
S
ven Verdo
o
laege
re
i
ntrodu
c
e
isl_basic_s
e
t_add symbol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sv
e
n Verdoolaege
add
i
sl_union_ma
p
_uncurry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sv
e
n Verdoolaege
con
f
igu
r
e
.
ac: check
if Tar
g
etInfo::C
r
e
a
t
eTarge
t
Info
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-23
Sven Verdoolae
g
e
interf
a
ce
/
extra
c
t_int
e
rface
.
cc: take
T
a
r
getOp
t
io
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
S
ve
n
Ve
r
do
o
l
aege
AST printing c
a
llback
s
: pass is
l
_ast_prin
t
_
option
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
Sven Verdool
a
ege
d
o
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-21
Sven Verdoolaege
add before_each_for/after_
e
ach
_
for c
a
llbacks
commit
|
commitdiff
|
tree
2012-11-21
Sven Verdoo
l
aege
isl_ast_build_f
r
om_
c
ontext: allow u
n
named set dim
e
nsions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ve
r
do
o
lae
g
e
i
sl_b
a
sic_map_gist:
d
rop irrel
e
van
t
cons
t
raint
s
fro
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdo
o
laege
isl_map
_
simplify
.
c
:
fix ty
p
o in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ve
r
dool
a
ege
i
sl_ast_bu
i
ld_el
i
minate_div
s
: rem
o
ve unknown di
v
s before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven
Ve
r
doolaege
is
l
_affine_
h
u
l
l
.
c
: a
f
fine
_
hull_with_cone
:
plug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ve
r
doolaege
chang
e
prototype of isl_
f
actoriz
e
r_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_tab_
s
am
p
l
e: perform
g
reedy se
a
rch befor
e
perfo
r
ming
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
v
en
Verdoolaege
isl_tab_s
a
m
ple:
extract out compute_
m
in and compute_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven
V
erdoolaege
i
s
l_t
a
b
_
sa
m
ple: treat emptiness
of
tableau as er
r
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
Sven Ve
r
doolaege
AST g
e
neration: fix handling of
s
epar
a
tion clas
s
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven V
e
rdoolaeg
e
i
s
l_printer_print_{basic_,}{
s
et,map}: don't s
t
a
r
t new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven V
e
r
doolaege
i
sl_print
e
r_print
_
space: su
p
port
p
rin
t
ing in "omega
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ve
r
do
o
laege
r
e
name isl_basic_set_add to isl_basic_set_add_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
ve
n
Verdoolaege
isl_aff_norma
l
ize
:
plug in
div
s
with unit coeffi
c
ient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
ven Verdoolaege
isl_loc
a
l
_
space_s
u
bst
i
tute_seq: take argument for the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
v
en Verdoolaege
isl_aff_floor: no
r
ma
l
ize
r
e
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
ven Verdo
o
laege
i
sl_aff_ceil: compute ceil(
e
/
m)
a
s
f
lo
o
r((e
+ m -
1)/m)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
Sven Verdoolaege
isl_aff_gist:
add miss
i
ng isl_vec
_
cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
Sven Verdoolaege
isl_union_set_co
m
pute_schedule: dou
b
le c
h
eck
t
hat we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
Sven Ve
r
doolaege
isl_union_set_compute_schedule: e
n
sure
c
a
rry_dependences
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolaege
update for change i
n
clang'
s
Di
a
gnos
t
ic
O
ptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
S
v
en Verdoolaege
isl_m
a
p_plain_
i
s
_disjoint: h
a
nd
l
e in
p
uts w
i
t
h
d
i
fferent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Sven Verdoolaeg
e
ad
d
R
E
ADME
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
A
ndr
e
as
K
loeckner
Introduce
isl_int_free_str to remo
v
e GMP dependency
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdool
a
ege
isl
_
u
nion_set_compute
_
schedule:
h
a
n
dle res
u
lt with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
Sven Verdoolaege
i
s
l_ast_codegen
.
c
:
ge
n
erate_doma
i
n:
p
ostpone
sin
g
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven
Verdoolaege
i
sl_ast_build_ast_fr
o
m_schedule: make construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven
Ve
r
doo
l
aege
isl_as
t
_bui
l
d_ast_fro
m
_sched
u
le: use "<" if up
p
e
r bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sve
n
Ve
r
doolaeg
e
isl_ast_expr:
a
dd isl_ast_op_lt and isl_
a
st_op
_
gt op
e
rations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
add
i
sl
_
basic_se
t
_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sv
e
n Ver
d
o
olaege
isl_a
s
t_expr_from_
a
ff: try harde
r
to
u
se isl_ast_op_pdiv_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
S
ven Verdoolaege
isl_ast_build
_
expr
.
c: sepa
r
ate out ex
t
r
a
ct_
m
odulo function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolae
g
e
is
l
_ast_build_e
x
p
r
.
c: fix typo in comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_ast_build_
e
xpr
.
c:
r
emove
r
emnan
t
s
of cod
e
r
emoved
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
Sven Ver
d
oolaege
add
e
xt
r
a AS
T
g
eneration test
c
ase f
r
om CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verd
o
ola
e
ge
isl_pri
n
ter_pri
n
t_
s
t
r
: handle
NU
L
L in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
v
e
n Verdoolaege
isl_ast_
e
xpr
_
mod: perform mi
s
sing m
u
ltipl
i
cation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Tobias
G
ro
s
s
er
Make sed expression in Mak
e
file compat
i
ble with B
S
D
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
add isl_id_set_free_
u
ser
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoolaege
isl_printer_pri
n
t
_
pw
_
af
f
:
use
i
sl_ast_expr when
print
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add
s
upport for ge
n
erating A
S
Ts fr
o
m
schedule
r
e
lations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verd
o
olaege
a
dd IS
L
_CTX_{GET,SET}_STR_DEF macr
o
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
d
o
c
:
se
p
ara
t
e
out
polyhedr
a
l compilation functionality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
dd isl_s
e
t_
d
im_has_{lower,up
p
e
r
}_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_basic_set_substitute: check t
h
a
t
i
n
p
ut affine ex
p
ression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erd
o
ol
a
ege
isl_
p
w
_m
u
lti_aff_s
u
bst
i
t
u
te: improve error hand
l
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
rd
o
olaeg
e
isl_basi
c
_map_al
i
gn_divs: fix pot
e
n
tia
l
invalid acces
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ve
r
doolaege
isl_pw_m
u
lti_aff_fr
o
m_map: detect st
r
ides in output
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdool
a
eg
e
isl_pw_multi_a
f
f_from_map
:
detect easy floors
d
irec
t
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
pri
v
ately
e
xp
o
rt isl_
m
a
p_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next