Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===-- LVScope.h -----------------------------------------------*- C++ -*-===// |
| 2 | // |
||
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
||
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
||
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
||
| 6 | // |
||
| 7 | //===----------------------------------------------------------------------===// |
||
| 8 | // |
||
| 9 | // This file defines the LVScope class, which is used to describe a debug |
||
| 10 | // information scope. |
||
| 11 | // |
||
| 12 | //===----------------------------------------------------------------------===// |
||
| 13 | |||
| 14 | #ifndef LLVM_DEBUGINFO_LOGICALVIEW_CORE_LVSCOPE_H |
||
| 15 | #define LLVM_DEBUGINFO_LOGICALVIEW_CORE_LVSCOPE_H |
||
| 16 | |||
| 17 | #include "llvm/DebugInfo/LogicalView/Core/LVElement.h" |
||
| 18 | #include "llvm/DebugInfo/LogicalView/Core/LVLocation.h" |
||
| 19 | #include "llvm/DebugInfo/LogicalView/Core/LVSort.h" |
||
| 20 | #include "llvm/Object/ObjectFile.h" |
||
| 21 | #include <list> |
||
| 22 | #include <map> |
||
| 23 | #include <set> |
||
| 24 | |||
| 25 | namespace llvm { |
||
| 26 | namespace logicalview { |
||
| 27 | |||
| 28 | // Name address, Code size. |
||
| 29 | using LVNameInfo = std::pair<LVAddress, uint64_t>; |
||
| 30 | using LVPublicNames = std::map<LVScope *, LVNameInfo>; |
||
| 31 | using LVPublicAddresses = std::map<LVAddress, LVNameInfo>; |
||
| 32 | |||
| 33 | class LVRange; |
||
| 34 | |||
| 35 | enum class LVScopeKind { |
||
| 36 | IsAggregate, |
||
| 37 | IsArray, |
||
| 38 | IsBlock, |
||
| 39 | IsCallSite, |
||
| 40 | IsCatchBlock, |
||
| 41 | IsClass, |
||
| 42 | IsCompileUnit, |
||
| 43 | IsEntryPoint, |
||
| 44 | IsEnumeration, |
||
| 45 | IsFunction, |
||
| 46 | IsFunctionType, |
||
| 47 | IsInlinedFunction, |
||
| 48 | IsLabel, |
||
| 49 | IsLexicalBlock, |
||
| 50 | IsMember, |
||
| 51 | IsNamespace, |
||
| 52 | IsRoot, |
||
| 53 | IsStructure, |
||
| 54 | IsSubprogram, |
||
| 55 | IsTemplate, |
||
| 56 | IsTemplateAlias, |
||
| 57 | IsTemplatePack, |
||
| 58 | IsTryBlock, |
||
| 59 | IsUnion, |
||
| 60 | LastEntry |
||
| 61 | }; |
||
| 62 | using LVScopeKindSet = std::set<LVScopeKind>; |
||
| 63 | using LVScopeDispatch = std::map<LVScopeKind, LVScopeGetFunction>; |
||
| 64 | using LVScopeRequest = std::vector<LVScopeGetFunction>; |
||
| 65 | |||
| 66 | using LVOffsetList = std::list<LVOffset>; |
||
| 67 | using LVOffsetElementMap = std::map<LVOffset, LVElement *>; |
||
| 68 | using LVOffsetLinesMap = std::map<LVOffset, LVLines *>; |
||
| 69 | using LVOffsetLocationsMap = std::map<LVOffset, LVLocations *>; |
||
| 70 | using LVOffsetSymbolMap = std::map<LVOffset, LVSymbol *>; |
||
| 71 | using LVTagOffsetsMap = std::map<dwarf::Tag, LVOffsetList *>; |
||
| 72 | |||
| 73 | // Class to represent a DWARF Scope. |
||
| 74 | class LVScope : public LVElement { |
||
| 75 | enum class Property { |
||
| 76 | HasDiscriminator, |
||
| 77 | CanHaveRanges, |
||
| 78 | CanHaveLines, |
||
| 79 | HasGlobals, |
||
| 80 | HasLocals, |
||
| 81 | HasLines, |
||
| 82 | HasScopes, |
||
| 83 | HasSymbols, |
||
| 84 | HasTypes, |
||
| 85 | IsComdat, |
||
| 86 | HasComdatScopes, // Compile Unit has comdat functions. |
||
| 87 | HasRanges, |
||
| 88 | AddedMissing, // Added missing referenced symbols. |
||
| 89 | LastEntry |
||
| 90 | }; |
||
| 91 | |||
| 92 | // Typed bitvector with kinds and properties for this scope. |
||
| 93 | LVProperties<LVScopeKind> Kinds; |
||
| 94 | LVProperties<Property> Properties; |
||
| 95 | static LVScopeDispatch Dispatch; |
||
| 96 | |||
| 97 | // Coverage factor in units (bytes). |
||
| 98 | unsigned CoverageFactor = 0; |
||
| 99 | |||
| 100 | // Calculate coverage factor. |
||
| 101 | void calculateCoverage() { |
||
| 102 | float CoveragePercentage = 0; |
||
| 103 | LVLocation::calculateCoverage(Ranges, CoverageFactor, CoveragePercentage); |
||
| 104 | } |
||
| 105 | |||
| 106 | // Decide if the scope will be printed, using some conditions given by: |
||
| 107 | // only-globals, only-locals, a-pattern. |
||
| 108 | bool resolvePrinting() const; |
||
| 109 | |||
| 110 | // Find the current scope in the given 'Targets'. |
||
| 111 | LVScope *findIn(const LVScopes *Targets) const; |
||
| 112 | |||
| 113 | // Traverse the scope parent tree, executing the given callback function |
||
| 114 | // on each scope. |
||
| 115 | void traverseParents(LVScopeGetFunction GetFunction, |
||
| 116 | LVScopeSetFunction SetFunction); |
||
| 117 | |||
| 118 | protected: |
||
| 119 | // Types, Symbols, Scopes, Lines, Locations in this scope. |
||
| 120 | LVAutoTypes *Types = nullptr; |
||
| 121 | LVAutoSymbols *Symbols = nullptr; |
||
| 122 | LVAutoScopes *Scopes = nullptr; |
||
| 123 | LVAutoLines *Lines = nullptr; |
||
| 124 | LVAutoLocations *Ranges = nullptr; |
||
| 125 | |||
| 126 | // Vector of elements (types, scopes and symbols). |
||
| 127 | // It is the union of (*Types, *Symbols and *Scopes) to be used for |
||
| 128 | // the following reasons: |
||
| 129 | // - Preserve the order the logical elements are read in. |
||
| 130 | // - To have a single container with all the logical elements, when |
||
| 131 | // the traversal does not require any specific element kind. |
||
| 132 | LVElements *Children = nullptr; |
||
| 133 | |||
| 134 | // Resolve the template parameters/arguments relationship. |
||
| 135 | void resolveTemplate(); |
||
| 136 | void printEncodedArgs(raw_ostream &OS, bool Full) const; |
||
| 137 | |||
| 138 | void printActiveRanges(raw_ostream &OS, bool Full = true) const; |
||
| 139 | virtual void printSizes(raw_ostream &OS) const {} |
||
| 140 | virtual void printSummary(raw_ostream &OS) const {} |
||
| 141 | |||
| 142 | // Encoded template arguments. |
||
| 143 | virtual StringRef getEncodedArgs() const { return StringRef(); } |
||
| 144 | virtual void setEncodedArgs(StringRef EncodedArgs) {} |
||
| 145 | |||
| 146 | public: |
||
| 147 | LVScope() : LVElement(LVSubclassID::LV_SCOPE) { |
||
| 148 | setIsScope(); |
||
| 149 | setIncludeInPrint(); |
||
| 150 | } |
||
| 151 | LVScope(const LVScope &) = delete; |
||
| 152 | LVScope &operator=(const LVScope &) = delete; |
||
| 153 | virtual ~LVScope(); |
||
| 154 | |||
| 155 | static bool classof(const LVElement *Element) { |
||
| 156 | return Element->getSubclassID() == LVSubclassID::LV_SCOPE; |
||
| 157 | } |
||
| 158 | |||
| 159 | KIND(LVScopeKind, IsAggregate); |
||
| 160 | KIND(LVScopeKind, IsArray); |
||
| 161 | KIND_2(LVScopeKind, IsBlock, CanHaveRanges, CanHaveLines); |
||
| 162 | KIND_1(LVScopeKind, IsCallSite, IsFunction); |
||
| 163 | KIND_1(LVScopeKind, IsCatchBlock, IsBlock); |
||
| 164 | KIND_1(LVScopeKind, IsClass, IsAggregate); |
||
| 165 | KIND_3(LVScopeKind, IsCompileUnit, CanHaveRanges, CanHaveLines, |
||
| 166 | TransformName); |
||
| 167 | KIND_1(LVScopeKind, IsEntryPoint, IsFunction); |
||
| 168 | KIND(LVScopeKind, IsEnumeration); |
||
| 169 | KIND_2(LVScopeKind, IsFunction, CanHaveRanges, CanHaveLines); |
||
| 170 | KIND_1(LVScopeKind, IsFunctionType, IsFunction); |
||
| 171 | KIND_2(LVScopeKind, IsInlinedFunction, IsFunction, IsInlined); |
||
| 172 | KIND_1(LVScopeKind, IsLabel, IsFunction); |
||
| 173 | KIND_1(LVScopeKind, IsLexicalBlock, IsBlock); |
||
| 174 | KIND(LVScopeKind, IsMember); |
||
| 175 | KIND(LVScopeKind, IsNamespace); |
||
| 176 | KIND_1(LVScopeKind, IsRoot, TransformName); |
||
| 177 | KIND_1(LVScopeKind, IsStructure, IsAggregate); |
||
| 178 | KIND_1(LVScopeKind, IsSubprogram, IsFunction); |
||
| 179 | KIND(LVScopeKind, IsTemplate); |
||
| 180 | KIND(LVScopeKind, IsTemplateAlias); |
||
| 181 | KIND(LVScopeKind, IsTemplatePack); |
||
| 182 | KIND_1(LVScopeKind, IsTryBlock, IsBlock); |
||
| 183 | KIND_1(LVScopeKind, IsUnion, IsAggregate); |
||
| 184 | |||
| 185 | PROPERTY(Property, HasDiscriminator); |
||
| 186 | PROPERTY(Property, CanHaveRanges); |
||
| 187 | PROPERTY(Property, CanHaveLines); |
||
| 188 | PROPERTY(Property, HasGlobals); |
||
| 189 | PROPERTY(Property, HasLocals); |
||
| 190 | PROPERTY(Property, HasLines); |
||
| 191 | PROPERTY(Property, HasScopes); |
||
| 192 | PROPERTY(Property, HasSymbols); |
||
| 193 | PROPERTY(Property, HasTypes); |
||
| 194 | PROPERTY(Property, IsComdat); |
||
| 195 | PROPERTY(Property, HasComdatScopes); |
||
| 196 | PROPERTY(Property, HasRanges); |
||
| 197 | PROPERTY(Property, AddedMissing); |
||
| 198 | |||
| 199 | bool isCompileUnit() const override { return getIsCompileUnit(); } |
||
| 200 | bool isRoot() const override { return getIsRoot(); } |
||
| 201 | |||
| 202 | const char *kind() const override; |
||
| 203 | |||
| 204 | // Get the specific children. |
||
| 205 | const LVLines *getLines() const { return Lines; } |
||
| 206 | const LVLocations *getRanges() const { return Ranges; } |
||
| 207 | const LVScopes *getScopes() const { return Scopes; } |
||
| 208 | const LVSymbols *getSymbols() const { return Symbols; } |
||
| 209 | const LVTypes *getTypes() const { return Types; } |
||
| 210 | const LVElements *getChildren() const { return Children; } |
||
| 211 | |||
| 212 | void addElement(LVElement *Element); |
||
| 213 | void addElement(LVLine *Line); |
||
| 214 | void addElement(LVScope *Scope); |
||
| 215 | void addElement(LVSymbol *Symbol); |
||
| 216 | void addElement(LVType *Type); |
||
| 217 | void addObject(LVLocation *Location); |
||
| 218 | void addObject(LVAddress LowerAddress, LVAddress UpperAddress); |
||
| 219 | void addToChildren(LVElement *Element); |
||
| 220 | |||
| 221 | // Add the missing elements from the given 'Reference', which is the |
||
| 222 | // scope associated with any DW_AT_specification, DW_AT_abstract_origin. |
||
| 223 | void addMissingElements(LVScope *Reference); |
||
| 224 | |||
| 225 | // Traverse the scope parent tree and the children, executing the given |
||
| 226 | // callback function on each element. |
||
| 227 | void traverseParentsAndChildren(LVObjectGetFunction GetFunction, |
||
| 228 | LVObjectSetFunction SetFunction); |
||
| 229 | |||
| 230 | // Get the size of specific children. |
||
| 231 | size_t lineCount() const { return Lines ? Lines->size() : 0; } |
||
| 232 | size_t rangeCount() const { return Ranges ? Ranges->size() : 0; } |
||
| 233 | size_t scopeCount() const { return Scopes ? Scopes->size() : 0; } |
||
| 234 | size_t symbolCount() const { return Symbols ? Symbols->size() : 0; } |
||
| 235 | size_t typeCount() const { return Types ? Types->size() : 0; } |
||
| 236 | |||
| 237 | // Find containing parent for the given address. |
||
| 238 | LVScope *outermostParent(LVAddress Address); |
||
| 239 | |||
| 240 | // Get all the locations associated with symbols. |
||
| 241 | void getLocations(LVLocations &LocationList, LVValidLocation ValidLocation, |
||
| 242 | bool RecordInvalid = false); |
||
| 243 | void getRanges(LVLocations &LocationList, LVValidLocation ValidLocation, |
||
| 244 | bool RecordInvalid = false); |
||
| 245 | void getRanges(LVRange &RangeList); |
||
| 246 | |||
| 247 | unsigned getCoverageFactor() const { return CoverageFactor; } |
||
| 248 | |||
| 249 | Error doPrint(bool Split, bool Match, bool Print, raw_ostream &OS, |
||
| 250 | bool Full = true) const override; |
||
| 251 | // Sort the logical elements using the criteria specified by the |
||
| 252 | // command line option '--output-sort'. |
||
| 253 | void sort(); |
||
| 254 | |||
| 255 | // Get template parameter types. |
||
| 256 | bool getTemplateParameterTypes(LVTypes &Params); |
||
| 257 | |||
| 258 | // DW_AT_specification, DW_AT_abstract_origin, DW_AT_extension. |
||
| 259 | virtual LVScope *getReference() const { return nullptr; } |
||
| 260 | |||
| 261 | LVScope *getCompileUnitParent() const override { |
||
| 262 | return LVElement::getCompileUnitParent(); |
||
| 263 | } |
||
| 264 | |||
| 265 | // Follow a chain of references given by DW_AT_abstract_origin and/or |
||
| 266 | // DW_AT_specification and update the scope name. |
||
| 267 | StringRef resolveReferencesChain(); |
||
| 268 | |||
| 269 | bool removeElement(LVElement *Element) override; |
||
| 270 | void updateLevel(LVScope *Parent, bool Moved) override; |
||
| 271 | |||
| 272 | void resolve() override; |
||
| 273 | void resolveName() override; |
||
| 274 | void resolveReferences() override; |
||
| 275 | |||
| 276 | // Return the chain of parents as a string. |
||
| 277 | void getQualifiedName(std::string &QualifiedName) const; |
||
| 278 | // Encode the template arguments. |
||
| 279 | void encodeTemplateArguments(std::string &Name) const; |
||
| 280 | void encodeTemplateArguments(std::string &Name, const LVTypes *Types) const; |
||
| 281 | |||
| 282 | void resolveElements(); |
||
| 283 | |||
| 284 | // Iterate through the 'References' set and check that all its elements |
||
| 285 | // are present in the 'Targets' set. For a missing element, mark its |
||
| 286 | // parents as missing. |
||
| 287 | static void markMissingParents(const LVScopes *References, |
||
| 288 | const LVScopes *Targets, |
||
| 289 | bool TraverseChildren); |
||
| 290 | |||
| 291 | // Checks if the current scope is contained within the target scope. |
||
| 292 | // Depending on the result, the callback may be performed. |
||
| 293 | virtual void markMissingParents(const LVScope *Target, bool TraverseChildren); |
||
| 294 | |||
| 295 | // Returns true if the current scope and the given 'Scope' have the |
||
| 296 | // same number of children. |
||
| 297 | virtual bool equalNumberOfChildren(const LVScope *Scope) const; |
||
| 298 | |||
| 299 | // Returns true if current scope is logically equal to the given 'Scope'. |
||
| 300 | virtual bool equals(const LVScope *Scope) const; |
||
| 301 | |||
| 302 | // Returns true if the given 'References' are logically equal to the |
||
| 303 | // given 'Targets'. |
||
| 304 | static bool equals(const LVScopes *References, const LVScopes *Targets); |
||
| 305 | |||
| 306 | // For the given 'Scopes' returns a scope that is logically equal |
||
| 307 | // to the current scope; otherwise 'nullptr'. |
||
| 308 | virtual LVScope *findEqualScope(const LVScopes *Scopes) const; |
||
| 309 | |||
| 310 | // Report the current scope as missing or added during comparison. |
||
| 311 | void report(LVComparePass Pass) override; |
||
| 312 | |||
| 313 | static LVScopeDispatch &getDispatch() { return Dispatch; } |
||
| 314 | |||
| 315 | void print(raw_ostream &OS, bool Full = true) const override; |
||
| 316 | void printExtra(raw_ostream &OS, bool Full = true) const override; |
||
| 317 | virtual void printWarnings(raw_ostream &OS, bool Full = true) const {} |
||
| 318 | virtual void printMatchedElements(raw_ostream &OS, bool UseMatchedElements) {} |
||
| 319 | |||
| 320 | #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) |
||
| 321 | void dump() const override { print(dbgs()); } |
||
| 322 | #endif |
||
| 323 | }; |
||
| 324 | |||
| 325 | // Class to represent a DWARF Union/Structure/Class. |
||
| 326 | class LVScopeAggregate final : public LVScope { |
||
| 327 | LVScope *Reference = nullptr; // DW_AT_specification, DW_AT_abstract_origin. |
||
| 328 | size_t EncodedArgsIndex = 0; // Template encoded arguments. |
||
| 329 | |||
| 330 | public: |
||
| 331 | LVScopeAggregate() : LVScope() {} |
||
| 332 | LVScopeAggregate(const LVScopeAggregate &) = delete; |
||
| 333 | LVScopeAggregate &operator=(const LVScopeAggregate &) = delete; |
||
| 334 | ~LVScopeAggregate() = default; |
||
| 335 | |||
| 336 | // DW_AT_specification, DW_AT_abstract_origin. |
||
| 337 | LVScope *getReference() const override { return Reference; } |
||
| 338 | void setReference(LVScope *Scope) override { |
||
| 339 | Reference = Scope; |
||
| 340 | setHasReference(); |
||
| 341 | } |
||
| 342 | void setReference(LVElement *Element) override { |
||
| 343 | setReference(static_cast<LVScope *>(Element)); |
||
| 344 | } |
||
| 345 | |||
| 346 | StringRef getEncodedArgs() const override { |
||
| 347 | return getStringPool().getString(EncodedArgsIndex); |
||
| 348 | } |
||
| 349 | void setEncodedArgs(StringRef EncodedArgs) override { |
||
| 350 | EncodedArgsIndex = getStringPool().getIndex(EncodedArgs); |
||
| 351 | } |
||
| 352 | |||
| 353 | // Returns true if current scope is logically equal to the given 'Scope'. |
||
| 354 | bool equals(const LVScope *Scope) const override; |
||
| 355 | |||
| 356 | // For the given 'Scopes' returns a scope that is logically equal |
||
| 357 | // to the current scope; otherwise 'nullptr'. |
||
| 358 | LVScope *findEqualScope(const LVScopes *Scopes) const override; |
||
| 359 | |||
| 360 | void printExtra(raw_ostream &OS, bool Full = true) const override; |
||
| 361 | }; |
||
| 362 | |||
| 363 | // Class to represent a DWARF Template alias. |
||
| 364 | class LVScopeAlias final : public LVScope { |
||
| 365 | public: |
||
| 366 | LVScopeAlias() : LVScope() { |
||
| 367 | setIsTemplateAlias(); |
||
| 368 | setIsTemplate(); |
||
| 369 | } |
||
| 370 | LVScopeAlias(const LVScopeAlias &) = delete; |
||
| 371 | LVScopeAlias &operator=(const LVScopeAlias &) = delete; |
||
| 372 | ~LVScopeAlias() = default; |
||
| 373 | |||
| 374 | // Returns true if current scope is logically equal to the given 'Scope'. |
||
| 375 | bool equals(const LVScope *Scope) const override; |
||
| 376 | |||
| 377 | void printExtra(raw_ostream &OS, bool Full = true) const override; |
||
| 378 | }; |
||
| 379 | |||
| 380 | // Class to represent a DWARF array (DW_TAG_array_type). |
||
| 381 | class LVScopeArray final : public LVScope { |
||
| 382 | public: |
||
| 383 | LVScopeArray() : LVScope() { setIsArray(); } |
||
| 384 | LVScopeArray(const LVScopeArray &) = delete; |
||
| 385 | LVScopeArray &operator=(const LVScopeArray &) = delete; |
||
| 386 | ~LVScopeArray() = default; |
||
| 387 | |||
| 388 | void resolveExtra() override; |
||
| 389 | |||
| 390 | // Returns true if current scope is logically equal to the given 'Scope'. |
||
| 391 | bool equals(const LVScope *Scope) const override; |
||
| 392 | |||
| 393 | void printExtra(raw_ostream &OS, bool Full = true) const override; |
||
| 394 | }; |
||
| 395 | |||
| 396 | // Class to represent a DWARF Compilation Unit (CU). |
||
| 397 | class LVScopeCompileUnit final : public LVScope { |
||
| 398 | // Names (files and directories) used by the Compile Unit. |
||
| 399 | std::vector<size_t> Filenames; |
||
| 400 | |||
| 401 | // As the .debug_pubnames section has been removed in DWARF5, we have a |
||
| 402 | // similar functionality, which is used by the decoded functions. We use |
||
| 403 | // the low-pc and high-pc for those scopes that are marked as public, in |
||
| 404 | // order to support DWARF and CodeView. |
||
| 405 | LVPublicNames PublicNames; |
||
| 406 | |||
| 407 | // Toolchain producer. |
||
| 408 | size_t ProducerIndex = 0; |
||
| 409 | |||
| 410 | // Compilation directory name. |
||
| 411 | size_t CompilationDirectoryIndex = 0; |
||
| 412 | |||
| 413 | // Keep record of elements. They are needed at the compilation unit level |
||
| 414 | // to print the summary at the end of the printing. |
||
| 415 | LVCounter Allocated; |
||
| 416 | LVCounter Found; |
||
| 417 | LVCounter Printed; |
||
| 418 | |||
| 419 | // Elements that match a given command line pattern. |
||
| 420 | LVElements MatchedElements; |
||
| 421 | LVScopes MatchedScopes; |
||
| 422 | |||
| 423 | // It records the mapping between logical lines representing a debug line |
||
| 424 | // entry and its address in the text section. It is used to find a line |
||
| 425 | // giving its exact or closest address. To support comdat functions, all |
||
| 426 | // addresses for the same section are recorded in the same map. |
||
| 427 | using LVAddressToLine = std::map<LVAddress, LVLine *>; |
||
| 428 | LVDoubleMap<LVSectionIndex, LVAddress, LVLine *> SectionMappings; |
||
| 429 | |||
| 430 | // DWARF Tags (Tag, Element list). |
||
| 431 | LVTagOffsetsMap DebugTags; |
||
| 432 | |||
| 433 | // Offsets associated with objects being flagged as having invalid data |
||
| 434 | // (ranges, locations, lines zero or coverages). |
||
| 435 | LVOffsetElementMap WarningOffsets; |
||
| 436 | |||
| 437 | // Symbols with invalid locations. (Symbol, Location List). |
||
| 438 | LVOffsetLocationsMap InvalidLocations; |
||
| 439 | |||
| 440 | // Symbols with invalid coverage values. |
||
| 441 | LVOffsetSymbolMap InvalidCoverages; |
||
| 442 | |||
| 443 | // Scopes with invalid ranges (Scope, Range list). |
||
| 444 | LVOffsetLocationsMap InvalidRanges; |
||
| 445 | |||
| 446 | // Scopes with lines zero (Scope, Line list). |
||
| 447 | LVOffsetLinesMap LinesZero; |
||
| 448 | |||
| 449 | // Record scopes contribution in bytes to the debug information. |
||
| 450 | using LVSizesMap = std::map<const LVScope *, LVOffset>; |
||
| 451 | LVSizesMap Sizes; |
||
| 452 | LVOffset CUContributionSize = 0; |
||
| 453 | |||
| 454 | // Helper function to add an invalid location/range. |
||
| 455 | void addInvalidLocationOrRange(LVLocation *Location, LVElement *Element, |
||
| 456 | LVOffsetLocationsMap *Map) { |
||
| 457 | LVOffset Offset = Element->getOffset(); |
||
| 458 | addInvalidOffset(Offset, Element); |
||
| 459 | addItem<LVOffsetLocationsMap, LVLocations, LVOffset, LVLocation *>( |
||
| 460 | Map, Offset, Location); |
||
| 461 | } |
||
| 462 | |||
| 463 | // Record scope sizes indexed by lexical level. |
||
| 464 | // Setting an initial size that will cover a very deep nested scopes. |
||
| 465 | const size_t TotalInitialSize = 8; |
||
| 466 | using LVTotalsEntry = std::pair<unsigned, float>; |
||
| 467 | SmallVector<LVTotalsEntry> Totals; |
||
| 468 | // Maximum seen lexical level. It is used to control how many entries |
||
| 469 | // in the 'Totals' vector are valid values. |
||
| 470 | LVLevel MaxSeenLevel = 0; |
||
| 471 | |||
| 472 | // Get the line located at the given address. |
||
| 473 | LVLine *lineLowerBound(LVAddress Address, LVScope *Scope) const; |
||
| 474 | LVLine *lineUpperBound(LVAddress Address, LVScope *Scope) const; |
||
| 475 | |||
| 476 | void printScopeSize(const LVScope *Scope, raw_ostream &OS); |
||
| 477 | void printScopeSize(const LVScope *Scope, raw_ostream &OS) const { |
||
| 478 | (const_cast<LVScopeCompileUnit *>(this))->printScopeSize(Scope, OS); |
||
| 479 | } |
||
| 480 | void printTotals(raw_ostream &OS) const; |
||
| 481 | |||
| 482 | protected: |
||
| 483 | void printSizes(raw_ostream &OS) const override; |
||
| 484 | void printSummary(raw_ostream &OS) const override; |
||
| 485 | |||
| 486 | public: |
||
| 487 | LVScopeCompileUnit() : LVScope(), Totals(TotalInitialSize, {0, 0.0}) { |
||
| 488 | setIsCompileUnit(); |
||
| 489 | } |
||
| 490 | LVScopeCompileUnit(const LVScopeCompileUnit &) = delete; |
||
| 491 | LVScopeCompileUnit &operator=(const LVScopeCompileUnit &) = delete; |
||
| 492 | ~LVScopeCompileUnit() { |
||
| 493 | deleteList<LVTagOffsetsMap>(DebugTags); |
||
| 494 | deleteList<LVOffsetLocationsMap>(InvalidLocations); |
||
| 495 | deleteList<LVOffsetLocationsMap>(InvalidRanges); |
||
| 496 | deleteList<LVOffsetLinesMap>(LinesZero); |
||
| 497 | } |
||
| 498 | |||
| 499 | LVScope *getCompileUnitParent() const override { |
||
| 500 | return static_cast<LVScope *>(const_cast<LVScopeCompileUnit *>(this)); |
||
| 501 | } |
||
| 502 | |||
| 503 | // Add line to address mapping. |
||
| 504 | void addMapping(LVLine *Line, LVSectionIndex SectionIndex); |
||
| 505 | LVLineRange lineRange(LVLocation *Location) const; |
||
| 506 | |||
| 507 | LVNameInfo NameNone = {UINT64_MAX, 0}; |
||
| 508 | void addPublicName(LVScope *Scope, LVAddress LowPC, LVAddress HighPC) { |
||
| 509 | PublicNames.emplace(std::piecewise_construct, std::forward_as_tuple(Scope), |
||
| 510 | std::forward_as_tuple(LowPC, HighPC - LowPC)); |
||
| 511 | } |
||
| 512 | const LVNameInfo &findPublicName(LVScope *Scope) { |
||
| 513 | LVPublicNames::iterator Iter = PublicNames.find(Scope); |
||
| 514 | return (Iter != PublicNames.end()) ? Iter->second : NameNone; |
||
| 515 | } |
||
| 516 | const LVPublicNames &getPublicNames() const { return PublicNames; } |
||
| 517 | |||
| 518 | // The base address of the scope for any of the debugging information |
||
| 519 | // entries listed, is given by either the DW_AT_low_pc attribute or the |
||
| 520 | // first address in the first range entry in the list of ranges given by |
||
| 521 | // the DW_AT_ranges attribute. |
||
| 522 | LVAddress getBaseAddress() const { |
||
| 523 | return Ranges ? Ranges->front()->getLowerAddress() : 0; |
||
| 524 | } |
||
| 525 | |||
| 526 | StringRef getCompilationDirectory() const { |
||
| 527 | return getStringPool().getString(CompilationDirectoryIndex); |
||
| 528 | } |
||
| 529 | void setCompilationDirectory(StringRef CompilationDirectory) { |
||
| 530 | CompilationDirectoryIndex = getStringPool().getIndex(CompilationDirectory); |
||
| 531 | } |
||
| 532 | |||
| 533 | StringRef getFilename(size_t Index) const; |
||
| 534 | void addFilename(StringRef Name) { |
||
| 535 | Filenames.push_back(getStringPool().getIndex(Name)); |
||
| 536 | } |
||
| 537 | |||
| 538 | StringRef getProducer() const override { |
||
| 539 | return getStringPool().getString(ProducerIndex); |
||
| 540 | } |
||
| 541 | void setProducer(StringRef ProducerName) override { |
||
| 542 | ProducerIndex = getStringPool().getIndex(ProducerName); |
||
| 543 | } |
||
| 544 | |||
| 545 | // Record DWARF tags. |
||
| 546 | void addDebugTag(dwarf::Tag Target, LVOffset Offset); |
||
| 547 | // Record elements with invalid offsets. |
||
| 548 | void addInvalidOffset(LVOffset Offset, LVElement *Element); |
||
| 549 | // Record symbols with invalid coverage values. |
||
| 550 | void addInvalidCoverage(LVSymbol *Symbol); |
||
| 551 | // Record symbols with invalid locations. |
||
| 552 | void addInvalidLocation(LVLocation *Location); |
||
| 553 | // Record scopes with invalid ranges. |
||
| 554 | void addInvalidRange(LVLocation *Location); |
||
| 555 | // Record line zero. |
||
| 556 | void addLineZero(LVLine *Line); |
||
| 557 | |||
| 558 | const LVTagOffsetsMap &getDebugTags() const { return DebugTags; } |
||
| 559 | const LVOffsetElementMap &getWarningOffsets() const { return WarningOffsets; } |
||
| 560 | const LVOffsetLocationsMap &getInvalidLocations() const { |
||
| 561 | return InvalidLocations; |
||
| 562 | } |
||
| 563 | const LVOffsetSymbolMap &getInvalidCoverages() const { |
||
| 564 | return InvalidCoverages; |
||
| 565 | } |
||
| 566 | const LVOffsetLocationsMap &getInvalidRanges() const { return InvalidRanges; } |
||
| 567 | const LVOffsetLinesMap &getLinesZero() const { return LinesZero; } |
||
| 568 | |||
| 569 | // Process ranges, locations and calculate coverage. |
||
| 570 | void processRangeLocationCoverage( |
||
| 571 | LVValidLocation ValidLocation = &LVLocation::validateRanges); |
||
| 572 | |||
| 573 | // Add matched element. |
||
| 574 | void addMatched(LVElement *Element) { MatchedElements.push_back(Element); } |
||
| 575 | void addMatched(LVScope *Scope) { MatchedScopes.push_back(Scope); } |
||
| 576 | void propagatePatternMatch(); |
||
| 577 | |||
| 578 | const LVElements &getMatchedElements() const { return MatchedElements; } |
||
| 579 | const LVScopes &getMatchedScopes() const { return MatchedScopes; } |
||
| 580 | |||
| 581 | void printLocalNames(raw_ostream &OS, bool Full = true) const; |
||
| 582 | void printSummary(raw_ostream &OS, const LVCounter &Counter, |
||
| 583 | const char *Header) const; |
||
| 584 | |||
| 585 | void incrementPrintedLines(); |
||
| 586 | void incrementPrintedScopes(); |
||
| 587 | void incrementPrintedSymbols(); |
||
| 588 | void incrementPrintedTypes(); |
||
| 589 | |||
| 590 | // Values are used by '--summary' option (allocated). |
||
| 591 | void increment(LVLine *Line); |
||
| 592 | void increment(LVScope *Scope); |
||
| 593 | void increment(LVSymbol *Symbol); |
||
| 594 | void increment(LVType *Type); |
||
| 595 | |||
| 596 | // A new element has been added to the scopes tree. Take the following steps: |
||
| 597 | // Increase the added element counters, for printing summary. |
||
| 598 | // During comparison notify the Reader of the new element. |
||
| 599 | void addedElement(LVLine *Line); |
||
| 600 | void addedElement(LVScope *Scope); |
||
| 601 | void addedElement(LVSymbol *Symbol); |
||
| 602 | void addedElement(LVType *Type); |
||
| 603 | |||
| 604 | void addSize(LVScope *Scope, LVOffset Lower, LVOffset Upper); |
||
| 605 | |||
| 606 | // Returns true if current scope is logically equal to the given 'Scope'. |
||
| 607 | bool equals(const LVScope *Scope) const override; |
||
| 608 | |||
| 609 | void print(raw_ostream &OS, bool Full = true) const override; |
||
| 610 | void printExtra(raw_ostream &OS, bool Full = true) const override; |
||
| 611 | void printWarnings(raw_ostream &OS, bool Full = true) const override; |
||
| 612 | void printMatchedElements(raw_ostream &OS, bool UseMatchedElements) override; |
||
| 613 | }; |
||
| 614 | |||
| 615 | // Class to represent a DWARF enumerator (DW_TAG_enumeration_type). |
||
| 616 | class LVScopeEnumeration final : public LVScope { |
||
| 617 | public: |
||
| 618 | LVScopeEnumeration() : LVScope() { setIsEnumeration(); } |
||
| 619 | LVScopeEnumeration(const LVScopeEnumeration &) = delete; |
||
| 620 | LVScopeEnumeration &operator=(const LVScopeEnumeration &) = delete; |
||
| 621 | ~LVScopeEnumeration() = default; |
||
| 622 | |||
| 623 | // Returns true if current scope is logically equal to the given 'Scope'. |
||
| 624 | bool equals(const LVScope *Scope) const override; |
||
| 625 | |||
| 626 | void printExtra(raw_ostream &OS, bool Full = true) const override; |
||
| 627 | }; |
||
| 628 | |||
| 629 | // Class to represent a DWARF formal parameter pack |
||
| 630 | // (DW_TAG_GNU_formal_parameter_pack). |
||
| 631 | class LVScopeFormalPack final : public LVScope { |
||
| 632 | public: |
||
| 633 | LVScopeFormalPack() : LVScope() { setIsTemplatePack(); } |
||
| 634 | LVScopeFormalPack(const LVScopeFormalPack &) = delete; |
||
| 635 | LVScopeFormalPack &operator=(const LVScopeFormalPack &) = delete; |
||
| 636 | ~LVScopeFormalPack() = default; |
||
| 637 | |||
| 638 | // Returns true if current scope is logically equal to the given 'Scope'. |
||
| 639 | bool equals(const LVScope *Scope) const override; |
||
| 640 | |||
| 641 | void printExtra(raw_ostream &OS, bool Full = true) const override; |
||
| 642 | }; |
||
| 643 | |||
| 644 | // Class to represent a DWARF Function. |
||
| 645 | class LVScopeFunction : public LVScope { |
||
| 646 | LVScope *Reference = nullptr; // DW_AT_specification, DW_AT_abstract_origin. |
||
| 647 | size_t LinkageNameIndex = 0; // Function DW_AT_linkage_name attribute. |
||
| 648 | size_t EncodedArgsIndex = 0; // Template encoded arguments. |
||
| 649 | |||
| 650 | public: |
||
| 651 | LVScopeFunction() : LVScope() {} |
||
| 652 | LVScopeFunction(const LVScopeFunction &) = delete; |
||
| 653 | LVScopeFunction &operator=(const LVScopeFunction &) = delete; |
||
| 654 | virtual ~LVScopeFunction() = default; |
||
| 655 | |||
| 656 | // DW_AT_specification, DW_AT_abstract_origin. |
||
| 657 | LVScope *getReference() const override { return Reference; } |
||
| 658 | void setReference(LVScope *Scope) override { |
||
| 659 | Reference = Scope; |
||
| 660 | setHasReference(); |
||
| 661 | } |
||
| 662 | void setReference(LVElement *Element) override { |
||
| 663 | setReference(static_cast<LVScope *>(Element)); |
||
| 664 | } |
||
| 665 | |||
| 666 | StringRef getEncodedArgs() const override { |
||
| 667 | return getStringPool().getString(EncodedArgsIndex); |
||
| 668 | } |
||
| 669 | void setEncodedArgs(StringRef EncodedArgs) override { |
||
| 670 | EncodedArgsIndex = getStringPool().getIndex(EncodedArgs); |
||
| 671 | } |
||
| 672 | |||
| 673 | void setLinkageName(StringRef LinkageName) override { |
||
| 674 | LinkageNameIndex = getStringPool().getIndex(LinkageName); |
||
| 675 | } |
||
| 676 | StringRef getLinkageName() const override { |
||
| 677 | return getStringPool().getString(LinkageNameIndex); |
||
| 678 | } |
||
| 679 | size_t getLinkageNameIndex() const override { return LinkageNameIndex; } |
||
| 680 | |||
| 681 | void setName(StringRef ObjectName) override; |
||
| 682 | |||
| 683 | void resolveExtra() override; |
||
| 684 | void resolveReferences() override; |
||
| 685 | |||
| 686 | // Returns true if current scope is logically equal to the given 'Scope'. |
||
| 687 | bool equals(const LVScope *Scope) const override; |
||
| 688 | |||
| 689 | // For the given 'Scopes' returns a scope that is logically equal |
||
| 690 | // to the current scope; otherwise 'nullptr'. |
||
| 691 | LVScope *findEqualScope(const LVScopes *Scopes) const override; |
||
| 692 | |||
| 693 | void printExtra(raw_ostream &OS, bool Full = true) const override; |
||
| 694 | }; |
||
| 695 | |||
| 696 | // Class to represent a DWARF inlined function. |
||
| 697 | class LVScopeFunctionInlined final : public LVScopeFunction { |
||
| 698 | size_t CallFilenameIndex = 0; |
||
| 699 | uint32_t CallLineNumber = 0; |
||
| 700 | uint32_t Discriminator = 0; |
||
| 701 | |||
| 702 | public: |
||
| 703 | LVScopeFunctionInlined() : LVScopeFunction() { setIsInlinedFunction(); } |
||
| 704 | LVScopeFunctionInlined(const LVScopeFunctionInlined &) = delete; |
||
| 705 | LVScopeFunctionInlined &operator=(const LVScopeFunctionInlined &) = delete; |
||
| 706 | ~LVScopeFunctionInlined() = default; |
||
| 707 | |||
| 708 | uint32_t getDiscriminator() const override { return Discriminator; } |
||
| 709 | void setDiscriminator(uint32_t Value) override { |
||
| 710 | Discriminator = Value; |
||
| 711 | setHasDiscriminator(); |
||
| 712 | } |
||
| 713 | |||
| 714 | uint32_t getCallLineNumber() const override { return CallLineNumber; } |
||
| 715 | void setCallLineNumber(uint32_t Number) override { CallLineNumber = Number; } |
||
| 716 | size_t getCallFilenameIndex() const override { return CallFilenameIndex; } |
||
| 717 | void setCallFilenameIndex(size_t Index) override { |
||
| 718 | CallFilenameIndex = Index; |
||
| 719 | } |
||
| 720 | |||
| 721 | // Line number for display; in the case of Inlined Functions, we use the |
||
| 722 | // DW_AT_call_line attribute; otherwise use DW_AT_decl_line attribute. |
||
| 723 | std::string lineNumberAsString(bool ShowZero = false) const override { |
||
| 724 | return lineAsString(getCallLineNumber(), getDiscriminator(), ShowZero); |
||
| 725 | } |
||
| 726 | |||
| 727 | void resolveExtra() override; |
||
| 728 | |||
| 729 | // Returns true if current scope is logically equal to the given 'Scope'. |
||
| 730 | bool equals(const LVScope *Scope) const override; |
||
| 731 | |||
| 732 | // For the given 'Scopes' returns a scope that is logically equal |
||
| 733 | // to the current scope; otherwise 'nullptr'. |
||
| 734 | LVScope *findEqualScope(const LVScopes *Scopes) const override; |
||
| 735 | |||
| 736 | void printExtra(raw_ostream &OS, bool Full = true) const override; |
||
| 737 | }; |
||
| 738 | |||
| 739 | // Class to represent a DWARF subroutine type. |
||
| 740 | class LVScopeFunctionType final : public LVScopeFunction { |
||
| 741 | public: |
||
| 742 | LVScopeFunctionType() : LVScopeFunction() { setIsFunctionType(); } |
||
| 743 | LVScopeFunctionType(const LVScopeFunctionType &) = delete; |
||
| 744 | LVScopeFunctionType &operator=(const LVScopeFunctionType &) = delete; |
||
| 745 | ~LVScopeFunctionType() = default; |
||
| 746 | |||
| 747 | void resolveExtra() override; |
||
| 748 | }; |
||
| 749 | |||
| 750 | // Class to represent a DWARF Namespace. |
||
| 751 | class LVScopeNamespace final : public LVScope { |
||
| 752 | LVScope *Reference = nullptr; // Reference to DW_AT_extension attribute. |
||
| 753 | |||
| 754 | public: |
||
| 755 | LVScopeNamespace() : LVScope() { setIsNamespace(); } |
||
| 756 | LVScopeNamespace(const LVScopeNamespace &) = delete; |
||
| 757 | LVScopeNamespace &operator=(const LVScopeNamespace &) = delete; |
||
| 758 | ~LVScopeNamespace() = default; |
||
| 759 | |||
| 760 | // Access DW_AT_extension reference. |
||
| 761 | LVScope *getReference() const override { return Reference; } |
||
| 762 | void setReference(LVScope *Scope) override { |
||
| 763 | Reference = Scope; |
||
| 764 | setHasReference(); |
||
| 765 | } |
||
| 766 | void setReference(LVElement *Element) override { |
||
| 767 | setReference(static_cast<LVScope *>(Element)); |
||
| 768 | } |
||
| 769 | |||
| 770 | // Returns true if current scope is logically equal to the given 'Scope'. |
||
| 771 | bool equals(const LVScope *Scope) const override; |
||
| 772 | |||
| 773 | // For the given 'Scopes' returns a scope that is logically equal |
||
| 774 | // to the current scope; otherwise 'nullptr'. |
||
| 775 | LVScope *findEqualScope(const LVScopes *Scopes) const override; |
||
| 776 | |||
| 777 | void printExtra(raw_ostream &OS, bool Full = true) const override; |
||
| 778 | }; |
||
| 779 | |||
| 780 | // Class to represent the binary file being analyzed. |
||
| 781 | class LVScopeRoot final : public LVScope { |
||
| 782 | size_t FileFormatNameIndex = 0; |
||
| 783 | |||
| 784 | public: |
||
| 785 | LVScopeRoot() : LVScope() { setIsRoot(); } |
||
| 786 | LVScopeRoot(const LVScopeRoot &) = delete; |
||
| 787 | LVScopeRoot &operator=(const LVScopeRoot &) = delete; |
||
| 788 | ~LVScopeRoot() = default; |
||
| 789 | |||
| 790 | StringRef getFileFormatName() const { |
||
| 791 | return getStringPool().getString(FileFormatNameIndex); |
||
| 792 | } |
||
| 793 | void setFileFormatName(StringRef FileFormatName) { |
||
| 794 | FileFormatNameIndex = getStringPool().getIndex(FileFormatName); |
||
| 795 | } |
||
| 796 | |||
| 797 | // Process the collected location, ranges and calculate coverage. |
||
| 798 | void processRangeInformation(); |
||
| 799 | |||
| 800 | // Returns true if current scope is logically equal to the given 'Scope'. |
||
| 801 | bool equals(const LVScope *Scope) const override; |
||
| 802 | |||
| 803 | void print(raw_ostream &OS, bool Full = true) const override; |
||
| 804 | void printExtra(raw_ostream &OS, bool Full = true) const override; |
||
| 805 | Error doPrintMatches(bool Split, raw_ostream &OS, |
||
| 806 | bool UseMatchedElements) const; |
||
| 807 | }; |
||
| 808 | |||
| 809 | // Class to represent a DWARF template parameter pack |
||
| 810 | // (DW_TAG_GNU_template_parameter_pack). |
||
| 811 | class LVScopeTemplatePack final : public LVScope { |
||
| 812 | public: |
||
| 813 | LVScopeTemplatePack() : LVScope() { setIsTemplatePack(); } |
||
| 814 | LVScopeTemplatePack(const LVScopeTemplatePack &) = delete; |
||
| 815 | LVScopeTemplatePack &operator=(const LVScopeTemplatePack &) = delete; |
||
| 816 | ~LVScopeTemplatePack() = default; |
||
| 817 | |||
| 818 | // Returns true if current scope is logically equal to the given 'Scope'. |
||
| 819 | bool equals(const LVScope *Scope) const override; |
||
| 820 | |||
| 821 | void printExtra(raw_ostream &OS, bool Full = true) const override; |
||
| 822 | }; |
||
| 823 | |||
| 824 | } // end namespace logicalview |
||
| 825 | } // end namespace llvm |
||
| 826 | |||
| 827 | #endif // LLVM_DEBUGINFO_LOGICALVIEW_CORE_LVSCOPE_H |