From: Chris Lattner <sabre@nondot.org>
Date: Tue, 11 Jul 2006 20:29:49 +0000 (+0000)
Subject: Fix PR826, testcase here: Regression/Verifier/2006-07-11-StoreStruct.ll
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=f4ea921cc70ce3c8c75cce90af4b672c7f81c7b2;p=oota-llvm.git

Fix PR826, testcase here: Regression/Verifier/2006-07-11-StoreStruct.ll


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@29112 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index 9379abcfd18..635f5a25edf 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -652,10 +652,16 @@ void Verifier::visitInstruction(Instruction &I) {
   }
 
   for (unsigned i = 0, e = I.getNumOperands(); i != e; ++i) {
-    // Check to make sure that the "address of" an intrinsic function is never
-    // taken.
     Assert1(I.getOperand(i) != 0, "Instruction has null operand!", &I);
+
+    // Check to make sure that only first-class-values are operands to
+    // instructions.
+    Assert1(I.getOperand(i)->getType()->isFirstClassType(),
+            "Instruction operands must be first-class values!", &I);
+  
     if (Function *F = dyn_cast<Function>(I.getOperand(i))) {
+      // Check to make sure that the "address of" an intrinsic function is never
+      // taken.
       Assert1(!F->isIntrinsic() || (i == 0 && isa<CallInst>(I)),
               "Cannot take the address of an intrinsic!", &I);
     } else if (BasicBlock *OpBB = dyn_cast<BasicBlock>(I.getOperand(i))) {