Lines Matching refs:CheckDI
644 #define CheckDI(C, ...) \ macro
850 CheckDI(false, "!dbg attachment of global variable must be a " in visitGlobalVariable()
969 CheckDI(NMD.getName() == "llvm.dbg.cu", in visitNamedMDNode()
973 CheckDI(MD && isa<DICompileUnit>(MD), "invalid compile unit", &NMD, MD); in visitNamedMDNode()
1008 CheckDI(!isa<DILocation>(Op) || AllowLocs == AreDebugLocsAllowed::Yes, in visitMDNode()
1080 CheckDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()), in visitDILocation()
1083 CheckDI(isa<DILocation>(IA), "inlined-at should be a location", &N, IA); in visitDILocation()
1085 CheckDI(SP->isDefinition(), "scope points into the type hierarchy", &N); in visitDILocation()
1089 CheckDI(N.getTag(), "invalid tag", &N); in visitGenericDINode()
1094 CheckDI(isa<DIFile>(F), "invalid file", &N, F); in visitDIScope()
1098 CheckDI(N.getTag() == dwarf::DW_TAG_subrange_type, "invalid tag", &N); in visitDISubrange()
1100 CheckDI(HasAssumedSizedArraySupport || N.getRawCountNode() || in visitDISubrange()
1103 CheckDI(!N.getRawCountNode() || !N.getRawUpperBound(), in visitDISubrange()
1106 CheckDI(!CBound || isa<ConstantAsMetadata>(CBound) || in visitDISubrange()
1110 CheckDI(!Count || !isa<ConstantInt *>(Count) || in visitDISubrange()
1114 CheckDI(!LBound || isa<ConstantAsMetadata>(LBound) || in visitDISubrange()
1119 CheckDI(!UBound || isa<ConstantAsMetadata>(UBound) || in visitDISubrange()
1124 CheckDI(!Stride || isa<ConstantAsMetadata>(Stride) || in visitDISubrange()
1130 CheckDI(N.getTag() == dwarf::DW_TAG_generic_subrange, "invalid tag", &N); in visitDIGenericSubrange()
1131 CheckDI(N.getRawCountNode() || N.getRawUpperBound(), in visitDIGenericSubrange()
1133 CheckDI(!N.getRawCountNode() || !N.getRawUpperBound(), in visitDIGenericSubrange()
1136 CheckDI(!CBound || isa<DIVariable>(CBound) || isa<DIExpression>(CBound), in visitDIGenericSubrange()
1139 CheckDI(LBound, "GenericSubrange must contain lowerBound", &N); in visitDIGenericSubrange()
1140 CheckDI(isa<DIVariable>(LBound) || isa<DIExpression>(LBound), in visitDIGenericSubrange()
1144 CheckDI(!UBound || isa<DIVariable>(UBound) || isa<DIExpression>(UBound), in visitDIGenericSubrange()
1148 CheckDI(Stride, "GenericSubrange must contain stride", &N); in visitDIGenericSubrange()
1149 CheckDI(isa<DIVariable>(Stride) || isa<DIExpression>(Stride), in visitDIGenericSubrange()
1154 CheckDI(N.getTag() == dwarf::DW_TAG_enumerator, "invalid tag", &N); in visitDIEnumerator()
1158 CheckDI(N.getTag() == dwarf::DW_TAG_base_type || in visitDIBasicType()
1165 CheckDI(N.getTag() == dwarf::DW_TAG_string_type, "invalid tag", &N); in visitDIStringType()
1166 CheckDI(!(N.isBigEndian() && N.isLittleEndian()), "has conflicting flags", in visitDIStringType()
1174 CheckDI(N.getTag() == dwarf::DW_TAG_typedef || in visitDIDerivedType()
1191 CheckDI(isType(N.getRawExtraData()), "invalid pointer to member type", &N, in visitDIDerivedType()
1199 CheckDI( in visitDIDerivedType()
1210 CheckDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope()); in visitDIDerivedType()
1211 CheckDI(isType(N.getRawBaseType()), "invalid base type", &N, in visitDIDerivedType()
1215 CheckDI(N.getTag() == dwarf::DW_TAG_pointer_type || in visitDIDerivedType()
1233 CheckDI(Params, "invalid template params", &N, &RawParams); in visitTemplateParams()
1235 CheckDI(Op && isa<DITemplateParameter>(Op), "invalid template parameter", in visitTemplateParams()
1244 CheckDI(N.getTag() == dwarf::DW_TAG_array_type || in visitDICompositeType()
1253 CheckDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope()); in visitDICompositeType()
1254 CheckDI(isType(N.getRawBaseType()), "invalid base type", &N, in visitDICompositeType()
1257 CheckDI(!N.getRawElements() || isa<MDTuple>(N.getRawElements()), in visitDICompositeType()
1259 CheckDI(isType(N.getRawVTableHolder()), "invalid vtable holder", &N, in visitDICompositeType()
1261 CheckDI(!hasConflictingReferenceFlags(N.getFlags()), in visitDICompositeType()
1264 CheckDI((N.getFlags() & DIBlockByRefStruct) == 0, in visitDICompositeType()
1269 CheckDI(Elements.size() == 1 && in visitDICompositeType()
1278 CheckDI(isa<DIDerivedType>(D) && N.getTag() == dwarf::DW_TAG_variant_part, in visitDICompositeType()
1283 CheckDI(N.getTag() == dwarf::DW_TAG_array_type, in visitDICompositeType()
1288 CheckDI(N.getTag() == dwarf::DW_TAG_array_type, in visitDICompositeType()
1293 CheckDI(N.getTag() == dwarf::DW_TAG_array_type, in visitDICompositeType()
1298 CheckDI(N.getTag() == dwarf::DW_TAG_array_type, in visitDICompositeType()
1303 CheckDI(N.getRawBaseType(), "array types must have a base type", &N); in visitDICompositeType()
1308 CheckDI(N.getTag() == dwarf::DW_TAG_subroutine_type, "invalid tag", &N); in visitDISubroutineType()
1310 CheckDI(isa<MDTuple>(Types), "invalid composite elements", &N, Types); in visitDISubroutineType()
1312 CheckDI(isType(Ty), "invalid subroutine type ref", &N, Types, Ty); in visitDISubroutineType()
1315 CheckDI(!hasConflictingReferenceFlags(N.getFlags()), in visitDISubroutineType()
1320 CheckDI(N.getTag() == dwarf::DW_TAG_file_type, "invalid tag", &N); in visitDIFile()
1323 CheckDI(Checksum->Kind <= DIFile::ChecksumKind::CSK_Last, in visitDIFile()
1337 CheckDI(Checksum->Value.size() == Size, "invalid checksum length", &N); in visitDIFile()
1338 CheckDI(Checksum->Value.find_if_not(llvm::isHexDigit) == StringRef::npos, in visitDIFile()
1344 CheckDI(N.isDistinct(), "compile units must be distinct", &N); in visitDICompileUnit()
1345 CheckDI(N.getTag() == dwarf::DW_TAG_compile_unit, "invalid tag", &N); in visitDICompileUnit()
1349 CheckDI(N.getRawFile() && isa<DIFile>(N.getRawFile()), "invalid file", &N, in visitDICompileUnit()
1351 CheckDI(!N.getFile()->getFilename().empty(), "invalid filename", &N, in visitDICompileUnit()
1356 CheckDI((N.getEmissionKind() <= DICompileUnit::LastEmissionKind), in visitDICompileUnit()
1360 CheckDI(isa<MDTuple>(Array), "invalid enum list", &N, Array); in visitDICompileUnit()
1363 CheckDI(Enum && Enum->getTag() == dwarf::DW_TAG_enumeration_type, in visitDICompileUnit()
1368 CheckDI(isa<MDTuple>(Array), "invalid retained type list", &N, Array); in visitDICompileUnit()
1370 CheckDI( in visitDICompileUnit()
1377 CheckDI(isa<MDTuple>(Array), "invalid global variable list", &N, Array); in visitDICompileUnit()
1379 CheckDI(Op && (isa<DIGlobalVariableExpression>(Op)), in visitDICompileUnit()
1384 CheckDI(isa<MDTuple>(Array), "invalid imported entity list", &N, Array); in visitDICompileUnit()
1386 CheckDI(Op && isa<DIImportedEntity>(Op), "invalid imported entity ref", in visitDICompileUnit()
1391 CheckDI(isa<MDTuple>(Array), "invalid macro list", &N, Array); in visitDICompileUnit()
1393 CheckDI(Op && isa<DIMacroNode>(Op), "invalid macro ref", &N, Op); in visitDICompileUnit()
1400 CheckDI(N.getTag() == dwarf::DW_TAG_subprogram, "invalid tag", &N); in visitDISubprogram()
1401 CheckDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope()); in visitDISubprogram()
1403 CheckDI(isa<DIFile>(F), "invalid file", &N, F); in visitDISubprogram()
1405 CheckDI(N.getLine() == 0, "line specified with no file", &N, N.getLine()); in visitDISubprogram()
1407 CheckDI(isa<DISubroutineType>(T), "invalid subroutine type", &N, T); in visitDISubprogram()
1408 CheckDI(isType(N.getRawContainingType()), "invalid containing type", &N, in visitDISubprogram()
1413 CheckDI(isa<DISubprogram>(S) && !cast<DISubprogram>(S)->isDefinition(), in visitDISubprogram()
1417 CheckDI(Node, "invalid retained nodes list", &N, RawNode); in visitDISubprogram()
1419 CheckDI(Op && (isa<DILocalVariable>(Op) || isa<DILabel>(Op) || in visitDISubprogram()
1426 CheckDI(!hasConflictingReferenceFlags(N.getFlags()), in visitDISubprogram()
1432 CheckDI(N.isDistinct(), "subprogram definitions must be distinct", &N); in visitDISubprogram()
1433 CheckDI(Unit, "subprogram definitions must have a compile unit", &N); in visitDISubprogram()
1434 CheckDI(isa<DICompileUnit>(Unit), "invalid unit type", &N, Unit); in visitDISubprogram()
1440 CheckDI(N.getDeclaration(), in visitDISubprogram()
1446 CheckDI(!Unit, "subprogram declarations must not have a compile unit", &N); in visitDISubprogram()
1447 CheckDI(!N.getRawDeclaration(), in visitDISubprogram()
1453 CheckDI(ThrownTypes, "invalid thrown types list", &N, RawThrownTypes); in visitDISubprogram()
1455 CheckDI(Op && isa<DIType>(Op), "invalid thrown type", &N, ThrownTypes, in visitDISubprogram()
1460 CheckDI(N.isDefinition(), in visitDISubprogram()
1465 CheckDI(N.getTag() == dwarf::DW_TAG_lexical_block, "invalid tag", &N); in visitDILexicalBlockBase()
1466 CheckDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()), in visitDILexicalBlockBase()
1469 CheckDI(SP->isDefinition(), "scope points into the type hierarchy", &N); in visitDILexicalBlockBase()
1475 CheckDI(N.getLine() || !N.getColumn(), in visitDILexicalBlock()
1484 CheckDI(N.getTag() == dwarf::DW_TAG_common_block, "invalid tag", &N); in visitDICommonBlock()
1486 CheckDI(isa<DIScope>(S), "invalid scope ref", &N, S); in visitDICommonBlock()
1488 CheckDI(isa<DIGlobalVariable>(S), "invalid declaration", &N, S); in visitDICommonBlock()
1492 CheckDI(N.getTag() == dwarf::DW_TAG_namespace, "invalid tag", &N); in visitDINamespace()
1494 CheckDI(isa<DIScope>(S), "invalid scope ref", &N, S); in visitDINamespace()
1498 CheckDI(N.getMacinfoType() == dwarf::DW_MACINFO_define || in visitDIMacro()
1501 CheckDI(!N.getName().empty(), "anonymous macro", &N); in visitDIMacro()
1508 CheckDI(N.getMacinfoType() == dwarf::DW_MACINFO_start_file, in visitDIMacroFile()
1511 CheckDI(isa<DIFile>(F), "invalid file", &N, F); in visitDIMacroFile()
1514 CheckDI(isa<MDTuple>(Array), "invalid macro list", &N, Array); in visitDIMacroFile()
1516 CheckDI(Op && isa<DIMacroNode>(Op), "invalid macro ref", &N, Op); in visitDIMacroFile()
1522 CheckDI(N.getTag() == dwarf::DW_TAG_module, "invalid tag", &N); in visitDIModule()
1523 CheckDI(!N.getName().empty(), "anonymous module", &N); in visitDIModule()
1527 CheckDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType()); in visitDITemplateParameter()
1533 CheckDI(N.getTag() == dwarf::DW_TAG_template_type_parameter, "invalid tag", in visitDITemplateTypeParameter()
1541 CheckDI(N.getTag() == dwarf::DW_TAG_template_value_parameter || in visitDITemplateValueParameter()
1549 CheckDI(isa<DIScope>(S), "invalid scope", &N, S); in visitDIVariable()
1551 CheckDI(isa<DIFile>(F), "invalid file", &N, F); in visitDIVariable()
1558 CheckDI(N.getTag() == dwarf::DW_TAG_variable, "invalid tag", &N); in visitDIGlobalVariable()
1559 CheckDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType()); in visitDIGlobalVariable()
1562 CheckDI(N.getType(), "missing global variable type", &N); in visitDIGlobalVariable()
1564 CheckDI(isa<DIDerivedType>(Member), in visitDIGlobalVariable()
1573 CheckDI(isType(N.getRawType()), "invalid type ref", &N, N.getRawType()); in visitDILocalVariable()
1574 CheckDI(N.getTag() == dwarf::DW_TAG_variable, "invalid tag", &N); in visitDILocalVariable()
1575 CheckDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()), in visitDILocalVariable()
1578 CheckDI(!isa<DISubroutineType>(Ty), "invalid type", &N, N.getType()); in visitDILocalVariable()
1582 CheckDI(!N.getNumOperands(), "DIAssignID has no arguments", &N); in visitDIAssignID()
1583 CheckDI(N.isDistinct(), "DIAssignID must be distinct", &N); in visitDIAssignID()
1588 CheckDI(isa<DIScope>(S), "invalid scope", &N, S); in visitDILabel()
1590 CheckDI(isa<DIFile>(F), "invalid file", &N, F); in visitDILabel()
1592 CheckDI(N.getTag() == dwarf::DW_TAG_label, "invalid tag", &N); in visitDILabel()
1593 CheckDI(N.getRawScope() && isa<DILocalScope>(N.getRawScope()), in visitDILabel()
1598 CheckDI(N.isValid(), "invalid expression", &N); in visitDIExpression()
1603 CheckDI(GVE.getVariable(), "missing variable"); in visitDIGlobalVariableExpression()
1614 CheckDI(N.getTag() == dwarf::DW_TAG_APPLE_property, "invalid tag", &N); in visitDIObjCProperty()
1616 CheckDI(isType(T), "invalid type ref", &N, T); in visitDIObjCProperty()
1618 CheckDI(isa<DIFile>(F), "invalid file", &N, F); in visitDIObjCProperty()
1622 CheckDI(N.getTag() == dwarf::DW_TAG_imported_module || in visitDIImportedEntity()
1626 CheckDI(isa<DIScope>(S), "invalid scope for imported entity", &N, S); in visitDIImportedEntity()
1627 CheckDI(isDINode(N.getRawEntity()), "invalid imported entity", &N, in visitDIImportedEntity()
2769 CheckDI(I.first != LLVMContext::MD_dbg || in visitFunction()
2808 CheckDI(NumDebugAttachments == 1, in visitFunction()
2810 CheckDI(isa<DISubprogram>(I.second), in visitFunction()
2812 CheckDI(cast<DISubprogram>(I.second)->isDistinct(), in visitFunction()
2818 CheckDI(!AttachedTo || AttachedTo == &F, in visitFunction()
2895 CheckDI(Parent && isa<DILocalScope>(Parent), in visitFunction()
2911 CheckDI(SP->describes(&F), in visitFunction()
3633 CheckDI(Call.getDebugLoc(), in visitCallBase()
4733 CheckDI(ExpectedInstTy, "!DIAssignID attached to unexpected instruction kind", in visitDIAssignIDMetadata()
4739 CheckDI(isa<DbgAssignIntrinsic>(User), in visitDIAssignIDMetadata()
4744 CheckDI(DAI->getFunction() == I.getFunction(), in visitDIAssignIDMetadata()
4749 CheckDI(DPV->isDbgAssign(), in visitDIAssignIDMetadata()
4751 CheckDI(DPV->getFunction() == I.getFunction(), in visitDIAssignIDMetadata()
5072 CheckDI(isa<DILocation>(N), "invalid !dbg metadata attachment", &I, N); in visitInstruction()
6396 CheckDI(isa<ValueAsMetadata>(MD) || isa<DIArgList>(MD) || in visitDbgIntrinsic()
6399 CheckDI(isa<DILocalVariable>(DII.getRawVariable()), in visitDbgIntrinsic()
6402 CheckDI(isa<DIExpression>(DII.getRawExpression()), in visitDbgIntrinsic()
6407 CheckDI(isa<DIAssignID>(DAI->getRawAssignID()), in visitDbgIntrinsic()
6411 CheckDI( in visitDbgIntrinsic()
6416 CheckDI(isa<DIExpression>(DAI->getRawAddressExpression()), in visitDbgIntrinsic()
6421 CheckDI(DAI->getFunction() == I->getFunction(), in visitDbgIntrinsic()
6436 CheckDI(Loc, "llvm.dbg." + Kind + " intrinsic requires a !dbg attachment", in visitDbgIntrinsic()
6444 CheckDI(VarSP == LocSP, in visitDbgIntrinsic()
6451 CheckDI(isType(Var->getRawType()), "invalid type ref", Var, in visitDbgIntrinsic()
6457 CheckDI(isa<DILabel>(DLI.getRawLabel()), in visitDbgLabelIntrinsic()
6480 CheckDI(LabelSP == LocSP, in visitDbgLabelIntrinsic()
6524 CheckDI(FragSize + FragOffset <= *VarSize, in verifyFragmentExpression()
6526 CheckDI(FragSize != *VarSize, "fragment covers entire variable", Desc, &V); in verifyFragmentExpression()
6541 CheckDI(Var, "dbg intrinsic without variable"); in verifyFnArgs()
6554 CheckDI(!Prev || (Prev == Var), "conflicting debug info for argument", &I, in verifyFnArgs()
6576 CheckDI(!E->isEntryValue(), in verifyNotEntryValue()
6593 CheckDI(Listed.count(CU), "DICompileUnit not listed in llvm.dbg.cu", CU); in verifyCompileUnits()