blob: 1fc823076318c7e17ebc9525908365d147df3787 [file] [log] [blame]
Douglas Gregor065f8d12010-03-18 17:52:52 +00001//===--- 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 Gregor796d76a2010-10-20 22:00:55 +000017#include "llvm/Support/ErrorHandling.h"
Ted Kremenekf1c38812011-07-27 18:41:20 +000018#include "llvm/Support/Capacity.h"
Douglas Gregor065f8d12010-03-18 17:52:52 +000019
20using namespace clang;
21
Douglas Gregoraae92242010-03-19 21:51:54 +000022ExternalPreprocessingRecordSource::~ExternalPreprocessingRecordSource() { }
23
Douglas Gregorf09b6c92010-11-01 15:03:47 +000024
25InclusionDirective::InclusionDirective(PreprocessingRecord &PPRec,
26 InclusionKind Kind,
Chris Lattner0e62c1c2011-07-23 10:55:15 +000027 StringRef FileName,
Douglas Gregorf09b6c92010-11-01 15:03:47 +000028 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 Lattner0e62c1c2011-07-23 10:55:15 +000037 this->FileName = StringRef(Memory, FileName.size());
Douglas Gregorf09b6c92010-11-01 15:03:47 +000038}
39
Argyrios Kyrtzidis64f63812011-09-19 20:40:25 +000040PreprocessingRecord::PreprocessingRecord(SourceManager &SM,
41 bool IncludeNestedMacroExpansions)
42 : SourceMgr(SM), IncludeNestedMacroExpansions(IncludeNestedMacroExpansions),
Argyrios Kyrtzidis03c40c52011-09-15 18:02:56 +000043 ExternalSource(0)
Douglas Gregoraae92242010-03-19 21:51:54 +000044{
45}
46
47PreprocessingRecord::iterator
48PreprocessingRecord::begin(bool OnlyLocalEntities) {
49 if (OnlyLocalEntities)
Douglas Gregor4a9c39a2011-07-21 00:47:40 +000050 return iterator(this, 0);
Douglas Gregoraae92242010-03-19 21:51:54 +000051
Douglas Gregor4a9c39a2011-07-21 00:47:40 +000052 return iterator(this, -(int)LoadedPreprocessedEntities.size());
Douglas Gregoraae92242010-03-19 21:51:54 +000053}
54
55PreprocessingRecord::iterator PreprocessingRecord::end(bool OnlyLocalEntities) {
Douglas Gregor4a9c39a2011-07-21 00:47:40 +000056 return iterator(this, PreprocessedEntities.size());
Douglas Gregoraae92242010-03-19 21:51:54 +000057}
58
Argyrios Kyrtzidis64f63812011-09-19 20:40:25 +000059/// \brief Returns a pair of [Begin, End) iterators of preprocessed entities
60/// that source range \arg R encompasses.
61std::pair<PreprocessingRecord::iterator, PreprocessingRecord::iterator>
62PreprocessingRecord::getPreprocessedEntitiesInRange(SourceRange Range) {
63 if (Range.isInvalid())
64 return std::make_pair(iterator(this, 0), iterator(this, 0));
65 assert(!SourceMgr.isBeforeInTranslationUnit(Range.getEnd(),Range.getBegin()));
66
67 std::pair<unsigned, unsigned>
68 Local = findLocalPreprocessedEntitiesInRange(Range);
69
70 // Check if range spans local entities.
71 if (!ExternalSource || SourceMgr.isLocalSourceLocation(Range.getBegin()))
72 return std::make_pair(iterator(this, Local.first),
73 iterator(this, Local.second));
74
75 std::pair<unsigned, unsigned>
76 Loaded = ExternalSource->findPreprocessedEntitiesInRange(Range);
77
78 // Check if range spans local entities.
79 if (Loaded.first == Loaded.second)
80 return std::make_pair(iterator(this, Local.first),
81 iterator(this, Local.second));
82
83 unsigned TotalLoaded = LoadedPreprocessedEntities.size();
84
85 // Check if range spans loaded entities.
86 if (Local.first == Local.second)
87 return std::make_pair(iterator(this, int(Loaded.first)-TotalLoaded),
88 iterator(this, int(Loaded.second)-TotalLoaded));
89
90 // Range spands loaded and local entities.
91 return std::make_pair(iterator(this, int(Loaded.first)-TotalLoaded),
92 iterator(this, Local.second));
93}
94
95std::pair<unsigned, unsigned>
96PreprocessingRecord::findLocalPreprocessedEntitiesInRange(
97 SourceRange Range) const {
98 if (Range.isInvalid())
99 return std::make_pair(0,0);
100 assert(!SourceMgr.isBeforeInTranslationUnit(Range.getEnd(),Range.getBegin()));
101
102 unsigned Begin = findBeginLocalPreprocessedEntity(Range.getBegin());
103 unsigned End = findEndLocalPreprocessedEntity(Range.getEnd());
104 return std::make_pair(Begin, End);
105}
106
107namespace {
108
109template <SourceLocation (SourceRange::*getRangeLoc)() const>
110struct PPEntityComp {
111 const SourceManager &SM;
112
113 explicit PPEntityComp(const SourceManager &SM) : SM(SM) { }
114
115 bool operator()(PreprocessedEntity *L, SourceLocation RHS) {
116 SourceLocation LHS = getLoc(L);
117 return SM.isBeforeInTranslationUnit(LHS, RHS);
118 }
119
120 bool operator()(SourceLocation LHS, PreprocessedEntity *R) {
121 SourceLocation RHS = getLoc(R);
122 return SM.isBeforeInTranslationUnit(LHS, RHS);
123 }
124
125 SourceLocation getLoc(PreprocessedEntity *PPE) const {
126 return (PPE->getSourceRange().*getRangeLoc)();
127 }
128};
129
130}
131
132unsigned PreprocessingRecord::findBeginLocalPreprocessedEntity(
133 SourceLocation Loc) const {
134 if (SourceMgr.isLoadedSourceLocation(Loc))
135 return 0;
136
137 std::vector<PreprocessedEntity *>::const_iterator
138 I = std::lower_bound(PreprocessedEntities.begin(),
139 PreprocessedEntities.end(),
140 Loc,
141 PPEntityComp<&SourceRange::getEnd>(SourceMgr));
142 return I - PreprocessedEntities.begin();
143}
144
145unsigned PreprocessingRecord::findEndLocalPreprocessedEntity(
146 SourceLocation Loc) const {
147 if (SourceMgr.isLoadedSourceLocation(Loc))
148 return 0;
149
150 std::vector<PreprocessedEntity *>::const_iterator
151 I = std::upper_bound(PreprocessedEntities.begin(),
152 PreprocessedEntities.end(),
153 Loc,
154 PPEntityComp<&SourceRange::getBegin>(SourceMgr));
155 return I - PreprocessedEntities.begin();
156}
157
Douglas Gregor065f8d12010-03-18 17:52:52 +0000158void PreprocessingRecord::addPreprocessedEntity(PreprocessedEntity *Entity) {
Argyrios Kyrtzidis64f63812011-09-19 20:40:25 +0000159 SourceLocation Loc = Entity->getSourceRange().getBegin();
160 assert((PreprocessedEntities.empty() ||
161 !SourceMgr.isBeforeInTranslationUnit(Loc,
162 PreprocessedEntities.back()->getSourceRange().getEnd())) &&
163 "Adding a preprocessed entity that is before the previous one in TU");
Douglas Gregor065f8d12010-03-18 17:52:52 +0000164 PreprocessedEntities.push_back(Entity);
165}
166
Douglas Gregoraae92242010-03-19 21:51:54 +0000167void PreprocessingRecord::SetExternalSource(
Douglas Gregor4a9c39a2011-07-21 00:47:40 +0000168 ExternalPreprocessingRecordSource &Source) {
Douglas Gregoraae92242010-03-19 21:51:54 +0000169 assert(!ExternalSource &&
170 "Preprocessing record already has an external source");
171 ExternalSource = &Source;
Douglas Gregoraae92242010-03-19 21:51:54 +0000172}
173
Douglas Gregor4a9c39a2011-07-21 00:47:40 +0000174unsigned PreprocessingRecord::allocateLoadedEntities(unsigned NumEntities) {
175 unsigned Result = LoadedPreprocessedEntities.size();
176 LoadedPreprocessedEntities.resize(LoadedPreprocessedEntities.size()
177 + NumEntities);
178 return Result;
179}
180
Argyrios Kyrtzidis03c40c52011-09-15 18:02:56 +0000181void PreprocessingRecord::RegisterMacroDefinition(MacroInfo *Macro,
182 PPEntityID PPID) {
183 MacroDefinitions[Macro] = PPID;
Douglas Gregoraae92242010-03-19 21:51:54 +0000184}
185
Argyrios Kyrtzidis03c40c52011-09-15 18:02:56 +0000186/// \brief Retrieve the preprocessed entity at the given ID.
187PreprocessedEntity *PreprocessingRecord::getPreprocessedEntity(PPEntityID PPID){
188 if (PPID < 0) {
189 assert(unsigned(-PPID-1) < LoadedPreprocessedEntities.size() &&
190 "Out-of bounds loaded preprocessed entity");
191 return getLoadedPreprocessedEntity(LoadedPreprocessedEntities.size()+PPID);
192 }
193 assert(unsigned(PPID) < PreprocessedEntities.size() &&
194 "Out-of bounds local preprocessed entity");
195 return PreprocessedEntities[PPID];
196}
197
198/// \brief Retrieve the loaded preprocessed entity at the given index.
199PreprocessedEntity *
200PreprocessingRecord::getLoadedPreprocessedEntity(unsigned Index) {
201 assert(Index < LoadedPreprocessedEntities.size() &&
202 "Out-of bounds loaded preprocessed entity");
203 assert(ExternalSource && "No external source to load from");
204 PreprocessedEntity *&Entity = LoadedPreprocessedEntities[Index];
205 if (!Entity) {
206 Entity = ExternalSource->ReadPreprocessedEntity(Index);
207 if (!Entity) // Failed to load.
208 Entity = new (*this)
209 PreprocessedEntity(PreprocessedEntity::InvalidKind, SourceRange());
210 }
211 return Entity;
Douglas Gregoraae92242010-03-19 21:51:54 +0000212}
213
Douglas Gregor8aaca672010-03-19 21:58:23 +0000214MacroDefinition *PreprocessingRecord::findMacroDefinition(const MacroInfo *MI) {
Argyrios Kyrtzidis03c40c52011-09-15 18:02:56 +0000215 llvm::DenseMap<const MacroInfo *, PPEntityID>::iterator Pos
Douglas Gregor7dc87222010-03-19 17:12:43 +0000216 = MacroDefinitions.find(MI);
217 if (Pos == MacroDefinitions.end())
218 return 0;
219
Argyrios Kyrtzidis03c40c52011-09-15 18:02:56 +0000220 PreprocessedEntity *Entity = getPreprocessedEntity(Pos->second);
221 if (Entity->isInvalid())
222 return 0;
223 return cast<MacroDefinition>(Entity);
Douglas Gregor7dc87222010-03-19 17:12:43 +0000224}
225
Argyrios Kyrtzidis85a14bb2011-08-18 01:05:45 +0000226void PreprocessingRecord::MacroExpands(const Token &Id, const MacroInfo* MI,
227 SourceRange Range) {
Chandler Carrutha88a22182011-07-14 08:20:46 +0000228 if (!IncludeNestedMacroExpansions && Id.getLocation().isMacroID())
Douglas Gregor998caea2011-05-06 16:33:08 +0000229 return;
230
Argyrios Kyrtzidis80f78b92011-09-08 17:18:41 +0000231 if (MI->isBuiltinMacro())
Argyrios Kyrtzidis64f63812011-09-19 20:40:25 +0000232 addPreprocessedEntity(
Argyrios Kyrtzidis80f78b92011-09-08 17:18:41 +0000233 new (*this) MacroExpansion(Id.getIdentifierInfo(),Range));
234 else if (MacroDefinition *Def = findMacroDefinition(MI))
Argyrios Kyrtzidis64f63812011-09-19 20:40:25 +0000235 addPreprocessedEntity(
Argyrios Kyrtzidis80f78b92011-09-08 17:18:41 +0000236 new (*this) MacroExpansion(Def, Range));
Douglas Gregor7dc87222010-03-19 17:12:43 +0000237}
238
Craig Silverstein1a9ca212010-11-19 21:33:15 +0000239void PreprocessingRecord::MacroDefined(const Token &Id,
Douglas Gregor7dc87222010-03-19 17:12:43 +0000240 const MacroInfo *MI) {
241 SourceRange R(MI->getDefinitionLoc(), MI->getDefinitionEndLoc());
242 MacroDefinition *Def
Craig Silverstein1a9ca212010-11-19 21:33:15 +0000243 = new (*this) MacroDefinition(Id.getIdentifierInfo(),
244 MI->getDefinitionLoc(),
245 R);
Argyrios Kyrtzidis64f63812011-09-19 20:40:25 +0000246 addPreprocessedEntity(Def);
Argyrios Kyrtzidis03c40c52011-09-15 18:02:56 +0000247 MacroDefinitions[MI] = getPPEntityID(PreprocessedEntities.size()-1,
248 /*isLoaded=*/false);
Douglas Gregor7dc87222010-03-19 17:12:43 +0000249}
Douglas Gregoraae92242010-03-19 21:51:54 +0000250
Craig Silverstein1a9ca212010-11-19 21:33:15 +0000251void PreprocessingRecord::MacroUndefined(const Token &Id,
Douglas Gregor8aaca672010-03-19 21:58:23 +0000252 const MacroInfo *MI) {
Argyrios Kyrtzidis03c40c52011-09-15 18:02:56 +0000253 llvm::DenseMap<const MacroInfo *, PPEntityID>::iterator Pos
Douglas Gregor8aaca672010-03-19 21:58:23 +0000254 = MacroDefinitions.find(MI);
255 if (Pos != MacroDefinitions.end())
256 MacroDefinitions.erase(Pos);
257}
258
Chandler Carruth3cc331a2011-03-16 18:34:36 +0000259void PreprocessingRecord::InclusionDirective(
260 SourceLocation HashLoc,
261 const clang::Token &IncludeTok,
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000262 StringRef FileName,
Chandler Carruth3cc331a2011-03-16 18:34:36 +0000263 bool IsAngled,
264 const FileEntry *File,
265 clang::SourceLocation EndLoc,
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000266 StringRef SearchPath,
267 StringRef RelativePath) {
Douglas Gregor796d76a2010-10-20 22:00:55 +0000268 InclusionDirective::InclusionKind Kind = InclusionDirective::Include;
269
270 switch (IncludeTok.getIdentifierInfo()->getPPKeywordID()) {
271 case tok::pp_include:
272 Kind = InclusionDirective::Include;
273 break;
274
275 case tok::pp_import:
276 Kind = InclusionDirective::Import;
277 break;
278
279 case tok::pp_include_next:
280 Kind = InclusionDirective::IncludeNext;
281 break;
282
283 case tok::pp___include_macros:
284 Kind = InclusionDirective::IncludeMacros;
285 break;
286
287 default:
288 llvm_unreachable("Unknown include directive kind");
289 return;
290 }
291
292 clang::InclusionDirective *ID
Douglas Gregorf09b6c92010-11-01 15:03:47 +0000293 = new (*this) clang::InclusionDirective(*this, Kind, FileName, !IsAngled,
294 File, SourceRange(HashLoc, EndLoc));
Argyrios Kyrtzidis64f63812011-09-19 20:40:25 +0000295 addPreprocessedEntity(ID);
Douglas Gregor796d76a2010-10-20 22:00:55 +0000296}
Ted Kremenek182543a2011-07-26 21:17:24 +0000297
298size_t PreprocessingRecord::getTotalMemory() const {
299 return BumpAlloc.getTotalMemory()
Ted Kremenekf1c38812011-07-27 18:41:20 +0000300 + llvm::capacity_in_bytes(MacroDefinitions)
301 + llvm::capacity_in_bytes(PreprocessedEntities)
302 + llvm::capacity_in_bytes(LoadedPreprocessedEntities);
Ted Kremenek182543a2011-07-26 21:17:24 +0000303}