Lines Matching refs:DestTy
338 void VerifyBitcastType(const Value *V, Type *DestTy, Type *SrcTy);
961 void Verifier::VerifyBitcastType(const Value *V, Type *DestTy, Type *SrcTy) {
964 unsigned DestBitSize = DestTy->getPrimitiveSizeInBits();
968 Assert1(SrcTy->isPointerTy() == DestTy->isPointerTy(),
976 Assert1(!DestTy->isAggregateType(),
984 !DestTy->isPtrOrPtrVectorTy() ||
985 SrcTy->isVectorTy() != DestTy->isVectorTy()) {
990 unsigned DstAS = DestTy->getPointerAddressSpace();
1257 Type *DestTy = I.getType();
1261 unsigned DestBitSize = DestTy->getScalarSizeInBits();
1264 Assert1(DestTy->isIntOrIntVectorTy(), "Trunc only produces integer", &I);
1265 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1267 Assert1(SrcBitSize > DestBitSize,"DestTy too big for Trunc", &I);
1275 Type *DestTy = I.getType();
1279 Assert1(DestTy->isIntOrIntVectorTy(), "ZExt only produces an integer", &I);
1280 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1283 DestTy->getScalarSizeInBits();
1293 Type *DestTy = I.getType();
1297 unsigned DestBitSize = DestTy->getScalarSizeInBits();
1300 Assert1(DestTy->isIntOrIntVectorTy(), "SExt only produces an integer", &I);
1301 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1311 Type *DestTy = I.getType();
1314 unsigned DestBitSize = DestTy->getScalarSizeInBits();
1317 Assert1(DestTy->isFPOrFPVectorTy(),"FPTrunc only produces an FP", &I);
1318 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1320 Assert1(SrcBitSize > DestBitSize,"DestTy too big for FPTrunc", &I);
1328 Type *DestTy = I.getType();
1332 unsigned DestBitSize = DestTy->getScalarSizeInBits();
1335 Assert1(DestTy->isFPOrFPVectorTy(),"FPExt only produces an FP", &I);
1336 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1338 Assert1(SrcBitSize < DestBitSize,"DestTy too small for FPExt", &I);
1346 Type *DestTy = I.getType();
1349 bool DstVec = DestTy->isVectorTy();
1355 Assert1(DestTy->isFPOrFPVectorTy(),
1360 cast<VectorType>(DestTy)->getNumElements(),
1369 Type *DestTy = I.getType();
1372 bool DstVec = DestTy->isVectorTy();
1378 Assert1(DestTy->isFPOrFPVectorTy(),
1383 cast<VectorType>(DestTy)->getNumElements(),
1392 Type *DestTy = I.getType();
1395 bool DstVec = DestTy->isVectorTy();
1401 Assert1(DestTy->isIntOrIntVectorTy(),
1406 cast<VectorType>(DestTy)->getNumElements(),
1415 Type *DestTy = I.getType();
1418 bool DstVec = DestTy->isVectorTy();
1424 Assert1(DestTy->isIntOrIntVectorTy(),
1429 cast<VectorType>(DestTy)->getNumElements(),
1438 Type *DestTy = I.getType();
1442 Assert1(DestTy->getScalarType()->isIntegerTy(),
1444 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1449 VectorType *VDest = dyn_cast<VectorType>(DestTy);
1460 Type *DestTy = I.getType();
1464 Assert1(DestTy->getScalarType()->isPointerTy(),
1466 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1470 VectorType *VDest = dyn_cast<VectorType>(DestTy);
1479 Type *DestTy = I.getType();
1480 VerifyBitcastType(&I, DestTy, SrcTy);
1486 Type *DestTy = I.getType();
1490 Assert1(DestTy->isPtrOrPtrVectorTy(),
1492 Assert1(SrcTy->getPointerAddressSpace() != DestTy->getPointerAddressSpace(),
1495 Assert1(SrcTy->getVectorNumElements() == DestTy->getVectorNumElements(),
