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
Sven Verd
o
ola
e
ge
sc
a
n
.
cc: fix t
y
pos
i
n
c
omme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
l
aege
pet_scop_restrict_skip: fix typ
o
in err
o
r message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
doolaege
PetSc
a
n::is_nested_all
o
w
ed: c
h
eck for skip conditi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
print
.
c:
print
_
pet_ex
p
r: fix memory management annota
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
drop d
e
ad method Pe
t
Sc
a
n::is_a
f
f
ine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n V
e
rdoo
l
aege
scop
.
c:
e
m
bed_access: drop red
u
ndant varia
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaege
pet_scop
_
f
i
lter_skip: avoi
d
recomputation of
t
est expre
s
sion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
doolaeg
e
PetScan::e
x
tra
c
t
_
non_affine_co
n
d
ition:
remove redundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdoolaege
separate out s
h
ared PetScan::update_
s
c
op_st
a
rt_end
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oolaege
p
et_expr_dump: only prin
t
expr->acc
.
r
e
f_id if it i
s
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
scop
.
c
:
stmt_propagate_par
a
m
s: also u
p
date access
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Ve
r
doolaege
sco
p
.
c: stmt_
c
ollect_params:
also collect pa
r
ameter
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
scop
.
c: *_collect
_
para
m
s: fix error handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoola
e
ge
pet_s
c
op_align
_
params: impro
v
e
error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pe
t
_scop_align_param
s
: re
n
am
e
"dim" variable
to
"
space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdool
a
ege
Pe
t
Scan::extract_nested: plug m
e
mory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
scan
.
cc: c
l
ear_assignme
n
t: fix logic
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
PetS
c
an::
e
xtrac
t
(IfStmt *): clear
a
ssignm
e
n
t
s in body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
PetScan::extract_i
n
f
i
ni
t
e_for: also clear assignme
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdo
o
laege
PetS
c
an
:
:
e
x
t
ract_for: always
k
eep virtua
l
iterato
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ve
n
Verdo
o
laege
modify
test
s
/unsigned3
.
c te
s
t
c
ase
t
o
use the iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven V
e
rdoolaege
w
h
en autodetecting only skip
i
n
itial dec
l
a
rati
o
ns in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
d
o
not
e
xtract
loop arou
n
d partial bo
d
y when autodetecting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolae
g
e
PetScan::e
x
tract_non
_
affine_
c
on
d
ition: take
s
tatement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
S
ven
V
e
rd
o
olaege
PetScan::extract_
f
or: do not allow
initial
v
alu
e
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sv
e
n V
e
rdoolaege
P
etScan::extract
_
fo
r
: cle
a
r
a
ss
i
g
n
ment to
iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
S
v
en Verdool
a
eg
e
PetSca
n
::un
s
upported
:
pass fixed
c
haracter string to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
S
ven
Verdoolaege
conf
i
gure
.
a
c
: ad
d
llvm-config --syst
e
m-libs to CLA
N
G_LIBS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
update isl for
s
u
pport for recen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-29
S
ven Verdo
o
l
aege
M
a
kefile
.
am: avoid use of INCLUDES variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-06
Sven V
e
r
doolae
g
e
AX_DE
T
ECT_GI
T
_HEAD: de
t
e
ct git version
w
i
th newer
versio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-06
Sven
Verdoolaege
README: add c
o
ntact info
r
ma
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdool
a
ege
add aff
i
ne assumptions to the context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
S
ven Ver
d
oolaeg
e
parse __
p
encil_as
s
ume stat
e
ment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-17
Sven
V
erd
o
o
l
aege
extr
a
ct out PetScan::ext
r
ac
t
_argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-16
S
v
en Verdo
o
laege
add support fo
r
s
tructs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
add pet_sc
o
p_collect_tag
g
ed_must
_
kills
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Ve
r
doolaeg
e
a
dd
p
e
t_sco
p
_c
o
llect_must_kil
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoo
l
aege
sco
p
.
c
: extract out
expr_c
o
llect_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n
V
e
r
doolaeg
e
scop
.
c:
scop_col
l
ect_accesses:
r
ename "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
add pet
_
expr_
a
ccess_get_ta
g
ged_ma
y
_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoo
l
ae
g
e
add pet_scop_collect_t
a
gged_{may,must}_{read
s
,w
r
ites}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Ver
d
oola
e
ge
export pet
_
e
xpr_
a
ccess_get_may_acc
e
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scop
.
c:
e
x
pr_collect_accesses: plug
memory leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verd
o
o
laege
e
xtract out pet_clang_bas
e
_typ
e
into se
p
a
r
ate
f
il
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaege
s
c
an
.
cc: extrac
t
o
u
t s
u
bscrip
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdo
o
laege
scop
.
c:
ex
t
ract out *
_
is_virtual_array functi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
pet_expr_fr
o
m
_
inde
x
_and_depth: extract out e
x
tend_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdo
o
laege
introduc
e
pet_
t
y
pe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
V
erdoolaeg
e
use i
s
l_*_reset_use
r
instea
d
of *
_
anonymize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
update is
l
for su
p
por
t
for m
e
m
b
er accesses
i
n AST
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
pet_expr_free: return s
t
ruct
p
et_expr *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaeg
e
PetSca
n
:
:
resolve_nested(struct pe
t
_stmt *): r
e
move
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
PetScan::reso
l
ve_nested(struct pet_
e
xpr *): remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n Verdoolae
g
e
s
can
.
cc:
co
m
pute_wrappi
n
g
:
r
e
mov
e
unused va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
cc: extrac
t
_
skip_se
q
: remove
u
nu
s
ed
v
a
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
scan
.
cc: universally: remove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verd
o
olaeg
e
PetS
c
an::extract_affine: remov
e
unused
variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doo
l
aege
Mak
e
fi
l
e
.
am: add
dummy
C
++ sou
r
ce
f
ile
t
o pet and pet_c
h
eck_code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
V
e
r
doolaege
stop lin
k
ing in clang librarie
s
directly
int
o
pe
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdool
a
ege
also pri
n
t clang
v
e
rsion when printing pet v
e
rsion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Ver
d
o
o
laege
README: update latest
r
elease of LLVM/clan
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sv
e
n Verdoola
e
ge
parse
.
c: re
m
ove spurious
d
u
plica
t
e
declaration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Ver
d
oolaege
pet_scop_free: return
s
tr
u
ct pet_s
c
op *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sve
n
Verdoolaege
PetScan::
e
xtr
a
ct(StmtRange, bool, bool
)
: bre
a
k out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
S
v
en Verd
o
olaege
pet_scop_collect
_
{reads,wri
t
es}: t
a
ke arguments
i
n
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaeg
e
pet_scop_coll
e
ct_{re
a
ds,writ
e
s}
:
int
e
rsect ran
g
es wi
t
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
S
v
e
n
Ver
d
ool
a
e
g
e
scan
.
cc: extract_depth:
u
se cor
r
ect dimens
i
on t
y
pe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
S
ven Verdoolae
g
e
pet_expr_from_access_and_ind
e
x:
p
l
u
g m
e
mory le
a
k on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-08
Sven Verdoolaege
con
f
igure
.
ac: remove explicit dependence on gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sve
n
Ve
r
d
o
o
l
a
e
ge
discard inco
m
pletely extra
c
ted
c
o
m
pound statements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven
V
erdoolae
g
e
fix
handl
i
ng of comp
o
und statements with initi
a
l partial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
pet_tr
a
nsform_C_source: handle mult
i
ple explicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add p
e
t_
s
cop_print_original
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
add pet_transform_C_so
u
rce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n Verdoo
l
aege
extend P
e
tASTConsumer t
o
extr
a
ct
a scop for ea
c
h function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
pos
t
-proscess scops
i
ns
i
de
P
etA
S
TConsumer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
add pe
t
_
stmt_bui
l
d_ast_exprs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add pe
t
_stmt_print_body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verd
o
olaege
a
d
d pet_scop_has_data_dependent_conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
add
p
et_s
c
op_has_data_dependen
t
_
a
cces
s
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
pet_ch
e
ck_code
:
use inde
x
expression
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
r
d
oola
e
ge
pet_check_c
o
d
e
: use
isl_id_to_pw_aff
f
or
keepin
g
track
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
Verdoolaege
update 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 of
i
ndex expressi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
scop
.
c
:
fix typ
o
i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
up
d
ate
tes
t
case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
scop
.
c
:
ins
e
rt_fil
t
er_map: construct fu
n
ction intead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Ver
d
oolaege
scop
.
c: update_doma
i
n: use fun
c
tion intea
d
of rela
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
Ve
r
do
o
laege
scop
.
c
: update_domain: rename variable "dim" to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
Pet
S
c
a
n::
r
esolve_nested:
use
funct
i
on
to
e
mbed arg
u
ments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaeg
e
PetScan::kill: use pet_expr_ki
l
l_from_access_and_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
scop_add_array: t
a
ke i
n
dex
e
xpres
s
io
n
instead
o
f
a
c
cess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Ver
d
oolaege
pet_scop_filter: take index e
x
pre
s
s
ion instead
o
f acce
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
u
se an isl_multi
_
p
w
_aff to
re
p
resent a skip
c
o
n
ditio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
pet_skip_inf
o
: use isl_m
u
lti_pw_aff
to repres
e
nt
skip
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ve
n
Verd
o
ol
a
e
ge
PetSca
n
::extract_no
n
_affine
_
condition: take index expressio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
s
can
.
c
c
: ex
t
ract_
s
k
i
p
:
u
s
e
pet
_
expr_from_
i
ndex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
pet_skip_info_if
:
:extract: take index expression instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
V
erdo
o
laege
s
ca
n
.
cc:
un
i
versa
l
ly: use p
e
t
_
expr_f
r
om_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next