blob: 9be7b033f7f63883cbe0bcdf12329e8da9e9291b [file] [log] [blame]
Chris Lattner0f441ab2007-12-17 08:22:46 +00001//===--- HeaderMap.cpp - A file that acts like dir of symlinks ------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner0bc735f2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner0f441ab2007-12-17 08:22:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the HeaderMap interface.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/Lex/HeaderMap.h"
Chris Lattner1bfd4a62007-12-17 18:34:53 +000015#include "clang/Basic/FileManager.h"
Ted Kremenekee533642007-12-20 19:47:16 +000016#include "llvm/ADT/OwningPtr.h"
Chris Lattner5fb125c2007-12-17 21:38:04 +000017#include "llvm/ADT/SmallString.h"
Michael J. Spencer03013fa2010-11-29 18:12:39 +000018#include "llvm/Support/DataTypes.h"
Chris Lattner1bfd4a62007-12-17 18:34:53 +000019#include "llvm/Support/MathExtras.h"
20#include "llvm/Support/MemoryBuffer.h"
Chris Lattner3daed522009-03-02 22:20:04 +000021#include <cstdio>
Chris Lattner0f441ab2007-12-17 08:22:46 +000022using namespace clang;
23
Chris Lattner1adbf632007-12-17 21:06:11 +000024//===----------------------------------------------------------------------===//
25// Data Structures and Manifest Constants
26//===----------------------------------------------------------------------===//
27
Chris Lattner1bfd4a62007-12-17 18:34:53 +000028enum {
Chris Lattner1adbf632007-12-17 21:06:11 +000029 HMAP_HeaderMagicNumber = ('h' << 24) | ('m' << 16) | ('a' << 8) | 'p',
30 HMAP_HeaderVersion = 1,
Mike Stump1eb44332009-09-09 15:08:12 +000031
32 HMAP_EmptyBucketKey = 0
Chris Lattner1adbf632007-12-17 21:06:11 +000033};
34
35namespace clang {
36struct HMapBucket {
37 uint32_t Key; // Offset (into strings) of key.
38
39 uint32_t Prefix; // Offset (into strings) of value prefix.
40 uint32_t Suffix; // Offset (into strings) of value suffix.
Chris Lattner1bfd4a62007-12-17 18:34:53 +000041};
42
43struct HMapHeader {
44 uint32_t Magic; // Magic word, also indicates byte order.
45 uint16_t Version; // Version number -- currently 1.
46 uint16_t Reserved; // Reserved for future use - zero for now.
47 uint32_t StringsOffset; // Offset to start of string pool.
Chris Lattner1adbf632007-12-17 21:06:11 +000048 uint32_t NumEntries; // Number of entries in the string table.
49 uint32_t NumBuckets; // Number of buckets (always a power of 2).
Chris Lattner1bfd4a62007-12-17 18:34:53 +000050 uint32_t MaxValueLength; // Length of longest result path (excluding nul).
Chris Lattner1adbf632007-12-17 21:06:11 +000051 // An array of 'NumBuckets' HMapBucket objects follows this header.
Chris Lattner1bfd4a62007-12-17 18:34:53 +000052 // Strings follow the buckets, at StringsOffset.
53};
Chris Lattner1adbf632007-12-17 21:06:11 +000054} // end namespace clang.
Chris Lattner1bfd4a62007-12-17 18:34:53 +000055
Chris Lattner5fb125c2007-12-17 21:38:04 +000056/// HashHMapKey - This is the 'well known' hash function required by the file
57/// format, used to look up keys in the hash table. The hash table uses simple
58/// linear probing based on this function.
Chris Lattner5f9e2722011-07-23 10:55:15 +000059static inline unsigned HashHMapKey(StringRef Str) {
Chris Lattner5fb125c2007-12-17 21:38:04 +000060 unsigned Result = 0;
Chris Lattnera1394812010-01-10 01:35:12 +000061 const char *S = Str.begin(), *End = Str.end();
Mike Stump1eb44332009-09-09 15:08:12 +000062
Chris Lattner5fb125c2007-12-17 21:38:04 +000063 for (; S != End; S++)
64 Result += tolower(*S) * 13;
65 return Result;
66}
67
68
69
Chris Lattner1adbf632007-12-17 21:06:11 +000070//===----------------------------------------------------------------------===//
71// Verification and Construction
72//===----------------------------------------------------------------------===//
Chris Lattner1bfd4a62007-12-17 18:34:53 +000073
74/// HeaderMap::Create - This attempts to load the specified file as a header
75/// map. If it doesn't look like a HeaderMap, it gives up and returns null.
76/// If it looks like a HeaderMap but is obviously corrupted, it puts a reason
77/// into the string error argument and returns null.
Chris Lattner39b49bc2010-11-23 08:35:12 +000078const HeaderMap *HeaderMap::Create(const FileEntry *FE, FileManager &FM) {
Chris Lattner1bfd4a62007-12-17 18:34:53 +000079 // If the file is too small to be a header map, ignore it.
80 unsigned FileSize = FE->getSize();
81 if (FileSize <= sizeof(HMapHeader)) return 0;
Mike Stump1eb44332009-09-09 15:08:12 +000082
Dylan Noblesmith6f42b622012-02-05 02:12:40 +000083 OwningPtr<const llvm::MemoryBuffer> FileBuffer(FM.getBufferForFile(FE));
Chris Lattner98751312007-12-17 18:44:09 +000084 if (FileBuffer == 0) return 0; // Unreadable file?
85 const char *FileStart = FileBuffer->getBufferStart();
Chris Lattner1bfd4a62007-12-17 18:34:53 +000086
87 // We know the file is at least as big as the header, check it now.
88 const HMapHeader *Header = reinterpret_cast<const HMapHeader*>(FileStart);
Mike Stump1eb44332009-09-09 15:08:12 +000089
Chris Lattnerba832652007-12-17 18:59:44 +000090 // Sniff it to see if it's a headermap by checking the magic number and
91 // version.
Chris Lattner1bfd4a62007-12-17 18:34:53 +000092 bool NeedsByteSwap;
Mike Stump1eb44332009-09-09 15:08:12 +000093 if (Header->Magic == HMAP_HeaderMagicNumber &&
Chris Lattner1adbf632007-12-17 21:06:11 +000094 Header->Version == HMAP_HeaderVersion)
Chris Lattner1bfd4a62007-12-17 18:34:53 +000095 NeedsByteSwap = false;
Chris Lattner1adbf632007-12-17 21:06:11 +000096 else if (Header->Magic == llvm::ByteSwap_32(HMAP_HeaderMagicNumber) &&
97 Header->Version == llvm::ByteSwap_16(HMAP_HeaderVersion))
Chris Lattner1bfd4a62007-12-17 18:34:53 +000098 NeedsByteSwap = true; // Mixed endianness headermap.
Mike Stump1eb44332009-09-09 15:08:12 +000099 else
Chris Lattner1bfd4a62007-12-17 18:34:53 +0000100 return 0; // Not a header map.
Mike Stump1eb44332009-09-09 15:08:12 +0000101
Chris Lattnerba832652007-12-17 18:59:44 +0000102 if (Header->Reserved != 0) return 0;
Chris Lattner98751312007-12-17 18:44:09 +0000103
104 // Okay, everything looks good, create the header map.
Chris Lattnerba832652007-12-17 18:59:44 +0000105 return new HeaderMap(FileBuffer.take(), NeedsByteSwap);
Chris Lattner98751312007-12-17 18:44:09 +0000106}
107
108HeaderMap::~HeaderMap() {
109 delete FileBuffer;
110}
111
Chris Lattner1adbf632007-12-17 21:06:11 +0000112//===----------------------------------------------------------------------===//
113// Utility Methods
114//===----------------------------------------------------------------------===//
115
Chris Lattner98751312007-12-17 18:44:09 +0000116
117/// getFileName - Return the filename of the headermap.
118const char *HeaderMap::getFileName() const {
119 return FileBuffer->getBufferIdentifier();
Chris Lattner0f441ab2007-12-17 08:22:46 +0000120}
121
Chris Lattner1adbf632007-12-17 21:06:11 +0000122unsigned HeaderMap::getEndianAdjustedWord(unsigned X) const {
123 if (!NeedsBSwap) return X;
124 return llvm::ByteSwap_32(X);
125}
126
127/// getHeader - Return a reference to the file header, in unbyte-swapped form.
128/// This method cannot fail.
129const HMapHeader &HeaderMap::getHeader() const {
130 // We know the file is at least as big as the header. Return it.
131 return *reinterpret_cast<const HMapHeader*>(FileBuffer->getBufferStart());
132}
133
134/// getBucket - Return the specified hash table bucket from the header map,
135/// bswap'ing its fields as appropriate. If the bucket number is not valid,
136/// this return a bucket with an empty key (0).
137HMapBucket HeaderMap::getBucket(unsigned BucketNo) const {
138 HMapBucket Result;
139 Result.Key = HMAP_EmptyBucketKey;
Mike Stump1eb44332009-09-09 15:08:12 +0000140
141 const HMapBucket *BucketArray =
Chris Lattner1adbf632007-12-17 21:06:11 +0000142 reinterpret_cast<const HMapBucket*>(FileBuffer->getBufferStart() +
143 sizeof(HMapHeader));
Mike Stump1eb44332009-09-09 15:08:12 +0000144
Chris Lattner1adbf632007-12-17 21:06:11 +0000145 const HMapBucket *BucketPtr = BucketArray+BucketNo;
Roman Divacky31ba6132012-09-06 15:59:27 +0000146 if ((const char*)(BucketPtr+1) > FileBuffer->getBufferEnd()) {
Ted Kremenek8173dba2008-10-28 00:18:42 +0000147 Result.Prefix = 0;
148 Result.Suffix = 0;
Chris Lattner1adbf632007-12-17 21:06:11 +0000149 return Result; // Invalid buffer, corrupt hmap.
Ted Kremenek8173dba2008-10-28 00:18:42 +0000150 }
Chris Lattner1adbf632007-12-17 21:06:11 +0000151
152 // Otherwise, the bucket is valid. Load the values, bswapping as needed.
153 Result.Key = getEndianAdjustedWord(BucketPtr->Key);
154 Result.Prefix = getEndianAdjustedWord(BucketPtr->Prefix);
155 Result.Suffix = getEndianAdjustedWord(BucketPtr->Suffix);
156 return Result;
157}
158
159/// getString - Look up the specified string in the string table. If the string
160/// index is not valid, it returns an empty string.
161const char *HeaderMap::getString(unsigned StrTabIdx) const {
162 // Add the start of the string table to the idx.
163 StrTabIdx += getEndianAdjustedWord(getHeader().StringsOffset);
Mike Stump1eb44332009-09-09 15:08:12 +0000164
Chris Lattner1adbf632007-12-17 21:06:11 +0000165 // Check for invalid index.
166 if (StrTabIdx >= FileBuffer->getBufferSize())
167 return 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000168
Chris Lattner1adbf632007-12-17 21:06:11 +0000169 // Otherwise, we have a valid pointer into the file. Just return it. We know
170 // that the "string" can not overrun the end of the file, because the buffer
171 // is nul terminated by virtue of being a MemoryBuffer.
172 return FileBuffer->getBufferStart()+StrTabIdx;
173}
174
175//===----------------------------------------------------------------------===//
176// The Main Drivers
177//===----------------------------------------------------------------------===//
178
179/// dump - Print the contents of this headermap to stderr.
180void HeaderMap::dump() const {
181 const HMapHeader &Hdr = getHeader();
182 unsigned NumBuckets = getEndianAdjustedWord(Hdr.NumBuckets);
Mike Stump1eb44332009-09-09 15:08:12 +0000183
184 fprintf(stderr, "Header Map %s:\n %d buckets, %d entries\n",
Chris Lattner1adbf632007-12-17 21:06:11 +0000185 getFileName(), NumBuckets,
186 getEndianAdjustedWord(Hdr.NumEntries));
Mike Stump1eb44332009-09-09 15:08:12 +0000187
Chris Lattner1adbf632007-12-17 21:06:11 +0000188 for (unsigned i = 0; i != NumBuckets; ++i) {
189 HMapBucket B = getBucket(i);
190 if (B.Key == HMAP_EmptyBucketKey) continue;
Mike Stump1eb44332009-09-09 15:08:12 +0000191
Chris Lattner1adbf632007-12-17 21:06:11 +0000192 const char *Key = getString(B.Key);
193 const char *Prefix = getString(B.Prefix);
194 const char *Suffix = getString(B.Suffix);
195 fprintf(stderr, " %d. %s -> '%s' '%s'\n", i, Key, Prefix, Suffix);
196 }
197}
198
Chris Lattner0f441ab2007-12-17 08:22:46 +0000199/// LookupFile - Check to see if the specified relative filename is located in
200/// this HeaderMap. If so, open it and return its FileEntry.
Chandler Carruthb5142bb2011-03-16 18:34:36 +0000201const FileEntry *HeaderMap::LookupFile(
Chris Lattner5f9e2722011-07-23 10:55:15 +0000202 StringRef Filename, FileManager &FM) const {
Chris Lattner5fb125c2007-12-17 21:38:04 +0000203 const HMapHeader &Hdr = getHeader();
204 unsigned NumBuckets = getEndianAdjustedWord(Hdr.NumBuckets);
205
206 // If the number of buckets is not a power of two, the headermap is corrupt.
207 // Don't probe infinitely.
208 if (NumBuckets & (NumBuckets-1))
209 return 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000210
Chris Lattner5fb125c2007-12-17 21:38:04 +0000211 // Linearly probe the hash table.
Chris Lattnera1394812010-01-10 01:35:12 +0000212 for (unsigned Bucket = HashHMapKey(Filename);; ++Bucket) {
Chris Lattner5fb125c2007-12-17 21:38:04 +0000213 HMapBucket B = getBucket(Bucket & (NumBuckets-1));
214 if (B.Key == HMAP_EmptyBucketKey) return 0; // Hash miss.
Mike Stump1eb44332009-09-09 15:08:12 +0000215
Chris Lattner5fb125c2007-12-17 21:38:04 +0000216 // See if the key matches. If not, probe on.
Benjamin Kramerdbdaf832010-01-10 09:51:00 +0000217 if (!Filename.equals_lower(getString(B.Key)))
Chris Lattner5fb125c2007-12-17 21:38:04 +0000218 continue;
Mike Stump1eb44332009-09-09 15:08:12 +0000219
Chris Lattner5fb125c2007-12-17 21:38:04 +0000220 // If so, we have a match in the hash table. Construct the destination
221 // path.
Dylan Noblesmithf7ccbad2012-02-05 02:13:05 +0000222 SmallString<1024> DestPath;
Chris Lattner5fb125c2007-12-17 21:38:04 +0000223 DestPath += getString(B.Prefix);
224 DestPath += getString(B.Suffix);
Chris Lattner39b49bc2010-11-23 08:35:12 +0000225 return FM.getFile(DestPath.str());
Chris Lattner5fb125c2007-12-17 21:38:04 +0000226 }
Chris Lattner0f441ab2007-12-17 08:22:46 +0000227}