class IVUsers;
class ScalarEvolution;
class SCEV;
-class SCEVAddRecExpr;
class IVUsers;
+class DataLayout;
/// IVStrideUse - Keep track of one use of a strided induction variable.
/// The Expr member keeps track of the expression, User is the actual user
LoopInfo *LI;
DominatorTree *DT;
ScalarEvolution *SE;
- SmallPtrSet<Instruction *, 16> Processed;
+ DataLayout *TD;
+ SmallPtrSet<Instruction*,16> Processed;
/// IVUses - A list of all tracked IV uses of induction variable expressions
/// we are interested in.
virtual void releaseMemory();
- const SCEVAddRecExpr *findInterestingAddRec(const SCEV *S) const;
- bool isInterestingUser(const Instruction *User) const;
-
public:
static char ID; // Pass ID, replacement for typeid
IVUsers();
- /// AddUsersIfInteresting - Inspect the def-use graph starting at the
- /// specified Instruction and add IVUsers.
- void AddUsersIfInteresting(Instruction *I);
+ Loop *getLoop() const { return L; }
+
+ /// AddUsersIfInteresting - Inspect the specified Instruction. If it is a
+ /// reducible SCEV, recursively add its users to the IVUsesByStride set and
+ /// return true. Otherwise, return false.
+ bool AddUsersIfInteresting(Instruction *I);
IVStrideUse &AddUser(Instruction *User, Value *Operand);
const_iterator end() const { return IVUses.end(); }
bool empty() const { return IVUses.empty(); }
+ bool isIVUserOrOperand(Instruction *Inst) const {
+ return Processed.count(Inst);
+ }
+
void print(raw_ostream &OS, const Module* = 0) const;
/// dump - This method is used for debugging.
void dump() const;
+protected:
+ bool AddUsersImpl(Instruction *I, SmallPtrSet<Loop*,16> &SimpleLoopNests);
};
Pass *createIVUsersPass();