blob: 58f1d21c379a34d88c66e01cda9366182a75a255 [file] [log] [blame]
Ted Kremenek85888962008-10-21 00:54:44 +00001//===--- CacheTokens.cpp - Caching of lexer tokens for PCH support --------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This provides a possible implementation of PCH support for Clang that is
11// based on caching lexed tokens and identifiers.
12//
13//===----------------------------------------------------------------------===//
14
15#include "clang.h"
16#include "clang/Basic/FileManager.h"
17#include "clang/Basic/SourceManager.h"
18#include "clang/Basic/IdentifierTable.h"
19#include "clang/Basic/Diagnostic.h"
20#include "clang/Lex/Lexer.h"
21#include "clang/Lex/Preprocessor.h"
Ted Kremenekbe295332009-01-08 02:44:06 +000022#include "llvm/ADT/StringMap.h"
Ted Kremenek85888962008-10-21 00:54:44 +000023#include "llvm/Support/MemoryBuffer.h"
24#include "llvm/Support/raw_ostream.h"
Ted Kremenekfc7e2ea2008-12-02 19:44:08 +000025#include "llvm/System/Path.h"
Ted Kremenekb978c662009-01-08 01:17:37 +000026#include "llvm/Support/Compiler.h"
Ted Kremenek72b1b152009-01-15 18:47:46 +000027#include "llvm/Support/Streams.h"
Ted Kremenek85888962008-10-21 00:54:44 +000028
29using namespace clang;
30
Ted Kremenekfc7e2ea2008-12-02 19:44:08 +000031typedef uint32_t Offset;
32
Ted Kremeneke0ea5dc2009-02-10 01:06:17 +000033static void Emit8(llvm::raw_ostream& Out, uint32_t V) {
34 Out << (unsigned char)(V);
35}
36
37static void Emit16(llvm::raw_ostream& Out, uint32_t V) {
38 Out << (unsigned char)(V);
39 Out << (unsigned char)(V >> 8);
40 assert((V >> 16) == 0);
41}
42
43static void Emit32(llvm::raw_ostream& Out, uint32_t V) {
44 Out << (unsigned char)(V);
45 Out << (unsigned char)(V >> 8);
46 Out << (unsigned char)(V >> 16);
47 Out << (unsigned char)(V >> 24);
48}
49
Ted Kremenekd8c02922009-02-10 22:16:22 +000050static void Pad(llvm::raw_fd_ostream& Out, unsigned A) {
51 Offset off = (Offset) Out.tell();
52 uint32_t n = ((uintptr_t)(off+A-1) & ~(uintptr_t)(A-1)) - off;
53 for ( ; n ; --n ) Emit8(Out, 0);
Ted Kremeneke0ea5dc2009-02-10 01:06:17 +000054}
55
Ted Kremenekf0e1f792009-02-10 01:14:45 +000056//===----------------------------------------------------------------------===//
57// On Disk Hashtable Logic. This will eventually get refactored and put
58// elsewhere.
59//===----------------------------------------------------------------------===//
60
61template<typename Info>
62class OnDiskChainedHashTableGenerator {
63 unsigned NumBuckets;
64 unsigned NumEntries;
65 llvm::BumpPtrAllocator BA;
66
67 class Item {
68 public:
Ted Kremenekd8c02922009-02-10 22:16:22 +000069 typename Info::key_type key;
70 typename Info::data_type data;
Ted Kremenekf0e1f792009-02-10 01:14:45 +000071 Item *next;
72 const uint32_t hash;
73
Ted Kremenekd8c02922009-02-10 22:16:22 +000074 Item(typename Info::key_type_ref k, typename Info::data_type_ref d)
75 : key(k), data(d), next(0), hash(Info::ComputeHash(k)) {}
Ted Kremenekf0e1f792009-02-10 01:14:45 +000076 };
77
78 class Bucket {
79 public:
80 Offset off;
81 Item* head;
82 unsigned length;
83
84 Bucket() {}
85 };
86
87 Bucket* Buckets;
88
89private:
Ted Kremenekd8c02922009-02-10 22:16:22 +000090 void insert(Bucket* b, size_t size, Item* E) {
Ted Kremenekf0e1f792009-02-10 01:14:45 +000091 unsigned idx = E->hash & (size - 1);
92 Bucket& B = b[idx];
93 E->next = B.head;
94 ++B.length;
95 B.head = E;
96 }
97
98 void resize(size_t newsize) {
Ted Kremenekd8c02922009-02-10 22:16:22 +000099 Bucket* newBuckets = (Bucket*) calloc(newsize, sizeof(Bucket));
100 // Populate newBuckets with the old entries.
Ted Kremenekf0e1f792009-02-10 01:14:45 +0000101 for (unsigned i = 0; i < NumBuckets; ++i)
Ted Kremenekd8c02922009-02-10 22:16:22 +0000102 for (Item* E = Buckets[i].head; E ; ) {
Ted Kremenekf0e1f792009-02-10 01:14:45 +0000103 Item* N = E->next;
Ted Kremenekd8c02922009-02-10 22:16:22 +0000104 E->next = 0;
Ted Kremenekf0e1f792009-02-10 01:14:45 +0000105 insert(newBuckets, newsize, E);
106 E = N;
107 }
108
109 free(Buckets);
110 NumBuckets = newsize;
111 Buckets = newBuckets;
112 }
113
114public:
115
Ted Kremenekd8c02922009-02-10 22:16:22 +0000116 void insert(typename Info::key_type_ref key,
117 typename Info::data_type_ref data) {
118
Ted Kremenekf0e1f792009-02-10 01:14:45 +0000119 ++NumEntries;
120 if (4*NumEntries >= 3*NumBuckets) resize(NumBuckets*2);
121 insert(Buckets, NumBuckets, new (BA.Allocate<Item>()) Item(key, data));
122 }
123
124 Offset Emit(llvm::raw_fd_ostream& out) {
125 // Emit the payload of the table.
126 for (unsigned i = 0; i < NumBuckets; ++i) {
127 Bucket& B = Buckets[i];
128 if (!B.head) continue;
129
130 // Store the offset for the data of this bucket.
Ted Kremenekf0e1f792009-02-10 01:14:45 +0000131 B.off = out.tell();
132
Ted Kremenekd8c02922009-02-10 22:16:22 +0000133 // Write out the number of items in the bucket.
134 Emit16(out, B.length);
Ted Kremenekf0e1f792009-02-10 01:14:45 +0000135
136 // Write out the entries in the bucket.
137 for (Item *I = B.head; I ; I = I->next) {
138 Emit32(out, I->hash);
Ted Kremenekd8c02922009-02-10 22:16:22 +0000139 const std::pair<unsigned, unsigned>& Len =
140 Info::EmitKeyDataLength(out, I->key, I->data);
141 Info::EmitKey(out, I->key, Len.first);
142 Info::EmitData(out, I->data, Len.second);
Ted Kremenekf0e1f792009-02-10 01:14:45 +0000143 }
144 }
145
146 // Emit the hashtable itself.
147 Pad(out, 4);
148 Offset TableOff = out.tell();
Ted Kremenekd8c02922009-02-10 22:16:22 +0000149 Emit32(out, NumBuckets);
150 Emit32(out, NumEntries);
Ted Kremenekf0e1f792009-02-10 01:14:45 +0000151 for (unsigned i = 0; i < NumBuckets; ++i) Emit32(out, Buckets[i].off);
152
153 return TableOff;
154 }
155
156 OnDiskChainedHashTableGenerator() {
157 NumEntries = 0;
Ted Kremenekd8c02922009-02-10 22:16:22 +0000158 NumBuckets = 64;
159 // Note that we do not need to run the constructors of the individual
160 // Bucket objects since 'calloc' returns bytes that are all 0.
161 Buckets = (Bucket*) calloc(NumBuckets, sizeof(Bucket));
Ted Kremenekf0e1f792009-02-10 01:14:45 +0000162 }
163
164 ~OnDiskChainedHashTableGenerator() {
165 free(Buckets);
166 }
167};
168
169//===----------------------------------------------------------------------===//
170// PTH-specific stuff.
171//===----------------------------------------------------------------------===//
172
Ted Kremenekbe295332009-01-08 02:44:06 +0000173namespace {
174class VISIBILITY_HIDDEN PCHEntry {
175 Offset TokenData, PPCondData;
Ted Kremenekbe295332009-01-08 02:44:06 +0000176
177public:
178 PCHEntry() {}
179
Ted Kremenek277faca2009-01-27 00:01:05 +0000180 PCHEntry(Offset td, Offset ppcd)
181 : TokenData(td), PPCondData(ppcd) {}
Ted Kremenekbe295332009-01-08 02:44:06 +0000182
Ted Kremenek277faca2009-01-27 00:01:05 +0000183 Offset getTokenOffset() const { return TokenData; }
Ted Kremenekbe295332009-01-08 02:44:06 +0000184 Offset getPPCondTableOffset() const { return PPCondData; }
Ted Kremenek277faca2009-01-27 00:01:05 +0000185};
Ted Kremenekbe295332009-01-08 02:44:06 +0000186
Ted Kremenekd8c02922009-02-10 22:16:22 +0000187class VISIBILITY_HIDDEN FileEntryPCHEntryInfo {
188public:
189 typedef const FileEntry* key_type;
190 typedef key_type key_type_ref;
191
192 typedef PCHEntry data_type;
193 typedef const PCHEntry& data_type_ref;
194
195 static unsigned ComputeHash(const FileEntry* FE) {
196 // Bernstein hash function:
197 // This is basically copy-and-paste from StringMap. This likely won't
198 // stay here, which is why I didn't both to expose this function from
199 // String Map. There are plenty of other hash functions which are likely
200 // to perform better and be faster.
201 unsigned int R = 0;
202 for (const char* x = FE->getName(); *x != '\0' ; ++x) R = R * 33 + *x;
203 return R + (R >> 5);
204 }
205
206 static std::pair<unsigned,unsigned>
207 EmitKeyDataLength(llvm::raw_ostream& Out, const FileEntry* FE,
208 const PCHEntry& E) {
209
210 unsigned n = strlen(FE->getName()) + 1;
211 ::Emit16(Out, n);
212 return std::make_pair(n, 8);
213 }
214
215 static void EmitKey(llvm::raw_ostream& Out, const FileEntry* FE, unsigned n) {
216 Out.write(FE->getName(), n);
217 }
218
219 static void EmitData(llvm::raw_ostream& Out, const PCHEntry& E, unsigned) {
220 ::Emit32(Out, E.getTokenOffset());
221 ::Emit32(Out, E.getPPCondTableOffset());
222 }
223};
224
Ted Kremenek277faca2009-01-27 00:01:05 +0000225class OffsetOpt {
226 bool valid;
227 Offset off;
228public:
229 OffsetOpt() : valid(false) {}
230 bool hasOffset() const { return valid; }
231 Offset getOffset() const { assert(valid); return off; }
232 void setOffset(Offset o) { off = o; valid = true; }
Ted Kremenekbe295332009-01-08 02:44:06 +0000233};
234} // end anonymous namespace
235
Ted Kremenekd8c02922009-02-10 22:16:22 +0000236typedef OnDiskChainedHashTableGenerator<FileEntryPCHEntryInfo> PCHMap;
Ted Kremenekfc7e2ea2008-12-02 19:44:08 +0000237typedef llvm::DenseMap<const IdentifierInfo*,uint32_t> IDMap;
Ted Kremenek277faca2009-01-27 00:01:05 +0000238typedef llvm::StringMap<OffsetOpt, llvm::BumpPtrAllocator> CachedStrsTy;
Ted Kremenek85888962008-10-21 00:54:44 +0000239
Ted Kremenekb978c662009-01-08 01:17:37 +0000240namespace {
241class VISIBILITY_HIDDEN PTHWriter {
242 IDMap IM;
243 llvm::raw_fd_ostream& Out;
244 Preprocessor& PP;
245 uint32_t idcount;
246 PCHMap PM;
Ted Kremenekbe295332009-01-08 02:44:06 +0000247 CachedStrsTy CachedStrs;
Ted Kremenek277faca2009-01-27 00:01:05 +0000248 Offset CurStrOffset;
249 std::vector<llvm::StringMapEntry<OffsetOpt>*> StrEntries;
Ted Kremenek8f174e12008-12-23 02:52:12 +0000250
Ted Kremenekb978c662009-01-08 01:17:37 +0000251 //// Get the persistent id for the given IdentifierInfo*.
252 uint32_t ResolveID(const IdentifierInfo* II);
Ted Kremenekfc7e2ea2008-12-02 19:44:08 +0000253
Ted Kremenekb978c662009-01-08 01:17:37 +0000254 /// Emit a token to the PTH file.
255 void EmitToken(const Token& T);
256
257 void Emit8(uint32_t V) {
258 Out << (unsigned char)(V);
259 }
260
Ted Kremeneke0ea5dc2009-02-10 01:06:17 +0000261 void Emit16(uint32_t V) { ::Emit16(Out, V); }
Ted Kremenekb978c662009-01-08 01:17:37 +0000262
263 void Emit24(uint32_t V) {
264 Out << (unsigned char)(V);
265 Out << (unsigned char)(V >> 8);
266 Out << (unsigned char)(V >> 16);
267 assert((V >> 24) == 0);
268 }
269
Ted Kremeneke0ea5dc2009-02-10 01:06:17 +0000270 void Emit32(uint32_t V) { ::Emit32(Out, V); }
271
Ted Kremenekb978c662009-01-08 01:17:37 +0000272 void EmitBuf(const char* I, const char* E) {
273 for ( ; I != E ; ++I) Out << *I;
274 }
275
Ted Kremenekf1de4642009-02-11 16:06:55 +0000276 std::pair<Offset, Offset> EmitIdentifierTable();
277
278 /// EmitFileTable - Emit a table mapping from file name strings to PTH
279 /// token data.
280 Offset EmitFileTable() { return PM.Emit(Out); }
281
Ted Kremenekbe295332009-01-08 02:44:06 +0000282 PCHEntry LexTokens(Lexer& L);
Ted Kremenek277faca2009-01-27 00:01:05 +0000283 Offset EmitCachedSpellings();
Ted Kremenekbe295332009-01-08 02:44:06 +0000284
Ted Kremenekb978c662009-01-08 01:17:37 +0000285public:
286 PTHWriter(llvm::raw_fd_ostream& out, Preprocessor& pp)
Ted Kremenek277faca2009-01-27 00:01:05 +0000287 : Out(out), PP(pp), idcount(0), CurStrOffset(0) {}
Ted Kremenekb978c662009-01-08 01:17:37 +0000288
289 void GeneratePTH();
290};
291} // end anonymous namespace
292
293uint32_t PTHWriter::ResolveID(const IdentifierInfo* II) {
Ted Kremenekfc7e2ea2008-12-02 19:44:08 +0000294 // Null IdentifierInfo's map to the persistent ID 0.
295 if (!II)
296 return 0;
297
Ted Kremenek85888962008-10-21 00:54:44 +0000298 IDMap::iterator I = IM.find(II);
299
300 if (I == IM.end()) {
Ted Kremenekb978c662009-01-08 01:17:37 +0000301 IM[II] = ++idcount; // Pre-increment since '0' is reserved for NULL.
302 return idcount;
Ted Kremenek85888962008-10-21 00:54:44 +0000303 }
304
Ted Kremenekfc7e2ea2008-12-02 19:44:08 +0000305 return I->second; // We've already added 1.
Ted Kremenek85888962008-10-21 00:54:44 +0000306}
307
Ted Kremenekb978c662009-01-08 01:17:37 +0000308void PTHWriter::EmitToken(const Token& T) {
Ted Kremenek7b78b7c2009-01-19 23:13:15 +0000309 Emit32(((uint32_t) T.getKind()) |
310 (((uint32_t) T.getFlags()) << 8) |
311 (((uint32_t) T.getLength()) << 16));
Ted Kremenek277faca2009-01-27 00:01:05 +0000312
Chris Lattner47246be2009-01-26 19:29:26 +0000313 // Literals (strings, numbers, characters) get cached spellings.
314 if (T.isLiteral()) {
315 // FIXME: This uses the slow getSpelling(). Perhaps we do better
316 // in the future? This only slows down PTH generation.
317 const std::string &spelling = PP.getSpelling(T);
318 const char* s = spelling.c_str();
319
320 // Get the string entry.
Ted Kremenek277faca2009-01-27 00:01:05 +0000321 llvm::StringMapEntry<OffsetOpt> *E =
322 &CachedStrs.GetOrCreateValue(s, s+spelling.size());
323
324 if (!E->getValue().hasOffset()) {
325 E->getValue().setOffset(CurStrOffset);
326 StrEntries.push_back(E);
327 CurStrOffset += spelling.size() + 1;
328 }
329
330 Emit32(E->getValue().getOffset());
Ted Kremenekb978c662009-01-08 01:17:37 +0000331 }
Ted Kremenek277faca2009-01-27 00:01:05 +0000332 else
333 Emit32(ResolveID(T.getIdentifierInfo()));
334
Chris Lattner52c29082009-01-27 06:27:13 +0000335 Emit32(PP.getSourceManager().getFileOffset(T.getLocation()));
Ted Kremenek85888962008-10-21 00:54:44 +0000336}
337
Ted Kremenekb978c662009-01-08 01:17:37 +0000338namespace {
339struct VISIBILITY_HIDDEN IDData {
Ted Kremenekfa59aad2008-11-26 23:58:26 +0000340 const IdentifierInfo* II;
341 uint32_t FileOffset;
Ted Kremenek293b4af2009-01-15 01:26:25 +0000342};
343
344class VISIBILITY_HIDDEN CompareIDDataIndex {
345 IDData* Table;
346public:
347 CompareIDDataIndex(IDData* table) : Table(table) {}
348
349 bool operator()(unsigned i, unsigned j) const {
Ted Kremenek72b1b152009-01-15 18:47:46 +0000350 const IdentifierInfo* II_i = Table[i].II;
351 const IdentifierInfo* II_j = Table[j].II;
352
353 unsigned i_len = II_i->getLength();
354 unsigned j_len = II_j->getLength();
355
356 if (i_len > j_len)
357 return false;
358
359 if (i_len < j_len)
360 return true;
361
362 // Otherwise, compare the strings themselves!
363 return strncmp(II_i->getName(), II_j->getName(), i_len) < 0;
Ted Kremenek293b4af2009-01-15 01:26:25 +0000364 }
Ted Kremenekfa59aad2008-11-26 23:58:26 +0000365};
Ted Kremenekb978c662009-01-08 01:17:37 +0000366}
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000367
Ted Kremenekf1de4642009-02-11 16:06:55 +0000368std::pair<Offset,Offset> PTHWriter::EmitIdentifierTable() {
Ted Kremenek293b4af2009-01-15 01:26:25 +0000369 llvm::BumpPtrAllocator Alloc;
Ted Kremenekfa59aad2008-11-26 23:58:26 +0000370
371 // Build an inverse map from persistent IDs -> IdentifierInfo*.
Ted Kremenek293b4af2009-01-15 01:26:25 +0000372 IDData* IIDMap = Alloc.Allocate<IDData>(idcount);
Ted Kremenek85888962008-10-21 00:54:44 +0000373
Ted Kremenekfa59aad2008-11-26 23:58:26 +0000374 // Generate mapping from persistent IDs -> IdentifierInfo*.
Ted Kremenekb978c662009-01-08 01:17:37 +0000375 for (IDMap::iterator I=IM.begin(), E=IM.end(); I!=E; ++I) {
Ted Kremenekfc7e2ea2008-12-02 19:44:08 +0000376 // Decrement by 1 because we are using a vector for the lookup and
377 // 0 is reserved for NULL.
378 assert(I->second > 0);
Ted Kremenek293b4af2009-01-15 01:26:25 +0000379 assert(I->second-1 < idcount);
380 unsigned idx = I->second-1;
381 IIDMap[idx].II = I->first;
382 }
Ted Kremenekfa59aad2008-11-26 23:58:26 +0000383
Ted Kremenek293b4af2009-01-15 01:26:25 +0000384 // We want to write out the strings in lexical order to support binary
385 // search of strings to identifiers. Create such a table.
386 unsigned *LexicalOrder = Alloc.Allocate<unsigned>(idcount);
387 for (unsigned i = 0; i < idcount ; ++i ) LexicalOrder[i] = i;
388 std::sort(LexicalOrder, LexicalOrder+idcount, CompareIDDataIndex(IIDMap));
389
390 // Write out the lexically-sorted table of persistent ids.
391 Offset LexicalOff = Out.tell();
392 for (unsigned i = 0; i < idcount ; ++i) Emit32(LexicalOrder[i]);
393
Ted Kremenek293b4af2009-01-15 01:26:25 +0000394 for (unsigned i = 0; i < idcount; ++i) {
395 IDData& d = IIDMap[i];
396 d.FileOffset = Out.tell(); // Record the location for this data.
397 unsigned len = d.II->getLength(); // Write out the string length.
Ted Kremenekb978c662009-01-08 01:17:37 +0000398 Emit32(len);
Ted Kremenek293b4af2009-01-15 01:26:25 +0000399 const char* buf = d.II->getName(); // Write out the string data.
Ted Kremenek72b1b152009-01-15 18:47:46 +0000400 EmitBuf(buf, buf+len);
401 // Emit a null character for those clients expecting that IdentifierInfo
402 // strings are null terminated.
403 Emit8('\0');
Ted Kremenek85888962008-10-21 00:54:44 +0000404 }
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000405
Ted Kremenekfa59aad2008-11-26 23:58:26 +0000406 // Now emit the table mapping from persistent IDs to PTH file offsets.
Ted Kremenekfc7e2ea2008-12-02 19:44:08 +0000407 Offset IDOff = Out.tell();
Ted Kremenek293b4af2009-01-15 01:26:25 +0000408 Emit32(idcount); // Emit the number of identifiers.
409 for (unsigned i = 0 ; i < idcount; ++i) Emit32(IIDMap[i].FileOffset);
Ted Kremenek6183e482008-12-03 01:16:39 +0000410
Ted Kremenekf1de4642009-02-11 16:06:55 +0000411 return std::make_pair(IDOff, LexicalOff);
Ted Kremenek85888962008-10-21 00:54:44 +0000412}
413
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000414
Ted Kremenekbe295332009-01-08 02:44:06 +0000415PCHEntry PTHWriter::LexTokens(Lexer& L) {
Ted Kremenek7b78b7c2009-01-19 23:13:15 +0000416 // Pad 0's so that we emit tokens to a 4-byte alignment.
417 // This speed up reading them back in.
Ted Kremeneke0ea5dc2009-02-10 01:06:17 +0000418 Pad(Out, 4);
419 Offset off = (Offset) Out.tell();
Ted Kremenekfb645b62008-12-11 23:36:38 +0000420
421 // Keep track of matching '#if' ... '#endif'.
422 typedef std::vector<std::pair<Offset, unsigned> > PPCondTable;
423 PPCondTable PPCond;
Ted Kremenekdad7b342008-12-12 18:31:09 +0000424 std::vector<unsigned> PPStartCond;
Ted Kremeneke5680f32008-12-23 01:30:52 +0000425 bool ParsingPreprocessorDirective = false;
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000426 Token Tok;
427
428 do {
429 L.LexFromRawLexer(Tok);
Ted Kremenek726080d2009-02-10 22:43:16 +0000430 NextToken:
431
Ted Kremeneke5680f32008-12-23 01:30:52 +0000432 if ((Tok.isAtStartOfLine() || Tok.is(tok::eof)) &&
433 ParsingPreprocessorDirective) {
434 // Insert an eom token into the token cache. It has the same
435 // position as the next token that is not on the same line as the
436 // preprocessor directive. Observe that we continue processing
437 // 'Tok' when we exit this branch.
438 Token Tmp = Tok;
439 Tmp.setKind(tok::eom);
440 Tmp.clearFlag(Token::StartOfLine);
441 Tmp.setIdentifierInfo(0);
Ted Kremenekb978c662009-01-08 01:17:37 +0000442 EmitToken(Tmp);
Ted Kremeneke5680f32008-12-23 01:30:52 +0000443 ParsingPreprocessorDirective = false;
444 }
445
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000446 if (Tok.is(tok::identifier)) {
447 Tok.setIdentifierInfo(PP.LookUpIdentifierInfo(Tok));
Ted Kremeneke4f6b1e2009-02-10 22:27:09 +0000448 EmitToken(Tok);
Ted Kremeneke5680f32008-12-23 01:30:52 +0000449 continue;
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000450 }
Ted Kremeneke5680f32008-12-23 01:30:52 +0000451
452 if (Tok.is(tok::hash) && Tok.isAtStartOfLine()) {
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000453 // Special processing for #include. Store the '#' token and lex
454 // the next token.
Ted Kremeneke5680f32008-12-23 01:30:52 +0000455 assert(!ParsingPreprocessorDirective);
Ted Kremenekfb645b62008-12-11 23:36:38 +0000456 Offset HashOff = (Offset) Out.tell();
Ted Kremenekb978c662009-01-08 01:17:37 +0000457 EmitToken(Tok);
Ted Kremenekdad7b342008-12-12 18:31:09 +0000458
459 // Get the next token.
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000460 L.LexFromRawLexer(Tok);
Ted Kremeneke5680f32008-12-23 01:30:52 +0000461
462 assert(!Tok.isAtStartOfLine());
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000463
464 // Did we see 'include'/'import'/'include_next'?
Ted Kremeneke4f6b1e2009-02-10 22:27:09 +0000465 if (!Tok.is(tok::identifier)) {
466 EmitToken(Tok);
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000467 continue;
Ted Kremeneke4f6b1e2009-02-10 22:27:09 +0000468 }
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000469
470 IdentifierInfo* II = PP.LookUpIdentifierInfo(Tok);
471 Tok.setIdentifierInfo(II);
472 tok::PPKeywordKind K = II->getPPKeywordID();
473
Ted Kremeneke5680f32008-12-23 01:30:52 +0000474 assert(K != tok::pp_not_keyword);
475 ParsingPreprocessorDirective = true;
476
477 switch (K) {
478 default:
479 break;
480 case tok::pp_include:
481 case tok::pp_import:
482 case tok::pp_include_next: {
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000483 // Save the 'include' token.
Ted Kremenekb978c662009-01-08 01:17:37 +0000484 EmitToken(Tok);
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000485 // Lex the next token as an include string.
486 L.setParsingPreprocessorDirective(true);
487 L.LexIncludeFilename(Tok);
488 L.setParsingPreprocessorDirective(false);
Ted Kremeneke5680f32008-12-23 01:30:52 +0000489 assert(!Tok.isAtStartOfLine());
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000490 if (Tok.is(tok::identifier))
491 Tok.setIdentifierInfo(PP.LookUpIdentifierInfo(Tok));
Ted Kremeneke5680f32008-12-23 01:30:52 +0000492
493 break;
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000494 }
Ted Kremeneke5680f32008-12-23 01:30:52 +0000495 case tok::pp_if:
496 case tok::pp_ifdef:
497 case tok::pp_ifndef: {
Ted Kremeneke4f6b1e2009-02-10 22:27:09 +0000498 // Add an entry for '#if' and friends. We initially set the target
499 // index to 0. This will get backpatched when we hit #endif.
Ted Kremenekfb645b62008-12-11 23:36:38 +0000500 PPStartCond.push_back(PPCond.size());
Ted Kremenekdad7b342008-12-12 18:31:09 +0000501 PPCond.push_back(std::make_pair(HashOff, 0U));
Ted Kremeneke5680f32008-12-23 01:30:52 +0000502 break;
Ted Kremenekfb645b62008-12-11 23:36:38 +0000503 }
Ted Kremeneke5680f32008-12-23 01:30:52 +0000504 case tok::pp_endif: {
Ted Kremenekfb645b62008-12-11 23:36:38 +0000505 // Add an entry for '#endif'. We set the target table index to itself.
Ted Kremenekdad7b342008-12-12 18:31:09 +0000506 // This will later be set to zero when emitting to the PTH file. We
507 // use 0 for uninitialized indices because that is easier to debug.
Ted Kremenekfb645b62008-12-11 23:36:38 +0000508 unsigned index = PPCond.size();
Ted Kremenekfb645b62008-12-11 23:36:38 +0000509 // Backpatch the opening '#if' entry.
Ted Kremenekdad7b342008-12-12 18:31:09 +0000510 assert(!PPStartCond.empty());
511 assert(PPCond.size() > PPStartCond.back());
Ted Kremenekfb645b62008-12-11 23:36:38 +0000512 assert(PPCond[PPStartCond.back()].second == 0);
513 PPCond[PPStartCond.back()].second = index;
514 PPStartCond.pop_back();
Ted Kremenekdad7b342008-12-12 18:31:09 +0000515 // Add the new entry to PPCond.
516 PPCond.push_back(std::make_pair(HashOff, index));
Ted Kremenek726080d2009-02-10 22:43:16 +0000517 EmitToken(Tok);
518
519 // Some files have gibberish on the same line as '#endif'.
520 // Discard these tokens.
521 do L.LexFromRawLexer(Tok); while (!Tok.is(tok::eof) &&
522 !Tok.isAtStartOfLine());
523 // We have the next token in hand.
524 // Don't immediately lex the next one.
525 goto NextToken;
Ted Kremenekfb645b62008-12-11 23:36:38 +0000526 }
Ted Kremeneke5680f32008-12-23 01:30:52 +0000527 case tok::pp_elif:
528 case tok::pp_else: {
529 // Add an entry for #elif or #else.
Ted Kremenekdad7b342008-12-12 18:31:09 +0000530 // This serves as both a closing and opening of a conditional block.
531 // This means that its entry will get backpatched later.
Ted Kremenekfb645b62008-12-11 23:36:38 +0000532 unsigned index = PPCond.size();
Ted Kremenekfb645b62008-12-11 23:36:38 +0000533 // Backpatch the previous '#if' entry.
Ted Kremenekdad7b342008-12-12 18:31:09 +0000534 assert(!PPStartCond.empty());
535 assert(PPCond.size() > PPStartCond.back());
Ted Kremenekfb645b62008-12-11 23:36:38 +0000536 assert(PPCond[PPStartCond.back()].second == 0);
537 PPCond[PPStartCond.back()].second = index;
538 PPStartCond.pop_back();
539 // Now add '#elif' as a new block opening.
Ted Kremenekdad7b342008-12-12 18:31:09 +0000540 PPCond.push_back(std::make_pair(HashOff, 0U));
541 PPStartCond.push_back(index);
Ted Kremeneke5680f32008-12-23 01:30:52 +0000542 break;
543 }
Ted Kremenekfb645b62008-12-11 23:36:38 +0000544 }
Ted Kremeneke4f6b1e2009-02-10 22:27:09 +0000545 }
546
547 EmitToken(Tok);
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000548 }
Ted Kremeneke4f6b1e2009-02-10 22:27:09 +0000549 while (Tok.isNot(tok::eof));
Ted Kremenekb978c662009-01-08 01:17:37 +0000550
Ted Kremenekdad7b342008-12-12 18:31:09 +0000551 assert(PPStartCond.empty() && "Error: imblanced preprocessor conditionals.");
Ted Kremenekb978c662009-01-08 01:17:37 +0000552
Ted Kremenekfb645b62008-12-11 23:36:38 +0000553 // Next write out PPCond.
554 Offset PPCondOff = (Offset) Out.tell();
Ted Kremenekdad7b342008-12-12 18:31:09 +0000555
556 // Write out the size of PPCond so that clients can identifer empty tables.
Ted Kremenekb978c662009-01-08 01:17:37 +0000557 Emit32(PPCond.size());
Ted Kremenekfc7e2ea2008-12-02 19:44:08 +0000558
Ted Kremenekdad7b342008-12-12 18:31:09 +0000559 for (unsigned i = 0, e = PPCond.size(); i!=e; ++i) {
Ted Kremenekb978c662009-01-08 01:17:37 +0000560 Emit32(PPCond[i].first - off);
Ted Kremenekdad7b342008-12-12 18:31:09 +0000561 uint32_t x = PPCond[i].second;
562 assert(x != 0 && "PPCond entry not backpatched.");
563 // Emit zero for #endifs. This allows us to do checking when
564 // we read the PTH file back in.
Ted Kremenekb978c662009-01-08 01:17:37 +0000565 Emit32(x == i ? 0 : x);
Ted Kremenekfb645b62008-12-11 23:36:38 +0000566 }
567
Ted Kremenek277faca2009-01-27 00:01:05 +0000568 return PCHEntry(off, PPCondOff);
Ted Kremenekbe295332009-01-08 02:44:06 +0000569}
570
Ted Kremenek277faca2009-01-27 00:01:05 +0000571Offset PTHWriter::EmitCachedSpellings() {
572 // Write each cached strings to the PTH file.
573 Offset SpellingsOff = Out.tell();
574
575 for (std::vector<llvm::StringMapEntry<OffsetOpt>*>::iterator
576 I = StrEntries.begin(), E = StrEntries.end(); I!=E; ++I) {
Ted Kremenekbe295332009-01-08 02:44:06 +0000577
Ted Kremenek277faca2009-01-27 00:01:05 +0000578 const char* data = (*I)->getKeyData();
579 EmitBuf(data, data + (*I)->getKeyLength());
580 Emit8('\0');
Ted Kremenekbe295332009-01-08 02:44:06 +0000581 }
582
Ted Kremenek277faca2009-01-27 00:01:05 +0000583 return SpellingsOff;
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000584}
Ted Kremenek85888962008-10-21 00:54:44 +0000585
Ted Kremenekb978c662009-01-08 01:17:37 +0000586void PTHWriter::GeneratePTH() {
Ted Kremeneke1b64982009-01-26 21:43:14 +0000587 // Generate the prologue.
588 Out << "cfe-pth";
Ted Kremenek67d15052009-01-26 21:50:21 +0000589 Emit32(PTHManager::Version);
Ted Kremeneke1b64982009-01-26 21:43:14 +0000590 Offset JumpOffset = Out.tell();
591 Emit32(0);
592
Ted Kremenek85888962008-10-21 00:54:44 +0000593 // Iterate over all the files in SourceManager. Create a lexer
594 // for each file and cache the tokens.
Chris Lattnerc6fe32a2009-01-17 03:48:08 +0000595 SourceManager &SM = PP.getSourceManager();
596 const LangOptions &LOpts = PP.getLangOptions();
Ted Kremenek85888962008-10-21 00:54:44 +0000597
Chris Lattnerc6fe32a2009-01-17 03:48:08 +0000598 for (SourceManager::fileinfo_iterator I = SM.fileinfo_begin(),
599 E = SM.fileinfo_end(); I != E; ++I) {
Chris Lattner0d0bf8c2009-02-03 07:30:45 +0000600 const SrcMgr::ContentCache &C = *I->second;
Chris Lattnerc6fe32a2009-01-17 03:48:08 +0000601 const FileEntry *FE = C.Entry;
Ted Kremenekfc7e2ea2008-12-02 19:44:08 +0000602
603 // FIXME: Handle files with non-absolute paths.
604 llvm::sys::Path P(FE->getName());
605 if (!P.isAbsolute())
606 continue;
Ted Kremenek85888962008-10-21 00:54:44 +0000607
Ted Kremenekd8c02922009-02-10 22:16:22 +0000608 // assert(!PM.count(FE) && "fileinfo's are not uniqued on FileEntry?");
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000609
Chris Lattnerc6fe32a2009-01-17 03:48:08 +0000610 const llvm::MemoryBuffer *B = C.getBuffer();
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000611 if (!B) continue;
Ted Kremenekfb645b62008-12-11 23:36:38 +0000612
Chris Lattner2b2453a2009-01-17 06:22:33 +0000613 FileID FID = SM.createFileID(FE, SourceLocation(), SrcMgr::C_User);
Chris Lattner025c3a62009-01-17 07:35:14 +0000614 Lexer L(FID, SM, LOpts);
Ted Kremenekd8c02922009-02-10 22:16:22 +0000615 PM.insert(FE, LexTokens(L));
Daniel Dunbar31309ab2008-11-26 02:18:33 +0000616 }
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000617
618 // Write out the identifier table.
Ted Kremenekf1de4642009-02-11 16:06:55 +0000619 const std::pair<Offset,Offset>& IdTableOff = EmitIdentifierTable();
Ted Kremenek85888962008-10-21 00:54:44 +0000620
Ted Kremenekbe295332009-01-08 02:44:06 +0000621 // Write out the cached strings table.
Ted Kremenek277faca2009-01-27 00:01:05 +0000622 Offset SpellingOff = EmitCachedSpellings();
Ted Kremenekbe295332009-01-08 02:44:06 +0000623
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000624 // Write out the file table.
Ted Kremenekb978c662009-01-08 01:17:37 +0000625 Offset FileTableOff = EmitFileTable();
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000626
627 // Finally, write out the offset table at the end.
Ted Kremeneke1b64982009-01-26 21:43:14 +0000628 Offset JumpTargetOffset = Out.tell();
Ted Kremenekb978c662009-01-08 01:17:37 +0000629 Emit32(IdTableOff.first);
Ted Kremenekf1de4642009-02-11 16:06:55 +0000630 Emit32(IdTableOff.second);
Ted Kremenekb978c662009-01-08 01:17:37 +0000631 Emit32(FileTableOff);
Ted Kremenek277faca2009-01-27 00:01:05 +0000632 Emit32(SpellingOff);
Ted Kremeneke1b64982009-01-26 21:43:14 +0000633
634 // Now write the offset in the prologue.
635 Out.seek(JumpOffset);
636 Emit32(JumpTargetOffset);
Ted Kremenekb978c662009-01-08 01:17:37 +0000637}
638
639void clang::CacheTokens(Preprocessor& PP, const std::string& OutFile) {
640 // Lex through the entire file. This will populate SourceManager with
641 // all of the header information.
642 Token Tok;
643 PP.EnterMainSourceFile();
644 do { PP.Lex(Tok); } while (Tok.isNot(tok::eof));
645
646 // Open up the PTH file.
647 std::string ErrMsg;
648 llvm::raw_fd_ostream Out(OutFile.c_str(), true, ErrMsg);
649
650 if (!ErrMsg.empty()) {
651 llvm::errs() << "PTH error: " << ErrMsg << "\n";
652 return;
653 }
654
655 // Create the PTHWriter and generate the PTH file.
656 PTHWriter PW(Out, PP);
657 PW.GeneratePTH();
Ted Kremenek85888962008-10-21 00:54:44 +0000658}
Ted Kremeneke0ea5dc2009-02-10 01:06:17 +0000659