6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-01-23 02:32:11 +00:00
Code Issues Projects Releases Wiki Activity

Add a properlyDominates member function to ScalarEvolution.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82898 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2009-09-27 15:26:03 +00:00
parent 59faf04a5d
commit 6e70e31810
3 changed files with 46 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
include/llvm/Analysis/ScalarEvolution.h
View File

@ -104,6 +104,10 @@ namespace llvm {
/// the specified basic block. /// the specified basic block.
virtual bool dominates(BasicBlock *BB, DominatorTree *DT) const = 0; virtual bool dominates(BasicBlock *BB, DominatorTree *DT) const = 0;
/// properlyDominates - Return true if elements that makes up this SCEV
/// properly dominate the specified basic block.
virtual bool properlyDominates(BasicBlock *BB, DominatorTree *DT) const = 0;
/// print - Print out the internal representation of this scalar to the /// print - Print out the internal representation of this scalar to the
/// specified stream. This should really only be used for debugging /// specified stream. This should really only be used for debugging
/// purposes. /// purposes.
@ -138,6 +142,10 @@ namespace llvm {
return true; return true;
} }
virtual bool properlyDominates(BasicBlock *BB, DominatorTree *DT) const {
return true;
}
/// Methods for support type inquiry through isa, cast, and dyn_cast: /// Methods for support type inquiry through isa, cast, and dyn_cast:
static inline bool classof(const SCEVCouldNotCompute *S) { return true; } static inline bool classof(const SCEVCouldNotCompute *S) { return true; }
static bool classof(const SCEV *S); static bool classof(const SCEV *S);

16
include/llvm/Analysis/ScalarEvolutionExpressions.h
View File

@ -60,6 +60,10 @@ namespace llvm {
return true; return true;
} }
bool properlyDominates(BasicBlock *BB, DominatorTree *DT) const {
return true;
}
virtual void print(raw_ostream &OS) const; virtual void print(raw_ostream &OS) const;
/// Methods for support type inquiry through isa, cast, and dyn_cast: /// Methods for support type inquiry through isa, cast, and dyn_cast:
@ -98,6 +102,8 @@ namespace llvm {
virtual bool dominates(BasicBlock *BB, DominatorTree *DT) const; virtual bool dominates(BasicBlock *BB, DominatorTree *DT) const;
virtual bool properlyDominates(BasicBlock *BB, DominatorTree *DT) const;
/// Methods for support type inquiry through isa, cast, and dyn_cast: /// Methods for support type inquiry through isa, cast, and dyn_cast:
static inline bool classof(const SCEVCastExpr *S) { return true; } static inline bool classof(const SCEVCastExpr *S) { return true; }
static inline bool classof(const SCEV *S) { static inline bool classof(const SCEV *S) {
@ -224,6 +230,8 @@ namespace llvm {
bool dominates(BasicBlock *BB, DominatorTree *DT) const; bool dominates(BasicBlock *BB, DominatorTree *DT) const;
bool properlyDominates(BasicBlock *BB, DominatorTree *DT) const;
virtual const Type *getType() const { return getOperand(0)->getType(); } virtual const Type *getType() const { return getOperand(0)->getType(); }
/// Methods for support type inquiry through isa, cast, and dyn_cast: /// Methods for support type inquiry through isa, cast, and dyn_cast:
@ -337,6 +345,8 @@ namespace llvm {
bool dominates(BasicBlock *BB, DominatorTree *DT) const; bool dominates(BasicBlock *BB, DominatorTree *DT) const;
bool properlyDominates(BasicBlock *BB, DominatorTree *DT) const;
virtual const Type *getType() const; virtual const Type *getType() const;
void print(raw_ostream &OS) const; void print(raw_ostream &OS) const;
@ -513,6 +523,10 @@ namespace llvm {
return true; return true;
} }
bool properlyDominates(BasicBlock *, DominatorTree *) const {
return true;
}
virtual const Type *getType() const { return Ty; } virtual const Type *getType() const { return Ty; }
/// Methods for support type inquiry through isa, cast, and dyn_cast: /// Methods for support type inquiry through isa, cast, and dyn_cast:
@ -599,6 +613,8 @@ namespace llvm {
bool dominates(BasicBlock *BB, DominatorTree *DT) const; bool dominates(BasicBlock *BB, DominatorTree *DT) const;
bool properlyDominates(BasicBlock *BB, DominatorTree *DT) const;
virtual const Type *getType() const; virtual const Type *getType() const;
virtual void print(raw_ostream &OS) const; virtual void print(raw_ostream &OS) const;

22
lib/Analysis/ScalarEvolution.cpp
View File

@ -207,6 +207,10 @@ bool SCEVCastExpr::dominates(BasicBlock *BB, DominatorTree *DT) const {
return Op->dominates(BB, DT); return Op->dominates(BB, DT);
} }
bool SCEVCastExpr::properlyDominates(BasicBlock *BB, DominatorTree *DT) const {
return Op->properlyDominates(BB, DT);
}
SCEVTruncateExpr::SCEVTruncateExpr(const FoldingSetNodeID &ID, SCEVTruncateExpr::SCEVTruncateExpr(const FoldingSetNodeID &ID,
const SCEV *op, const Type *ty) const SCEV *op, const Type *ty)
: SCEVCastExpr(ID, scTruncate, op, ty) { : SCEVCastExpr(ID, scTruncate, op, ty) {
@ -260,10 +264,22 @@ bool SCEVNAryExpr::dominates(BasicBlock *BB, DominatorTree *DT) const {
return true; return true;
} }
bool SCEVNAryExpr::properlyDominates(BasicBlock *BB, DominatorTree *DT) const {
for (unsigned i = 0, e = getNumOperands(); i != e; ++i) {
if (!getOperand(i)->properlyDominates(BB, DT))
return false;
}
return true;
}
bool SCEVUDivExpr::dominates(BasicBlock *BB, DominatorTree *DT) const { bool SCEVUDivExpr::dominates(BasicBlock *BB, DominatorTree *DT) const {
return LHS->dominates(BB, DT) && RHS->dominates(BB, DT); return LHS->dominates(BB, DT) && RHS->dominates(BB, DT);
} }
bool SCEVUDivExpr::properlyDominates(BasicBlock *BB, DominatorTree *DT) const {
return LHS->properlyDominates(BB, DT) && RHS->properlyDominates(BB, DT);
}
void SCEVUDivExpr::print(raw_ostream &OS) const { void SCEVUDivExpr::print(raw_ostream &OS) const {
OS << "(" << *LHS << " /u " << *RHS << ")"; OS << "(" << *LHS << " /u " << *RHS << ")";
} }
@ -328,6 +344,12 @@ bool SCEVUnknown::dominates(BasicBlock *BB, DominatorTree *DT) const {
return true; return true;
} }
bool SCEVUnknown::properlyDominates(BasicBlock *BB, DominatorTree *DT) const {
if (Instruction *I = dyn_cast<Instruction>(getValue()))
return DT->properlyDominates(I->getParent(), BB);
return true;
}
const Type *SCEVUnknown::getType() const { const Type *SCEVUnknown::getType() const {
return V->getType(); return V->getType();
} }