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
scop.c: fix typos in comments
2014-03-19
Sven Verdoolaege
scop
.
c: fix typos in comment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Ver
d
oola
e
ge
scan
.
c
c: fix typ
o
s
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
aege
pet_
s
c
o
p
_rest
r
ict_ski
p
:
f
ix ty
p
o
in
error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n V
e
rdoolaege
PetScan::is_nested_allowed
:
check for
s
kip c
o
nditions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verd
o
olaege
p
rint
.
c:
print_pet_exp
r
: fix memor
y
manageme
n
t annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
drop
d
e
ad
m
ethod
P
e
tScan::
i
s
_affin
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
Verdo
o
laege
scop
.
c: em
b
e
d_access: dro
p
redundant vari
a
b
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_scop_filter_sk
i
p
: avoid reco
m
put
a
t
ion of test expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaeg
e
PetScan::extract_non_affin
e
_condit
i
on
:
remo
v
e redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven van Haastr
e
gt
A
X_DETECT_G
I
T_H
E
A
D
: avoid empty v
e
rsi
o
n string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
e
r
d
o
ol
a
ege
separate
o
ut shar
e
d PetScan::u
p
date_
s
c
op_start_en
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
pet_expr
_
dump
:
only pr
i
nt expr->acc
.
ref_id if it is set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
sc
o
p
.
c:
s
tmt_propag
a
te_params:
also update acces
s
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdoolaege
scop
.
c
:
st
m
t_c
o
llect_par
a
ms
:
also co
l
lect parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erdoolaege
s
cop
.
c: *_collect_pa
r
a
m
s: f
i
x erro
r
h
a
n
dl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
V
erdo
o
la
e
ge
pe
t
_scop_align
_
params: improv
e
error ha
n
dling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_scop_align_params: ren
a
me "dim"
variable to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
P
etS
c
an::extract_
n
ested: pl
u
g m
e
mory leak
o
n error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
sca
n
.
cc: clear_assignme
n
t: fix logic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
r
d
ool
a
e
ge
P
etScan::extract
(
IfS
t
mt *)
:
clear a
s
signmen
t
s i
n
body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
PetScan:
:
extract_infinite_for: also clear
a
ssignm
e
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoolaege
P
e
tScan::extr
a
ct_f
o
r: always
keep virtual iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
laege
m
o
d
ify tes
t
s/unsigned3
.
c
t
est case
to use the iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sve
n
Verdoolaege
w
hen autodetecting only skip initial
declara
t
ions in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven
V
e
rdoola
e
ge
do not
e
xtr
a
ct l
o
op
a
rou
n
d p
a
rt
i
al bod
y
when autodetecting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven
Verdoolaege
PetScan::ex
t
ract_non_affine_condition: take stat
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verd
o
olaeg
e
PetScan
:
:
e
xt
r
act_for:
d
o not allow in
i
t
ia
l
va
l
ue t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
PetS
c
an::ex
t
ract_for:
c
l
e
ar assign
m
ent to iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven V
e
rdoolaege
PetScan
:
:uns
u
pported: pass fixed character string to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
conf
i
gu
r
e
.
ac: a
d
d
l
lvm-config --sy
s
tem-libs to CLANG_LIB
S
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
S
ven Verdoolaege
update is
l
for support for r
e
cen
t
c
l
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-29
Sven
Verdoolaege
Makefile
.
am: avoid
use of INCLUDES variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-06
Sven
V
erdoola
e
ge
AX_DETECT_G
I
T_HEAD: detect git version with newer versions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-06
S
v
en Verdoolaege
README: add contact i
n
forma
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Albert Cohen
Sup
p
ort for
additional binary/
u
nar
y
operators in C
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sven V
e
rdoolaege
add
a
ffine
a
ssumptions to the
cont
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sven Ver
d
o
o
laeg
e
p
a
rse __pe
n
cil_assume statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-17
Sven Verdoolaege
ext
r
a
ct out PetS
c
an::extr
a
ct_a
r
gu
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-16
Sven
V
e
rdoo
l
a
e
ge
add s
u
pport for s
t
r
u
cts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
add pet_scop_co
l
lect_ta
g
g
ed_must_kills
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
add pet_scop_collect_must_kills
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
scop
.
c: extract
out
e
xpr
_
c
o
ll
e
ct_a
c
c
ess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
e
rdoolae
g
e
scop
.
c: scop_colle
c
t_accesses: rename
"
dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaege
add pet_exp
r
_
a
ccess_get_tagged_may_acc
e
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
add pet_scop_c
o
llect_tagged_{m
a
y,must}_{reads,writ
e
s}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
expo
r
t pet_ex
p
r
_
access_get_may
_
acc
e
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven
Verdoolaege
scop
.
c: expr_collect_a
c
cesses:
p
lug
memory leak
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaeg
e
e
xtract out
p
e
t_c
l
a
ng_base_type into s
e
pa
r
a
te file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n V
e
r
d
o
o
la
e
ge
scan
.
cc:
e
xtract
o
u
t
subscript
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
e
r
doolaege
sc
o
p
.
c: e
x
tract out
*
_
i
s_vi
r
tual_array functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoo
l
aege
pe
t
_e
x
pr_from_index_and_dep
t
h
: extract o
u
t exte
n
d
_
ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
introduce p
e
t_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
use isl_*_reset_use
r
instead of *_anonymize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
u
pdate is
l
f
or sup
p
ort for
m
ember accesses in AST
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
pet_expr_free: return stru
c
t
pet_expr *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
PetScan::resolve_nes
t
ed(struct pet_s
t
mt *): re
m
o
ve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaege
PetSc
a
n:
:
resolve_
n
ested(struct pet_expr
*): remo
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
o
ola
e
g
e
scan
.
cc
:
compu
t
e_
w
r
a
p
p
ing: remove unused v
a
riable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
cc: extract_skip_seq: remove
u
nuse
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
cc: univ
e
rsally: remove unus
e
d vari
a
bl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Ver
d
oolae
g
e
PetScan::extr
a
ct_affi
n
e:
remove unused variab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n
V
erdoolaege
M
a
k
e
file
.
a
m
: add d
u
mmy C++ so
u
rce file t
o
pet and pet_ch
e
c
k
_code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
s
top linking in clang l
i
braries dire
c
tly into pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
a
l
so pr
i
nt cl
a
n
g
version when prin
t
ing
p
e
t
v
e
rsion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
README: up
d
at
e
lat
e
s
t release of LLVM/
c
lang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
S
v
en Verdoo
l
aege
parse
.
c: remove spurious dup
l
icate declaration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdoo
l
ae
g
e
pet_scop_free: retur
n
s
t
ruc
t
pet_scop
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdoola
e
ge
Pe
t
Scan::
e
xtract(StmtRange,
b
ool, bool): br
e
ak out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sv
e
n V
e
rdoolaege
pet_
s
cop_
c
ol
l
ect_{r
e
ads,writes}: ta
k
e a
r
guments i
n
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sve
n
Verdoolaege
pet_scop_co
l
lec
t
_{rea
d
s,w
r
ites}: intersect ranges with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven
V
e
rdo
o
laege
sca
n
.
cc: extract_depth: use correct dimen
s
ion typ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven Ve
r
doolaege
pet_
e
xp
r
_fro
m
_access_a
n
d_index: plug memory lea
k
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-08
Sv
e
n Verd
o
olaege
configure
.
ac
:
rem
o
ve exp
l
i
c
it dependence
on gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verd
o
o
l
aege
di
s
card
i
ncompletely extr
a
c
t
ed
c
o
m
pound
s
t
a
tements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven V
e
rdoolae
g
e
fix
h
an
d
ling of
c
o
mpou
n
d stat
e
men
t
s with initi
a
l part
i
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoo
l
aege
p
e
t_transform_C_sour
c
e: handle multip
l
e expl
i
c
i
t
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdo
o
laege
a
dd pet_scop_print
_
original
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolae
g
e
ad
d
pet_
t
ra
n
sform_C_source
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Ve
r
d
oolaege
extend PetASTCo
n
sumer to extra
c
t a scop for each fu
n
c
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en V
e
rdoolaege
post-pros
c
es
s
sc
o
ps inside Pet
A
S
T
Consum
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
add pet_
s
tmt_build_a
s
t_exprs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
a
ege
add p
e
t_stmt_print_body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoo
l
aege
add pet_scop_has_da
t
a_dependent_co
n
d
itions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add pet_scop_has_
d
ata_dependent_accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
Verdoolaege
pet_
c
h
e
ck_code: use index e
x
pressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
pet_che
c
k_code
:
use isl_id_to_pw_af
f
for ke
e
ping
track
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
updat
e
isl for isl_id_to_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
keep track o
f
index expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
Verdoolaege
s
c
o
p
.
c: fix ty
p
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
upda
t
e test case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doola
e
ge
scop
.
c: insert_filter
_
ma
p
: construct function intea
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
ae
g
e
scop
.
c: update
_
d
o
main: u
s
e f
u
nction intead of
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erd
o
olaege
scop
.
c
: up
d
ate_
d
o
main: renam
e
v
ariable "d
i
m" to "sp
a
ce
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
PetScan::resolve_nested: use fun
c
tion to embed ar
g
uments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdool
a
ege
P
etScan::kill: use pet_expr_kill_from_access_
a
nd
_
index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoola
e
ge
scop_add
_
array
:
t
ake index expression i
n
stead of access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
pet
_
sco
p
_
filt
e
r: take index
expressi
o
n instead of access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Ve
r
do
o
lae
g
e
use an
isl_mult
i
_pw_aff
t
o represent a
s
ki
p
condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verd
o
ola
e
ge
pet
_
skip_info: use i
s
l_mult
i
_
p
w_aff to rep
r
esent
skip
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
PetScan::e
x
tra
c
t_non_affine_condition: take i
n
dex expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next