diff options
Diffstat (limited to 'lib/Analysis/LiveVar/BBLiveVar.h')
-rw-r--r-- | lib/Analysis/LiveVar/BBLiveVar.h | 69 |
1 files changed, 69 insertions, 0 deletions
diff --git a/lib/Analysis/LiveVar/BBLiveVar.h b/lib/Analysis/LiveVar/BBLiveVar.h new file mode 100644 index 0000000..7917cc2 --- /dev/null +++ b/lib/Analysis/LiveVar/BBLiveVar.h @@ -0,0 +1,69 @@ +/* Title: ValueSet.h + Author: Ruchira Sasanka + Date: Jun 30, 01 + Purpose: This is a wrapper class for BasicBlock which is used by live + variable anaysis +*/ + +#ifndef LIVE_VAR_BB_H +#define LIVE_VAR_BB_H + +#include "LiveVarSet.h" +#include "LiveVarMap.h" + +#include "llvm/BasicBlock.h" +#include "llvm/Instruction.h" +#include "llvm/CFG.h" +#include "llvm/Type.h" +#include "llvm/iOther.h" + + +class BBLiveVar +{ + const BasicBlock* BaseBB; // pointer to BasicBlock + unsigned int POId; // Post-Order ID + + LiveVarSet DefSet; // Def set for LV analysis + LiveVarSet InSet, OutSet; // In & Out for LV analysis + bool InSetChanged, OutSetChanged; // set if the InSet/OutSet is modified + + // map that contains phi args->BB they came + hash_map<const Value *, const BasicBlock *, hashFuncValue> PhiArgMap; + + // method to propogate an InSet to OutSet of a predecessor + bool setPropagate( LiveVarSet *const OutSetOfPred, + const LiveVarSet *const InSetOfThisBB, + const BasicBlock *const PredBB); + + public: + + BBLiveVar( const BasicBlock* baseBB, unsigned int POId); + + inline bool isInSetChanged() const { return InSetChanged; } + inline bool isOutSetChanged() const { return OutSetChanged; } + + inline unsigned int getPOId() const { return POId; } + + void calcDefUseSets() ; // calculates the Def & Use sets for this BB + bool applyTransferFunc(); // calcultes the In in terms of Out + + // calculates Out set using In sets of the predecessors + bool applyFlowFunc(BBToBBLiveVarMapType LVMap); + + inline const LiveVarSet* getOutSet() const { return &OutSet; } + inline const LiveVarSet* getInSet() const { return &InSet; } + + void printAllSets() const; // for printing Def/In/Out sets + void printInOutSets() const; // for printing In/Out sets + + //TODO write a destructor to deallocate Def/In.Out sets and PhiArgMap + +}; + + + + + + +#endif + |