Shuo Wang via llvm-dev
2016-Mar-19 08:16 UTC
[llvm-dev] Iteration distance failed in DependenceAnalysis C++ API
Hi LLVM-ers,
(1) I tried to use the following command line to get the iteration distance
of a loop-carried dependence of a simple program :
command line: opt -basicaa -da -analyze dis_test.ll
program: for ( int i=0; j < n; ++i ) {
b[i] = b[i-2] + 3;
}
results: da analyze — none!
da analyze — consistent anti [-2] (This is what I expected!!)
da analyze — none!
(2) However, when I tried to use the C++ API to do the same thing, the
distance result is null.
My pass:
class IterationDistance : public DependenceAnalysis {
...
void getAnalysisUsage(AnalysisUsage &AU) const {
AU.setPreservesAll();
AU.addRequired<AliasAnalysis>();
AU.addRequired<LoopInfo>();
AU.addRequired<ScalarEvolution>();
AU.addRequired<DependenceAnalysis>();
}
...
DependenceAnalysis *DA = &(getAnalysis<DependenceAnalysis>());
auto D = DA->depends(Src, Des, true);
if (D->isAnti()) {
unsigned Levels = D->getLevels();
errs() << "levels = " << Levels
<< "\n";
char Direction;
for (unsigned II = 1; II <= Levels; ++II) {
...
const SCEV *Distance = D->getDistance(II);
const SCEVConstant *SCEVConst =
dyn_cast_or_null<SCEVConstant>(Distance);
...
}
Results: levels = 0;
Distance is null.
(3) My guess is that the "levels = 0” which makes the Distance cannot
be got. Can anyone help me with this?
Thanks!
Shvo
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20160319/b6800b18/attachment.html>