diff options
author | Benjamin Kramer <benny.kra@googlemail.com> | 2012-10-27 11:36:07 +0000 |
---|---|---|
committer | Benjamin Kramer <benny.kra@googlemail.com> | 2012-10-27 11:36:07 +0000 |
commit | 974d98d730599dacee11e27ff4eee23534109287 (patch) | |
tree | 784eaad3b8502fea7aa9b82c459c1528e5e3d50d /lib | |
parent | cb8b8ea2b676e110e14c734877a2b58ed931f56a (diff) | |
download | llvm-974d98d730599dacee11e27ff4eee23534109287.tar.gz llvm-974d98d730599dacee11e27ff4eee23534109287.tar.bz2 llvm-974d98d730599dacee11e27ff4eee23534109287.tar.xz |
SCEV validator: Ignore CouldNotCompute/undef on both sides. This is mostly noise and blocks finding more severe bugs.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@166873 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Analysis/ScalarEvolution.cpp | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index 806eafa6a2..a6723c3c7f 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -7005,15 +7005,18 @@ void ScalarEvolution::verifyAnalysis() const { // Compare the stringified SCEVs. We don't care if undef backedgetaken count // changes. - // FIXME: We currently ignore SCEV changes towards CouldNotCompute. This + // FIXME: We currently ignore SCEV changes from/to CouldNotCompute. This // means that a pass is buggy or SCEV has to learn a new pattern but is // usually not harmful. if (OldI->second != NewI->second && OldI->second.find("undef") == std::string::npos && + NewI->second.find("undef") == std::string::npos && + OldI->second != "***COULDNOTCOMPUTE***" && NewI->second != "***COULDNOTCOMPUTE***") { - dbgs() << "SCEVValidator: SCEV for Loop '" + dbgs() << "SCEVValidator: SCEV for loop '" << OldI->first->getHeader()->getName() - << "' from '" << OldI->second << "' to '" << NewI->second << "'!"; + << "' changed from '" << OldI->second + << "' to '" << NewI->second << "'!\n"; std::abort(); } } |