From: Reid Spencer <rspencer@reidspencer.com>
Date: Thu, 4 Jan 2007 05:22:18 +0000 (+0000)
Subject: Do not allow packed types for icmp and fcmp instructions.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=affaf07bf829a0eff8addc3031a6c5e4984be3e8;hp=350f8aa72dd8640a455e2546ca7ebab67d457863;p=oota-llvm.git

Do not allow packed types for icmp and fcmp instructions.


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

diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index d08166da217..719c6f2f5f0 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -739,9 +739,7 @@ void Verifier::visitICmpInst(ICmpInst& IC) {
   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 @@ void Verifier::visitFCmpInst(FCmpInst& FC) {
   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);
 }