6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-07-21 02:29:22 +00:00
Code Issues Projects Releases Wiki Activity

ZIV tester for LDA.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78157 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Andreas Bolka 2009-08-05 04:26:05 +00:00
parent 58bed8fc29
commit 831f6f6d2a
4 changed files with 22 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
include/llvm/Analysis/LoopDependenceAnalysis.h
View File

@ -77,6 +77,8 @@ class LoopDependenceAnalysis : public LoopPass {
bool isAffine(const SCEV*) const;
/// TODO: doc
bool isZIVPair(const SCEV*, const SCEV*) const;
DependenceResult analyseZIV(const SCEV*, const SCEV*, Subscript*) const;
DependenceResult analyseSubscript(const SCEV*, const SCEV*, Subscript*) const;
DependenceResult analysePair(DependencePair*) const;

18
lib/Analysis/LoopDependenceAnalysis.cpp
View File

@ -136,6 +136,19 @@ bool LoopDependenceAnalysis::isAffine(const SCEV *S) const {
return isLoopInvariant(S) || (rec && rec->isAffine());
}
bool LoopDependenceAnalysis::isZIVPair(const SCEV *A, const SCEV *B) const {
return isLoopInvariant(A) && isLoopInvariant(B);
}
LoopDependenceAnalysis::DependenceResult
LoopDependenceAnalysis::analyseZIV(const SCEV *A,
const SCEV *B,
Subscript *S) const {
assert(isZIVPair(A, B));
const SCEV *diff = SE->getMinusSCEV(A, B);
return diff->isZero() ? Dependent : Independent;
}
LoopDependenceAnalysis::DependenceResult
LoopDependenceAnalysis::analyseSubscript(const SCEV *A,
const SCEV *B,
@ -152,7 +165,10 @@ LoopDependenceAnalysis::analyseSubscript(const SCEV *A,
return Unknown;
}
// TODO: Implement ZIV/SIV/MIV testers.
if (isZIVPair(A, B))
return analyseZIV(A, B, S);
// TODO: Implement SIV/MIV testers.
DEBUG(errs() << " -> [?] cannot analyse subscript\n");
return Unknown;

2
test/Analysis/LoopDependenceAnalysis/alias.ll
View File

@ -34,7 +34,7 @@ for.body:
%i = phi i64 [ 0, %entry ], [ %i.next, %for.body ]
%x = load i32* %x.ld.addr
store i32 %x, i32* %x.st.addr
; CHECK: 0,1: dep
; CHECK: 0,1: ind
%i.next = add i64 %i, 1
%exitcond = icmp eq i64 %i.next, 256
br i1 %exitcond, label %for.end, label %for.body

4
test/Analysis/LoopDependenceAnalysis/ziv.ll
View File

@ -12,7 +12,7 @@ for.body:
%i = phi i64 [ 0, %entry ], [ %i.next, %for.body ]
%x = load i32* getelementptr ([256 x i32]* @x, i32 0, i64 6)
store i32 %x, i32* getelementptr ([256 x i32]* @x, i32 0, i64 5)
; CHECK: 0,1: dep
; CHECK: 0,1: ind
%i.next = add i64 %i, 1
%exitcond = icmp eq i64 %i.next, 256
br i1 %exitcond, label %for.end, label %for.body
@ -34,7 +34,7 @@ for.body:
%i = phi i64 [ 0, %entry ], [ %i.next, %for.body ]
%x = load i32* %x.ld.addr
store i32 %x, i32* %x.st.addr
; CHECK: 0,1: dep
; CHECK: 0,1: ind
%i.next = add i64 %i, 1
%exitcond = icmp eq i64 %i.next, 256
br i1 %exitcond, label %for.end, label %for.body