6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-02-20 14:29:27 +00:00
Code Issues Projects Releases Wiki Activity

Fix a case where we incorrectly returned hasComputableLoopEvolution for

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


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@20335 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2005-02-26 18:40:02 +00:00
parent be54dcc8a9
commit 803513b364
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -197,10 +197,18 @@ namespace llvm {
return true; 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 { virtual bool hasComputableLoopEvolution(const Loop *L) const {
bool HasVarying = false;
for (unsigned i = 0, e = getNumOperands(); i != e; ++i) for (unsigned i = 0, e = getNumOperands(); i != e; ++i)
if (getOperand(i)->hasComputableLoopEvolution(L)) return true; if (!getOperand(i)->isLoopInvariant(L))
if (getOperand(i)->hasComputableLoopEvolution(L))
HasVarying = true;
else
return false; return false;
return HasVarying;
} }
SCEVHandle replaceSymbolicValuesWithConcrete(const SCEVHandle &Sym, SCEVHandle replaceSymbolicValuesWithConcrete(const SCEVHandle &Sym,
@ -382,8 +390,6 @@ namespace llvm {
virtual bool hasComputableLoopEvolution(const Loop *QL) const { virtual bool hasComputableLoopEvolution(const Loop *QL) const {
if (L == QL) return true; if (L == QL) return true;
/// FIXME: What if the start or step value a recurrence for the specified
/// loop?
return false; return false;
} }