[llvm-commits] [llvm] r53749 - /llvm/trunk/lib/VMCore/Verifier.cpp
Chris Lattner
sabre at nondot.org
Thu Jul 17 22:23:39 PDT 2008
Author: lattner
Date: Fri Jul 18 00:23:39 2008
New Revision: 53749
URL: http://llvm.org/viewvc/llvm-project?rev=53749&view=rev
Log:
verify limits-fndefn.c from the GCC testsuite before the
heat death of the universe, fixing an O(N^2) problem in the
size of a basic block.
Modified:
llvm/trunk/lib/VMCore/Verifier.cpp
Modified: llvm/trunk/lib/VMCore/Verifier.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/VMCore/Verifier.cpp?rev=53749&r1=53748&r2=53749&view=diff
==============================================================================
--- llvm/trunk/lib/VMCore/Verifier.cpp (original)
+++ llvm/trunk/lib/VMCore/Verifier.cpp Fri Jul 18 00:23:39 2008
@@ -1239,7 +1239,7 @@
}
// Definition must dominate use unless use is unreachable!
- Assert2(DT->dominates(Op, &I) ||
+ Assert2(InstsInThisBlock.count(Op) || DT->dominates(Op, &I) ||
!DT->dominates(&BB->getParent()->getEntryBlock(), BB),
"Instruction does not dominate all uses!", Op, &I);
} else {
More information about the llvm-commits
mailing list