HeaderMapTest.cpp 6.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224
  1. //===- unittests/Lex/HeaderMapTest.cpp - HeaderMap tests ----------===//
  2. //
  3. // The LLVM Compiler Infrastructure
  4. //
  5. // This file is distributed under the University of Illinois Open Source
  6. // License. See LICENSE.TXT for details.
  7. //
  8. //===--------------------------------------------------------------===//
  9. #include "clang/Basic/CharInfo.h"
  10. #include "clang/Lex/HeaderMap.h"
  11. #include "clang/Lex/HeaderMapTypes.h"
  12. #include "llvm/ADT/SmallString.h"
  13. #include "llvm/Support/SwapByteOrder.h"
  14. #include "gtest/gtest.h"
  15. #include <cassert>
  16. #include <type_traits>
  17. using namespace clang;
  18. using namespace llvm;
  19. namespace {
  20. // Lay out a header file for testing.
  21. template <unsigned NumBuckets, unsigned NumBytes> struct MapFile {
  22. HMapHeader Header;
  23. HMapBucket Buckets[NumBuckets];
  24. unsigned char Bytes[NumBytes];
  25. void init() {
  26. memset(this, 0, sizeof(MapFile));
  27. Header.Magic = HMAP_HeaderMagicNumber;
  28. Header.Version = HMAP_HeaderVersion;
  29. Header.NumBuckets = NumBuckets;
  30. Header.StringsOffset = sizeof(Header) + sizeof(Buckets);
  31. }
  32. void swapBytes() {
  33. using llvm::sys::getSwappedBytes;
  34. Header.Magic = getSwappedBytes(Header.Magic);
  35. Header.Version = getSwappedBytes(Header.Version);
  36. Header.NumBuckets = getSwappedBytes(Header.NumBuckets);
  37. Header.StringsOffset = getSwappedBytes(Header.StringsOffset);
  38. }
  39. std::unique_ptr<const MemoryBuffer> getBuffer() const {
  40. return MemoryBuffer::getMemBuffer(
  41. StringRef(reinterpret_cast<const char *>(this), sizeof(MapFile)),
  42. "header",
  43. /* RequresNullTerminator */ false);
  44. }
  45. };
  46. // The header map hash function.
  47. static inline unsigned getHash(StringRef Str) {
  48. unsigned Result = 0;
  49. for (char C : Str)
  50. Result += toLowercase(C) * 13;
  51. return Result;
  52. }
  53. template <class FileTy> struct FileMaker {
  54. FileTy &File;
  55. unsigned SI = 1;
  56. unsigned BI = 0;
  57. FileMaker(FileTy &File) : File(File) {}
  58. unsigned addString(StringRef S) {
  59. assert(SI + S.size() + 1 <= sizeof(File.Bytes));
  60. std::copy(S.begin(), S.end(), File.Bytes + SI);
  61. auto OldSI = SI;
  62. SI += S.size() + 1;
  63. return OldSI;
  64. }
  65. void addBucket(unsigned Hash, unsigned Key, unsigned Prefix, unsigned Suffix) {
  66. assert(!(File.Header.NumBuckets & (File.Header.NumBuckets - 1)));
  67. unsigned I = Hash & (File.Header.NumBuckets - 1);
  68. do {
  69. if (!File.Buckets[I].Key) {
  70. File.Buckets[I].Key = Key;
  71. File.Buckets[I].Prefix = Prefix;
  72. File.Buckets[I].Suffix = Suffix;
  73. ++File.Header.NumEntries;
  74. return;
  75. }
  76. ++I;
  77. I &= File.Header.NumBuckets - 1;
  78. } while (I != (Hash & (File.Header.NumBuckets - 1)));
  79. llvm_unreachable("no empty buckets");
  80. }
  81. };
  82. TEST(HeaderMapTest, checkHeaderEmpty) {
  83. bool NeedsSwap;
  84. ASSERT_FALSE(HeaderMapImpl::checkHeader(
  85. *MemoryBuffer::getMemBufferCopy("", "empty"), NeedsSwap));
  86. ASSERT_FALSE(HeaderMapImpl::checkHeader(
  87. *MemoryBuffer::getMemBufferCopy("", "empty"), NeedsSwap));
  88. }
  89. TEST(HeaderMapTest, checkHeaderMagic) {
  90. MapFile<1, 1> File;
  91. File.init();
  92. File.Header.Magic = 0;
  93. bool NeedsSwap;
  94. ASSERT_FALSE(HeaderMapImpl::checkHeader(*File.getBuffer(), NeedsSwap));
  95. }
  96. TEST(HeaderMapTest, checkHeaderReserved) {
  97. MapFile<1, 1> File;
  98. File.init();
  99. File.Header.Reserved = 1;
  100. bool NeedsSwap;
  101. ASSERT_FALSE(HeaderMapImpl::checkHeader(*File.getBuffer(), NeedsSwap));
  102. }
  103. TEST(HeaderMapTest, checkHeaderVersion) {
  104. MapFile<1, 1> File;
  105. File.init();
  106. ++File.Header.Version;
  107. bool NeedsSwap;
  108. ASSERT_FALSE(HeaderMapImpl::checkHeader(*File.getBuffer(), NeedsSwap));
  109. }
  110. TEST(HeaderMapTest, checkHeaderValidButEmpty) {
  111. MapFile<1, 1> File;
  112. File.init();
  113. bool NeedsSwap;
  114. ASSERT_TRUE(HeaderMapImpl::checkHeader(*File.getBuffer(), NeedsSwap));
  115. ASSERT_FALSE(NeedsSwap);
  116. File.swapBytes();
  117. ASSERT_TRUE(HeaderMapImpl::checkHeader(*File.getBuffer(), NeedsSwap));
  118. ASSERT_TRUE(NeedsSwap);
  119. }
  120. TEST(HeaderMapTest, checkHeader3Buckets) {
  121. MapFile<3, 1> File;
  122. ASSERT_EQ(3 * sizeof(HMapBucket), sizeof(File.Buckets));
  123. File.init();
  124. bool NeedsSwap;
  125. ASSERT_FALSE(HeaderMapImpl::checkHeader(*File.getBuffer(), NeedsSwap));
  126. }
  127. TEST(HeaderMapTest, checkHeader0Buckets) {
  128. // Create with 1 bucket to avoid 0-sized arrays.
  129. MapFile<1, 1> File;
  130. File.init();
  131. File.Header.NumBuckets = 0;
  132. bool NeedsSwap;
  133. ASSERT_FALSE(HeaderMapImpl::checkHeader(*File.getBuffer(), NeedsSwap));
  134. }
  135. TEST(HeaderMapTest, checkHeaderNotEnoughBuckets) {
  136. MapFile<1, 1> File;
  137. File.init();
  138. File.Header.NumBuckets = 8;
  139. bool NeedsSwap;
  140. ASSERT_FALSE(HeaderMapImpl::checkHeader(*File.getBuffer(), NeedsSwap));
  141. }
  142. TEST(HeaderMapTest, lookupFilename) {
  143. typedef MapFile<2, 7> FileTy;
  144. FileTy File;
  145. File.init();
  146. FileMaker<FileTy> Maker(File);
  147. auto a = Maker.addString("a");
  148. auto b = Maker.addString("b");
  149. auto c = Maker.addString("c");
  150. Maker.addBucket(getHash("a"), a, b, c);
  151. bool NeedsSwap;
  152. ASSERT_TRUE(HeaderMapImpl::checkHeader(*File.getBuffer(), NeedsSwap));
  153. ASSERT_FALSE(NeedsSwap);
  154. HeaderMapImpl Map(File.getBuffer(), NeedsSwap);
  155. SmallString<8> DestPath;
  156. ASSERT_EQ("bc", Map.lookupFilename("a", DestPath));
  157. }
  158. template <class FileTy, class PaddingTy> struct PaddedFile {
  159. FileTy File;
  160. PaddingTy Padding;
  161. };
  162. TEST(HeaderMapTest, lookupFilenameTruncated) {
  163. typedef MapFile<2, 64 - sizeof(HMapHeader) - 2 * sizeof(HMapBucket)> FileTy;
  164. static_assert(std::is_standard_layout<FileTy>::value,
  165. "Expected standard layout");
  166. static_assert(sizeof(FileTy) == 64, "check the math");
  167. PaddedFile<FileTy, uint64_t> P;
  168. auto &File = P.File;
  169. auto &Padding = P.Padding;
  170. File.init();
  171. FileMaker<FileTy> Maker(File);
  172. auto a = Maker.addString("a");
  173. auto b = Maker.addString("b");
  174. auto c = Maker.addString("c");
  175. Maker.addBucket(getHash("a"), a, b, c);
  176. // Add 'x' characters to cause an overflow into Padding.
  177. ASSERT_EQ('c', File.Bytes[5]);
  178. for (unsigned I = 6; I < sizeof(File.Bytes); ++I) {
  179. ASSERT_EQ(0, File.Bytes[I]);
  180. File.Bytes[I] = 'x';
  181. }
  182. Padding = 0xffffffff; // Padding won't stop it either.
  183. bool NeedsSwap;
  184. ASSERT_TRUE(HeaderMapImpl::checkHeader(*File.getBuffer(), NeedsSwap));
  185. ASSERT_FALSE(NeedsSwap);
  186. HeaderMapImpl Map(File.getBuffer(), NeedsSwap);
  187. // The string for "c" runs to the end of File. Check that the suffix
  188. // ("cxxxx...") is ignored. Another option would be to return an empty
  189. // filename altogether.
  190. SmallString<24> DestPath;
  191. ASSERT_EQ("b", Map.lookupFilename("a", DestPath));
  192. }
  193. } // end namespace