[llvm-commits] CVS: llvm/lib/VMCore/Verifier.cpp

[Chris Lattner]

Changes in directory llvm/lib/VMCore:

Verifier.cpp updated: 1.88 -> 1.89

---
Log message:

Add another check


---
Diffs of the changes:  (+5 -0)

Index: llvm/lib/VMCore/Verifier.cpp
diff -u llvm/lib/VMCore/Verifier.cpp:1.88 llvm/lib/VMCore/Verifier.cpp:1.89
--- llvm/lib/VMCore/Verifier.cpp:1.88	Sat Mar 13 21:23:54 2004
+++ llvm/lib/VMCore/Verifier.cpp	Sun Mar 28 18:29:36 2004
@@ -493,6 +493,11 @@
   Assert1(I.getType() != Type::VoidTy || !I.hasName(),
           "Instruction has a name, but provides a void value!", &I);
 
+  // Check that the return value of the instruction is either void or a legal
+  // value type.
+  Assert1(I.getType() == Type::VoidTy || I.getType()->isFirstClassType(),
+          "Instruction returns a non-scalar type!", &I);
+
   // Check that all uses of the instruction, if they are instructions
   // themselves, actually have parent basic blocks.  If the use is not an
   // instruction, it is an error!