blob: d36b0b4c88127756b68c2430ea311150363e391f [file] [log] [blame]
Ted Kremenek792b2c42009-02-13 19:13:46 +00001//===--- CacheTokens.cpp - Caching of lexer tokens for PTH support --------===//
Ted Kremenek71c6cc62008-10-21 00:54:44 +00002//
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//
Ted Kremenek792b2c42009-02-13 19:13:46 +000010// This provides a possible implementation of PTH support for Clang that is
Ted Kremenek71c6cc62008-10-21 00:54:44 +000011// 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 Kremenek2e395562009-01-08 02:44:06 +000022#include "llvm/ADT/StringMap.h"
Ted Kremenek71c6cc62008-10-21 00:54:44 +000023#include "llvm/Support/MemoryBuffer.h"
24#include "llvm/Support/raw_ostream.h"
Ted Kremenek62739d62008-12-02 19:44:08 +000025#include "llvm/System/Path.h"
Ted Kremenek40291882009-01-08 01:17:37 +000026#include "llvm/Support/Compiler.h"
Ted Kremenekd976c3d2009-01-15 18:47:46 +000027#include "llvm/Support/Streams.h"
Ted Kremenek71c6cc62008-10-21 00:54:44 +000028
Cédric Venetc47ed4a2009-02-14 16:15:20 +000029// FIXME: put this somewhere else?
30#ifndef S_ISDIR
31#define S_ISDIR(x) (((x)&_S_IFDIR)!=0)
32#endif
33
Ted Kremenek71c6cc62008-10-21 00:54:44 +000034using namespace clang;
35
Ted Kremenek62739d62008-12-02 19:44:08 +000036typedef uint32_t Offset;
37
Ted Kremenek76c0fc42009-02-10 01:06:17 +000038static void Emit8(llvm::raw_ostream& Out, uint32_t V) {
39 Out << (unsigned char)(V);
40}
41
42static void Emit16(llvm::raw_ostream& Out, uint32_t V) {
43 Out << (unsigned char)(V);
44 Out << (unsigned char)(V >> 8);
45 assert((V >> 16) == 0);
46}
47
48static void Emit32(llvm::raw_ostream& Out, uint32_t V) {
49 Out << (unsigned char)(V);
50 Out << (unsigned char)(V >> 8);
51 Out << (unsigned char)(V >> 16);
52 Out << (unsigned char)(V >> 24);
53}
54
Ted Kremenek40003a72009-02-12 03:26:59 +000055static void Emit64(llvm::raw_ostream& Out, uint64_t V) {
56 Out << (unsigned char)(V);
57 Out << (unsigned char)(V >> 8);
58 Out << (unsigned char)(V >> 16);
59 Out << (unsigned char)(V >> 24);
60 Out << (unsigned char)(V >> 32);
61 Out << (unsigned char)(V >> 40);
62 Out << (unsigned char)(V >> 48);
63 Out << (unsigned char)(V >> 56);
64}
65
Ted Kremenekab6c4882009-02-10 22:16:22 +000066static void Pad(llvm::raw_fd_ostream& Out, unsigned A) {
67 Offset off = (Offset) Out.tell();
68 uint32_t n = ((uintptr_t)(off+A-1) & ~(uintptr_t)(A-1)) - off;
69 for ( ; n ; --n ) Emit8(Out, 0);
Ted Kremenek76c0fc42009-02-10 01:06:17 +000070}
71
Ted Kremenekbd5374b2009-02-11 21:29:16 +000072// Bernstein hash function:
73// This is basically copy-and-paste from StringMap. This likely won't
74// stay here, which is why I didn't both to expose this function from
75// String Map.
76static unsigned BernsteinHash(const char* x) {
77 unsigned int R = 0;
78 for ( ; *x != '\0' ; ++x) R = R * 33 + *x;
79 return R + (R >> 5);
80}
81
Ted Kremenekeedc6e92009-02-10 01:14:45 +000082//===----------------------------------------------------------------------===//
83// On Disk Hashtable Logic. This will eventually get refactored and put
84// elsewhere.
85//===----------------------------------------------------------------------===//
86
87template<typename Info>
88class OnDiskChainedHashTableGenerator {
89 unsigned NumBuckets;
90 unsigned NumEntries;
91 llvm::BumpPtrAllocator BA;
92
93 class Item {
94 public:
Ted Kremenekab6c4882009-02-10 22:16:22 +000095 typename Info::key_type key;
96 typename Info::data_type data;
Ted Kremenekeedc6e92009-02-10 01:14:45 +000097 Item *next;
98 const uint32_t hash;
99
Ted Kremenekab6c4882009-02-10 22:16:22 +0000100 Item(typename Info::key_type_ref k, typename Info::data_type_ref d)
101 : key(k), data(d), next(0), hash(Info::ComputeHash(k)) {}
Ted Kremenekeedc6e92009-02-10 01:14:45 +0000102 };
103
104 class Bucket {
105 public:
106 Offset off;
107 Item* head;
108 unsigned length;
109
110 Bucket() {}
111 };
112
113 Bucket* Buckets;
114
115private:
Ted Kremenekab6c4882009-02-10 22:16:22 +0000116 void insert(Bucket* b, size_t size, Item* E) {
Ted Kremenekeedc6e92009-02-10 01:14:45 +0000117 unsigned idx = E->hash & (size - 1);
118 Bucket& B = b[idx];
119 E->next = B.head;
120 ++B.length;
121 B.head = E;
122 }
123
124 void resize(size_t newsize) {
Ted Kremenekab6c4882009-02-10 22:16:22 +0000125 Bucket* newBuckets = (Bucket*) calloc(newsize, sizeof(Bucket));
126 // Populate newBuckets with the old entries.
Ted Kremenekeedc6e92009-02-10 01:14:45 +0000127 for (unsigned i = 0; i < NumBuckets; ++i)
Ted Kremenekab6c4882009-02-10 22:16:22 +0000128 for (Item* E = Buckets[i].head; E ; ) {
Ted Kremenekeedc6e92009-02-10 01:14:45 +0000129 Item* N = E->next;
Ted Kremenekab6c4882009-02-10 22:16:22 +0000130 E->next = 0;
Ted Kremenekeedc6e92009-02-10 01:14:45 +0000131 insert(newBuckets, newsize, E);
132 E = N;
133 }
134
135 free(Buckets);
136 NumBuckets = newsize;
137 Buckets = newBuckets;
138 }
139
140public:
141
Ted Kremenekab6c4882009-02-10 22:16:22 +0000142 void insert(typename Info::key_type_ref key,
143 typename Info::data_type_ref data) {
144
Ted Kremenekeedc6e92009-02-10 01:14:45 +0000145 ++NumEntries;
146 if (4*NumEntries >= 3*NumBuckets) resize(NumBuckets*2);
147 insert(Buckets, NumBuckets, new (BA.Allocate<Item>()) Item(key, data));
148 }
149
150 Offset Emit(llvm::raw_fd_ostream& out) {
151 // Emit the payload of the table.
152 for (unsigned i = 0; i < NumBuckets; ++i) {
153 Bucket& B = Buckets[i];
154 if (!B.head) continue;
155
156 // Store the offset for the data of this bucket.
Ted Kremenekeedc6e92009-02-10 01:14:45 +0000157 B.off = out.tell();
158
Ted Kremenekab6c4882009-02-10 22:16:22 +0000159 // Write out the number of items in the bucket.
160 Emit16(out, B.length);
Ted Kremenekeedc6e92009-02-10 01:14:45 +0000161
162 // Write out the entries in the bucket.
163 for (Item *I = B.head; I ; I = I->next) {
164 Emit32(out, I->hash);
Ted Kremenekab6c4882009-02-10 22:16:22 +0000165 const std::pair<unsigned, unsigned>& Len =
166 Info::EmitKeyDataLength(out, I->key, I->data);
167 Info::EmitKey(out, I->key, Len.first);
Ted Kremenek40003a72009-02-12 03:26:59 +0000168 Info::EmitData(out, I->key, I->data, Len.second);
Ted Kremenekeedc6e92009-02-10 01:14:45 +0000169 }
170 }
171
172 // Emit the hashtable itself.
173 Pad(out, 4);
174 Offset TableOff = out.tell();
Ted Kremenekab6c4882009-02-10 22:16:22 +0000175 Emit32(out, NumBuckets);
176 Emit32(out, NumEntries);
Ted Kremenekeedc6e92009-02-10 01:14:45 +0000177 for (unsigned i = 0; i < NumBuckets; ++i) Emit32(out, Buckets[i].off);
178
179 return TableOff;
180 }
181
182 OnDiskChainedHashTableGenerator() {
183 NumEntries = 0;
Ted Kremenekab6c4882009-02-10 22:16:22 +0000184 NumBuckets = 64;
185 // Note that we do not need to run the constructors of the individual
186 // Bucket objects since 'calloc' returns bytes that are all 0.
187 Buckets = (Bucket*) calloc(NumBuckets, sizeof(Bucket));
Ted Kremenekeedc6e92009-02-10 01:14:45 +0000188 }
189
190 ~OnDiskChainedHashTableGenerator() {
191 free(Buckets);
192 }
193};
194
195//===----------------------------------------------------------------------===//
196// PTH-specific stuff.
197//===----------------------------------------------------------------------===//
198
Ted Kremenek2e395562009-01-08 02:44:06 +0000199namespace {
Ted Kremenek792b2c42009-02-13 19:13:46 +0000200class VISIBILITY_HIDDEN PTHEntry {
Ted Kremenek2e395562009-01-08 02:44:06 +0000201 Offset TokenData, PPCondData;
Ted Kremenek2e395562009-01-08 02:44:06 +0000202
203public:
Ted Kremenek792b2c42009-02-13 19:13:46 +0000204 PTHEntry() {}
Ted Kremenek2e395562009-01-08 02:44:06 +0000205
Ted Kremenek792b2c42009-02-13 19:13:46 +0000206 PTHEntry(Offset td, Offset ppcd)
Ted Kremenek562db7f2009-01-27 00:01:05 +0000207 : TokenData(td), PPCondData(ppcd) {}
Ted Kremenek2e395562009-01-08 02:44:06 +0000208
Ted Kremenek562db7f2009-01-27 00:01:05 +0000209 Offset getTokenOffset() const { return TokenData; }
Ted Kremenek2e395562009-01-08 02:44:06 +0000210 Offset getPPCondTableOffset() const { return PPCondData; }
Ted Kremenek562db7f2009-01-27 00:01:05 +0000211};
Ted Kremenek2e395562009-01-08 02:44:06 +0000212
Ted Kremenek792b2c42009-02-13 19:13:46 +0000213
214class VISIBILITY_HIDDEN PTHEntryKeyVariant {
Ted Kremenek7da401a2009-02-13 22:07:44 +0000215 union { const FileEntry* FE; const char* Path; };
Ted Kremenek792b2c42009-02-13 19:13:46 +0000216 enum { IsFE = 0x1, IsDE = 0x2, IsNoExist = 0x0 } Kind;
Ted Kremenek7da401a2009-02-13 22:07:44 +0000217 struct stat *StatBuf;
Ted Kremenekab6c4882009-02-10 22:16:22 +0000218public:
Ted Kremenek7da401a2009-02-13 22:07:44 +0000219 PTHEntryKeyVariant(const FileEntry *fe)
220 : FE(fe), Kind(IsFE), StatBuf(0) {}
221
222 PTHEntryKeyVariant(struct stat* statbuf, const char* path)
223 : Path(path), Kind(IsDE), StatBuf(new struct stat(*statbuf)) {}
224
225 PTHEntryKeyVariant(const char* path)
226 : Path(path), Kind(IsNoExist), StatBuf(0) {}
Ted Kremenek792b2c42009-02-13 19:13:46 +0000227
Ted Kremenek7da401a2009-02-13 22:07:44 +0000228 bool isFile() const { return Kind == IsFE; }
Ted Kremenek792b2c42009-02-13 19:13:46 +0000229
230 const char* getCString() const {
Ted Kremenek7da401a2009-02-13 22:07:44 +0000231 return Kind == IsFE ? FE->getName() : Path;
Ted Kremenek792b2c42009-02-13 19:13:46 +0000232 }
233
234 unsigned getKind() const { return (unsigned) Kind; }
235
236 void EmitData(llvm::raw_ostream& Out) {
237 switch (Kind) {
238 case IsFE:
239 // Emit stat information.
240 ::Emit32(Out, FE->getInode());
241 ::Emit32(Out, FE->getDevice());
242 ::Emit16(Out, FE->getFileMode());
243 ::Emit64(Out, FE->getModificationTime());
244 ::Emit64(Out, FE->getSize());
245 break;
246 case IsDE:
Ted Kremenek7da401a2009-02-13 22:07:44 +0000247 // Emit stat information.
248 ::Emit32(Out, (uint32_t) StatBuf->st_ino);
249 ::Emit32(Out, (uint32_t) StatBuf->st_dev);
250 ::Emit16(Out, (uint16_t) StatBuf->st_mode);
251 ::Emit64(Out, (uint64_t) StatBuf->st_mtime);
252 ::Emit64(Out, (uint64_t) StatBuf->st_size);
253 delete StatBuf;
254 break;
255 default:
256 break;
Ted Kremenek792b2c42009-02-13 19:13:46 +0000257 }
258 }
259
260 unsigned getRepresentationLength() const {
Ted Kremenek7da401a2009-02-13 22:07:44 +0000261 return Kind == IsNoExist ? 0 : 4 + 4 + 2 + 8 + 8;
Ted Kremenek792b2c42009-02-13 19:13:46 +0000262 }
263};
264
265class VISIBILITY_HIDDEN FileEntryPTHEntryInfo {
266public:
267 typedef PTHEntryKeyVariant key_type;
Ted Kremenekab6c4882009-02-10 22:16:22 +0000268 typedef key_type key_type_ref;
269
Ted Kremenek792b2c42009-02-13 19:13:46 +0000270 typedef PTHEntry data_type;
271 typedef const PTHEntry& data_type_ref;
Ted Kremenekab6c4882009-02-10 22:16:22 +0000272
Ted Kremenek792b2c42009-02-13 19:13:46 +0000273 static unsigned ComputeHash(PTHEntryKeyVariant V) {
274 return BernsteinHash(V.getCString());
Ted Kremenekab6c4882009-02-10 22:16:22 +0000275 }
276
277 static std::pair<unsigned,unsigned>
Ted Kremenek792b2c42009-02-13 19:13:46 +0000278 EmitKeyDataLength(llvm::raw_ostream& Out, PTHEntryKeyVariant V,
279 const PTHEntry& E) {
Ted Kremenekab6c4882009-02-10 22:16:22 +0000280
Ted Kremenek792b2c42009-02-13 19:13:46 +0000281 unsigned n = strlen(V.getCString()) + 1 + 1;
Ted Kremenekab6c4882009-02-10 22:16:22 +0000282 ::Emit16(Out, n);
Ted Kremenek792b2c42009-02-13 19:13:46 +0000283
Ted Kremenek7da401a2009-02-13 22:07:44 +0000284 unsigned m = V.getRepresentationLength() + (V.isFile() ? 4 + 4 : 0);
Ted Kremenek792b2c42009-02-13 19:13:46 +0000285 ::Emit8(Out, m);
286
287 return std::make_pair(n, m);
Ted Kremenekab6c4882009-02-10 22:16:22 +0000288 }
289
Ted Kremenek792b2c42009-02-13 19:13:46 +0000290 static void EmitKey(llvm::raw_ostream& Out, PTHEntryKeyVariant V, unsigned n){
291 // Emit the entry kind.
292 ::Emit8(Out, (unsigned) V.getKind());
293 // Emit the string.
294 Out.write(V.getCString(), n - 1);
Ted Kremenekab6c4882009-02-10 22:16:22 +0000295 }
296
Ted Kremenek792b2c42009-02-13 19:13:46 +0000297 static void EmitData(llvm::raw_ostream& Out, PTHEntryKeyVariant V,
298 const PTHEntry& E, unsigned) {
299
300
301 // For file entries emit the offsets into the PTH file for token data
302 // and the preprocessor blocks table.
Ted Kremenek7da401a2009-02-13 22:07:44 +0000303 if (V.isFile()) {
Ted Kremenek792b2c42009-02-13 19:13:46 +0000304 ::Emit32(Out, E.getTokenOffset());
305 ::Emit32(Out, E.getPPCondTableOffset());
306 }
307
308 // Emit any other data associated with the key (i.e., stat information).
309 V.EmitData(Out);
Ted Kremenekab6c4882009-02-10 22:16:22 +0000310 }
311};
312
Ted Kremenek562db7f2009-01-27 00:01:05 +0000313class OffsetOpt {
314 bool valid;
315 Offset off;
316public:
317 OffsetOpt() : valid(false) {}
318 bool hasOffset() const { return valid; }
319 Offset getOffset() const { assert(valid); return off; }
320 void setOffset(Offset o) { off = o; valid = true; }
Ted Kremenek2e395562009-01-08 02:44:06 +0000321};
322} // end anonymous namespace
323
Ted Kremenek792b2c42009-02-13 19:13:46 +0000324typedef OnDiskChainedHashTableGenerator<FileEntryPTHEntryInfo> PTHMap;
Ted Kremenek62739d62008-12-02 19:44:08 +0000325typedef llvm::DenseMap<const IdentifierInfo*,uint32_t> IDMap;
Ted Kremenek562db7f2009-01-27 00:01:05 +0000326typedef llvm::StringMap<OffsetOpt, llvm::BumpPtrAllocator> CachedStrsTy;
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000327
Ted Kremenek40291882009-01-08 01:17:37 +0000328namespace {
329class VISIBILITY_HIDDEN PTHWriter {
330 IDMap IM;
331 llvm::raw_fd_ostream& Out;
332 Preprocessor& PP;
333 uint32_t idcount;
Ted Kremenek792b2c42009-02-13 19:13:46 +0000334 PTHMap PM;
Ted Kremenek2e395562009-01-08 02:44:06 +0000335 CachedStrsTy CachedStrs;
Ted Kremenek562db7f2009-01-27 00:01:05 +0000336 Offset CurStrOffset;
337 std::vector<llvm::StringMapEntry<OffsetOpt>*> StrEntries;
Ted Kremenekd2c4abb2008-12-23 02:52:12 +0000338
Ted Kremenek40291882009-01-08 01:17:37 +0000339 //// Get the persistent id for the given IdentifierInfo*.
340 uint32_t ResolveID(const IdentifierInfo* II);
Ted Kremenek62739d62008-12-02 19:44:08 +0000341
Ted Kremenek40291882009-01-08 01:17:37 +0000342 /// Emit a token to the PTH file.
343 void EmitToken(const Token& T);
344
345 void Emit8(uint32_t V) {
346 Out << (unsigned char)(V);
347 }
348
Ted Kremenek76c0fc42009-02-10 01:06:17 +0000349 void Emit16(uint32_t V) { ::Emit16(Out, V); }
Ted Kremenek40291882009-01-08 01:17:37 +0000350
351 void Emit24(uint32_t V) {
352 Out << (unsigned char)(V);
353 Out << (unsigned char)(V >> 8);
354 Out << (unsigned char)(V >> 16);
355 assert((V >> 24) == 0);
356 }
357
Ted Kremenek76c0fc42009-02-10 01:06:17 +0000358 void Emit32(uint32_t V) { ::Emit32(Out, V); }
359
Ted Kremenek40291882009-01-08 01:17:37 +0000360 void EmitBuf(const char* I, const char* E) {
361 for ( ; I != E ; ++I) Out << *I;
362 }
363
Ted Kremenekbd5374b2009-02-11 21:29:16 +0000364 /// EmitIdentifierTable - Emits two tables to the PTH file. The first is
365 /// a hashtable mapping from identifier strings to persistent IDs.
366 /// The second is a straight table mapping from persistent IDs to string data
367 /// (the keys of the first table).
Ted Kremenekc4a1cf62009-02-11 16:06:55 +0000368 std::pair<Offset, Offset> EmitIdentifierTable();
369
370 /// EmitFileTable - Emit a table mapping from file name strings to PTH
371 /// token data.
372 Offset EmitFileTable() { return PM.Emit(Out); }
373
Ted Kremenek792b2c42009-02-13 19:13:46 +0000374 PTHEntry LexTokens(Lexer& L);
Ted Kremenek562db7f2009-01-27 00:01:05 +0000375 Offset EmitCachedSpellings();
Ted Kremenek7da401a2009-02-13 22:07:44 +0000376
377 /// StatListener - A simple "interpose" object used to monitor stat calls
378 /// invoked by FileManager while processing the original sources used
379 /// as input to PTH generation. StatListener populates the PTHWriter's
380 /// file map with stat information for directories as well as negative stats.
381 /// Stat information for files are populated elsewhere.
382 class StatListener : public StatSysCallCache {
383 PTHMap& PM;
384 public:
385 StatListener(PTHMap& pm) : PM(pm) {}
386 ~StatListener() {}
387
388 int stat(const char *path, struct stat *buf) {
389 int result = ::stat(path, buf);
390
391 if (result != 0) // Failed 'stat'.
392 PM.insert(path, PTHEntry());
393 else if (S_ISDIR(buf->st_mode)) {
394 // Only cache directories with absolute paths.
395 if (!llvm::sys::Path(path).isAbsolute())
396 return result;
397
398 PM.insert(PTHEntryKeyVariant(buf, path), PTHEntry());
399 }
400
401 return result;
402 }
403 };
Ted Kremenek2e395562009-01-08 02:44:06 +0000404
Ted Kremenek40291882009-01-08 01:17:37 +0000405public:
406 PTHWriter(llvm::raw_fd_ostream& out, Preprocessor& pp)
Ted Kremenek562db7f2009-01-27 00:01:05 +0000407 : Out(out), PP(pp), idcount(0), CurStrOffset(0) {}
Ted Kremenek40291882009-01-08 01:17:37 +0000408
409 void GeneratePTH();
Ted Kremenek7da401a2009-02-13 22:07:44 +0000410
411 StatSysCallCache *createStatListener() {
412 return new StatListener(PM);
413 }
Ted Kremenek40291882009-01-08 01:17:37 +0000414};
415} // end anonymous namespace
416
417uint32_t PTHWriter::ResolveID(const IdentifierInfo* II) {
Ted Kremenek62739d62008-12-02 19:44:08 +0000418 // Null IdentifierInfo's map to the persistent ID 0.
419 if (!II)
420 return 0;
421
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000422 IDMap::iterator I = IM.find(II);
423
424 if (I == IM.end()) {
Ted Kremenek40291882009-01-08 01:17:37 +0000425 IM[II] = ++idcount; // Pre-increment since '0' is reserved for NULL.
426 return idcount;
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000427 }
428
Ted Kremenek62739d62008-12-02 19:44:08 +0000429 return I->second; // We've already added 1.
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000430}
431
Ted Kremenek40291882009-01-08 01:17:37 +0000432void PTHWriter::EmitToken(const Token& T) {
Ted Kremenek89d27002009-02-20 20:32:39 +0000433 // When writing out the token data for literals, clear the NeedsCleaning flag.
434 uint32_t CleaningMask = T.isLiteral() ? ~((uint32_t)Token::NeedsCleaning):~0U;
435
436 // Emit the token kind, flags, and length.
Ted Kremenekb8344ef2009-01-19 23:13:15 +0000437 Emit32(((uint32_t) T.getKind()) |
Ted Kremenek89d27002009-02-20 20:32:39 +0000438 ((((uint32_t) T.getFlags()) & CleaningMask) << 8)|
Ted Kremenekb8344ef2009-01-19 23:13:15 +0000439 (((uint32_t) T.getLength()) << 16));
Ted Kremenek562db7f2009-01-27 00:01:05 +0000440
Chris Lattner6ad1f502009-01-26 19:29:26 +0000441 // Literals (strings, numbers, characters) get cached spellings.
442 if (T.isLiteral()) {
443 // FIXME: This uses the slow getSpelling(). Perhaps we do better
444 // in the future? This only slows down PTH generation.
445 const std::string &spelling = PP.getSpelling(T);
446 const char* s = spelling.c_str();
447
448 // Get the string entry.
Ted Kremenek562db7f2009-01-27 00:01:05 +0000449 llvm::StringMapEntry<OffsetOpt> *E =
Ted Kremenek89d27002009-02-20 20:32:39 +0000450 &CachedStrs.GetOrCreateValue(s, s+spelling.size());
Ted Kremenek562db7f2009-01-27 00:01:05 +0000451
452 if (!E->getValue().hasOffset()) {
453 E->getValue().setOffset(CurStrOffset);
454 StrEntries.push_back(E);
455 CurStrOffset += spelling.size() + 1;
456 }
457
458 Emit32(E->getValue().getOffset());
Ted Kremenek40291882009-01-08 01:17:37 +0000459 }
Ted Kremenek562db7f2009-01-27 00:01:05 +0000460 else
461 Emit32(ResolveID(T.getIdentifierInfo()));
462
Chris Lattnercbb2bd42009-01-27 06:27:13 +0000463 Emit32(PP.getSourceManager().getFileOffset(T.getLocation()));
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000464}
465
Ted Kremenek792b2c42009-02-13 19:13:46 +0000466PTHEntry PTHWriter::LexTokens(Lexer& L) {
Ted Kremenekb8344ef2009-01-19 23:13:15 +0000467 // Pad 0's so that we emit tokens to a 4-byte alignment.
468 // This speed up reading them back in.
Ted Kremenek76c0fc42009-02-10 01:06:17 +0000469 Pad(Out, 4);
470 Offset off = (Offset) Out.tell();
Ted Kremenek8309c922008-12-11 23:36:38 +0000471
472 // Keep track of matching '#if' ... '#endif'.
473 typedef std::vector<std::pair<Offset, unsigned> > PPCondTable;
474 PPCondTable PPCond;
Ted Kremenek0b5038d2008-12-12 18:31:09 +0000475 std::vector<unsigned> PPStartCond;
Ted Kremenek9ab79bf2008-12-23 01:30:52 +0000476 bool ParsingPreprocessorDirective = false;
Ted Kremenekd330ec12008-11-26 03:36:26 +0000477 Token Tok;
478
479 do {
480 L.LexFromRawLexer(Tok);
Ted Kremenekd3c5c3a2009-02-10 22:43:16 +0000481 NextToken:
482
Ted Kremenek9ab79bf2008-12-23 01:30:52 +0000483 if ((Tok.isAtStartOfLine() || Tok.is(tok::eof)) &&
484 ParsingPreprocessorDirective) {
485 // Insert an eom token into the token cache. It has the same
486 // position as the next token that is not on the same line as the
487 // preprocessor directive. Observe that we continue processing
488 // 'Tok' when we exit this branch.
489 Token Tmp = Tok;
490 Tmp.setKind(tok::eom);
491 Tmp.clearFlag(Token::StartOfLine);
492 Tmp.setIdentifierInfo(0);
Ted Kremenek40291882009-01-08 01:17:37 +0000493 EmitToken(Tmp);
Ted Kremenek9ab79bf2008-12-23 01:30:52 +0000494 ParsingPreprocessorDirective = false;
495 }
496
Ted Kremenekd330ec12008-11-26 03:36:26 +0000497 if (Tok.is(tok::identifier)) {
498 Tok.setIdentifierInfo(PP.LookUpIdentifierInfo(Tok));
Ted Kremenek08c90522009-02-10 22:27:09 +0000499 EmitToken(Tok);
Ted Kremenek9ab79bf2008-12-23 01:30:52 +0000500 continue;
Ted Kremenekd330ec12008-11-26 03:36:26 +0000501 }
Ted Kremenek9ab79bf2008-12-23 01:30:52 +0000502
503 if (Tok.is(tok::hash) && Tok.isAtStartOfLine()) {
Ted Kremenekd330ec12008-11-26 03:36:26 +0000504 // Special processing for #include. Store the '#' token and lex
505 // the next token.
Ted Kremenek9ab79bf2008-12-23 01:30:52 +0000506 assert(!ParsingPreprocessorDirective);
Ted Kremenek8309c922008-12-11 23:36:38 +0000507 Offset HashOff = (Offset) Out.tell();
Ted Kremenek40291882009-01-08 01:17:37 +0000508 EmitToken(Tok);
Ted Kremenek0b5038d2008-12-12 18:31:09 +0000509
510 // Get the next token.
Ted Kremenekd330ec12008-11-26 03:36:26 +0000511 L.LexFromRawLexer(Tok);
Ted Kremenek9ab79bf2008-12-23 01:30:52 +0000512
513 assert(!Tok.isAtStartOfLine());
Ted Kremenekd330ec12008-11-26 03:36:26 +0000514
515 // Did we see 'include'/'import'/'include_next'?
Ted Kremenek08c90522009-02-10 22:27:09 +0000516 if (!Tok.is(tok::identifier)) {
517 EmitToken(Tok);
Ted Kremenekd330ec12008-11-26 03:36:26 +0000518 continue;
Ted Kremenek08c90522009-02-10 22:27:09 +0000519 }
Ted Kremenekd330ec12008-11-26 03:36:26 +0000520
521 IdentifierInfo* II = PP.LookUpIdentifierInfo(Tok);
522 Tok.setIdentifierInfo(II);
523 tok::PPKeywordKind K = II->getPPKeywordID();
524
Ted Kremenek9ab79bf2008-12-23 01:30:52 +0000525 assert(K != tok::pp_not_keyword);
526 ParsingPreprocessorDirective = true;
527
528 switch (K) {
529 default:
530 break;
531 case tok::pp_include:
532 case tok::pp_import:
533 case tok::pp_include_next: {
Ted Kremenekd330ec12008-11-26 03:36:26 +0000534 // Save the 'include' token.
Ted Kremenek40291882009-01-08 01:17:37 +0000535 EmitToken(Tok);
Ted Kremenekd330ec12008-11-26 03:36:26 +0000536 // Lex the next token as an include string.
537 L.setParsingPreprocessorDirective(true);
538 L.LexIncludeFilename(Tok);
539 L.setParsingPreprocessorDirective(false);
Ted Kremenek9ab79bf2008-12-23 01:30:52 +0000540 assert(!Tok.isAtStartOfLine());
Ted Kremenekd330ec12008-11-26 03:36:26 +0000541 if (Tok.is(tok::identifier))
542 Tok.setIdentifierInfo(PP.LookUpIdentifierInfo(Tok));
Ted Kremenek9ab79bf2008-12-23 01:30:52 +0000543
544 break;
Ted Kremenekd330ec12008-11-26 03:36:26 +0000545 }
Ted Kremenek9ab79bf2008-12-23 01:30:52 +0000546 case tok::pp_if:
547 case tok::pp_ifdef:
548 case tok::pp_ifndef: {
Ted Kremenek08c90522009-02-10 22:27:09 +0000549 // Add an entry for '#if' and friends. We initially set the target
550 // index to 0. This will get backpatched when we hit #endif.
Ted Kremenek8309c922008-12-11 23:36:38 +0000551 PPStartCond.push_back(PPCond.size());
Ted Kremenek0b5038d2008-12-12 18:31:09 +0000552 PPCond.push_back(std::make_pair(HashOff, 0U));
Ted Kremenek9ab79bf2008-12-23 01:30:52 +0000553 break;
Ted Kremenek8309c922008-12-11 23:36:38 +0000554 }
Ted Kremenek9ab79bf2008-12-23 01:30:52 +0000555 case tok::pp_endif: {
Ted Kremenek8309c922008-12-11 23:36:38 +0000556 // Add an entry for '#endif'. We set the target table index to itself.
Ted Kremenek0b5038d2008-12-12 18:31:09 +0000557 // This will later be set to zero when emitting to the PTH file. We
558 // use 0 for uninitialized indices because that is easier to debug.
Ted Kremenek8309c922008-12-11 23:36:38 +0000559 unsigned index = PPCond.size();
Ted Kremenek8309c922008-12-11 23:36:38 +0000560 // Backpatch the opening '#if' entry.
Ted Kremenek0b5038d2008-12-12 18:31:09 +0000561 assert(!PPStartCond.empty());
562 assert(PPCond.size() > PPStartCond.back());
Ted Kremenek8309c922008-12-11 23:36:38 +0000563 assert(PPCond[PPStartCond.back()].second == 0);
564 PPCond[PPStartCond.back()].second = index;
565 PPStartCond.pop_back();
Ted Kremenek0b5038d2008-12-12 18:31:09 +0000566 // Add the new entry to PPCond.
567 PPCond.push_back(std::make_pair(HashOff, index));
Ted Kremenekd3c5c3a2009-02-10 22:43:16 +0000568 EmitToken(Tok);
569
570 // Some files have gibberish on the same line as '#endif'.
571 // Discard these tokens.
572 do L.LexFromRawLexer(Tok); while (!Tok.is(tok::eof) &&
573 !Tok.isAtStartOfLine());
574 // We have the next token in hand.
575 // Don't immediately lex the next one.
576 goto NextToken;
Ted Kremenek8309c922008-12-11 23:36:38 +0000577 }
Ted Kremenek9ab79bf2008-12-23 01:30:52 +0000578 case tok::pp_elif:
579 case tok::pp_else: {
580 // Add an entry for #elif or #else.
Ted Kremenek0b5038d2008-12-12 18:31:09 +0000581 // This serves as both a closing and opening of a conditional block.
582 // This means that its entry will get backpatched later.
Ted Kremenek8309c922008-12-11 23:36:38 +0000583 unsigned index = PPCond.size();
Ted Kremenek8309c922008-12-11 23:36:38 +0000584 // Backpatch the previous '#if' entry.
Ted Kremenek0b5038d2008-12-12 18:31:09 +0000585 assert(!PPStartCond.empty());
586 assert(PPCond.size() > PPStartCond.back());
Ted Kremenek8309c922008-12-11 23:36:38 +0000587 assert(PPCond[PPStartCond.back()].second == 0);
588 PPCond[PPStartCond.back()].second = index;
589 PPStartCond.pop_back();
590 // Now add '#elif' as a new block opening.
Ted Kremenek0b5038d2008-12-12 18:31:09 +0000591 PPCond.push_back(std::make_pair(HashOff, 0U));
592 PPStartCond.push_back(index);
Ted Kremenek9ab79bf2008-12-23 01:30:52 +0000593 break;
594 }
Ted Kremenek8309c922008-12-11 23:36:38 +0000595 }
Ted Kremenek08c90522009-02-10 22:27:09 +0000596 }
597
598 EmitToken(Tok);
Ted Kremenekd330ec12008-11-26 03:36:26 +0000599 }
Ted Kremenek08c90522009-02-10 22:27:09 +0000600 while (Tok.isNot(tok::eof));
Ted Kremenek40291882009-01-08 01:17:37 +0000601
Ted Kremenek0b5038d2008-12-12 18:31:09 +0000602 assert(PPStartCond.empty() && "Error: imblanced preprocessor conditionals.");
Ted Kremenek40291882009-01-08 01:17:37 +0000603
Ted Kremenek8309c922008-12-11 23:36:38 +0000604 // Next write out PPCond.
605 Offset PPCondOff = (Offset) Out.tell();
Ted Kremenek0b5038d2008-12-12 18:31:09 +0000606
607 // Write out the size of PPCond so that clients can identifer empty tables.
Ted Kremenek40291882009-01-08 01:17:37 +0000608 Emit32(PPCond.size());
Ted Kremenek62739d62008-12-02 19:44:08 +0000609
Ted Kremenek0b5038d2008-12-12 18:31:09 +0000610 for (unsigned i = 0, e = PPCond.size(); i!=e; ++i) {
Ted Kremenek40291882009-01-08 01:17:37 +0000611 Emit32(PPCond[i].first - off);
Ted Kremenek0b5038d2008-12-12 18:31:09 +0000612 uint32_t x = PPCond[i].second;
613 assert(x != 0 && "PPCond entry not backpatched.");
614 // Emit zero for #endifs. This allows us to do checking when
615 // we read the PTH file back in.
Ted Kremenek40291882009-01-08 01:17:37 +0000616 Emit32(x == i ? 0 : x);
Ted Kremenek8309c922008-12-11 23:36:38 +0000617 }
618
Ted Kremenek792b2c42009-02-13 19:13:46 +0000619 return PTHEntry(off, PPCondOff);
Ted Kremenek2e395562009-01-08 02:44:06 +0000620}
621
Ted Kremenek562db7f2009-01-27 00:01:05 +0000622Offset PTHWriter::EmitCachedSpellings() {
623 // Write each cached strings to the PTH file.
624 Offset SpellingsOff = Out.tell();
625
626 for (std::vector<llvm::StringMapEntry<OffsetOpt>*>::iterator
627 I = StrEntries.begin(), E = StrEntries.end(); I!=E; ++I) {
Ted Kremenek2e395562009-01-08 02:44:06 +0000628
Ted Kremenek562db7f2009-01-27 00:01:05 +0000629 const char* data = (*I)->getKeyData();
630 EmitBuf(data, data + (*I)->getKeyLength());
631 Emit8('\0');
Ted Kremenek2e395562009-01-08 02:44:06 +0000632 }
633
Ted Kremenek562db7f2009-01-27 00:01:05 +0000634 return SpellingsOff;
Ted Kremenekd330ec12008-11-26 03:36:26 +0000635}
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000636
Ted Kremenek40291882009-01-08 01:17:37 +0000637void PTHWriter::GeneratePTH() {
Ted Kremenek58b9f932009-01-26 21:43:14 +0000638 // Generate the prologue.
639 Out << "cfe-pth";
Ted Kremenek169fc352009-01-26 21:50:21 +0000640 Emit32(PTHManager::Version);
Ted Kremenekbe3f0782009-02-11 23:34:32 +0000641
642 // Leave 4 words for the prologue.
643 Offset PrologueOffset = Out.tell();
644 for (unsigned i = 0; i < 4 * sizeof(uint32_t); ++i) Emit8(0);
Ted Kremenek58b9f932009-01-26 21:43:14 +0000645
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000646 // Iterate over all the files in SourceManager. Create a lexer
647 // for each file and cache the tokens.
Chris Lattneref63fd52009-01-17 03:48:08 +0000648 SourceManager &SM = PP.getSourceManager();
649 const LangOptions &LOpts = PP.getLangOptions();
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000650
Chris Lattneref63fd52009-01-17 03:48:08 +0000651 for (SourceManager::fileinfo_iterator I = SM.fileinfo_begin(),
652 E = SM.fileinfo_end(); I != E; ++I) {
Chris Lattner8dedb842009-02-03 07:30:45 +0000653 const SrcMgr::ContentCache &C = *I->second;
Chris Lattneref63fd52009-01-17 03:48:08 +0000654 const FileEntry *FE = C.Entry;
Ted Kremenek62739d62008-12-02 19:44:08 +0000655
656 // FIXME: Handle files with non-absolute paths.
657 llvm::sys::Path P(FE->getName());
658 if (!P.isAbsolute())
659 continue;
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000660
Chris Lattneref63fd52009-01-17 03:48:08 +0000661 const llvm::MemoryBuffer *B = C.getBuffer();
Ted Kremenekd330ec12008-11-26 03:36:26 +0000662 if (!B) continue;
Ted Kremenek8309c922008-12-11 23:36:38 +0000663
Chris Lattnerf4f776a2009-01-17 06:22:33 +0000664 FileID FID = SM.createFileID(FE, SourceLocation(), SrcMgr::C_User);
Chris Lattnerc7b23592009-01-17 07:35:14 +0000665 Lexer L(FID, SM, LOpts);
Ted Kremenekab6c4882009-02-10 22:16:22 +0000666 PM.insert(FE, LexTokens(L));
Daniel Dunbareee6d102008-11-26 02:18:33 +0000667 }
Ted Kremenekd330ec12008-11-26 03:36:26 +0000668
669 // Write out the identifier table.
Ted Kremenekc4a1cf62009-02-11 16:06:55 +0000670 const std::pair<Offset,Offset>& IdTableOff = EmitIdentifierTable();
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000671
Ted Kremenek2e395562009-01-08 02:44:06 +0000672 // Write out the cached strings table.
Ted Kremenek562db7f2009-01-27 00:01:05 +0000673 Offset SpellingOff = EmitCachedSpellings();
Ted Kremenek2e395562009-01-08 02:44:06 +0000674
Ted Kremenekd330ec12008-11-26 03:36:26 +0000675 // Write out the file table.
Ted Kremenek40291882009-01-08 01:17:37 +0000676 Offset FileTableOff = EmitFileTable();
Ted Kremenekd330ec12008-11-26 03:36:26 +0000677
Ted Kremenekbe3f0782009-02-11 23:34:32 +0000678 // Finally, write the prologue.
679 Out.seek(PrologueOffset);
Ted Kremenek40291882009-01-08 01:17:37 +0000680 Emit32(IdTableOff.first);
Ted Kremenekc4a1cf62009-02-11 16:06:55 +0000681 Emit32(IdTableOff.second);
Ted Kremenek40291882009-01-08 01:17:37 +0000682 Emit32(FileTableOff);
Ted Kremenek562db7f2009-01-27 00:01:05 +0000683 Emit32(SpellingOff);
Ted Kremenek40291882009-01-08 01:17:37 +0000684}
685
686void clang::CacheTokens(Preprocessor& PP, const std::string& OutFile) {
Ted Kremenek40291882009-01-08 01:17:37 +0000687 // Open up the PTH file.
688 std::string ErrMsg;
689 llvm::raw_fd_ostream Out(OutFile.c_str(), true, ErrMsg);
690
691 if (!ErrMsg.empty()) {
692 llvm::errs() << "PTH error: " << ErrMsg << "\n";
693 return;
694 }
Ted Kremenek7da401a2009-02-13 22:07:44 +0000695
696 // Create the PTHWriter.
Ted Kremenek40291882009-01-08 01:17:37 +0000697 PTHWriter PW(Out, PP);
Ted Kremenek7da401a2009-02-13 22:07:44 +0000698
699 // Install the 'stat' system call listener in the FileManager.
700 PP.getFileManager().setStatCache(PW.createStatListener());
701
702 // Lex through the entire file. This will populate SourceManager with
703 // all of the header information.
704 Token Tok;
705 PP.EnterMainSourceFile();
706 do { PP.Lex(Tok); } while (Tok.isNot(tok::eof));
707
708
709
710 // Generate the PTH file.
711 PP.getFileManager().setStatCache(0);
Ted Kremenek40291882009-01-08 01:17:37 +0000712 PW.GeneratePTH();
Ted Kremenek71c6cc62008-10-21 00:54:44 +0000713}
Ted Kremenek76c0fc42009-02-10 01:06:17 +0000714
Ted Kremenekbd5374b2009-02-11 21:29:16 +0000715//===----------------------------------------------------------------------===//
716
717namespace {
Ted Kremenek792b2c42009-02-13 19:13:46 +0000718class VISIBILITY_HIDDEN PTHIdKey {
Ted Kremenekbd5374b2009-02-11 21:29:16 +0000719public:
720 const IdentifierInfo* II;
721 uint32_t FileOffset;
722};
723
Ted Kremenek792b2c42009-02-13 19:13:46 +0000724class VISIBILITY_HIDDEN PTHIdentifierTableTrait {
Ted Kremenekbd5374b2009-02-11 21:29:16 +0000725public:
Ted Kremenek792b2c42009-02-13 19:13:46 +0000726 typedef PTHIdKey* key_type;
Ted Kremenekbd5374b2009-02-11 21:29:16 +0000727 typedef key_type key_type_ref;
728
729 typedef uint32_t data_type;
730 typedef data_type data_type_ref;
731
Ted Kremenek792b2c42009-02-13 19:13:46 +0000732 static unsigned ComputeHash(PTHIdKey* key) {
Ted Kremenekbd5374b2009-02-11 21:29:16 +0000733 return BernsteinHash(key->II->getName());
734 }
735
736 static std::pair<unsigned,unsigned>
Ted Kremenek792b2c42009-02-13 19:13:46 +0000737 EmitKeyDataLength(llvm::raw_ostream& Out, const PTHIdKey* key, uint32_t) {
Ted Kremenekbd5374b2009-02-11 21:29:16 +0000738 unsigned n = strlen(key->II->getName()) + 1;
739 ::Emit16(Out, n);
740 return std::make_pair(n, sizeof(uint32_t));
741 }
742
Ted Kremenek792b2c42009-02-13 19:13:46 +0000743 static void EmitKey(llvm::raw_fd_ostream& Out, PTHIdKey* key, unsigned n) {
Ted Kremenekbd5374b2009-02-11 21:29:16 +0000744 // Record the location of the key data. This is used when generating
745 // the mapping from persistent IDs to strings.
746 key->FileOffset = Out.tell();
747 Out.write(key->II->getName(), n);
748 }
749
Ted Kremenek792b2c42009-02-13 19:13:46 +0000750 static void EmitData(llvm::raw_ostream& Out, PTHIdKey*, uint32_t pID,
Ted Kremenek40003a72009-02-12 03:26:59 +0000751 unsigned) {
Ted Kremenekbd5374b2009-02-11 21:29:16 +0000752 ::Emit32(Out, pID);
753 }
754};
755} // end anonymous namespace
756
757/// EmitIdentifierTable - Emits two tables to the PTH file. The first is
758/// a hashtable mapping from identifier strings to persistent IDs. The second
759/// is a straight table mapping from persistent IDs to string data (the
760/// keys of the first table).
761///
762std::pair<Offset,Offset> PTHWriter::EmitIdentifierTable() {
763 // Build two maps:
764 // (1) an inverse map from persistent IDs -> (IdentifierInfo*,Offset)
765 // (2) a map from (IdentifierInfo*, Offset)* -> persistent IDs
766
767 // Note that we use 'calloc', so all the bytes are 0.
Ted Kremenek792b2c42009-02-13 19:13:46 +0000768 PTHIdKey* IIDMap = (PTHIdKey*) calloc(idcount, sizeof(PTHIdKey));
Ted Kremenekbd5374b2009-02-11 21:29:16 +0000769
770 // Create the hashtable.
Ted Kremenek792b2c42009-02-13 19:13:46 +0000771 OnDiskChainedHashTableGenerator<PTHIdentifierTableTrait> IIOffMap;
Ted Kremenekbd5374b2009-02-11 21:29:16 +0000772
773 // Generate mapping from persistent IDs -> IdentifierInfo*.
774 for (IDMap::iterator I=IM.begin(), E=IM.end(); I!=E; ++I) {
775 // Decrement by 1 because we are using a vector for the lookup and
776 // 0 is reserved for NULL.
777 assert(I->second > 0);
778 assert(I->second-1 < idcount);
779 unsigned idx = I->second-1;
780
781 // Store the mapping from persistent ID to IdentifierInfo*
782 IIDMap[idx].II = I->first;
783
784 // Store the reverse mapping in a hashtable.
785 IIOffMap.insert(&IIDMap[idx], I->second);
786 }
787
788 // Write out the inverse map first. This causes the PCIDKey entries to
789 // record PTH file offsets for the string data. This is used to write
790 // the second table.
791 Offset StringTableOffset = IIOffMap.Emit(Out);
792
793 // Now emit the table mapping from persistent IDs to PTH file offsets.
794 Offset IDOff = Out.tell();
795 Emit32(idcount); // Emit the number of identifiers.
796 for (unsigned i = 0 ; i < idcount; ++i) Emit32(IIDMap[i].FileOffset);
797
798 // Finally, release the inverse map.
799 free(IIDMap);
800
801 return std::make_pair(IDOff, StringTableOffset);
802}