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

Fix a case where we incorrectly returned hasComputableLoopEvolution for 

a ternary commutative expr.  Remove FIXME that does not need to be fixed
(can't happen).

llvm-svn: 20335
This commit is contained in:
Chris Lattner 2005-02-26 18:40:02 +00:00
parent cc6d75fddf
commit 435829f89b
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -197,10 +197,18 @@ namespace llvm {
return true;
}
// hasComputableLoopEvolution - Commutative expressions have computable loop
// evolutions iff they have at least one operand that varies with the loop,
// but that all varying operands are computable.
virtual bool hasComputableLoopEvolution(const Loop *L) const {
bool HasVarying = false;
for (unsigned i = 0, e = getNumOperands(); i != e; ++i)
if (getOperand(i)->hasComputableLoopEvolution(L)) return true;
return false;
if (!getOperand(i)->isLoopInvariant(L))
if (getOperand(i)->hasComputableLoopEvolution(L))
HasVarying = true;
else
return false;
return HasVarying;
}
SCEVHandle replaceSymbolicValuesWithConcrete(const SCEVHandle &Sym,
@ -382,8 +390,6 @@ namespace llvm {
virtual bool hasComputableLoopEvolution(const Loop *QL) const {
if (L == QL) return true;
/// FIXME: What if the start or step value a recurrence for the specified
/// loop?
return false;
}