blob: 1398628f2310fc6899a77fa69dc023ddcfe0927e [file] [log] [blame]
Zachary Turnerf5c59652016-05-03 00:28:21 +00001//===- TpiStream.cpp - PDB Type Info (TPI) Stream 2 Access ----------------===//
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
10#include "llvm/DebugInfo/PDB/Raw/TpiStream.h"
11
Rui Ueyama8b0ae132016-06-16 13:14:42 +000012#include "llvm/DebugInfo/CodeView/CVTypeVisitor.h"
Zachary Turnerf5c59652016-05-03 00:28:21 +000013#include "llvm/DebugInfo/CodeView/CodeView.h"
Rui Ueyamafd97bf12016-06-03 20:48:51 +000014#include "llvm/DebugInfo/CodeView/TypeIndex.h"
Zachary Turnerf5c59652016-05-03 00:28:21 +000015#include "llvm/DebugInfo/CodeView/TypeRecord.h"
Zachary Turnera3225b02016-07-29 20:56:36 +000016#include "llvm/DebugInfo/MSF/MappedBlockStream.h"
17#include "llvm/DebugInfo/MSF/StreamReader.h"
Rui Ueyamac41cd6d2016-06-09 00:10:19 +000018#include "llvm/DebugInfo/PDB/Raw/Hash.h"
Zachary Turner90b8b8d2016-05-31 22:41:52 +000019#include "llvm/DebugInfo/PDB/Raw/PDBFile.h"
Zachary Turnerf5c59652016-05-03 00:28:21 +000020#include "llvm/DebugInfo/PDB/Raw/RawConstants.h"
Zachary Turner819e77d2016-05-06 20:51:57 +000021#include "llvm/DebugInfo/PDB/Raw/RawError.h"
Rui Ueyamafd97bf12016-06-03 20:48:51 +000022#include "llvm/DebugInfo/PDB/Raw/RawTypes.h"
Zachary Turnerf5c59652016-05-03 00:28:21 +000023
24#include "llvm/Support/Endian.h"
25
26using namespace llvm;
Rui Ueyama8b0ae132016-06-16 13:14:42 +000027using namespace llvm::codeview;
Zachary Turnerf5c59652016-05-03 00:28:21 +000028using namespace llvm::support;
Zachary Turnerbac69d32016-07-22 19:56:05 +000029using namespace llvm::msf;
Zachary Turnerf5c59652016-05-03 00:28:21 +000030using namespace llvm::pdb;
31
32namespace {
Zachary Turnerf5c59652016-05-03 00:28:21 +000033const uint32_t MinHashBuckets = 0x1000;
34const uint32_t MaxHashBuckets = 0x40000;
35}
36
Rui Ueyama0350bf02016-06-02 21:13:47 +000037// This corresponds to `HDR` in PDB/dbi/tpi.h.
Zachary Turnerf5c59652016-05-03 00:28:21 +000038struct TpiStream::HeaderInfo {
39 struct EmbeddedBuf {
40 little32_t Off;
41 ulittle32_t Length;
42 };
43
44 ulittle32_t Version;
45 ulittle32_t HeaderSize;
46 ulittle32_t TypeIndexBegin;
47 ulittle32_t TypeIndexEnd;
48 ulittle32_t TypeRecordBytes;
49
Rui Ueyama0350bf02016-06-02 21:13:47 +000050 // The following members correspond to `TpiHash` in PDB/dbi/tpi.h.
Zachary Turnerf5c59652016-05-03 00:28:21 +000051 ulittle16_t HashStreamIndex;
52 ulittle16_t HashAuxStreamIndex;
53 ulittle32_t HashKeySize;
54 ulittle32_t NumHashBuckets;
55
56 EmbeddedBuf HashValueBuffer;
57 EmbeddedBuf IndexOffsetBuffer;
58 EmbeddedBuf HashAdjBuffer;
59};
60
Zachary Turnera1657a92016-06-08 17:26:39 +000061TpiStream::TpiStream(const PDBFile &File,
62 std::unique_ptr<MappedBlockStream> Stream)
Rui Ueyama5c7248c2016-06-16 13:48:16 +000063 : Pdb(File), Stream(std::move(Stream)) {}
Zachary Turnerf5c59652016-05-03 00:28:21 +000064
65TpiStream::~TpiStream() {}
66
Rui Ueyama1abbb312016-06-20 07:31:29 +000067// Corresponds to `fUDTAnon`.
68template <typename T> static bool isAnonymous(T &Rec) {
Reid Kleckner6e96a4c2016-07-01 18:43:29 +000069 StringRef Name = Rec.getName();
Rui Ueyama1abbb312016-06-20 07:31:29 +000070 return Name == "<unnamed-tag>" || Name == "__unnamed" ||
71 Name.endswith("::<unnamed-tag>") || Name.endswith("::__unnamed");
72}
73
Rui Ueyama41974f12016-06-15 18:26:59 +000074// Computes a hash for a given TPI record.
Rui Ueyama74c43412016-06-16 18:39:17 +000075template <typename T>
76static uint32_t getTpiHash(T &Rec, const CVRecord<TypeLeafKind> &RawRec) {
Rui Ueyama8b0ae132016-06-16 13:14:42 +000077 auto Opts = static_cast<uint16_t>(Rec.getOptions());
Rui Ueyama41974f12016-06-15 18:26:59 +000078
Rui Ueyama74c43412016-06-16 18:39:17 +000079 bool ForwardRef =
80 Opts & static_cast<uint16_t>(ClassOptions::ForwardReference);
81 bool Scoped = Opts & static_cast<uint16_t>(ClassOptions::Scoped);
82 bool UniqueName = Opts & static_cast<uint16_t>(ClassOptions::HasUniqueName);
Rui Ueyama1abbb312016-06-20 07:31:29 +000083 bool IsAnon = UniqueName && isAnonymous(Rec);
Rui Ueyama41974f12016-06-15 18:26:59 +000084
Rui Ueyama1abbb312016-06-20 07:31:29 +000085 if (!ForwardRef && !Scoped && !IsAnon)
Rui Ueyama8b0ae132016-06-16 13:14:42 +000086 return hashStringV1(Rec.getName());
Rui Ueyama1abbb312016-06-20 07:31:29 +000087 if (!ForwardRef && UniqueName && !IsAnon)
Rui Ueyama8b0ae132016-06-16 13:14:42 +000088 return hashStringV1(Rec.getUniqueName());
Rui Ueyama74c43412016-06-16 18:39:17 +000089 return hashBufferV8(RawRec.RawData);
Rui Ueyama8b0ae132016-06-16 13:14:42 +000090}
91
92namespace {
Zachary Turner01ee3dae2016-06-16 18:22:27 +000093class TpiHashVerifier : public TypeVisitorCallbacks {
Rui Ueyama8b0ae132016-06-16 13:14:42 +000094public:
95 TpiHashVerifier(FixedStreamArray<support::ulittle32_t> &HashValues,
96 uint32_t NumHashBuckets)
97 : HashValues(HashValues), NumHashBuckets(NumHashBuckets) {}
98
Zachary Turner01ee3dae2016-06-16 18:22:27 +000099 Error visitUdtSourceLine(UdtSourceLineRecord &Rec) override {
100 return verifySourceLine(Rec);
Rui Ueyama8b0ae132016-06-16 13:14:42 +0000101 }
102
Zachary Turner01ee3dae2016-06-16 18:22:27 +0000103 Error visitUdtModSourceLine(UdtModSourceLineRecord &Rec) override {
104 return verifySourceLine(Rec);
105 }
Rui Ueyama8b0ae132016-06-16 13:14:42 +0000106
Zachary Turner01ee3dae2016-06-16 18:22:27 +0000107 Error visitClass(ClassRecord &Rec) override { return verify(Rec); }
Rui Ueyamaef5ec2d2016-07-12 03:25:03 +0000108 Error visitEnum(EnumRecord &Rec) override { return verify(Rec); }
Zachary Turner01ee3dae2016-06-16 18:22:27 +0000109 Error visitUnion(UnionRecord &Rec) override { return verify(Rec); }
110
Rui Ueyama74c43412016-06-16 18:39:17 +0000111 Error visitTypeBegin(const CVRecord<TypeLeafKind> &Rec) override {
Zachary Turner01ee3dae2016-06-16 18:22:27 +0000112 ++Index;
Rui Ueyama74c43412016-06-16 18:39:17 +0000113 RawRecord = &Rec;
Zachary Turner01ee3dae2016-06-16 18:22:27 +0000114 return Error::success();
115 }
Rui Ueyama8b0ae132016-06-16 13:14:42 +0000116
117private:
Zachary Turner01ee3dae2016-06-16 18:22:27 +0000118 template <typename T> Error verify(T &Rec) {
Rui Ueyama74c43412016-06-16 18:39:17 +0000119 uint32_t Hash = getTpiHash(Rec, *RawRecord);
120 if (Hash % NumHashBuckets != HashValues[Index])
Reid Kleckner7aa95a92016-07-01 00:37:25 +0000121 return errorInvalidHash();
Zachary Turner01ee3dae2016-06-16 18:22:27 +0000122 return Error::success();
Rui Ueyama8b0ae132016-06-16 13:14:42 +0000123 }
124
Zachary Turner01ee3dae2016-06-16 18:22:27 +0000125 template <typename T> Error verifySourceLine(T &Rec) {
Rui Ueyama8b0ae132016-06-16 13:14:42 +0000126 char Buf[4];
127 support::endian::write32le(Buf, Rec.getUDT().getIndex());
128 uint32_t Hash = hashStringV1(StringRef(Buf, 4));
129 if (Hash % NumHashBuckets != HashValues[Index])
Reid Kleckner7aa95a92016-07-01 00:37:25 +0000130 return errorInvalidHash();
Zachary Turner01ee3dae2016-06-16 18:22:27 +0000131 return Error::success();
Rui Ueyama8b0ae132016-06-16 13:14:42 +0000132 }
133
Reid Kleckner7aa95a92016-07-01 00:37:25 +0000134 Error errorInvalidHash() {
135 return make_error<RawError>(
136 raw_error_code::invalid_tpi_hash,
137 "Type index is 0x" + utohexstr(TypeIndex::FirstNonSimpleIndex + Index));
138 }
139
Rui Ueyama8b0ae132016-06-16 13:14:42 +0000140 FixedStreamArray<support::ulittle32_t> HashValues;
Rui Ueyama74c43412016-06-16 18:39:17 +0000141 const CVRecord<TypeLeafKind> *RawRecord;
Rui Ueyama8b0ae132016-06-16 13:14:42 +0000142 uint32_t NumHashBuckets;
Rui Ueyama74c43412016-06-16 18:39:17 +0000143 uint32_t Index = -1;
Rui Ueyama8b0ae132016-06-16 13:14:42 +0000144};
Rui Ueyama41974f12016-06-15 18:26:59 +0000145}
146
Rui Ueyamac41cd6d2016-06-09 00:10:19 +0000147// Verifies that a given type record matches with a given hash value.
148// Currently we only verify SRC_LINE records.
Rui Ueyama8b0ae132016-06-16 13:14:42 +0000149Error TpiStream::verifyHashValues() {
150 TpiHashVerifier Verifier(HashValues, Header->NumHashBuckets);
Zachary Turner01ee3dae2016-06-16 18:22:27 +0000151 CVTypeVisitor Visitor(Verifier);
152 return Visitor.visitTypeStream(TypeRecords);
Rui Ueyamac41cd6d2016-06-09 00:10:19 +0000153}
154
Zachary Turner819e77d2016-05-06 20:51:57 +0000155Error TpiStream::reload() {
Rui Ueyama9caea822016-06-16 13:17:59 +0000156 StreamReader Reader(*Stream);
Zachary Turnerf5c59652016-05-03 00:28:21 +0000157
158 if (Reader.bytesRemaining() < sizeof(HeaderInfo))
Zachary Turner819e77d2016-05-06 20:51:57 +0000159 return make_error<RawError>(raw_error_code::corrupt_file,
160 "TPI Stream does not contain a header.");
Zachary Turnerf5c59652016-05-03 00:28:21 +0000161
Zachary Turner8dbe3622016-05-27 01:54:44 +0000162 if (Reader.readObject(Header))
Zachary Turner819e77d2016-05-06 20:51:57 +0000163 return make_error<RawError>(raw_error_code::corrupt_file,
164 "TPI Stream does not contain a header.");
Zachary Turnerf5c59652016-05-03 00:28:21 +0000165
166 if (Header->Version != PdbTpiV80)
Zachary Turner819e77d2016-05-06 20:51:57 +0000167 return make_error<RawError>(raw_error_code::corrupt_file,
168 "Unsupported TPI Version.");
Zachary Turnerf5c59652016-05-03 00:28:21 +0000169
170 if (Header->HeaderSize != sizeof(HeaderInfo))
Zachary Turner819e77d2016-05-06 20:51:57 +0000171 return make_error<RawError>(raw_error_code::corrupt_file,
172 "Corrupt TPI Header size.");
Zachary Turnerf5c59652016-05-03 00:28:21 +0000173
174 if (Header->HashKeySize != sizeof(ulittle32_t))
Zachary Turner819e77d2016-05-06 20:51:57 +0000175 return make_error<RawError>(raw_error_code::corrupt_file,
176 "TPI Stream expected 4 byte hash key size.");
Zachary Turnerf5c59652016-05-03 00:28:21 +0000177
178 if (Header->NumHashBuckets < MinHashBuckets ||
179 Header->NumHashBuckets > MaxHashBuckets)
Zachary Turner819e77d2016-05-06 20:51:57 +0000180 return make_error<RawError>(raw_error_code::corrupt_file,
181 "TPI Stream Invalid number of hash buckets.");
Zachary Turnerf5c59652016-05-03 00:28:21 +0000182
Zachary Turnerf5c59652016-05-03 00:28:21 +0000183 // The actual type records themselves come from this stream
Zachary Turner0d43c1c2016-05-28 05:21:57 +0000184 if (auto EC = Reader.readArray(TypeRecords, Header->TypeRecordBytes))
Zachary Turner819e77d2016-05-06 20:51:57 +0000185 return EC;
Zachary Turnerf5c59652016-05-03 00:28:21 +0000186
187 // Hash indices, hash values, etc come from the hash stream.
Zachary Turnerd2b2bfe2016-06-08 00:25:08 +0000188 if (Header->HashStreamIndex >= Pdb.getNumStreams())
189 return make_error<RawError>(raw_error_code::corrupt_file,
190 "Invalid TPI hash stream index.");
Zachary Turnerd66889c2016-07-28 19:12:28 +0000191 auto HS = MappedBlockStream::createIndexedStream(
192 Pdb.getMsfLayout(), Pdb.getMsfBuffer(), Header->HashStreamIndex);
193 StreamReader HSR(*HS);
Rui Ueyamaba0aab92016-06-06 23:19:23 +0000194
Rui Ueyamafd97bf12016-06-03 20:48:51 +0000195 uint32_t NumHashValues = Header->HashValueBuffer.Length / sizeof(ulittle32_t);
Rui Ueyamaba0aab92016-06-06 23:19:23 +0000196 if (NumHashValues != NumTypeRecords())
197 return make_error<RawError>(
198 raw_error_code::corrupt_file,
199 "TPI hash count does not match with the number of type records.");
Zachary Turnerf5c59652016-05-03 00:28:21 +0000200 HSR.setOffset(Header->HashValueBuffer.Off);
Rui Ueyamafd97bf12016-06-03 20:48:51 +0000201 if (auto EC = HSR.readArray(HashValues, NumHashValues))
Zachary Turner819e77d2016-05-06 20:51:57 +0000202 return EC;
Zachary Turnerf5c59652016-05-03 00:28:21 +0000203
204 HSR.setOffset(Header->IndexOffsetBuffer.Off);
Rui Ueyamafd97bf12016-06-03 20:48:51 +0000205 uint32_t NumTypeIndexOffsets =
206 Header->IndexOffsetBuffer.Length / sizeof(TypeIndexOffset);
207 if (auto EC = HSR.readArray(TypeIndexOffsets, NumTypeIndexOffsets))
208 return EC;
209
210 HSR.setOffset(Header->HashAdjBuffer.Off);
211 uint32_t NumHashAdjustments =
212 Header->HashAdjBuffer.Length / sizeof(TypeIndexOffset);
213 if (auto EC = HSR.readArray(HashAdjustments, NumHashAdjustments))
Zachary Turner819e77d2016-05-06 20:51:57 +0000214 return EC;
Zachary Turnerf5c59652016-05-03 00:28:21 +0000215
Zachary Turnerd66889c2016-07-28 19:12:28 +0000216 HashStream = std::move(HS);
Rui Ueyamac41cd6d2016-06-09 00:10:19 +0000217
218 // TPI hash table is a parallel array for the type records.
219 // Verify that the hash values match with type records.
Rui Ueyama8b0ae132016-06-16 13:14:42 +0000220 if (auto EC = verifyHashValues())
221 return EC;
Rui Ueyamac41cd6d2016-06-09 00:10:19 +0000222
Zachary Turner819e77d2016-05-06 20:51:57 +0000223 return Error::success();
Zachary Turnerf5c59652016-05-03 00:28:21 +0000224}
225
226PdbRaw_TpiVer TpiStream::getTpiVersion() const {
227 uint32_t Value = Header->Version;
228 return static_cast<PdbRaw_TpiVer>(Value);
229}
230
231uint32_t TpiStream::TypeIndexBegin() const { return Header->TypeIndexBegin; }
232
233uint32_t TpiStream::TypeIndexEnd() const { return Header->TypeIndexEnd; }
234
235uint32_t TpiStream::NumTypeRecords() const {
236 return TypeIndexEnd() - TypeIndexBegin();
237}
238
Zachary Turner85ed80b2016-05-25 03:43:17 +0000239uint16_t TpiStream::getTypeHashStreamIndex() const {
240 return Header->HashStreamIndex;
241}
242
243uint16_t TpiStream::getTypeHashStreamAuxIndex() const {
244 return Header->HashAuxStreamIndex;
245}
246
Rui Ueyamaf14a74c2016-06-07 23:53:43 +0000247uint32_t TpiStream::NumHashBuckets() const { return Header->NumHashBuckets; }
Rui Ueyamad8339172016-06-07 23:44:27 +0000248uint32_t TpiStream::getHashKeySize() const { return Header->HashKeySize; }
249
Rui Ueyama9caea822016-06-16 13:17:59 +0000250FixedStreamArray<support::ulittle32_t>
Rui Ueyamafd97bf12016-06-03 20:48:51 +0000251TpiStream::getHashValues() const {
252 return HashValues;
253}
254
Rui Ueyama9caea822016-06-16 13:17:59 +0000255FixedStreamArray<TypeIndexOffset>
Rui Ueyamafd97bf12016-06-03 20:48:51 +0000256TpiStream::getTypeIndexOffsets() const {
257 return TypeIndexOffsets;
258}
259
Rui Ueyama9caea822016-06-16 13:17:59 +0000260FixedStreamArray<TypeIndexOffset>
Rui Ueyamafd97bf12016-06-03 20:48:51 +0000261TpiStream::getHashAdjustments() const {
262 return HashAdjustments;
263}
264
Rui Ueyama9caea822016-06-16 13:17:59 +0000265iterator_range<CVTypeArray::Iterator>
Zachary Turner0d43c1c2016-05-28 05:21:57 +0000266TpiStream::types(bool *HadError) const {
267 return llvm::make_range(TypeRecords.begin(HadError), TypeRecords.end());
Zachary Turnerf5c59652016-05-03 00:28:21 +0000268}
Zachary Turner8848a7a2016-07-06 18:05:57 +0000269
270Error TpiStream::commit() { return Error::success(); }