Douglas Gregor | 065f8d1 | 2010-03-18 17:52:52 +0000 | [diff] [blame] | 1 | //===--- PreprocessingRecord.cpp - Record of Preprocessing ------*- 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 implements the PreprocessingRecord class, which maintains a record |
| 11 | // of what occurred during preprocessing, and its helpers. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | #include "clang/Lex/PreprocessingRecord.h" |
| 15 | #include "clang/Lex/MacroInfo.h" |
| 16 | #include "clang/Lex/Token.h" |
Douglas Gregor | 796d76a | 2010-10-20 22:00:55 +0000 | [diff] [blame] | 17 | #include "llvm/Support/ErrorHandling.h" |
Ted Kremenek | f1c3881 | 2011-07-27 18:41:20 +0000 | [diff] [blame] | 18 | #include "llvm/Support/Capacity.h" |
Douglas Gregor | 065f8d1 | 2010-03-18 17:52:52 +0000 | [diff] [blame] | 19 | |
| 20 | using namespace clang; |
| 21 | |
Douglas Gregor | aae9224 | 2010-03-19 21:51:54 +0000 | [diff] [blame] | 22 | ExternalPreprocessingRecordSource::~ExternalPreprocessingRecordSource() { } |
| 23 | |
Douglas Gregor | f09b6c9 | 2010-11-01 15:03:47 +0000 | [diff] [blame] | 24 | |
| 25 | InclusionDirective::InclusionDirective(PreprocessingRecord &PPRec, |
| 26 | InclusionKind Kind, |
Chris Lattner | 0e62c1c | 2011-07-23 10:55:15 +0000 | [diff] [blame] | 27 | StringRef FileName, |
Douglas Gregor | f09b6c9 | 2010-11-01 15:03:47 +0000 | [diff] [blame] | 28 | bool InQuotes, const FileEntry *File, |
| 29 | SourceRange Range) |
| 30 | : PreprocessingDirective(InclusionDirectiveKind, Range), |
| 31 | InQuotes(InQuotes), Kind(Kind), File(File) |
| 32 | { |
| 33 | char *Memory |
| 34 | = (char*)PPRec.Allocate(FileName.size() + 1, llvm::alignOf<char>()); |
| 35 | memcpy(Memory, FileName.data(), FileName.size()); |
| 36 | Memory[FileName.size()] = 0; |
Chris Lattner | 0e62c1c | 2011-07-23 10:55:15 +0000 | [diff] [blame] | 37 | this->FileName = StringRef(Memory, FileName.size()); |
Douglas Gregor | f09b6c9 | 2010-11-01 15:03:47 +0000 | [diff] [blame] | 38 | } |
| 39 | |
Argyrios Kyrtzidis | 64f6381 | 2011-09-19 20:40:25 +0000 | [diff] [blame] | 40 | PreprocessingRecord::PreprocessingRecord(SourceManager &SM, |
| 41 | bool IncludeNestedMacroExpansions) |
| 42 | : SourceMgr(SM), IncludeNestedMacroExpansions(IncludeNestedMacroExpansions), |
Argyrios Kyrtzidis | 03c40c5 | 2011-09-15 18:02:56 +0000 | [diff] [blame] | 43 | ExternalSource(0) |
Douglas Gregor | aae9224 | 2010-03-19 21:51:54 +0000 | [diff] [blame] | 44 | { |
| 45 | } |
| 46 | |
Argyrios Kyrtzidis | 64f6381 | 2011-09-19 20:40:25 +0000 | [diff] [blame] | 47 | /// \brief Returns a pair of [Begin, End) iterators of preprocessed entities |
| 48 | /// that source range \arg R encompasses. |
| 49 | std::pair<PreprocessingRecord::iterator, PreprocessingRecord::iterator> |
| 50 | PreprocessingRecord::getPreprocessedEntitiesInRange(SourceRange Range) { |
| 51 | if (Range.isInvalid()) |
| 52 | return std::make_pair(iterator(this, 0), iterator(this, 0)); |
| 53 | assert(!SourceMgr.isBeforeInTranslationUnit(Range.getEnd(),Range.getBegin())); |
| 54 | |
| 55 | std::pair<unsigned, unsigned> |
| 56 | Local = findLocalPreprocessedEntitiesInRange(Range); |
| 57 | |
| 58 | // Check if range spans local entities. |
| 59 | if (!ExternalSource || SourceMgr.isLocalSourceLocation(Range.getBegin())) |
| 60 | return std::make_pair(iterator(this, Local.first), |
| 61 | iterator(this, Local.second)); |
| 62 | |
| 63 | std::pair<unsigned, unsigned> |
| 64 | Loaded = ExternalSource->findPreprocessedEntitiesInRange(Range); |
| 65 | |
| 66 | // Check if range spans local entities. |
| 67 | if (Loaded.first == Loaded.second) |
| 68 | return std::make_pair(iterator(this, Local.first), |
| 69 | iterator(this, Local.second)); |
| 70 | |
| 71 | unsigned TotalLoaded = LoadedPreprocessedEntities.size(); |
| 72 | |
| 73 | // Check if range spans loaded entities. |
| 74 | if (Local.first == Local.second) |
| 75 | return std::make_pair(iterator(this, int(Loaded.first)-TotalLoaded), |
| 76 | iterator(this, int(Loaded.second)-TotalLoaded)); |
| 77 | |
| 78 | // Range spands loaded and local entities. |
| 79 | return std::make_pair(iterator(this, int(Loaded.first)-TotalLoaded), |
| 80 | iterator(this, Local.second)); |
| 81 | } |
| 82 | |
| 83 | std::pair<unsigned, unsigned> |
| 84 | PreprocessingRecord::findLocalPreprocessedEntitiesInRange( |
| 85 | SourceRange Range) const { |
| 86 | if (Range.isInvalid()) |
| 87 | return std::make_pair(0,0); |
| 88 | assert(!SourceMgr.isBeforeInTranslationUnit(Range.getEnd(),Range.getBegin())); |
| 89 | |
| 90 | unsigned Begin = findBeginLocalPreprocessedEntity(Range.getBegin()); |
| 91 | unsigned End = findEndLocalPreprocessedEntity(Range.getEnd()); |
| 92 | return std::make_pair(Begin, End); |
| 93 | } |
| 94 | |
| 95 | namespace { |
| 96 | |
| 97 | template <SourceLocation (SourceRange::*getRangeLoc)() const> |
| 98 | struct PPEntityComp { |
| 99 | const SourceManager &SM; |
| 100 | |
| 101 | explicit PPEntityComp(const SourceManager &SM) : SM(SM) { } |
| 102 | |
| 103 | bool operator()(PreprocessedEntity *L, SourceLocation RHS) { |
| 104 | SourceLocation LHS = getLoc(L); |
| 105 | return SM.isBeforeInTranslationUnit(LHS, RHS); |
| 106 | } |
| 107 | |
| 108 | bool operator()(SourceLocation LHS, PreprocessedEntity *R) { |
| 109 | SourceLocation RHS = getLoc(R); |
| 110 | return SM.isBeforeInTranslationUnit(LHS, RHS); |
| 111 | } |
| 112 | |
| 113 | SourceLocation getLoc(PreprocessedEntity *PPE) const { |
Argyrios Kyrtzidis | a35c444 | 2011-09-19 22:02:08 +0000 | [diff] [blame] | 114 | SourceRange Range = PPE->getSourceRange(); |
| 115 | return (Range.*getRangeLoc)(); |
Argyrios Kyrtzidis | 64f6381 | 2011-09-19 20:40:25 +0000 | [diff] [blame] | 116 | } |
| 117 | }; |
| 118 | |
| 119 | } |
| 120 | |
| 121 | unsigned PreprocessingRecord::findBeginLocalPreprocessedEntity( |
| 122 | SourceLocation Loc) const { |
| 123 | if (SourceMgr.isLoadedSourceLocation(Loc)) |
| 124 | return 0; |
| 125 | |
| 126 | std::vector<PreprocessedEntity *>::const_iterator |
| 127 | I = std::lower_bound(PreprocessedEntities.begin(), |
| 128 | PreprocessedEntities.end(), |
| 129 | Loc, |
| 130 | PPEntityComp<&SourceRange::getEnd>(SourceMgr)); |
| 131 | return I - PreprocessedEntities.begin(); |
| 132 | } |
| 133 | |
| 134 | unsigned PreprocessingRecord::findEndLocalPreprocessedEntity( |
| 135 | SourceLocation Loc) const { |
| 136 | if (SourceMgr.isLoadedSourceLocation(Loc)) |
| 137 | return 0; |
| 138 | |
| 139 | std::vector<PreprocessedEntity *>::const_iterator |
| 140 | I = std::upper_bound(PreprocessedEntities.begin(), |
| 141 | PreprocessedEntities.end(), |
| 142 | Loc, |
| 143 | PPEntityComp<&SourceRange::getBegin>(SourceMgr)); |
| 144 | return I - PreprocessedEntities.begin(); |
| 145 | } |
| 146 | |
Douglas Gregor | 065f8d1 | 2010-03-18 17:52:52 +0000 | [diff] [blame] | 147 | void PreprocessingRecord::addPreprocessedEntity(PreprocessedEntity *Entity) { |
Argyrios Kyrtzidis | 64f6381 | 2011-09-19 20:40:25 +0000 | [diff] [blame] | 148 | SourceLocation Loc = Entity->getSourceRange().getBegin(); |
| 149 | assert((PreprocessedEntities.empty() || |
| 150 | !SourceMgr.isBeforeInTranslationUnit(Loc, |
| 151 | PreprocessedEntities.back()->getSourceRange().getEnd())) && |
| 152 | "Adding a preprocessed entity that is before the previous one in TU"); |
Douglas Gregor | 065f8d1 | 2010-03-18 17:52:52 +0000 | [diff] [blame] | 153 | PreprocessedEntities.push_back(Entity); |
| 154 | } |
| 155 | |
Douglas Gregor | aae9224 | 2010-03-19 21:51:54 +0000 | [diff] [blame] | 156 | void PreprocessingRecord::SetExternalSource( |
Douglas Gregor | 4a9c39a | 2011-07-21 00:47:40 +0000 | [diff] [blame] | 157 | ExternalPreprocessingRecordSource &Source) { |
Douglas Gregor | aae9224 | 2010-03-19 21:51:54 +0000 | [diff] [blame] | 158 | assert(!ExternalSource && |
| 159 | "Preprocessing record already has an external source"); |
| 160 | ExternalSource = &Source; |
Douglas Gregor | aae9224 | 2010-03-19 21:51:54 +0000 | [diff] [blame] | 161 | } |
| 162 | |
Douglas Gregor | 4a9c39a | 2011-07-21 00:47:40 +0000 | [diff] [blame] | 163 | unsigned PreprocessingRecord::allocateLoadedEntities(unsigned NumEntities) { |
| 164 | unsigned Result = LoadedPreprocessedEntities.size(); |
| 165 | LoadedPreprocessedEntities.resize(LoadedPreprocessedEntities.size() |
| 166 | + NumEntities); |
| 167 | return Result; |
| 168 | } |
| 169 | |
Argyrios Kyrtzidis | 03c40c5 | 2011-09-15 18:02:56 +0000 | [diff] [blame] | 170 | void PreprocessingRecord::RegisterMacroDefinition(MacroInfo *Macro, |
| 171 | PPEntityID PPID) { |
| 172 | MacroDefinitions[Macro] = PPID; |
Douglas Gregor | aae9224 | 2010-03-19 21:51:54 +0000 | [diff] [blame] | 173 | } |
| 174 | |
Argyrios Kyrtzidis | 03c40c5 | 2011-09-15 18:02:56 +0000 | [diff] [blame] | 175 | /// \brief Retrieve the preprocessed entity at the given ID. |
| 176 | PreprocessedEntity *PreprocessingRecord::getPreprocessedEntity(PPEntityID PPID){ |
| 177 | if (PPID < 0) { |
| 178 | assert(unsigned(-PPID-1) < LoadedPreprocessedEntities.size() && |
| 179 | "Out-of bounds loaded preprocessed entity"); |
| 180 | return getLoadedPreprocessedEntity(LoadedPreprocessedEntities.size()+PPID); |
| 181 | } |
| 182 | assert(unsigned(PPID) < PreprocessedEntities.size() && |
| 183 | "Out-of bounds local preprocessed entity"); |
| 184 | return PreprocessedEntities[PPID]; |
| 185 | } |
| 186 | |
| 187 | /// \brief Retrieve the loaded preprocessed entity at the given index. |
| 188 | PreprocessedEntity * |
| 189 | PreprocessingRecord::getLoadedPreprocessedEntity(unsigned Index) { |
| 190 | assert(Index < LoadedPreprocessedEntities.size() && |
| 191 | "Out-of bounds loaded preprocessed entity"); |
| 192 | assert(ExternalSource && "No external source to load from"); |
| 193 | PreprocessedEntity *&Entity = LoadedPreprocessedEntities[Index]; |
| 194 | if (!Entity) { |
| 195 | Entity = ExternalSource->ReadPreprocessedEntity(Index); |
| 196 | if (!Entity) // Failed to load. |
| 197 | Entity = new (*this) |
| 198 | PreprocessedEntity(PreprocessedEntity::InvalidKind, SourceRange()); |
| 199 | } |
| 200 | return Entity; |
Douglas Gregor | aae9224 | 2010-03-19 21:51:54 +0000 | [diff] [blame] | 201 | } |
| 202 | |
Douglas Gregor | 8aaca67 | 2010-03-19 21:58:23 +0000 | [diff] [blame] | 203 | MacroDefinition *PreprocessingRecord::findMacroDefinition(const MacroInfo *MI) { |
Argyrios Kyrtzidis | 03c40c5 | 2011-09-15 18:02:56 +0000 | [diff] [blame] | 204 | llvm::DenseMap<const MacroInfo *, PPEntityID>::iterator Pos |
Douglas Gregor | 7dc8722 | 2010-03-19 17:12:43 +0000 | [diff] [blame] | 205 | = MacroDefinitions.find(MI); |
| 206 | if (Pos == MacroDefinitions.end()) |
| 207 | return 0; |
| 208 | |
Argyrios Kyrtzidis | 03c40c5 | 2011-09-15 18:02:56 +0000 | [diff] [blame] | 209 | PreprocessedEntity *Entity = getPreprocessedEntity(Pos->second); |
| 210 | if (Entity->isInvalid()) |
| 211 | return 0; |
| 212 | return cast<MacroDefinition>(Entity); |
Douglas Gregor | 7dc8722 | 2010-03-19 17:12:43 +0000 | [diff] [blame] | 213 | } |
| 214 | |
Argyrios Kyrtzidis | 85a14bb | 2011-08-18 01:05:45 +0000 | [diff] [blame] | 215 | void PreprocessingRecord::MacroExpands(const Token &Id, const MacroInfo* MI, |
| 216 | SourceRange Range) { |
Chandler Carruth | a88a2218 | 2011-07-14 08:20:46 +0000 | [diff] [blame] | 217 | if (!IncludeNestedMacroExpansions && Id.getLocation().isMacroID()) |
Douglas Gregor | 998caea | 2011-05-06 16:33:08 +0000 | [diff] [blame] | 218 | return; |
| 219 | |
Argyrios Kyrtzidis | 80f78b9 | 2011-09-08 17:18:41 +0000 | [diff] [blame] | 220 | if (MI->isBuiltinMacro()) |
Argyrios Kyrtzidis | 64f6381 | 2011-09-19 20:40:25 +0000 | [diff] [blame] | 221 | addPreprocessedEntity( |
Argyrios Kyrtzidis | 80f78b9 | 2011-09-08 17:18:41 +0000 | [diff] [blame] | 222 | new (*this) MacroExpansion(Id.getIdentifierInfo(),Range)); |
| 223 | else if (MacroDefinition *Def = findMacroDefinition(MI)) |
Argyrios Kyrtzidis | 64f6381 | 2011-09-19 20:40:25 +0000 | [diff] [blame] | 224 | addPreprocessedEntity( |
Argyrios Kyrtzidis | 80f78b9 | 2011-09-08 17:18:41 +0000 | [diff] [blame] | 225 | new (*this) MacroExpansion(Def, Range)); |
Douglas Gregor | 7dc8722 | 2010-03-19 17:12:43 +0000 | [diff] [blame] | 226 | } |
| 227 | |
Craig Silverstein | 1a9ca21 | 2010-11-19 21:33:15 +0000 | [diff] [blame] | 228 | void PreprocessingRecord::MacroDefined(const Token &Id, |
Douglas Gregor | 7dc8722 | 2010-03-19 17:12:43 +0000 | [diff] [blame] | 229 | const MacroInfo *MI) { |
| 230 | SourceRange R(MI->getDefinitionLoc(), MI->getDefinitionEndLoc()); |
| 231 | MacroDefinition *Def |
Craig Silverstein | 1a9ca21 | 2010-11-19 21:33:15 +0000 | [diff] [blame] | 232 | = new (*this) MacroDefinition(Id.getIdentifierInfo(), |
| 233 | MI->getDefinitionLoc(), |
| 234 | R); |
Argyrios Kyrtzidis | 64f6381 | 2011-09-19 20:40:25 +0000 | [diff] [blame] | 235 | addPreprocessedEntity(Def); |
Argyrios Kyrtzidis | 03c40c5 | 2011-09-15 18:02:56 +0000 | [diff] [blame] | 236 | MacroDefinitions[MI] = getPPEntityID(PreprocessedEntities.size()-1, |
| 237 | /*isLoaded=*/false); |
Douglas Gregor | 7dc8722 | 2010-03-19 17:12:43 +0000 | [diff] [blame] | 238 | } |
Douglas Gregor | aae9224 | 2010-03-19 21:51:54 +0000 | [diff] [blame] | 239 | |
Craig Silverstein | 1a9ca21 | 2010-11-19 21:33:15 +0000 | [diff] [blame] | 240 | void PreprocessingRecord::MacroUndefined(const Token &Id, |
Douglas Gregor | 8aaca67 | 2010-03-19 21:58:23 +0000 | [diff] [blame] | 241 | const MacroInfo *MI) { |
Argyrios Kyrtzidis | 03c40c5 | 2011-09-15 18:02:56 +0000 | [diff] [blame] | 242 | llvm::DenseMap<const MacroInfo *, PPEntityID>::iterator Pos |
Douglas Gregor | 8aaca67 | 2010-03-19 21:58:23 +0000 | [diff] [blame] | 243 | = MacroDefinitions.find(MI); |
| 244 | if (Pos != MacroDefinitions.end()) |
| 245 | MacroDefinitions.erase(Pos); |
| 246 | } |
| 247 | |
Chandler Carruth | 3cc331a | 2011-03-16 18:34:36 +0000 | [diff] [blame] | 248 | void PreprocessingRecord::InclusionDirective( |
| 249 | SourceLocation HashLoc, |
| 250 | const clang::Token &IncludeTok, |
Chris Lattner | 0e62c1c | 2011-07-23 10:55:15 +0000 | [diff] [blame] | 251 | StringRef FileName, |
Chandler Carruth | 3cc331a | 2011-03-16 18:34:36 +0000 | [diff] [blame] | 252 | bool IsAngled, |
| 253 | const FileEntry *File, |
| 254 | clang::SourceLocation EndLoc, |
Chris Lattner | 0e62c1c | 2011-07-23 10:55:15 +0000 | [diff] [blame] | 255 | StringRef SearchPath, |
| 256 | StringRef RelativePath) { |
Douglas Gregor | 796d76a | 2010-10-20 22:00:55 +0000 | [diff] [blame] | 257 | InclusionDirective::InclusionKind Kind = InclusionDirective::Include; |
| 258 | |
| 259 | switch (IncludeTok.getIdentifierInfo()->getPPKeywordID()) { |
| 260 | case tok::pp_include: |
| 261 | Kind = InclusionDirective::Include; |
| 262 | break; |
| 263 | |
| 264 | case tok::pp_import: |
| 265 | Kind = InclusionDirective::Import; |
| 266 | break; |
| 267 | |
| 268 | case tok::pp_include_next: |
| 269 | Kind = InclusionDirective::IncludeNext; |
| 270 | break; |
| 271 | |
| 272 | case tok::pp___include_macros: |
| 273 | Kind = InclusionDirective::IncludeMacros; |
| 274 | break; |
| 275 | |
| 276 | default: |
| 277 | llvm_unreachable("Unknown include directive kind"); |
| 278 | return; |
| 279 | } |
| 280 | |
| 281 | clang::InclusionDirective *ID |
Douglas Gregor | f09b6c9 | 2010-11-01 15:03:47 +0000 | [diff] [blame] | 282 | = new (*this) clang::InclusionDirective(*this, Kind, FileName, !IsAngled, |
| 283 | File, SourceRange(HashLoc, EndLoc)); |
Argyrios Kyrtzidis | 64f6381 | 2011-09-19 20:40:25 +0000 | [diff] [blame] | 284 | addPreprocessedEntity(ID); |
Douglas Gregor | 796d76a | 2010-10-20 22:00:55 +0000 | [diff] [blame] | 285 | } |
Ted Kremenek | 182543a | 2011-07-26 21:17:24 +0000 | [diff] [blame] | 286 | |
| 287 | size_t PreprocessingRecord::getTotalMemory() const { |
| 288 | return BumpAlloc.getTotalMemory() |
Ted Kremenek | f1c3881 | 2011-07-27 18:41:20 +0000 | [diff] [blame] | 289 | + llvm::capacity_in_bytes(MacroDefinitions) |
| 290 | + llvm::capacity_in_bytes(PreprocessedEntities) |
| 291 | + llvm::capacity_in_bytes(LoadedPreprocessedEntities); |
Ted Kremenek | 182543a | 2011-07-26 21:17:24 +0000 | [diff] [blame] | 292 | } |