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

Verify SCEVAddRecExpr's invariant in ScalarEvolution::getAddRecExpr 

instead of in SCEVAddRecExpr's constructor, in preparation for an
upcoming change.

llvm-svn: 119554
This commit is contained in:
Dan Gohman 2010-11-17 20:48:38 +00:00
parent 978e071f16
commit d3a32ae4c8
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -373,11 +373,7 @@ namespace llvm {
SCEVAddRecExpr(const FoldingSetNodeIDRef ID, SCEVAddRecExpr(const FoldingSetNodeIDRef ID,
const SCEV *const *O, size_t N, const Loop *l) const SCEV *const *O, size_t N, const Loop *l)
: SCEVNAryExpr(ID, scAddRecExpr, O, N), L(l) { : SCEVNAryExpr(ID, scAddRecExpr, O, N), L(l) {}
for (size_t i = 0, e = NumOperands; i != e; ++i)
assert(Operands[i]->isLoopInvariant(l) &&
"Operands of AddRec must be loop-invariant!");
}
public: public:
const SCEV *getStart() const { return Operands[0]; } const SCEV *getStart() const { return Operands[0]; }

3
llvm/lib/Analysis/ScalarEvolution.cpp
View File

@ -2073,6 +2073,9 @@ ScalarEvolution::getAddRecExpr(SmallVectorImpl<const SCEV *> &Operands,
for (unsigned i = 1, e = Operands.size(); i != e; ++i) for (unsigned i = 1, e = Operands.size(); i != e; ++i)
assert(getEffectiveSCEVType(Operands[i]->getType()) == ETy && assert(getEffectiveSCEVType(Operands[i]->getType()) == ETy &&
"SCEVAddRecExpr operand types don't match!"); "SCEVAddRecExpr operand types don't match!");
for (unsigned i = 0, e = Operands.size(); i != e; ++i)
assert(Operands[i]->isLoopInvariant(L) &&
"SCEVAddRecExpr operand is not loop-invariant!");
#endif #endif
if (Operands.back()->isZero()) { if (Operands.back()->isZero()) {