aboutsummaryrefslogtreecommitdiffstats
path: root/include/llvm/Analysis
diff options
context:
space:
mode:
authorDan Gohman <gohman@apple.com>2010-11-17 20:48:38 +0000
committerDan Gohman <gohman@apple.com>2010-11-17 20:48:38 +0000
commit203a7239ae928568fe7a34c03ead4b1b3133870e (patch)
tree2ae3df69dd6d963323088df64582159300559b4e /include/llvm/Analysis
parent23465a06f4f4fa098f99cf91e81ed8f26f962f3f (diff)
downloadexternal_llvm-203a7239ae928568fe7a34c03ead4b1b3133870e.zip
external_llvm-203a7239ae928568fe7a34c03ead4b1b3133870e.tar.gz
external_llvm-203a7239ae928568fe7a34c03ead4b1b3133870e.tar.bz2
Verify SCEVAddRecExpr's invariant in ScalarEvolution::getAddRecExpr
instead of in SCEVAddRecExpr's constructor, in preparation for an upcoming change. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@119554 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/llvm/Analysis')
-rw-r--r--include/llvm/Analysis/ScalarEvolutionExpressions.h6
1 files changed, 1 insertions, 5 deletions
diff --git a/include/llvm/Analysis/ScalarEvolutionExpressions.h b/include/llvm/Analysis/ScalarEvolutionExpressions.h
index 4213a28..06a8b42 100644
--- a/include/llvm/Analysis/ScalarEvolutionExpressions.h
+++ b/include/llvm/Analysis/ScalarEvolutionExpressions.h
@@ -373,11 +373,7 @@ namespace llvm {
SCEVAddRecExpr(const FoldingSetNodeIDRef ID,
const SCEV *const *O, size_t N, const Loop *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!");
- }
+ : SCEVNAryExpr(ID, scAddRecExpr, O, N), L(l) {}
public:
const SCEV *getStart() const { return Operands[0]; }