blob: 53352360fbcb1d982b40badfc177dff7532c35f9 [file] [log] [blame]
Ted Kremeneka4b44dd2009-02-13 19:13:46 +00001//===--- CacheTokens.cpp - Caching of lexer tokens for PTH support --------===//
Ted Kremenek85888962008-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 Kremeneka4b44dd2009-02-13 19:13:46 +000010// This provides a possible implementation of PTH support for Clang that is
Ted Kremenek85888962008-10-21 00:54:44 +000011// based on caching lexed tokens and identifiers.
12//
13//===----------------------------------------------------------------------===//
14
Ted Kremenekc2542b62009-03-31 18:58:14 +000015#include "clang-cc.h"
Ted Kremenek85888962008-10-21 00:54:44 +000016#include "clang/Basic/FileManager.h"
17#include "clang/Basic/SourceManager.h"
18#include "clang/Basic/IdentifierTable.h"
19#include "clang/Basic/Diagnostic.h"
Douglas Gregor9378ba42009-04-20 07:08:21 +000020#include "clang/Basic/OnDiskHashTable.h"
Ted Kremenek85888962008-10-21 00:54:44 +000021#include "clang/Lex/Lexer.h"
22#include "clang/Lex/Preprocessor.h"
Ted Kremenekbe295332009-01-08 02:44:06 +000023#include "llvm/ADT/StringMap.h"
Ted Kremenek85888962008-10-21 00:54:44 +000024#include "llvm/Support/MemoryBuffer.h"
25#include "llvm/Support/raw_ostream.h"
Ted Kremenekfc7e2ea2008-12-02 19:44:08 +000026#include "llvm/System/Path.h"
Ted Kremenekb978c662009-01-08 01:17:37 +000027#include "llvm/Support/Compiler.h"
Ted Kremenek72b1b152009-01-15 18:47:46 +000028#include "llvm/Support/Streams.h"
Ted Kremenek85888962008-10-21 00:54:44 +000029
Cedric Venetea684e62009-02-14 16:15:20 +000030// FIXME: put this somewhere else?
31#ifndef S_ISDIR
32#define S_ISDIR(x) (((x)&_S_IFDIR)!=0)
33#endif
34
Ted Kremenek85888962008-10-21 00:54:44 +000035using namespace clang;
Douglas Gregor9378ba42009-04-20 07:08:21 +000036using namespace clang::io;
Ted Kremenekf0e1f792009-02-10 01:14:45 +000037
38//===----------------------------------------------------------------------===//
39// PTH-specific stuff.
40//===----------------------------------------------------------------------===//
41
Ted Kremenekbe295332009-01-08 02:44:06 +000042namespace {
Ted Kremeneka4b44dd2009-02-13 19:13:46 +000043class VISIBILITY_HIDDEN PTHEntry {
Ted Kremenekbe295332009-01-08 02:44:06 +000044 Offset TokenData, PPCondData;
Ted Kremenekbe295332009-01-08 02:44:06 +000045
46public:
Ted Kremeneka4b44dd2009-02-13 19:13:46 +000047 PTHEntry() {}
Ted Kremenekbe295332009-01-08 02:44:06 +000048
Ted Kremeneka4b44dd2009-02-13 19:13:46 +000049 PTHEntry(Offset td, Offset ppcd)
Ted Kremenek277faca2009-01-27 00:01:05 +000050 : TokenData(td), PPCondData(ppcd) {}
Ted Kremenekbe295332009-01-08 02:44:06 +000051
Ted Kremenek277faca2009-01-27 00:01:05 +000052 Offset getTokenOffset() const { return TokenData; }
Ted Kremenekbe295332009-01-08 02:44:06 +000053 Offset getPPCondTableOffset() const { return PPCondData; }
Ted Kremenek277faca2009-01-27 00:01:05 +000054};
Ted Kremenekbe295332009-01-08 02:44:06 +000055
Ted Kremeneka4b44dd2009-02-13 19:13:46 +000056
57class VISIBILITY_HIDDEN PTHEntryKeyVariant {
Ted Kremenekad6ce5c2009-02-13 22:07:44 +000058 union { const FileEntry* FE; const char* Path; };
Ted Kremeneka4b44dd2009-02-13 19:13:46 +000059 enum { IsFE = 0x1, IsDE = 0x2, IsNoExist = 0x0 } Kind;
Ted Kremenekad6ce5c2009-02-13 22:07:44 +000060 struct stat *StatBuf;
Ted Kremenekd8c02922009-02-10 22:16:22 +000061public:
Ted Kremenekad6ce5c2009-02-13 22:07:44 +000062 PTHEntryKeyVariant(const FileEntry *fe)
63 : FE(fe), Kind(IsFE), StatBuf(0) {}
64
65 PTHEntryKeyVariant(struct stat* statbuf, const char* path)
66 : Path(path), Kind(IsDE), StatBuf(new struct stat(*statbuf)) {}
67
68 PTHEntryKeyVariant(const char* path)
69 : Path(path), Kind(IsNoExist), StatBuf(0) {}
Ted Kremeneka4b44dd2009-02-13 19:13:46 +000070
Ted Kremenekad6ce5c2009-02-13 22:07:44 +000071 bool isFile() const { return Kind == IsFE; }
Ted Kremeneka4b44dd2009-02-13 19:13:46 +000072
73 const char* getCString() const {
Ted Kremenekad6ce5c2009-02-13 22:07:44 +000074 return Kind == IsFE ? FE->getName() : Path;
Ted Kremeneka4b44dd2009-02-13 19:13:46 +000075 }
76
77 unsigned getKind() const { return (unsigned) Kind; }
78
79 void EmitData(llvm::raw_ostream& Out) {
80 switch (Kind) {
81 case IsFE:
82 // Emit stat information.
83 ::Emit32(Out, FE->getInode());
84 ::Emit32(Out, FE->getDevice());
85 ::Emit16(Out, FE->getFileMode());
86 ::Emit64(Out, FE->getModificationTime());
87 ::Emit64(Out, FE->getSize());
88 break;
89 case IsDE:
Ted Kremenekad6ce5c2009-02-13 22:07:44 +000090 // Emit stat information.
91 ::Emit32(Out, (uint32_t) StatBuf->st_ino);
92 ::Emit32(Out, (uint32_t) StatBuf->st_dev);
93 ::Emit16(Out, (uint16_t) StatBuf->st_mode);
94 ::Emit64(Out, (uint64_t) StatBuf->st_mtime);
95 ::Emit64(Out, (uint64_t) StatBuf->st_size);
96 delete StatBuf;
97 break;
98 default:
99 break;
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000100 }
101 }
102
103 unsigned getRepresentationLength() const {
Ted Kremenekad6ce5c2009-02-13 22:07:44 +0000104 return Kind == IsNoExist ? 0 : 4 + 4 + 2 + 8 + 8;
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000105 }
106};
107
108class VISIBILITY_HIDDEN FileEntryPTHEntryInfo {
109public:
110 typedef PTHEntryKeyVariant key_type;
Ted Kremenekd8c02922009-02-10 22:16:22 +0000111 typedef key_type key_type_ref;
112
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000113 typedef PTHEntry data_type;
114 typedef const PTHEntry& data_type_ref;
Ted Kremenekd8c02922009-02-10 22:16:22 +0000115
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000116 static unsigned ComputeHash(PTHEntryKeyVariant V) {
117 return BernsteinHash(V.getCString());
Ted Kremenekd8c02922009-02-10 22:16:22 +0000118 }
119
120 static std::pair<unsigned,unsigned>
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000121 EmitKeyDataLength(llvm::raw_ostream& Out, PTHEntryKeyVariant V,
122 const PTHEntry& E) {
Ted Kremenekd8c02922009-02-10 22:16:22 +0000123
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000124 unsigned n = strlen(V.getCString()) + 1 + 1;
Ted Kremenekd8c02922009-02-10 22:16:22 +0000125 ::Emit16(Out, n);
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000126
Ted Kremenekad6ce5c2009-02-13 22:07:44 +0000127 unsigned m = V.getRepresentationLength() + (V.isFile() ? 4 + 4 : 0);
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000128 ::Emit8(Out, m);
129
130 return std::make_pair(n, m);
Ted Kremenekd8c02922009-02-10 22:16:22 +0000131 }
132
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000133 static void EmitKey(llvm::raw_ostream& Out, PTHEntryKeyVariant V, unsigned n){
134 // Emit the entry kind.
135 ::Emit8(Out, (unsigned) V.getKind());
136 // Emit the string.
137 Out.write(V.getCString(), n - 1);
Ted Kremenekd8c02922009-02-10 22:16:22 +0000138 }
139
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000140 static void EmitData(llvm::raw_ostream& Out, PTHEntryKeyVariant V,
141 const PTHEntry& E, unsigned) {
142
143
144 // For file entries emit the offsets into the PTH file for token data
145 // and the preprocessor blocks table.
Ted Kremenekad6ce5c2009-02-13 22:07:44 +0000146 if (V.isFile()) {
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000147 ::Emit32(Out, E.getTokenOffset());
148 ::Emit32(Out, E.getPPCondTableOffset());
149 }
150
151 // Emit any other data associated with the key (i.e., stat information).
152 V.EmitData(Out);
Ted Kremenekd8c02922009-02-10 22:16:22 +0000153 }
154};
155
Ted Kremenek277faca2009-01-27 00:01:05 +0000156class OffsetOpt {
157 bool valid;
158 Offset off;
159public:
160 OffsetOpt() : valid(false) {}
161 bool hasOffset() const { return valid; }
162 Offset getOffset() const { assert(valid); return off; }
163 void setOffset(Offset o) { off = o; valid = true; }
Ted Kremenekbe295332009-01-08 02:44:06 +0000164};
165} // end anonymous namespace
166
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000167typedef OnDiskChainedHashTableGenerator<FileEntryPTHEntryInfo> PTHMap;
Ted Kremenekfc7e2ea2008-12-02 19:44:08 +0000168typedef llvm::DenseMap<const IdentifierInfo*,uint32_t> IDMap;
Ted Kremenek277faca2009-01-27 00:01:05 +0000169typedef llvm::StringMap<OffsetOpt, llvm::BumpPtrAllocator> CachedStrsTy;
Ted Kremenek85888962008-10-21 00:54:44 +0000170
Ted Kremenekb978c662009-01-08 01:17:37 +0000171namespace {
172class VISIBILITY_HIDDEN PTHWriter {
173 IDMap IM;
174 llvm::raw_fd_ostream& Out;
175 Preprocessor& PP;
176 uint32_t idcount;
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000177 PTHMap PM;
Ted Kremenekbe295332009-01-08 02:44:06 +0000178 CachedStrsTy CachedStrs;
Ted Kremenek277faca2009-01-27 00:01:05 +0000179 Offset CurStrOffset;
180 std::vector<llvm::StringMapEntry<OffsetOpt>*> StrEntries;
Ted Kremenek8f174e12008-12-23 02:52:12 +0000181
Ted Kremenekb978c662009-01-08 01:17:37 +0000182 //// Get the persistent id for the given IdentifierInfo*.
183 uint32_t ResolveID(const IdentifierInfo* II);
Ted Kremenekfc7e2ea2008-12-02 19:44:08 +0000184
Ted Kremenekb978c662009-01-08 01:17:37 +0000185 /// Emit a token to the PTH file.
186 void EmitToken(const Token& T);
187
188 void Emit8(uint32_t V) {
189 Out << (unsigned char)(V);
190 }
191
Ted Kremeneke0ea5dc2009-02-10 01:06:17 +0000192 void Emit16(uint32_t V) { ::Emit16(Out, V); }
Ted Kremenekb978c662009-01-08 01:17:37 +0000193
194 void Emit24(uint32_t V) {
195 Out << (unsigned char)(V);
196 Out << (unsigned char)(V >> 8);
197 Out << (unsigned char)(V >> 16);
198 assert((V >> 24) == 0);
199 }
200
Ted Kremeneke0ea5dc2009-02-10 01:06:17 +0000201 void Emit32(uint32_t V) { ::Emit32(Out, V); }
202
Chris Lattnerf2390362009-03-28 00:16:20 +0000203 void EmitBuf(const char *Ptr, unsigned NumBytes) {
204 Out.write(Ptr, NumBytes);
Ted Kremenekb978c662009-01-08 01:17:37 +0000205 }
206
Ted Kremenek7e3a0042009-02-11 21:29:16 +0000207 /// EmitIdentifierTable - Emits two tables to the PTH file. The first is
208 /// a hashtable mapping from identifier strings to persistent IDs.
209 /// The second is a straight table mapping from persistent IDs to string data
210 /// (the keys of the first table).
Ted Kremenekf1de4642009-02-11 16:06:55 +0000211 std::pair<Offset, Offset> EmitIdentifierTable();
212
213 /// EmitFileTable - Emit a table mapping from file name strings to PTH
214 /// token data.
215 Offset EmitFileTable() { return PM.Emit(Out); }
216
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000217 PTHEntry LexTokens(Lexer& L);
Ted Kremenek277faca2009-01-27 00:01:05 +0000218 Offset EmitCachedSpellings();
Ted Kremenekad6ce5c2009-02-13 22:07:44 +0000219
Ted Kremenekb978c662009-01-08 01:17:37 +0000220public:
221 PTHWriter(llvm::raw_fd_ostream& out, Preprocessor& pp)
Ted Kremenek277faca2009-01-27 00:01:05 +0000222 : Out(out), PP(pp), idcount(0), CurStrOffset(0) {}
Ted Kremenekb978c662009-01-08 01:17:37 +0000223
Chris Lattner52ba8702009-03-28 00:55:35 +0000224 PTHMap &getPM() { return PM; }
Ted Kremenekd5cded42009-03-19 22:10:38 +0000225 void GeneratePTH(const std::string *MainFile = 0);
Ted Kremenekb978c662009-01-08 01:17:37 +0000226};
227} // end anonymous namespace
228
229uint32_t PTHWriter::ResolveID(const IdentifierInfo* II) {
Ted Kremenekfc7e2ea2008-12-02 19:44:08 +0000230 // Null IdentifierInfo's map to the persistent ID 0.
231 if (!II)
232 return 0;
233
Ted Kremenek85888962008-10-21 00:54:44 +0000234 IDMap::iterator I = IM.find(II);
Chris Lattnerf2390362009-03-28 00:16:20 +0000235 if (I != IM.end())
236 return I->second; // We've already added 1.
237
238 IM[II] = ++idcount; // Pre-increment since '0' is reserved for NULL.
239 return idcount;
Ted Kremenek85888962008-10-21 00:54:44 +0000240}
241
Ted Kremenekb978c662009-01-08 01:17:37 +0000242void PTHWriter::EmitToken(const Token& T) {
Ted Kremenekf2a223f2009-02-24 01:26:56 +0000243 // Emit the token kind, flags, and length.
244 Emit32(((uint32_t) T.getKind()) | ((((uint32_t) T.getFlags())) << 8)|
245 (((uint32_t) T.getLength()) << 16));
246
Chris Lattnerf2390362009-03-28 00:16:20 +0000247 if (!T.isLiteral()) {
248 Emit32(ResolveID(T.getIdentifierInfo()));
249 } else {
Ted Kremenekf2a223f2009-02-24 01:26:56 +0000250 // We cache *un-cleaned* spellings. This gives us 100% fidelity with the
251 // source code.
252 const char* s = T.getLiteralData();
253 unsigned len = T.getLength();
Ted Kremenek25cbd9f2009-02-24 00:30:21 +0000254
Chris Lattner47246be2009-01-26 19:29:26 +0000255 // Get the string entry.
Ted Kremenekf2a223f2009-02-24 01:26:56 +0000256 llvm::StringMapEntry<OffsetOpt> *E = &CachedStrs.GetOrCreateValue(s, s+len);
Ted Kremenek277faca2009-01-27 00:01:05 +0000257
Ted Kremenekf2a223f2009-02-24 01:26:56 +0000258 // If this is a new string entry, bump the PTH offset.
Ted Kremenek277faca2009-01-27 00:01:05 +0000259 if (!E->getValue().hasOffset()) {
260 E->getValue().setOffset(CurStrOffset);
261 StrEntries.push_back(E);
Ted Kremenekf2a223f2009-02-24 01:26:56 +0000262 CurStrOffset += len + 1;
Ted Kremenek277faca2009-01-27 00:01:05 +0000263 }
264
Ted Kremenek25cbd9f2009-02-24 00:30:21 +0000265 // Emit the relative offset into the PTH file for the spelling string.
Ted Kremenek277faca2009-01-27 00:01:05 +0000266 Emit32(E->getValue().getOffset());
Ted Kremenekb978c662009-01-08 01:17:37 +0000267 }
Ted Kremenek25cbd9f2009-02-24 00:30:21 +0000268
269 // Emit the offset into the original source file of this token so that we
270 // can reconstruct its SourceLocation.
Chris Lattner52c29082009-01-27 06:27:13 +0000271 Emit32(PP.getSourceManager().getFileOffset(T.getLocation()));
Ted Kremenek85888962008-10-21 00:54:44 +0000272}
273
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000274PTHEntry PTHWriter::LexTokens(Lexer& L) {
Ted Kremenek7b78b7c2009-01-19 23:13:15 +0000275 // Pad 0's so that we emit tokens to a 4-byte alignment.
276 // This speed up reading them back in.
Ted Kremeneke0ea5dc2009-02-10 01:06:17 +0000277 Pad(Out, 4);
278 Offset off = (Offset) Out.tell();
Ted Kremenekfb645b62008-12-11 23:36:38 +0000279
280 // Keep track of matching '#if' ... '#endif'.
281 typedef std::vector<std::pair<Offset, unsigned> > PPCondTable;
282 PPCondTable PPCond;
Ted Kremenekdad7b342008-12-12 18:31:09 +0000283 std::vector<unsigned> PPStartCond;
Ted Kremeneke5680f32008-12-23 01:30:52 +0000284 bool ParsingPreprocessorDirective = false;
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000285 Token Tok;
286
287 do {
288 L.LexFromRawLexer(Tok);
Ted Kremenek726080d2009-02-10 22:43:16 +0000289 NextToken:
290
Ted Kremeneke5680f32008-12-23 01:30:52 +0000291 if ((Tok.isAtStartOfLine() || Tok.is(tok::eof)) &&
292 ParsingPreprocessorDirective) {
293 // Insert an eom token into the token cache. It has the same
294 // position as the next token that is not on the same line as the
295 // preprocessor directive. Observe that we continue processing
296 // 'Tok' when we exit this branch.
297 Token Tmp = Tok;
298 Tmp.setKind(tok::eom);
299 Tmp.clearFlag(Token::StartOfLine);
300 Tmp.setIdentifierInfo(0);
Ted Kremenekb978c662009-01-08 01:17:37 +0000301 EmitToken(Tmp);
Ted Kremeneke5680f32008-12-23 01:30:52 +0000302 ParsingPreprocessorDirective = false;
303 }
304
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000305 if (Tok.is(tok::identifier)) {
306 Tok.setIdentifierInfo(PP.LookUpIdentifierInfo(Tok));
Ted Kremeneke4f6b1e2009-02-10 22:27:09 +0000307 EmitToken(Tok);
Ted Kremeneke5680f32008-12-23 01:30:52 +0000308 continue;
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000309 }
Ted Kremeneke5680f32008-12-23 01:30:52 +0000310
311 if (Tok.is(tok::hash) && Tok.isAtStartOfLine()) {
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000312 // Special processing for #include. Store the '#' token and lex
313 // the next token.
Ted Kremeneke5680f32008-12-23 01:30:52 +0000314 assert(!ParsingPreprocessorDirective);
Ted Kremenekfb645b62008-12-11 23:36:38 +0000315 Offset HashOff = (Offset) Out.tell();
Ted Kremenekb978c662009-01-08 01:17:37 +0000316 EmitToken(Tok);
Ted Kremenekdad7b342008-12-12 18:31:09 +0000317
318 // Get the next token.
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000319 L.LexFromRawLexer(Tok);
Chris Lattner21356192009-04-19 07:25:40 +0000320
321 // If we see the start of line, then we had a null directive "#".
322 if (Tok.isAtStartOfLine())
323 goto NextToken;
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000324
325 // Did we see 'include'/'import'/'include_next'?
Chris Lattnerd4b14462009-04-19 07:15:51 +0000326 if (Tok.isNot(tok::identifier)) {
Ted Kremeneke4f6b1e2009-02-10 22:27:09 +0000327 EmitToken(Tok);
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000328 continue;
Ted Kremeneke4f6b1e2009-02-10 22:27:09 +0000329 }
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000330
331 IdentifierInfo* II = PP.LookUpIdentifierInfo(Tok);
332 Tok.setIdentifierInfo(II);
333 tok::PPKeywordKind K = II->getPPKeywordID();
334
Ted Kremeneke5680f32008-12-23 01:30:52 +0000335 ParsingPreprocessorDirective = true;
336
337 switch (K) {
Chris Lattneraa269c22009-04-19 07:32:03 +0000338 case tok::pp_not_keyword:
339 // Invalid directives "#foo" can occur in #if 0 blocks etc, just pass
340 // them through.
Ted Kremeneke5680f32008-12-23 01:30:52 +0000341 default:
342 break;
Chris Lattneraa269c22009-04-19 07:32:03 +0000343
Ted Kremeneke5680f32008-12-23 01:30:52 +0000344 case tok::pp_include:
345 case tok::pp_import:
346 case tok::pp_include_next: {
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000347 // Save the 'include' token.
Ted Kremenekb978c662009-01-08 01:17:37 +0000348 EmitToken(Tok);
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000349 // Lex the next token as an include string.
350 L.setParsingPreprocessorDirective(true);
351 L.LexIncludeFilename(Tok);
352 L.setParsingPreprocessorDirective(false);
Ted Kremeneke5680f32008-12-23 01:30:52 +0000353 assert(!Tok.isAtStartOfLine());
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000354 if (Tok.is(tok::identifier))
355 Tok.setIdentifierInfo(PP.LookUpIdentifierInfo(Tok));
Ted Kremeneke5680f32008-12-23 01:30:52 +0000356
357 break;
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000358 }
Ted Kremeneke5680f32008-12-23 01:30:52 +0000359 case tok::pp_if:
360 case tok::pp_ifdef:
361 case tok::pp_ifndef: {
Ted Kremeneke4f6b1e2009-02-10 22:27:09 +0000362 // Add an entry for '#if' and friends. We initially set the target
363 // index to 0. This will get backpatched when we hit #endif.
Ted Kremenekfb645b62008-12-11 23:36:38 +0000364 PPStartCond.push_back(PPCond.size());
Ted Kremenekdad7b342008-12-12 18:31:09 +0000365 PPCond.push_back(std::make_pair(HashOff, 0U));
Ted Kremeneke5680f32008-12-23 01:30:52 +0000366 break;
Ted Kremenekfb645b62008-12-11 23:36:38 +0000367 }
Ted Kremeneke5680f32008-12-23 01:30:52 +0000368 case tok::pp_endif: {
Ted Kremenekfb645b62008-12-11 23:36:38 +0000369 // Add an entry for '#endif'. We set the target table index to itself.
Ted Kremenekdad7b342008-12-12 18:31:09 +0000370 // This will later be set to zero when emitting to the PTH file. We
371 // use 0 for uninitialized indices because that is easier to debug.
Ted Kremenekfb645b62008-12-11 23:36:38 +0000372 unsigned index = PPCond.size();
Ted Kremenekfb645b62008-12-11 23:36:38 +0000373 // Backpatch the opening '#if' entry.
Ted Kremenekdad7b342008-12-12 18:31:09 +0000374 assert(!PPStartCond.empty());
375 assert(PPCond.size() > PPStartCond.back());
Ted Kremenekfb645b62008-12-11 23:36:38 +0000376 assert(PPCond[PPStartCond.back()].second == 0);
377 PPCond[PPStartCond.back()].second = index;
378 PPStartCond.pop_back();
Ted Kremenekdad7b342008-12-12 18:31:09 +0000379 // Add the new entry to PPCond.
380 PPCond.push_back(std::make_pair(HashOff, index));
Ted Kremenek726080d2009-02-10 22:43:16 +0000381 EmitToken(Tok);
382
383 // Some files have gibberish on the same line as '#endif'.
384 // Discard these tokens.
Chris Lattnerd4b14462009-04-19 07:15:51 +0000385 do
386 L.LexFromRawLexer(Tok);
387 while (Tok.isNot(tok::eof) && !Tok.isAtStartOfLine());
Ted Kremenek726080d2009-02-10 22:43:16 +0000388 // We have the next token in hand.
389 // Don't immediately lex the next one.
390 goto NextToken;
Ted Kremenekfb645b62008-12-11 23:36:38 +0000391 }
Ted Kremeneke5680f32008-12-23 01:30:52 +0000392 case tok::pp_elif:
393 case tok::pp_else: {
394 // Add an entry for #elif or #else.
Ted Kremenekdad7b342008-12-12 18:31:09 +0000395 // This serves as both a closing and opening of a conditional block.
396 // This means that its entry will get backpatched later.
Ted Kremenekfb645b62008-12-11 23:36:38 +0000397 unsigned index = PPCond.size();
Ted Kremenekfb645b62008-12-11 23:36:38 +0000398 // Backpatch the previous '#if' entry.
Ted Kremenekdad7b342008-12-12 18:31:09 +0000399 assert(!PPStartCond.empty());
400 assert(PPCond.size() > PPStartCond.back());
Ted Kremenekfb645b62008-12-11 23:36:38 +0000401 assert(PPCond[PPStartCond.back()].second == 0);
402 PPCond[PPStartCond.back()].second = index;
403 PPStartCond.pop_back();
404 // Now add '#elif' as a new block opening.
Ted Kremenekdad7b342008-12-12 18:31:09 +0000405 PPCond.push_back(std::make_pair(HashOff, 0U));
406 PPStartCond.push_back(index);
Ted Kremeneke5680f32008-12-23 01:30:52 +0000407 break;
408 }
Ted Kremenekfb645b62008-12-11 23:36:38 +0000409 }
Ted Kremeneke4f6b1e2009-02-10 22:27:09 +0000410 }
411
412 EmitToken(Tok);
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000413 }
Ted Kremeneke4f6b1e2009-02-10 22:27:09 +0000414 while (Tok.isNot(tok::eof));
Ted Kremenekb978c662009-01-08 01:17:37 +0000415
Ted Kremenekdad7b342008-12-12 18:31:09 +0000416 assert(PPStartCond.empty() && "Error: imblanced preprocessor conditionals.");
Ted Kremenekb978c662009-01-08 01:17:37 +0000417
Ted Kremenekfb645b62008-12-11 23:36:38 +0000418 // Next write out PPCond.
419 Offset PPCondOff = (Offset) Out.tell();
Ted Kremenekdad7b342008-12-12 18:31:09 +0000420
421 // Write out the size of PPCond so that clients can identifer empty tables.
Ted Kremenekb978c662009-01-08 01:17:37 +0000422 Emit32(PPCond.size());
Ted Kremenekfc7e2ea2008-12-02 19:44:08 +0000423
Ted Kremenekdad7b342008-12-12 18:31:09 +0000424 for (unsigned i = 0, e = PPCond.size(); i!=e; ++i) {
Ted Kremenekb978c662009-01-08 01:17:37 +0000425 Emit32(PPCond[i].first - off);
Ted Kremenekdad7b342008-12-12 18:31:09 +0000426 uint32_t x = PPCond[i].second;
427 assert(x != 0 && "PPCond entry not backpatched.");
428 // Emit zero for #endifs. This allows us to do checking when
429 // we read the PTH file back in.
Ted Kremenekb978c662009-01-08 01:17:37 +0000430 Emit32(x == i ? 0 : x);
Ted Kremenekfb645b62008-12-11 23:36:38 +0000431 }
432
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000433 return PTHEntry(off, PPCondOff);
Ted Kremenekbe295332009-01-08 02:44:06 +0000434}
435
Ted Kremenek277faca2009-01-27 00:01:05 +0000436Offset PTHWriter::EmitCachedSpellings() {
437 // Write each cached strings to the PTH file.
438 Offset SpellingsOff = Out.tell();
439
440 for (std::vector<llvm::StringMapEntry<OffsetOpt>*>::iterator
Chris Lattnerf2390362009-03-28 00:16:20 +0000441 I = StrEntries.begin(), E = StrEntries.end(); I!=E; ++I)
442 EmitBuf((*I)->getKeyData(), (*I)->getKeyLength()+1 /*nul included*/);
Ted Kremenekbe295332009-01-08 02:44:06 +0000443
Ted Kremenek277faca2009-01-27 00:01:05 +0000444 return SpellingsOff;
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000445}
Ted Kremenek85888962008-10-21 00:54:44 +0000446
Ted Kremenekd5cded42009-03-19 22:10:38 +0000447void PTHWriter::GeneratePTH(const std::string *MainFile) {
Ted Kremeneke1b64982009-01-26 21:43:14 +0000448 // Generate the prologue.
449 Out << "cfe-pth";
Ted Kremenek67d15052009-01-26 21:50:21 +0000450 Emit32(PTHManager::Version);
Ted Kremeneka4bd8eb2009-02-11 23:34:32 +0000451
452 // Leave 4 words for the prologue.
453 Offset PrologueOffset = Out.tell();
Chris Lattnerf2390362009-03-28 00:16:20 +0000454 for (unsigned i = 0; i < 4; ++i)
455 Emit32(0);
Ted Kremenekd5cded42009-03-19 22:10:38 +0000456
457 // Write the name of the MainFile.
Chris Lattnerf2390362009-03-28 00:16:20 +0000458 if (MainFile && !MainFile->empty()) {
Ted Kremenekd5cded42009-03-19 22:10:38 +0000459 Emit16(MainFile->length());
Chris Lattnerf2390362009-03-28 00:16:20 +0000460 EmitBuf(MainFile->data(), MainFile->length());
461 } else {
Ted Kremenekd5cded42009-03-19 22:10:38 +0000462 // String with 0 bytes.
463 Emit16(0);
464 }
465 Emit8(0);
Ted Kremeneke1b64982009-01-26 21:43:14 +0000466
Ted Kremenek85888962008-10-21 00:54:44 +0000467 // Iterate over all the files in SourceManager. Create a lexer
468 // for each file and cache the tokens.
Chris Lattnerc6fe32a2009-01-17 03:48:08 +0000469 SourceManager &SM = PP.getSourceManager();
470 const LangOptions &LOpts = PP.getLangOptions();
Ted Kremenek85888962008-10-21 00:54:44 +0000471
Chris Lattnerc6fe32a2009-01-17 03:48:08 +0000472 for (SourceManager::fileinfo_iterator I = SM.fileinfo_begin(),
473 E = SM.fileinfo_end(); I != E; ++I) {
Chris Lattner0d0bf8c2009-02-03 07:30:45 +0000474 const SrcMgr::ContentCache &C = *I->second;
Chris Lattnerc6fe32a2009-01-17 03:48:08 +0000475 const FileEntry *FE = C.Entry;
Ted Kremenekfc7e2ea2008-12-02 19:44:08 +0000476
477 // FIXME: Handle files with non-absolute paths.
478 llvm::sys::Path P(FE->getName());
479 if (!P.isAbsolute())
480 continue;
Ted Kremenek85888962008-10-21 00:54:44 +0000481
Chris Lattnerc6fe32a2009-01-17 03:48:08 +0000482 const llvm::MemoryBuffer *B = C.getBuffer();
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000483 if (!B) continue;
Ted Kremenekfb645b62008-12-11 23:36:38 +0000484
Chris Lattner2b2453a2009-01-17 06:22:33 +0000485 FileID FID = SM.createFileID(FE, SourceLocation(), SrcMgr::C_User);
Chris Lattner025c3a62009-01-17 07:35:14 +0000486 Lexer L(FID, SM, LOpts);
Ted Kremenekd8c02922009-02-10 22:16:22 +0000487 PM.insert(FE, LexTokens(L));
Daniel Dunbar31309ab2008-11-26 02:18:33 +0000488 }
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000489
490 // Write out the identifier table.
Chris Lattnerf2390362009-03-28 00:16:20 +0000491 const std::pair<Offset,Offset> &IdTableOff = EmitIdentifierTable();
Ted Kremenek85888962008-10-21 00:54:44 +0000492
Ted Kremenekbe295332009-01-08 02:44:06 +0000493 // Write out the cached strings table.
Ted Kremenek277faca2009-01-27 00:01:05 +0000494 Offset SpellingOff = EmitCachedSpellings();
Ted Kremenekbe295332009-01-08 02:44:06 +0000495
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000496 // Write out the file table.
Ted Kremenekb978c662009-01-08 01:17:37 +0000497 Offset FileTableOff = EmitFileTable();
Ted Kremeneka3d764c2008-11-26 03:36:26 +0000498
Ted Kremeneka4bd8eb2009-02-11 23:34:32 +0000499 // Finally, write the prologue.
500 Out.seek(PrologueOffset);
Ted Kremenekb978c662009-01-08 01:17:37 +0000501 Emit32(IdTableOff.first);
Ted Kremenekf1de4642009-02-11 16:06:55 +0000502 Emit32(IdTableOff.second);
Ted Kremenekb978c662009-01-08 01:17:37 +0000503 Emit32(FileTableOff);
Ted Kremenek277faca2009-01-27 00:01:05 +0000504 Emit32(SpellingOff);
Ted Kremenekb978c662009-01-08 01:17:37 +0000505}
506
Chris Lattner52ba8702009-03-28 00:55:35 +0000507namespace {
508/// StatListener - A simple "interpose" object used to monitor stat calls
509/// invoked by FileManager while processing the original sources used
510/// as input to PTH generation. StatListener populates the PTHWriter's
511/// file map with stat information for directories as well as negative stats.
512/// Stat information for files are populated elsewhere.
513class StatListener : public StatSysCallCache {
514 PTHMap &PM;
515public:
516 StatListener(PTHMap &pm) : PM(pm) {}
517 ~StatListener() {}
518
519 int stat(const char *path, struct stat *buf) {
520 int result = ::stat(path, buf);
521
522 if (result != 0) // Failed 'stat'.
523 PM.insert(path, PTHEntry());
524 else if (S_ISDIR(buf->st_mode)) {
525 // Only cache directories with absolute paths.
526 if (!llvm::sys::Path(path).isAbsolute())
527 return result;
528
529 PM.insert(PTHEntryKeyVariant(buf, path), PTHEntry());
530 }
531
532 return result;
533 }
534};
535} // end anonymous namespace
536
537
Eli Friedmanf54fce82009-05-19 01:02:07 +0000538void clang::CacheTokens(Preprocessor &PP, llvm::raw_fd_ostream* OS) {
Ted Kremenekd5cded42009-03-19 22:10:38 +0000539 // Get the name of the main file.
540 const SourceManager &SrcMgr = PP.getSourceManager();
541 const FileEntry *MainFile = SrcMgr.getFileEntryForID(SrcMgr.getMainFileID());
542 llvm::sys::Path MainFilePath(MainFile->getName());
543 std::string MainFileName;
544
545 if (!MainFilePath.isAbsolute()) {
546 llvm::sys::Path P = llvm::sys::Path::GetCurrentDirectory();
547 P.appendComponent(MainFilePath.toString());
548 MainFileName = P.toString();
Chris Lattnerf2390362009-03-28 00:16:20 +0000549 } else {
Ted Kremenekd5cded42009-03-19 22:10:38 +0000550 MainFileName = MainFilePath.toString();
551 }
Ted Kremenekad6ce5c2009-02-13 22:07:44 +0000552
553 // Create the PTHWriter.
Eli Friedmanf54fce82009-05-19 01:02:07 +0000554 PTHWriter PW(*OS, PP);
Ted Kremenekad6ce5c2009-02-13 22:07:44 +0000555
556 // Install the 'stat' system call listener in the FileManager.
Chris Lattner52ba8702009-03-28 00:55:35 +0000557 PP.getFileManager().setStatCache(new StatListener(PW.getPM()));
Ted Kremenekad6ce5c2009-02-13 22:07:44 +0000558
559 // Lex through the entire file. This will populate SourceManager with
560 // all of the header information.
561 Token Tok;
562 PP.EnterMainSourceFile();
563 do { PP.Lex(Tok); } while (Tok.isNot(tok::eof));
564
Ted Kremenekad6ce5c2009-02-13 22:07:44 +0000565 // Generate the PTH file.
566 PP.getFileManager().setStatCache(0);
Ted Kremenekd5cded42009-03-19 22:10:38 +0000567 PW.GeneratePTH(&MainFileName);
Ted Kremenek85888962008-10-21 00:54:44 +0000568}
Ted Kremeneke0ea5dc2009-02-10 01:06:17 +0000569
Ted Kremenek7e3a0042009-02-11 21:29:16 +0000570//===----------------------------------------------------------------------===//
571
Chris Lattnerf2390362009-03-28 00:16:20 +0000572class PTHIdKey {
Ted Kremenek7e3a0042009-02-11 21:29:16 +0000573public:
574 const IdentifierInfo* II;
575 uint32_t FileOffset;
576};
577
Chris Lattnerf2390362009-03-28 00:16:20 +0000578namespace {
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000579class VISIBILITY_HIDDEN PTHIdentifierTableTrait {
Ted Kremenek7e3a0042009-02-11 21:29:16 +0000580public:
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000581 typedef PTHIdKey* key_type;
Ted Kremenek7e3a0042009-02-11 21:29:16 +0000582 typedef key_type key_type_ref;
583
584 typedef uint32_t data_type;
585 typedef data_type data_type_ref;
586
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000587 static unsigned ComputeHash(PTHIdKey* key) {
Ted Kremenek7e3a0042009-02-11 21:29:16 +0000588 return BernsteinHash(key->II->getName());
589 }
590
591 static std::pair<unsigned,unsigned>
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000592 EmitKeyDataLength(llvm::raw_ostream& Out, const PTHIdKey* key, uint32_t) {
Ted Kremenek7e3a0042009-02-11 21:29:16 +0000593 unsigned n = strlen(key->II->getName()) + 1;
594 ::Emit16(Out, n);
595 return std::make_pair(n, sizeof(uint32_t));
596 }
597
Douglas Gregor3432fa52009-04-20 07:36:26 +0000598 static void EmitKey(llvm::raw_ostream& Out, PTHIdKey* key, unsigned n) {
Ted Kremenek7e3a0042009-02-11 21:29:16 +0000599 // Record the location of the key data. This is used when generating
600 // the mapping from persistent IDs to strings.
601 key->FileOffset = Out.tell();
602 Out.write(key->II->getName(), n);
603 }
604
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000605 static void EmitData(llvm::raw_ostream& Out, PTHIdKey*, uint32_t pID,
Ted Kremenek337edcd2009-02-12 03:26:59 +0000606 unsigned) {
Ted Kremenek7e3a0042009-02-11 21:29:16 +0000607 ::Emit32(Out, pID);
608 }
609};
610} // end anonymous namespace
611
612/// EmitIdentifierTable - Emits two tables to the PTH file. The first is
613/// a hashtable mapping from identifier strings to persistent IDs. The second
614/// is a straight table mapping from persistent IDs to string data (the
615/// keys of the first table).
616///
617std::pair<Offset,Offset> PTHWriter::EmitIdentifierTable() {
618 // Build two maps:
619 // (1) an inverse map from persistent IDs -> (IdentifierInfo*,Offset)
620 // (2) a map from (IdentifierInfo*, Offset)* -> persistent IDs
621
622 // Note that we use 'calloc', so all the bytes are 0.
Chris Lattnerf2390362009-03-28 00:16:20 +0000623 PTHIdKey *IIDMap = (PTHIdKey*)calloc(idcount, sizeof(PTHIdKey));
Ted Kremenek7e3a0042009-02-11 21:29:16 +0000624
625 // Create the hashtable.
Ted Kremeneka4b44dd2009-02-13 19:13:46 +0000626 OnDiskChainedHashTableGenerator<PTHIdentifierTableTrait> IIOffMap;
Ted Kremenek7e3a0042009-02-11 21:29:16 +0000627
628 // Generate mapping from persistent IDs -> IdentifierInfo*.
Chris Lattnerf2390362009-03-28 00:16:20 +0000629 for (IDMap::iterator I = IM.begin(), E = IM.end(); I != E; ++I) {
Ted Kremenek7e3a0042009-02-11 21:29:16 +0000630 // Decrement by 1 because we are using a vector for the lookup and
631 // 0 is reserved for NULL.
632 assert(I->second > 0);
633 assert(I->second-1 < idcount);
634 unsigned idx = I->second-1;
635
636 // Store the mapping from persistent ID to IdentifierInfo*
637 IIDMap[idx].II = I->first;
638
639 // Store the reverse mapping in a hashtable.
640 IIOffMap.insert(&IIDMap[idx], I->second);
641 }
642
643 // Write out the inverse map first. This causes the PCIDKey entries to
644 // record PTH file offsets for the string data. This is used to write
645 // the second table.
646 Offset StringTableOffset = IIOffMap.Emit(Out);
647
648 // Now emit the table mapping from persistent IDs to PTH file offsets.
649 Offset IDOff = Out.tell();
650 Emit32(idcount); // Emit the number of identifiers.
Chris Lattnerf2390362009-03-28 00:16:20 +0000651 for (unsigned i = 0 ; i < idcount; ++i)
652 Emit32(IIDMap[i].FileOffset);
Ted Kremenek7e3a0042009-02-11 21:29:16 +0000653
654 // Finally, release the inverse map.
655 free(IIDMap);
656
657 return std::make_pair(IDOff, StringTableOffset);
658}