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_basic_map_eliminate_vars: avoid invalid access on error
2012-12-02
S
ven Verdoolae
g
e
is
l
_basi
c
_map_
e
l
i
minat
e
_vars:
a
void i
n
val
i
d
ac
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdool
a
ege
isl_m
a
p_si
m
plify
.
c: remove_dependent_vars: handle NULL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
is
l
_tab_
p
ip
.
c
:
sol_pop: avoid inv
a
lid
a
ccess on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verd
o
o
l
aege
isl_basic_
m
a
p_de
l
tas: f
i
x er
r
or
handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolae
g
e
isl_ast_codegen
.
c
:
g
e
nerate_sorted_domains: avoid in
v
alid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ver
d
oolaege
isl_tes
t
.
c: te
s
t_ast: avoid
invalid access
o
n err
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_p
a
r
a
me
t
er_alignmen
t
_reorder
i
ng: fix error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven V
e
r
doolaege
i
sl_basic_map
_
normal
i
ze: av
o
id
i
nvalid access o
n
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
V
erdool
a
e
g
e
isl_map
.
c: basic_set_maximal_diff
e
rence_at: fix er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven
V
erd
o
olaege
isl_c
o
nvex_h
u
ll
.
c: map_simp
l
e_
h
ull: avoid invalid
a
c
ce
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
Verdo
o
l
a
ege
i
sl_
a
s
t
_
codegen
.
c:
comp
u
te_domains: avoi
d
invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
ve
n
Verdo
o
laege
isl_basic_map_i
s
_
e
m
pty: avoi
d
invalid acce
s
s on
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaeg
e
isl
_
space
_
exte
n
d: av
o
id invalid
a
ccess on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
ven Verdoolae
g
e
i
s
l_map_subtract
.
c: basic
_
map_collect_di
f
f: avoid inv
a
l
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven V
e
rdoolaege
isl_basi
c
_map_over
l
ying_set: avoi
d
invalid access on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven
V
erdoolaege
isl_
m
ap
.
c: ba
s
ic_
m
ap
_
space
_
r
e
set: handle NULL i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n V
e
r
doolaege
isl_basi
c
_set_swap_vars: handl
e
NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
ven Verdoolaege
i
sl_input
.
c:
con
s
t
ruct_cons
t
rai
n
ts:
respect
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verd
o
olaege
isl_ast
_
co
d
egen
.
c
:
c
r
e
a
te_node:
avoid inval
i
d acc
e
ss
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ve
r
do
o
laege
isl_ast_codegen
.
c: for_inc:
handle
N
UL
L
inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
ven Verdoolaege
isl
_
pw_af
f
_set_rationa
l
: avoid i
n
v
alid a
c
cess on
err
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl
_
v
e
c_dup
:
avoi
d
in
v
a
l
id
ac
c
esses on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven
V
erdoola
e
ge
isl_map
.
c: map_intersect_i
n
ternal: properly plug m
e
mory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ve
r
doolaege
update for
ch
a
nge in the const
r
uctor of the clang Dr
i
ver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sve
n
Verdoo
l
aege
is
l
_ver
t
i
c
e
s
.
c
: v
e
rtices_fr
o
m_list: plug mem
o
ry leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sve
n
V
erdoola
e
ge
isl_
b
asic
_
set_compute_vertices: plug
me
m
o
ry leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n Ve
r
doolaege
isl_test
.
c:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
erdoolaege
isl_te
s
t
.
c: test_ou
t
p
u
t: avoid invalid a
c
c
e
ss on
er
r
or
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_test
.
c: before_for:
r
eturn early on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sve
n
Verd
o
olaege
isl_
t
est
.
c:
t
est_sampl
e
: return early on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdo
o
l
a
e
g
e
isl_tab_p
i
p
.
c: find_in_
p
os: pl
u
g
memory lea
k
on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven
Verdoolaege
isl_tab_
p
ip
.
c:
add_p
a
rame
t
ric_c
u
t:
p
lug m
e
mory leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_ta
b
_pip
.
c:
s
o
l_push_sol: plug memory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven
Verdoola
e
ge
isl_
s
pace
_
dup: a
v
oid inva
l
i
d
access
e
s
o
n
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
S
ven Verdoolaege
isl_sc
h
edule
.
c: a
d
d_*_constraints: avoid inv
a
lid accesses
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n Verdool
a
ege
isl_reorde
r
ing_extend_space
:
f
i
x error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_multi_*_re
a
l
ign_d
o
ma
i
n: plug m
e
mo
r
y leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
S
ve
n
V
e
rdoolaege
isl_m
a
p_subtract
.
c: map_is_sub
s
e
t
: f
i
x
e
r
r
o
r handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verd
o
olaege
isl_map
.
c: u
p
date_dim_opt: return
e
arly on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
is
l
_basic_map_und
e
r
l
ying
_
set: plug m
e
mory l
e
a
k o
n
er
r
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
erdoolaege
isl_ma
p
.
c: m
a
p_intersect_internal: plug
m
em
o
ry l
e
ak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven V
e
rd
o
ol
a
ege
i
sl_ast_build_i
n
i
t
_derived: check bu
i
ld->domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
S
v
en Verdoo
l
aege
i
s
l_input
.
c: r
e
ad_aff_d
o
mai
n
:
r
emove
spurious
v
ars_fr
e
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven
V
erdoolae
g
e
isl_input
.
c:
re
a
d_map_tu
p
le: return
early on erro
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdo
o
lae
g
e
isl_input
.
c: ac
c
ept_aff
i
ne
_
list: p
l
ug
m
emory leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
S
v
en Verdo
o
la
e
ge
isl_affine_hull
.
c:
equalities
_
i
n
_unde
r
lying_
s
et: plug
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven
V
e
r
doolae
g
e
isl_tab_detect_equalities:
plug memory l
e
a
k
on er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdool
a
ege
isl_ast_codegen
.
c: after_each_for:
a
dd
m
i
ssing return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven V
e
rdo
o
laege
r
eint
r
oduce
i
sl
_
basi
c
_set_add symbol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
add isl_unio
n
_
m
ap_uncu
r
ry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sve
n
V
erdoolaege
configure
.
ac:
chec
k
if Target
I
nfo::C
r
e
a
teT
a
rgetIn
f
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-23
S
v
en Verdoolaege
inter
f
ace/ex
t
r
act_interface
.
cc: take Targ
e
tOptions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-22
Sven Verdoolaege
AST
p
rinti
n
g callba
c
ks: pass isl_ast
_
print_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-22
Sven Verdo
o
laege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-21
Sven Ver
d
oolaege
add befo
r
e_each_for/after_each_f
o
r cal
l
back
s
commit
|
commitdiff
|
tree
2012-11-21
Sv
e
n Ve
r
dool
a
e
g
e
i
sl_ast_b
u
ild_
f
rom_cont
e
xt: al
l
ow unnamed se
t
dimen
s
io
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven
V
er
d
oola
e
ge
i
s
l_
b
asic_m
a
p_gist: drop
i
r
r
e
levant co
n
straints
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
is
l
_map
_
simplify
.
c: fix ty
p
o in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven
V
erdool
a
ege
isl_
a
st_b
u
ild_elimi
n
ate_divs:
r
e
move unknow
n
d
i
vs
before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
i
s
l
_
affin
e
_hull
.
c: affine_hul
l
_with_c
o
ne: plug memor
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ve
r
doola
e
ge
cha
n
ge prototyp
e
of isl_factorizer_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven
Verdoo
l
aeg
e
i
sl_tab_samp
l
e:
p
erfor
m
greedy sea
r
ch before performing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
i
s
l
_
tab_s
a
mple: extr
a
ct out compute_min a
n
d compute_
m
ax
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sve
n
V
e
rdoolaege
isl_tab_sam
p
le: treat emptine
s
s of tableau
as
err
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-16
Sven
V
e
rdool
a
ege
AST
g
eneration:
fix handling of separation
c
l
a
sses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n Verdoolaege
i
s
l_printer_pr
i
nt
_
{
b
as
i
c_,}{s
e
t
,map}: d
o
n't star
t
n
e
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
Verd
o
ola
e
ge
isl_printer_print_space: support print
i
ng in "omega
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
erdoola
e
g
e
rename isl_basic_set_a
d
d
t
o isl_basic_set_ad
d
_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
e
rdoolae
g
e
isl_aff_normalize: plug in div
s
with
unit coefficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
ven
V
erdoolaege
isl_local_
s
pace_s
u
bstitute
_
seq:
t
a
ke argume
n
t
for the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
i
s
l_aff_floor: n
o
r
m
alize re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaeg
e
isl_af
f
_ceil:
c
ompute ceil
(
e
/
m) as flo
o
r
(
(e + m
-
1)/m)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
Sven Verdoo
l
aege
isl_aff_gist: a
d
d missin
g
isl_vec_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
Sven Verdoolaeg
e
isl_unio
n
_se
t
_compute
_
sch
e
d
ule
:
double check that we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sven Ver
d
oolaege
isl_union
_
se
t
_com
p
ute_schedule
:
ensure
carry_de
p
endences
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolae
g
e
update fo
r
ch
a
ng
e
in cla
n
g's DiagnosticOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
Sv
e
n Verdool
a
ege
isl
_
map_p
l
ain_is_d
i
sjoint:
h
andl
e
inputs w
i
th different
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Sve
n
Verdoolaege
a
d
d README
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
A
nd
r
eas
K
l
o
e
c
kner
Intr
o
duce isl_int_free
_
str to remo
v
e GMP
d
epen
d
ency
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sve
n
Verdo
o
laege
i
sl_union_s
e
t
_
c
ompute_
s
chedu
l
e
: handle result w
i
th
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
Sven Verdoolaege
i
s
l_ast_codeg
e
n
.
c: genera
t
e_do
m
ain: postpon
e
single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven
Verdoola
e
ge
isl_ast_bu
i
ld_ast_from
_
schedule: make const
r
uction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
i
sl
_
a
s
t_build_ast_from
_
schedu
l
e: use
"<"
i
f u
p
per bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoo
l
aege
isl_as
t
_expr:
a
dd isl_ast_op_lt an
d
isl_ast_op_gt operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
add isl_basic_set_from_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ve
r
d
o
olaege
i
s
l_ast_expr
_
f
r
om_aff: try harder to
u
s
e
i
sl_ast_op_pdiv_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ve
r
dool
a
ege
isl_
a
st_build_ex
p
r
.
c: separa
t
e out ext
r
act_mod
u
l
o
functio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sv
e
n Ver
d
oola
e
g
e
isl_ast
_
b
u
i
l
d_expr
.
c: fix typo in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl
_
ast_build_exp
r
.
c:
remove remnants of
code re
m
oved
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
Sven Ve
r
doolaege
add extra AST gener
a
tion test case f
r
om CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
ven Verdoola
e
ge
isl_
p
rinter_pri
n
t_str: handle NULL
in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven V
e
rdoolaege
isl_ast_
e
xp
r
_mod: per
f
orm
m
issin
g
multiplicati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Tobia
s
Grosser
Make sed e
x
pression in Makefile compatible wit
h
BS
D
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven V
e
rdoolaege
a
d
d isl
_
id_set_free_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoola
e
ge
isl_printer_
p
r
int_pw_aff: use isl_ast_ex
p
r when printing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erdoo
l
aege
a
dd
sup
p
ort for
generating ASTs f
r
om s
c
hedule relati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaeg
e
a
d
d ISL
_
CT
X
_
{
GET,SET}
_
S
TR_DEF
m
acr
o
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
doc: s
e
parat
e
o
u
t polyhedra
l
c
o
mpil
a
t
i
on
funct
i
o
nal
i
ty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Ver
d
oola
e
ge
add isl_set_dim_has_{lower,upper}_b
o
und
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_basic_set_substi
t
u
te:
c
heck tha
t
input affine expres
s
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next