blob: c4504a14456d4d5301186ceb634610999619ae80 [file] [log] [blame]
Ted Kremenek29942a32009-02-13 19:13:46 +00001//===--- CacheTokens.cpp - Caching of lexer tokens for PTH support --------===//
Ted Kremenek8ab23ad2008-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 Kremenek29942a32009-02-13 19:13:46 +000010// This provides a possible implementation of PTH support for Clang that is
Ted Kremenek8ab23ad2008-10-21 00:54:44 +000011// based on caching lexed tokens and identifiers.
12//
13//===----------------------------------------------------------------------===//
14
Ted Kremenek8ab23ad2008-10-21 00:54:44 +000015#include "clang/Basic/Diagnostic.h"
Chris Lattner226efd32010-11-23 19:19:34 +000016#include "clang/Basic/FileManager.h"
17#include "clang/Basic/FileSystemStatCache.h"
18#include "clang/Basic/IdentifierTable.h"
Chris Lattner226efd32010-11-23 19:19:34 +000019#include "clang/Basic/SourceManager.h"
Mehdi Amini9670f842016-07-18 19:02:11 +000020#include "clang/Frontend/Utils.h"
Ted Kremenek8ab23ad2008-10-21 00:54:44 +000021#include "clang/Lex/Lexer.h"
Reid Kleckner738d48d2015-11-02 17:53:55 +000022#include "clang/Lex/PTHManager.h"
Ted Kremenek8ab23ad2008-10-21 00:54:44 +000023#include "clang/Lex/Preprocessor.h"
Daniel Dunbar283ccf42009-10-17 20:43:58 +000024#include "llvm/ADT/StringMap.h"
Jonas Devlieghere560ce2c2018-02-26 15:16:42 +000025#include "llvm/Support/DJB.h"
Justin Bognere1c147c2014-03-28 22:03:19 +000026#include "llvm/Support/EndianStream.h"
Michael J. Spencer740857f2010-12-21 16:45:57 +000027#include "llvm/Support/FileSystem.h"
Ted Kremenek8ab23ad2008-10-21 00:54:44 +000028#include "llvm/Support/MemoryBuffer.h"
Justin Bognerbb094f02014-04-18 19:57:06 +000029#include "llvm/Support/OnDiskHashTable.h"
Michael J. Spencer8aaf4992010-11-29 18:12:39 +000030#include "llvm/Support/Path.h"
Ted Kremenek8ab23ad2008-10-21 00:54:44 +000031
Cedric Venetd3c80de2009-02-14 16:15:20 +000032// FIXME: put this somewhere else?
33#ifndef S_ISDIR
34#define S_ISDIR(x) (((x)&_S_IFDIR)!=0)
35#endif
36
Ted Kremenek8ab23ad2008-10-21 00:54:44 +000037using namespace clang;
Ted Kremenek351f7882009-02-10 01:14:45 +000038
39//===----------------------------------------------------------------------===//
40// PTH-specific stuff.
41//===----------------------------------------------------------------------===//
42
Justin Bognerbb094f02014-04-18 19:57:06 +000043typedef uint32_t Offset;
44
Ted Kremenek17f09da02009-01-08 02:44:06 +000045namespace {
Benjamin Kramer16634c22009-11-28 10:07:24 +000046class PTHEntry {
Mike Stump11289f42009-09-09 15:08:12 +000047 Offset TokenData, PPCondData;
Ted Kremenek17f09da02009-01-08 02:44:06 +000048
Mike Stump11289f42009-09-09 15:08:12 +000049public:
Angel Garcia Gomez637d1e62015-10-20 13:23:58 +000050 PTHEntry() {}
Ted Kremenek17f09da02009-01-08 02:44:06 +000051
Ted Kremenek29942a32009-02-13 19:13:46 +000052 PTHEntry(Offset td, Offset ppcd)
Ted Kremenek8d178f42009-01-27 00:01:05 +000053 : TokenData(td), PPCondData(ppcd) {}
Mike Stump11289f42009-09-09 15:08:12 +000054
55 Offset getTokenOffset() const { return TokenData; }
Ted Kremenek17f09da02009-01-08 02:44:06 +000056 Offset getPPCondTableOffset() const { return PPCondData; }
Ted Kremenek8d178f42009-01-27 00:01:05 +000057};
Mike Stump11289f42009-09-09 15:08:12 +000058
59
Benjamin Kramer16634c22009-11-28 10:07:24 +000060class PTHEntryKeyVariant {
Mehdi Amini0df59d82016-10-11 07:31:29 +000061 union {
62 const FileEntry *FE;
Reid Kleckner25717352016-10-11 17:24:09 +000063 // FIXME: Use "StringRef Path;" when MSVC 2013 is dropped.
64 const char *PathPtr;
Mehdi Amini0df59d82016-10-11 07:31:29 +000065 };
Reid Kleckner25717352016-10-11 17:24:09 +000066 size_t PathSize;
Ted Kremenek29942a32009-02-13 19:13:46 +000067 enum { IsFE = 0x1, IsDE = 0x2, IsNoExist = 0x0 } Kind;
Rafael Espindolaf8f91b82013-08-01 21:42:11 +000068 FileData *Data;
69
Ted Kremenek86423a92009-02-10 22:16:22 +000070public:
Craig Topper49a27902014-05-22 04:46:25 +000071 PTHEntryKeyVariant(const FileEntry *fe) : FE(fe), Kind(IsFE), Data(nullptr) {}
Ted Kremenek2fd18ec2009-02-13 22:07:44 +000072
Mehdi Amini0df59d82016-10-11 07:31:29 +000073 PTHEntryKeyVariant(FileData *Data, StringRef Path)
Reid Kleckner25717352016-10-11 17:24:09 +000074 : PathPtr(Path.data()), PathSize(Path.size()), Kind(IsDE),
75 Data(new FileData(*Data)) {}
Ted Kremenek2fd18ec2009-02-13 22:07:44 +000076
Mehdi Amini0df59d82016-10-11 07:31:29 +000077 explicit PTHEntryKeyVariant(StringRef Path)
Reid Kleckner25717352016-10-11 17:24:09 +000078 : PathPtr(Path.data()), PathSize(Path.size()), Kind(IsNoExist),
79 Data(nullptr) {}
Mike Stump11289f42009-09-09 15:08:12 +000080
Ted Kremenek2fd18ec2009-02-13 22:07:44 +000081 bool isFile() const { return Kind == IsFE; }
Mike Stump11289f42009-09-09 15:08:12 +000082
Chris Lattner0e62c1c2011-07-23 10:55:15 +000083 StringRef getString() const {
Reid Kleckner25717352016-10-11 17:24:09 +000084 return Kind == IsFE ? FE->getName() : StringRef(PathPtr, PathSize);
Ted Kremenek29942a32009-02-13 19:13:46 +000085 }
Mike Stump11289f42009-09-09 15:08:12 +000086
Ted Kremenek29942a32009-02-13 19:13:46 +000087 unsigned getKind() const { return (unsigned) Kind; }
Mike Stump11289f42009-09-09 15:08:12 +000088
Chris Lattner0e62c1c2011-07-23 10:55:15 +000089 void EmitData(raw_ostream& Out) {
Justin Bognere1c147c2014-03-28 22:03:19 +000090 using namespace llvm::support;
Peter Collingbournee3f65292018-05-18 19:46:24 +000091 endian::Writer LE(Out, little);
Ted Kremenek29942a32009-02-13 19:13:46 +000092 switch (Kind) {
Rafael Espindolaf8f91b82013-08-01 21:42:11 +000093 case IsFE: {
Mike Stump281d6d72010-01-20 02:03:14 +000094 // Emit stat information.
Rafael Espindolaf8f91b82013-08-01 21:42:11 +000095 llvm::sys::fs::UniqueID UID = FE->getUniqueID();
Justin Bognere1c147c2014-03-28 22:03:19 +000096 LE.write<uint64_t>(UID.getFile());
97 LE.write<uint64_t>(UID.getDevice());
98 LE.write<uint64_t>(FE->getModificationTime());
99 LE.write<uint64_t>(FE->getSize());
Rafael Espindolaf8f91b82013-08-01 21:42:11 +0000100 } break;
Mike Stump281d6d72010-01-20 02:03:14 +0000101 case IsDE:
102 // Emit stat information.
Justin Bognere1c147c2014-03-28 22:03:19 +0000103 LE.write<uint64_t>(Data->UniqueID.getFile());
104 LE.write<uint64_t>(Data->UniqueID.getDevice());
105 LE.write<uint64_t>(Data->ModTime);
106 LE.write<uint64_t>(Data->Size);
Rafael Espindolaf8f91b82013-08-01 21:42:11 +0000107 delete Data;
Mike Stump281d6d72010-01-20 02:03:14 +0000108 break;
109 default:
110 break;
Ted Kremenek29942a32009-02-13 19:13:46 +0000111 }
112 }
Mike Stump11289f42009-09-09 15:08:12 +0000113
Ted Kremenek29942a32009-02-13 19:13:46 +0000114 unsigned getRepresentationLength() const {
Reid Klecknerf7e61472015-11-02 20:47:31 +0000115 return Kind == IsNoExist ? 0 : 4 * 8;
Ted Kremenek29942a32009-02-13 19:13:46 +0000116 }
117};
Mike Stump11289f42009-09-09 15:08:12 +0000118
Benjamin Kramer16634c22009-11-28 10:07:24 +0000119class FileEntryPTHEntryInfo {
Ted Kremenek29942a32009-02-13 19:13:46 +0000120public:
121 typedef PTHEntryKeyVariant key_type;
Ted Kremenek86423a92009-02-10 22:16:22 +0000122 typedef key_type key_type_ref;
Mike Stump11289f42009-09-09 15:08:12 +0000123
Ted Kremenek29942a32009-02-13 19:13:46 +0000124 typedef PTHEntry data_type;
125 typedef const PTHEntry& data_type_ref;
Mike Stump11289f42009-09-09 15:08:12 +0000126
Justin Bogner25463f12014-04-18 20:27:24 +0000127 typedef unsigned hash_value_type;
128 typedef unsigned offset_type;
129
130 static hash_value_type ComputeHash(PTHEntryKeyVariant V) {
Jonas Devlieghere560ce2c2018-02-26 15:16:42 +0000131 return llvm::djbHash(V.getString());
Ted Kremenek86423a92009-02-10 22:16:22 +0000132 }
Mike Stump11289f42009-09-09 15:08:12 +0000133
134 static std::pair<unsigned,unsigned>
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000135 EmitKeyDataLength(raw_ostream& Out, PTHEntryKeyVariant V,
Ted Kremenek29942a32009-02-13 19:13:46 +0000136 const PTHEntry& E) {
Justin Bognere1c147c2014-03-28 22:03:19 +0000137 using namespace llvm::support;
Peter Collingbournee3f65292018-05-18 19:46:24 +0000138 endian::Writer LE(Out, little);
Ted Kremenek86423a92009-02-10 22:16:22 +0000139
Daniel Dunbar283ccf42009-10-17 20:43:58 +0000140 unsigned n = V.getString().size() + 1 + 1;
Justin Bognere1c147c2014-03-28 22:03:19 +0000141 LE.write<uint16_t>(n);
Mike Stump11289f42009-09-09 15:08:12 +0000142
Ted Kremenek2fd18ec2009-02-13 22:07:44 +0000143 unsigned m = V.getRepresentationLength() + (V.isFile() ? 4 + 4 : 0);
Justin Bognere1c147c2014-03-28 22:03:19 +0000144 LE.write<uint8_t>(m);
Ted Kremenek29942a32009-02-13 19:13:46 +0000145
146 return std::make_pair(n, m);
Ted Kremenek86423a92009-02-10 22:16:22 +0000147 }
Mike Stump11289f42009-09-09 15:08:12 +0000148
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000149 static void EmitKey(raw_ostream& Out, PTHEntryKeyVariant V, unsigned n){
Justin Bognere1c147c2014-03-28 22:03:19 +0000150 using namespace llvm::support;
Ted Kremenek29942a32009-02-13 19:13:46 +0000151 // Emit the entry kind.
Peter Collingbournee3f65292018-05-18 19:46:24 +0000152 Out << char(V.getKind());
Ted Kremenek29942a32009-02-13 19:13:46 +0000153 // Emit the string.
Daniel Dunbar283ccf42009-10-17 20:43:58 +0000154 Out.write(V.getString().data(), n - 1);
Ted Kremenek86423a92009-02-10 22:16:22 +0000155 }
Mike Stump11289f42009-09-09 15:08:12 +0000156
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000157 static void EmitData(raw_ostream& Out, PTHEntryKeyVariant V,
Ted Kremenek29942a32009-02-13 19:13:46 +0000158 const PTHEntry& E, unsigned) {
Justin Bognere1c147c2014-03-28 22:03:19 +0000159 using namespace llvm::support;
Peter Collingbournee3f65292018-05-18 19:46:24 +0000160 endian::Writer LE(Out, little);
Ted Kremenek29942a32009-02-13 19:13:46 +0000161
162 // For file entries emit the offsets into the PTH file for token data
163 // and the preprocessor blocks table.
Ted Kremenek2fd18ec2009-02-13 22:07:44 +0000164 if (V.isFile()) {
Justin Bognere1c147c2014-03-28 22:03:19 +0000165 LE.write<uint32_t>(E.getTokenOffset());
166 LE.write<uint32_t>(E.getPPCondTableOffset());
Ted Kremenek29942a32009-02-13 19:13:46 +0000167 }
Mike Stump11289f42009-09-09 15:08:12 +0000168
Ted Kremenek29942a32009-02-13 19:13:46 +0000169 // Emit any other data associated with the key (i.e., stat information).
170 V.EmitData(Out);
Mike Stump11289f42009-09-09 15:08:12 +0000171 }
Ted Kremenek86423a92009-02-10 22:16:22 +0000172};
Mike Stump11289f42009-09-09 15:08:12 +0000173
Ted Kremenek8d178f42009-01-27 00:01:05 +0000174class OffsetOpt {
175 bool valid;
176 Offset off;
177public:
178 OffsetOpt() : valid(false) {}
179 bool hasOffset() const { return valid; }
180 Offset getOffset() const { assert(valid); return off; }
181 void setOffset(Offset o) { off = o; valid = true; }
Ted Kremenek17f09da02009-01-08 02:44:06 +0000182};
183} // end anonymous namespace
184
Justin Bognerbb094f02014-04-18 19:57:06 +0000185typedef llvm::OnDiskChainedHashTableGenerator<FileEntryPTHEntryInfo> PTHMap;
Ted Kremenek8ab23ad2008-10-21 00:54:44 +0000186
Ted Kremenek352b8ba2009-01-08 01:17:37 +0000187namespace {
Benjamin Kramer16634c22009-11-28 10:07:24 +0000188class PTHWriter {
Kovarththanan Rajaratnam5497e492010-03-18 07:45:30 +0000189 typedef llvm::DenseMap<const IdentifierInfo*,uint32_t> IDMap;
190 typedef llvm::StringMap<OffsetOpt, llvm::BumpPtrAllocator> CachedStrsTy;
191
Rafael Espindola2f16bc12015-04-14 15:15:49 +0000192 raw_pwrite_stream &Out;
Ted Kremenek352b8ba2009-01-08 01:17:37 +0000193 Preprocessor& PP;
Alexander Shaposhnikov024bb4b2016-09-13 20:17:57 +0000194 IDMap IM;
195 std::vector<llvm::StringMapEntry<OffsetOpt>*> StrEntries;
Ted Kremenek29942a32009-02-13 19:13:46 +0000196 PTHMap PM;
Ted Kremenek17f09da02009-01-08 02:44:06 +0000197 CachedStrsTy CachedStrs;
Alexander Shaposhnikov024bb4b2016-09-13 20:17:57 +0000198 uint32_t idcount;
Ted Kremenek8d178f42009-01-27 00:01:05 +0000199 Offset CurStrOffset;
Ted Kremenek1bd0a552008-12-23 02:52:12 +0000200
Ted Kremenek352b8ba2009-01-08 01:17:37 +0000201 //// Get the persistent id for the given IdentifierInfo*.
202 uint32_t ResolveID(const IdentifierInfo* II);
Mike Stump11289f42009-09-09 15:08:12 +0000203
Ted Kremenek352b8ba2009-01-08 01:17:37 +0000204 /// Emit a token to the PTH file.
205 void EmitToken(const Token& T);
206
Justin Bognere1c147c2014-03-28 22:03:19 +0000207 void Emit8(uint32_t V) {
Peter Collingbournee3f65292018-05-18 19:46:24 +0000208 Out << char(V);
Justin Bognere1c147c2014-03-28 22:03:19 +0000209 }
Mike Stump11289f42009-09-09 15:08:12 +0000210
Justin Bognere1c147c2014-03-28 22:03:19 +0000211 void Emit16(uint32_t V) {
212 using namespace llvm::support;
Peter Collingbournee3f65292018-05-18 19:46:24 +0000213 endian::write<uint16_t>(Out, V, little);
Justin Bognere1c147c2014-03-28 22:03:19 +0000214 }
Mike Stump11289f42009-09-09 15:08:12 +0000215
Justin Bognere1c147c2014-03-28 22:03:19 +0000216 void Emit32(uint32_t V) {
217 using namespace llvm::support;
Peter Collingbournee3f65292018-05-18 19:46:24 +0000218 endian::write<uint32_t>(Out, V, little);
Justin Bognere1c147c2014-03-28 22:03:19 +0000219 }
Ted Kremenek5b229bc2009-02-10 01:06:17 +0000220
Chris Lattnera94d1392009-03-28 00:16:20 +0000221 void EmitBuf(const char *Ptr, unsigned NumBytes) {
222 Out.write(Ptr, NumBytes);
Ted Kremenek352b8ba2009-01-08 01:17:37 +0000223 }
Mike Stump11289f42009-09-09 15:08:12 +0000224
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000225 void EmitString(StringRef V) {
Justin Bognere1c147c2014-03-28 22:03:19 +0000226 using namespace llvm::support;
Peter Collingbournee3f65292018-05-18 19:46:24 +0000227 endian::write<uint16_t>(Out, V.size(), little);
Kovarththanan Rajaratnamb4c0f5c2010-03-14 08:35:19 +0000228 EmitBuf(V.data(), V.size());
229 }
230
Ted Kremeneke5554de2009-02-11 21:29:16 +0000231 /// EmitIdentifierTable - Emits two tables to the PTH file. The first is
232 /// a hashtable mapping from identifier strings to persistent IDs.
233 /// The second is a straight table mapping from persistent IDs to string data
234 /// (the keys of the first table).
Ted Kremenek8527e3a2009-02-11 16:06:55 +0000235 std::pair<Offset, Offset> EmitIdentifierTable();
Mike Stump11289f42009-09-09 15:08:12 +0000236
Ted Kremenek8527e3a2009-02-11 16:06:55 +0000237 /// EmitFileTable - Emit a table mapping from file name strings to PTH
238 /// token data.
239 Offset EmitFileTable() { return PM.Emit(Out); }
240
Ted Kremenek29942a32009-02-13 19:13:46 +0000241 PTHEntry LexTokens(Lexer& L);
Ted Kremenek8d178f42009-01-27 00:01:05 +0000242 Offset EmitCachedSpellings();
Ted Kremenek2fd18ec2009-02-13 22:07:44 +0000243
Ted Kremenek352b8ba2009-01-08 01:17:37 +0000244public:
Rafael Espindola2f16bc12015-04-14 15:15:49 +0000245 PTHWriter(raw_pwrite_stream &out, Preprocessor &pp)
246 : Out(out), PP(pp), idcount(0), CurStrOffset(0) {}
Mike Stump11289f42009-09-09 15:08:12 +0000247
Chris Lattner2b9e7ef2009-03-28 00:55:35 +0000248 PTHMap &getPM() { return PM; }
Benjamin Kramer0772c422016-02-13 13:42:54 +0000249 void GeneratePTH(StringRef MainFile);
Ted Kremenek352b8ba2009-01-08 01:17:37 +0000250};
251} // end anonymous namespace
Mike Stump11289f42009-09-09 15:08:12 +0000252
253uint32_t PTHWriter::ResolveID(const IdentifierInfo* II) {
Ted Kremenekccaab172008-12-02 19:44:08 +0000254 // Null IdentifierInfo's map to the persistent ID 0.
255 if (!II)
256 return 0;
Mike Stump11289f42009-09-09 15:08:12 +0000257
Ted Kremenek8ab23ad2008-10-21 00:54:44 +0000258 IDMap::iterator I = IM.find(II);
Chris Lattnera94d1392009-03-28 00:16:20 +0000259 if (I != IM.end())
260 return I->second; // We've already added 1.
Mike Stump11289f42009-09-09 15:08:12 +0000261
Chris Lattnera94d1392009-03-28 00:16:20 +0000262 IM[II] = ++idcount; // Pre-increment since '0' is reserved for NULL.
263 return idcount;
Ted Kremenek8ab23ad2008-10-21 00:54:44 +0000264}
265
Ted Kremenek352b8ba2009-01-08 01:17:37 +0000266void PTHWriter::EmitToken(const Token& T) {
Ted Kremenekd6e190d2009-02-24 01:26:56 +0000267 // Emit the token kind, flags, and length.
268 Emit32(((uint32_t) T.getKind()) | ((((uint32_t) T.getFlags())) << 8)|
269 (((uint32_t) T.getLength()) << 16));
Mike Stump11289f42009-09-09 15:08:12 +0000270
Chris Lattnera94d1392009-03-28 00:16:20 +0000271 if (!T.isLiteral()) {
272 Emit32(ResolveID(T.getIdentifierInfo()));
273 } else {
Ted Kremenekd6e190d2009-02-24 01:26:56 +0000274 // We cache *un-cleaned* spellings. This gives us 100% fidelity with the
275 // source code.
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000276 StringRef s(T.getLiteralData(), T.getLength());
Ted Kremenek1f11c652009-02-24 00:30:21 +0000277
Chris Lattner5a7971e2009-01-26 19:29:26 +0000278 // Get the string entry.
David Blaikie13156b62014-11-19 03:06:06 +0000279 auto &E = *CachedStrs.insert(std::make_pair(s, OffsetOpt())).first;
Mike Stump11289f42009-09-09 15:08:12 +0000280
Ted Kremenekd6e190d2009-02-24 01:26:56 +0000281 // If this is a new string entry, bump the PTH offset.
David Blaikie13156b62014-11-19 03:06:06 +0000282 if (!E.second.hasOffset()) {
283 E.second.setOffset(CurStrOffset);
284 StrEntries.push_back(&E);
Jay Foad9a6b0982011-06-21 15:13:30 +0000285 CurStrOffset += s.size() + 1;
Ted Kremenek8d178f42009-01-27 00:01:05 +0000286 }
Mike Stump11289f42009-09-09 15:08:12 +0000287
Ted Kremenek1f11c652009-02-24 00:30:21 +0000288 // Emit the relative offset into the PTH file for the spelling string.
David Blaikie13156b62014-11-19 03:06:06 +0000289 Emit32(E.second.getOffset());
Ted Kremenek352b8ba2009-01-08 01:17:37 +0000290 }
Mike Stump11289f42009-09-09 15:08:12 +0000291
Ted Kremenek1f11c652009-02-24 00:30:21 +0000292 // Emit the offset into the original source file of this token so that we
293 // can reconstruct its SourceLocation.
Chris Lattnerc360bf22009-01-27 06:27:13 +0000294 Emit32(PP.getSourceManager().getFileOffset(T.getLocation()));
Ted Kremenek8ab23ad2008-10-21 00:54:44 +0000295}
296
Ted Kremenek29942a32009-02-13 19:13:46 +0000297PTHEntry PTHWriter::LexTokens(Lexer& L) {
Ted Kremenek8433f0b2009-01-19 23:13:15 +0000298 // Pad 0's so that we emit tokens to a 4-byte alignment.
299 // This speed up reading them back in.
Justin Bognerbb094f02014-04-18 19:57:06 +0000300 using namespace llvm::support;
Peter Collingbournee3f65292018-05-18 19:46:24 +0000301 endian::Writer LE(Out, little);
Justin Bognerbb094f02014-04-18 19:57:06 +0000302 uint32_t TokenOff = Out.tell();
303 for (uint64_t N = llvm::OffsetToAlignment(TokenOff, 4); N; --N, ++TokenOff)
304 LE.write<uint8_t>(0);
Mike Stump11289f42009-09-09 15:08:12 +0000305
Ted Kremenek864eb392008-12-11 23:36:38 +0000306 // Keep track of matching '#if' ... '#endif'.
307 typedef std::vector<std::pair<Offset, unsigned> > PPCondTable;
308 PPCondTable PPCond;
Ted Kremenekee87e0b2008-12-12 18:31:09 +0000309 std::vector<unsigned> PPStartCond;
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000310 bool ParsingPreprocessorDirective = false;
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000311 Token Tok;
Mike Stump11289f42009-09-09 15:08:12 +0000312
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000313 do {
314 L.LexFromRawLexer(Tok);
Ted Kremenekc7d69642009-02-10 22:43:16 +0000315 NextToken:
316
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000317 if ((Tok.isAtStartOfLine() || Tok.is(tok::eof)) &&
318 ParsingPreprocessorDirective) {
Peter Collingbourne2f1e36b2011-02-28 02:37:51 +0000319 // Insert an eod token into the token cache. It has the same
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000320 // position as the next token that is not on the same line as the
321 // preprocessor directive. Observe that we continue processing
322 // 'Tok' when we exit this branch.
323 Token Tmp = Tok;
Peter Collingbourne2f1e36b2011-02-28 02:37:51 +0000324 Tmp.setKind(tok::eod);
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000325 Tmp.clearFlag(Token::StartOfLine);
Craig Topper49a27902014-05-22 04:46:25 +0000326 Tmp.setIdentifierInfo(nullptr);
Ted Kremenek352b8ba2009-01-08 01:17:37 +0000327 EmitToken(Tmp);
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000328 ParsingPreprocessorDirective = false;
329 }
Mike Stump11289f42009-09-09 15:08:12 +0000330
Abramo Bagnaraea4f7c72010-12-22 08:23:18 +0000331 if (Tok.is(tok::raw_identifier)) {
Kovarththanan Rajaratname5f1c192010-03-13 08:53:33 +0000332 PP.LookUpIdentifierInfo(Tok);
Ted Kremenek99c72752009-02-10 22:27:09 +0000333 EmitToken(Tok);
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000334 continue;
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000335 }
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000336
337 if (Tok.is(tok::hash) && Tok.isAtStartOfLine()) {
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000338 // Special processing for #include. Store the '#' token and lex
339 // the next token.
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000340 assert(!ParsingPreprocessorDirective);
Ted Kremenek864eb392008-12-11 23:36:38 +0000341 Offset HashOff = (Offset) Out.tell();
Ted Kremenekee87e0b2008-12-12 18:31:09 +0000342
343 // Get the next token.
Ted Kremenekfee882a2010-07-27 02:58:57 +0000344 Token NextTok;
345 L.LexFromRawLexer(NextTok);
Chris Lattner9941ce32009-04-19 07:25:40 +0000346
Ted Kremenekfee882a2010-07-27 02:58:57 +0000347 // If we see the start of line, then we had a null directive "#". In
348 // this case, discard both tokens.
349 if (NextTok.isAtStartOfLine())
Chris Lattner9941ce32009-04-19 07:25:40 +0000350 goto NextToken;
Abramo Bagnaraea4f7c72010-12-22 08:23:18 +0000351
Ted Kremenekfee882a2010-07-27 02:58:57 +0000352 // The token is the start of a directive. Emit it.
353 EmitToken(Tok);
354 Tok = NextTok;
Mike Stump11289f42009-09-09 15:08:12 +0000355
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000356 // Did we see 'include'/'import'/'include_next'?
Abramo Bagnaraea4f7c72010-12-22 08:23:18 +0000357 if (Tok.isNot(tok::raw_identifier)) {
Ted Kremenek99c72752009-02-10 22:27:09 +0000358 EmitToken(Tok);
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000359 continue;
Ted Kremenek99c72752009-02-10 22:27:09 +0000360 }
Mike Stump11289f42009-09-09 15:08:12 +0000361
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000362 IdentifierInfo* II = PP.LookUpIdentifierInfo(Tok);
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000363 tok::PPKeywordKind K = II->getPPKeywordID();
Mike Stump11289f42009-09-09 15:08:12 +0000364
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000365 ParsingPreprocessorDirective = true;
Mike Stump11289f42009-09-09 15:08:12 +0000366
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000367 switch (K) {
Chris Lattner30b55dc2009-04-19 07:32:03 +0000368 case tok::pp_not_keyword:
369 // Invalid directives "#foo" can occur in #if 0 blocks etc, just pass
370 // them through.
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000371 default:
372 break;
Mike Stump11289f42009-09-09 15:08:12 +0000373
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000374 case tok::pp_include:
375 case tok::pp_import:
Mike Stump11289f42009-09-09 15:08:12 +0000376 case tok::pp_include_next: {
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000377 // Save the 'include' token.
Ted Kremenek352b8ba2009-01-08 01:17:37 +0000378 EmitToken(Tok);
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000379 // Lex the next token as an include string.
380 L.setParsingPreprocessorDirective(true);
Mike Stump11289f42009-09-09 15:08:12 +0000381 L.LexIncludeFilename(Tok);
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000382 L.setParsingPreprocessorDirective(false);
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000383 assert(!Tok.isAtStartOfLine());
Abramo Bagnaraea4f7c72010-12-22 08:23:18 +0000384 if (Tok.is(tok::raw_identifier))
Kovarththanan Rajaratname5f1c192010-03-13 08:53:33 +0000385 PP.LookUpIdentifierInfo(Tok);
Mike Stump11289f42009-09-09 15:08:12 +0000386
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000387 break;
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000388 }
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000389 case tok::pp_if:
390 case tok::pp_ifdef:
391 case tok::pp_ifndef: {
Ted Kremenek99c72752009-02-10 22:27:09 +0000392 // Add an entry for '#if' and friends. We initially set the target
393 // index to 0. This will get backpatched when we hit #endif.
Ted Kremenek864eb392008-12-11 23:36:38 +0000394 PPStartCond.push_back(PPCond.size());
Ted Kremenekee87e0b2008-12-12 18:31:09 +0000395 PPCond.push_back(std::make_pair(HashOff, 0U));
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000396 break;
Ted Kremenek864eb392008-12-11 23:36:38 +0000397 }
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000398 case tok::pp_endif: {
Ted Kremenek864eb392008-12-11 23:36:38 +0000399 // Add an entry for '#endif'. We set the target table index to itself.
Ted Kremenekee87e0b2008-12-12 18:31:09 +0000400 // This will later be set to zero when emitting to the PTH file. We
401 // use 0 for uninitialized indices because that is easier to debug.
Ted Kremenek864eb392008-12-11 23:36:38 +0000402 unsigned index = PPCond.size();
Ted Kremenek864eb392008-12-11 23:36:38 +0000403 // Backpatch the opening '#if' entry.
Ted Kremenekee87e0b2008-12-12 18:31:09 +0000404 assert(!PPStartCond.empty());
405 assert(PPCond.size() > PPStartCond.back());
Ted Kremenek864eb392008-12-11 23:36:38 +0000406 assert(PPCond[PPStartCond.back()].second == 0);
407 PPCond[PPStartCond.back()].second = index;
Mike Stump11289f42009-09-09 15:08:12 +0000408 PPStartCond.pop_back();
409 // Add the new entry to PPCond.
Ted Kremenekee87e0b2008-12-12 18:31:09 +0000410 PPCond.push_back(std::make_pair(HashOff, index));
Ted Kremenekc7d69642009-02-10 22:43:16 +0000411 EmitToken(Tok);
Mike Stump11289f42009-09-09 15:08:12 +0000412
Ted Kremenekc7d69642009-02-10 22:43:16 +0000413 // Some files have gibberish on the same line as '#endif'.
414 // Discard these tokens.
Chris Lattner6ada5d72009-04-19 07:15:51 +0000415 do
416 L.LexFromRawLexer(Tok);
417 while (Tok.isNot(tok::eof) && !Tok.isAtStartOfLine());
Ted Kremenekc7d69642009-02-10 22:43:16 +0000418 // We have the next token in hand.
419 // Don't immediately lex the next one.
Mike Stump11289f42009-09-09 15:08:12 +0000420 goto NextToken;
Ted Kremenek864eb392008-12-11 23:36:38 +0000421 }
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000422 case tok::pp_elif:
423 case tok::pp_else: {
424 // Add an entry for #elif or #else.
Ted Kremenekee87e0b2008-12-12 18:31:09 +0000425 // This serves as both a closing and opening of a conditional block.
426 // This means that its entry will get backpatched later.
Ted Kremenek864eb392008-12-11 23:36:38 +0000427 unsigned index = PPCond.size();
Ted Kremenek864eb392008-12-11 23:36:38 +0000428 // Backpatch the previous '#if' entry.
Ted Kremenekee87e0b2008-12-12 18:31:09 +0000429 assert(!PPStartCond.empty());
430 assert(PPCond.size() > PPStartCond.back());
Ted Kremenek864eb392008-12-11 23:36:38 +0000431 assert(PPCond[PPStartCond.back()].second == 0);
432 PPCond[PPStartCond.back()].second = index;
433 PPStartCond.pop_back();
434 // Now add '#elif' as a new block opening.
Ted Kremenekee87e0b2008-12-12 18:31:09 +0000435 PPCond.push_back(std::make_pair(HashOff, 0U));
436 PPStartCond.push_back(index);
Ted Kremenek1b18ad22008-12-23 01:30:52 +0000437 break;
438 }
Ted Kremenek864eb392008-12-11 23:36:38 +0000439 }
Ted Kremenek99c72752009-02-10 22:27:09 +0000440 }
Mike Stump11289f42009-09-09 15:08:12 +0000441
Ted Kremenek99c72752009-02-10 22:27:09 +0000442 EmitToken(Tok);
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000443 }
Ted Kremenek99c72752009-02-10 22:27:09 +0000444 while (Tok.isNot(tok::eof));
Ted Kremenek352b8ba2009-01-08 01:17:37 +0000445
Ted Kremenekee87e0b2008-12-12 18:31:09 +0000446 assert(PPStartCond.empty() && "Error: imblanced preprocessor conditionals.");
Ted Kremenek352b8ba2009-01-08 01:17:37 +0000447
Ted Kremenek864eb392008-12-11 23:36:38 +0000448 // Next write out PPCond.
449 Offset PPCondOff = (Offset) Out.tell();
Ted Kremenekee87e0b2008-12-12 18:31:09 +0000450
451 // Write out the size of PPCond so that clients can identifer empty tables.
Ted Kremenek352b8ba2009-01-08 01:17:37 +0000452 Emit32(PPCond.size());
Ted Kremenekccaab172008-12-02 19:44:08 +0000453
Ted Kremenekee87e0b2008-12-12 18:31:09 +0000454 for (unsigned i = 0, e = PPCond.size(); i!=e; ++i) {
Kovarththanan Rajaratnam3fd80822010-03-18 07:18:10 +0000455 Emit32(PPCond[i].first - TokenOff);
Ted Kremenekee87e0b2008-12-12 18:31:09 +0000456 uint32_t x = PPCond[i].second;
457 assert(x != 0 && "PPCond entry not backpatched.");
458 // Emit zero for #endifs. This allows us to do checking when
459 // we read the PTH file back in.
Ted Kremenek352b8ba2009-01-08 01:17:37 +0000460 Emit32(x == i ? 0 : x);
Ted Kremenek864eb392008-12-11 23:36:38 +0000461 }
462
Kovarththanan Rajaratnam3fd80822010-03-18 07:18:10 +0000463 return PTHEntry(TokenOff, PPCondOff);
Ted Kremenek17f09da02009-01-08 02:44:06 +0000464}
465
Ted Kremenek8d178f42009-01-27 00:01:05 +0000466Offset PTHWriter::EmitCachedSpellings() {
467 // Write each cached strings to the PTH file.
468 Offset SpellingsOff = Out.tell();
Mike Stump11289f42009-09-09 15:08:12 +0000469
Ted Kremenek8d178f42009-01-27 00:01:05 +0000470 for (std::vector<llvm::StringMapEntry<OffsetOpt>*>::iterator
Chris Lattnera94d1392009-03-28 00:16:20 +0000471 I = StrEntries.begin(), E = StrEntries.end(); I!=E; ++I)
472 EmitBuf((*I)->getKeyData(), (*I)->getKeyLength()+1 /*nul included*/);
Mike Stump11289f42009-09-09 15:08:12 +0000473
Ted Kremenek8d178f42009-01-27 00:01:05 +0000474 return SpellingsOff;
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000475}
Ted Kremenek8ab23ad2008-10-21 00:54:44 +0000476
Rafael Espindola2f16bc12015-04-14 15:15:49 +0000477static uint32_t swap32le(uint32_t X) {
478 return llvm::support::endian::byte_swap<uint32_t, llvm::support::little>(X);
479}
480
481static void pwrite32le(raw_pwrite_stream &OS, uint32_t Val, uint64_t &Off) {
482 uint32_t LEVal = swap32le(Val);
483 OS.pwrite(reinterpret_cast<const char *>(&LEVal), 4, Off);
484 Off += 4;
485}
486
Benjamin Kramer0772c422016-02-13 13:42:54 +0000487void PTHWriter::GeneratePTH(StringRef MainFile) {
Ted Kremenekeb8c8fb2009-01-26 21:43:14 +0000488 // Generate the prologue.
Richard Smith2683b4c2012-08-17 03:55:43 +0000489 Out << "cfe-pth" << '\0';
Ted Kremenek978b5be2009-01-26 21:50:21 +0000490 Emit32(PTHManager::Version);
Mike Stump11289f42009-09-09 15:08:12 +0000491
Ted Kremenek4c1d41f2009-02-11 23:34:32 +0000492 // Leave 4 words for the prologue.
493 Offset PrologueOffset = Out.tell();
Chris Lattnera94d1392009-03-28 00:16:20 +0000494 for (unsigned i = 0; i < 4; ++i)
495 Emit32(0);
Mike Stump11289f42009-09-09 15:08:12 +0000496
Ted Kremenek7040b572009-03-19 22:10:38 +0000497 // Write the name of the MainFile.
Kovarththanan Rajaratnamd3fa9722010-03-14 07:55:43 +0000498 if (!MainFile.empty()) {
Kovarththanan Rajaratnam3fd80822010-03-18 07:18:10 +0000499 EmitString(MainFile);
Chris Lattnera94d1392009-03-28 00:16:20 +0000500 } else {
Ted Kremenek7040b572009-03-19 22:10:38 +0000501 // String with 0 bytes.
502 Emit16(0);
503 }
504 Emit8(0);
Mike Stump11289f42009-09-09 15:08:12 +0000505
Ted Kremenek8ab23ad2008-10-21 00:54:44 +0000506 // Iterate over all the files in SourceManager. Create a lexer
507 // for each file and cache the tokens.
Chris Lattner1abd2092009-01-17 03:48:08 +0000508 SourceManager &SM = PP.getSourceManager();
David Blaikiebbafb8a2012-03-11 07:00:24 +0000509 const LangOptions &LOpts = PP.getLangOpts();
Mike Stump11289f42009-09-09 15:08:12 +0000510
Chris Lattner1abd2092009-01-17 03:48:08 +0000511 for (SourceManager::fileinfo_iterator I = SM.fileinfo_begin(),
512 E = SM.fileinfo_end(); I != E; ++I) {
Chris Lattnerc8233df2009-02-03 07:30:45 +0000513 const SrcMgr::ContentCache &C = *I->second;
Argyrios Kyrtzidis11e6f0a2011-03-05 01:03:53 +0000514 const FileEntry *FE = C.OrigEntry;
Mike Stump11289f42009-09-09 15:08:12 +0000515
Ted Kremenekccaab172008-12-02 19:44:08 +0000516 // FIXME: Handle files with non-absolute paths.
Michael J. Spencerf28df4c2010-12-17 21:22:22 +0000517 if (llvm::sys::path::is_relative(FE->getName()))
Ted Kremenekccaab172008-12-02 19:44:08 +0000518 continue;
Ted Kremenek8ab23ad2008-10-21 00:54:44 +0000519
Chris Lattnerfb24a3a2010-04-20 20:35:58 +0000520 const llvm::MemoryBuffer *B = C.getBuffer(PP.getDiagnostics(), SM);
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000521 if (!B) continue;
Ted Kremenek864eb392008-12-11 23:36:38 +0000522
Chris Lattnerd32480d2009-01-17 06:22:33 +0000523 FileID FID = SM.createFileID(FE, SourceLocation(), SrcMgr::C_User);
Chris Lattner710bb872009-11-30 04:18:44 +0000524 const llvm::MemoryBuffer *FromFile = SM.getBuffer(FID);
525 Lexer L(FID, FromFile, SM, LOpts);
Ted Kremenek86423a92009-02-10 22:16:22 +0000526 PM.insert(FE, LexTokens(L));
Daniel Dunbar3ea94852008-11-26 02:18:33 +0000527 }
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000528
529 // Write out the identifier table.
Chris Lattnera94d1392009-03-28 00:16:20 +0000530 const std::pair<Offset,Offset> &IdTableOff = EmitIdentifierTable();
Mike Stump11289f42009-09-09 15:08:12 +0000531
Ted Kremenek17f09da02009-01-08 02:44:06 +0000532 // Write out the cached strings table.
Ted Kremenek8d178f42009-01-27 00:01:05 +0000533 Offset SpellingOff = EmitCachedSpellings();
Mike Stump11289f42009-09-09 15:08:12 +0000534
Ted Kremenekbf2d6012008-11-26 03:36:26 +0000535 // Write out the file table.
Mike Stump11289f42009-09-09 15:08:12 +0000536 Offset FileTableOff = EmitFileTable();
537
Ted Kremenek4c1d41f2009-02-11 23:34:32 +0000538 // Finally, write the prologue.
Rafael Espindola2f16bc12015-04-14 15:15:49 +0000539 uint64_t Off = PrologueOffset;
540 pwrite32le(Out, IdTableOff.first, Off);
541 pwrite32le(Out, IdTableOff.second, Off);
542 pwrite32le(Out, FileTableOff, Off);
543 pwrite32le(Out, SpellingOff, Off);
Ted Kremenek352b8ba2009-01-08 01:17:37 +0000544}
545
Chris Lattner2b9e7ef2009-03-28 00:55:35 +0000546namespace {
547/// StatListener - A simple "interpose" object used to monitor stat calls
548/// invoked by FileManager while processing the original sources used
549/// as input to PTH generation. StatListener populates the PTHWriter's
550/// file map with stat information for directories as well as negative stats.
551/// Stat information for files are populated elsewhere.
Chris Lattner226efd32010-11-23 19:19:34 +0000552class StatListener : public FileSystemStatCache {
Chris Lattner2b9e7ef2009-03-28 00:55:35 +0000553 PTHMap &PM;
554public:
555 StatListener(PTHMap &pm) : PM(pm) {}
Angel Garcia Gomez637d1e62015-10-20 13:23:58 +0000556 ~StatListener() override {}
Mike Stump11289f42009-09-09 15:08:12 +0000557
Mehdi Amini0df59d82016-10-11 07:31:29 +0000558 LookupResult getStat(StringRef Path, FileData &Data, bool isFile,
David Blaikie326ffb32014-07-08 15:46:02 +0000559 std::unique_ptr<vfs::File> *F,
560 vfs::FileSystem &FS) override {
Ben Langmuirc8130a72014-02-20 21:59:23 +0000561 LookupResult Result = statChained(Path, Data, isFile, F, FS);
Mike Stump11289f42009-09-09 15:08:12 +0000562
Chris Lattner8f0583d2010-11-23 20:05:15 +0000563 if (Result == CacheMissing) // Failed 'stat'.
Chris Lattner226efd32010-11-23 19:19:34 +0000564 PM.insert(PTHEntryKeyVariant(Path), PTHEntry());
Rafael Espindolaf8f91b82013-08-01 21:42:11 +0000565 else if (Data.IsDirectory) {
Chris Lattner2b9e7ef2009-03-28 00:55:35 +0000566 // Only cache directories with absolute paths.
Michael J. Spencerf28df4c2010-12-17 21:22:22 +0000567 if (llvm::sys::path::is_relative(Path))
Chris Lattner226efd32010-11-23 19:19:34 +0000568 return Result;
Mike Stump11289f42009-09-09 15:08:12 +0000569
Rafael Espindolaf8f91b82013-08-01 21:42:11 +0000570 PM.insert(PTHEntryKeyVariant(&Data, Path), PTHEntry());
Chris Lattner2b9e7ef2009-03-28 00:55:35 +0000571 }
Mike Stump11289f42009-09-09 15:08:12 +0000572
Chris Lattner226efd32010-11-23 19:19:34 +0000573 return Result;
Chris Lattner2b9e7ef2009-03-28 00:55:35 +0000574 }
575};
576} // end anonymous namespace
577
Rafael Espindola2f16bc12015-04-14 15:15:49 +0000578void clang::CacheTokens(Preprocessor &PP, raw_pwrite_stream *OS) {
Ted Kremenek7040b572009-03-19 22:10:38 +0000579 // Get the name of the main file.
580 const SourceManager &SrcMgr = PP.getSourceManager();
581 const FileEntry *MainFile = SrcMgr.getFileEntryForID(SrcMgr.getMainFileID());
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000582 SmallString<128> MainFilePath(MainFile->getName());
Mike Stump11289f42009-09-09 15:08:12 +0000583
Michael J. Spencer740857f2010-12-21 16:45:57 +0000584 llvm::sys::fs::make_absolute(MainFilePath);
Ted Kremenek2fd18ec2009-02-13 22:07:44 +0000585
586 // Create the PTHWriter.
Eli Friedmanfcb57d52009-05-19 01:02:07 +0000587 PTHWriter PW(*OS, PP);
Mike Stump11289f42009-09-09 15:08:12 +0000588
Ted Kremenek2fd18ec2009-02-13 22:07:44 +0000589 // Install the 'stat' system call listener in the FileManager.
David Blaikie23430cc2014-08-11 21:29:24 +0000590 auto StatCacheOwner = llvm::make_unique<StatListener>(PW.getPM());
591 StatListener *StatCache = StatCacheOwner.get();
592 PP.getFileManager().addStatCache(std::move(StatCacheOwner),
593 /*AtBeginning=*/true);
Mike Stump11289f42009-09-09 15:08:12 +0000594
Ted Kremenek2fd18ec2009-02-13 22:07:44 +0000595 // Lex through the entire file. This will populate SourceManager with
596 // all of the header information.
597 Token Tok;
Chris Lattnerfb24a3a2010-04-20 20:35:58 +0000598 PP.EnterMainSourceFile();
Ted Kremenek2fd18ec2009-02-13 22:07:44 +0000599 do { PP.Lex(Tok); } while (Tok.isNot(tok::eof));
Mike Stump11289f42009-09-09 15:08:12 +0000600
Ted Kremenek2fd18ec2009-02-13 22:07:44 +0000601 // Generate the PTH file.
Douglas Gregord2eb58a2009-10-16 18:18:30 +0000602 PP.getFileManager().removeStatCache(StatCache);
Kovarththanan Rajaratnamfb076202010-03-14 07:38:15 +0000603 PW.GeneratePTH(MainFilePath.str());
Ted Kremenek8ab23ad2008-10-21 00:54:44 +0000604}
Ted Kremenek5b229bc2009-02-10 01:06:17 +0000605
Ted Kremeneke5554de2009-02-11 21:29:16 +0000606//===----------------------------------------------------------------------===//
607
Kovarththanan Rajaratnamb65a1482010-03-14 06:48:05 +0000608namespace {
Chris Lattnera94d1392009-03-28 00:16:20 +0000609class PTHIdKey {
Ted Kremeneke5554de2009-02-11 21:29:16 +0000610public:
611 const IdentifierInfo* II;
612 uint32_t FileOffset;
613};
614
Benjamin Kramer16634c22009-11-28 10:07:24 +0000615class PTHIdentifierTableTrait {
Ted Kremeneke5554de2009-02-11 21:29:16 +0000616public:
Ted Kremenek29942a32009-02-13 19:13:46 +0000617 typedef PTHIdKey* key_type;
Ted Kremeneke5554de2009-02-11 21:29:16 +0000618 typedef key_type key_type_ref;
Mike Stump11289f42009-09-09 15:08:12 +0000619
Ted Kremeneke5554de2009-02-11 21:29:16 +0000620 typedef uint32_t data_type;
621 typedef data_type data_type_ref;
Mike Stump11289f42009-09-09 15:08:12 +0000622
Justin Bogner25463f12014-04-18 20:27:24 +0000623 typedef unsigned hash_value_type;
624 typedef unsigned offset_type;
625
626 static hash_value_type ComputeHash(PTHIdKey* key) {
Jonas Devlieghere560ce2c2018-02-26 15:16:42 +0000627 return llvm::djbHash(key->II->getName());
Ted Kremeneke5554de2009-02-11 21:29:16 +0000628 }
Mike Stump11289f42009-09-09 15:08:12 +0000629
630 static std::pair<unsigned,unsigned>
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000631 EmitKeyDataLength(raw_ostream& Out, const PTHIdKey* key, uint32_t) {
Justin Bognere1c147c2014-03-28 22:03:19 +0000632 using namespace llvm::support;
Daniel Dunbar2c422dc92009-10-18 20:26:12 +0000633 unsigned n = key->II->getLength() + 1;
Peter Collingbournee3f65292018-05-18 19:46:24 +0000634 endian::write<uint16_t>(Out, n, little);
Ted Kremeneke5554de2009-02-11 21:29:16 +0000635 return std::make_pair(n, sizeof(uint32_t));
636 }
Mike Stump11289f42009-09-09 15:08:12 +0000637
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000638 static void EmitKey(raw_ostream& Out, PTHIdKey* key, unsigned n) {
Ted Kremeneke5554de2009-02-11 21:29:16 +0000639 // Record the location of the key data. This is used when generating
640 // the mapping from persistent IDs to strings.
641 key->FileOffset = Out.tell();
Daniel Dunbar2c422dc92009-10-18 20:26:12 +0000642 Out.write(key->II->getNameStart(), n);
Ted Kremeneke5554de2009-02-11 21:29:16 +0000643 }
Mike Stump11289f42009-09-09 15:08:12 +0000644
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000645 static void EmitData(raw_ostream& Out, PTHIdKey*, uint32_t pID,
Ted Kremeneka5c2c272009-02-12 03:26:59 +0000646 unsigned) {
Justin Bognere1c147c2014-03-28 22:03:19 +0000647 using namespace llvm::support;
Peter Collingbournee3f65292018-05-18 19:46:24 +0000648 endian::write<uint32_t>(Out, pID, little);
Mike Stump11289f42009-09-09 15:08:12 +0000649 }
Ted Kremeneke5554de2009-02-11 21:29:16 +0000650};
651} // end anonymous namespace
652
653/// EmitIdentifierTable - Emits two tables to the PTH file. The first is
654/// a hashtable mapping from identifier strings to persistent IDs. The second
655/// is a straight table mapping from persistent IDs to string data (the
656/// keys of the first table).
657///
658std::pair<Offset,Offset> PTHWriter::EmitIdentifierTable() {
659 // Build two maps:
660 // (1) an inverse map from persistent IDs -> (IdentifierInfo*,Offset)
661 // (2) a map from (IdentifierInfo*, Offset)* -> persistent IDs
662
663 // Note that we use 'calloc', so all the bytes are 0.
Serge Pavlov52525732018-02-21 02:02:39 +0000664 PTHIdKey *IIDMap = static_cast<PTHIdKey*>(
665 llvm::safe_calloc(idcount, sizeof(PTHIdKey)));
Ted Kremeneke5554de2009-02-11 21:29:16 +0000666
667 // Create the hashtable.
Justin Bognerbb094f02014-04-18 19:57:06 +0000668 llvm::OnDiskChainedHashTableGenerator<PTHIdentifierTableTrait> IIOffMap;
Mike Stump11289f42009-09-09 15:08:12 +0000669
Ted Kremeneke5554de2009-02-11 21:29:16 +0000670 // Generate mapping from persistent IDs -> IdentifierInfo*.
Chris Lattnera94d1392009-03-28 00:16:20 +0000671 for (IDMap::iterator I = IM.begin(), E = IM.end(); I != E; ++I) {
Ted Kremeneke5554de2009-02-11 21:29:16 +0000672 // Decrement by 1 because we are using a vector for the lookup and
673 // 0 is reserved for NULL.
674 assert(I->second > 0);
675 assert(I->second-1 < idcount);
676 unsigned idx = I->second-1;
Mike Stump11289f42009-09-09 15:08:12 +0000677
Ted Kremeneke5554de2009-02-11 21:29:16 +0000678 // Store the mapping from persistent ID to IdentifierInfo*
679 IIDMap[idx].II = I->first;
Mike Stump11289f42009-09-09 15:08:12 +0000680
Ted Kremeneke5554de2009-02-11 21:29:16 +0000681 // Store the reverse mapping in a hashtable.
682 IIOffMap.insert(&IIDMap[idx], I->second);
683 }
Mike Stump11289f42009-09-09 15:08:12 +0000684
Ted Kremeneke5554de2009-02-11 21:29:16 +0000685 // Write out the inverse map first. This causes the PCIDKey entries to
686 // record PTH file offsets for the string data. This is used to write
687 // the second table.
688 Offset StringTableOffset = IIOffMap.Emit(Out);
Mike Stump11289f42009-09-09 15:08:12 +0000689
690 // Now emit the table mapping from persistent IDs to PTH file offsets.
Ted Kremeneke5554de2009-02-11 21:29:16 +0000691 Offset IDOff = Out.tell();
692 Emit32(idcount); // Emit the number of identifiers.
Chris Lattnera94d1392009-03-28 00:16:20 +0000693 for (unsigned i = 0 ; i < idcount; ++i)
694 Emit32(IIDMap[i].FileOffset);
Mike Stump11289f42009-09-09 15:08:12 +0000695
Ted Kremeneke5554de2009-02-11 21:29:16 +0000696 // Finally, release the inverse map.
697 free(IIDMap);
Mike Stump11289f42009-09-09 15:08:12 +0000698
Ted Kremeneke5554de2009-02-11 21:29:16 +0000699 return std::make_pair(IDOff, StringTableOffset);
700}