SourceManager.h revision 29f39425fc7fcaede88a7e573f392975f8dc5e3e
1//===--- SourceManager.h - Track and cache source files ---------*- C++ -*-===// 2// 3// The LLVM Compiler Infrastructure 4// 5// This file is distributed under the University of Illinois Open Source 6// License. See LICENSE.TXT for details. 7// 8//===----------------------------------------------------------------------===// 9// 10// This file defines the SourceManager interface. 11// 12//===----------------------------------------------------------------------===// 13 14#ifndef LLVM_CLANG_SOURCEMANAGER_H 15#define LLVM_CLANG_SOURCEMANAGER_H 16 17#include "clang/Basic/LLVM.h" 18#include "clang/Basic/SourceLocation.h" 19#include "llvm/Support/Allocator.h" 20#include "llvm/Support/DataTypes.h" 21#include "llvm/ADT/PointerIntPair.h" 22#include "llvm/ADT/PointerUnion.h" 23#include "llvm/ADT/IntrusiveRefCntPtr.h" 24#include "llvm/ADT/DenseMap.h" 25#include "llvm/Support/MemoryBuffer.h" 26#include <map> 27#include <vector> 28#include <cassert> 29 30namespace clang { 31 32class Diagnostic; 33class SourceManager; 34class FileManager; 35class FileEntry; 36class LineTableInfo; 37class LangOptions; 38class ASTWriter; 39class ASTReader; 40 41/// There are three different types of locations in a file: a spelling 42/// location, an expansion location, and a presumed location. 43/// 44/// Given an example of: 45/// #define min(x, y) x < y ? x : y 46/// 47/// and then later on a use of min: 48/// return min(a, b); 49/// #line 17 50/// 51/// The expansion location is the line in the source code where the macro 52/// was expanded (the return statement), the spelling location is the 53/// location in the source where the macro was originally defined, 54/// and the presumed location is where the line directive states that 55/// the line is 17, or any other line. 56 57/// SrcMgr - Public enums and private classes that are part of the 58/// SourceManager implementation. 59/// 60namespace SrcMgr { 61 /// CharacteristicKind - This is used to represent whether a file or directory 62 /// holds normal user code, system code, or system code which is implicitly 63 /// 'extern "C"' in C++ mode. Entire directories can be tagged with this 64 /// (this is maintained by DirectoryLookup and friends) as can specific 65 /// FileInfos when a #pragma system_header is seen or various other cases. 66 /// 67 enum CharacteristicKind { 68 C_User, C_System, C_ExternCSystem 69 }; 70 71 /// ContentCache - One instance of this struct is kept for every file 72 /// loaded or used. This object owns the MemoryBuffer object. 73 class ContentCache { 74 enum CCFlags { 75 /// \brief Whether the buffer is invalid. 76 InvalidFlag = 0x01, 77 /// \brief Whether the buffer should not be freed on destruction. 78 DoNotFreeFlag = 0x02 79 }; 80 81 /// Buffer - The actual buffer containing the characters from the input 82 /// file. This is owned by the ContentCache object. 83 /// The bits indicate indicates whether the buffer is invalid. 84 mutable llvm::PointerIntPair<const llvm::MemoryBuffer *, 2> Buffer; 85 86 public: 87 /// Reference to the file entry representing this ContentCache. 88 /// This reference does not own the FileEntry object. 89 /// It is possible for this to be NULL if 90 /// the ContentCache encapsulates an imaginary text buffer. 91 const FileEntry *OrigEntry; 92 93 /// \brief References the file which the contents were actually loaded from. 94 /// Can be different from 'Entry' if we overridden the contents of one file 95 /// with the contents of another file. 96 const FileEntry *ContentsEntry; 97 98 /// SourceLineCache - A bump pointer allocated array of offsets for each 99 /// source line. This is lazily computed. This is owned by the 100 /// SourceManager BumpPointerAllocator object. 101 unsigned *SourceLineCache; 102 103 /// NumLines - The number of lines in this ContentCache. This is only valid 104 /// if SourceLineCache is non-null. 105 unsigned NumLines; 106 107 /// \brief Lazily computed map of macro argument chunks to their expanded 108 /// source location. 109 typedef std::map<unsigned, SourceLocation> MacroArgsMap; 110 MacroArgsMap *MacroArgsCache; 111 112 /// getBuffer - Returns the memory buffer for the associated content. 113 /// 114 /// \param Diag Object through which diagnostics will be emitted if the 115 /// buffer cannot be retrieved. 116 /// 117 /// \param Loc If specified, is the location that invalid file diagnostics 118 /// will be emitted at. 119 /// 120 /// \param Invalid If non-NULL, will be set \c true if an error occurred. 121 const llvm::MemoryBuffer *getBuffer(Diagnostic &Diag, 122 const SourceManager &SM, 123 SourceLocation Loc = SourceLocation(), 124 bool *Invalid = 0) const; 125 126 /// getSize - Returns the size of the content encapsulated by this 127 /// ContentCache. This can be the size of the source file or the size of an 128 /// arbitrary scratch buffer. If the ContentCache encapsulates a source 129 /// file this size is retrieved from the file's FileEntry. 130 unsigned getSize() const; 131 132 /// getSizeBytesMapped - Returns the number of bytes actually mapped for 133 /// this ContentCache. This can be 0 if the MemBuffer was not actually 134 /// expanded. 135 unsigned getSizeBytesMapped() const; 136 137 /// Returns the kind of memory used to back the memory buffer for 138 /// this content cache. This is used for performance analysis. 139 llvm::MemoryBuffer::BufferKind getMemoryBufferKind() const; 140 141 void setBuffer(const llvm::MemoryBuffer *B) { 142 assert(!Buffer.getPointer() && "MemoryBuffer already set."); 143 Buffer.setPointer(B); 144 Buffer.setInt(false); 145 } 146 147 /// \brief Get the underlying buffer, returning NULL if the buffer is not 148 /// yet available. 149 const llvm::MemoryBuffer *getRawBuffer() const { 150 return Buffer.getPointer(); 151 } 152 153 /// \brief Replace the existing buffer (which will be deleted) 154 /// with the given buffer. 155 void replaceBuffer(const llvm::MemoryBuffer *B, bool DoNotFree = false); 156 157 /// \brief Determine whether the buffer itself is invalid. 158 bool isBufferInvalid() const { 159 return Buffer.getInt() & InvalidFlag; 160 } 161 162 /// \brief Determine whether the buffer should be freed. 163 bool shouldFreeBuffer() const { 164 return (Buffer.getInt() & DoNotFreeFlag) == 0; 165 } 166 167 ContentCache(const FileEntry *Ent = 0) 168 : Buffer(0, false), OrigEntry(Ent), ContentsEntry(Ent), 169 SourceLineCache(0), NumLines(0), MacroArgsCache(0) {} 170 171 ContentCache(const FileEntry *Ent, const FileEntry *contentEnt) 172 : Buffer(0, false), OrigEntry(Ent), ContentsEntry(contentEnt), 173 SourceLineCache(0), NumLines(0), MacroArgsCache(0) {} 174 175 ~ContentCache(); 176 177 /// The copy ctor does not allow copies where source object has either 178 /// a non-NULL Buffer or SourceLineCache. Ownership of allocated memory 179 /// is not transferred, so this is a logical error. 180 ContentCache(const ContentCache &RHS) 181 : Buffer(0, false), SourceLineCache(0), MacroArgsCache(0) 182 { 183 OrigEntry = RHS.OrigEntry; 184 ContentsEntry = RHS.ContentsEntry; 185 186 assert (RHS.Buffer.getPointer() == 0 && RHS.SourceLineCache == 0 && 187 RHS.MacroArgsCache == 0 188 && "Passed ContentCache object cannot own a buffer."); 189 190 NumLines = RHS.NumLines; 191 } 192 193 private: 194 // Disable assignments. 195 ContentCache &operator=(const ContentCache& RHS); 196 }; 197 198 /// FileInfo - Information about a FileID, basically just the logical file 199 /// that it represents and include stack information. 200 /// 201 /// Each FileInfo has include stack information, indicating where it came 202 /// from. This information encodes the #include chain that a token was 203 /// expanded from. The main include file has an invalid IncludeLoc. 204 /// 205 /// FileInfos contain a "ContentCache *", with the contents of the file. 206 /// 207 class FileInfo { 208 /// IncludeLoc - The location of the #include that brought in this file. 209 /// This is an invalid SLOC for the main file (top of the #include chain). 210 unsigned IncludeLoc; // Really a SourceLocation 211 212 /// \brief Number of FileIDs (files and macros) that were created during 213 /// preprocessing of this #include, including this SLocEntry. 214 /// Zero means the preprocessor didn't provide such info for this SLocEntry. 215 unsigned NumCreatedFIDs; 216 217 /// Data - This contains the ContentCache* and the bits indicating the 218 /// characteristic of the file and whether it has #line info, all bitmangled 219 /// together. 220 uintptr_t Data; 221 222 friend class clang::SourceManager; 223 friend class clang::ASTWriter; 224 friend class clang::ASTReader; 225 public: 226 /// get - Return a FileInfo object. 227 static FileInfo get(SourceLocation IL, const ContentCache *Con, 228 CharacteristicKind FileCharacter) { 229 FileInfo X; 230 X.IncludeLoc = IL.getRawEncoding(); 231 X.NumCreatedFIDs = 0; 232 X.Data = (uintptr_t)Con; 233 assert((X.Data & 7) == 0 &&"ContentCache pointer insufficiently aligned"); 234 assert((unsigned)FileCharacter < 4 && "invalid file character"); 235 X.Data |= (unsigned)FileCharacter; 236 return X; 237 } 238 239 SourceLocation getIncludeLoc() const { 240 return SourceLocation::getFromRawEncoding(IncludeLoc); 241 } 242 const ContentCache* getContentCache() const { 243 return reinterpret_cast<const ContentCache*>(Data & ~7UL); 244 } 245 246 /// getCharacteristic - Return whether this is a system header or not. 247 CharacteristicKind getFileCharacteristic() const { 248 return (CharacteristicKind)(Data & 3); 249 } 250 251 /// hasLineDirectives - Return true if this FileID has #line directives in 252 /// it. 253 bool hasLineDirectives() const { return (Data & 4) != 0; } 254 255 /// setHasLineDirectives - Set the flag that indicates that this FileID has 256 /// line table entries associated with it. 257 void setHasLineDirectives() { 258 Data |= 4; 259 } 260 }; 261 262 /// ExpansionInfo - Each ExpansionInfo encodes the expansion location - where 263 /// the token was ultimately expanded, and the SpellingLoc - where the actual 264 /// character data for the token came from. 265 class ExpansionInfo { 266 // Really these are all SourceLocations. 267 268 /// SpellingLoc - Where the spelling for the token can be found. 269 unsigned SpellingLoc; 270 271 /// ExpansionLocStart/ExpansionLocEnd - In a macro expansion, these 272 /// indicate the start and end of the expansion. In object-like macros, 273 /// these will be the same. In a function-like macro expansion, the start 274 /// will be the identifier and the end will be the ')'. Finally, in 275 /// macro-argument instantitions, the end will be 'SourceLocation()', an 276 /// invalid location. 277 unsigned ExpansionLocStart, ExpansionLocEnd; 278 279 public: 280 SourceLocation getSpellingLoc() const { 281 return SourceLocation::getFromRawEncoding(SpellingLoc); 282 } 283 SourceLocation getExpansionLocStart() const { 284 return SourceLocation::getFromRawEncoding(ExpansionLocStart); 285 } 286 SourceLocation getExpansionLocEnd() const { 287 SourceLocation EndLoc = 288 SourceLocation::getFromRawEncoding(ExpansionLocEnd); 289 return EndLoc.isInvalid() ? getExpansionLocStart() : EndLoc; 290 } 291 292 std::pair<SourceLocation,SourceLocation> getExpansionLocRange() const { 293 return std::make_pair(getExpansionLocStart(), getExpansionLocEnd()); 294 } 295 296 bool isMacroArgExpansion() const { 297 // Note that this needs to return false for default constructed objects. 298 return getExpansionLocStart().isValid() && 299 SourceLocation::getFromRawEncoding(ExpansionLocEnd).isInvalid(); 300 } 301 302 /// create - Return a ExpansionInfo for an expansion. Start and End specify 303 /// the expansion range (where the macro is expanded), and SpellingLoc 304 /// specifies the spelling location (where the characters from the token 305 /// come from). All three can refer to normal File SLocs or expansion 306 /// locations. 307 static ExpansionInfo create(SourceLocation SpellingLoc, 308 SourceLocation Start, SourceLocation End) { 309 ExpansionInfo X; 310 X.SpellingLoc = SpellingLoc.getRawEncoding(); 311 X.ExpansionLocStart = Start.getRawEncoding(); 312 X.ExpansionLocEnd = End.getRawEncoding(); 313 return X; 314 } 315 316 /// createForMacroArg - Return a special ExpansionInfo for the expansion of 317 /// a macro argument into a function-like macro's body. ExpansionLoc 318 /// specifies the expansion location (where the macro is expanded). This 319 /// doesn't need to be a range because a macro is always expanded at 320 /// a macro parameter reference, and macro parameters are always exactly 321 /// one token. SpellingLoc specifies the spelling location (where the 322 /// characters from the token come from). ExpansionLoc and SpellingLoc can 323 /// both refer to normal File SLocs or expansion locations. 324 /// 325 /// Given the code: 326 /// \code 327 /// #define F(x) f(x) 328 /// F(42); 329 /// \endcode 330 /// 331 /// When expanding '\c F(42)', the '\c x' would call this with an 332 /// SpellingLoc pointing at '\c 42' anad an ExpansionLoc pointing at its 333 /// location in the definition of '\c F'. 334 static ExpansionInfo createForMacroArg(SourceLocation SpellingLoc, 335 SourceLocation ExpansionLoc) { 336 // We store an intentionally invalid source location for the end of the 337 // expansion range to mark that this is a macro argument ion rather than 338 // a normal one. 339 return create(SpellingLoc, ExpansionLoc, SourceLocation()); 340 } 341 }; 342 343 /// SLocEntry - This is a discriminated union of FileInfo and 344 /// ExpansionInfo. SourceManager keeps an array of these objects, and 345 /// they are uniquely identified by the FileID datatype. 346 class SLocEntry { 347 unsigned Offset; // low bit is set for expansion info. 348 union { 349 FileInfo File; 350 ExpansionInfo Expansion; 351 }; 352 public: 353 unsigned getOffset() const { return Offset >> 1; } 354 355 bool isExpansion() const { return Offset & 1; } 356 bool isFile() const { return !isExpansion(); } 357 358 const FileInfo &getFile() const { 359 assert(isFile() && "Not a file SLocEntry!"); 360 return File; 361 } 362 363 const ExpansionInfo &getExpansion() const { 364 assert(isExpansion() && "Not a macro expansion SLocEntry!"); 365 return Expansion; 366 } 367 368 static SLocEntry get(unsigned Offset, const FileInfo &FI) { 369 SLocEntry E; 370 E.Offset = Offset << 1; 371 E.File = FI; 372 return E; 373 } 374 375 static SLocEntry get(unsigned Offset, const ExpansionInfo &Expansion) { 376 SLocEntry E; 377 E.Offset = (Offset << 1) | 1; 378 E.Expansion = Expansion; 379 return E; 380 } 381 }; 382} // end SrcMgr namespace. 383 384/// \brief External source of source location entries. 385class ExternalSLocEntrySource { 386public: 387 virtual ~ExternalSLocEntrySource(); 388 389 /// \brief Read the source location entry with index ID, which will always be 390 /// less than -1. 391 /// 392 /// \returns true if an error occurred that prevented the source-location 393 /// entry from being loaded. 394 virtual bool ReadSLocEntry(int ID) = 0; 395}; 396 397 398/// IsBeforeInTranslationUnitCache - This class holds the cache used by 399/// isBeforeInTranslationUnit. The cache structure is complex enough to be 400/// worth breaking out of SourceManager. 401class IsBeforeInTranslationUnitCache { 402 /// L/R QueryFID - These are the FID's of the cached query. If these match up 403 /// with a subsequent query, the result can be reused. 404 FileID LQueryFID, RQueryFID; 405 406 /// \brief True if LQueryFID was created before RQueryFID. This is used 407 /// to compare macro expansion locations. 408 bool IsLQFIDBeforeRQFID; 409 410 /// CommonFID - This is the file found in common between the two #include 411 /// traces. It is the nearest common ancestor of the #include tree. 412 FileID CommonFID; 413 414 /// L/R CommonOffset - This is the offset of the previous query in CommonFID. 415 /// Usually, this represents the location of the #include for QueryFID, but if 416 /// LQueryFID is a parent of RQueryFID (or vise versa) then these can be a 417 /// random token in the parent. 418 unsigned LCommonOffset, RCommonOffset; 419public: 420 421 /// isCacheValid - Return true if the currently cached values match up with 422 /// the specified LHS/RHS query. If not, we can't use the cache. 423 bool isCacheValid(FileID LHS, FileID RHS) const { 424 return LQueryFID == LHS && RQueryFID == RHS; 425 } 426 427 /// getCachedResult - If the cache is valid, compute the result given the 428 /// specified offsets in the LHS/RHS FID's. 429 bool getCachedResult(unsigned LOffset, unsigned ROffset) const { 430 // If one of the query files is the common file, use the offset. Otherwise, 431 // use the #include loc in the common file. 432 if (LQueryFID != CommonFID) LOffset = LCommonOffset; 433 if (RQueryFID != CommonFID) ROffset = RCommonOffset; 434 435 // It is common for multiple macro expansions to be "included" from the same 436 // location (expansion location), in which case use the order of the FileIDs 437 // to determine which came first. 438 if (LOffset == ROffset && LQueryFID != CommonFID && RQueryFID != CommonFID) 439 return IsLQFIDBeforeRQFID; 440 441 return LOffset < ROffset; 442 } 443 444 // Set up a new query. 445 void setQueryFIDs(FileID LHS, FileID RHS, bool isLFIDBeforeRFID) { 446 assert(LHS != RHS); 447 LQueryFID = LHS; 448 RQueryFID = RHS; 449 IsLQFIDBeforeRQFID = isLFIDBeforeRFID; 450 } 451 452 void clear() { 453 LQueryFID = RQueryFID = FileID(); 454 IsLQFIDBeforeRQFID = false; 455 } 456 457 void setCommonLoc(FileID commonFID, unsigned lCommonOffset, 458 unsigned rCommonOffset) { 459 CommonFID = commonFID; 460 LCommonOffset = lCommonOffset; 461 RCommonOffset = rCommonOffset; 462 } 463 464}; 465 466/// \brief This class handles loading and caching of source files into memory. 467/// 468/// This object owns the MemoryBuffer objects for all of the loaded 469/// files and assigns unique FileID's for each unique #include chain. 470/// 471/// The SourceManager can be queried for information about SourceLocation 472/// objects, turning them into either spelling or expansion locations. Spelling 473/// locations represent where the bytes corresponding to a token came from and 474/// expansion locations represent where the location is in the user's view. In 475/// the case of a macro expansion, for example, the spelling location indicates 476/// where the expanded token came from and the expansion location specifies 477/// where it was expanded. 478class SourceManager : public llvm::RefCountedBase<SourceManager> { 479 /// \brief Diagnostic object. 480 Diagnostic &Diag; 481 482 FileManager &FileMgr; 483 484 mutable llvm::BumpPtrAllocator ContentCacheAlloc; 485 486 /// FileInfos - Memoized information about all of the files tracked by this 487 /// SourceManager. This set allows us to merge ContentCache entries based 488 /// on their FileEntry*. All ContentCache objects will thus have unique, 489 /// non-null, FileEntry pointers. 490 llvm::DenseMap<const FileEntry*, SrcMgr::ContentCache*> FileInfos; 491 492 /// \brief True if the ContentCache for files that are overriden by other 493 /// files, should report the original file name. Defaults to true. 494 bool OverridenFilesKeepOriginalName; 495 496 /// \brief Files that have been overriden with the contents from another file. 497 llvm::DenseMap<const FileEntry *, const FileEntry *> OverriddenFiles; 498 499 /// MemBufferInfos - Information about various memory buffers that we have 500 /// read in. All FileEntry* within the stored ContentCache objects are NULL, 501 /// as they do not refer to a file. 502 std::vector<SrcMgr::ContentCache*> MemBufferInfos; 503 504 /// \brief The table of SLocEntries that are local to this module. 505 /// 506 /// Positive FileIDs are indexes into this table. Entry 0 indicates an invalid 507 /// expansion. 508 std::vector<SrcMgr::SLocEntry> LocalSLocEntryTable; 509 510 /// \brief The table of SLocEntries that are loaded from other modules. 511 /// 512 /// Negative FileIDs are indexes into this table. To get from ID to an index, 513 /// use (-ID - 2). 514 std::vector<SrcMgr::SLocEntry> LoadedSLocEntryTable; 515 516 /// \brief The starting offset of the next local SLocEntry. 517 /// 518 /// This is LocalSLocEntryTable.back().Offset + the size of that entry. 519 unsigned NextLocalOffset; 520 521 /// \brief The starting offset of the latest batch of loaded SLocEntries. 522 /// 523 /// This is LoadedSLocEntryTable.back().Offset, except that that entry might 524 /// not have been loaded, so that value would be unknown. 525 unsigned CurrentLoadedOffset; 526 527 /// \brief The highest possible offset is 2^31-1, so CurrentLoadedOffset 528 /// starts at 2^31. 529 static const unsigned MaxLoadedOffset = 1U << 31U; 530 531 /// \brief A bitmap that indicates whether the entries of LoadedSLocEntryTable 532 /// have already been loaded from the external source. 533 /// 534 /// Same indexing as LoadedSLocEntryTable. 535 std::vector<bool> SLocEntryLoaded; 536 537 /// \brief An external source for source location entries. 538 ExternalSLocEntrySource *ExternalSLocEntries; 539 540 /// LastFileIDLookup - This is a one-entry cache to speed up getFileID. 541 /// LastFileIDLookup records the last FileID looked up or created, because it 542 /// is very common to look up many tokens from the same file. 543 mutable FileID LastFileIDLookup; 544 545 /// LineTable - This holds information for #line directives. It is referenced 546 /// by indices from SLocEntryTable. 547 LineTableInfo *LineTable; 548 549 /// LastLineNo - These ivars serve as a cache used in the getLineNumber 550 /// method which is used to speedup getLineNumber calls to nearby locations. 551 mutable FileID LastLineNoFileIDQuery; 552 mutable SrcMgr::ContentCache *LastLineNoContentCache; 553 mutable unsigned LastLineNoFilePos; 554 mutable unsigned LastLineNoResult; 555 556 /// MainFileID - The file ID for the main source file of the translation unit. 557 FileID MainFileID; 558 559 // Statistics for -print-stats. 560 mutable unsigned NumLinearScans, NumBinaryProbes; 561 562 // Cache results for the isBeforeInTranslationUnit method. 563 mutable IsBeforeInTranslationUnitCache IsBeforeInTUCache; 564 565 // Cache for the "fake" buffer used for error-recovery purposes. 566 mutable llvm::MemoryBuffer *FakeBufferForRecovery; 567 568 // SourceManager doesn't support copy construction. 569 explicit SourceManager(const SourceManager&); 570 void operator=(const SourceManager&); 571public: 572 SourceManager(Diagnostic &Diag, FileManager &FileMgr); 573 ~SourceManager(); 574 575 void clearIDTables(); 576 577 Diagnostic &getDiagnostics() const { return Diag; } 578 579 FileManager &getFileManager() const { return FileMgr; } 580 581 /// \brief Set true if the SourceManager should report the original file name 582 /// for contents of files that were overriden by other files.Defaults to true. 583 void setOverridenFilesKeepOriginalName(bool value) { 584 OverridenFilesKeepOriginalName = value; 585 } 586 587 /// createMainFileIDForMembuffer - Create the FileID for a memory buffer 588 /// that will represent the FileID for the main source. One example 589 /// of when this would be used is when the main source is read from STDIN. 590 FileID createMainFileIDForMemBuffer(const llvm::MemoryBuffer *Buffer) { 591 assert(MainFileID.isInvalid() && "MainFileID already set!"); 592 MainFileID = createFileIDForMemBuffer(Buffer); 593 return MainFileID; 594 } 595 596 //===--------------------------------------------------------------------===// 597 // MainFileID creation and querying methods. 598 //===--------------------------------------------------------------------===// 599 600 /// getMainFileID - Returns the FileID of the main source file. 601 FileID getMainFileID() const { return MainFileID; } 602 603 /// createMainFileID - Create the FileID for the main source file. 604 FileID createMainFileID(const FileEntry *SourceFile) { 605 assert(MainFileID.isInvalid() && "MainFileID already set!"); 606 MainFileID = createFileID(SourceFile, SourceLocation(), SrcMgr::C_User); 607 return MainFileID; 608 } 609 610 /// \brief Set the file ID for the precompiled preamble, which is also the 611 /// main file. 612 void SetPreambleFileID(FileID Preamble) { 613 assert(MainFileID.isInvalid() && "MainFileID already set!"); 614 MainFileID = Preamble; 615 } 616 617 //===--------------------------------------------------------------------===// 618 // Methods to create new FileID's and macro expansions. 619 //===--------------------------------------------------------------------===// 620 621 /// createFileID - Create a new FileID that represents the specified file 622 /// being #included from the specified IncludePosition. This translates NULL 623 /// into standard input. 624 FileID createFileID(const FileEntry *SourceFile, SourceLocation IncludePos, 625 SrcMgr::CharacteristicKind FileCharacter, 626 int LoadedID = 0, unsigned LoadedOffset = 0) { 627 const SrcMgr::ContentCache *IR = getOrCreateContentCache(SourceFile); 628 assert(IR && "getOrCreateContentCache() cannot return NULL"); 629 return createFileID(IR, IncludePos, FileCharacter, LoadedID, LoadedOffset); 630 } 631 632 /// createFileIDForMemBuffer - Create a new FileID that represents the 633 /// specified memory buffer. This does no caching of the buffer and takes 634 /// ownership of the MemoryBuffer, so only pass a MemoryBuffer to this once. 635 FileID createFileIDForMemBuffer(const llvm::MemoryBuffer *Buffer, 636 int LoadedID = 0, unsigned LoadedOffset = 0) { 637 return createFileID(createMemBufferContentCache(Buffer), SourceLocation(), 638 SrcMgr::C_User, LoadedID, LoadedOffset); 639 } 640 641 /// createMacroArgExpansionLoc - Return a new SourceLocation that encodes the 642 /// fact that a token from SpellingLoc should actually be referenced from 643 /// ExpansionLoc, and that it represents the expansion of a macro argument 644 /// into the function-like macro body. 645 SourceLocation createMacroArgExpansionLoc(SourceLocation Loc, 646 SourceLocation ExpansionLoc, 647 unsigned TokLength); 648 649 /// createExpansionLoc - Return a new SourceLocation that encodes the fact 650 /// that a token from SpellingLoc should actually be referenced from 651 /// ExpansionLoc. 652 SourceLocation createExpansionLoc(SourceLocation Loc, 653 SourceLocation ExpansionLocStart, 654 SourceLocation ExpansionLocEnd, 655 unsigned TokLength, 656 int LoadedID = 0, 657 unsigned LoadedOffset = 0); 658 659 /// \brief Retrieve the memory buffer associated with the given file. 660 /// 661 /// \param Invalid If non-NULL, will be set \c true if an error 662 /// occurs while retrieving the memory buffer. 663 const llvm::MemoryBuffer *getMemoryBufferForFile(const FileEntry *File, 664 bool *Invalid = 0); 665 666 /// \brief Override the contents of the given source file by providing an 667 /// already-allocated buffer. 668 /// 669 /// \param SourceFile the source file whose contents will be overriden. 670 /// 671 /// \param Buffer the memory buffer whose contents will be used as the 672 /// data in the given source file. 673 /// 674 /// \param DoNotFree If true, then the buffer will not be freed when the 675 /// source manager is destroyed. 676 void overrideFileContents(const FileEntry *SourceFile, 677 const llvm::MemoryBuffer *Buffer, 678 bool DoNotFree = false); 679 680 /// \brief Override the the given source file with another one. 681 /// 682 /// \param SourceFile the source file which will be overriden. 683 /// 684 /// \param NewFile the file whose contents will be used as the 685 /// data instead of the contents of the given source file. 686 void overrideFileContents(const FileEntry *SourceFile, 687 const FileEntry *NewFile); 688 689 //===--------------------------------------------------------------------===// 690 // FileID manipulation methods. 691 //===--------------------------------------------------------------------===// 692 693 /// getBuffer - Return the buffer for the specified FileID. If there is an 694 /// error opening this buffer the first time, this manufactures a temporary 695 /// buffer and returns a non-empty error string. 696 const llvm::MemoryBuffer *getBuffer(FileID FID, SourceLocation Loc, 697 bool *Invalid = 0) const { 698 bool MyInvalid = false; 699 const SrcMgr::SLocEntry &Entry = getSLocEntry(FID, &MyInvalid); 700 if (MyInvalid || !Entry.isFile()) { 701 if (Invalid) 702 *Invalid = true; 703 704 return getFakeBufferForRecovery(); 705 } 706 707 return Entry.getFile().getContentCache()->getBuffer(Diag, *this, Loc, 708 Invalid); 709 } 710 711 const llvm::MemoryBuffer *getBuffer(FileID FID, bool *Invalid = 0) const { 712 bool MyInvalid = false; 713 const SrcMgr::SLocEntry &Entry = getSLocEntry(FID, &MyInvalid); 714 if (MyInvalid || !Entry.isFile()) { 715 if (Invalid) 716 *Invalid = true; 717 718 return getFakeBufferForRecovery(); 719 } 720 721 return Entry.getFile().getContentCache()->getBuffer(Diag, *this, 722 SourceLocation(), 723 Invalid); 724 } 725 726 /// getFileEntryForID - Returns the FileEntry record for the provided FileID. 727 const FileEntry *getFileEntryForID(FileID FID) const { 728 bool MyInvalid = false; 729 const SrcMgr::SLocEntry &Entry = getSLocEntry(FID, &MyInvalid); 730 if (MyInvalid || !Entry.isFile()) 731 return 0; 732 733 return Entry.getFile().getContentCache()->OrigEntry; 734 } 735 736 /// Returns the FileEntry record for the provided SLocEntry. 737 const FileEntry *getFileEntryForSLocEntry(const SrcMgr::SLocEntry &sloc) const 738 { 739 return sloc.getFile().getContentCache()->OrigEntry; 740 } 741 742 /// getBufferData - Return a StringRef to the source buffer data for the 743 /// specified FileID. 744 /// 745 /// \param FID The file ID whose contents will be returned. 746 /// \param Invalid If non-NULL, will be set true if an error occurred. 747 StringRef getBufferData(FileID FID, bool *Invalid = 0) const; 748 749 /// \brief Get the number of FileIDs (files and macros) that were created 750 /// during preprocessing of \arg FID, including it. 751 unsigned getNumCreatedFIDsForFileID(FileID FID) const { 752 bool Invalid = false; 753 const SrcMgr::SLocEntry &Entry = getSLocEntry(FID, &Invalid); 754 if (Invalid || !Entry.isFile()) 755 return 0; 756 757 return Entry.getFile().NumCreatedFIDs; 758 } 759 760 /// \brief Set the number of FileIDs (files and macros) that were created 761 /// during preprocessing of \arg FID, including it. 762 void setNumCreatedFIDsForFileID(FileID FID, unsigned NumFIDs) const { 763 bool Invalid = false; 764 const SrcMgr::SLocEntry &Entry = getSLocEntry(FID, &Invalid); 765 if (Invalid || !Entry.isFile()) 766 return; 767 768 assert(Entry.getFile().NumCreatedFIDs == 0 && "Already set!"); 769 const_cast<SrcMgr::FileInfo &>(Entry.getFile()).NumCreatedFIDs = NumFIDs; 770 } 771 772 //===--------------------------------------------------------------------===// 773 // SourceLocation manipulation methods. 774 //===--------------------------------------------------------------------===// 775 776 /// getFileID - Return the FileID for a SourceLocation. This is a very 777 /// hot method that is used for all SourceManager queries that start with a 778 /// SourceLocation object. It is responsible for finding the entry in 779 /// SLocEntryTable which contains the specified location. 780 /// 781 FileID getFileID(SourceLocation SpellingLoc) const { 782 unsigned SLocOffset = SpellingLoc.getOffset(); 783 784 // If our one-entry cache covers this offset, just return it. 785 if (isOffsetInFileID(LastFileIDLookup, SLocOffset)) 786 return LastFileIDLookup; 787 788 return getFileIDSlow(SLocOffset); 789 } 790 791 /// getLocForStartOfFile - Return the source location corresponding to the 792 /// first byte of the specified file. 793 SourceLocation getLocForStartOfFile(FileID FID) const { 794 bool Invalid = false; 795 const SrcMgr::SLocEntry &Entry = getSLocEntry(FID, &Invalid); 796 if (Invalid || !Entry.isFile()) 797 return SourceLocation(); 798 799 unsigned FileOffset = Entry.getOffset(); 800 return SourceLocation::getFileLoc(FileOffset); 801 } 802 803 /// \brief Returns the include location if \arg FID is a #include'd file 804 /// otherwise it returns an invalid location. 805 SourceLocation getIncludeLoc(FileID FID) const { 806 bool Invalid = false; 807 const SrcMgr::SLocEntry &Entry = getSLocEntry(FID, &Invalid); 808 if (Invalid || !Entry.isFile()) 809 return SourceLocation(); 810 811 return Entry.getFile().getIncludeLoc(); 812 } 813 814 /// getExpansionLoc - Given a SourceLocation object, return the expansion 815 /// location referenced by the ID. 816 SourceLocation getExpansionLoc(SourceLocation Loc) const { 817 // Handle the non-mapped case inline, defer to out of line code to handle 818 // expansions. 819 if (Loc.isFileID()) return Loc; 820 return getExpansionLocSlowCase(Loc); 821 } 822 823 /// getImmediateExpansionRange - Loc is required to be an expansion location. 824 /// Return the start/end of the expansion information. 825 std::pair<SourceLocation,SourceLocation> 826 getImmediateExpansionRange(SourceLocation Loc) const; 827 828 /// getExpansionRange - Given a SourceLocation object, return the range of 829 /// tokens covered by the expansion the ultimate file. 830 std::pair<SourceLocation,SourceLocation> 831 getExpansionRange(SourceLocation Loc) const; 832 833 834 /// getSpellingLoc - Given a SourceLocation object, return the spelling 835 /// location referenced by the ID. This is the place where the characters 836 /// that make up the lexed token can be found. 837 SourceLocation getSpellingLoc(SourceLocation Loc) const { 838 // Handle the non-mapped case inline, defer to out of line code to handle 839 // expansions. 840 if (Loc.isFileID()) return Loc; 841 return getSpellingLocSlowCase(Loc); 842 } 843 844 /// getImmediateSpellingLoc - Given a SourceLocation object, return the 845 /// spelling location referenced by the ID. This is the first level down 846 /// towards the place where the characters that make up the lexed token can be 847 /// found. This should not generally be used by clients. 848 SourceLocation getImmediateSpellingLoc(SourceLocation Loc) const; 849 850 /// getDecomposedLoc - Decompose the specified location into a raw FileID + 851 /// Offset pair. The first element is the FileID, the second is the 852 /// offset from the start of the buffer of the location. 853 std::pair<FileID, unsigned> getDecomposedLoc(SourceLocation Loc) const { 854 FileID FID = getFileID(Loc); 855 return std::make_pair(FID, Loc.getOffset()-getSLocEntry(FID).getOffset()); 856 } 857 858 /// getDecomposedExpansionLoc - Decompose the specified location into a raw 859 /// FileID + Offset pair. If the location is an expansion record, walk 860 /// through it until we find the final location expanded. 861 std::pair<FileID, unsigned> 862 getDecomposedExpansionLoc(SourceLocation Loc) const { 863 FileID FID = getFileID(Loc); 864 const SrcMgr::SLocEntry *E = &getSLocEntry(FID); 865 866 unsigned Offset = Loc.getOffset()-E->getOffset(); 867 if (Loc.isFileID()) 868 return std::make_pair(FID, Offset); 869 870 return getDecomposedExpansionLocSlowCase(E); 871 } 872 873 /// getDecomposedSpellingLoc - Decompose the specified location into a raw 874 /// FileID + Offset pair. If the location is an expansion record, walk 875 /// through it until we find its spelling record. 876 std::pair<FileID, unsigned> 877 getDecomposedSpellingLoc(SourceLocation Loc) const { 878 FileID FID = getFileID(Loc); 879 const SrcMgr::SLocEntry *E = &getSLocEntry(FID); 880 881 unsigned Offset = Loc.getOffset()-E->getOffset(); 882 if (Loc.isFileID()) 883 return std::make_pair(FID, Offset); 884 return getDecomposedSpellingLocSlowCase(E, Offset); 885 } 886 887 /// getFileOffset - This method returns the offset from the start 888 /// of the file that the specified SourceLocation represents. This is not very 889 /// meaningful for a macro ID. 890 unsigned getFileOffset(SourceLocation SpellingLoc) const { 891 return getDecomposedLoc(SpellingLoc).second; 892 } 893 894 /// isMacroArgExpansion - This method tests whether the given source location 895 /// represents a macro argument's expansion into the function-like macro 896 /// definition. Such source locations only appear inside of the expansion 897 /// locations representing where a particular function-like macro was 898 /// expanded. 899 bool isMacroArgExpansion(SourceLocation Loc) const; 900 901 /// \brief Returns true if \arg Loc is inside the [\arg Start, +\arg Length) 902 /// chunk of the source location address space. 903 /// If it's true and \arg RelativeOffset is non-null, it will be set to the 904 /// relative offset of \arg Loc inside the chunk. 905 bool isInSLocAddrSpace(SourceLocation Loc, 906 SourceLocation Start, unsigned Length, 907 unsigned *RelativeOffset = 0) const { 908 assert(((Start.getOffset() < NextLocalOffset && 909 Start.getOffset()+Length <= NextLocalOffset) || 910 (Start.getOffset() >= CurrentLoadedOffset && 911 Start.getOffset()+Length < MaxLoadedOffset)) && 912 "Chunk is not valid SLoc address space"); 913 unsigned LocOffs = Loc.getOffset(); 914 unsigned BeginOffs = Start.getOffset(); 915 unsigned EndOffs = BeginOffs + Length; 916 if (LocOffs >= BeginOffs && LocOffs < EndOffs) { 917 if (RelativeOffset) 918 *RelativeOffset = LocOffs - BeginOffs; 919 return true; 920 } 921 922 return false; 923 } 924 925 /// \brief Return true if both \arg LHS and \arg RHS are in the local source 926 /// location address space or the loaded one. If it's true and 927 /// \arg RelativeOffset is non-null, it will be set to the offset of \arg RHS 928 /// relative to \arg LHS. 929 bool isInSameSLocAddrSpace(SourceLocation LHS, SourceLocation RHS, 930 int *RelativeOffset) const { 931 unsigned LHSOffs = LHS.getOffset(), RHSOffs = RHS.getOffset(); 932 bool LHSLoaded = LHSOffs >= CurrentLoadedOffset; 933 bool RHSLoaded = RHSOffs >= CurrentLoadedOffset; 934 935 if (LHSLoaded == RHSLoaded) { 936 if (RelativeOffset) 937 *RelativeOffset = RHSOffs - LHSOffs; 938 return true; 939 } 940 941 return false; 942 } 943 944 //===--------------------------------------------------------------------===// 945 // Queries about the code at a SourceLocation. 946 //===--------------------------------------------------------------------===// 947 948 /// getCharacterData - Return a pointer to the start of the specified location 949 /// in the appropriate spelling MemoryBuffer. 950 /// 951 /// \param Invalid If non-NULL, will be set \c true if an error occurs. 952 const char *getCharacterData(SourceLocation SL, bool *Invalid = 0) const; 953 954 /// getColumnNumber - Return the column # for the specified file position. 955 /// This is significantly cheaper to compute than the line number. This 956 /// returns zero if the column number isn't known. This may only be called 957 /// on a file sloc, so you must choose a spelling or expansion location 958 /// before calling this method. 959 unsigned getColumnNumber(FileID FID, unsigned FilePos, 960 bool *Invalid = 0) const; 961 unsigned getSpellingColumnNumber(SourceLocation Loc, bool *Invalid = 0) const; 962 unsigned getExpansionColumnNumber(SourceLocation Loc, 963 bool *Invalid = 0) const; 964 unsigned getPresumedColumnNumber(SourceLocation Loc, bool *Invalid = 0) const; 965 966 967 /// getLineNumber - Given a SourceLocation, return the spelling line number 968 /// for the position indicated. This requires building and caching a table of 969 /// line offsets for the MemoryBuffer, so this is not cheap: use only when 970 /// about to emit a diagnostic. 971 unsigned getLineNumber(FileID FID, unsigned FilePos, bool *Invalid = 0) const; 972 unsigned getSpellingLineNumber(SourceLocation Loc, bool *Invalid = 0) const; 973 unsigned getExpansionLineNumber(SourceLocation Loc, bool *Invalid = 0) const; 974 unsigned getPresumedLineNumber(SourceLocation Loc, bool *Invalid = 0) const; 975 976 /// Return the filename or buffer identifier of the buffer the location is in. 977 /// Note that this name does not respect #line directives. Use getPresumedLoc 978 /// for normal clients. 979 const char *getBufferName(SourceLocation Loc, bool *Invalid = 0) const; 980 981 /// getFileCharacteristic - return the file characteristic of the specified 982 /// source location, indicating whether this is a normal file, a system 983 /// header, or an "implicit extern C" system header. 984 /// 985 /// This state can be modified with flags on GNU linemarker directives like: 986 /// # 4 "foo.h" 3 987 /// which changes all source locations in the current file after that to be 988 /// considered to be from a system header. 989 SrcMgr::CharacteristicKind getFileCharacteristic(SourceLocation Loc) const; 990 991 /// getPresumedLoc - This method returns the "presumed" location of a 992 /// SourceLocation specifies. A "presumed location" can be modified by #line 993 /// or GNU line marker directives. This provides a view on the data that a 994 /// user should see in diagnostics, for example. 995 /// 996 /// Note that a presumed location is always given as the expansion point of 997 /// an expansion location, not at the spelling location. 998 /// 999 /// \returns The presumed location of the specified SourceLocation. If the 1000 /// presumed location cannot be calculate (e.g., because \p Loc is invalid 1001 /// or the file containing \p Loc has changed on disk), returns an invalid 1002 /// presumed location. 1003 PresumedLoc getPresumedLoc(SourceLocation Loc) const; 1004 1005 /// isFromSameFile - Returns true if both SourceLocations correspond to 1006 /// the same file. 1007 bool isFromSameFile(SourceLocation Loc1, SourceLocation Loc2) const { 1008 return getFileID(Loc1) == getFileID(Loc2); 1009 } 1010 1011 /// isFromMainFile - Returns true if the file of provided SourceLocation is 1012 /// the main file. 1013 bool isFromMainFile(SourceLocation Loc) const { 1014 return getFileID(Loc) == getMainFileID(); 1015 } 1016 1017 /// isInSystemHeader - Returns if a SourceLocation is in a system header. 1018 bool isInSystemHeader(SourceLocation Loc) const { 1019 return getFileCharacteristic(Loc) != SrcMgr::C_User; 1020 } 1021 1022 /// isInExternCSystemHeader - Returns if a SourceLocation is in an "extern C" 1023 /// system header. 1024 bool isInExternCSystemHeader(SourceLocation Loc) const { 1025 return getFileCharacteristic(Loc) == SrcMgr::C_ExternCSystem; 1026 } 1027 1028 /// \brief The size of the SLocEnty that \arg FID represents. 1029 unsigned getFileIDSize(FileID FID) const; 1030 1031 /// \brief Given a specific FileID, returns true if \arg Loc is inside that 1032 /// FileID chunk and sets relative offset (offset of \arg Loc from beginning 1033 /// of FileID) to \arg relativeOffset. 1034 bool isInFileID(SourceLocation Loc, FileID FID, 1035 unsigned *RelativeOffset = 0) const { 1036 unsigned Offs = Loc.getOffset(); 1037 if (isOffsetInFileID(FID, Offs)) { 1038 if (RelativeOffset) 1039 *RelativeOffset = Offs - getSLocEntry(FID).getOffset(); 1040 return true; 1041 } 1042 1043 return false; 1044 } 1045 1046 //===--------------------------------------------------------------------===// 1047 // Line Table Manipulation Routines 1048 //===--------------------------------------------------------------------===// 1049 1050 /// getLineTableFilenameID - Return the uniqued ID for the specified filename. 1051 /// 1052 unsigned getLineTableFilenameID(StringRef Str); 1053 1054 /// AddLineNote - Add a line note to the line table for the FileID and offset 1055 /// specified by Loc. If FilenameID is -1, it is considered to be 1056 /// unspecified. 1057 void AddLineNote(SourceLocation Loc, unsigned LineNo, int FilenameID); 1058 void AddLineNote(SourceLocation Loc, unsigned LineNo, int FilenameID, 1059 bool IsFileEntry, bool IsFileExit, 1060 bool IsSystemHeader, bool IsExternCHeader); 1061 1062 /// \brief Determine if the source manager has a line table. 1063 bool hasLineTable() const { return LineTable != 0; } 1064 1065 /// \brief Retrieve the stored line table. 1066 LineTableInfo &getLineTable(); 1067 1068 //===--------------------------------------------------------------------===// 1069 // Queries for performance analysis. 1070 //===--------------------------------------------------------------------===// 1071 1072 /// Return the total amount of physical memory allocated by the 1073 /// ContentCache allocator. 1074 size_t getContentCacheSize() const { 1075 return ContentCacheAlloc.getTotalMemory(); 1076 } 1077 1078 struct MemoryBufferSizes { 1079 const size_t malloc_bytes; 1080 const size_t mmap_bytes; 1081 1082 MemoryBufferSizes(size_t malloc_bytes, size_t mmap_bytes) 1083 : malloc_bytes(malloc_bytes), mmap_bytes(mmap_bytes) {} 1084 }; 1085 1086 /// Return the amount of memory used by memory buffers, breaking down 1087 /// by heap-backed versus mmap'ed memory. 1088 MemoryBufferSizes getMemoryBufferSizes() const; 1089 1090 // Return the amount of memory used for various side tables and 1091 // data structures in the SourceManager. 1092 size_t getDataStructureSizes() const; 1093 1094 //===--------------------------------------------------------------------===// 1095 // Other miscellaneous methods. 1096 //===--------------------------------------------------------------------===// 1097 1098 /// \brief Get the source location for the given file:line:col triplet. 1099 /// 1100 /// If the source file is included multiple times, the source location will 1101 /// be based upon the first inclusion. 1102 /// 1103 /// If the location points inside a function macro argument, the returned 1104 /// location will be the macro location in which the argument was expanded. 1105 /// \sa getMacroArgExpandedLocation 1106 SourceLocation getLocation(const FileEntry *SourceFile, 1107 unsigned Line, unsigned Col) { 1108 SourceLocation Loc = translateFileLineCol(SourceFile, Line, Col); 1109 return getMacroArgExpandedLocation(Loc); 1110 } 1111 1112 /// \brief Get the source location for the given file:line:col triplet. 1113 /// 1114 /// If the source file is included multiple times, the source location will 1115 /// be based upon the first inclusion. 1116 SourceLocation translateFileLineCol(const FileEntry *SourceFile, 1117 unsigned Line, unsigned Col); 1118 1119 /// \brief If \arg Loc points inside a function macro argument, the returned 1120 /// location will be the macro location in which the argument was expanded. 1121 /// If a macro argument is used multiple times, the expanded location will 1122 /// be at the first expansion of the argument. 1123 /// e.g. 1124 /// MY_MACRO(foo); 1125 /// ^ 1126 /// Passing a file location pointing at 'foo', will yield a macro location 1127 /// where 'foo' was expanded into. 1128 SourceLocation getMacroArgExpandedLocation(SourceLocation Loc); 1129 1130 /// \brief Determines the order of 2 source locations in the translation unit. 1131 /// 1132 /// \returns true if LHS source location comes before RHS, false otherwise. 1133 bool isBeforeInTranslationUnit(SourceLocation LHS, SourceLocation RHS) const; 1134 1135 /// \brief Comparison function class. 1136 class LocBeforeThanCompare : public std::binary_function<SourceLocation, 1137 SourceLocation, bool> { 1138 SourceManager &SM; 1139 1140 public: 1141 explicit LocBeforeThanCompare(SourceManager &SM) : SM(SM) { } 1142 1143 bool operator()(SourceLocation LHS, SourceLocation RHS) const { 1144 return SM.isBeforeInTranslationUnit(LHS, RHS); 1145 } 1146 }; 1147 1148 /// \brief Determines the order of 2 source locations in the "source location 1149 /// address space". 1150 bool isBeforeInSLocAddrSpace(SourceLocation LHS, SourceLocation RHS) const { 1151 return isBeforeInSLocAddrSpace(LHS, RHS.getOffset()); 1152 } 1153 1154 /// \brief Determines the order of a source location and a source location 1155 /// offset in the "source location address space". 1156 /// 1157 /// Note that we always consider source locations loaded from 1158 bool isBeforeInSLocAddrSpace(SourceLocation LHS, unsigned RHS) const { 1159 unsigned LHSOffset = LHS.getOffset(); 1160 bool LHSLoaded = LHSOffset >= CurrentLoadedOffset; 1161 bool RHSLoaded = RHS >= CurrentLoadedOffset; 1162 if (LHSLoaded == RHSLoaded) 1163 return LHSOffset < RHS; 1164 1165 return LHSLoaded; 1166 } 1167 1168 // Iterators over FileInfos. 1169 typedef llvm::DenseMap<const FileEntry*, SrcMgr::ContentCache*> 1170 ::const_iterator fileinfo_iterator; 1171 fileinfo_iterator fileinfo_begin() const { return FileInfos.begin(); } 1172 fileinfo_iterator fileinfo_end() const { return FileInfos.end(); } 1173 bool hasFileInfo(const FileEntry *File) const { 1174 return FileInfos.find(File) != FileInfos.end(); 1175 } 1176 1177 /// PrintStats - Print statistics to stderr. 1178 /// 1179 void PrintStats() const; 1180 1181 /// \brief Get the number of local SLocEntries we have. 1182 unsigned local_sloc_entry_size() const { return LocalSLocEntryTable.size(); } 1183 1184 /// \brief Get a local SLocEntry. This is exposed for indexing. 1185 const SrcMgr::SLocEntry &getLocalSLocEntry(unsigned Index, 1186 bool *Invalid = 0) const { 1187 assert(Index < LocalSLocEntryTable.size() && "Invalid index"); 1188 return LocalSLocEntryTable[Index]; 1189 } 1190 1191 /// \brief Get the number of loaded SLocEntries we have. 1192 unsigned loaded_sloc_entry_size() const { return LoadedSLocEntryTable.size();} 1193 1194 /// \brief Get a loaded SLocEntry. This is exposed for indexing. 1195 const SrcMgr::SLocEntry &getLoadedSLocEntry(unsigned Index, bool *Invalid=0) const { 1196 assert(Index < LoadedSLocEntryTable.size() && "Invalid index"); 1197 if (!SLocEntryLoaded[Index]) 1198 ExternalSLocEntries->ReadSLocEntry(-(static_cast<int>(Index) + 2)); 1199 return LoadedSLocEntryTable[Index]; 1200 } 1201 1202 const SrcMgr::SLocEntry &getSLocEntry(FileID FID, bool *Invalid = 0) const { 1203 return getSLocEntryByID(FID.ID); 1204 } 1205 1206 unsigned getNextLocalOffset() const { return NextLocalOffset; } 1207 1208 void setExternalSLocEntrySource(ExternalSLocEntrySource *Source) { 1209 assert(LoadedSLocEntryTable.empty() && 1210 "Invalidating existing loaded entries"); 1211 ExternalSLocEntries = Source; 1212 } 1213 1214 /// \brief Allocate a number of loaded SLocEntries, which will be actually 1215 /// loaded on demand from the external source. 1216 /// 1217 /// NumSLocEntries will be allocated, which occupy a total of TotalSize space 1218 /// in the global source view. The lowest ID and the base offset of the 1219 /// entries will be returned. 1220 std::pair<int, unsigned> 1221 AllocateLoadedSLocEntries(unsigned NumSLocEntries, unsigned TotalSize); 1222 1223private: 1224 const llvm::MemoryBuffer *getFakeBufferForRecovery() const; 1225 1226 /// \brief Get the entry with the given unwrapped FileID. 1227 const SrcMgr::SLocEntry &getSLocEntryByID(int ID) const { 1228 assert(ID != -1 && "Using FileID sentinel value"); 1229 if (ID < 0) 1230 return getLoadedSLocEntryByID(ID); 1231 return getLocalSLocEntry(static_cast<unsigned>(ID)); 1232 } 1233 1234 const SrcMgr::SLocEntry &getLoadedSLocEntryByID(int ID) const { 1235 return getLoadedSLocEntry(static_cast<unsigned>(-ID - 2)); 1236 } 1237 1238 /// createExpansionLoc - Implements the common elements of storing an 1239 /// expansion info struct into the SLocEntry table and producing a source 1240 /// location that refers to it. 1241 SourceLocation createExpansionLocImpl(const SrcMgr::ExpansionInfo &Expansion, 1242 unsigned TokLength, 1243 int LoadedID = 0, 1244 unsigned LoadedOffset = 0); 1245 1246 /// isOffsetInFileID - Return true if the specified FileID contains the 1247 /// specified SourceLocation offset. This is a very hot method. 1248 inline bool isOffsetInFileID(FileID FID, unsigned SLocOffset) const { 1249 const SrcMgr::SLocEntry &Entry = getSLocEntry(FID); 1250 // If the entry is after the offset, it can't contain it. 1251 if (SLocOffset < Entry.getOffset()) return false; 1252 1253 // If this is the very last entry then it does. 1254 if (FID.ID == -2) 1255 return true; 1256 1257 // If it is the last local entry, then it does if the location is local. 1258 if (static_cast<unsigned>(FID.ID+1) == LocalSLocEntryTable.size()) { 1259 return SLocOffset < NextLocalOffset; 1260 } 1261 1262 // Otherwise, the entry after it has to not include it. This works for both 1263 // local and loaded entries. 1264 return SLocOffset < getSLocEntry(FileID::get(FID.ID+1)).getOffset(); 1265 } 1266 1267 /// createFileID - Create a new fileID for the specified ContentCache and 1268 /// include position. This works regardless of whether the ContentCache 1269 /// corresponds to a file or some other input source. 1270 FileID createFileID(const SrcMgr::ContentCache* File, 1271 SourceLocation IncludePos, 1272 SrcMgr::CharacteristicKind DirCharacter, 1273 int LoadedID, unsigned LoadedOffset); 1274 1275 const SrcMgr::ContentCache * 1276 getOrCreateContentCache(const FileEntry *SourceFile); 1277 1278 /// createMemBufferContentCache - Create a new ContentCache for the specified 1279 /// memory buffer. 1280 const SrcMgr::ContentCache* 1281 createMemBufferContentCache(const llvm::MemoryBuffer *Buf); 1282 1283 FileID getFileIDSlow(unsigned SLocOffset) const; 1284 FileID getFileIDLocal(unsigned SLocOffset) const; 1285 FileID getFileIDLoaded(unsigned SLocOffset) const; 1286 1287 SourceLocation getExpansionLocSlowCase(SourceLocation Loc) const; 1288 SourceLocation getSpellingLocSlowCase(SourceLocation Loc) const; 1289 1290 std::pair<FileID, unsigned> 1291 getDecomposedExpansionLocSlowCase(const SrcMgr::SLocEntry *E) const; 1292 std::pair<FileID, unsigned> 1293 getDecomposedSpellingLocSlowCase(const SrcMgr::SLocEntry *E, 1294 unsigned Offset) const; 1295 void computeMacroArgsCache(SrcMgr::ContentCache *Content, FileID FID); 1296}; 1297 1298 1299} // end namespace clang 1300 1301#endif 1302