Add a comment about why ScalarEvolution doesn't recognize non-loop PHIs

even when they're obvious.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75632 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2009-07-14 14:06:25 +00:00
parent 93990d775e
commit a653fc5f6b

View File

@ -2402,6 +2402,10 @@ const SCEV *ScalarEvolution::createNodeForPHI(PHINode *PN) {
return SymbolicName;
}
// It's tempting to recognize PHIs with a unique incoming value, however
// this leads passes like indvars to break LCSSA form. Fortunately, such
// PHIs are rare, as instcombine zaps them.
// If it's not a loop phi, we can't handle it yet.
return getUnknown(PN);
}