From 311d06902a6337232a542b993c0f96b0d7d7ced1 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Sat, 29 Aug 2009 23:36:57 +0000 Subject: Add some comments. llvm-svn: 80452 --- llvm/lib/Analysis/ScalarEvolutionAliasAnalysis.cpp | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'llvm/lib/Analysis/ScalarEvolutionAliasAnalysis.cpp') diff --git a/llvm/lib/Analysis/ScalarEvolutionAliasAnalysis.cpp b/llvm/lib/Analysis/ScalarEvolutionAliasAnalysis.cpp index 381ea204864..cc79e6c3b13 100644 --- a/llvm/lib/Analysis/ScalarEvolutionAliasAnalysis.cpp +++ b/llvm/lib/Analysis/ScalarEvolutionAliasAnalysis.cpp @@ -69,9 +69,14 @@ ScalarEvolutionAliasAnalysis::runOnFunction(Function &F) { return false; } +/// GetUnderlyingIdentifiedObject - Given an expression, try to find an +/// "identified object" (see AliasAnalysis::isIdentifiedObject) base +/// value. Return null is none was found. Value * ScalarEvolutionAliasAnalysis::GetUnderlyingIdentifiedObject(const SCEV *S) { if (const SCEVAddRecExpr *AR = dyn_cast(S)) { + // In an addrec, assume that the base will be in the start, rather + // than the step. return GetUnderlyingIdentifiedObject(AR->getStart()); } else if (const SCEVAddExpr *A = dyn_cast(S)) { // If there's a pointer operand, it'll be sorted at the end of the list. -- cgit v1.2.3