lib/IR/Verifier.cpp

440     Assert1(GVar && GVar->getType()->getElementType()->isArrayTy(),
447     Assert1(GV.getInitializer()->getType() == GV.getType()->getElementType(),
471     if (ArrayType *ATy = dyn_cast<ArrayType>(GV.getType())) {
486     Type *GVType = GV.getType()->getElementType();
543   Assert1(GA.getType() == GA.getAliasee()->getType(),
559       unsigned SrcAS = CE->getOperand(0)->getType()->getPointerAddressSpace();
560       unsigned DstAS = CE->getType()->getPointerAddressSpace();
982     Type *SrcTy = CE->getOperand(0)->getType();
983     Type *DstTy = CE->getType();
1064     Assert2(I->getType() == FT->getParamType(i),
1067     Assert1(I->getType()->isFirstClassType(),
1070       Assert2(!I->getType()->isMetadataTy(),
1168     Assert2(BI.getCondition()->getType()->isIntegerTy(1),
1182     Assert2(N == 1 && F->getReturnType() == RI.getOperand(0)->getType(),
1194   Type *SwitchTy = SI.getCondition()->getType();
1197     Assert1(i.getCaseValue()->getType() == SwitchTy,
1207   Assert1(BI.getAddress()->getType()->isPointerTy(),
1210     Assert1(BI.getDestination(i)->getType()->isLabelTy(),
1221   Assert1(SI.getTrueValue()->getType() == SI.getType(),
1235   Type *SrcTy = I.getOperand(0)->getType();
1236   Type *DestTy = I.getType();
1253   Type *SrcTy = I.getOperand(0)->getType();
1254   Type *DestTy = I.getType();
1271   Type *SrcTy = I.getOperand(0)->getType();
1272   Type *DestTy = I.getType();
1289   Type *SrcTy = I.getOperand(0)->getType();
1290   Type *DestTy = I.getType();
1306   Type *SrcTy = I.getOperand(0)->getType();
1307   Type *DestTy = I.getType();
1324   Type *SrcTy = I.getOperand(0)->getType();
1325   Type *DestTy = I.getType();
1347   Type *SrcTy = I.getOperand(0)->getType();
1348   Type *DestTy = I.getType();
1370   Type *SrcTy = I.getOperand(0)->getType();
1371   Type *DestTy = I.getType();
1393   Type *SrcTy = I.getOperand(0)->getType();
1394   Type *DestTy = I.getType();
1416   Type *SrcTy = I.getOperand(0)->getType();
1417   Type *DestTy = I.getType();
1438   Type *SrcTy = I.getOperand(0)->getType();
1439   Type *DestTy = I.getType();
1457   Type *SrcTy = I.getOperand(0)->getType();
1458   Type *DestTy = I.getType();
1464   Type *SrcTy = I.getOperand(0)->getType();
1465   Type *DestTy = I.getType();
1494     Assert1(PN.getType() == PN.getIncomingValue(i)->getType(),
1506   Assert1(CS.getCalledValue()->getType()->isPointerTy(),
1508   PointerType *FPTy = cast<PointerType>(CS.getCalledValue()->getType());
1524     Assert3(CS.getArgument(i)->getType() == FTy->getParamType(i),
1550       Type *Ty = CS.getArgument(Idx-1)->getType();
1607   Assert1(B.getOperand(0)->getType() == B.getOperand(1)->getType(),
1620     Assert1(B.getType()->isIntOrIntVectorTy(),
1622     Assert1(B.getType() == B.getOperand(0)->getType(),
1633     Assert1(B.getType()->isFPOrFPVectorTy(),
1636     Assert1(B.getType() == B.getOperand(0)->getType(),
1644     Assert1(B.getType()->isIntOrIntVectorTy(),
1646     Assert1(B.getType() == B.getOperand(0)->getType(),
1653     Assert1(B.getType()->isIntOrIntVectorTy(),
1655     Assert1(B.getType() == B.getOperand(0)->getType(),
1667   Type *Op0Ty = IC.getOperand(0)->getType();
1668   Type *Op1Ty = IC.getOperand(1)->getType();
1684   Type *Op0Ty = FC.getOperand(0)->getType();
1685   Type *Op1Ty = FC.getOperand(1)->getType();
1729           GEP.getType()->isVectorTy(), "Vector GEP must return a vector value",
1737   Assert2(GEP.getType()->getScalarType()->isPointerTy() &&
1738           cast<PointerType>(GEP.getType()->getScalarType())->getElementType()
1744     Assert1(GepWidth == GEP.getType()->getVectorNumElements(),
1747       Type *IndexTy = Idxs[i]->getType();
1762   PointerType *PTy = dyn_cast<PointerType>(LI.getOperand(0)->getType());
1765   Assert2(ElTy == LI.getType(),
1798       Assert1(High->getType() == Low->getType() &&
1799               High->getType() == ElTy, "Range types must match load type!",
1836   PointerType *PTy = dyn_cast<PointerType>(SI.getOperand(1)->getType());
1839   Assert2(ElTy == SI.getOperand(0)->getType(),
1864   PointerType *PTy = AI.getType();
1870   Assert1(AI.getArraySize()->getType()->isIntegerTy(),
1880   PointerType *PTy = dyn_cast<PointerType>(CXI.getOperand(0)->getType());
1890   Assert2(ElTy == CXI.getOperand(1)->getType(),
1893   Assert2(ElTy == CXI.getOperand(2)->getType(),
1904   PointerType *PTy = dyn_cast<PointerType>(RMWI.getOperand(0)->getType());
1914   Assert2(ElTy == RMWI.getOperand(1)->getType(),
1933   Assert1(ExtractValueInst::getIndexedType(EVI.getAggregateOperand()->getType(),
1935           EVI.getType(),
1942   Assert1(ExtractValueInst::getIndexedType(IVI.getAggregateOperand()->getType(),
1944           IVI.getOperand(1)->getType(),
1987       Assert1(isa<PointerType>(Clause->getType()),
2028   Assert1(!I.getType()->isVoidTy() || !I.hasName(),
2033   Assert1(I.getType()->isVoidTy() ||
2034           I.getType()->isFirstClassType(),
2039   Assert1(!I.getType()->isMetadataTy() ||
2062     if (!I.getOperand(i)->getType()->isFirstClassType()) {
2092       if (CE->getType()->isPtrOrPtrVectorTy()) {
2116     Assert1(I.getType()->isFPOrFPVectorTy(),
2341       if (!AI->getType()->getElementType()->isPointerTy()) {