[llvm-commits] [llvm] r151468 - /llvm/trunk/lib/VMCore/Verifier.cpp

[Rafael Espindola]

Author: rafael
Date: Sat Feb 25 20:14:25 2012
New Revision: 151468

URL: http://llvm.org/viewvc/llvm-project?rev=151468&view=rev
Log:
Don't call dominates on unreachable instructions.

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=151468&r1=151467&r2=151468&view=diff
==============================================================================
--- llvm/trunk/lib/VMCore/Verifier.cpp (original)
+++ llvm/trunk/lib/VMCore/Verifier.cpp Sat Feb 25 20:14:25 2012
@@ -1648,8 +1648,8 @@
         }
 
         // Definition must dominate use unless use is unreachable!
-        Assert2(InstsInThisBlock.count(Op) || DT->dominates(Op, &I) ||
-                !DT->isReachableFromEntry(BB),
+        Assert2(InstsInThisBlock.count(Op) || !DT->isReachableFromEntry(BB)
+                || DT->dominates(Op, &I),
                 "Instruction does not dominate all uses!", Op, &I);
       }
     } else if (isa<InlineAsm>(I.getOperand(i))) {