blob: 016c51b8f4e0c856d7703078a30dbc61793d670c [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"
Zachary Turnerd5d37dc2016-05-25 20:37:03 +000014#include "llvm/DebugInfo/CodeView/StreamReader.h"
Rui Ueyamafd97bf12016-06-03 20:48:51 +000015#include "llvm/DebugInfo/CodeView/TypeIndex.h"
Zachary Turnerf5c59652016-05-03 00:28:21 +000016#include "llvm/DebugInfo/CodeView/TypeRecord.h"
Rui Ueyamac41cd6d2016-06-09 00:10:19 +000017#include "llvm/DebugInfo/PDB/Raw/Hash.h"
Zachary Turnerd8447992016-06-07 05:28:55 +000018#include "llvm/DebugInfo/PDB/Raw/IndexedStreamData.h"
Zachary Turnerf5c59652016-05-03 00:28:21 +000019#include "llvm/DebugInfo/PDB/Raw/MappedBlockStream.h"
Zachary Turner90b8b8d2016-05-31 22:41:52 +000020#include "llvm/DebugInfo/PDB/Raw/PDBFile.h"
Zachary Turnerf5c59652016-05-03 00:28:21 +000021#include "llvm/DebugInfo/PDB/Raw/RawConstants.h"
Zachary Turner819e77d2016-05-06 20:51:57 +000022#include "llvm/DebugInfo/PDB/Raw/RawError.h"
Rui Ueyamafd97bf12016-06-03 20:48:51 +000023#include "llvm/DebugInfo/PDB/Raw/RawTypes.h"
Zachary Turnerf5c59652016-05-03 00:28:21 +000024
25#include "llvm/Support/Endian.h"
26
27using namespace llvm;
Rui Ueyama8b0ae132016-06-16 13:14:42 +000028using namespace llvm::codeview;
Zachary Turnerf5c59652016-05-03 00:28:21 +000029using namespace llvm::support;
30using 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) {
69 StringRef Name = Rec.getUniqueName();
70 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); }
108 Error visitEnum(EnumRecord &Rec) override { return verify(Rec); }
109 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.");
191
Zachary Turnera1657a92016-06-08 17:26:39 +0000192 auto HS =
193 MappedBlockStream::createIndexedStream(Header->HashStreamIndex, Pdb);
194 if (!HS)
195 return HS.takeError();
Rui Ueyama9caea822016-06-16 13:17:59 +0000196 StreamReader HSR(**HS);
Rui Ueyamaba0aab92016-06-06 23:19:23 +0000197
Rui Ueyamafd97bf12016-06-03 20:48:51 +0000198 uint32_t NumHashValues = Header->HashValueBuffer.Length / sizeof(ulittle32_t);
Rui Ueyamaba0aab92016-06-06 23:19:23 +0000199 if (NumHashValues != NumTypeRecords())
200 return make_error<RawError>(
201 raw_error_code::corrupt_file,
202 "TPI hash count does not match with the number of type records.");
Zachary Turnerf5c59652016-05-03 00:28:21 +0000203 HSR.setOffset(Header->HashValueBuffer.Off);
Rui Ueyamafd97bf12016-06-03 20:48:51 +0000204 if (auto EC = HSR.readArray(HashValues, NumHashValues))
Zachary Turner819e77d2016-05-06 20:51:57 +0000205 return EC;
Zachary Turnerf5c59652016-05-03 00:28:21 +0000206
207 HSR.setOffset(Header->IndexOffsetBuffer.Off);
Rui Ueyamafd97bf12016-06-03 20:48:51 +0000208 uint32_t NumTypeIndexOffsets =
209 Header->IndexOffsetBuffer.Length / sizeof(TypeIndexOffset);
210 if (auto EC = HSR.readArray(TypeIndexOffsets, NumTypeIndexOffsets))
211 return EC;
212
213 HSR.setOffset(Header->HashAdjBuffer.Off);
214 uint32_t NumHashAdjustments =
215 Header->HashAdjBuffer.Length / sizeof(TypeIndexOffset);
216 if (auto EC = HSR.readArray(HashAdjustments, NumHashAdjustments))
Zachary Turner819e77d2016-05-06 20:51:57 +0000217 return EC;
Zachary Turnerf5c59652016-05-03 00:28:21 +0000218
Zachary Turnera1657a92016-06-08 17:26:39 +0000219 HashStream = std::move(*HS);
Rui Ueyamac41cd6d2016-06-09 00:10:19 +0000220
221 // TPI hash table is a parallel array for the type records.
222 // Verify that the hash values match with type records.
Rui Ueyama8b0ae132016-06-16 13:14:42 +0000223 if (auto EC = verifyHashValues())
224 return EC;
Rui Ueyamac41cd6d2016-06-09 00:10:19 +0000225
Zachary Turner819e77d2016-05-06 20:51:57 +0000226 return Error::success();
Zachary Turnerf5c59652016-05-03 00:28:21 +0000227}
228
229PdbRaw_TpiVer TpiStream::getTpiVersion() const {
230 uint32_t Value = Header->Version;
231 return static_cast<PdbRaw_TpiVer>(Value);
232}
233
234uint32_t TpiStream::TypeIndexBegin() const { return Header->TypeIndexBegin; }
235
236uint32_t TpiStream::TypeIndexEnd() const { return Header->TypeIndexEnd; }
237
238uint32_t TpiStream::NumTypeRecords() const {
239 return TypeIndexEnd() - TypeIndexBegin();
240}
241
Zachary Turner85ed80b2016-05-25 03:43:17 +0000242uint16_t TpiStream::getTypeHashStreamIndex() const {
243 return Header->HashStreamIndex;
244}
245
246uint16_t TpiStream::getTypeHashStreamAuxIndex() const {
247 return Header->HashAuxStreamIndex;
248}
249
Rui Ueyamaf14a74c2016-06-07 23:53:43 +0000250uint32_t TpiStream::NumHashBuckets() const { return Header->NumHashBuckets; }
Rui Ueyamad8339172016-06-07 23:44:27 +0000251uint32_t TpiStream::getHashKeySize() const { return Header->HashKeySize; }
252
Rui Ueyama9caea822016-06-16 13:17:59 +0000253FixedStreamArray<support::ulittle32_t>
Rui Ueyamafd97bf12016-06-03 20:48:51 +0000254TpiStream::getHashValues() const {
255 return HashValues;
256}
257
Rui Ueyama9caea822016-06-16 13:17:59 +0000258FixedStreamArray<TypeIndexOffset>
Rui Ueyamafd97bf12016-06-03 20:48:51 +0000259TpiStream::getTypeIndexOffsets() const {
260 return TypeIndexOffsets;
261}
262
Rui Ueyama9caea822016-06-16 13:17:59 +0000263FixedStreamArray<TypeIndexOffset>
Rui Ueyamafd97bf12016-06-03 20:48:51 +0000264TpiStream::getHashAdjustments() const {
265 return HashAdjustments;
266}
267
Rui Ueyama9caea822016-06-16 13:17:59 +0000268iterator_range<CVTypeArray::Iterator>
Zachary Turner0d43c1c2016-05-28 05:21:57 +0000269TpiStream::types(bool *HadError) const {
270 return llvm::make_range(TypeRecords.begin(HadError), TypeRecords.end());
Zachary Turnerf5c59652016-05-03 00:28:21 +0000271}