Lines Matching defs:DestTy
328 void VerifyBitcastType(const Value *V, Type *DestTy, Type *SrcTy);
902 void Verifier::VerifyBitcastType(const Value *V, Type *DestTy, Type *SrcTy) {
905 unsigned DestBitSize = DestTy->getPrimitiveSizeInBits();
909 Assert1(SrcTy->isPointerTy() == DestTy->isPointerTy(),
917 Assert1(!DestTy->isAggregateType(),
925 !DestTy->isPtrOrPtrVectorTy() ||
926 SrcTy->isVectorTy() != DestTy->isVectorTy()) {
931 unsigned DstAS = DestTy->getPointerAddressSpace();
1211 Type *DestTy = I.getType();
1215 unsigned DestBitSize = DestTy->getScalarSizeInBits();
1218 Assert1(DestTy->isIntOrIntVectorTy(), "Trunc only produces integer", &I);
1219 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1221 Assert1(SrcBitSize > DestBitSize,"DestTy too big for Trunc", &I);
1229 Type *DestTy = I.getType();
1233 Assert1(DestTy->isIntOrIntVectorTy(), "ZExt only produces an integer", &I);
1234 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1237 unsigned DestBitSize = DestTy->getScalarSizeInBits();
1247 Type *DestTy = I.getType();
1251 unsigned DestBitSize = DestTy->getScalarSizeInBits();
1254 Assert1(DestTy->isIntOrIntVectorTy(), "SExt only produces an integer", &I);
1255 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1265 Type *DestTy = I.getType();
1268 unsigned DestBitSize = DestTy->getScalarSizeInBits();
1271 Assert1(DestTy->isFPOrFPVectorTy(),"FPTrunc only produces an FP", &I);
1272 Assert1(SrcTy->isVectorTy() == DestTy
1274 Assert1(SrcBitSize > DestBitSize,"DestTy too big for FPTrunc", &I);
1282 Type *DestTy = I.getType();
1286 unsigned DestBitSize = DestTy->getScalarSizeInBits();
1289 Assert1(DestTy->isFPOrFPVectorTy(),"FPExt only produces an FP", &I);
1290 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1292 Assert1(SrcBitSize < DestBitSize,"DestTy too small for FPExt", &I);
1300 Type *DestTy = I.getType();
1303 bool DstVec = DestTy->isVectorTy();
1309 Assert1(DestTy->isFPOrFPVectorTy(),
1314 cast<VectorType>(DestTy)->getNumElements(),
1323 Type *DestTy = I.getType();
1326 bool DstVec = DestTy->isVectorTy();
1332 Assert1(DestTy->isFPOrFPVectorTy(),
1337 cast<VectorType>(DestTy)->getNumElements(),
1346 Type *DestTy = I.getType();
1349 bool DstVec = DestTy->isVectorTy();
1355 Assert1(DestTy->isIntOrIntVectorTy(),
1360 cast<VectorType>(DestTy)->getNumElements(),
1369 Type *DestTy = I.getType();
1372 bool DstVec = DestTy->isVectorTy();
1378 Assert1(DestTy->isIntOrIntVectorTy(),
1383 cast<VectorType>(DestTy)->getNumElements(),
1392 Type *DestTy = I.getType();
1396 Assert1(DestTy->getScalarType()->isIntegerTy(),
1398 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1403 VectorType *VDest = dyn_cast<VectorType>(DestTy);
1414 Type *DestTy = I.getType();
1418 Assert1(DestTy->getScalarType()->isPointerTy(),
1420 Assert1(SrcTy->isVectorTy() == DestTy->isVectorTy(),
1424 VectorType *VDest = dyn_cast<VectorType>(DestTy);
1433 Type *DestTy = I.getType();
1434 VerifyBitcastType(&I, DestTy, SrcTy);