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
scan.cc: compute_wrapping: remove unused variable
2013-09-18
S
v
e
n Verdoolaege
s
can
.
cc:
c
om
p
u
te_wr
a
pping: remove un
u
se
d
va
r
i
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
sc
a
n
.
c
c
: ex
t
ract_skip_seq
:
remove unused
v
ariab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaege
s
c
an
.
cc: universall
y
: remove unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
PetScan::ext
r
a
ct_aff
i
ne:
r
e
move unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoo
l
aeg
e
Makefile
.
a
m
: add dumm
y
C++ so
u
rc
e
file
t
o pet
a
nd p
e
t_check_
c
ode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaege
stop linki
n
g in c
l
a
n
g librari
e
s directly into pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
a
e
ge
also
p
ri
n
t clan
g
v
e
r
sio
n
when printing pet v
e
rsion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
V
erdoo
l
aege
README: updat
e
latest release of LLVM/cla
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sven
Verdoolaege
p
a
rse
.
c: remove spuri
o
u
s
duplicate dec
l
arat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
S
ven
Ver
d
oo
l
aege
pet
_
sco
p
_f
r
ee: return struct pet_scop *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
S
ven Verd
o
olaege
PetScan::
e
xt
r
ac
t
(StmtRange, bool, bool): break out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoo
l
a
ege
pet_scop_coll
e
ct_{reads,writes}:
take arguments into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sv
e
n Ve
r
doolaege
pet_scop_
c
ollect_{reads
,
w
rites}:
i
nte
r
sect ranges
with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sv
e
n
V
erdoolaege
sca
n
.
cc:
ex
t
r
a
ct_depth: use correct dimens
i
o
n
type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
pet_expr_from_access_and
_
i
n
dex: plug memory leak o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-08
Sven Ve
r
dool
a
ege
c
onf
i
gure
.
ac: rem
o
ve expl
i
cit
dependen
c
e on gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoolaeg
e
discard incompl
e
te
l
y ex
t
racted
c
o
m
poun
d
st
a
temen
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven V
e
rdoolaege
fix handli
n
g of
c
ompound
statements with initia
l
partial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
pet_tra
n
s
form
_
C_
s
ou
r
ce: han
d
le multiple e
x
plici
t
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en V
e
rdoolaege
a
d
d pet_scop_print_original
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
add pet
_
transf
o
rm_C_source
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
e
xtend
P
et
A
STCo
n
sumer t
o
extract a scop
for each f
u
nction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
V
erdo
o
laege
post
-
pr
o
scess sco
p
s
i
nside Pet
A
STConsumer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add pet_
s
t
mt_b
u
ild_
a
st_exprs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Ver
d
oolaege
add
p
e
t_stmt_
p
rint_body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolae
g
e
add pet
_
scop_has_data_depen
d
ent_conditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verd
o
olaege
a
d
d pet_s
c
op
_
has_data_
d
ependent_access
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rd
o
o
laege
p
et_check_code: use index
e
xpressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
pe
t
_check_code: use
is
l
_i
d
_to
_
pw_
a
ff f
o
r k
e
eping tra
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
update
i
sl for isl
_
id_to_pw_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaeg
e
keep track of in
d
ex expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
scop
.
c: fi
x
t
ypo
i
n co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdo
o
l
aege
up
d
ate
t
est case output
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
s
c
o
p
.
c: insert_filter_ma
p
: construc
t
fu
n
ction intead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
a
e
ge
scop
.
c: upd
a
te_
d
omain: use fun
c
tion
i
ntead of rel
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Ve
r
doola
e
ge
s
c
o
p
.
c: update_
d
omain: ren
a
me
v
ariable
"
di
m
" to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
PetScan:
:
resolve_nested: use function to
e
mbed arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
PetSc
a
n::kill: use pet_exp
r
_kill_fro
m
_acces
s
_
a
n
d_in
d
ex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
scop_add_arra
y
:
t
ake i
n
dex expression inst
e
ad of a
c
cess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
ol
a
ege
p
et_sco
p
_filte
r
: take index expre
s
sio
n
instead
of a
c
cess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Ve
r
doo
l
aege
u
s
e an isl_multi_
p
w
_aff to
r
e
present a skip condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Ver
d
oolaege
pet_s
k
ip_info: use isl_multi
_
pw_aff to represent sk
i
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Ver
d
ool
a
ege
PetS
c
an
:
:ex
t
r
act
_
non_affine_condition: take in
d
ex expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoo
l
aege
scan
.
cc: extract
_
skip:
u
se pet_
e
x
p
r_from_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
V
erdoola
e
ge
pet_skip_info_if::extr
a
ct: tak
e
index exp
r
ession instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdo
o
laege
sca
n
.
cc: universal
l
y
:
use pet_ex
p
r_
f
rom
_
i
n
d
ex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oo
l
aege
PetSc
a
n
:
:
extrac
t
_con
d
itional_assignment: use p
e
t
_
exp
r
_fr
o
m
_
index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
r
doolaege
repl
a
ce P
e
tScan::extr
a
ct_access by PetScan:
:
e
xtract_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
scan
.
c
c
: extract out e
x
t
r
act_access_expr(ValueDecl *
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
scan
.
cc: extr
a
ct_exp
r
(Condition
a
lOperat
o
r *): use pet_expr_f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
sc
a
n
.
cc: add cre
a
te
_
test_inde
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
add
pet_expr
_
k
ill_from_access_and_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
V
e
rd
o
o
l
aege
add p
e
t_
e
xpr_from_index_and_depth wrapper
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
a
d
d
pet_expr_f
r
om_inde
x
wrapp
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
V
erdoolae
g
e
upda
t
e
i
s
l
for improved support
f
or isl_multi_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
use isl
_
aff
to repr
e
sent mapping from v
i
rtual itera
t
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven V
e
r
doolaege
scan
.
cc: comput
e
_
w
rap
p
ing: drop dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven
Verd
o
olaeg
e
scan
.
cc: PetScan::extract_
f
o
r
: use iden
t
ity_ma
p
i
n
stead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven Ve
r
d
oolaege
use implicat
i
ons to encode w
h
ile and
b
reak filters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sv
e
n
Verdoolaege
intr
o
d
u
ce pet_impli
c
at
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
s
can
.
cc: scop
_
add_while: take
isl_id instead o
f
i
s
l
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
scan
.
cc
:
scop_add_
b
reak: ta
k
e i
s
l_id ins
t
ead of isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven Ver
d
oolaege
add pet_s
c
op_get
_
sk
i
p_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
s
c
a
n
.
c
c
: e
x
tract out share
d
p
e
t
_scop_get_a
f
fine_skip_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
S
ven Verdoolae
g
e
e
xtract
out
s
ha
r
e
d
p
e
t
_expr_acces
s
_g
e
t_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven
Verdoola
e
g
e
s
cop
.
c
: e
x
tract out a
c
ces_
a
p
ply
_
value_bo
u
nds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sve
n
Verdoolaege
extr
a
ct out shared pet
_
expr
_
i
s
_scalar
_
acc
e
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
S
ve
n
Verd
o
o
l
a
ege
scop
.
c:
expr_writes: use pet_ex
p
r_is_affi
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
scop_plus
.
cc:
a
c
ces
s
_collect_arrays: use pet_expr_is
_
affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
S
v
en Verdoolaege
s
co
p
.
c: e
x
pr_collect_accesses: u
s
e pet_expr_
i
s
_
affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
add r
e
ference identifiers
t
o all access
e
xpressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
rdoolaege
u
p
d
a
t
e
test case
ou
t
p
u
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdool
a
eg
e
config
u
re
.
a
c
:
li
n
k in ll
v
m option comp
o
ne
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
rd
o
ol
a
e
g
e
up
d
ate isl to ve
r
sio
n
0
.
1
2
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-17
Sv
e
n Verdoolaege
a
dd pet
_
expr_foreach
_
access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-17
S
v
e
n
V
erdoolaege
rename pet_e
x
pr_
f
o
r
each_a
c
cess to pet_e
x
pr_map
_
access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-17
Sven Verdoolaege
r
e
place pet_expr_
f
oreach_access
b
y pet_e
x
pr_foreac
h
_
a
ccess_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-17
Sven Verdoolaege
scan
.
cc: remove_nested_parameter
s
: use pet_
e
xpr_fore
a
ch_acce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-17
S
ve
n
Ve
r
doolaege
scop
.
c: expr
_
embed:
u
se pet_expr
_
fo
r
each_acce
s
s_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-06
Sven Ve
r
d
o
o
l
a
ege
skip c
o
m
pound statemen
t
w
ith
only statements tha
t
we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-02
Sven Ve
r
d
o
olaege
p
e
t_arr
a
y_embed:
i
mpr
o
ve erro
r
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-02
Sven Verdoolaege
p
et_scop_add: pl
u
g memory leak on
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-26
Sve
n
Verd
o
olaege
pet 0
.
04
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sven Verdoolaege
update
i
sl to version
0
.
12
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-22
Sven Verdoolaeg
e
config
u
r
e
.
a
c
: exp
l
icitly
l
i
n
k in llvm bitre
a
der c
o
mpo
n
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven
Verdoolaege
PetSca
n
::sc
a
n
: fi
x
check for sco
p
being proper part
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
S
v
en Ver
d
o
olaege
PetScan::e
x
t
ract_int: u
s
e isl_v
a
l_int_from_chunks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
S
v
en Verdoolaeg
e
update isl f
o
r isl_val_int_from
_
chunks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
S
v
en Verdo
o
laege
e
x
te
n
d s
t
art of scop to start of line if first tok
e
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
S
v
en
Verdool
a
e
g
e
parse
.
c: only
p
arse
fiel
d
s correspondi
n
g
to type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven
V
erdoolaeg
e
scan
.
cc: fix
t
ypos in co
m
men
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
S
ven Verdoolaege
pet_
s
cop_from_pet_stmt
:
fix error hand
l
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sv
e
n
V
e
rdoolaege
scan
.
cc:
c
om
p
ute_wrapping
:
use
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolae
g
e
sc
a
n
.
cc: can
_
w
r
ap: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sve
n
Verd
o
olae
g
e
PetScan::extract_fo
r
:
use isl_
v
al to
repre
s
ent loop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verd
o
olaege
sca
n
.
cc: a
v
oid_ove
r
flow
:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
PetScan
:
:ext
r
act_affine
_
a
d
d: use
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sv
e
n Verdoolaege
scan
.
cc:
se
t
_parameter_b
o
unds
:
u
s
e isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
P
e
tSca
n
::extract_affine
:
use is
l
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
S
ven Verdoolaege
PetScan::extract_int: return isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next