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: fix typos in comments
2014-03-19
Sv
e
n Verdo
o
l
a
e
ge
scan
.
cc: f
i
x ty
p
os
i
n commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaege
pet_scop_restr
i
ct_
s
kip: fix typo i
n
error messa
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolaege
PetScan::is_
n
ested_allowed:
c
h
eck
for skip condi
t
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n
V
erd
o
olaege
print
.
c: print_
p
et_exp
r
:
fix memory management
a
nnotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n
V
e
r
doolaege
drop dead me
t
hod P
e
tScan::is_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oolae
g
e
scop
.
c: emb
e
d
_
ac
c
ess
:
drop redundant v
a
ri
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolaege
pet_scop
_
fi
l
ter_s
k
ip: av
o
id recomputation of test expressi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
o
l
aege
Pet
S
can::extract_non_
a
ffine_co
n
dition
:
r
e
move redunda
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven van H
a
ast
r
egt
AX_DETECT_GIT_HEAD
:
avoid
e
m
pty version
s
tring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erdoolaege
separate out shared PetScan::update_scop_start_e
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rd
o
olae
g
e
pet_expr_dump:
o
nly
p
rint
expr->acc
.
ref_id if it
i
s set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
ol
a
e
g
e
scop
.
c
:
s
t
mt_pro
p
agate_params
:
al
s
o up
d
a
t
e
accesses
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
V
e
rdoolaege
scop
.
c: stmt_collect_params: also col
l
e
c
t
parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
sc
o
p
.
c: *_collect_par
a
ms: fix error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
pet_scop_align_param
s
: improve err
o
r handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
p
e
t
_
s
cop_align_
p
arams: renam
e
"dim" variab
l
e to
"space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Ve
r
doolaege
P
e
tScan::extra
c
t_nested:
p
l
ug
memory leak o
n
er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolaege
scan
.
cc: clear_assignmen
t
:
fix logic
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Ve
r
doolaege
PetS
c
an::extra
c
t(IfS
t
mt
*
): cl
e
ar as
s
ignment
s
i
n
body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoolaege
P
e
tScan::ex
t
r
a
ct_i
n
finite_for: also
clear assignments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
PetScan::
e
x
t
r
a
ct_for: always keep vir
t
u
al iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
mo
d
i
f
y tests/unsign
e
d3
.
c
test c
a
se to u
s
e the itera
t
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
S
v
en Ve
r
do
o
laeg
e
whe
n
autod
e
tecting only
s
k
i
p initial declarati
o
ns in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
do not extract loop around part
i
a
l
body when autod
e
t
ecting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
PetScan::extra
c
t_non_affine_cond
i
t
io
n
: take statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven
Verdoolaege
PetScan::ext
r
a
ct_for: do not allo
w
i
n
itia
l
value
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
PetScan
:
:e
x
tra
c
t_for: cl
e
ar
ass
i
gnment to iter
a
tor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven
Ver
d
oolaege
PetScan::unsupported
:
pa
s
s fixe
d
character strin
g
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
S
v
en
V
e
rdoolaege
c
o
nfigure
.
a
c
: add
llvm-config
-
-system-libs to CLANG_LI
B
S
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven
V
e
rdoo
l
a
ege
update isl f
o
r
suppor
t
for recent cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-29
Sven Verdool
a
ege
Mak
e
file
.
am: avoid use of I
N
CLUDES v
a
riable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-06
S
ven Ver
d
oolaege
AX_DE
T
E
C
T_GIT_H
E
AD: dete
c
t
g
i
t version
w
i
t
h newer ve
r
sions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-06
Sv
e
n Verdoolaege
README
:
a
d
d c
o
nt
a
ct info
r
mation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Albert Coh
e
n
Su
p
p
ort for additional binary/unary operators in C
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdoola
e
g
e
ad
d
affine ass
u
m
pti
o
ns to the c
o
ntext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
S
ven Verdoolaege
parse __pencil_assume stateme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-17
Sven V
e
rdool
a
ege
extract out PetS
c
an::ext
r
act_argum
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-16
Sven Ve
r
do
o
laege
add support
f
o
r
struct
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Ve
r
doolae
g
e
add pet_
s
co
p
_collect_tagged_must_kills
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oola
e
ge
add pet_sco
p
_colle
c
t_
m
ust_kills
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Ve
r
d
oolaege
s
c
op
.
c: ext
r
act out expr_
c
ollect
_
acces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaege
sc
o
p
.
c
:
sco
p
_collect
_
accesse
s
: rename
"
dim
"
v
a
r
i
able
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaege
a
d
d pet_expr_access_g
e
t_t
a
gg
e
d_may_ac
c
e
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
r
d
oolaege
a
dd pet_scop_collec
t
_t
a
gged_{may,must}_{reads
,
writes}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
l
a
ege
export pet_expr_acces
s
_get_
m
ay_acce
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
s
c
op
.
c: exp
r
_collect_ac
c
esses: plug mem
o
ry
l
eak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n
Verdo
o
laege
extrac
t
out pe
t
_clang_b
a
se_type into
separate file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoo
l
aege
sc
a
n
.
c
c
: extract
o
u
t subscript
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolae
g
e
scop
.
c: extract o
u
t
*
_is_
v
i
r
tual_array functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoo
l
aege
p
e
t_expr_fro
m
_index_a
n
d_dept
h
:
ext
r
act out ex
t
en
d
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaeg
e
introduce
p
e
t_typ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doo
l
aege
use
i
sl_*_reset_user
i
nstead
o
f *_a
n
onymize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
updat
e
isl for supp
o
rt for member ac
c
esses in AST
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
pet_ex
p
r_
f
ree: ret
u
rn struc
t
pet_expr
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdool
a
ege
PetScan:
:
resolve_nested
(
st
r
uct pet_
s
tm
t
*): remov
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
PetScan::resolv
e
_n
e
ste
d
(struct
pet_expr *)
:
remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
ola
e
ge
scan
.
cc: compute_wrapping: remo
v
e unu
s
ed vari
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Ver
d
o
olaege
scan
.
cc:
extr
a
c
t_s
k
ip_seq
:
remove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdo
o
laege
scan
.
cc: universally: remove unused va
r
ia
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
PetSc
a
n::ex
t
ract_affine: remove unus
e
d variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
lae
g
e
Makefile
.
am: add dummy C+
+
sourc
e
file to
p
et and pet_check_
c
ode
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
stop l
i
nking in cla
n
g libraries dir
e
ctly
i
nto pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
also pri
n
t clang version when printing
p
et v
e
rsion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n
Verdoolaege
README:
update latest relea
s
e
o
f L
L
V
M
/clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
S
v
en Verdoolaege
parse
.
c: remove sp
u
rious duplic
a
te declaration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Ver
d
oolaege
pet
_
s
c
op_free: return struct pet_scop *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven
V
erdoolaege
P
etSc
a
n::extract
(
StmtRange, bool, boo
l
): break ou
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven V
e
rdoo
l
aege
p
e
t_scop_coll
e
ct_{reads,w
r
ites}:
t
a
k
e
arguments int
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
S
v
e
n
V
erdoolaege
p
e
t
_
scop_collec
t
_{
r
ead
s
,w
r
ites}: interse
c
t
ranges w
i
th
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sve
n
V
erdoolaege
scan
.
cc: extract_dep
t
h:
u
se correct dimensi
o
n type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven
Verdoolaege
pet
_
expr_from_acc
e
ss
_
and_index:
p
lug mem
o
ry
leak o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-08
S
ven Verdoolaege
configure
.
ac
:
r
emov
e
ex
p
li
c
it
dependence on gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sv
e
n
Verdoolaege
discard in
c
omplete
l
y
e
x
t
racted compound s
t
at
e
ments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
S
v
e
n Verdool
a
eg
e
fix handlin
g
of compound
s
tat
e
m
e
nts with initial par
t
ial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
pet_transfo
r
m_C_source:
handle multiple expli
c
itly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
V
erdoolaege
add pe
t
_scop_print_or
i
ginal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
a
d
d pet
_
transform_C
_
source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaeg
e
e
x
tend PetASTConsumer t
o
extract a s
c
o
p f
o
r each func
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
post-pr
o
scess scops
i
ns
i
de
P
etAST
C
o
n
sumer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
V
er
d
oolaege
add pet_stmt_buil
d
_
a
st_
e
xprs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdool
a
ege
add
pe
t
_stm
t
_p
r
i
n
t_body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add pet_scop_has_data_dep
e
nde
n
t_
c
onditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laeg
e
a
d
d
p
et_sc
o
p_
h
as
_
data_depen
d
ent_a
c
cesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
pet_check_code: use ind
e
x expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
pet_check_code: us
e
isl_id_to_p
w
_af
f
for keeping track
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
update isl for is
l
_id_to_
p
w
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
keep track o
f
index
e
xpres
s
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
scop
.
c: fix typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
update te
s
t case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
scop
.
c:
i
nsert
_
filter_map: const
r
uct functio
n
intead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
r
doolaege
scop
.
c: update_domain: use function intead of relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoo
l
aege
sc
o
p
.
c
:
upd
a
te_dom
a
in: renam
e
vari
a
ble "dim" to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
P
e
tScan
:
:re
s
ol
v
e_nested: use fun
c
t
ion to embed arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
PetSca
n
::ki
l
l: use
pet
_
expr_kill_fro
m
_
acc
e
ss_and_in
d
ex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
Verdoolaege
scop_add_array
:
take index
e
xpressi
o
n
i
n
s
t
e
ad of ac
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
pet_scop_filt
e
r
: tak
e
index expression in
s
tea
d
of a
c
cess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
use an isl_multi_pw_a
f
f to represent a skip conditi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven V
e
rdoolaege
pet_skip_info: use isl_mu
l
ti_pw_a
f
f to represent skip
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
V
erdoolaege
PetScan::extract_non_a
f
fine_condit
i
on: tak
e
inde
x
expres
s
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
sca
n
.
cc:
e
xtract_ski
p
:
us
e
pet
_
e
xp
r
_fr
o
m_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next