repo.or.cz
/
pet.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
update isl for support for member accesses in AST
2013-09-18
S
v
en Verdo
o
lae
g
e
upda
t
e is
l
for sup
p
ort for member ac
c
esses in AST
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdo
o
laege
pet_
e
xpr_free
:
r
eturn struct pet_
e
xp
r
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaeg
e
PetScan::resol
v
e_nes
t
ed(str
u
ct pet_stmt *)
:
remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n Verdoolaege
Pe
t
S
can::resolve_nested(s
t
ruct pet
_
expr *
)
: rem
o
ve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaege
scan
.
cc: compute_wrapping: remove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoola
e
g
e
scan
.
c
c: extract_ski
p
_seq: remov
e
unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
c
c:
uni
v
ersally: r
e
move
u
nused varia
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Ver
d
ool
a
ege
PetScan::extra
c
t_affine: remove unu
s
ed variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n
Verdoolae
g
e
Makef
i
le
.
am: add dummy
C
++ source fi
l
e to pet and pet_check_code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
stop linking in
c
l
a
ng libraries
d
irectly into pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
also print
clang version
whe
n
print
i
ng pet version
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n Ver
d
oolaege
READM
E
: update latest re
l
ease of L
L
VM/clan
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdoolae
g
e
parse
.
c:
remove s
p
u
rious
dup
l
ic
a
te declar
a
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sv
e
n Verdoolaege
pet_scop_free:
r
e
t
urn struct
pet_
s
cop *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdoola
e
g
e
PetS
c
an::extract(
S
tmt
R
ange,
b
ool, bool):
break out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven V
e
rdoolaege
pet_scop_colle
c
t_{reads,write
s
}: take arguments into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Ver
d
oolaege
p
e
t
_
s
c
op_coll
e
ct_{re
a
ds,writes}: intersect r
a
nges
with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven
V
erdoola
e
g
e
scan
.
c
c
:
e
xtr
a
ct_de
p
th: u
s
e correct dimension type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
S
v
en Verdoolaege
pet_exp
r
_from_access
_
an
d
_
index: pl
u
g memory l
e
a
k
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-08
Sven Verdoolaege
config
u
re
.
a
c: rem
o
ve explicit
dependence on
g
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
S
ven Verdoolaege
d
i
scard
i
nc
o
mpletely extracted comp
o
und st
a
tem
e
n
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven
V
erdoolae
g
e
fix
h
a
ndling of compound statements with initial part
i
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
lae
g
e
pet_transform_
C
_s
o
urce
:
ha
n
dle mu
l
t
iple expl
i
citly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
a
ege
add pet_scop_
p
rint_origin
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdool
a
ege
add pet_tra
n
sf
o
rm_C_sour
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
extend
P
etAS
T
Consumer to
extract a sco
p
for each func
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
post-pros
c
e
s
s scops inside
P
etAS
T
Consumer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
add pet_stmt_build_ast_exprs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
do
o
lae
g
e
add pet_stmt_pri
n
t_body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add pet_s
c
op_has_d
a
ta_dependent_conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
add pet_scop_has_d
a
t
a
_depende
n
t_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Ver
d
oolaege
p
e
t_check_code: use index expre
s
sions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
pet_check_
c
ode: use
isl_id_to_pw_aff f
o
r keeping track
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
u
p
date
i
sl for isl_i
d
_
t
o_p
w
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
ke
e
p track of index expression
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdo
o
l
a
ege
sco
p
.
c: fix typo
i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
upd
a
te tes
t
case ou
t
pu
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
e
ge
scop
.
c: inser
t
_filter_m
a
p: construct function intead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
s
cop
.
c
: upda
t
e
_do
m
ain:
use function
intea
d
of re
l
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scop
.
c: update_domain: r
e
name va
r
iable "dim"
t
o "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
rdoolaege
P
etScan:
:
res
o
lve_nested: use fun
c
t
io
n
to emb
e
d arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdool
a
ege
Pe
t
Scan
:
:k
i
l
l: use p
e
t_expr
_
kill
_
from_ac
c
ess_and_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
scop_add_array: tak
e
index expression ins
t
e
a
d
of access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
p
et_scop_f
i
lter:
take index expression in
s
t
ead of a
c
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
use an isl_multi_pw_af
f
to represent a skip condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
V
erdoolaege
pet_skip_i
n
f
o
: use isl_multi_pw_aff
t
o r
e
p
resent skip
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
l
a
eg
e
Pe
t
Scan::extr
a
ct_
n
on_a
f
fine_condition:
take i
n
de
x
ex
p
r
ession
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
sc
a
n
.
cc:
extract
_
skip: u
s
e pet_e
x
p
r
_fr
o
m
_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
pet_skip_
i
nf
o
_if::extract: take i
n
dex expression instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
Verdoolaege
scan
.
cc: un
i
ve
r
sally: u
s
e pet_expr_
f
rom_inde
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
P
e
t
Sc
a
n::extra
c
t_condi
t
io
n
al_assi
g
nment: us
e
pet_
e
xpr_from_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Ver
d
oolaege
rep
l
ace PetSc
a
n::extract_access by
P
e
tScan::extra
c
t
_
index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scan
.
c
c
:
extract out extract_access_e
x
pr(ValueDecl *)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
sc
a
n
.
cc: extr
a
ct
_
e
xpr(
C
onditionalOper
a
tor
*
):
use p
e
t_expr_f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verd
o
olaege
s
c
a
n
.
c
c
: add create_test
_
index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
add pet_expr_kill_from_ac
c
ess
_
and_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n Verdoolaege
add pet_expr_from_index_and_d
e
pth wrap
p
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
ad
d
pet_ex
p
r_f
r
o
m_index
w
rapper
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verd
o
o
laege
update isl for imp
r
oved
s
uppo
r
t for
i
s
l_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Ver
d
oolaege
use isl_
a
ff
t
o represent map
p
ing fr
o
m vi
r
tual iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven V
e
rdoolaeg
e
scan
.
cc
:
comput
e
_wrap
p
ing
:
drop dead
c
o
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoo
l
a
e
ge
sc
a
n
.
cc: P
e
tSc
a
n
:
:extra
c
t_for: use identity_map ins
t
ead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
u
se implications t
o
e
n
c
ode whi
l
e and break filters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdool
a
ege
introdu
c
e pet_impl
i
cati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Ver
d
o
o
laege
scan
.
cc: scop_add_while:
take isl_id instead of isl_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sve
n
Verdo
o
laege
scan
.
cc:
s
cop_add_break: ta
k
e isl_id in
s
t
ead of isl_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sv
e
n
V
e
rdool
a
e
g
e
add pet_
s
cop_get_ski
p
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
S
v
en Verdoolaege
scan
.
cc: ex
t
ra
c
t out shared
pet_scop_get_
a
ffine_skip
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
S
ven Ver
d
o
o
laege
ex
t
ract out shared pet_ex
p
r
_access_
g
e
t_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven
Ver
d
oolaege
sco
p
.
c: extract out
acces_appl
y
_value_bounds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
S
ven Ve
r
d
o
olaege
extr
a
ct out shared
pet_expr_i
s
_scalar_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sv
e
n V
e
rdoolaege
scop
.
c
:
ex
p
r_writes: use
pet_expr_is_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
S
ven V
e
rdool
a
eg
e
scop_plu
s
.
cc:
a
ccess_coll
e
ct_arrays: use pet_e
x
pr_is_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
scop
.
c:
e
xpr_collect_acc
e
sses: use pet_exp
r
_is_affin
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sv
e
n Ve
r
doolaege
add reference identifiers
t
o all access expre
s
sions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
upd
a
t
e
test case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
V
e
rdoolaege
conf
i
gure
.
ac: link
i
n
llv
m
opti
o
n component
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
update i
s
l to version 0
.
12
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-17
Sven Verdoolaeg
e
add pet_expr
_
foreach_access_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-17
Sve
n
V
e
rdoolaege
rename pet_expr_f
o
reach_acc
e
ss to pe
t
_expr_m
a
p_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-17
Sven Verd
o
olaeg
e
replace pet_expr_foreac
h
_acce
s
s by
p
et_expr_foreach_ac
c
ess_
e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-17
S
ven
V
er
d
oolaege
s
c
an
.
cc: r
e
move_nested_para
m
ete
r
s
: u
s
e pet_ex
p
r_foreac
h
_
a
c
ce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-17
Sven Verdoolaege
scop
.
c
: expr
_
e
m
bed:
u
se
p
et
_
expr_foreac
h
_access_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdo
o
laege
sk
i
p
c
om
p
ound stat
e
ment
w
ith o
n
ly s
t
atem
e
nts t
h
at
we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-02
Sven Verdoolaege
pet
_
a
rray_embed: im
p
rove error ha
n
dl
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-02
Sven
V
e
r
doolae
g
e
pet_sco
p
_add
:
pl
u
g memory
l
eak on error
p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoolaeg
e
pet 0
.
04
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven V
e
rdoolaege
update isl to version 0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-22
Sven
V
erdoola
e
ge
conf
i
gure
.
ac: explicitly link in llvm bitread
e
r component
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven V
e
r
doolaege
Pe
t
Scan
:
:scan:
fix check
f
o
r
sc
o
p bei
n
g pr
o
per p
a
rt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven
Verdoo
l
aeg
e
P
etSca
n
::e
x
tract_int: use isl_val_int_from_chunks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdool
a
ege
update
isl for isl_va
l
_
i
n
t
_from_ch
u
nks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoolaeg
e
extend st
a
rt of scop to start of line if first token
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoolaege
parse
.
c: o
n
ly pars
e
field
s
corresponding to type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Ve
r
doolaege
scan
.
cc: fix typos in
comm
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven
V
erdoolaege
pet_s
c
op_fr
o
m_pet_s
t
mt: fi
x
error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
s
can
.
cc:
compute
_
wrapping: use
isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven V
e
r
d
oolaege
scan
.
cc: can_wrap: use i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
P
e
tScan::extr
a
c
t
_
for:
u
se isl_va
l
to represent loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoola
e
ge
sca
n
.
cc: avoid_overflow:
use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next