annotate clang/lib/Basic/SourceManager.cpp @ 176:de4ac79aef9d

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 17:13:11 +0900
parents 0572611fdcc8
children 2e18cbf3894f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //===- SourceManager.cpp - Track and cache source files -------------------===//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8 //
anatofuz
parents:
diff changeset
9 // This file implements the SourceManager interface.
anatofuz
parents:
diff changeset
10 //
anatofuz
parents:
diff changeset
11 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 #include "clang/Basic/SourceManager.h"
anatofuz
parents:
diff changeset
14 #include "clang/Basic/Diagnostic.h"
anatofuz
parents:
diff changeset
15 #include "clang/Basic/FileManager.h"
anatofuz
parents:
diff changeset
16 #include "clang/Basic/LLVM.h"
anatofuz
parents:
diff changeset
17 #include "clang/Basic/SourceLocation.h"
anatofuz
parents:
diff changeset
18 #include "clang/Basic/SourceManagerInternals.h"
anatofuz
parents:
diff changeset
19 #include "llvm/ADT/DenseMap.h"
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
20 #include "llvm/ADT/None.h"
150
anatofuz
parents:
diff changeset
21 #include "llvm/ADT/Optional.h"
anatofuz
parents:
diff changeset
22 #include "llvm/ADT/STLExtras.h"
anatofuz
parents:
diff changeset
23 #include "llvm/ADT/SmallVector.h"
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
24 #include "llvm/ADT/StringRef.h"
150
anatofuz
parents:
diff changeset
25 #include "llvm/ADT/StringSwitch.h"
anatofuz
parents:
diff changeset
26 #include "llvm/Support/Allocator.h"
anatofuz
parents:
diff changeset
27 #include "llvm/Support/Capacity.h"
anatofuz
parents:
diff changeset
28 #include "llvm/Support/Compiler.h"
anatofuz
parents:
diff changeset
29 #include "llvm/Support/ErrorHandling.h"
anatofuz
parents:
diff changeset
30 #include "llvm/Support/FileSystem.h"
anatofuz
parents:
diff changeset
31 #include "llvm/Support/MathExtras.h"
anatofuz
parents:
diff changeset
32 #include "llvm/Support/MemoryBuffer.h"
anatofuz
parents:
diff changeset
33 #include "llvm/Support/Path.h"
anatofuz
parents:
diff changeset
34 #include "llvm/Support/raw_ostream.h"
anatofuz
parents:
diff changeset
35 #include <algorithm>
anatofuz
parents:
diff changeset
36 #include <cassert>
anatofuz
parents:
diff changeset
37 #include <cstddef>
anatofuz
parents:
diff changeset
38 #include <cstdint>
anatofuz
parents:
diff changeset
39 #include <memory>
anatofuz
parents:
diff changeset
40 #include <tuple>
anatofuz
parents:
diff changeset
41 #include <utility>
anatofuz
parents:
diff changeset
42 #include <vector>
anatofuz
parents:
diff changeset
43
anatofuz
parents:
diff changeset
44 using namespace clang;
anatofuz
parents:
diff changeset
45 using namespace SrcMgr;
anatofuz
parents:
diff changeset
46 using llvm::MemoryBuffer;
anatofuz
parents:
diff changeset
47
anatofuz
parents:
diff changeset
48 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
49 // SourceManager Helper Classes
anatofuz
parents:
diff changeset
50 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
51
anatofuz
parents:
diff changeset
52 ContentCache::~ContentCache() {
anatofuz
parents:
diff changeset
53 if (shouldFreeBuffer())
anatofuz
parents:
diff changeset
54 delete Buffer.getPointer();
anatofuz
parents:
diff changeset
55 }
anatofuz
parents:
diff changeset
56
anatofuz
parents:
diff changeset
57 /// getSizeBytesMapped - Returns the number of bytes actually mapped for this
anatofuz
parents:
diff changeset
58 /// ContentCache. This can be 0 if the MemBuffer was not actually expanded.
anatofuz
parents:
diff changeset
59 unsigned ContentCache::getSizeBytesMapped() const {
anatofuz
parents:
diff changeset
60 return Buffer.getPointer() ? Buffer.getPointer()->getBufferSize() : 0;
anatofuz
parents:
diff changeset
61 }
anatofuz
parents:
diff changeset
62
anatofuz
parents:
diff changeset
63 /// Returns the kind of memory used to back the memory buffer for
anatofuz
parents:
diff changeset
64 /// this content cache. This is used for performance analysis.
anatofuz
parents:
diff changeset
65 llvm::MemoryBuffer::BufferKind ContentCache::getMemoryBufferKind() const {
anatofuz
parents:
diff changeset
66 assert(Buffer.getPointer());
anatofuz
parents:
diff changeset
67
anatofuz
parents:
diff changeset
68 // Should be unreachable, but keep for sanity.
anatofuz
parents:
diff changeset
69 if (!Buffer.getPointer())
anatofuz
parents:
diff changeset
70 return llvm::MemoryBuffer::MemoryBuffer_Malloc;
anatofuz
parents:
diff changeset
71
anatofuz
parents:
diff changeset
72 const llvm::MemoryBuffer *buf = Buffer.getPointer();
anatofuz
parents:
diff changeset
73 return buf->getBufferKind();
anatofuz
parents:
diff changeset
74 }
anatofuz
parents:
diff changeset
75
anatofuz
parents:
diff changeset
76 /// getSize - Returns the size of the content encapsulated by this ContentCache.
anatofuz
parents:
diff changeset
77 /// This can be the size of the source file or the size of an arbitrary
anatofuz
parents:
diff changeset
78 /// scratch buffer. If the ContentCache encapsulates a source file, that
anatofuz
parents:
diff changeset
79 /// file is not lazily brought in from disk to satisfy this query.
anatofuz
parents:
diff changeset
80 unsigned ContentCache::getSize() const {
anatofuz
parents:
diff changeset
81 return Buffer.getPointer() ? (unsigned) Buffer.getPointer()->getBufferSize()
anatofuz
parents:
diff changeset
82 : (unsigned) ContentsEntry->getSize();
anatofuz
parents:
diff changeset
83 }
anatofuz
parents:
diff changeset
84
anatofuz
parents:
diff changeset
85 void ContentCache::replaceBuffer(const llvm::MemoryBuffer *B, bool DoNotFree) {
anatofuz
parents:
diff changeset
86 if (B && B == Buffer.getPointer()) {
anatofuz
parents:
diff changeset
87 assert(0 && "Replacing with the same buffer");
anatofuz
parents:
diff changeset
88 Buffer.setInt(DoNotFree? DoNotFreeFlag : 0);
anatofuz
parents:
diff changeset
89 return;
anatofuz
parents:
diff changeset
90 }
anatofuz
parents:
diff changeset
91
anatofuz
parents:
diff changeset
92 if (shouldFreeBuffer())
anatofuz
parents:
diff changeset
93 delete Buffer.getPointer();
anatofuz
parents:
diff changeset
94 Buffer.setPointer(B);
anatofuz
parents:
diff changeset
95 Buffer.setInt((B && DoNotFree) ? DoNotFreeFlag : 0);
anatofuz
parents:
diff changeset
96 }
anatofuz
parents:
diff changeset
97
anatofuz
parents:
diff changeset
98 const char *ContentCache::getInvalidBOM(StringRef BufStr) {
anatofuz
parents:
diff changeset
99 // If the buffer is valid, check to see if it has a UTF Byte Order Mark
anatofuz
parents:
diff changeset
100 // (BOM). We only support UTF-8 with and without a BOM right now. See
anatofuz
parents:
diff changeset
101 // http://en.wikipedia.org/wiki/Byte_order_mark for more information.
anatofuz
parents:
diff changeset
102 const char *InvalidBOM =
anatofuz
parents:
diff changeset
103 llvm::StringSwitch<const char *>(BufStr)
anatofuz
parents:
diff changeset
104 .StartsWith(llvm::StringLiteral::withInnerNUL("\x00\x00\xFE\xFF"),
anatofuz
parents:
diff changeset
105 "UTF-32 (BE)")
anatofuz
parents:
diff changeset
106 .StartsWith(llvm::StringLiteral::withInnerNUL("\xFF\xFE\x00\x00"),
anatofuz
parents:
diff changeset
107 "UTF-32 (LE)")
anatofuz
parents:
diff changeset
108 .StartsWith("\xFE\xFF", "UTF-16 (BE)")
anatofuz
parents:
diff changeset
109 .StartsWith("\xFF\xFE", "UTF-16 (LE)")
anatofuz
parents:
diff changeset
110 .StartsWith("\x2B\x2F\x76", "UTF-7")
anatofuz
parents:
diff changeset
111 .StartsWith("\xF7\x64\x4C", "UTF-1")
anatofuz
parents:
diff changeset
112 .StartsWith("\xDD\x73\x66\x73", "UTF-EBCDIC")
anatofuz
parents:
diff changeset
113 .StartsWith("\x0E\xFE\xFF", "SCSU")
anatofuz
parents:
diff changeset
114 .StartsWith("\xFB\xEE\x28", "BOCU-1")
anatofuz
parents:
diff changeset
115 .StartsWith("\x84\x31\x95\x33", "GB-18030")
anatofuz
parents:
diff changeset
116 .Default(nullptr);
anatofuz
parents:
diff changeset
117
anatofuz
parents:
diff changeset
118 return InvalidBOM;
anatofuz
parents:
diff changeset
119 }
anatofuz
parents:
diff changeset
120
anatofuz
parents:
diff changeset
121 const llvm::MemoryBuffer *ContentCache::getBuffer(DiagnosticsEngine &Diag,
anatofuz
parents:
diff changeset
122 FileManager &FM,
anatofuz
parents:
diff changeset
123 SourceLocation Loc,
anatofuz
parents:
diff changeset
124 bool *Invalid) const {
anatofuz
parents:
diff changeset
125 // Lazily create the Buffer for ContentCaches that wrap files. If we already
anatofuz
parents:
diff changeset
126 // computed it, just return what we have.
anatofuz
parents:
diff changeset
127 if (Buffer.getPointer() || !ContentsEntry) {
anatofuz
parents:
diff changeset
128 if (Invalid)
anatofuz
parents:
diff changeset
129 *Invalid = isBufferInvalid();
anatofuz
parents:
diff changeset
130
anatofuz
parents:
diff changeset
131 return Buffer.getPointer();
anatofuz
parents:
diff changeset
132 }
anatofuz
parents:
diff changeset
133
anatofuz
parents:
diff changeset
134 // Check that the file's size fits in an 'unsigned' (with room for a
anatofuz
parents:
diff changeset
135 // past-the-end value). This is deeply regrettable, but various parts of
anatofuz
parents:
diff changeset
136 // Clang (including elsewhere in this file!) use 'unsigned' to represent file
anatofuz
parents:
diff changeset
137 // offsets, line numbers, string literal lengths, and so on, and fail
anatofuz
parents:
diff changeset
138 // miserably on large source files.
anatofuz
parents:
diff changeset
139 if ((uint64_t)ContentsEntry->getSize() >=
anatofuz
parents:
diff changeset
140 std::numeric_limits<unsigned>::max()) {
anatofuz
parents:
diff changeset
141 // We can't make a memory buffer of the required size, so just make a small
anatofuz
parents:
diff changeset
142 // one. We should never hit a situation where we've already parsed to a
anatofuz
parents:
diff changeset
143 // later offset of the file, so it shouldn't matter that the buffer is
anatofuz
parents:
diff changeset
144 // smaller than the file.
anatofuz
parents:
diff changeset
145 Buffer.setPointer(
anatofuz
parents:
diff changeset
146 llvm::MemoryBuffer::getMemBuffer("", ContentsEntry->getName())
anatofuz
parents:
diff changeset
147 .release());
anatofuz
parents:
diff changeset
148 if (Diag.isDiagnosticInFlight())
anatofuz
parents:
diff changeset
149 Diag.SetDelayedDiagnostic(diag::err_file_too_large,
anatofuz
parents:
diff changeset
150 ContentsEntry->getName());
anatofuz
parents:
diff changeset
151 else
anatofuz
parents:
diff changeset
152 Diag.Report(Loc, diag::err_file_too_large)
anatofuz
parents:
diff changeset
153 << ContentsEntry->getName();
anatofuz
parents:
diff changeset
154
anatofuz
parents:
diff changeset
155 Buffer.setInt(Buffer.getInt() | InvalidFlag);
anatofuz
parents:
diff changeset
156 if (Invalid) *Invalid = true;
anatofuz
parents:
diff changeset
157 return Buffer.getPointer();
anatofuz
parents:
diff changeset
158 }
anatofuz
parents:
diff changeset
159
anatofuz
parents:
diff changeset
160 auto BufferOrError = FM.getBufferForFile(ContentsEntry, IsFileVolatile);
anatofuz
parents:
diff changeset
161
anatofuz
parents:
diff changeset
162 // If we were unable to open the file, then we are in an inconsistent
anatofuz
parents:
diff changeset
163 // situation where the content cache referenced a file which no longer
anatofuz
parents:
diff changeset
164 // exists. Most likely, we were using a stat cache with an invalid entry but
anatofuz
parents:
diff changeset
165 // the file could also have been removed during processing. Since we can't
anatofuz
parents:
diff changeset
166 // really deal with this situation, just create an empty buffer.
anatofuz
parents:
diff changeset
167 //
anatofuz
parents:
diff changeset
168 // FIXME: This is definitely not ideal, but our immediate clients can't
anatofuz
parents:
diff changeset
169 // currently handle returning a null entry here. Ideally we should detect
anatofuz
parents:
diff changeset
170 // that we are in an inconsistent situation and error out as quickly as
anatofuz
parents:
diff changeset
171 // possible.
anatofuz
parents:
diff changeset
172 if (!BufferOrError) {
anatofuz
parents:
diff changeset
173 StringRef FillStr("<<<MISSING SOURCE FILE>>>\n");
anatofuz
parents:
diff changeset
174 auto BackupBuffer = llvm::WritableMemoryBuffer::getNewUninitMemBuffer(
anatofuz
parents:
diff changeset
175 ContentsEntry->getSize(), "<invalid>");
anatofuz
parents:
diff changeset
176 char *Ptr = BackupBuffer->getBufferStart();
anatofuz
parents:
diff changeset
177 for (unsigned i = 0, e = ContentsEntry->getSize(); i != e; ++i)
anatofuz
parents:
diff changeset
178 Ptr[i] = FillStr[i % FillStr.size()];
anatofuz
parents:
diff changeset
179 Buffer.setPointer(BackupBuffer.release());
anatofuz
parents:
diff changeset
180
anatofuz
parents:
diff changeset
181 if (Diag.isDiagnosticInFlight())
anatofuz
parents:
diff changeset
182 Diag.SetDelayedDiagnostic(diag::err_cannot_open_file,
anatofuz
parents:
diff changeset
183 ContentsEntry->getName(),
anatofuz
parents:
diff changeset
184 BufferOrError.getError().message());
anatofuz
parents:
diff changeset
185 else
anatofuz
parents:
diff changeset
186 Diag.Report(Loc, diag::err_cannot_open_file)
anatofuz
parents:
diff changeset
187 << ContentsEntry->getName() << BufferOrError.getError().message();
anatofuz
parents:
diff changeset
188
anatofuz
parents:
diff changeset
189 Buffer.setInt(Buffer.getInt() | InvalidFlag);
anatofuz
parents:
diff changeset
190
anatofuz
parents:
diff changeset
191 if (Invalid) *Invalid = true;
anatofuz
parents:
diff changeset
192 return Buffer.getPointer();
anatofuz
parents:
diff changeset
193 }
anatofuz
parents:
diff changeset
194
anatofuz
parents:
diff changeset
195 Buffer.setPointer(BufferOrError->release());
anatofuz
parents:
diff changeset
196
anatofuz
parents:
diff changeset
197 // Check that the file's size is the same as in the file entry (which may
anatofuz
parents:
diff changeset
198 // have come from a stat cache).
anatofuz
parents:
diff changeset
199 if (getRawBuffer()->getBufferSize() != (size_t)ContentsEntry->getSize()) {
anatofuz
parents:
diff changeset
200 if (Diag.isDiagnosticInFlight())
anatofuz
parents:
diff changeset
201 Diag.SetDelayedDiagnostic(diag::err_file_modified,
anatofuz
parents:
diff changeset
202 ContentsEntry->getName());
anatofuz
parents:
diff changeset
203 else
anatofuz
parents:
diff changeset
204 Diag.Report(Loc, diag::err_file_modified)
anatofuz
parents:
diff changeset
205 << ContentsEntry->getName();
anatofuz
parents:
diff changeset
206
anatofuz
parents:
diff changeset
207 Buffer.setInt(Buffer.getInt() | InvalidFlag);
anatofuz
parents:
diff changeset
208 if (Invalid) *Invalid = true;
anatofuz
parents:
diff changeset
209 return Buffer.getPointer();
anatofuz
parents:
diff changeset
210 }
anatofuz
parents:
diff changeset
211
anatofuz
parents:
diff changeset
212 // If the buffer is valid, check to see if it has a UTF Byte Order Mark
anatofuz
parents:
diff changeset
213 // (BOM). We only support UTF-8 with and without a BOM right now. See
anatofuz
parents:
diff changeset
214 // http://en.wikipedia.org/wiki/Byte_order_mark for more information.
anatofuz
parents:
diff changeset
215 StringRef BufStr = Buffer.getPointer()->getBuffer();
anatofuz
parents:
diff changeset
216 const char *InvalidBOM = getInvalidBOM(BufStr);
anatofuz
parents:
diff changeset
217
anatofuz
parents:
diff changeset
218 if (InvalidBOM) {
anatofuz
parents:
diff changeset
219 Diag.Report(Loc, diag::err_unsupported_bom)
anatofuz
parents:
diff changeset
220 << InvalidBOM << ContentsEntry->getName();
anatofuz
parents:
diff changeset
221 Buffer.setInt(Buffer.getInt() | InvalidFlag);
anatofuz
parents:
diff changeset
222 }
anatofuz
parents:
diff changeset
223
anatofuz
parents:
diff changeset
224 if (Invalid)
anatofuz
parents:
diff changeset
225 *Invalid = isBufferInvalid();
anatofuz
parents:
diff changeset
226
anatofuz
parents:
diff changeset
227 return Buffer.getPointer();
anatofuz
parents:
diff changeset
228 }
anatofuz
parents:
diff changeset
229
anatofuz
parents:
diff changeset
230 unsigned LineTableInfo::getLineTableFilenameID(StringRef Name) {
anatofuz
parents:
diff changeset
231 auto IterBool = FilenameIDs.try_emplace(Name, FilenamesByID.size());
anatofuz
parents:
diff changeset
232 if (IterBool.second)
anatofuz
parents:
diff changeset
233 FilenamesByID.push_back(&*IterBool.first);
anatofuz
parents:
diff changeset
234 return IterBool.first->second;
anatofuz
parents:
diff changeset
235 }
anatofuz
parents:
diff changeset
236
anatofuz
parents:
diff changeset
237 /// Add a line note to the line table that indicates that there is a \#line or
anatofuz
parents:
diff changeset
238 /// GNU line marker at the specified FID/Offset location which changes the
anatofuz
parents:
diff changeset
239 /// presumed location to LineNo/FilenameID. If EntryExit is 0, then this doesn't
anatofuz
parents:
diff changeset
240 /// change the presumed \#include stack. If it is 1, this is a file entry, if
anatofuz
parents:
diff changeset
241 /// it is 2 then this is a file exit. FileKind specifies whether this is a
anatofuz
parents:
diff changeset
242 /// system header or extern C system header.
anatofuz
parents:
diff changeset
243 void LineTableInfo::AddLineNote(FileID FID, unsigned Offset, unsigned LineNo,
anatofuz
parents:
diff changeset
244 int FilenameID, unsigned EntryExit,
anatofuz
parents:
diff changeset
245 SrcMgr::CharacteristicKind FileKind) {
anatofuz
parents:
diff changeset
246 std::vector<LineEntry> &Entries = LineEntries[FID];
anatofuz
parents:
diff changeset
247
anatofuz
parents:
diff changeset
248 // An unspecified FilenameID means use the last filename if available, or the
anatofuz
parents:
diff changeset
249 // main source file otherwise.
anatofuz
parents:
diff changeset
250 if (FilenameID == -1 && !Entries.empty())
anatofuz
parents:
diff changeset
251 FilenameID = Entries.back().FilenameID;
anatofuz
parents:
diff changeset
252
anatofuz
parents:
diff changeset
253 assert((Entries.empty() || Entries.back().FileOffset < Offset) &&
anatofuz
parents:
diff changeset
254 "Adding line entries out of order!");
anatofuz
parents:
diff changeset
255
anatofuz
parents:
diff changeset
256 unsigned IncludeOffset = 0;
anatofuz
parents:
diff changeset
257 if (EntryExit == 0) { // No #include stack change.
anatofuz
parents:
diff changeset
258 IncludeOffset = Entries.empty() ? 0 : Entries.back().IncludeOffset;
anatofuz
parents:
diff changeset
259 } else if (EntryExit == 1) {
anatofuz
parents:
diff changeset
260 IncludeOffset = Offset-1;
anatofuz
parents:
diff changeset
261 } else if (EntryExit == 2) {
anatofuz
parents:
diff changeset
262 assert(!Entries.empty() && Entries.back().IncludeOffset &&
anatofuz
parents:
diff changeset
263 "PPDirectives should have caught case when popping empty include stack");
anatofuz
parents:
diff changeset
264
anatofuz
parents:
diff changeset
265 // Get the include loc of the last entries' include loc as our include loc.
anatofuz
parents:
diff changeset
266 IncludeOffset = 0;
anatofuz
parents:
diff changeset
267 if (const LineEntry *PrevEntry =
anatofuz
parents:
diff changeset
268 FindNearestLineEntry(FID, Entries.back().IncludeOffset))
anatofuz
parents:
diff changeset
269 IncludeOffset = PrevEntry->IncludeOffset;
anatofuz
parents:
diff changeset
270 }
anatofuz
parents:
diff changeset
271
anatofuz
parents:
diff changeset
272 Entries.push_back(LineEntry::get(Offset, LineNo, FilenameID, FileKind,
anatofuz
parents:
diff changeset
273 IncludeOffset));
anatofuz
parents:
diff changeset
274 }
anatofuz
parents:
diff changeset
275
anatofuz
parents:
diff changeset
276 /// FindNearestLineEntry - Find the line entry nearest to FID that is before
anatofuz
parents:
diff changeset
277 /// it. If there is no line entry before Offset in FID, return null.
anatofuz
parents:
diff changeset
278 const LineEntry *LineTableInfo::FindNearestLineEntry(FileID FID,
anatofuz
parents:
diff changeset
279 unsigned Offset) {
anatofuz
parents:
diff changeset
280 const std::vector<LineEntry> &Entries = LineEntries[FID];
anatofuz
parents:
diff changeset
281 assert(!Entries.empty() && "No #line entries for this FID after all!");
anatofuz
parents:
diff changeset
282
anatofuz
parents:
diff changeset
283 // It is very common for the query to be after the last #line, check this
anatofuz
parents:
diff changeset
284 // first.
anatofuz
parents:
diff changeset
285 if (Entries.back().FileOffset <= Offset)
anatofuz
parents:
diff changeset
286 return &Entries.back();
anatofuz
parents:
diff changeset
287
anatofuz
parents:
diff changeset
288 // Do a binary search to find the maximal element that is still before Offset.
anatofuz
parents:
diff changeset
289 std::vector<LineEntry>::const_iterator I = llvm::upper_bound(Entries, Offset);
anatofuz
parents:
diff changeset
290 if (I == Entries.begin())
anatofuz
parents:
diff changeset
291 return nullptr;
anatofuz
parents:
diff changeset
292 return &*--I;
anatofuz
parents:
diff changeset
293 }
anatofuz
parents:
diff changeset
294
anatofuz
parents:
diff changeset
295 /// Add a new line entry that has already been encoded into
anatofuz
parents:
diff changeset
296 /// the internal representation of the line table.
anatofuz
parents:
diff changeset
297 void LineTableInfo::AddEntry(FileID FID,
anatofuz
parents:
diff changeset
298 const std::vector<LineEntry> &Entries) {
anatofuz
parents:
diff changeset
299 LineEntries[FID] = Entries;
anatofuz
parents:
diff changeset
300 }
anatofuz
parents:
diff changeset
301
anatofuz
parents:
diff changeset
302 /// getLineTableFilenameID - Return the uniqued ID for the specified filename.
anatofuz
parents:
diff changeset
303 unsigned SourceManager::getLineTableFilenameID(StringRef Name) {
anatofuz
parents:
diff changeset
304 return getLineTable().getLineTableFilenameID(Name);
anatofuz
parents:
diff changeset
305 }
anatofuz
parents:
diff changeset
306
anatofuz
parents:
diff changeset
307 /// AddLineNote - Add a line note to the line table for the FileID and offset
anatofuz
parents:
diff changeset
308 /// specified by Loc. If FilenameID is -1, it is considered to be
anatofuz
parents:
diff changeset
309 /// unspecified.
anatofuz
parents:
diff changeset
310 void SourceManager::AddLineNote(SourceLocation Loc, unsigned LineNo,
anatofuz
parents:
diff changeset
311 int FilenameID, bool IsFileEntry,
anatofuz
parents:
diff changeset
312 bool IsFileExit,
anatofuz
parents:
diff changeset
313 SrcMgr::CharacteristicKind FileKind) {
anatofuz
parents:
diff changeset
314 std::pair<FileID, unsigned> LocInfo = getDecomposedExpansionLoc(Loc);
anatofuz
parents:
diff changeset
315
anatofuz
parents:
diff changeset
316 bool Invalid = false;
anatofuz
parents:
diff changeset
317 const SLocEntry &Entry = getSLocEntry(LocInfo.first, &Invalid);
anatofuz
parents:
diff changeset
318 if (!Entry.isFile() || Invalid)
anatofuz
parents:
diff changeset
319 return;
anatofuz
parents:
diff changeset
320
anatofuz
parents:
diff changeset
321 const SrcMgr::FileInfo &FileInfo = Entry.getFile();
anatofuz
parents:
diff changeset
322
anatofuz
parents:
diff changeset
323 // Remember that this file has #line directives now if it doesn't already.
anatofuz
parents:
diff changeset
324 const_cast<SrcMgr::FileInfo&>(FileInfo).setHasLineDirectives();
anatofuz
parents:
diff changeset
325
anatofuz
parents:
diff changeset
326 (void) getLineTable();
anatofuz
parents:
diff changeset
327
anatofuz
parents:
diff changeset
328 unsigned EntryExit = 0;
anatofuz
parents:
diff changeset
329 if (IsFileEntry)
anatofuz
parents:
diff changeset
330 EntryExit = 1;
anatofuz
parents:
diff changeset
331 else if (IsFileExit)
anatofuz
parents:
diff changeset
332 EntryExit = 2;
anatofuz
parents:
diff changeset
333
anatofuz
parents:
diff changeset
334 LineTable->AddLineNote(LocInfo.first, LocInfo.second, LineNo, FilenameID,
anatofuz
parents:
diff changeset
335 EntryExit, FileKind);
anatofuz
parents:
diff changeset
336 }
anatofuz
parents:
diff changeset
337
anatofuz
parents:
diff changeset
338 LineTableInfo &SourceManager::getLineTable() {
anatofuz
parents:
diff changeset
339 if (!LineTable)
anatofuz
parents:
diff changeset
340 LineTable.reset(new LineTableInfo());
anatofuz
parents:
diff changeset
341 return *LineTable;
anatofuz
parents:
diff changeset
342 }
anatofuz
parents:
diff changeset
343
anatofuz
parents:
diff changeset
344 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
345 // Private 'Create' methods.
anatofuz
parents:
diff changeset
346 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
347
anatofuz
parents:
diff changeset
348 SourceManager::SourceManager(DiagnosticsEngine &Diag, FileManager &FileMgr,
anatofuz
parents:
diff changeset
349 bool UserFilesAreVolatile)
anatofuz
parents:
diff changeset
350 : Diag(Diag), FileMgr(FileMgr), UserFilesAreVolatile(UserFilesAreVolatile) {
anatofuz
parents:
diff changeset
351 clearIDTables();
anatofuz
parents:
diff changeset
352 Diag.setSourceManager(this);
anatofuz
parents:
diff changeset
353 }
anatofuz
parents:
diff changeset
354
anatofuz
parents:
diff changeset
355 SourceManager::~SourceManager() {
anatofuz
parents:
diff changeset
356 // Delete FileEntry objects corresponding to content caches. Since the actual
anatofuz
parents:
diff changeset
357 // content cache objects are bump pointer allocated, we just have to run the
anatofuz
parents:
diff changeset
358 // dtors, but we call the deallocate method for completeness.
anatofuz
parents:
diff changeset
359 for (unsigned i = 0, e = MemBufferInfos.size(); i != e; ++i) {
anatofuz
parents:
diff changeset
360 if (MemBufferInfos[i]) {
anatofuz
parents:
diff changeset
361 MemBufferInfos[i]->~ContentCache();
anatofuz
parents:
diff changeset
362 ContentCacheAlloc.Deallocate(MemBufferInfos[i]);
anatofuz
parents:
diff changeset
363 }
anatofuz
parents:
diff changeset
364 }
anatofuz
parents:
diff changeset
365 for (llvm::DenseMap<const FileEntry*, SrcMgr::ContentCache*>::iterator
anatofuz
parents:
diff changeset
366 I = FileInfos.begin(), E = FileInfos.end(); I != E; ++I) {
anatofuz
parents:
diff changeset
367 if (I->second) {
anatofuz
parents:
diff changeset
368 I->second->~ContentCache();
anatofuz
parents:
diff changeset
369 ContentCacheAlloc.Deallocate(I->second);
anatofuz
parents:
diff changeset
370 }
anatofuz
parents:
diff changeset
371 }
anatofuz
parents:
diff changeset
372 }
anatofuz
parents:
diff changeset
373
anatofuz
parents:
diff changeset
374 void SourceManager::clearIDTables() {
anatofuz
parents:
diff changeset
375 MainFileID = FileID();
anatofuz
parents:
diff changeset
376 LocalSLocEntryTable.clear();
anatofuz
parents:
diff changeset
377 LoadedSLocEntryTable.clear();
anatofuz
parents:
diff changeset
378 SLocEntryLoaded.clear();
anatofuz
parents:
diff changeset
379 LastLineNoFileIDQuery = FileID();
anatofuz
parents:
diff changeset
380 LastLineNoContentCache = nullptr;
anatofuz
parents:
diff changeset
381 LastFileIDLookup = FileID();
anatofuz
parents:
diff changeset
382
anatofuz
parents:
diff changeset
383 if (LineTable)
anatofuz
parents:
diff changeset
384 LineTable->clear();
anatofuz
parents:
diff changeset
385
anatofuz
parents:
diff changeset
386 // Use up FileID #0 as an invalid expansion.
anatofuz
parents:
diff changeset
387 NextLocalOffset = 0;
anatofuz
parents:
diff changeset
388 CurrentLoadedOffset = MaxLoadedOffset;
anatofuz
parents:
diff changeset
389 createExpansionLoc(SourceLocation(), SourceLocation(), SourceLocation(), 1);
anatofuz
parents:
diff changeset
390 }
anatofuz
parents:
diff changeset
391
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
392 bool SourceManager::isMainFile(FileEntryRef SourceFile) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
393 assert(MainFileID.isValid() && "expected initialized SourceManager");
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
394 auto FE = getFileEntryRefForID(MainFileID);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
395 if (!FE)
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
396 return false;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
397 return FE->getUID() == SourceFile.getUID();
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
398 }
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
399
150
anatofuz
parents:
diff changeset
400 void SourceManager::initializeForReplay(const SourceManager &Old) {
anatofuz
parents:
diff changeset
401 assert(MainFileID.isInvalid() && "expected uninitialized SourceManager");
anatofuz
parents:
diff changeset
402
anatofuz
parents:
diff changeset
403 auto CloneContentCache = [&](const ContentCache *Cache) -> ContentCache * {
anatofuz
parents:
diff changeset
404 auto *Clone = new (ContentCacheAlloc.Allocate<ContentCache>()) ContentCache;
anatofuz
parents:
diff changeset
405 Clone->OrigEntry = Cache->OrigEntry;
anatofuz
parents:
diff changeset
406 Clone->ContentsEntry = Cache->ContentsEntry;
anatofuz
parents:
diff changeset
407 Clone->BufferOverridden = Cache->BufferOverridden;
anatofuz
parents:
diff changeset
408 Clone->IsFileVolatile = Cache->IsFileVolatile;
anatofuz
parents:
diff changeset
409 Clone->IsTransient = Cache->IsTransient;
anatofuz
parents:
diff changeset
410 Clone->replaceBuffer(Cache->getRawBuffer(), /*DoNotFree*/true);
anatofuz
parents:
diff changeset
411 return Clone;
anatofuz
parents:
diff changeset
412 };
anatofuz
parents:
diff changeset
413
anatofuz
parents:
diff changeset
414 // Ensure all SLocEntries are loaded from the external source.
anatofuz
parents:
diff changeset
415 for (unsigned I = 0, N = Old.LoadedSLocEntryTable.size(); I != N; ++I)
anatofuz
parents:
diff changeset
416 if (!Old.SLocEntryLoaded[I])
anatofuz
parents:
diff changeset
417 Old.loadSLocEntry(I, nullptr);
anatofuz
parents:
diff changeset
418
anatofuz
parents:
diff changeset
419 // Inherit any content cache data from the old source manager.
anatofuz
parents:
diff changeset
420 for (auto &FileInfo : Old.FileInfos) {
anatofuz
parents:
diff changeset
421 SrcMgr::ContentCache *&Slot = FileInfos[FileInfo.first];
anatofuz
parents:
diff changeset
422 if (Slot)
anatofuz
parents:
diff changeset
423 continue;
anatofuz
parents:
diff changeset
424 Slot = CloneContentCache(FileInfo.second);
anatofuz
parents:
diff changeset
425 }
anatofuz
parents:
diff changeset
426 }
anatofuz
parents:
diff changeset
427
anatofuz
parents:
diff changeset
428 /// getOrCreateContentCache - Create or return a cached ContentCache for the
anatofuz
parents:
diff changeset
429 /// specified file.
anatofuz
parents:
diff changeset
430 const ContentCache *
anatofuz
parents:
diff changeset
431 SourceManager::getOrCreateContentCache(const FileEntry *FileEnt,
anatofuz
parents:
diff changeset
432 bool isSystemFile) {
anatofuz
parents:
diff changeset
433 assert(FileEnt && "Didn't specify a file entry to use?");
anatofuz
parents:
diff changeset
434
anatofuz
parents:
diff changeset
435 // Do we already have information about this file?
anatofuz
parents:
diff changeset
436 ContentCache *&Entry = FileInfos[FileEnt];
anatofuz
parents:
diff changeset
437 if (Entry) return Entry;
anatofuz
parents:
diff changeset
438
anatofuz
parents:
diff changeset
439 // Nope, create a new Cache entry.
anatofuz
parents:
diff changeset
440 Entry = ContentCacheAlloc.Allocate<ContentCache>();
anatofuz
parents:
diff changeset
441
anatofuz
parents:
diff changeset
442 if (OverriddenFilesInfo) {
anatofuz
parents:
diff changeset
443 // If the file contents are overridden with contents from another file,
anatofuz
parents:
diff changeset
444 // pass that file to ContentCache.
anatofuz
parents:
diff changeset
445 llvm::DenseMap<const FileEntry *, const FileEntry *>::iterator
anatofuz
parents:
diff changeset
446 overI = OverriddenFilesInfo->OverriddenFiles.find(FileEnt);
anatofuz
parents:
diff changeset
447 if (overI == OverriddenFilesInfo->OverriddenFiles.end())
anatofuz
parents:
diff changeset
448 new (Entry) ContentCache(FileEnt);
anatofuz
parents:
diff changeset
449 else
anatofuz
parents:
diff changeset
450 new (Entry) ContentCache(OverridenFilesKeepOriginalName ? FileEnt
anatofuz
parents:
diff changeset
451 : overI->second,
anatofuz
parents:
diff changeset
452 overI->second);
anatofuz
parents:
diff changeset
453 } else {
anatofuz
parents:
diff changeset
454 new (Entry) ContentCache(FileEnt);
anatofuz
parents:
diff changeset
455 }
anatofuz
parents:
diff changeset
456
anatofuz
parents:
diff changeset
457 Entry->IsFileVolatile = UserFilesAreVolatile && !isSystemFile;
anatofuz
parents:
diff changeset
458 Entry->IsTransient = FilesAreTransient;
anatofuz
parents:
diff changeset
459
anatofuz
parents:
diff changeset
460 return Entry;
anatofuz
parents:
diff changeset
461 }
anatofuz
parents:
diff changeset
462
anatofuz
parents:
diff changeset
463 /// Create a new ContentCache for the specified memory buffer.
anatofuz
parents:
diff changeset
464 /// This does no caching.
anatofuz
parents:
diff changeset
465 const ContentCache *
anatofuz
parents:
diff changeset
466 SourceManager::createMemBufferContentCache(const llvm::MemoryBuffer *Buffer,
anatofuz
parents:
diff changeset
467 bool DoNotFree) {
anatofuz
parents:
diff changeset
468 // Add a new ContentCache to the MemBufferInfos list and return it.
anatofuz
parents:
diff changeset
469 ContentCache *Entry = ContentCacheAlloc.Allocate<ContentCache>();
anatofuz
parents:
diff changeset
470 new (Entry) ContentCache();
anatofuz
parents:
diff changeset
471 MemBufferInfos.push_back(Entry);
anatofuz
parents:
diff changeset
472 Entry->replaceBuffer(Buffer, DoNotFree);
anatofuz
parents:
diff changeset
473 return Entry;
anatofuz
parents:
diff changeset
474 }
anatofuz
parents:
diff changeset
475
anatofuz
parents:
diff changeset
476 const SrcMgr::SLocEntry &SourceManager::loadSLocEntry(unsigned Index,
anatofuz
parents:
diff changeset
477 bool *Invalid) const {
anatofuz
parents:
diff changeset
478 assert(!SLocEntryLoaded[Index]);
anatofuz
parents:
diff changeset
479 if (ExternalSLocEntries->ReadSLocEntry(-(static_cast<int>(Index) + 2))) {
anatofuz
parents:
diff changeset
480 if (Invalid)
anatofuz
parents:
diff changeset
481 *Invalid = true;
anatofuz
parents:
diff changeset
482 // If the file of the SLocEntry changed we could still have loaded it.
anatofuz
parents:
diff changeset
483 if (!SLocEntryLoaded[Index]) {
anatofuz
parents:
diff changeset
484 // Try to recover; create a SLocEntry so the rest of clang can handle it.
anatofuz
parents:
diff changeset
485 LoadedSLocEntryTable[Index] = SLocEntry::get(
anatofuz
parents:
diff changeset
486 0, FileInfo::get(SourceLocation(), getFakeContentCacheForRecovery(),
anatofuz
parents:
diff changeset
487 SrcMgr::C_User, ""));
anatofuz
parents:
diff changeset
488 }
anatofuz
parents:
diff changeset
489 }
anatofuz
parents:
diff changeset
490
anatofuz
parents:
diff changeset
491 return LoadedSLocEntryTable[Index];
anatofuz
parents:
diff changeset
492 }
anatofuz
parents:
diff changeset
493
anatofuz
parents:
diff changeset
494 std::pair<int, unsigned>
anatofuz
parents:
diff changeset
495 SourceManager::AllocateLoadedSLocEntries(unsigned NumSLocEntries,
anatofuz
parents:
diff changeset
496 unsigned TotalSize) {
anatofuz
parents:
diff changeset
497 assert(ExternalSLocEntries && "Don't have an external sloc source");
anatofuz
parents:
diff changeset
498 // Make sure we're not about to run out of source locations.
anatofuz
parents:
diff changeset
499 if (CurrentLoadedOffset - TotalSize < NextLocalOffset)
anatofuz
parents:
diff changeset
500 return std::make_pair(0, 0);
anatofuz
parents:
diff changeset
501 LoadedSLocEntryTable.resize(LoadedSLocEntryTable.size() + NumSLocEntries);
anatofuz
parents:
diff changeset
502 SLocEntryLoaded.resize(LoadedSLocEntryTable.size());
anatofuz
parents:
diff changeset
503 CurrentLoadedOffset -= TotalSize;
anatofuz
parents:
diff changeset
504 int ID = LoadedSLocEntryTable.size();
anatofuz
parents:
diff changeset
505 return std::make_pair(-ID - 1, CurrentLoadedOffset);
anatofuz
parents:
diff changeset
506 }
anatofuz
parents:
diff changeset
507
anatofuz
parents:
diff changeset
508 /// As part of recovering from missing or changed content, produce a
anatofuz
parents:
diff changeset
509 /// fake, non-empty buffer.
anatofuz
parents:
diff changeset
510 llvm::MemoryBuffer *SourceManager::getFakeBufferForRecovery() const {
anatofuz
parents:
diff changeset
511 if (!FakeBufferForRecovery)
anatofuz
parents:
diff changeset
512 FakeBufferForRecovery =
anatofuz
parents:
diff changeset
513 llvm::MemoryBuffer::getMemBuffer("<<<INVALID BUFFER>>");
anatofuz
parents:
diff changeset
514
anatofuz
parents:
diff changeset
515 return FakeBufferForRecovery.get();
anatofuz
parents:
diff changeset
516 }
anatofuz
parents:
diff changeset
517
anatofuz
parents:
diff changeset
518 /// As part of recovering from missing or changed content, produce a
anatofuz
parents:
diff changeset
519 /// fake content cache.
anatofuz
parents:
diff changeset
520 const SrcMgr::ContentCache *
anatofuz
parents:
diff changeset
521 SourceManager::getFakeContentCacheForRecovery() const {
anatofuz
parents:
diff changeset
522 if (!FakeContentCacheForRecovery) {
anatofuz
parents:
diff changeset
523 FakeContentCacheForRecovery = std::make_unique<SrcMgr::ContentCache>();
anatofuz
parents:
diff changeset
524 FakeContentCacheForRecovery->replaceBuffer(getFakeBufferForRecovery(),
anatofuz
parents:
diff changeset
525 /*DoNotFree=*/true);
anatofuz
parents:
diff changeset
526 }
anatofuz
parents:
diff changeset
527 return FakeContentCacheForRecovery.get();
anatofuz
parents:
diff changeset
528 }
anatofuz
parents:
diff changeset
529
anatofuz
parents:
diff changeset
530 /// Returns the previous in-order FileID or an invalid FileID if there
anatofuz
parents:
diff changeset
531 /// is no previous one.
anatofuz
parents:
diff changeset
532 FileID SourceManager::getPreviousFileID(FileID FID) const {
anatofuz
parents:
diff changeset
533 if (FID.isInvalid())
anatofuz
parents:
diff changeset
534 return FileID();
anatofuz
parents:
diff changeset
535
anatofuz
parents:
diff changeset
536 int ID = FID.ID;
anatofuz
parents:
diff changeset
537 if (ID == -1)
anatofuz
parents:
diff changeset
538 return FileID();
anatofuz
parents:
diff changeset
539
anatofuz
parents:
diff changeset
540 if (ID > 0) {
anatofuz
parents:
diff changeset
541 if (ID-1 == 0)
anatofuz
parents:
diff changeset
542 return FileID();
anatofuz
parents:
diff changeset
543 } else if (unsigned(-(ID-1) - 2) >= LoadedSLocEntryTable.size()) {
anatofuz
parents:
diff changeset
544 return FileID();
anatofuz
parents:
diff changeset
545 }
anatofuz
parents:
diff changeset
546
anatofuz
parents:
diff changeset
547 return FileID::get(ID-1);
anatofuz
parents:
diff changeset
548 }
anatofuz
parents:
diff changeset
549
anatofuz
parents:
diff changeset
550 /// Returns the next in-order FileID or an invalid FileID if there is
anatofuz
parents:
diff changeset
551 /// no next one.
anatofuz
parents:
diff changeset
552 FileID SourceManager::getNextFileID(FileID FID) const {
anatofuz
parents:
diff changeset
553 if (FID.isInvalid())
anatofuz
parents:
diff changeset
554 return FileID();
anatofuz
parents:
diff changeset
555
anatofuz
parents:
diff changeset
556 int ID = FID.ID;
anatofuz
parents:
diff changeset
557 if (ID > 0) {
anatofuz
parents:
diff changeset
558 if (unsigned(ID+1) >= local_sloc_entry_size())
anatofuz
parents:
diff changeset
559 return FileID();
anatofuz
parents:
diff changeset
560 } else if (ID+1 >= -1) {
anatofuz
parents:
diff changeset
561 return FileID();
anatofuz
parents:
diff changeset
562 }
anatofuz
parents:
diff changeset
563
anatofuz
parents:
diff changeset
564 return FileID::get(ID+1);
anatofuz
parents:
diff changeset
565 }
anatofuz
parents:
diff changeset
566
anatofuz
parents:
diff changeset
567 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
568 // Methods to create new FileID's and macro expansions.
anatofuz
parents:
diff changeset
569 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
570
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
571 /// Create a new FileID that represents the specified file
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
572 /// being \#included from the specified IncludePosition.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
573 ///
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
574 /// This translates NULL into standard input.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
575 FileID SourceManager::createFileID(const FileEntry *SourceFile,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
576 SourceLocation IncludePos,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
577 SrcMgr::CharacteristicKind FileCharacter,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
578 int LoadedID, unsigned LoadedOffset) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
579 assert(SourceFile && "Null source file!");
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
580 const SrcMgr::ContentCache *IR =
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
581 getOrCreateContentCache(SourceFile, isSystem(FileCharacter));
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
582 assert(IR && "getOrCreateContentCache() cannot return NULL");
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
583 return createFileID(IR, SourceFile->getName(), IncludePos, FileCharacter,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
584 LoadedID, LoadedOffset);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
585 }
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
586
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
587 FileID SourceManager::createFileID(FileEntryRef SourceFile,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
588 SourceLocation IncludePos,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
589 SrcMgr::CharacteristicKind FileCharacter,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
590 int LoadedID, unsigned LoadedOffset) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
591 const SrcMgr::ContentCache *IR = getOrCreateContentCache(
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
592 &SourceFile.getFileEntry(), isSystem(FileCharacter));
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
593 assert(IR && "getOrCreateContentCache() cannot return NULL");
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
594 return createFileID(IR, SourceFile.getName(), IncludePos, FileCharacter,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
595 LoadedID, LoadedOffset);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
596 }
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
597
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
598 /// Create a new FileID that represents the specified memory buffer.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
599 ///
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
600 /// This does no caching of the buffer and takes ownership of the
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
601 /// MemoryBuffer, so only pass a MemoryBuffer to this once.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
602 FileID SourceManager::createFileID(std::unique_ptr<llvm::MemoryBuffer> Buffer,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
603 SrcMgr::CharacteristicKind FileCharacter,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
604 int LoadedID, unsigned LoadedOffset,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
605 SourceLocation IncludeLoc) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
606 StringRef Name = Buffer->getBufferIdentifier();
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
607 return createFileID(
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
608 createMemBufferContentCache(Buffer.release(), /*DoNotFree*/ false),
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
609 Name, IncludeLoc, FileCharacter, LoadedID, LoadedOffset);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
610 }
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
611
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
612 /// Create a new FileID that represents the specified memory buffer.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
613 ///
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
614 /// This does not take ownership of the MemoryBuffer. The memory buffer must
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
615 /// outlive the SourceManager.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
616 FileID SourceManager::createFileID(UnownedTag, const llvm::MemoryBuffer *Buffer,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
617 SrcMgr::CharacteristicKind FileCharacter,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
618 int LoadedID, unsigned LoadedOffset,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
619 SourceLocation IncludeLoc) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
620 return createFileID(createMemBufferContentCache(Buffer, /*DoNotFree*/ true),
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
621 Buffer->getBufferIdentifier(), IncludeLoc,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
622 FileCharacter, LoadedID, LoadedOffset);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
623 }
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
624
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
625 /// Get the FileID for \p SourceFile if it exists. Otherwise, create a
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
626 /// new FileID for the \p SourceFile.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
627 FileID
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
628 SourceManager::getOrCreateFileID(const FileEntry *SourceFile,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
629 SrcMgr::CharacteristicKind FileCharacter) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
630 FileID ID = translateFile(SourceFile);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
631 return ID.isValid() ? ID : createFileID(SourceFile, SourceLocation(),
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
632 FileCharacter);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
633 }
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
634
150
anatofuz
parents:
diff changeset
635 /// createFileID - Create a new FileID for the specified ContentCache and
anatofuz
parents:
diff changeset
636 /// include position. This works regardless of whether the ContentCache
anatofuz
parents:
diff changeset
637 /// corresponds to a file or some other input source.
anatofuz
parents:
diff changeset
638 FileID SourceManager::createFileID(const ContentCache *File, StringRef Filename,
anatofuz
parents:
diff changeset
639 SourceLocation IncludePos,
anatofuz
parents:
diff changeset
640 SrcMgr::CharacteristicKind FileCharacter,
anatofuz
parents:
diff changeset
641 int LoadedID, unsigned LoadedOffset) {
anatofuz
parents:
diff changeset
642 if (LoadedID < 0) {
anatofuz
parents:
diff changeset
643 assert(LoadedID != -1 && "Loading sentinel FileID");
anatofuz
parents:
diff changeset
644 unsigned Index = unsigned(-LoadedID) - 2;
anatofuz
parents:
diff changeset
645 assert(Index < LoadedSLocEntryTable.size() && "FileID out of range");
anatofuz
parents:
diff changeset
646 assert(!SLocEntryLoaded[Index] && "FileID already loaded");
anatofuz
parents:
diff changeset
647 LoadedSLocEntryTable[Index] = SLocEntry::get(
anatofuz
parents:
diff changeset
648 LoadedOffset, FileInfo::get(IncludePos, File, FileCharacter, Filename));
anatofuz
parents:
diff changeset
649 SLocEntryLoaded[Index] = true;
anatofuz
parents:
diff changeset
650 return FileID::get(LoadedID);
anatofuz
parents:
diff changeset
651 }
anatofuz
parents:
diff changeset
652 unsigned FileSize = File->getSize();
anatofuz
parents:
diff changeset
653 if (!(NextLocalOffset + FileSize + 1 > NextLocalOffset &&
anatofuz
parents:
diff changeset
654 NextLocalOffset + FileSize + 1 <= CurrentLoadedOffset)) {
anatofuz
parents:
diff changeset
655 Diag.Report(IncludePos, diag::err_include_too_large);
anatofuz
parents:
diff changeset
656 return FileID();
anatofuz
parents:
diff changeset
657 }
anatofuz
parents:
diff changeset
658 LocalSLocEntryTable.push_back(
anatofuz
parents:
diff changeset
659 SLocEntry::get(NextLocalOffset,
anatofuz
parents:
diff changeset
660 FileInfo::get(IncludePos, File, FileCharacter, Filename)));
anatofuz
parents:
diff changeset
661 // We do a +1 here because we want a SourceLocation that means "the end of the
anatofuz
parents:
diff changeset
662 // file", e.g. for the "no newline at the end of the file" diagnostic.
anatofuz
parents:
diff changeset
663 NextLocalOffset += FileSize + 1;
anatofuz
parents:
diff changeset
664
anatofuz
parents:
diff changeset
665 // Set LastFileIDLookup to the newly created file. The next getFileID call is
anatofuz
parents:
diff changeset
666 // almost guaranteed to be from that file.
anatofuz
parents:
diff changeset
667 FileID FID = FileID::get(LocalSLocEntryTable.size()-1);
anatofuz
parents:
diff changeset
668 return LastFileIDLookup = FID;
anatofuz
parents:
diff changeset
669 }
anatofuz
parents:
diff changeset
670
anatofuz
parents:
diff changeset
671 SourceLocation
anatofuz
parents:
diff changeset
672 SourceManager::createMacroArgExpansionLoc(SourceLocation SpellingLoc,
anatofuz
parents:
diff changeset
673 SourceLocation ExpansionLoc,
anatofuz
parents:
diff changeset
674 unsigned TokLength) {
anatofuz
parents:
diff changeset
675 ExpansionInfo Info = ExpansionInfo::createForMacroArg(SpellingLoc,
anatofuz
parents:
diff changeset
676 ExpansionLoc);
anatofuz
parents:
diff changeset
677 return createExpansionLocImpl(Info, TokLength);
anatofuz
parents:
diff changeset
678 }
anatofuz
parents:
diff changeset
679
anatofuz
parents:
diff changeset
680 SourceLocation
anatofuz
parents:
diff changeset
681 SourceManager::createExpansionLoc(SourceLocation SpellingLoc,
anatofuz
parents:
diff changeset
682 SourceLocation ExpansionLocStart,
anatofuz
parents:
diff changeset
683 SourceLocation ExpansionLocEnd,
anatofuz
parents:
diff changeset
684 unsigned TokLength,
anatofuz
parents:
diff changeset
685 bool ExpansionIsTokenRange,
anatofuz
parents:
diff changeset
686 int LoadedID,
anatofuz
parents:
diff changeset
687 unsigned LoadedOffset) {
anatofuz
parents:
diff changeset
688 ExpansionInfo Info = ExpansionInfo::create(
anatofuz
parents:
diff changeset
689 SpellingLoc, ExpansionLocStart, ExpansionLocEnd, ExpansionIsTokenRange);
anatofuz
parents:
diff changeset
690 return createExpansionLocImpl(Info, TokLength, LoadedID, LoadedOffset);
anatofuz
parents:
diff changeset
691 }
anatofuz
parents:
diff changeset
692
anatofuz
parents:
diff changeset
693 SourceLocation SourceManager::createTokenSplitLoc(SourceLocation Spelling,
anatofuz
parents:
diff changeset
694 SourceLocation TokenStart,
anatofuz
parents:
diff changeset
695 SourceLocation TokenEnd) {
anatofuz
parents:
diff changeset
696 assert(getFileID(TokenStart) == getFileID(TokenEnd) &&
anatofuz
parents:
diff changeset
697 "token spans multiple files");
anatofuz
parents:
diff changeset
698 return createExpansionLocImpl(
anatofuz
parents:
diff changeset
699 ExpansionInfo::createForTokenSplit(Spelling, TokenStart, TokenEnd),
anatofuz
parents:
diff changeset
700 TokenEnd.getOffset() - TokenStart.getOffset());
anatofuz
parents:
diff changeset
701 }
anatofuz
parents:
diff changeset
702
anatofuz
parents:
diff changeset
703 SourceLocation
anatofuz
parents:
diff changeset
704 SourceManager::createExpansionLocImpl(const ExpansionInfo &Info,
anatofuz
parents:
diff changeset
705 unsigned TokLength,
anatofuz
parents:
diff changeset
706 int LoadedID,
anatofuz
parents:
diff changeset
707 unsigned LoadedOffset) {
anatofuz
parents:
diff changeset
708 if (LoadedID < 0) {
anatofuz
parents:
diff changeset
709 assert(LoadedID != -1 && "Loading sentinel FileID");
anatofuz
parents:
diff changeset
710 unsigned Index = unsigned(-LoadedID) - 2;
anatofuz
parents:
diff changeset
711 assert(Index < LoadedSLocEntryTable.size() && "FileID out of range");
anatofuz
parents:
diff changeset
712 assert(!SLocEntryLoaded[Index] && "FileID already loaded");
anatofuz
parents:
diff changeset
713 LoadedSLocEntryTable[Index] = SLocEntry::get(LoadedOffset, Info);
anatofuz
parents:
diff changeset
714 SLocEntryLoaded[Index] = true;
anatofuz
parents:
diff changeset
715 return SourceLocation::getMacroLoc(LoadedOffset);
anatofuz
parents:
diff changeset
716 }
anatofuz
parents:
diff changeset
717 LocalSLocEntryTable.push_back(SLocEntry::get(NextLocalOffset, Info));
anatofuz
parents:
diff changeset
718 assert(NextLocalOffset + TokLength + 1 > NextLocalOffset &&
anatofuz
parents:
diff changeset
719 NextLocalOffset + TokLength + 1 <= CurrentLoadedOffset &&
anatofuz
parents:
diff changeset
720 "Ran out of source locations!");
anatofuz
parents:
diff changeset
721 // See createFileID for that +1.
anatofuz
parents:
diff changeset
722 NextLocalOffset += TokLength + 1;
anatofuz
parents:
diff changeset
723 return SourceLocation::getMacroLoc(NextLocalOffset - (TokLength + 1));
anatofuz
parents:
diff changeset
724 }
anatofuz
parents:
diff changeset
725
anatofuz
parents:
diff changeset
726 const llvm::MemoryBuffer *
anatofuz
parents:
diff changeset
727 SourceManager::getMemoryBufferForFile(const FileEntry *File, bool *Invalid) {
anatofuz
parents:
diff changeset
728 const SrcMgr::ContentCache *IR = getOrCreateContentCache(File);
anatofuz
parents:
diff changeset
729 assert(IR && "getOrCreateContentCache() cannot return NULL");
anatofuz
parents:
diff changeset
730 return IR->getBuffer(Diag, getFileManager(), SourceLocation(), Invalid);
anatofuz
parents:
diff changeset
731 }
anatofuz
parents:
diff changeset
732
anatofuz
parents:
diff changeset
733 void SourceManager::overrideFileContents(const FileEntry *SourceFile,
anatofuz
parents:
diff changeset
734 llvm::MemoryBuffer *Buffer,
anatofuz
parents:
diff changeset
735 bool DoNotFree) {
anatofuz
parents:
diff changeset
736 const SrcMgr::ContentCache *IR = getOrCreateContentCache(SourceFile);
anatofuz
parents:
diff changeset
737 assert(IR && "getOrCreateContentCache() cannot return NULL");
anatofuz
parents:
diff changeset
738
anatofuz
parents:
diff changeset
739 const_cast<SrcMgr::ContentCache *>(IR)->replaceBuffer(Buffer, DoNotFree);
anatofuz
parents:
diff changeset
740 const_cast<SrcMgr::ContentCache *>(IR)->BufferOverridden = true;
anatofuz
parents:
diff changeset
741
anatofuz
parents:
diff changeset
742 getOverriddenFilesInfo().OverriddenFilesWithBuffer.insert(SourceFile);
anatofuz
parents:
diff changeset
743 }
anatofuz
parents:
diff changeset
744
anatofuz
parents:
diff changeset
745 void SourceManager::overrideFileContents(const FileEntry *SourceFile,
anatofuz
parents:
diff changeset
746 const FileEntry *NewFile) {
anatofuz
parents:
diff changeset
747 assert(SourceFile->getSize() == NewFile->getSize() &&
anatofuz
parents:
diff changeset
748 "Different sizes, use the FileManager to create a virtual file with "
anatofuz
parents:
diff changeset
749 "the correct size");
anatofuz
parents:
diff changeset
750 assert(FileInfos.count(SourceFile) == 0 &&
anatofuz
parents:
diff changeset
751 "This function should be called at the initialization stage, before "
anatofuz
parents:
diff changeset
752 "any parsing occurs.");
anatofuz
parents:
diff changeset
753 getOverriddenFilesInfo().OverriddenFiles[SourceFile] = NewFile;
anatofuz
parents:
diff changeset
754 }
anatofuz
parents:
diff changeset
755
anatofuz
parents:
diff changeset
756 const FileEntry *
anatofuz
parents:
diff changeset
757 SourceManager::bypassFileContentsOverride(const FileEntry &File) {
anatofuz
parents:
diff changeset
758 assert(isFileOverridden(&File));
anatofuz
parents:
diff changeset
759 llvm::Optional<FileEntryRef> BypassFile =
anatofuz
parents:
diff changeset
760 FileMgr.getBypassFile(FileEntryRef(File.getName(), File));
anatofuz
parents:
diff changeset
761
anatofuz
parents:
diff changeset
762 // If the file can't be found in the FS, give up.
anatofuz
parents:
diff changeset
763 if (!BypassFile)
anatofuz
parents:
diff changeset
764 return nullptr;
anatofuz
parents:
diff changeset
765
anatofuz
parents:
diff changeset
766 const FileEntry *FE = &BypassFile->getFileEntry();
anatofuz
parents:
diff changeset
767 (void)getOrCreateContentCache(FE);
anatofuz
parents:
diff changeset
768 return FE;
anatofuz
parents:
diff changeset
769 }
anatofuz
parents:
diff changeset
770
anatofuz
parents:
diff changeset
771 void SourceManager::setFileIsTransient(const FileEntry *File) {
anatofuz
parents:
diff changeset
772 const SrcMgr::ContentCache *CC = getOrCreateContentCache(File);
anatofuz
parents:
diff changeset
773 const_cast<SrcMgr::ContentCache *>(CC)->IsTransient = true;
anatofuz
parents:
diff changeset
774 }
anatofuz
parents:
diff changeset
775
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
776 Optional<FileEntryRef> SourceManager::getFileEntryRefForID(FileID FID) const {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
777 bool Invalid = false;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
778 const SrcMgr::SLocEntry &Entry = getSLocEntry(FID, &Invalid);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
779 if (Invalid || !Entry.isFile())
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
780 return None;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
781
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
782 const SrcMgr::ContentCache *Content = Entry.getFile().getContentCache();
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
783 if (!Content || !Content->OrigEntry)
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
784 return None;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
785 return FileEntryRef(Entry.getFile().getName(), *Content->OrigEntry);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
786 }
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
787
150
anatofuz
parents:
diff changeset
788 StringRef SourceManager::getBufferData(FileID FID, bool *Invalid) const {
anatofuz
parents:
diff changeset
789 bool MyInvalid = false;
anatofuz
parents:
diff changeset
790 const SLocEntry &SLoc = getSLocEntry(FID, &MyInvalid);
anatofuz
parents:
diff changeset
791 if (!SLoc.isFile() || MyInvalid) {
anatofuz
parents:
diff changeset
792 if (Invalid)
anatofuz
parents:
diff changeset
793 *Invalid = true;
anatofuz
parents:
diff changeset
794 return "<<<<<INVALID SOURCE LOCATION>>>>>";
anatofuz
parents:
diff changeset
795 }
anatofuz
parents:
diff changeset
796
anatofuz
parents:
diff changeset
797 const llvm::MemoryBuffer *Buf = SLoc.getFile().getContentCache()->getBuffer(
anatofuz
parents:
diff changeset
798 Diag, getFileManager(), SourceLocation(), &MyInvalid);
anatofuz
parents:
diff changeset
799 if (Invalid)
anatofuz
parents:
diff changeset
800 *Invalid = MyInvalid;
anatofuz
parents:
diff changeset
801
anatofuz
parents:
diff changeset
802 if (MyInvalid)
anatofuz
parents:
diff changeset
803 return "<<<<<INVALID SOURCE LOCATION>>>>>";
anatofuz
parents:
diff changeset
804
anatofuz
parents:
diff changeset
805 return Buf->getBuffer();
anatofuz
parents:
diff changeset
806 }
anatofuz
parents:
diff changeset
807
anatofuz
parents:
diff changeset
808 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
809 // SourceLocation manipulation methods.
anatofuz
parents:
diff changeset
810 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
811
anatofuz
parents:
diff changeset
812 /// Return the FileID for a SourceLocation.
anatofuz
parents:
diff changeset
813 ///
anatofuz
parents:
diff changeset
814 /// This is the cache-miss path of getFileID. Not as hot as that function, but
anatofuz
parents:
diff changeset
815 /// still very important. It is responsible for finding the entry in the
anatofuz
parents:
diff changeset
816 /// SLocEntry tables that contains the specified location.
anatofuz
parents:
diff changeset
817 FileID SourceManager::getFileIDSlow(unsigned SLocOffset) const {
anatofuz
parents:
diff changeset
818 if (!SLocOffset)
anatofuz
parents:
diff changeset
819 return FileID::get(0);
anatofuz
parents:
diff changeset
820
anatofuz
parents:
diff changeset
821 // Now it is time to search for the correct file. See where the SLocOffset
anatofuz
parents:
diff changeset
822 // sits in the global view and consult local or loaded buffers for it.
anatofuz
parents:
diff changeset
823 if (SLocOffset < NextLocalOffset)
anatofuz
parents:
diff changeset
824 return getFileIDLocal(SLocOffset);
anatofuz
parents:
diff changeset
825 return getFileIDLoaded(SLocOffset);
anatofuz
parents:
diff changeset
826 }
anatofuz
parents:
diff changeset
827
anatofuz
parents:
diff changeset
828 /// Return the FileID for a SourceLocation with a low offset.
anatofuz
parents:
diff changeset
829 ///
anatofuz
parents:
diff changeset
830 /// This function knows that the SourceLocation is in a local buffer, not a
anatofuz
parents:
diff changeset
831 /// loaded one.
anatofuz
parents:
diff changeset
832 FileID SourceManager::getFileIDLocal(unsigned SLocOffset) const {
anatofuz
parents:
diff changeset
833 assert(SLocOffset < NextLocalOffset && "Bad function choice");
anatofuz
parents:
diff changeset
834
anatofuz
parents:
diff changeset
835 // After the first and second level caches, I see two common sorts of
anatofuz
parents:
diff changeset
836 // behavior: 1) a lot of searched FileID's are "near" the cached file
anatofuz
parents:
diff changeset
837 // location or are "near" the cached expansion location. 2) others are just
anatofuz
parents:
diff changeset
838 // completely random and may be a very long way away.
anatofuz
parents:
diff changeset
839 //
anatofuz
parents:
diff changeset
840 // To handle this, we do a linear search for up to 8 steps to catch #1 quickly
anatofuz
parents:
diff changeset
841 // then we fall back to a less cache efficient, but more scalable, binary
anatofuz
parents:
diff changeset
842 // search to find the location.
anatofuz
parents:
diff changeset
843
anatofuz
parents:
diff changeset
844 // See if this is near the file point - worst case we start scanning from the
anatofuz
parents:
diff changeset
845 // most newly created FileID.
anatofuz
parents:
diff changeset
846 const SrcMgr::SLocEntry *I;
anatofuz
parents:
diff changeset
847
anatofuz
parents:
diff changeset
848 if (LastFileIDLookup.ID < 0 ||
anatofuz
parents:
diff changeset
849 LocalSLocEntryTable[LastFileIDLookup.ID].getOffset() < SLocOffset) {
anatofuz
parents:
diff changeset
850 // Neither loc prunes our search.
anatofuz
parents:
diff changeset
851 I = LocalSLocEntryTable.end();
anatofuz
parents:
diff changeset
852 } else {
anatofuz
parents:
diff changeset
853 // Perhaps it is near the file point.
anatofuz
parents:
diff changeset
854 I = LocalSLocEntryTable.begin()+LastFileIDLookup.ID;
anatofuz
parents:
diff changeset
855 }
anatofuz
parents:
diff changeset
856
anatofuz
parents:
diff changeset
857 // Find the FileID that contains this. "I" is an iterator that points to a
anatofuz
parents:
diff changeset
858 // FileID whose offset is known to be larger than SLocOffset.
anatofuz
parents:
diff changeset
859 unsigned NumProbes = 0;
anatofuz
parents:
diff changeset
860 while (true) {
anatofuz
parents:
diff changeset
861 --I;
anatofuz
parents:
diff changeset
862 if (I->getOffset() <= SLocOffset) {
anatofuz
parents:
diff changeset
863 FileID Res = FileID::get(int(I - LocalSLocEntryTable.begin()));
anatofuz
parents:
diff changeset
864
anatofuz
parents:
diff changeset
865 // If this isn't an expansion, remember it. We have good locality across
anatofuz
parents:
diff changeset
866 // FileID lookups.
anatofuz
parents:
diff changeset
867 if (!I->isExpansion())
anatofuz
parents:
diff changeset
868 LastFileIDLookup = Res;
anatofuz
parents:
diff changeset
869 NumLinearScans += NumProbes+1;
anatofuz
parents:
diff changeset
870 return Res;
anatofuz
parents:
diff changeset
871 }
anatofuz
parents:
diff changeset
872 if (++NumProbes == 8)
anatofuz
parents:
diff changeset
873 break;
anatofuz
parents:
diff changeset
874 }
anatofuz
parents:
diff changeset
875
anatofuz
parents:
diff changeset
876 // Convert "I" back into an index. We know that it is an entry whose index is
anatofuz
parents:
diff changeset
877 // larger than the offset we are looking for.
anatofuz
parents:
diff changeset
878 unsigned GreaterIndex = I - LocalSLocEntryTable.begin();
anatofuz
parents:
diff changeset
879 // LessIndex - This is the lower bound of the range that we're searching.
anatofuz
parents:
diff changeset
880 // We know that the offset corresponding to the FileID is is less than
anatofuz
parents:
diff changeset
881 // SLocOffset.
anatofuz
parents:
diff changeset
882 unsigned LessIndex = 0;
anatofuz
parents:
diff changeset
883 NumProbes = 0;
anatofuz
parents:
diff changeset
884 while (true) {
anatofuz
parents:
diff changeset
885 bool Invalid = false;
anatofuz
parents:
diff changeset
886 unsigned MiddleIndex = (GreaterIndex-LessIndex)/2+LessIndex;
anatofuz
parents:
diff changeset
887 unsigned MidOffset = getLocalSLocEntry(MiddleIndex, &Invalid).getOffset();
anatofuz
parents:
diff changeset
888 if (Invalid)
anatofuz
parents:
diff changeset
889 return FileID::get(0);
anatofuz
parents:
diff changeset
890
anatofuz
parents:
diff changeset
891 ++NumProbes;
anatofuz
parents:
diff changeset
892
anatofuz
parents:
diff changeset
893 // If the offset of the midpoint is too large, chop the high side of the
anatofuz
parents:
diff changeset
894 // range to the midpoint.
anatofuz
parents:
diff changeset
895 if (MidOffset > SLocOffset) {
anatofuz
parents:
diff changeset
896 GreaterIndex = MiddleIndex;
anatofuz
parents:
diff changeset
897 continue;
anatofuz
parents:
diff changeset
898 }
anatofuz
parents:
diff changeset
899
anatofuz
parents:
diff changeset
900 // If the middle index contains the value, succeed and return.
anatofuz
parents:
diff changeset
901 // FIXME: This could be made faster by using a function that's aware of
anatofuz
parents:
diff changeset
902 // being in the local area.
anatofuz
parents:
diff changeset
903 if (isOffsetInFileID(FileID::get(MiddleIndex), SLocOffset)) {
anatofuz
parents:
diff changeset
904 FileID Res = FileID::get(MiddleIndex);
anatofuz
parents:
diff changeset
905
anatofuz
parents:
diff changeset
906 // If this isn't a macro expansion, remember it. We have good locality
anatofuz
parents:
diff changeset
907 // across FileID lookups.
anatofuz
parents:
diff changeset
908 if (!LocalSLocEntryTable[MiddleIndex].isExpansion())
anatofuz
parents:
diff changeset
909 LastFileIDLookup = Res;
anatofuz
parents:
diff changeset
910 NumBinaryProbes += NumProbes;
anatofuz
parents:
diff changeset
911 return Res;
anatofuz
parents:
diff changeset
912 }
anatofuz
parents:
diff changeset
913
anatofuz
parents:
diff changeset
914 // Otherwise, move the low-side up to the middle index.
anatofuz
parents:
diff changeset
915 LessIndex = MiddleIndex;
anatofuz
parents:
diff changeset
916 }
anatofuz
parents:
diff changeset
917 }
anatofuz
parents:
diff changeset
918
anatofuz
parents:
diff changeset
919 /// Return the FileID for a SourceLocation with a high offset.
anatofuz
parents:
diff changeset
920 ///
anatofuz
parents:
diff changeset
921 /// This function knows that the SourceLocation is in a loaded buffer, not a
anatofuz
parents:
diff changeset
922 /// local one.
anatofuz
parents:
diff changeset
923 FileID SourceManager::getFileIDLoaded(unsigned SLocOffset) const {
anatofuz
parents:
diff changeset
924 // Sanity checking, otherwise a bug may lead to hanging in release build.
anatofuz
parents:
diff changeset
925 if (SLocOffset < CurrentLoadedOffset) {
anatofuz
parents:
diff changeset
926 assert(0 && "Invalid SLocOffset or bad function choice");
anatofuz
parents:
diff changeset
927 return FileID();
anatofuz
parents:
diff changeset
928 }
anatofuz
parents:
diff changeset
929
anatofuz
parents:
diff changeset
930 // Essentially the same as the local case, but the loaded array is sorted
anatofuz
parents:
diff changeset
931 // in the other direction.
anatofuz
parents:
diff changeset
932
anatofuz
parents:
diff changeset
933 // First do a linear scan from the last lookup position, if possible.
anatofuz
parents:
diff changeset
934 unsigned I;
anatofuz
parents:
diff changeset
935 int LastID = LastFileIDLookup.ID;
anatofuz
parents:
diff changeset
936 if (LastID >= 0 || getLoadedSLocEntryByID(LastID).getOffset() < SLocOffset)
anatofuz
parents:
diff changeset
937 I = 0;
anatofuz
parents:
diff changeset
938 else
anatofuz
parents:
diff changeset
939 I = (-LastID - 2) + 1;
anatofuz
parents:
diff changeset
940
anatofuz
parents:
diff changeset
941 unsigned NumProbes;
anatofuz
parents:
diff changeset
942 for (NumProbes = 0; NumProbes < 8; ++NumProbes, ++I) {
anatofuz
parents:
diff changeset
943 // Make sure the entry is loaded!
anatofuz
parents:
diff changeset
944 const SrcMgr::SLocEntry &E = getLoadedSLocEntry(I);
anatofuz
parents:
diff changeset
945 if (E.getOffset() <= SLocOffset) {
anatofuz
parents:
diff changeset
946 FileID Res = FileID::get(-int(I) - 2);
anatofuz
parents:
diff changeset
947
anatofuz
parents:
diff changeset
948 if (!E.isExpansion())
anatofuz
parents:
diff changeset
949 LastFileIDLookup = Res;
anatofuz
parents:
diff changeset
950 NumLinearScans += NumProbes + 1;
anatofuz
parents:
diff changeset
951 return Res;
anatofuz
parents:
diff changeset
952 }
anatofuz
parents:
diff changeset
953 }
anatofuz
parents:
diff changeset
954
anatofuz
parents:
diff changeset
955 // Linear scan failed. Do the binary search. Note the reverse sorting of the
anatofuz
parents:
diff changeset
956 // table: GreaterIndex is the one where the offset is greater, which is
anatofuz
parents:
diff changeset
957 // actually a lower index!
anatofuz
parents:
diff changeset
958 unsigned GreaterIndex = I;
anatofuz
parents:
diff changeset
959 unsigned LessIndex = LoadedSLocEntryTable.size();
anatofuz
parents:
diff changeset
960 NumProbes = 0;
anatofuz
parents:
diff changeset
961 while (true) {
anatofuz
parents:
diff changeset
962 ++NumProbes;
anatofuz
parents:
diff changeset
963 unsigned MiddleIndex = (LessIndex - GreaterIndex) / 2 + GreaterIndex;
anatofuz
parents:
diff changeset
964 const SrcMgr::SLocEntry &E = getLoadedSLocEntry(MiddleIndex);
anatofuz
parents:
diff changeset
965 if (E.getOffset() == 0)
anatofuz
parents:
diff changeset
966 return FileID(); // invalid entry.
anatofuz
parents:
diff changeset
967
anatofuz
parents:
diff changeset
968 ++NumProbes;
anatofuz
parents:
diff changeset
969
anatofuz
parents:
diff changeset
970 if (E.getOffset() > SLocOffset) {
anatofuz
parents:
diff changeset
971 // Sanity checking, otherwise a bug may lead to hanging in release build.
anatofuz
parents:
diff changeset
972 if (GreaterIndex == MiddleIndex) {
anatofuz
parents:
diff changeset
973 assert(0 && "binary search missed the entry");
anatofuz
parents:
diff changeset
974 return FileID();
anatofuz
parents:
diff changeset
975 }
anatofuz
parents:
diff changeset
976 GreaterIndex = MiddleIndex;
anatofuz
parents:
diff changeset
977 continue;
anatofuz
parents:
diff changeset
978 }
anatofuz
parents:
diff changeset
979
anatofuz
parents:
diff changeset
980 if (isOffsetInFileID(FileID::get(-int(MiddleIndex) - 2), SLocOffset)) {
anatofuz
parents:
diff changeset
981 FileID Res = FileID::get(-int(MiddleIndex) - 2);
anatofuz
parents:
diff changeset
982 if (!E.isExpansion())
anatofuz
parents:
diff changeset
983 LastFileIDLookup = Res;
anatofuz
parents:
diff changeset
984 NumBinaryProbes += NumProbes;
anatofuz
parents:
diff changeset
985 return Res;
anatofuz
parents:
diff changeset
986 }
anatofuz
parents:
diff changeset
987
anatofuz
parents:
diff changeset
988 // Sanity checking, otherwise a bug may lead to hanging in release build.
anatofuz
parents:
diff changeset
989 if (LessIndex == MiddleIndex) {
anatofuz
parents:
diff changeset
990 assert(0 && "binary search missed the entry");
anatofuz
parents:
diff changeset
991 return FileID();
anatofuz
parents:
diff changeset
992 }
anatofuz
parents:
diff changeset
993 LessIndex = MiddleIndex;
anatofuz
parents:
diff changeset
994 }
anatofuz
parents:
diff changeset
995 }
anatofuz
parents:
diff changeset
996
anatofuz
parents:
diff changeset
997 SourceLocation SourceManager::
anatofuz
parents:
diff changeset
998 getExpansionLocSlowCase(SourceLocation Loc) const {
anatofuz
parents:
diff changeset
999 do {
anatofuz
parents:
diff changeset
1000 // Note: If Loc indicates an offset into a token that came from a macro
anatofuz
parents:
diff changeset
1001 // expansion (e.g. the 5th character of the token) we do not want to add
anatofuz
parents:
diff changeset
1002 // this offset when going to the expansion location. The expansion
anatofuz
parents:
diff changeset
1003 // location is the macro invocation, which the offset has nothing to do
anatofuz
parents:
diff changeset
1004 // with. This is unlike when we get the spelling loc, because the offset
anatofuz
parents:
diff changeset
1005 // directly correspond to the token whose spelling we're inspecting.
anatofuz
parents:
diff changeset
1006 Loc = getSLocEntry(getFileID(Loc)).getExpansion().getExpansionLocStart();
anatofuz
parents:
diff changeset
1007 } while (!Loc.isFileID());
anatofuz
parents:
diff changeset
1008
anatofuz
parents:
diff changeset
1009 return Loc;
anatofuz
parents:
diff changeset
1010 }
anatofuz
parents:
diff changeset
1011
anatofuz
parents:
diff changeset
1012 SourceLocation SourceManager::getSpellingLocSlowCase(SourceLocation Loc) const {
anatofuz
parents:
diff changeset
1013 do {
anatofuz
parents:
diff changeset
1014 std::pair<FileID, unsigned> LocInfo = getDecomposedLoc(Loc);
anatofuz
parents:
diff changeset
1015 Loc = getSLocEntry(LocInfo.first).getExpansion().getSpellingLoc();
anatofuz
parents:
diff changeset
1016 Loc = Loc.getLocWithOffset(LocInfo.second);
anatofuz
parents:
diff changeset
1017 } while (!Loc.isFileID());
anatofuz
parents:
diff changeset
1018 return Loc;
anatofuz
parents:
diff changeset
1019 }
anatofuz
parents:
diff changeset
1020
anatofuz
parents:
diff changeset
1021 SourceLocation SourceManager::getFileLocSlowCase(SourceLocation Loc) const {
anatofuz
parents:
diff changeset
1022 do {
anatofuz
parents:
diff changeset
1023 if (isMacroArgExpansion(Loc))
anatofuz
parents:
diff changeset
1024 Loc = getImmediateSpellingLoc(Loc);
anatofuz
parents:
diff changeset
1025 else
anatofuz
parents:
diff changeset
1026 Loc = getImmediateExpansionRange(Loc).getBegin();
anatofuz
parents:
diff changeset
1027 } while (!Loc.isFileID());
anatofuz
parents:
diff changeset
1028 return Loc;
anatofuz
parents:
diff changeset
1029 }
anatofuz
parents:
diff changeset
1030
anatofuz
parents:
diff changeset
1031
anatofuz
parents:
diff changeset
1032 std::pair<FileID, unsigned>
anatofuz
parents:
diff changeset
1033 SourceManager::getDecomposedExpansionLocSlowCase(
anatofuz
parents:
diff changeset
1034 const SrcMgr::SLocEntry *E) const {
anatofuz
parents:
diff changeset
1035 // If this is an expansion record, walk through all the expansion points.
anatofuz
parents:
diff changeset
1036 FileID FID;
anatofuz
parents:
diff changeset
1037 SourceLocation Loc;
anatofuz
parents:
diff changeset
1038 unsigned Offset;
anatofuz
parents:
diff changeset
1039 do {
anatofuz
parents:
diff changeset
1040 Loc = E->getExpansion().getExpansionLocStart();
anatofuz
parents:
diff changeset
1041
anatofuz
parents:
diff changeset
1042 FID = getFileID(Loc);
anatofuz
parents:
diff changeset
1043 E = &getSLocEntry(FID);
anatofuz
parents:
diff changeset
1044 Offset = Loc.getOffset()-E->getOffset();
anatofuz
parents:
diff changeset
1045 } while (!Loc.isFileID());
anatofuz
parents:
diff changeset
1046
anatofuz
parents:
diff changeset
1047 return std::make_pair(FID, Offset);
anatofuz
parents:
diff changeset
1048 }
anatofuz
parents:
diff changeset
1049
anatofuz
parents:
diff changeset
1050 std::pair<FileID, unsigned>
anatofuz
parents:
diff changeset
1051 SourceManager::getDecomposedSpellingLocSlowCase(const SrcMgr::SLocEntry *E,
anatofuz
parents:
diff changeset
1052 unsigned Offset) const {
anatofuz
parents:
diff changeset
1053 // If this is an expansion record, walk through all the expansion points.
anatofuz
parents:
diff changeset
1054 FileID FID;
anatofuz
parents:
diff changeset
1055 SourceLocation Loc;
anatofuz
parents:
diff changeset
1056 do {
anatofuz
parents:
diff changeset
1057 Loc = E->getExpansion().getSpellingLoc();
anatofuz
parents:
diff changeset
1058 Loc = Loc.getLocWithOffset(Offset);
anatofuz
parents:
diff changeset
1059
anatofuz
parents:
diff changeset
1060 FID = getFileID(Loc);
anatofuz
parents:
diff changeset
1061 E = &getSLocEntry(FID);
anatofuz
parents:
diff changeset
1062 Offset = Loc.getOffset()-E->getOffset();
anatofuz
parents:
diff changeset
1063 } while (!Loc.isFileID());
anatofuz
parents:
diff changeset
1064
anatofuz
parents:
diff changeset
1065 return std::make_pair(FID, Offset);
anatofuz
parents:
diff changeset
1066 }
anatofuz
parents:
diff changeset
1067
anatofuz
parents:
diff changeset
1068 /// getImmediateSpellingLoc - Given a SourceLocation object, return the
anatofuz
parents:
diff changeset
1069 /// spelling location referenced by the ID. This is the first level down
anatofuz
parents:
diff changeset
1070 /// towards the place where the characters that make up the lexed token can be
anatofuz
parents:
diff changeset
1071 /// found. This should not generally be used by clients.
anatofuz
parents:
diff changeset
1072 SourceLocation SourceManager::getImmediateSpellingLoc(SourceLocation Loc) const{
anatofuz
parents:
diff changeset
1073 if (Loc.isFileID()) return Loc;
anatofuz
parents:
diff changeset
1074 std::pair<FileID, unsigned> LocInfo = getDecomposedLoc(Loc);
anatofuz
parents:
diff changeset
1075 Loc = getSLocEntry(LocInfo.first).getExpansion().getSpellingLoc();
anatofuz
parents:
diff changeset
1076 return Loc.getLocWithOffset(LocInfo.second);
anatofuz
parents:
diff changeset
1077 }
anatofuz
parents:
diff changeset
1078
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1079 /// Return the filename of the file containing a SourceLocation.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1080 StringRef SourceManager::getFilename(SourceLocation SpellingLoc) const {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1081 if (const FileEntry *F = getFileEntryForID(getFileID(SpellingLoc)))
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1082 return F->getName();
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1083 return StringRef();
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1084 }
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1085
150
anatofuz
parents:
diff changeset
1086 /// getImmediateExpansionRange - Loc is required to be an expansion location.
anatofuz
parents:
diff changeset
1087 /// Return the start/end of the expansion information.
anatofuz
parents:
diff changeset
1088 CharSourceRange
anatofuz
parents:
diff changeset
1089 SourceManager::getImmediateExpansionRange(SourceLocation Loc) const {
anatofuz
parents:
diff changeset
1090 assert(Loc.isMacroID() && "Not a macro expansion loc!");
anatofuz
parents:
diff changeset
1091 const ExpansionInfo &Expansion = getSLocEntry(getFileID(Loc)).getExpansion();
anatofuz
parents:
diff changeset
1092 return Expansion.getExpansionLocRange();
anatofuz
parents:
diff changeset
1093 }
anatofuz
parents:
diff changeset
1094
anatofuz
parents:
diff changeset
1095 SourceLocation SourceManager::getTopMacroCallerLoc(SourceLocation Loc) const {
anatofuz
parents:
diff changeset
1096 while (isMacroArgExpansion(Loc))
anatofuz
parents:
diff changeset
1097 Loc = getImmediateSpellingLoc(Loc);
anatofuz
parents:
diff changeset
1098 return Loc;
anatofuz
parents:
diff changeset
1099 }
anatofuz
parents:
diff changeset
1100
anatofuz
parents:
diff changeset
1101 /// getExpansionRange - Given a SourceLocation object, return the range of
anatofuz
parents:
diff changeset
1102 /// tokens covered by the expansion in the ultimate file.
anatofuz
parents:
diff changeset
1103 CharSourceRange SourceManager::getExpansionRange(SourceLocation Loc) const {
anatofuz
parents:
diff changeset
1104 if (Loc.isFileID())
anatofuz
parents:
diff changeset
1105 return CharSourceRange(SourceRange(Loc, Loc), true);
anatofuz
parents:
diff changeset
1106
anatofuz
parents:
diff changeset
1107 CharSourceRange Res = getImmediateExpansionRange(Loc);
anatofuz
parents:
diff changeset
1108
anatofuz
parents:
diff changeset
1109 // Fully resolve the start and end locations to their ultimate expansion
anatofuz
parents:
diff changeset
1110 // points.
anatofuz
parents:
diff changeset
1111 while (!Res.getBegin().isFileID())
anatofuz
parents:
diff changeset
1112 Res.setBegin(getImmediateExpansionRange(Res.getBegin()).getBegin());
anatofuz
parents:
diff changeset
1113 while (!Res.getEnd().isFileID()) {
anatofuz
parents:
diff changeset
1114 CharSourceRange EndRange = getImmediateExpansionRange(Res.getEnd());
anatofuz
parents:
diff changeset
1115 Res.setEnd(EndRange.getEnd());
anatofuz
parents:
diff changeset
1116 Res.setTokenRange(EndRange.isTokenRange());
anatofuz
parents:
diff changeset
1117 }
anatofuz
parents:
diff changeset
1118 return Res;
anatofuz
parents:
diff changeset
1119 }
anatofuz
parents:
diff changeset
1120
anatofuz
parents:
diff changeset
1121 bool SourceManager::isMacroArgExpansion(SourceLocation Loc,
anatofuz
parents:
diff changeset
1122 SourceLocation *StartLoc) const {
anatofuz
parents:
diff changeset
1123 if (!Loc.isMacroID()) return false;
anatofuz
parents:
diff changeset
1124
anatofuz
parents:
diff changeset
1125 FileID FID = getFileID(Loc);
anatofuz
parents:
diff changeset
1126 const SrcMgr::ExpansionInfo &Expansion = getSLocEntry(FID).getExpansion();
anatofuz
parents:
diff changeset
1127 if (!Expansion.isMacroArgExpansion()) return false;
anatofuz
parents:
diff changeset
1128
anatofuz
parents:
diff changeset
1129 if (StartLoc)
anatofuz
parents:
diff changeset
1130 *StartLoc = Expansion.getExpansionLocStart();
anatofuz
parents:
diff changeset
1131 return true;
anatofuz
parents:
diff changeset
1132 }
anatofuz
parents:
diff changeset
1133
anatofuz
parents:
diff changeset
1134 bool SourceManager::isMacroBodyExpansion(SourceLocation Loc) const {
anatofuz
parents:
diff changeset
1135 if (!Loc.isMacroID()) return false;
anatofuz
parents:
diff changeset
1136
anatofuz
parents:
diff changeset
1137 FileID FID = getFileID(Loc);
anatofuz
parents:
diff changeset
1138 const SrcMgr::ExpansionInfo &Expansion = getSLocEntry(FID).getExpansion();
anatofuz
parents:
diff changeset
1139 return Expansion.isMacroBodyExpansion();
anatofuz
parents:
diff changeset
1140 }
anatofuz
parents:
diff changeset
1141
anatofuz
parents:
diff changeset
1142 bool SourceManager::isAtStartOfImmediateMacroExpansion(SourceLocation Loc,
anatofuz
parents:
diff changeset
1143 SourceLocation *MacroBegin) const {
anatofuz
parents:
diff changeset
1144 assert(Loc.isValid() && Loc.isMacroID() && "Expected a valid macro loc");
anatofuz
parents:
diff changeset
1145
anatofuz
parents:
diff changeset
1146 std::pair<FileID, unsigned> DecompLoc = getDecomposedLoc(Loc);
anatofuz
parents:
diff changeset
1147 if (DecompLoc.second > 0)
anatofuz
parents:
diff changeset
1148 return false; // Does not point at the start of expansion range.
anatofuz
parents:
diff changeset
1149
anatofuz
parents:
diff changeset
1150 bool Invalid = false;
anatofuz
parents:
diff changeset
1151 const SrcMgr::ExpansionInfo &ExpInfo =
anatofuz
parents:
diff changeset
1152 getSLocEntry(DecompLoc.first, &Invalid).getExpansion();
anatofuz
parents:
diff changeset
1153 if (Invalid)
anatofuz
parents:
diff changeset
1154 return false;
anatofuz
parents:
diff changeset
1155 SourceLocation ExpLoc = ExpInfo.getExpansionLocStart();
anatofuz
parents:
diff changeset
1156
anatofuz
parents:
diff changeset
1157 if (ExpInfo.isMacroArgExpansion()) {
anatofuz
parents:
diff changeset
1158 // For macro argument expansions, check if the previous FileID is part of
anatofuz
parents:
diff changeset
1159 // the same argument expansion, in which case this Loc is not at the
anatofuz
parents:
diff changeset
1160 // beginning of the expansion.
anatofuz
parents:
diff changeset
1161 FileID PrevFID = getPreviousFileID(DecompLoc.first);
anatofuz
parents:
diff changeset
1162 if (!PrevFID.isInvalid()) {
anatofuz
parents:
diff changeset
1163 const SrcMgr::SLocEntry &PrevEntry = getSLocEntry(PrevFID, &Invalid);
anatofuz
parents:
diff changeset
1164 if (Invalid)
anatofuz
parents:
diff changeset
1165 return false;
anatofuz
parents:
diff changeset
1166 if (PrevEntry.isExpansion() &&
anatofuz
parents:
diff changeset
1167 PrevEntry.getExpansion().getExpansionLocStart() == ExpLoc)
anatofuz
parents:
diff changeset
1168 return false;
anatofuz
parents:
diff changeset
1169 }
anatofuz
parents:
diff changeset
1170 }
anatofuz
parents:
diff changeset
1171
anatofuz
parents:
diff changeset
1172 if (MacroBegin)
anatofuz
parents:
diff changeset
1173 *MacroBegin = ExpLoc;
anatofuz
parents:
diff changeset
1174 return true;
anatofuz
parents:
diff changeset
1175 }
anatofuz
parents:
diff changeset
1176
anatofuz
parents:
diff changeset
1177 bool SourceManager::isAtEndOfImmediateMacroExpansion(SourceLocation Loc,
anatofuz
parents:
diff changeset
1178 SourceLocation *MacroEnd) const {
anatofuz
parents:
diff changeset
1179 assert(Loc.isValid() && Loc.isMacroID() && "Expected a valid macro loc");
anatofuz
parents:
diff changeset
1180
anatofuz
parents:
diff changeset
1181 FileID FID = getFileID(Loc);
anatofuz
parents:
diff changeset
1182 SourceLocation NextLoc = Loc.getLocWithOffset(1);
anatofuz
parents:
diff changeset
1183 if (isInFileID(NextLoc, FID))
anatofuz
parents:
diff changeset
1184 return false; // Does not point at the end of expansion range.
anatofuz
parents:
diff changeset
1185
anatofuz
parents:
diff changeset
1186 bool Invalid = false;
anatofuz
parents:
diff changeset
1187 const SrcMgr::ExpansionInfo &ExpInfo =
anatofuz
parents:
diff changeset
1188 getSLocEntry(FID, &Invalid).getExpansion();
anatofuz
parents:
diff changeset
1189 if (Invalid)
anatofuz
parents:
diff changeset
1190 return false;
anatofuz
parents:
diff changeset
1191
anatofuz
parents:
diff changeset
1192 if (ExpInfo.isMacroArgExpansion()) {
anatofuz
parents:
diff changeset
1193 // For macro argument expansions, check if the next FileID is part of the
anatofuz
parents:
diff changeset
1194 // same argument expansion, in which case this Loc is not at the end of the
anatofuz
parents:
diff changeset
1195 // expansion.
anatofuz
parents:
diff changeset
1196 FileID NextFID = getNextFileID(FID);
anatofuz
parents:
diff changeset
1197 if (!NextFID.isInvalid()) {
anatofuz
parents:
diff changeset
1198 const SrcMgr::SLocEntry &NextEntry = getSLocEntry(NextFID, &Invalid);
anatofuz
parents:
diff changeset
1199 if (Invalid)
anatofuz
parents:
diff changeset
1200 return false;
anatofuz
parents:
diff changeset
1201 if (NextEntry.isExpansion() &&
anatofuz
parents:
diff changeset
1202 NextEntry.getExpansion().getExpansionLocStart() ==
anatofuz
parents:
diff changeset
1203 ExpInfo.getExpansionLocStart())
anatofuz
parents:
diff changeset
1204 return false;
anatofuz
parents:
diff changeset
1205 }
anatofuz
parents:
diff changeset
1206 }
anatofuz
parents:
diff changeset
1207
anatofuz
parents:
diff changeset
1208 if (MacroEnd)
anatofuz
parents:
diff changeset
1209 *MacroEnd = ExpInfo.getExpansionLocEnd();
anatofuz
parents:
diff changeset
1210 return true;
anatofuz
parents:
diff changeset
1211 }
anatofuz
parents:
diff changeset
1212
anatofuz
parents:
diff changeset
1213 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
1214 // Queries about the code at a SourceLocation.
anatofuz
parents:
diff changeset
1215 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
1216
anatofuz
parents:
diff changeset
1217 /// getCharacterData - Return a pointer to the start of the specified location
anatofuz
parents:
diff changeset
1218 /// in the appropriate MemoryBuffer.
anatofuz
parents:
diff changeset
1219 const char *SourceManager::getCharacterData(SourceLocation SL,
anatofuz
parents:
diff changeset
1220 bool *Invalid) const {
anatofuz
parents:
diff changeset
1221 // Note that this is a hot function in the getSpelling() path, which is
anatofuz
parents:
diff changeset
1222 // heavily used by -E mode.
anatofuz
parents:
diff changeset
1223 std::pair<FileID, unsigned> LocInfo = getDecomposedSpellingLoc(SL);
anatofuz
parents:
diff changeset
1224
anatofuz
parents:
diff changeset
1225 // Note that calling 'getBuffer()' may lazily page in a source file.
anatofuz
parents:
diff changeset
1226 bool CharDataInvalid = false;
anatofuz
parents:
diff changeset
1227 const SLocEntry &Entry = getSLocEntry(LocInfo.first, &CharDataInvalid);
anatofuz
parents:
diff changeset
1228 if (CharDataInvalid || !Entry.isFile()) {
anatofuz
parents:
diff changeset
1229 if (Invalid)
anatofuz
parents:
diff changeset
1230 *Invalid = true;
anatofuz
parents:
diff changeset
1231
anatofuz
parents:
diff changeset
1232 return "<<<<INVALID BUFFER>>>>";
anatofuz
parents:
diff changeset
1233 }
anatofuz
parents:
diff changeset
1234 const llvm::MemoryBuffer *Buffer =
anatofuz
parents:
diff changeset
1235 Entry.getFile().getContentCache()->getBuffer(
anatofuz
parents:
diff changeset
1236 Diag, getFileManager(), SourceLocation(), &CharDataInvalid);
anatofuz
parents:
diff changeset
1237 if (Invalid)
anatofuz
parents:
diff changeset
1238 *Invalid = CharDataInvalid;
anatofuz
parents:
diff changeset
1239 return Buffer->getBufferStart() + (CharDataInvalid? 0 : LocInfo.second);
anatofuz
parents:
diff changeset
1240 }
anatofuz
parents:
diff changeset
1241
anatofuz
parents:
diff changeset
1242 /// getColumnNumber - Return the column # for the specified file position.
anatofuz
parents:
diff changeset
1243 /// this is significantly cheaper to compute than the line number.
anatofuz
parents:
diff changeset
1244 unsigned SourceManager::getColumnNumber(FileID FID, unsigned FilePos,
anatofuz
parents:
diff changeset
1245 bool *Invalid) const {
anatofuz
parents:
diff changeset
1246 bool MyInvalid = false;
anatofuz
parents:
diff changeset
1247 const llvm::MemoryBuffer *MemBuf = getBuffer(FID, &MyInvalid);
anatofuz
parents:
diff changeset
1248 if (Invalid)
anatofuz
parents:
diff changeset
1249 *Invalid = MyInvalid;
anatofuz
parents:
diff changeset
1250
anatofuz
parents:
diff changeset
1251 if (MyInvalid)
anatofuz
parents:
diff changeset
1252 return 1;
anatofuz
parents:
diff changeset
1253
anatofuz
parents:
diff changeset
1254 // It is okay to request a position just past the end of the buffer.
anatofuz
parents:
diff changeset
1255 if (FilePos > MemBuf->getBufferSize()) {
anatofuz
parents:
diff changeset
1256 if (Invalid)
anatofuz
parents:
diff changeset
1257 *Invalid = true;
anatofuz
parents:
diff changeset
1258 return 1;
anatofuz
parents:
diff changeset
1259 }
anatofuz
parents:
diff changeset
1260
anatofuz
parents:
diff changeset
1261 const char *Buf = MemBuf->getBufferStart();
anatofuz
parents:
diff changeset
1262 // See if we just calculated the line number for this FilePos and can use
anatofuz
parents:
diff changeset
1263 // that to lookup the start of the line instead of searching for it.
anatofuz
parents:
diff changeset
1264 if (LastLineNoFileIDQuery == FID &&
anatofuz
parents:
diff changeset
1265 LastLineNoContentCache->SourceLineCache != nullptr &&
anatofuz
parents:
diff changeset
1266 LastLineNoResult < LastLineNoContentCache->NumLines) {
anatofuz
parents:
diff changeset
1267 unsigned *SourceLineCache = LastLineNoContentCache->SourceLineCache;
anatofuz
parents:
diff changeset
1268 unsigned LineStart = SourceLineCache[LastLineNoResult - 1];
anatofuz
parents:
diff changeset
1269 unsigned LineEnd = SourceLineCache[LastLineNoResult];
anatofuz
parents:
diff changeset
1270 if (FilePos >= LineStart && FilePos < LineEnd) {
anatofuz
parents:
diff changeset
1271 // LineEnd is the LineStart of the next line.
anatofuz
parents:
diff changeset
1272 // A line ends with separator LF or CR+LF on Windows.
anatofuz
parents:
diff changeset
1273 // FilePos might point to the last separator,
anatofuz
parents:
diff changeset
1274 // but we need a column number at most 1 + the last column.
anatofuz
parents:
diff changeset
1275 if (FilePos + 1 == LineEnd && FilePos > LineStart) {
anatofuz
parents:
diff changeset
1276 if (Buf[FilePos - 1] == '\r' || Buf[FilePos - 1] == '\n')
anatofuz
parents:
diff changeset
1277 --FilePos;
anatofuz
parents:
diff changeset
1278 }
anatofuz
parents:
diff changeset
1279 return FilePos - LineStart + 1;
anatofuz
parents:
diff changeset
1280 }
anatofuz
parents:
diff changeset
1281 }
anatofuz
parents:
diff changeset
1282
anatofuz
parents:
diff changeset
1283 unsigned LineStart = FilePos;
anatofuz
parents:
diff changeset
1284 while (LineStart && Buf[LineStart-1] != '\n' && Buf[LineStart-1] != '\r')
anatofuz
parents:
diff changeset
1285 --LineStart;
anatofuz
parents:
diff changeset
1286 return FilePos-LineStart+1;
anatofuz
parents:
diff changeset
1287 }
anatofuz
parents:
diff changeset
1288
anatofuz
parents:
diff changeset
1289 // isInvalid - Return the result of calling loc.isInvalid(), and
anatofuz
parents:
diff changeset
1290 // if Invalid is not null, set its value to same.
anatofuz
parents:
diff changeset
1291 template<typename LocType>
anatofuz
parents:
diff changeset
1292 static bool isInvalid(LocType Loc, bool *Invalid) {
anatofuz
parents:
diff changeset
1293 bool MyInvalid = Loc.isInvalid();
anatofuz
parents:
diff changeset
1294 if (Invalid)
anatofuz
parents:
diff changeset
1295 *Invalid = MyInvalid;
anatofuz
parents:
diff changeset
1296 return MyInvalid;
anatofuz
parents:
diff changeset
1297 }
anatofuz
parents:
diff changeset
1298
anatofuz
parents:
diff changeset
1299 unsigned SourceManager::getSpellingColumnNumber(SourceLocation Loc,
anatofuz
parents:
diff changeset
1300 bool *Invalid) const {
anatofuz
parents:
diff changeset
1301 if (isInvalid(Loc, Invalid)) return 0;
anatofuz
parents:
diff changeset
1302 std::pair<FileID, unsigned> LocInfo = getDecomposedSpellingLoc(Loc);
anatofuz
parents:
diff changeset
1303 return getColumnNumber(LocInfo.first, LocInfo.second, Invalid);
anatofuz
parents:
diff changeset
1304 }
anatofuz
parents:
diff changeset
1305
anatofuz
parents:
diff changeset
1306 unsigned SourceManager::getExpansionColumnNumber(SourceLocation Loc,
anatofuz
parents:
diff changeset
1307 bool *Invalid) const {
anatofuz
parents:
diff changeset
1308 if (isInvalid(Loc, Invalid)) return 0;
anatofuz
parents:
diff changeset
1309 std::pair<FileID, unsigned> LocInfo = getDecomposedExpansionLoc(Loc);
anatofuz
parents:
diff changeset
1310 return getColumnNumber(LocInfo.first, LocInfo.second, Invalid);
anatofuz
parents:
diff changeset
1311 }
anatofuz
parents:
diff changeset
1312
anatofuz
parents:
diff changeset
1313 unsigned SourceManager::getPresumedColumnNumber(SourceLocation Loc,
anatofuz
parents:
diff changeset
1314 bool *Invalid) const {
anatofuz
parents:
diff changeset
1315 PresumedLoc PLoc = getPresumedLoc(Loc);
anatofuz
parents:
diff changeset
1316 if (isInvalid(PLoc, Invalid)) return 0;
anatofuz
parents:
diff changeset
1317 return PLoc.getColumn();
anatofuz
parents:
diff changeset
1318 }
anatofuz
parents:
diff changeset
1319
anatofuz
parents:
diff changeset
1320 #ifdef __SSE2__
anatofuz
parents:
diff changeset
1321 #include <emmintrin.h>
anatofuz
parents:
diff changeset
1322 #endif
anatofuz
parents:
diff changeset
1323
anatofuz
parents:
diff changeset
1324 static LLVM_ATTRIBUTE_NOINLINE void
anatofuz
parents:
diff changeset
1325 ComputeLineNumbers(DiagnosticsEngine &Diag, ContentCache *FI,
anatofuz
parents:
diff changeset
1326 llvm::BumpPtrAllocator &Alloc,
anatofuz
parents:
diff changeset
1327 const SourceManager &SM, bool &Invalid);
anatofuz
parents:
diff changeset
1328 static void ComputeLineNumbers(DiagnosticsEngine &Diag, ContentCache *FI,
anatofuz
parents:
diff changeset
1329 llvm::BumpPtrAllocator &Alloc,
anatofuz
parents:
diff changeset
1330 const SourceManager &SM, bool &Invalid) {
anatofuz
parents:
diff changeset
1331 // Note that calling 'getBuffer()' may lazily page in the file.
anatofuz
parents:
diff changeset
1332 const MemoryBuffer *Buffer =
anatofuz
parents:
diff changeset
1333 FI->getBuffer(Diag, SM.getFileManager(), SourceLocation(), &Invalid);
anatofuz
parents:
diff changeset
1334 if (Invalid)
anatofuz
parents:
diff changeset
1335 return;
anatofuz
parents:
diff changeset
1336
anatofuz
parents:
diff changeset
1337 // Find the file offsets of all of the *physical* source lines. This does
anatofuz
parents:
diff changeset
1338 // not look at trigraphs, escaped newlines, or anything else tricky.
anatofuz
parents:
diff changeset
1339 SmallVector<unsigned, 256> LineOffsets;
anatofuz
parents:
diff changeset
1340
anatofuz
parents:
diff changeset
1341 // Line #1 starts at char 0.
anatofuz
parents:
diff changeset
1342 LineOffsets.push_back(0);
anatofuz
parents:
diff changeset
1343
anatofuz
parents:
diff changeset
1344 const unsigned char *Buf = (const unsigned char *)Buffer->getBufferStart();
anatofuz
parents:
diff changeset
1345 const unsigned char *End = (const unsigned char *)Buffer->getBufferEnd();
anatofuz
parents:
diff changeset
1346 const std::size_t BufLen = End - Buf;
anatofuz
parents:
diff changeset
1347 unsigned I = 0;
anatofuz
parents:
diff changeset
1348 while (I < BufLen) {
anatofuz
parents:
diff changeset
1349 if (Buf[I] == '\n') {
anatofuz
parents:
diff changeset
1350 LineOffsets.push_back(I + 1);
anatofuz
parents:
diff changeset
1351 } else if (Buf[I] == '\r') {
anatofuz
parents:
diff changeset
1352 // If this is \r\n, skip both characters.
anatofuz
parents:
diff changeset
1353 if (I + 1 < BufLen && Buf[I + 1] == '\n')
anatofuz
parents:
diff changeset
1354 ++I;
anatofuz
parents:
diff changeset
1355 LineOffsets.push_back(I + 1);
anatofuz
parents:
diff changeset
1356 }
anatofuz
parents:
diff changeset
1357 ++I;
anatofuz
parents:
diff changeset
1358 }
anatofuz
parents:
diff changeset
1359
anatofuz
parents:
diff changeset
1360 // Copy the offsets into the FileInfo structure.
anatofuz
parents:
diff changeset
1361 FI->NumLines = LineOffsets.size();
anatofuz
parents:
diff changeset
1362 FI->SourceLineCache = Alloc.Allocate<unsigned>(LineOffsets.size());
anatofuz
parents:
diff changeset
1363 std::copy(LineOffsets.begin(), LineOffsets.end(), FI->SourceLineCache);
anatofuz
parents:
diff changeset
1364 }
anatofuz
parents:
diff changeset
1365
anatofuz
parents:
diff changeset
1366 /// getLineNumber - Given a SourceLocation, return the spelling line number
anatofuz
parents:
diff changeset
1367 /// for the position indicated. This requires building and caching a table of
anatofuz
parents:
diff changeset
1368 /// line offsets for the MemoryBuffer, so this is not cheap: use only when
anatofuz
parents:
diff changeset
1369 /// about to emit a diagnostic.
anatofuz
parents:
diff changeset
1370 unsigned SourceManager::getLineNumber(FileID FID, unsigned FilePos,
anatofuz
parents:
diff changeset
1371 bool *Invalid) const {
anatofuz
parents:
diff changeset
1372 if (FID.isInvalid()) {
anatofuz
parents:
diff changeset
1373 if (Invalid)
anatofuz
parents:
diff changeset
1374 *Invalid = true;
anatofuz
parents:
diff changeset
1375 return 1;
anatofuz
parents:
diff changeset
1376 }
anatofuz
parents:
diff changeset
1377
anatofuz
parents:
diff changeset
1378 ContentCache *Content;
anatofuz
parents:
diff changeset
1379 if (LastLineNoFileIDQuery == FID)
anatofuz
parents:
diff changeset
1380 Content = LastLineNoContentCache;
anatofuz
parents:
diff changeset
1381 else {
anatofuz
parents:
diff changeset
1382 bool MyInvalid = false;
anatofuz
parents:
diff changeset
1383 const SLocEntry &Entry = getSLocEntry(FID, &MyInvalid);
anatofuz
parents:
diff changeset
1384 if (MyInvalid || !Entry.isFile()) {
anatofuz
parents:
diff changeset
1385 if (Invalid)
anatofuz
parents:
diff changeset
1386 *Invalid = true;
anatofuz
parents:
diff changeset
1387 return 1;
anatofuz
parents:
diff changeset
1388 }
anatofuz
parents:
diff changeset
1389
anatofuz
parents:
diff changeset
1390 Content = const_cast<ContentCache*>(Entry.getFile().getContentCache());
anatofuz
parents:
diff changeset
1391 }
anatofuz
parents:
diff changeset
1392
anatofuz
parents:
diff changeset
1393 // If this is the first use of line information for this buffer, compute the
anatofuz
parents:
diff changeset
1394 /// SourceLineCache for it on demand.
anatofuz
parents:
diff changeset
1395 if (!Content->SourceLineCache) {
anatofuz
parents:
diff changeset
1396 bool MyInvalid = false;
anatofuz
parents:
diff changeset
1397 ComputeLineNumbers(Diag, Content, ContentCacheAlloc, *this, MyInvalid);
anatofuz
parents:
diff changeset
1398 if (Invalid)
anatofuz
parents:
diff changeset
1399 *Invalid = MyInvalid;
anatofuz
parents:
diff changeset
1400 if (MyInvalid)
anatofuz
parents:
diff changeset
1401 return 1;
anatofuz
parents:
diff changeset
1402 } else if (Invalid)
anatofuz
parents:
diff changeset
1403 *Invalid = false;
anatofuz
parents:
diff changeset
1404
anatofuz
parents:
diff changeset
1405 // Okay, we know we have a line number table. Do a binary search to find the
anatofuz
parents:
diff changeset
1406 // line number that this character position lands on.
anatofuz
parents:
diff changeset
1407 unsigned *SourceLineCache = Content->SourceLineCache;
anatofuz
parents:
diff changeset
1408 unsigned *SourceLineCacheStart = SourceLineCache;
anatofuz
parents:
diff changeset
1409 unsigned *SourceLineCacheEnd = SourceLineCache + Content->NumLines;
anatofuz
parents:
diff changeset
1410
anatofuz
parents:
diff changeset
1411 unsigned QueriedFilePos = FilePos+1;
anatofuz
parents:
diff changeset
1412
anatofuz
parents:
diff changeset
1413 // FIXME: I would like to be convinced that this code is worth being as
anatofuz
parents:
diff changeset
1414 // complicated as it is, binary search isn't that slow.
anatofuz
parents:
diff changeset
1415 //
anatofuz
parents:
diff changeset
1416 // If it is worth being optimized, then in my opinion it could be more
anatofuz
parents:
diff changeset
1417 // performant, simpler, and more obviously correct by just "galloping" outward
anatofuz
parents:
diff changeset
1418 // from the queried file position. In fact, this could be incorporated into a
anatofuz
parents:
diff changeset
1419 // generic algorithm such as lower_bound_with_hint.
anatofuz
parents:
diff changeset
1420 //
anatofuz
parents:
diff changeset
1421 // If someone gives me a test case where this matters, and I will do it! - DWD
anatofuz
parents:
diff changeset
1422
anatofuz
parents:
diff changeset
1423 // If the previous query was to the same file, we know both the file pos from
anatofuz
parents:
diff changeset
1424 // that query and the line number returned. This allows us to narrow the
anatofuz
parents:
diff changeset
1425 // search space from the entire file to something near the match.
anatofuz
parents:
diff changeset
1426 if (LastLineNoFileIDQuery == FID) {
anatofuz
parents:
diff changeset
1427 if (QueriedFilePos >= LastLineNoFilePos) {
anatofuz
parents:
diff changeset
1428 // FIXME: Potential overflow?
anatofuz
parents:
diff changeset
1429 SourceLineCache = SourceLineCache+LastLineNoResult-1;
anatofuz
parents:
diff changeset
1430
anatofuz
parents:
diff changeset
1431 // The query is likely to be nearby the previous one. Here we check to
anatofuz
parents:
diff changeset
1432 // see if it is within 5, 10 or 20 lines. It can be far away in cases
anatofuz
parents:
diff changeset
1433 // where big comment blocks and vertical whitespace eat up lines but
anatofuz
parents:
diff changeset
1434 // contribute no tokens.
anatofuz
parents:
diff changeset
1435 if (SourceLineCache+5 < SourceLineCacheEnd) {
anatofuz
parents:
diff changeset
1436 if (SourceLineCache[5] > QueriedFilePos)
anatofuz
parents:
diff changeset
1437 SourceLineCacheEnd = SourceLineCache+5;
anatofuz
parents:
diff changeset
1438 else if (SourceLineCache+10 < SourceLineCacheEnd) {
anatofuz
parents:
diff changeset
1439 if (SourceLineCache[10] > QueriedFilePos)
anatofuz
parents:
diff changeset
1440 SourceLineCacheEnd = SourceLineCache+10;
anatofuz
parents:
diff changeset
1441 else if (SourceLineCache+20 < SourceLineCacheEnd) {
anatofuz
parents:
diff changeset
1442 if (SourceLineCache[20] > QueriedFilePos)
anatofuz
parents:
diff changeset
1443 SourceLineCacheEnd = SourceLineCache+20;
anatofuz
parents:
diff changeset
1444 }
anatofuz
parents:
diff changeset
1445 }
anatofuz
parents:
diff changeset
1446 }
anatofuz
parents:
diff changeset
1447 } else {
anatofuz
parents:
diff changeset
1448 if (LastLineNoResult < Content->NumLines)
anatofuz
parents:
diff changeset
1449 SourceLineCacheEnd = SourceLineCache+LastLineNoResult+1;
anatofuz
parents:
diff changeset
1450 }
anatofuz
parents:
diff changeset
1451 }
anatofuz
parents:
diff changeset
1452
anatofuz
parents:
diff changeset
1453 unsigned *Pos
anatofuz
parents:
diff changeset
1454 = std::lower_bound(SourceLineCache, SourceLineCacheEnd, QueriedFilePos);
anatofuz
parents:
diff changeset
1455 unsigned LineNo = Pos-SourceLineCacheStart;
anatofuz
parents:
diff changeset
1456
anatofuz
parents:
diff changeset
1457 LastLineNoFileIDQuery = FID;
anatofuz
parents:
diff changeset
1458 LastLineNoContentCache = Content;
anatofuz
parents:
diff changeset
1459 LastLineNoFilePos = QueriedFilePos;
anatofuz
parents:
diff changeset
1460 LastLineNoResult = LineNo;
anatofuz
parents:
diff changeset
1461 return LineNo;
anatofuz
parents:
diff changeset
1462 }
anatofuz
parents:
diff changeset
1463
anatofuz
parents:
diff changeset
1464 unsigned SourceManager::getSpellingLineNumber(SourceLocation Loc,
anatofuz
parents:
diff changeset
1465 bool *Invalid) const {
anatofuz
parents:
diff changeset
1466 if (isInvalid(Loc, Invalid)) return 0;
anatofuz
parents:
diff changeset
1467 std::pair<FileID, unsigned> LocInfo = getDecomposedSpellingLoc(Loc);
anatofuz
parents:
diff changeset
1468 return getLineNumber(LocInfo.first, LocInfo.second);
anatofuz
parents:
diff changeset
1469 }
anatofuz
parents:
diff changeset
1470 unsigned SourceManager::getExpansionLineNumber(SourceLocation Loc,
anatofuz
parents:
diff changeset
1471 bool *Invalid) const {
anatofuz
parents:
diff changeset
1472 if (isInvalid(Loc, Invalid)) return 0;
anatofuz
parents:
diff changeset
1473 std::pair<FileID, unsigned> LocInfo = getDecomposedExpansionLoc(Loc);
anatofuz
parents:
diff changeset
1474 return getLineNumber(LocInfo.first, LocInfo.second);
anatofuz
parents:
diff changeset
1475 }
anatofuz
parents:
diff changeset
1476 unsigned SourceManager::getPresumedLineNumber(SourceLocation Loc,
anatofuz
parents:
diff changeset
1477 bool *Invalid) const {
anatofuz
parents:
diff changeset
1478 PresumedLoc PLoc = getPresumedLoc(Loc);
anatofuz
parents:
diff changeset
1479 if (isInvalid(PLoc, Invalid)) return 0;
anatofuz
parents:
diff changeset
1480 return PLoc.getLine();
anatofuz
parents:
diff changeset
1481 }
anatofuz
parents:
diff changeset
1482
anatofuz
parents:
diff changeset
1483 /// getFileCharacteristic - return the file characteristic of the specified
anatofuz
parents:
diff changeset
1484 /// source location, indicating whether this is a normal file, a system
anatofuz
parents:
diff changeset
1485 /// header, or an "implicit extern C" system header.
anatofuz
parents:
diff changeset
1486 ///
anatofuz
parents:
diff changeset
1487 /// This state can be modified with flags on GNU linemarker directives like:
anatofuz
parents:
diff changeset
1488 /// # 4 "foo.h" 3
anatofuz
parents:
diff changeset
1489 /// which changes all source locations in the current file after that to be
anatofuz
parents:
diff changeset
1490 /// considered to be from a system header.
anatofuz
parents:
diff changeset
1491 SrcMgr::CharacteristicKind
anatofuz
parents:
diff changeset
1492 SourceManager::getFileCharacteristic(SourceLocation Loc) const {
anatofuz
parents:
diff changeset
1493 assert(Loc.isValid() && "Can't get file characteristic of invalid loc!");
anatofuz
parents:
diff changeset
1494 std::pair<FileID, unsigned> LocInfo = getDecomposedExpansionLoc(Loc);
anatofuz
parents:
diff changeset
1495 bool Invalid = false;
anatofuz
parents:
diff changeset
1496 const SLocEntry &SEntry = getSLocEntry(LocInfo.first, &Invalid);
anatofuz
parents:
diff changeset
1497 if (Invalid || !SEntry.isFile())
anatofuz
parents:
diff changeset
1498 return C_User;
anatofuz
parents:
diff changeset
1499
anatofuz
parents:
diff changeset
1500 const SrcMgr::FileInfo &FI = SEntry.getFile();
anatofuz
parents:
diff changeset
1501
anatofuz
parents:
diff changeset
1502 // If there are no #line directives in this file, just return the whole-file
anatofuz
parents:
diff changeset
1503 // state.
anatofuz
parents:
diff changeset
1504 if (!FI.hasLineDirectives())
anatofuz
parents:
diff changeset
1505 return FI.getFileCharacteristic();
anatofuz
parents:
diff changeset
1506
anatofuz
parents:
diff changeset
1507 assert(LineTable && "Can't have linetable entries without a LineTable!");
anatofuz
parents:
diff changeset
1508 // See if there is a #line directive before the location.
anatofuz
parents:
diff changeset
1509 const LineEntry *Entry =
anatofuz
parents:
diff changeset
1510 LineTable->FindNearestLineEntry(LocInfo.first, LocInfo.second);
anatofuz
parents:
diff changeset
1511
anatofuz
parents:
diff changeset
1512 // If this is before the first line marker, use the file characteristic.
anatofuz
parents:
diff changeset
1513 if (!Entry)
anatofuz
parents:
diff changeset
1514 return FI.getFileCharacteristic();
anatofuz
parents:
diff changeset
1515
anatofuz
parents:
diff changeset
1516 return Entry->FileKind;
anatofuz
parents:
diff changeset
1517 }
anatofuz
parents:
diff changeset
1518
anatofuz
parents:
diff changeset
1519 /// Return the filename or buffer identifier of the buffer the location is in.
anatofuz
parents:
diff changeset
1520 /// Note that this name does not respect \#line directives. Use getPresumedLoc
anatofuz
parents:
diff changeset
1521 /// for normal clients.
anatofuz
parents:
diff changeset
1522 StringRef SourceManager::getBufferName(SourceLocation Loc,
anatofuz
parents:
diff changeset
1523 bool *Invalid) const {
anatofuz
parents:
diff changeset
1524 if (isInvalid(Loc, Invalid)) return "<invalid loc>";
anatofuz
parents:
diff changeset
1525
anatofuz
parents:
diff changeset
1526 return getBuffer(getFileID(Loc), Invalid)->getBufferIdentifier();
anatofuz
parents:
diff changeset
1527 }
anatofuz
parents:
diff changeset
1528
anatofuz
parents:
diff changeset
1529 /// getPresumedLoc - This method returns the "presumed" location of a
anatofuz
parents:
diff changeset
1530 /// SourceLocation specifies. A "presumed location" can be modified by \#line
anatofuz
parents:
diff changeset
1531 /// or GNU line marker directives. This provides a view on the data that a
anatofuz
parents:
diff changeset
1532 /// user should see in diagnostics, for example.
anatofuz
parents:
diff changeset
1533 ///
anatofuz
parents:
diff changeset
1534 /// Note that a presumed location is always given as the expansion point of an
anatofuz
parents:
diff changeset
1535 /// expansion location, not at the spelling location.
anatofuz
parents:
diff changeset
1536 PresumedLoc SourceManager::getPresumedLoc(SourceLocation Loc,
anatofuz
parents:
diff changeset
1537 bool UseLineDirectives) const {
anatofuz
parents:
diff changeset
1538 if (Loc.isInvalid()) return PresumedLoc();
anatofuz
parents:
diff changeset
1539
anatofuz
parents:
diff changeset
1540 // Presumed locations are always for expansion points.
anatofuz
parents:
diff changeset
1541 std::pair<FileID, unsigned> LocInfo = getDecomposedExpansionLoc(Loc);
anatofuz
parents:
diff changeset
1542
anatofuz
parents:
diff changeset
1543 bool Invalid = false;
anatofuz
parents:
diff changeset
1544 const SLocEntry &Entry = getSLocEntry(LocInfo.first, &Invalid);
anatofuz
parents:
diff changeset
1545 if (Invalid || !Entry.isFile())
anatofuz
parents:
diff changeset
1546 return PresumedLoc();
anatofuz
parents:
diff changeset
1547
anatofuz
parents:
diff changeset
1548 const SrcMgr::FileInfo &FI = Entry.getFile();
anatofuz
parents:
diff changeset
1549 const SrcMgr::ContentCache *C = FI.getContentCache();
anatofuz
parents:
diff changeset
1550
anatofuz
parents:
diff changeset
1551 // To get the source name, first consult the FileEntry (if one exists)
anatofuz
parents:
diff changeset
1552 // before the MemBuffer as this will avoid unnecessarily paging in the
anatofuz
parents:
diff changeset
1553 // MemBuffer.
anatofuz
parents:
diff changeset
1554 FileID FID = LocInfo.first;
anatofuz
parents:
diff changeset
1555 StringRef Filename;
anatofuz
parents:
diff changeset
1556 if (C->OrigEntry)
anatofuz
parents:
diff changeset
1557 Filename = C->OrigEntry->getName();
anatofuz
parents:
diff changeset
1558 else
anatofuz
parents:
diff changeset
1559 Filename = C->getBuffer(Diag, getFileManager())->getBufferIdentifier();
anatofuz
parents:
diff changeset
1560
anatofuz
parents:
diff changeset
1561 unsigned LineNo = getLineNumber(LocInfo.first, LocInfo.second, &Invalid);
anatofuz
parents:
diff changeset
1562 if (Invalid)
anatofuz
parents:
diff changeset
1563 return PresumedLoc();
anatofuz
parents:
diff changeset
1564 unsigned ColNo = getColumnNumber(LocInfo.first, LocInfo.second, &Invalid);
anatofuz
parents:
diff changeset
1565 if (Invalid)
anatofuz
parents:
diff changeset
1566 return PresumedLoc();
anatofuz
parents:
diff changeset
1567
anatofuz
parents:
diff changeset
1568 SourceLocation IncludeLoc = FI.getIncludeLoc();
anatofuz
parents:
diff changeset
1569
anatofuz
parents:
diff changeset
1570 // If we have #line directives in this file, update and overwrite the physical
anatofuz
parents:
diff changeset
1571 // location info if appropriate.
anatofuz
parents:
diff changeset
1572 if (UseLineDirectives && FI.hasLineDirectives()) {
anatofuz
parents:
diff changeset
1573 assert(LineTable && "Can't have linetable entries without a LineTable!");
anatofuz
parents:
diff changeset
1574 // See if there is a #line directive before this. If so, get it.
anatofuz
parents:
diff changeset
1575 if (const LineEntry *Entry =
anatofuz
parents:
diff changeset
1576 LineTable->FindNearestLineEntry(LocInfo.first, LocInfo.second)) {
anatofuz
parents:
diff changeset
1577 // If the LineEntry indicates a filename, use it.
anatofuz
parents:
diff changeset
1578 if (Entry->FilenameID != -1) {
anatofuz
parents:
diff changeset
1579 Filename = LineTable->getFilename(Entry->FilenameID);
anatofuz
parents:
diff changeset
1580 // The contents of files referenced by #line are not in the
anatofuz
parents:
diff changeset
1581 // SourceManager
anatofuz
parents:
diff changeset
1582 FID = FileID::get(0);
anatofuz
parents:
diff changeset
1583 }
anatofuz
parents:
diff changeset
1584
anatofuz
parents:
diff changeset
1585 // Use the line number specified by the LineEntry. This line number may
anatofuz
parents:
diff changeset
1586 // be multiple lines down from the line entry. Add the difference in
anatofuz
parents:
diff changeset
1587 // physical line numbers from the query point and the line marker to the
anatofuz
parents:
diff changeset
1588 // total.
anatofuz
parents:
diff changeset
1589 unsigned MarkerLineNo = getLineNumber(LocInfo.first, Entry->FileOffset);
anatofuz
parents:
diff changeset
1590 LineNo = Entry->LineNo + (LineNo-MarkerLineNo-1);
anatofuz
parents:
diff changeset
1591
anatofuz
parents:
diff changeset
1592 // Note that column numbers are not molested by line markers.
anatofuz
parents:
diff changeset
1593
anatofuz
parents:
diff changeset
1594 // Handle virtual #include manipulation.
anatofuz
parents:
diff changeset
1595 if (Entry->IncludeOffset) {
anatofuz
parents:
diff changeset
1596 IncludeLoc = getLocForStartOfFile(LocInfo.first);
anatofuz
parents:
diff changeset
1597 IncludeLoc = IncludeLoc.getLocWithOffset(Entry->IncludeOffset);
anatofuz
parents:
diff changeset
1598 }
anatofuz
parents:
diff changeset
1599 }
anatofuz
parents:
diff changeset
1600 }
anatofuz
parents:
diff changeset
1601
anatofuz
parents:
diff changeset
1602 return PresumedLoc(Filename.data(), FID, LineNo, ColNo, IncludeLoc);
anatofuz
parents:
diff changeset
1603 }
anatofuz
parents:
diff changeset
1604
anatofuz
parents:
diff changeset
1605 /// Returns whether the PresumedLoc for a given SourceLocation is
anatofuz
parents:
diff changeset
1606 /// in the main file.
anatofuz
parents:
diff changeset
1607 ///
anatofuz
parents:
diff changeset
1608 /// This computes the "presumed" location for a SourceLocation, then checks
anatofuz
parents:
diff changeset
1609 /// whether it came from a file other than the main file. This is different
anatofuz
parents:
diff changeset
1610 /// from isWrittenInMainFile() because it takes line marker directives into
anatofuz
parents:
diff changeset
1611 /// account.
anatofuz
parents:
diff changeset
1612 bool SourceManager::isInMainFile(SourceLocation Loc) const {
anatofuz
parents:
diff changeset
1613 if (Loc.isInvalid()) return false;
anatofuz
parents:
diff changeset
1614
anatofuz
parents:
diff changeset
1615 // Presumed locations are always for expansion points.
anatofuz
parents:
diff changeset
1616 std::pair<FileID, unsigned> LocInfo = getDecomposedExpansionLoc(Loc);
anatofuz
parents:
diff changeset
1617
anatofuz
parents:
diff changeset
1618 bool Invalid = false;
anatofuz
parents:
diff changeset
1619 const SLocEntry &Entry = getSLocEntry(LocInfo.first, &Invalid);
anatofuz
parents:
diff changeset
1620 if (Invalid || !Entry.isFile())
anatofuz
parents:
diff changeset
1621 return false;
anatofuz
parents:
diff changeset
1622
anatofuz
parents:
diff changeset
1623 const SrcMgr::FileInfo &FI = Entry.getFile();
anatofuz
parents:
diff changeset
1624
anatofuz
parents:
diff changeset
1625 // Check if there is a line directive for this location.
anatofuz
parents:
diff changeset
1626 if (FI.hasLineDirectives())
anatofuz
parents:
diff changeset
1627 if (const LineEntry *Entry =
anatofuz
parents:
diff changeset
1628 LineTable->FindNearestLineEntry(LocInfo.first, LocInfo.second))
anatofuz
parents:
diff changeset
1629 if (Entry->IncludeOffset)
anatofuz
parents:
diff changeset
1630 return false;
anatofuz
parents:
diff changeset
1631
anatofuz
parents:
diff changeset
1632 return FI.getIncludeLoc().isInvalid();
anatofuz
parents:
diff changeset
1633 }
anatofuz
parents:
diff changeset
1634
anatofuz
parents:
diff changeset
1635 /// The size of the SLocEntry that \p FID represents.
anatofuz
parents:
diff changeset
1636 unsigned SourceManager::getFileIDSize(FileID FID) const {
anatofuz
parents:
diff changeset
1637 bool Invalid = false;
anatofuz
parents:
diff changeset
1638 const SrcMgr::SLocEntry &Entry = getSLocEntry(FID, &Invalid);
anatofuz
parents:
diff changeset
1639 if (Invalid)
anatofuz
parents:
diff changeset
1640 return 0;
anatofuz
parents:
diff changeset
1641
anatofuz
parents:
diff changeset
1642 int ID = FID.ID;
anatofuz
parents:
diff changeset
1643 unsigned NextOffset;
anatofuz
parents:
diff changeset
1644 if ((ID > 0 && unsigned(ID+1) == local_sloc_entry_size()))
anatofuz
parents:
diff changeset
1645 NextOffset = getNextLocalOffset();
anatofuz
parents:
diff changeset
1646 else if (ID+1 == -1)
anatofuz
parents:
diff changeset
1647 NextOffset = MaxLoadedOffset;
anatofuz
parents:
diff changeset
1648 else
anatofuz
parents:
diff changeset
1649 NextOffset = getSLocEntry(FileID::get(ID+1)).getOffset();
anatofuz
parents:
diff changeset
1650
anatofuz
parents:
diff changeset
1651 return NextOffset - Entry.getOffset() - 1;
anatofuz
parents:
diff changeset
1652 }
anatofuz
parents:
diff changeset
1653
anatofuz
parents:
diff changeset
1654 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
1655 // Other miscellaneous methods.
anatofuz
parents:
diff changeset
1656 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
1657
anatofuz
parents:
diff changeset
1658 /// Get the source location for the given file:line:col triplet.
anatofuz
parents:
diff changeset
1659 ///
anatofuz
parents:
diff changeset
1660 /// If the source file is included multiple times, the source location will
anatofuz
parents:
diff changeset
1661 /// be based upon an arbitrary inclusion.
anatofuz
parents:
diff changeset
1662 SourceLocation SourceManager::translateFileLineCol(const FileEntry *SourceFile,
anatofuz
parents:
diff changeset
1663 unsigned Line,
anatofuz
parents:
diff changeset
1664 unsigned Col) const {
anatofuz
parents:
diff changeset
1665 assert(SourceFile && "Null source file!");
anatofuz
parents:
diff changeset
1666 assert(Line && Col && "Line and column should start from 1!");
anatofuz
parents:
diff changeset
1667
anatofuz
parents:
diff changeset
1668 FileID FirstFID = translateFile(SourceFile);
anatofuz
parents:
diff changeset
1669 return translateLineCol(FirstFID, Line, Col);
anatofuz
parents:
diff changeset
1670 }
anatofuz
parents:
diff changeset
1671
anatofuz
parents:
diff changeset
1672 /// Get the FileID for the given file.
anatofuz
parents:
diff changeset
1673 ///
anatofuz
parents:
diff changeset
1674 /// If the source file is included multiple times, the FileID will be the
anatofuz
parents:
diff changeset
1675 /// first inclusion.
anatofuz
parents:
diff changeset
1676 FileID SourceManager::translateFile(const FileEntry *SourceFile) const {
anatofuz
parents:
diff changeset
1677 assert(SourceFile && "Null source file!");
anatofuz
parents:
diff changeset
1678
anatofuz
parents:
diff changeset
1679 // First, check the main file ID, since it is common to look for a
anatofuz
parents:
diff changeset
1680 // location in the main file.
anatofuz
parents:
diff changeset
1681 if (MainFileID.isValid()) {
anatofuz
parents:
diff changeset
1682 bool Invalid = false;
anatofuz
parents:
diff changeset
1683 const SLocEntry &MainSLoc = getSLocEntry(MainFileID, &Invalid);
anatofuz
parents:
diff changeset
1684 if (Invalid)
anatofuz
parents:
diff changeset
1685 return FileID();
anatofuz
parents:
diff changeset
1686
anatofuz
parents:
diff changeset
1687 if (MainSLoc.isFile()) {
anatofuz
parents:
diff changeset
1688 const ContentCache *MainContentCache =
anatofuz
parents:
diff changeset
1689 MainSLoc.getFile().getContentCache();
anatofuz
parents:
diff changeset
1690 if (MainContentCache && MainContentCache->OrigEntry == SourceFile)
anatofuz
parents:
diff changeset
1691 return MainFileID;
anatofuz
parents:
diff changeset
1692 }
anatofuz
parents:
diff changeset
1693 }
anatofuz
parents:
diff changeset
1694
anatofuz
parents:
diff changeset
1695 // The location we're looking for isn't in the main file; look
anatofuz
parents:
diff changeset
1696 // through all of the local source locations.
anatofuz
parents:
diff changeset
1697 for (unsigned I = 0, N = local_sloc_entry_size(); I != N; ++I) {
anatofuz
parents:
diff changeset
1698 bool Invalid = false;
anatofuz
parents:
diff changeset
1699 const SLocEntry &SLoc = getLocalSLocEntry(I, &Invalid);
anatofuz
parents:
diff changeset
1700 if (Invalid)
anatofuz
parents:
diff changeset
1701 return FileID();
anatofuz
parents:
diff changeset
1702
anatofuz
parents:
diff changeset
1703 if (SLoc.isFile() && SLoc.getFile().getContentCache() &&
anatofuz
parents:
diff changeset
1704 SLoc.getFile().getContentCache()->OrigEntry == SourceFile)
anatofuz
parents:
diff changeset
1705 return FileID::get(I);
anatofuz
parents:
diff changeset
1706 }
anatofuz
parents:
diff changeset
1707
anatofuz
parents:
diff changeset
1708 // If that still didn't help, try the modules.
anatofuz
parents:
diff changeset
1709 for (unsigned I = 0, N = loaded_sloc_entry_size(); I != N; ++I) {
anatofuz
parents:
diff changeset
1710 const SLocEntry &SLoc = getLoadedSLocEntry(I);
anatofuz
parents:
diff changeset
1711 if (SLoc.isFile() && SLoc.getFile().getContentCache() &&
anatofuz
parents:
diff changeset
1712 SLoc.getFile().getContentCache()->OrigEntry == SourceFile)
anatofuz
parents:
diff changeset
1713 return FileID::get(-int(I) - 2);
anatofuz
parents:
diff changeset
1714 }
anatofuz
parents:
diff changeset
1715
anatofuz
parents:
diff changeset
1716 return FileID();
anatofuz
parents:
diff changeset
1717 }
anatofuz
parents:
diff changeset
1718
anatofuz
parents:
diff changeset
1719 /// Get the source location in \arg FID for the given line:col.
anatofuz
parents:
diff changeset
1720 /// Returns null location if \arg FID is not a file SLocEntry.
anatofuz
parents:
diff changeset
1721 SourceLocation SourceManager::translateLineCol(FileID FID,
anatofuz
parents:
diff changeset
1722 unsigned Line,
anatofuz
parents:
diff changeset
1723 unsigned Col) const {
anatofuz
parents:
diff changeset
1724 // Lines are used as a one-based index into a zero-based array. This assert
anatofuz
parents:
diff changeset
1725 // checks for possible buffer underruns.
anatofuz
parents:
diff changeset
1726 assert(Line && Col && "Line and column should start from 1!");
anatofuz
parents:
diff changeset
1727
anatofuz
parents:
diff changeset
1728 if (FID.isInvalid())
anatofuz
parents:
diff changeset
1729 return SourceLocation();
anatofuz
parents:
diff changeset
1730
anatofuz
parents:
diff changeset
1731 bool Invalid = false;
anatofuz
parents:
diff changeset
1732 const SLocEntry &Entry = getSLocEntry(FID, &Invalid);
anatofuz
parents:
diff changeset
1733 if (Invalid)
anatofuz
parents:
diff changeset
1734 return SourceLocation();
anatofuz
parents:
diff changeset
1735
anatofuz
parents:
diff changeset
1736 if (!Entry.isFile())
anatofuz
parents:
diff changeset
1737 return SourceLocation();
anatofuz
parents:
diff changeset
1738
anatofuz
parents:
diff changeset
1739 SourceLocation FileLoc = SourceLocation::getFileLoc(Entry.getOffset());
anatofuz
parents:
diff changeset
1740
anatofuz
parents:
diff changeset
1741 if (Line == 1 && Col == 1)
anatofuz
parents:
diff changeset
1742 return FileLoc;
anatofuz
parents:
diff changeset
1743
anatofuz
parents:
diff changeset
1744 ContentCache *Content
anatofuz
parents:
diff changeset
1745 = const_cast<ContentCache *>(Entry.getFile().getContentCache());
anatofuz
parents:
diff changeset
1746 if (!Content)
anatofuz
parents:
diff changeset
1747 return SourceLocation();
anatofuz
parents:
diff changeset
1748
anatofuz
parents:
diff changeset
1749 // If this is the first use of line information for this buffer, compute the
anatofuz
parents:
diff changeset
1750 // SourceLineCache for it on demand.
anatofuz
parents:
diff changeset
1751 if (!Content->SourceLineCache) {
anatofuz
parents:
diff changeset
1752 bool MyInvalid = false;
anatofuz
parents:
diff changeset
1753 ComputeLineNumbers(Diag, Content, ContentCacheAlloc, *this, MyInvalid);
anatofuz
parents:
diff changeset
1754 if (MyInvalid)
anatofuz
parents:
diff changeset
1755 return SourceLocation();
anatofuz
parents:
diff changeset
1756 }
anatofuz
parents:
diff changeset
1757
anatofuz
parents:
diff changeset
1758 if (Line > Content->NumLines) {
anatofuz
parents:
diff changeset
1759 unsigned Size = Content->getBuffer(Diag, getFileManager())->getBufferSize();
anatofuz
parents:
diff changeset
1760 if (Size > 0)
anatofuz
parents:
diff changeset
1761 --Size;
anatofuz
parents:
diff changeset
1762 return FileLoc.getLocWithOffset(Size);
anatofuz
parents:
diff changeset
1763 }
anatofuz
parents:
diff changeset
1764
anatofuz
parents:
diff changeset
1765 const llvm::MemoryBuffer *Buffer = Content->getBuffer(Diag, getFileManager());
anatofuz
parents:
diff changeset
1766 unsigned FilePos = Content->SourceLineCache[Line - 1];
anatofuz
parents:
diff changeset
1767 const char *Buf = Buffer->getBufferStart() + FilePos;
anatofuz
parents:
diff changeset
1768 unsigned BufLength = Buffer->getBufferSize() - FilePos;
anatofuz
parents:
diff changeset
1769 if (BufLength == 0)
anatofuz
parents:
diff changeset
1770 return FileLoc.getLocWithOffset(FilePos);
anatofuz
parents:
diff changeset
1771
anatofuz
parents:
diff changeset
1772 unsigned i = 0;
anatofuz
parents:
diff changeset
1773
anatofuz
parents:
diff changeset
1774 // Check that the given column is valid.
anatofuz
parents:
diff changeset
1775 while (i < BufLength-1 && i < Col-1 && Buf[i] != '\n' && Buf[i] != '\r')
anatofuz
parents:
diff changeset
1776 ++i;
anatofuz
parents:
diff changeset
1777 return FileLoc.getLocWithOffset(FilePos + i);
anatofuz
parents:
diff changeset
1778 }
anatofuz
parents:
diff changeset
1779
anatofuz
parents:
diff changeset
1780 /// Compute a map of macro argument chunks to their expanded source
anatofuz
parents:
diff changeset
1781 /// location. Chunks that are not part of a macro argument will map to an
anatofuz
parents:
diff changeset
1782 /// invalid source location. e.g. if a file contains one macro argument at
anatofuz
parents:
diff changeset
1783 /// offset 100 with length 10, this is how the map will be formed:
anatofuz
parents:
diff changeset
1784 /// 0 -> SourceLocation()
anatofuz
parents:
diff changeset
1785 /// 100 -> Expanded macro arg location
anatofuz
parents:
diff changeset
1786 /// 110 -> SourceLocation()
anatofuz
parents:
diff changeset
1787 void SourceManager::computeMacroArgsCache(MacroArgsMap &MacroArgsCache,
anatofuz
parents:
diff changeset
1788 FileID FID) const {
anatofuz
parents:
diff changeset
1789 assert(FID.isValid());
anatofuz
parents:
diff changeset
1790
anatofuz
parents:
diff changeset
1791 // Initially no macro argument chunk is present.
anatofuz
parents:
diff changeset
1792 MacroArgsCache.insert(std::make_pair(0, SourceLocation()));
anatofuz
parents:
diff changeset
1793
anatofuz
parents:
diff changeset
1794 int ID = FID.ID;
anatofuz
parents:
diff changeset
1795 while (true) {
anatofuz
parents:
diff changeset
1796 ++ID;
anatofuz
parents:
diff changeset
1797 // Stop if there are no more FileIDs to check.
anatofuz
parents:
diff changeset
1798 if (ID > 0) {
anatofuz
parents:
diff changeset
1799 if (unsigned(ID) >= local_sloc_entry_size())
anatofuz
parents:
diff changeset
1800 return;
anatofuz
parents:
diff changeset
1801 } else if (ID == -1) {
anatofuz
parents:
diff changeset
1802 return;
anatofuz
parents:
diff changeset
1803 }
anatofuz
parents:
diff changeset
1804
anatofuz
parents:
diff changeset
1805 bool Invalid = false;
anatofuz
parents:
diff changeset
1806 const SrcMgr::SLocEntry &Entry = getSLocEntryByID(ID, &Invalid);
anatofuz
parents:
diff changeset
1807 if (Invalid)
anatofuz
parents:
diff changeset
1808 return;
anatofuz
parents:
diff changeset
1809 if (Entry.isFile()) {
anatofuz
parents:
diff changeset
1810 SourceLocation IncludeLoc = Entry.getFile().getIncludeLoc();
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1811 bool IncludedInFID =
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1812 (IncludeLoc.isValid() && isInFileID(IncludeLoc, FID)) ||
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1813 // Predefined header doesn't have a valid include location in main
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1814 // file, but any files created by it should still be skipped when
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1815 // computing macro args expanded in the main file.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1816 (FID == MainFileID && Entry.getFile().Filename == "<built-in>");
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1817 if (IncludedInFID) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1818 // Skip the files/macros of the #include'd file, we only care about
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1819 // macros that lexed macro arguments from our file.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1820 if (Entry.getFile().NumCreatedFIDs)
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1821 ID += Entry.getFile().NumCreatedFIDs - 1 /*because of next ++ID*/;
150
anatofuz
parents:
diff changeset
1822 continue;
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1823 } else if (IncludeLoc.isValid()) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1824 // If file was included but not from FID, there is no more files/macros
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1825 // that may be "contained" in this file.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1826 return;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1827 }
150
anatofuz
parents:
diff changeset
1828 continue;
anatofuz
parents:
diff changeset
1829 }
anatofuz
parents:
diff changeset
1830
anatofuz
parents:
diff changeset
1831 const ExpansionInfo &ExpInfo = Entry.getExpansion();
anatofuz
parents:
diff changeset
1832
anatofuz
parents:
diff changeset
1833 if (ExpInfo.getExpansionLocStart().isFileID()) {
anatofuz
parents:
diff changeset
1834 if (!isInFileID(ExpInfo.getExpansionLocStart(), FID))
anatofuz
parents:
diff changeset
1835 return; // No more files/macros that may be "contained" in this file.
anatofuz
parents:
diff changeset
1836 }
anatofuz
parents:
diff changeset
1837
anatofuz
parents:
diff changeset
1838 if (!ExpInfo.isMacroArgExpansion())
anatofuz
parents:
diff changeset
1839 continue;
anatofuz
parents:
diff changeset
1840
anatofuz
parents:
diff changeset
1841 associateFileChunkWithMacroArgExp(MacroArgsCache, FID,
anatofuz
parents:
diff changeset
1842 ExpInfo.getSpellingLoc(),
anatofuz
parents:
diff changeset
1843 SourceLocation::getMacroLoc(Entry.getOffset()),
anatofuz
parents:
diff changeset
1844 getFileIDSize(FileID::get(ID)));
anatofuz
parents:
diff changeset
1845 }
anatofuz
parents:
diff changeset
1846 }
anatofuz
parents:
diff changeset
1847
anatofuz
parents:
diff changeset
1848 void SourceManager::associateFileChunkWithMacroArgExp(
anatofuz
parents:
diff changeset
1849 MacroArgsMap &MacroArgsCache,
anatofuz
parents:
diff changeset
1850 FileID FID,
anatofuz
parents:
diff changeset
1851 SourceLocation SpellLoc,
anatofuz
parents:
diff changeset
1852 SourceLocation ExpansionLoc,
anatofuz
parents:
diff changeset
1853 unsigned ExpansionLength) const {
anatofuz
parents:
diff changeset
1854 if (!SpellLoc.isFileID()) {
anatofuz
parents:
diff changeset
1855 unsigned SpellBeginOffs = SpellLoc.getOffset();
anatofuz
parents:
diff changeset
1856 unsigned SpellEndOffs = SpellBeginOffs + ExpansionLength;
anatofuz
parents:
diff changeset
1857
anatofuz
parents:
diff changeset
1858 // The spelling range for this macro argument expansion can span multiple
anatofuz
parents:
diff changeset
1859 // consecutive FileID entries. Go through each entry contained in the
anatofuz
parents:
diff changeset
1860 // spelling range and if one is itself a macro argument expansion, recurse
anatofuz
parents:
diff changeset
1861 // and associate the file chunk that it represents.
anatofuz
parents:
diff changeset
1862
anatofuz
parents:
diff changeset
1863 FileID SpellFID; // Current FileID in the spelling range.
anatofuz
parents:
diff changeset
1864 unsigned SpellRelativeOffs;
anatofuz
parents:
diff changeset
1865 std::tie(SpellFID, SpellRelativeOffs) = getDecomposedLoc(SpellLoc);
anatofuz
parents:
diff changeset
1866 while (true) {
anatofuz
parents:
diff changeset
1867 const SLocEntry &Entry = getSLocEntry(SpellFID);
anatofuz
parents:
diff changeset
1868 unsigned SpellFIDBeginOffs = Entry.getOffset();
anatofuz
parents:
diff changeset
1869 unsigned SpellFIDSize = getFileIDSize(SpellFID);
anatofuz
parents:
diff changeset
1870 unsigned SpellFIDEndOffs = SpellFIDBeginOffs + SpellFIDSize;
anatofuz
parents:
diff changeset
1871 const ExpansionInfo &Info = Entry.getExpansion();
anatofuz
parents:
diff changeset
1872 if (Info.isMacroArgExpansion()) {
anatofuz
parents:
diff changeset
1873 unsigned CurrSpellLength;
anatofuz
parents:
diff changeset
1874 if (SpellFIDEndOffs < SpellEndOffs)
anatofuz
parents:
diff changeset
1875 CurrSpellLength = SpellFIDSize - SpellRelativeOffs;
anatofuz
parents:
diff changeset
1876 else
anatofuz
parents:
diff changeset
1877 CurrSpellLength = ExpansionLength;
anatofuz
parents:
diff changeset
1878 associateFileChunkWithMacroArgExp(MacroArgsCache, FID,
anatofuz
parents:
diff changeset
1879 Info.getSpellingLoc().getLocWithOffset(SpellRelativeOffs),
anatofuz
parents:
diff changeset
1880 ExpansionLoc, CurrSpellLength);
anatofuz
parents:
diff changeset
1881 }
anatofuz
parents:
diff changeset
1882
anatofuz
parents:
diff changeset
1883 if (SpellFIDEndOffs >= SpellEndOffs)
anatofuz
parents:
diff changeset
1884 return; // we covered all FileID entries in the spelling range.
anatofuz
parents:
diff changeset
1885
anatofuz
parents:
diff changeset
1886 // Move to the next FileID entry in the spelling range.
anatofuz
parents:
diff changeset
1887 unsigned advance = SpellFIDSize - SpellRelativeOffs + 1;
anatofuz
parents:
diff changeset
1888 ExpansionLoc = ExpansionLoc.getLocWithOffset(advance);
anatofuz
parents:
diff changeset
1889 ExpansionLength -= advance;
anatofuz
parents:
diff changeset
1890 ++SpellFID.ID;
anatofuz
parents:
diff changeset
1891 SpellRelativeOffs = 0;
anatofuz
parents:
diff changeset
1892 }
anatofuz
parents:
diff changeset
1893 }
anatofuz
parents:
diff changeset
1894
anatofuz
parents:
diff changeset
1895 assert(SpellLoc.isFileID());
anatofuz
parents:
diff changeset
1896
anatofuz
parents:
diff changeset
1897 unsigned BeginOffs;
anatofuz
parents:
diff changeset
1898 if (!isInFileID(SpellLoc, FID, &BeginOffs))
anatofuz
parents:
diff changeset
1899 return;
anatofuz
parents:
diff changeset
1900
anatofuz
parents:
diff changeset
1901 unsigned EndOffs = BeginOffs + ExpansionLength;
anatofuz
parents:
diff changeset
1902
anatofuz
parents:
diff changeset
1903 // Add a new chunk for this macro argument. A previous macro argument chunk
anatofuz
parents:
diff changeset
1904 // may have been lexed again, so e.g. if the map is
anatofuz
parents:
diff changeset
1905 // 0 -> SourceLocation()
anatofuz
parents:
diff changeset
1906 // 100 -> Expanded loc #1
anatofuz
parents:
diff changeset
1907 // 110 -> SourceLocation()
anatofuz
parents:
diff changeset
1908 // and we found a new macro FileID that lexed from offset 105 with length 3,
anatofuz
parents:
diff changeset
1909 // the new map will be:
anatofuz
parents:
diff changeset
1910 // 0 -> SourceLocation()
anatofuz
parents:
diff changeset
1911 // 100 -> Expanded loc #1
anatofuz
parents:
diff changeset
1912 // 105 -> Expanded loc #2
anatofuz
parents:
diff changeset
1913 // 108 -> Expanded loc #1
anatofuz
parents:
diff changeset
1914 // 110 -> SourceLocation()
anatofuz
parents:
diff changeset
1915 //
anatofuz
parents:
diff changeset
1916 // Since re-lexed macro chunks will always be the same size or less of
anatofuz
parents:
diff changeset
1917 // previous chunks, we only need to find where the ending of the new macro
anatofuz
parents:
diff changeset
1918 // chunk is mapped to and update the map with new begin/end mappings.
anatofuz
parents:
diff changeset
1919
anatofuz
parents:
diff changeset
1920 MacroArgsMap::iterator I = MacroArgsCache.upper_bound(EndOffs);
anatofuz
parents:
diff changeset
1921 --I;
anatofuz
parents:
diff changeset
1922 SourceLocation EndOffsMappedLoc = I->second;
anatofuz
parents:
diff changeset
1923 MacroArgsCache[BeginOffs] = ExpansionLoc;
anatofuz
parents:
diff changeset
1924 MacroArgsCache[EndOffs] = EndOffsMappedLoc;
anatofuz
parents:
diff changeset
1925 }
anatofuz
parents:
diff changeset
1926
anatofuz
parents:
diff changeset
1927 /// If \arg Loc points inside a function macro argument, the returned
anatofuz
parents:
diff changeset
1928 /// location will be the macro location in which the argument was expanded.
anatofuz
parents:
diff changeset
1929 /// If a macro argument is used multiple times, the expanded location will
anatofuz
parents:
diff changeset
1930 /// be at the first expansion of the argument.
anatofuz
parents:
diff changeset
1931 /// e.g.
anatofuz
parents:
diff changeset
1932 /// MY_MACRO(foo);
anatofuz
parents:
diff changeset
1933 /// ^
anatofuz
parents:
diff changeset
1934 /// Passing a file location pointing at 'foo', will yield a macro location
anatofuz
parents:
diff changeset
1935 /// where 'foo' was expanded into.
anatofuz
parents:
diff changeset
1936 SourceLocation
anatofuz
parents:
diff changeset
1937 SourceManager::getMacroArgExpandedLocation(SourceLocation Loc) const {
anatofuz
parents:
diff changeset
1938 if (Loc.isInvalid() || !Loc.isFileID())
anatofuz
parents:
diff changeset
1939 return Loc;
anatofuz
parents:
diff changeset
1940
anatofuz
parents:
diff changeset
1941 FileID FID;
anatofuz
parents:
diff changeset
1942 unsigned Offset;
anatofuz
parents:
diff changeset
1943 std::tie(FID, Offset) = getDecomposedLoc(Loc);
anatofuz
parents:
diff changeset
1944 if (FID.isInvalid())
anatofuz
parents:
diff changeset
1945 return Loc;
anatofuz
parents:
diff changeset
1946
anatofuz
parents:
diff changeset
1947 std::unique_ptr<MacroArgsMap> &MacroArgsCache = MacroArgsCacheMap[FID];
anatofuz
parents:
diff changeset
1948 if (!MacroArgsCache) {
anatofuz
parents:
diff changeset
1949 MacroArgsCache = std::make_unique<MacroArgsMap>();
anatofuz
parents:
diff changeset
1950 computeMacroArgsCache(*MacroArgsCache, FID);
anatofuz
parents:
diff changeset
1951 }
anatofuz
parents:
diff changeset
1952
anatofuz
parents:
diff changeset
1953 assert(!MacroArgsCache->empty());
anatofuz
parents:
diff changeset
1954 MacroArgsMap::iterator I = MacroArgsCache->upper_bound(Offset);
anatofuz
parents:
diff changeset
1955 --I;
anatofuz
parents:
diff changeset
1956
anatofuz
parents:
diff changeset
1957 unsigned MacroArgBeginOffs = I->first;
anatofuz
parents:
diff changeset
1958 SourceLocation MacroArgExpandedLoc = I->second;
anatofuz
parents:
diff changeset
1959 if (MacroArgExpandedLoc.isValid())
anatofuz
parents:
diff changeset
1960 return MacroArgExpandedLoc.getLocWithOffset(Offset - MacroArgBeginOffs);
anatofuz
parents:
diff changeset
1961
anatofuz
parents:
diff changeset
1962 return Loc;
anatofuz
parents:
diff changeset
1963 }
anatofuz
parents:
diff changeset
1964
anatofuz
parents:
diff changeset
1965 std::pair<FileID, unsigned>
anatofuz
parents:
diff changeset
1966 SourceManager::getDecomposedIncludedLoc(FileID FID) const {
anatofuz
parents:
diff changeset
1967 if (FID.isInvalid())
anatofuz
parents:
diff changeset
1968 return std::make_pair(FileID(), 0);
anatofuz
parents:
diff changeset
1969
anatofuz
parents:
diff changeset
1970 // Uses IncludedLocMap to retrieve/cache the decomposed loc.
anatofuz
parents:
diff changeset
1971
anatofuz
parents:
diff changeset
1972 using DecompTy = std::pair<FileID, unsigned>;
anatofuz
parents:
diff changeset
1973 auto InsertOp = IncludedLocMap.try_emplace(FID);
anatofuz
parents:
diff changeset
1974 DecompTy &DecompLoc = InsertOp.first->second;
anatofuz
parents:
diff changeset
1975 if (!InsertOp.second)
anatofuz
parents:
diff changeset
1976 return DecompLoc; // already in map.
anatofuz
parents:
diff changeset
1977
anatofuz
parents:
diff changeset
1978 SourceLocation UpperLoc;
anatofuz
parents:
diff changeset
1979 bool Invalid = false;
anatofuz
parents:
diff changeset
1980 const SrcMgr::SLocEntry &Entry = getSLocEntry(FID, &Invalid);
anatofuz
parents:
diff changeset
1981 if (!Invalid) {
anatofuz
parents:
diff changeset
1982 if (Entry.isExpansion())
anatofuz
parents:
diff changeset
1983 UpperLoc = Entry.getExpansion().getExpansionLocStart();
anatofuz
parents:
diff changeset
1984 else
anatofuz
parents:
diff changeset
1985 UpperLoc = Entry.getFile().getIncludeLoc();
anatofuz
parents:
diff changeset
1986 }
anatofuz
parents:
diff changeset
1987
anatofuz
parents:
diff changeset
1988 if (UpperLoc.isValid())
anatofuz
parents:
diff changeset
1989 DecompLoc = getDecomposedLoc(UpperLoc);
anatofuz
parents:
diff changeset
1990
anatofuz
parents:
diff changeset
1991 return DecompLoc;
anatofuz
parents:
diff changeset
1992 }
anatofuz
parents:
diff changeset
1993
anatofuz
parents:
diff changeset
1994 /// Given a decomposed source location, move it up the include/expansion stack
anatofuz
parents:
diff changeset
1995 /// to the parent source location. If this is possible, return the decomposed
anatofuz
parents:
diff changeset
1996 /// version of the parent in Loc and return false. If Loc is the top-level
anatofuz
parents:
diff changeset
1997 /// entry, return true and don't modify it.
anatofuz
parents:
diff changeset
1998 static bool MoveUpIncludeHierarchy(std::pair<FileID, unsigned> &Loc,
anatofuz
parents:
diff changeset
1999 const SourceManager &SM) {
anatofuz
parents:
diff changeset
2000 std::pair<FileID, unsigned> UpperLoc = SM.getDecomposedIncludedLoc(Loc.first);
anatofuz
parents:
diff changeset
2001 if (UpperLoc.first.isInvalid())
anatofuz
parents:
diff changeset
2002 return true; // We reached the top.
anatofuz
parents:
diff changeset
2003
anatofuz
parents:
diff changeset
2004 Loc = UpperLoc;
anatofuz
parents:
diff changeset
2005 return false;
anatofuz
parents:
diff changeset
2006 }
anatofuz
parents:
diff changeset
2007
anatofuz
parents:
diff changeset
2008 /// Return the cache entry for comparing the given file IDs
anatofuz
parents:
diff changeset
2009 /// for isBeforeInTranslationUnit.
anatofuz
parents:
diff changeset
2010 InBeforeInTUCacheEntry &SourceManager::getInBeforeInTUCache(FileID LFID,
anatofuz
parents:
diff changeset
2011 FileID RFID) const {
anatofuz
parents:
diff changeset
2012 // This is a magic number for limiting the cache size. It was experimentally
anatofuz
parents:
diff changeset
2013 // derived from a small Objective-C project (where the cache filled
anatofuz
parents:
diff changeset
2014 // out to ~250 items). We can make it larger if necessary.
anatofuz
parents:
diff changeset
2015 enum { MagicCacheSize = 300 };
anatofuz
parents:
diff changeset
2016 IsBeforeInTUCacheKey Key(LFID, RFID);
anatofuz
parents:
diff changeset
2017
anatofuz
parents:
diff changeset
2018 // If the cache size isn't too large, do a lookup and if necessary default
anatofuz
parents:
diff changeset
2019 // construct an entry. We can then return it to the caller for direct
anatofuz
parents:
diff changeset
2020 // use. When they update the value, the cache will get automatically
anatofuz
parents:
diff changeset
2021 // updated as well.
anatofuz
parents:
diff changeset
2022 if (IBTUCache.size() < MagicCacheSize)
anatofuz
parents:
diff changeset
2023 return IBTUCache[Key];
anatofuz
parents:
diff changeset
2024
anatofuz
parents:
diff changeset
2025 // Otherwise, do a lookup that will not construct a new value.
anatofuz
parents:
diff changeset
2026 InBeforeInTUCache::iterator I = IBTUCache.find(Key);
anatofuz
parents:
diff changeset
2027 if (I != IBTUCache.end())
anatofuz
parents:
diff changeset
2028 return I->second;
anatofuz
parents:
diff changeset
2029
anatofuz
parents:
diff changeset
2030 // Fall back to the overflow value.
anatofuz
parents:
diff changeset
2031 return IBTUCacheOverflow;
anatofuz
parents:
diff changeset
2032 }
anatofuz
parents:
diff changeset
2033
anatofuz
parents:
diff changeset
2034 /// Determines the order of 2 source locations in the translation unit.
anatofuz
parents:
diff changeset
2035 ///
anatofuz
parents:
diff changeset
2036 /// \returns true if LHS source location comes before RHS, false otherwise.
anatofuz
parents:
diff changeset
2037 bool SourceManager::isBeforeInTranslationUnit(SourceLocation LHS,
anatofuz
parents:
diff changeset
2038 SourceLocation RHS) const {
anatofuz
parents:
diff changeset
2039 assert(LHS.isValid() && RHS.isValid() && "Passed invalid source location!");
anatofuz
parents:
diff changeset
2040 if (LHS == RHS)
anatofuz
parents:
diff changeset
2041 return false;
anatofuz
parents:
diff changeset
2042
anatofuz
parents:
diff changeset
2043 std::pair<FileID, unsigned> LOffs = getDecomposedLoc(LHS);
anatofuz
parents:
diff changeset
2044 std::pair<FileID, unsigned> ROffs = getDecomposedLoc(RHS);
anatofuz
parents:
diff changeset
2045
anatofuz
parents:
diff changeset
2046 // getDecomposedLoc may have failed to return a valid FileID because, e.g. it
anatofuz
parents:
diff changeset
2047 // is a serialized one referring to a file that was removed after we loaded
anatofuz
parents:
diff changeset
2048 // the PCH.
anatofuz
parents:
diff changeset
2049 if (LOffs.first.isInvalid() || ROffs.first.isInvalid())
anatofuz
parents:
diff changeset
2050 return LOffs.first.isInvalid() && !ROffs.first.isInvalid();
anatofuz
parents:
diff changeset
2051
anatofuz
parents:
diff changeset
2052 std::pair<bool, bool> InSameTU = isInTheSameTranslationUnit(LOffs, ROffs);
anatofuz
parents:
diff changeset
2053 if (InSameTU.first)
anatofuz
parents:
diff changeset
2054 return InSameTU.second;
anatofuz
parents:
diff changeset
2055
anatofuz
parents:
diff changeset
2056 // If we arrived here, the location is either in a built-ins buffer or
anatofuz
parents:
diff changeset
2057 // associated with global inline asm. PR5662 and PR22576 are examples.
anatofuz
parents:
diff changeset
2058
anatofuz
parents:
diff changeset
2059 StringRef LB = getBuffer(LOffs.first)->getBufferIdentifier();
anatofuz
parents:
diff changeset
2060 StringRef RB = getBuffer(ROffs.first)->getBufferIdentifier();
anatofuz
parents:
diff changeset
2061 bool LIsBuiltins = LB == "<built-in>";
anatofuz
parents:
diff changeset
2062 bool RIsBuiltins = RB == "<built-in>";
anatofuz
parents:
diff changeset
2063 // Sort built-in before non-built-in.
anatofuz
parents:
diff changeset
2064 if (LIsBuiltins || RIsBuiltins) {
anatofuz
parents:
diff changeset
2065 if (LIsBuiltins != RIsBuiltins)
anatofuz
parents:
diff changeset
2066 return LIsBuiltins;
anatofuz
parents:
diff changeset
2067 // Both are in built-in buffers, but from different files. We just claim that
anatofuz
parents:
diff changeset
2068 // lower IDs come first.
anatofuz
parents:
diff changeset
2069 return LOffs.first < ROffs.first;
anatofuz
parents:
diff changeset
2070 }
anatofuz
parents:
diff changeset
2071 bool LIsAsm = LB == "<inline asm>";
anatofuz
parents:
diff changeset
2072 bool RIsAsm = RB == "<inline asm>";
anatofuz
parents:
diff changeset
2073 // Sort assembler after built-ins, but before the rest.
anatofuz
parents:
diff changeset
2074 if (LIsAsm || RIsAsm) {
anatofuz
parents:
diff changeset
2075 if (LIsAsm != RIsAsm)
anatofuz
parents:
diff changeset
2076 return RIsAsm;
anatofuz
parents:
diff changeset
2077 assert(LOffs.first == ROffs.first);
anatofuz
parents:
diff changeset
2078 return false;
anatofuz
parents:
diff changeset
2079 }
anatofuz
parents:
diff changeset
2080 bool LIsScratch = LB == "<scratch space>";
anatofuz
parents:
diff changeset
2081 bool RIsScratch = RB == "<scratch space>";
anatofuz
parents:
diff changeset
2082 // Sort scratch after inline asm, but before the rest.
anatofuz
parents:
diff changeset
2083 if (LIsScratch || RIsScratch) {
anatofuz
parents:
diff changeset
2084 if (LIsScratch != RIsScratch)
anatofuz
parents:
diff changeset
2085 return LIsScratch;
anatofuz
parents:
diff changeset
2086 return LOffs.second < ROffs.second;
anatofuz
parents:
diff changeset
2087 }
anatofuz
parents:
diff changeset
2088 llvm_unreachable("Unsortable locations found");
anatofuz
parents:
diff changeset
2089 }
anatofuz
parents:
diff changeset
2090
anatofuz
parents:
diff changeset
2091 std::pair<bool, bool> SourceManager::isInTheSameTranslationUnit(
anatofuz
parents:
diff changeset
2092 std::pair<FileID, unsigned> &LOffs,
anatofuz
parents:
diff changeset
2093 std::pair<FileID, unsigned> &ROffs) const {
anatofuz
parents:
diff changeset
2094 // If the source locations are in the same file, just compare offsets.
anatofuz
parents:
diff changeset
2095 if (LOffs.first == ROffs.first)
anatofuz
parents:
diff changeset
2096 return std::make_pair(true, LOffs.second < ROffs.second);
anatofuz
parents:
diff changeset
2097
anatofuz
parents:
diff changeset
2098 // If we are comparing a source location with multiple locations in the same
anatofuz
parents:
diff changeset
2099 // file, we get a big win by caching the result.
anatofuz
parents:
diff changeset
2100 InBeforeInTUCacheEntry &IsBeforeInTUCache =
anatofuz
parents:
diff changeset
2101 getInBeforeInTUCache(LOffs.first, ROffs.first);
anatofuz
parents:
diff changeset
2102
anatofuz
parents:
diff changeset
2103 // If we are comparing a source location with multiple locations in the same
anatofuz
parents:
diff changeset
2104 // file, we get a big win by caching the result.
anatofuz
parents:
diff changeset
2105 if (IsBeforeInTUCache.isCacheValid(LOffs.first, ROffs.first))
anatofuz
parents:
diff changeset
2106 return std::make_pair(
anatofuz
parents:
diff changeset
2107 true, IsBeforeInTUCache.getCachedResult(LOffs.second, ROffs.second));
anatofuz
parents:
diff changeset
2108
anatofuz
parents:
diff changeset
2109 // Okay, we missed in the cache, start updating the cache for this query.
anatofuz
parents:
diff changeset
2110 IsBeforeInTUCache.setQueryFIDs(LOffs.first, ROffs.first,
anatofuz
parents:
diff changeset
2111 /*isLFIDBeforeRFID=*/LOffs.first.ID < ROffs.first.ID);
anatofuz
parents:
diff changeset
2112
anatofuz
parents:
diff changeset
2113 // We need to find the common ancestor. The only way of doing this is to
anatofuz
parents:
diff changeset
2114 // build the complete include chain for one and then walking up the chain
anatofuz
parents:
diff changeset
2115 // of the other looking for a match.
anatofuz
parents:
diff changeset
2116 // We use a map from FileID to Offset to store the chain. Easier than writing
anatofuz
parents:
diff changeset
2117 // a custom set hash info that only depends on the first part of a pair.
anatofuz
parents:
diff changeset
2118 using LocSet = llvm::SmallDenseMap<FileID, unsigned, 16>;
anatofuz
parents:
diff changeset
2119 LocSet LChain;
anatofuz
parents:
diff changeset
2120 do {
anatofuz
parents:
diff changeset
2121 LChain.insert(LOffs);
anatofuz
parents:
diff changeset
2122 // We catch the case where LOffs is in a file included by ROffs and
anatofuz
parents:
diff changeset
2123 // quit early. The other way round unfortunately remains suboptimal.
anatofuz
parents:
diff changeset
2124 } while (LOffs.first != ROffs.first && !MoveUpIncludeHierarchy(LOffs, *this));
anatofuz
parents:
diff changeset
2125 LocSet::iterator I;
anatofuz
parents:
diff changeset
2126 while((I = LChain.find(ROffs.first)) == LChain.end()) {
anatofuz
parents:
diff changeset
2127 if (MoveUpIncludeHierarchy(ROffs, *this))
anatofuz
parents:
diff changeset
2128 break; // Met at topmost file.
anatofuz
parents:
diff changeset
2129 }
anatofuz
parents:
diff changeset
2130 if (I != LChain.end())
anatofuz
parents:
diff changeset
2131 LOffs = *I;
anatofuz
parents:
diff changeset
2132
anatofuz
parents:
diff changeset
2133 // If we exited because we found a nearest common ancestor, compare the
anatofuz
parents:
diff changeset
2134 // locations within the common file and cache them.
anatofuz
parents:
diff changeset
2135 if (LOffs.first == ROffs.first) {
anatofuz
parents:
diff changeset
2136 IsBeforeInTUCache.setCommonLoc(LOffs.first, LOffs.second, ROffs.second);
anatofuz
parents:
diff changeset
2137 return std::make_pair(
anatofuz
parents:
diff changeset
2138 true, IsBeforeInTUCache.getCachedResult(LOffs.second, ROffs.second));
anatofuz
parents:
diff changeset
2139 }
anatofuz
parents:
diff changeset
2140 // Clear the lookup cache, it depends on a common location.
anatofuz
parents:
diff changeset
2141 IsBeforeInTUCache.clear();
anatofuz
parents:
diff changeset
2142 return std::make_pair(false, false);
anatofuz
parents:
diff changeset
2143 }
anatofuz
parents:
diff changeset
2144
anatofuz
parents:
diff changeset
2145 void SourceManager::PrintStats() const {
anatofuz
parents:
diff changeset
2146 llvm::errs() << "\n*** Source Manager Stats:\n";
anatofuz
parents:
diff changeset
2147 llvm::errs() << FileInfos.size() << " files mapped, " << MemBufferInfos.size()
anatofuz
parents:
diff changeset
2148 << " mem buffers mapped.\n";
anatofuz
parents:
diff changeset
2149 llvm::errs() << LocalSLocEntryTable.size() << " local SLocEntry's allocated ("
anatofuz
parents:
diff changeset
2150 << llvm::capacity_in_bytes(LocalSLocEntryTable)
anatofuz
parents:
diff changeset
2151 << " bytes of capacity), "
anatofuz
parents:
diff changeset
2152 << NextLocalOffset << "B of Sloc address space used.\n";
anatofuz
parents:
diff changeset
2153 llvm::errs() << LoadedSLocEntryTable.size()
anatofuz
parents:
diff changeset
2154 << " loaded SLocEntries allocated, "
anatofuz
parents:
diff changeset
2155 << MaxLoadedOffset - CurrentLoadedOffset
anatofuz
parents:
diff changeset
2156 << "B of Sloc address space used.\n";
anatofuz
parents:
diff changeset
2157
anatofuz
parents:
diff changeset
2158 unsigned NumLineNumsComputed = 0;
anatofuz
parents:
diff changeset
2159 unsigned NumFileBytesMapped = 0;
anatofuz
parents:
diff changeset
2160 for (fileinfo_iterator I = fileinfo_begin(), E = fileinfo_end(); I != E; ++I){
anatofuz
parents:
diff changeset
2161 NumLineNumsComputed += I->second->SourceLineCache != nullptr;
anatofuz
parents:
diff changeset
2162 NumFileBytesMapped += I->second->getSizeBytesMapped();
anatofuz
parents:
diff changeset
2163 }
anatofuz
parents:
diff changeset
2164 unsigned NumMacroArgsComputed = MacroArgsCacheMap.size();
anatofuz
parents:
diff changeset
2165
anatofuz
parents:
diff changeset
2166 llvm::errs() << NumFileBytesMapped << " bytes of files mapped, "
anatofuz
parents:
diff changeset
2167 << NumLineNumsComputed << " files with line #'s computed, "
anatofuz
parents:
diff changeset
2168 << NumMacroArgsComputed << " files with macro args computed.\n";
anatofuz
parents:
diff changeset
2169 llvm::errs() << "FileID scans: " << NumLinearScans << " linear, "
anatofuz
parents:
diff changeset
2170 << NumBinaryProbes << " binary.\n";
anatofuz
parents:
diff changeset
2171 }
anatofuz
parents:
diff changeset
2172
anatofuz
parents:
diff changeset
2173 LLVM_DUMP_METHOD void SourceManager::dump() const {
anatofuz
parents:
diff changeset
2174 llvm::raw_ostream &out = llvm::errs();
anatofuz
parents:
diff changeset
2175
anatofuz
parents:
diff changeset
2176 auto DumpSLocEntry = [&](int ID, const SrcMgr::SLocEntry &Entry,
anatofuz
parents:
diff changeset
2177 llvm::Optional<unsigned> NextStart) {
anatofuz
parents:
diff changeset
2178 out << "SLocEntry <FileID " << ID << "> " << (Entry.isFile() ? "file" : "expansion")
anatofuz
parents:
diff changeset
2179 << " <SourceLocation " << Entry.getOffset() << ":";
anatofuz
parents:
diff changeset
2180 if (NextStart)
anatofuz
parents:
diff changeset
2181 out << *NextStart << ">\n";
anatofuz
parents:
diff changeset
2182 else
anatofuz
parents:
diff changeset
2183 out << "???\?>\n";
anatofuz
parents:
diff changeset
2184 if (Entry.isFile()) {
anatofuz
parents:
diff changeset
2185 auto &FI = Entry.getFile();
anatofuz
parents:
diff changeset
2186 if (FI.NumCreatedFIDs)
anatofuz
parents:
diff changeset
2187 out << " covers <FileID " << ID << ":" << int(ID + FI.NumCreatedFIDs)
anatofuz
parents:
diff changeset
2188 << ">\n";
anatofuz
parents:
diff changeset
2189 if (FI.getIncludeLoc().isValid())
anatofuz
parents:
diff changeset
2190 out << " included from " << FI.getIncludeLoc().getOffset() << "\n";
anatofuz
parents:
diff changeset
2191 if (auto *CC = FI.getContentCache()) {
anatofuz
parents:
diff changeset
2192 out << " for " << (CC->OrigEntry ? CC->OrigEntry->getName() : "<none>")
anatofuz
parents:
diff changeset
2193 << "\n";
anatofuz
parents:
diff changeset
2194 if (CC->BufferOverridden)
anatofuz
parents:
diff changeset
2195 out << " contents overridden\n";
anatofuz
parents:
diff changeset
2196 if (CC->ContentsEntry != CC->OrigEntry) {
anatofuz
parents:
diff changeset
2197 out << " contents from "
anatofuz
parents:
diff changeset
2198 << (CC->ContentsEntry ? CC->ContentsEntry->getName() : "<none>")
anatofuz
parents:
diff changeset
2199 << "\n";
anatofuz
parents:
diff changeset
2200 }
anatofuz
parents:
diff changeset
2201 }
anatofuz
parents:
diff changeset
2202 } else {
anatofuz
parents:
diff changeset
2203 auto &EI = Entry.getExpansion();
anatofuz
parents:
diff changeset
2204 out << " spelling from " << EI.getSpellingLoc().getOffset() << "\n";
anatofuz
parents:
diff changeset
2205 out << " macro " << (EI.isMacroArgExpansion() ? "arg" : "body")
anatofuz
parents:
diff changeset
2206 << " range <" << EI.getExpansionLocStart().getOffset() << ":"
anatofuz
parents:
diff changeset
2207 << EI.getExpansionLocEnd().getOffset() << ">\n";
anatofuz
parents:
diff changeset
2208 }
anatofuz
parents:
diff changeset
2209 };
anatofuz
parents:
diff changeset
2210
anatofuz
parents:
diff changeset
2211 // Dump local SLocEntries.
anatofuz
parents:
diff changeset
2212 for (unsigned ID = 0, NumIDs = LocalSLocEntryTable.size(); ID != NumIDs; ++ID) {
anatofuz
parents:
diff changeset
2213 DumpSLocEntry(ID, LocalSLocEntryTable[ID],
anatofuz
parents:
diff changeset
2214 ID == NumIDs - 1 ? NextLocalOffset
anatofuz
parents:
diff changeset
2215 : LocalSLocEntryTable[ID + 1].getOffset());
anatofuz
parents:
diff changeset
2216 }
anatofuz
parents:
diff changeset
2217 // Dump loaded SLocEntries.
anatofuz
parents:
diff changeset
2218 llvm::Optional<unsigned> NextStart;
anatofuz
parents:
diff changeset
2219 for (unsigned Index = 0; Index != LoadedSLocEntryTable.size(); ++Index) {
anatofuz
parents:
diff changeset
2220 int ID = -(int)Index - 2;
anatofuz
parents:
diff changeset
2221 if (SLocEntryLoaded[Index]) {
anatofuz
parents:
diff changeset
2222 DumpSLocEntry(ID, LoadedSLocEntryTable[Index], NextStart);
anatofuz
parents:
diff changeset
2223 NextStart = LoadedSLocEntryTable[Index].getOffset();
anatofuz
parents:
diff changeset
2224 } else {
anatofuz
parents:
diff changeset
2225 NextStart = None;
anatofuz
parents:
diff changeset
2226 }
anatofuz
parents:
diff changeset
2227 }
anatofuz
parents:
diff changeset
2228 }
anatofuz
parents:
diff changeset
2229
anatofuz
parents:
diff changeset
2230 ExternalSLocEntrySource::~ExternalSLocEntrySource() = default;
anatofuz
parents:
diff changeset
2231
anatofuz
parents:
diff changeset
2232 /// Return the amount of memory used by memory buffers, breaking down
anatofuz
parents:
diff changeset
2233 /// by heap-backed versus mmap'ed memory.
anatofuz
parents:
diff changeset
2234 SourceManager::MemoryBufferSizes SourceManager::getMemoryBufferSizes() const {
anatofuz
parents:
diff changeset
2235 size_t malloc_bytes = 0;
anatofuz
parents:
diff changeset
2236 size_t mmap_bytes = 0;
anatofuz
parents:
diff changeset
2237
anatofuz
parents:
diff changeset
2238 for (unsigned i = 0, e = MemBufferInfos.size(); i != e; ++i)
anatofuz
parents:
diff changeset
2239 if (size_t sized_mapped = MemBufferInfos[i]->getSizeBytesMapped())
anatofuz
parents:
diff changeset
2240 switch (MemBufferInfos[i]->getMemoryBufferKind()) {
anatofuz
parents:
diff changeset
2241 case llvm::MemoryBuffer::MemoryBuffer_MMap:
anatofuz
parents:
diff changeset
2242 mmap_bytes += sized_mapped;
anatofuz
parents:
diff changeset
2243 break;
anatofuz
parents:
diff changeset
2244 case llvm::MemoryBuffer::MemoryBuffer_Malloc:
anatofuz
parents:
diff changeset
2245 malloc_bytes += sized_mapped;
anatofuz
parents:
diff changeset
2246 break;
anatofuz
parents:
diff changeset
2247 }
anatofuz
parents:
diff changeset
2248
anatofuz
parents:
diff changeset
2249 return MemoryBufferSizes(malloc_bytes, mmap_bytes);
anatofuz
parents:
diff changeset
2250 }
anatofuz
parents:
diff changeset
2251
anatofuz
parents:
diff changeset
2252 size_t SourceManager::getDataStructureSizes() const {
anatofuz
parents:
diff changeset
2253 size_t size = llvm::capacity_in_bytes(MemBufferInfos)
anatofuz
parents:
diff changeset
2254 + llvm::capacity_in_bytes(LocalSLocEntryTable)
anatofuz
parents:
diff changeset
2255 + llvm::capacity_in_bytes(LoadedSLocEntryTable)
anatofuz
parents:
diff changeset
2256 + llvm::capacity_in_bytes(SLocEntryLoaded)
anatofuz
parents:
diff changeset
2257 + llvm::capacity_in_bytes(FileInfos);
anatofuz
parents:
diff changeset
2258
anatofuz
parents:
diff changeset
2259 if (OverriddenFilesInfo)
anatofuz
parents:
diff changeset
2260 size += llvm::capacity_in_bytes(OverriddenFilesInfo->OverriddenFiles);
anatofuz
parents:
diff changeset
2261
anatofuz
parents:
diff changeset
2262 return size;
anatofuz
parents:
diff changeset
2263 }
anatofuz
parents:
diff changeset
2264
anatofuz
parents:
diff changeset
2265 SourceManagerForFile::SourceManagerForFile(StringRef FileName,
anatofuz
parents:
diff changeset
2266 StringRef Content) {
anatofuz
parents:
diff changeset
2267 // This is referenced by `FileMgr` and will be released by `FileMgr` when it
anatofuz
parents:
diff changeset
2268 // is deleted.
anatofuz
parents:
diff changeset
2269 IntrusiveRefCntPtr<llvm::vfs::InMemoryFileSystem> InMemoryFileSystem(
anatofuz
parents:
diff changeset
2270 new llvm::vfs::InMemoryFileSystem);
anatofuz
parents:
diff changeset
2271 InMemoryFileSystem->addFile(
anatofuz
parents:
diff changeset
2272 FileName, 0,
anatofuz
parents:
diff changeset
2273 llvm::MemoryBuffer::getMemBuffer(Content, FileName,
anatofuz
parents:
diff changeset
2274 /*RequiresNullTerminator=*/false));
anatofuz
parents:
diff changeset
2275 // This is passed to `SM` as reference, so the pointer has to be referenced
anatofuz
parents:
diff changeset
2276 // in `Environment` so that `FileMgr` can out-live this function scope.
anatofuz
parents:
diff changeset
2277 FileMgr =
anatofuz
parents:
diff changeset
2278 std::make_unique<FileManager>(FileSystemOptions(), InMemoryFileSystem);
anatofuz
parents:
diff changeset
2279 // This is passed to `SM` as reference, so the pointer has to be referenced
anatofuz
parents:
diff changeset
2280 // by `Environment` due to the same reason above.
anatofuz
parents:
diff changeset
2281 Diagnostics = std::make_unique<DiagnosticsEngine>(
anatofuz
parents:
diff changeset
2282 IntrusiveRefCntPtr<DiagnosticIDs>(new DiagnosticIDs),
anatofuz
parents:
diff changeset
2283 new DiagnosticOptions);
anatofuz
parents:
diff changeset
2284 SourceMgr = std::make_unique<SourceManager>(*Diagnostics, *FileMgr);
anatofuz
parents:
diff changeset
2285 FileID ID = SourceMgr->createFileID(*FileMgr->getFile(FileName),
anatofuz
parents:
diff changeset
2286 SourceLocation(), clang::SrcMgr::C_User);
anatofuz
parents:
diff changeset
2287 assert(ID.isValid());
anatofuz
parents:
diff changeset
2288 SourceMgr->setMainFileID(ID);
anatofuz
parents:
diff changeset
2289 }