maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Induction variables must be phi nodes 

llvm-svn: 1402
This commit is contained in:
Chris Lattner 2001-12-03 17:27:42 +00:00
parent b4c677745e
commit 66d9ceaaba
3 changed files with 12 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
llvm/include/llvm/Analysis/InductionVariable.h
View File

@ -40,14 +40,11 @@ public:
// Create an induction variable for the specified value. If it is a PHI, and // Create an induction variable for the specified value. If it is a PHI, and
// if it's recognizable, classify it and fill in instance variables. // if it's recognizable, classify it and fill in instance variables.
// //
InductionVariable(Instruction *V, cfg::LoopInfo *LoopInfo = 0); InductionVariable(PHINode *PN, cfg::LoopInfo *LoopInfo = 0);
// Classify Induction // Classify Induction
static enum iType Classify(const Value *Start, const Value *Step, static enum iType Classify(const Value *Start, const Value *Step,
const cfg::Loop *L = 0); const cfg::Loop *L = 0);
}; };
#endif #endif

9
llvm/lib/Analysis/InductionVariable.cpp
View File

@ -59,15 +59,14 @@ InductionVariable::Classify(const Value *Start, const Value *Step,
// Create an induction variable for the specified value. If it is a PHI, and // Create an induction variable for the specified value. If it is a PHI, and
// if it's recognizable, classify it and fill in instance variables. // if it's recognizable, classify it and fill in instance variables.
// //
InductionVariable::InductionVariable(Instruction *V, cfg::LoopInfo *LoopInfo) { InductionVariable::InductionVariable(PHINode *P, cfg::LoopInfo *LoopInfo) {
InductionType = Unknown; // Assume the worst InductionType = Unknown; // Assume the worst
Phi = P;
// If this instruction is not a PHINode, it can't be an induction variable. // If the PHI node has more than two predecessors, we don't know how to
// Also, if the PHI node has more than two predecessors, we don't know how to
// handle it. // handle it.
// //
Phi = dyn_cast<PHINode>(V); if (Phi->getNumIncomingValues() != 2) return;
if (!Phi || Phi->getNumIncomingValues() != 2) return;
// If we have loop information, make sure that this PHI node is in the header // If we have loop information, make sure that this PHI node is in the header
// of a loop... // of a loop...

12
llvm/tools/analyze/analyze.cpp
View File

@ -13,6 +13,7 @@
#include "llvm/Instruction.h" #include "llvm/Instruction.h"
#include "llvm/Module.h" #include "llvm/Module.h"
#include "llvm/Method.h" #include "llvm/Method.h"
#include "llvm/iPHINode.h"
#include "llvm/Bytecode/Reader.h" #include "llvm/Bytecode/Reader.h"
#include "llvm/Assembly/Parser.h" #include "llvm/Assembly/Parser.h"
#include "llvm/Analysis/Writer.h" #include "llvm/Analysis/Writer.h"
@ -67,11 +68,12 @@ static void PrintClassifiedExprs(Method *M) {
static void PrintInductionVariables(Method *M) { static void PrintInductionVariables(Method *M) {
cfg::LoopInfo LI(M); cfg::LoopInfo LI(M);
for (Method::inst_iterator I = M->inst_begin(), E = M->inst_end(); for (Method::inst_iterator I = M->inst_begin(), E = M->inst_end();
I != E; ++I) { I != E; ++I)
InductionVariable IV(*I, &LI); if (PHINode *PN = dyn_cast<PHINode>(*I)) {
if (IV.InductionType != InductionVariable::Unknown) InductionVariable IV(PN, &LI);
cout << IV; if (IV.InductionType != InductionVariable::Unknown)
} cout << IV;
}
} }