diff options
author | Chris Lattner <sabre@nondot.org> | 2007-01-15 02:05:34 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2007-01-15 02:05:34 +0000 |
commit | b9d8b97f4a1c15d16bedef1f8796f03f0df843e7 (patch) | |
tree | ca00fbc2f18c384b53958f944baff167ad40f0db /lib/VMCore/Verifier.cpp | |
parent | 0ee69bbd333c22198344e7336ae74767ca9381cc (diff) | |
download | llvm-b9d8b97f4a1c15d16bedef1f8796f03f0df843e7.tar.gz llvm-b9d8b97f4a1c15d16bedef1f8796f03f0df843e7.tar.bz2 llvm-b9d8b97f4a1c15d16bedef1f8796f03f0df843e7.tar.xz |
teach VMCore to accept i1 add's and shifts
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@33223 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore/Verifier.cpp')
-rw-r--r-- | lib/VMCore/Verifier.cpp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index 05b8514d9d..821fccd6a4 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -501,7 +501,7 @@ void Verifier::visitTruncInst(TruncInst &I) { unsigned DestBitSize = DestTy->getPrimitiveSizeInBits(); Assert1(SrcTy->isIntegral(), "Trunc only operates on integer", &I); - Assert1(DestTy->isIntegral(),"Trunc only produces integral", &I); + Assert1(DestTy->isIntegral(), "Trunc only produces integer", &I); Assert1(SrcBitSize > DestBitSize,"DestTy too big for Trunc", &I); visitInstruction(I); @@ -513,11 +513,11 @@ void Verifier::visitZExtInst(ZExtInst &I) { const Type *DestTy = I.getType(); // Get the size of the types in bits, we'll need this later + Assert1(SrcTy->isIntegral(), "ZExt only operates on integer", &I); + Assert1(DestTy->isIntegral(), "ZExt only produces an integer", &I); unsigned SrcBitSize = SrcTy->getPrimitiveSizeInBits(); unsigned DestBitSize = DestTy->getPrimitiveSizeInBits(); - Assert1(SrcTy->isIntegral(),"ZExt only operates on integral", &I); - Assert1(DestTy->isInteger(),"ZExt only produces an integer", &I); Assert1(SrcBitSize < DestBitSize,"Type too small for ZExt", &I); visitInstruction(I); @@ -532,8 +532,8 @@ void Verifier::visitSExtInst(SExtInst &I) { unsigned SrcBitSize = SrcTy->getPrimitiveSizeInBits(); unsigned DestBitSize = DestTy->getPrimitiveSizeInBits(); - Assert1(SrcTy->isIntegral(),"SExt only operates on integral", &I); - Assert1(DestTy->isInteger(),"SExt only produces an integer", &I); + Assert1(SrcTy->isIntegral(), "SExt only operates on integer", &I); + Assert1(DestTy->isIntegral(), "SExt only produces an integer", &I); Assert1(SrcBitSize < DestBitSize,"Type too small for SExt", &I); visitInstruction(I); @@ -728,7 +728,7 @@ void Verifier::visitBinaryOperator(BinaryOperator &B) { Assert1(B.getType() == B.getOperand(0)->getType(), "Arithmetic operators must have same type for operands and result!", &B); - Assert1(B.getType()->isInteger() || B.getType()->isFloatingPoint() || + Assert1(B.getType()->isIntegral() || B.getType()->isFloatingPoint() || isa<PackedType>(B.getType()), "Arithmetic operators must have integer, fp, or packed type!", &B); } @@ -761,7 +761,7 @@ void Verifier::visitFCmpInst(FCmpInst& FC) { } void Verifier::visitShiftInst(ShiftInst &SI) { - Assert1(SI.getType()->isInteger(), + Assert1(SI.getType()->isIntegral(), "Shift must return an integer result!", &SI); Assert1(SI.getType() == SI.getOperand(0)->getType(), "Shift return type must be same as first operand!", &SI); |