328     void VerifyBitcastType(const Value *V, Type *DestTy, Type *SrcTy);
902 void Verifier::VerifyBitcastType(const Value *V, Type *DestTy, Type *SrcTy) {  in VerifyBitcastType()  argument
904   unsigned SrcBitSize = SrcTy->getPrimitiveSizeInBits();  in VerifyBitcastType()
909   Assert1(SrcTy->isPointerTy() == DestTy->isPointerTy(),  in VerifyBitcastType()
915   Assert1(!SrcTy->isAggregateType(),  in VerifyBitcastType()
924       !SrcTy->isPtrOrPtrVectorTy() ||  in VerifyBitcastType()
926       SrcTy->isVectorTy() != DestTy->isVectorTy()) {  in VerifyBitcastType()
930   unsigned SrcAS = SrcTy->getPointerAddressSpace();  in VerifyBitcastType()
942     Type *SrcTy = CE->getOperand(0)->getType();  in VerifyConstantExprBitcastType()  local
944     VerifyBitcastType(CE, DstTy, SrcTy);  in VerifyConstantExprBitcastType()
1210   Type *SrcTy = I.getOperand(0)->getType();  in visitTruncInst()  local
1214   unsigned SrcBitSize = SrcTy->getScalarSizeInBits();  in visitTruncInst()
1217   Assert1(SrcTy->isIntOrIntVectorTy(), "Trunc only operates on integer", &I);  in visitTruncInst()
1219   Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),  in visitTruncInst()
1228   Type *SrcTy = I.getOperand(0)->getType();  in visitZExtInst()  local
1232   Assert1(SrcTy->isIntOrIntVectorTy(), "ZExt only operates on integer", &I);  in visitZExtInst()
1234   Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),  in visitZExtInst()
1236   unsigned SrcBitSize = SrcTy->getScalarSizeInBits();  in visitZExtInst()
1246   Type *SrcTy = I.getOperand(0)->getType();  in visitSExtInst()  local
1250   unsigned SrcBitSize = SrcTy->getScalarSizeInBits();  in visitSExtInst()
1253   Assert1(SrcTy->isIntOrIntVectorTy(), "SExt only operates on integer", &I);  in visitSExtInst()
1255   Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),  in visitSExtInst()
1264   Type *SrcTy = I.getOperand(0)->getType();  in visitFPTruncInst()  local
1267   unsigned SrcBitSize = SrcTy->getScalarSizeInBits();  in visitFPTruncInst()
1270   Assert1(SrcTy->isFPOrFPVectorTy(),"FPTrunc only operates on FP", &I);  in visitFPTruncInst()
1272   Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),  in visitFPTruncInst()
1281   Type *SrcTy = I.getOperand(0)->getType();  in visitFPExtInst()  local
1285   unsigned SrcBitSize = SrcTy->getScalarSizeInBits();  in visitFPExtInst()
1288   Assert1(SrcTy->isFPOrFPVectorTy(),"FPExt only operates on FP", &I);  in visitFPExtInst()
1290   Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),  in visitFPExtInst()
1299   Type *SrcTy = I.getOperand(0)->getType();  in visitUIToFPInst()  local
1302   bool SrcVec = SrcTy->isVectorTy();  in visitUIToFPInst()
1307   Assert1(SrcTy->isIntOrIntVectorTy(),  in visitUIToFPInst()
1313     Assert1(cast<VectorType>(SrcTy)->getNumElements() ==  in visitUIToFPInst()
1322   Type *SrcTy = I.getOperand(0)->getType();  in visitSIToFPInst()  local
1325   bool SrcVec = SrcTy->isVectorTy();  in visitSIToFPInst()
1330   Assert1(SrcTy->isIntOrIntVectorTy(),  in visitSIToFPInst()
1336     Assert1(cast<VectorType>(SrcTy)->getNumElements() ==  in visitSIToFPInst()
1345   Type *SrcTy = I.getOperand(0)->getType();  in visitFPToUIInst()  local
1348   bool SrcVec = SrcTy->isVectorTy();  in visitFPToUIInst()
1353   Assert1(SrcTy->isFPOrFPVectorTy(), "FPToUI source must be FP or FP vector",  in visitFPToUIInst()
1359     Assert1(cast<VectorType>(SrcTy)->getNumElements() ==  in visitFPToUIInst()
1368   Type *SrcTy = I.getOperand(0)->getType();  in visitFPToSIInst()  local
1371   bool SrcVec = SrcTy->isVectorTy();  in visitFPToSIInst()
1376   Assert1(SrcTy->isFPOrFPVectorTy(),  in visitFPToSIInst()
1382     Assert1(cast<VectorType>(SrcTy)->getNumElements() ==  in visitFPToSIInst()
1391   Type *SrcTy = I.getOperand(0)->getType();  in visitPtrToIntInst()  local
1394   Assert1(SrcTy->getScalarType()->isPointerTy(),  in visitPtrToIntInst()
1398   Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),  in visitPtrToIntInst()
1401   if (SrcTy->isVectorTy()) {  in visitPtrToIntInst()
1402     VectorType *VSrc = dyn_cast<VectorType>(SrcTy);  in visitPtrToIntInst()
1413   Type *SrcTy = I.getOperand(0)->getType();  in visitIntToPtrInst()  local
1416   Assert1(SrcTy->getScalarType()->isIntegerTy(),  in visitIntToPtrInst()
1420   Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),  in visitIntToPtrInst()
1422   if (SrcTy->isVectorTy()) {  in visitIntToPtrInst()
1423     VectorType *VSrc = dyn_cast<VectorType>(SrcTy);  in visitIntToPtrInst()
1432   Type *SrcTy = I.getOperand(0)->getType();  in visitBitCastInst()  local
1434   VerifyBitcastType(&I, DestTy, SrcTy);  in visitBitCastInst()