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

[Reid Spencer]

Changes in directory llvm/lib/VMCore:

Verifier.cpp updated: 1.180 -> 1.181
---
Log message:

Do not allow packed types for icmp and fcmp instructions.


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

 Verifier.cpp |    7 ++-----
 1 files changed, 2 insertions(+), 5 deletions(-)


Index: llvm/lib/VMCore/Verifier.cpp
diff -u llvm/lib/VMCore/Verifier.cpp:1.180 llvm/lib/VMCore/Verifier.cpp:1.181
--- llvm/lib/VMCore/Verifier.cpp:1.180	Sat Dec 30 23:26:44 2006
+++ llvm/lib/VMCore/Verifier.cpp	Wed Jan  3 23:22:18 2007
@@ -739,9 +739,7 @@
   Assert1(Op0Ty == Op1Ty,
           "Both operands to ICmp instruction are not of the same type!", &IC);
   // Check that the operands are the right type
-  Assert1(Op0Ty->isIntegral() || Op0Ty->getTypeID() == Type::PointerTyID ||
-          (isa<PackedType>(Op0Ty) && 
-           cast<PackedType>(Op0Ty)->getElementType()->isIntegral()),
+  Assert1(Op0Ty->isIntegral() || Op0Ty->getTypeID() == Type::PointerTyID,
           "Invalid operand types for ICmp instruction", &IC);
   visitInstruction(IC);
 }
@@ -753,8 +751,7 @@
   Assert1(Op0Ty == Op1Ty,
           "Both operands to FCmp instruction are not of the same type!", &FC);
   // Check that the operands are the right type
-  Assert1(Op0Ty->isFloatingPoint() || (isa<PackedType>(Op0Ty) &&
-           cast<PackedType>(Op0Ty)->getElementType()->isFloatingPoint()),
+  Assert1(Op0Ty->isFloatingPoint(),
           "Invalid operand types for FCmp instruction", &FC);
   visitInstruction(FC);
 }