Cross Reference: /external/llvm/lib/IR/Verifier.cpp

Lines Matching defs:SrcTy
338   void VerifyBitcastType(const Value *V, Type *DestTy, Type *SrcTy);
961 void Verifier::VerifyBitcastType(const Value *V, Type *DestTy, Type *SrcTy) {
963   unsigned SrcBitSize = SrcTy->getPrimitiveSizeInBits();
968   Assert1(SrcTy->isPointerTy() == DestTy->isPointerTy(),
974   Assert1(!SrcTy->isAggregateType(),
983       !SrcTy->isPtrOrPtrVectorTy() ||
985       SrcTy->isVectorTy() != DestTy->isVectorTy()) {
989   unsigned SrcAS = SrcTy->getPointerAddressSpace();
999     Type *SrcTy = CE->getOperand(0)->getType();
1001     VerifyBitcastType(CE, DstTy, SrcTy);
1256   Type *SrcTy = I.getOperand(0)->getType();
1260   unsigned SrcBitSize = SrcTy->getScalarSizeInBits();
1263   Assert1(SrcTy->isIntOrIntVectorTy(), "Trunc only operates on integer", &I);
1265   Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1274   Type *SrcTy = I.getOperand(0)->getType();
1278   Assert1(SrcTy->isIntOrIntVectorTy(), "ZExt only operates on integer", &I);
1280   Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1282   unsigned SrcBitSize = SrcTy->getScalarSizeInBits();
1292   Type *SrcTy = I.getOperand(0)->getType();
1296   unsigned SrcBitSize = SrcTy->getScalarSizeInBits();
1299   Assert1(SrcTy->isIntOrIntVectorTy(), "SExt only operates on integer", &I);
1301   Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1310   Type *SrcTy = I.getOperand(0)->getType();
1313   unsigned SrcBitSize = SrcTy->getScalarSizeInBits();
1316   Assert1(SrcTy->isFPOrFPVectorTy(),"FPTrunc only operates on FP", &I);
1318   Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1327   Type *SrcTy = I.getOperand(0)->getType();
1331   unsigned SrcBitSize = SrcTy->getScalarSizeInBits();
1334   Assert1(SrcTy->isFPOrFPVectorTy(),"FPExt only operates on FP", &I);
1336   Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1345   Type *SrcTy = I.getOperand(0)->getType();
1348   bool SrcVec = SrcTy->isVectorTy();
1353   Assert1(SrcTy->isIntOrIntVectorTy(),
1359     Assert1(cast<VectorType>(SrcTy)->getNumElements() ==
1368   Type *SrcTy = I.getOperand(0)->getType();
1371   bool SrcVec = SrcTy->isVectorTy();
1376   Assert1(SrcTy->isIntOrIntVectorTy(),
1382     Assert1(cast<VectorType>(SrcTy)->getNumElements() ==
1391   Type *SrcTy = I.getOperand(0)->getType();
1394   bool SrcVec = SrcTy->isVectorTy();
1399   Assert1(SrcTy->isFPOrFPVectorTy(), "FPToUI source must be FP or FP vector",
1405     Assert1(cast<VectorType>(SrcTy)->getNumElements() ==
1414   Type *SrcTy = I.getOperand(0)->getType();
1417   bool SrcVec = SrcTy->isVectorTy();
1422   Assert1(SrcTy->isFPOrFPVectorTy(),
1428     Assert1(cast<VectorType>(SrcTy)->getNumElements() ==
1437   Type *SrcTy = I.getOperand(0)->getType();
1440   Assert1(SrcTy->getScalarType()->isPointerTy(),
1444   Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1447   if (SrcTy->isVectorTy()) {
1448     VectorType *VSrc = dyn_cast<VectorType>(SrcTy);
1459   Type *SrcTy = I.getOperand(0)->getType();
1462   Assert1(SrcTy->getScalarType()->isIntegerTy(),
1466   Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1468   if (SrcTy->isVectorTy()) {
1469     VectorType *VSrc = dyn_cast<VectorType>(SrcTy);
1478   Type *SrcTy = I.getOperand(0)->getType();
1480   VerifyBitcastType(&I, DestTy, SrcTy);
1485   Type *SrcTy = I.getOperand(0)->getType();
1488   Assert1(SrcTy->isPtrOrPtrVectorTy(),
1492   Assert1(SrcTy->getPointerAddressSpace() != DestTy->getPointerAddressSpace(),
1494   if (SrcTy->isVectorTy())
1495     Assert1(SrcTy->getVectorNumElements() == DestTy->getVectorNumElements(),