blob: 572ec7d6fc52cf4f4eb97463c015d9685b47c817 [file] [log] [blame]
Zachary Turner307f5ae2018-10-12 19:47:13 +00001//===-- SymbolFileNativePDB.cpp ---------------------------------*- C++ -*-===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Zachary Turner307f5ae2018-10-12 19:47:13 +00006//
7//===----------------------------------------------------------------------===//
8
9#include "SymbolFileNativePDB.h"
10
Zachary Turner2f7efbc2018-10-23 16:37:53 +000011#include "clang/AST/Attr.h"
12#include "clang/AST/CharUnits.h"
13#include "clang/AST/Decl.h"
14#include "clang/AST/DeclCXX.h"
Zachary Turner056e4ab2018-11-08 18:50:11 +000015#include "clang/AST/Type.h"
Zachary Turner2f7efbc2018-10-23 16:37:53 +000016
Zachary Turner44f19512019-01-10 20:57:32 +000017#include "Plugins/Language/CPlusPlus/MSVCUndecoratedNameParser.h"
Zachary Turner307f5ae2018-10-12 19:47:13 +000018#include "lldb/Core/Module.h"
19#include "lldb/Core/PluginManager.h"
Zachary Turner9f727952018-10-26 09:06:38 +000020#include "lldb/Core/StreamBuffer.h"
Zachary Turner056e4ab2018-11-08 18:50:11 +000021#include "lldb/Core/StreamFile.h"
Zachary Turner2f7efbc2018-10-23 16:37:53 +000022#include "lldb/Symbol/ClangASTContext.h"
23#include "lldb/Symbol/ClangASTImporter.h"
24#include "lldb/Symbol/ClangExternalASTSourceCommon.h"
Zachary Turner056e4ab2018-11-08 18:50:11 +000025#include "lldb/Symbol/ClangUtil.h"
Zachary Turner307f5ae2018-10-12 19:47:13 +000026#include "lldb/Symbol/CompileUnit.h"
27#include "lldb/Symbol/LineTable.h"
28#include "lldb/Symbol/ObjectFile.h"
29#include "lldb/Symbol/SymbolContext.h"
30#include "lldb/Symbol/SymbolVendor.h"
Zachary Turner9f727952018-10-26 09:06:38 +000031#include "lldb/Symbol/Variable.h"
32#include "lldb/Symbol/VariableList.h"
Zachary Turner307f5ae2018-10-12 19:47:13 +000033
34#include "llvm/DebugInfo/CodeView/CVRecord.h"
Zachary Turner2f7efbc2018-10-23 16:37:53 +000035#include "llvm/DebugInfo/CodeView/CVTypeVisitor.h"
Zachary Turner307f5ae2018-10-12 19:47:13 +000036#include "llvm/DebugInfo/CodeView/DebugLinesSubsection.h"
Zachary Turner2f7efbc2018-10-23 16:37:53 +000037#include "llvm/DebugInfo/CodeView/LazyRandomTypeCollection.h"
Zachary Turner307f5ae2018-10-12 19:47:13 +000038#include "llvm/DebugInfo/CodeView/RecordName.h"
39#include "llvm/DebugInfo/CodeView/SymbolDeserializer.h"
Zachary Turnera42bbe32018-12-07 19:34:02 +000040#include "llvm/DebugInfo/CodeView/SymbolRecordHelpers.h"
Zachary Turner2f7efbc2018-10-23 16:37:53 +000041#include "llvm/DebugInfo/CodeView/TypeDeserializer.h"
Zachary Turner307f5ae2018-10-12 19:47:13 +000042#include "llvm/DebugInfo/PDB/Native/DbiStream.h"
43#include "llvm/DebugInfo/PDB/Native/GlobalsStream.h"
44#include "llvm/DebugInfo/PDB/Native/InfoStream.h"
45#include "llvm/DebugInfo/PDB/Native/ModuleDebugStream.h"
46#include "llvm/DebugInfo/PDB/Native/PDBFile.h"
47#include "llvm/DebugInfo/PDB/Native/SymbolStream.h"
Zachary Turner2f7efbc2018-10-23 16:37:53 +000048#include "llvm/DebugInfo/PDB/Native/TpiStream.h"
Zachary Turner307f5ae2018-10-12 19:47:13 +000049#include "llvm/DebugInfo/PDB/PDBTypes.h"
Zachary Turner056e4ab2018-11-08 18:50:11 +000050#include "llvm/Demangle/MicrosoftDemangle.h"
Zachary Turner307f5ae2018-10-12 19:47:13 +000051#include "llvm/Object/COFF.h"
52#include "llvm/Support/Allocator.h"
53#include "llvm/Support/BinaryStreamReader.h"
Zachary Turner056e4ab2018-11-08 18:50:11 +000054#include "llvm/Support/Error.h"
Zachary Turner307f5ae2018-10-12 19:47:13 +000055#include "llvm/Support/ErrorOr.h"
56#include "llvm/Support/MemoryBuffer.h"
57
Zachary Turnera93458b2018-12-06 17:49:15 +000058#include "DWARFLocationExpression.h"
Zachary Turner594c85e2018-12-17 19:43:33 +000059#include "PdbAstBuilder.h"
Zachary Turner307f5ae2018-10-12 19:47:13 +000060#include "PdbSymUid.h"
61#include "PdbUtil.h"
Zachary Turner2f7efbc2018-10-23 16:37:53 +000062#include "UdtRecordCompleter.h"
Zachary Turner307f5ae2018-10-12 19:47:13 +000063
64using namespace lldb;
65using namespace lldb_private;
Zachary Turner2f7efbc2018-10-23 16:37:53 +000066using namespace npdb;
Zachary Turner307f5ae2018-10-12 19:47:13 +000067using namespace llvm::codeview;
68using namespace llvm::pdb;
69
70static lldb::LanguageType TranslateLanguage(PDB_Lang lang) {
71 switch (lang) {
72 case PDB_Lang::Cpp:
73 return lldb::LanguageType::eLanguageTypeC_plus_plus;
74 case PDB_Lang::C:
75 return lldb::LanguageType::eLanguageTypeC;
Nathan Lanza0561be62019-03-11 23:30:58 +000076 case PDB_Lang::Swift:
77 return lldb::LanguageType::eLanguageTypeSwift;
Zachary Turner307f5ae2018-10-12 19:47:13 +000078 default:
79 return lldb::LanguageType::eLanguageTypeUnknown;
80 }
81}
82
83static std::unique_ptr<PDBFile> loadPDBFile(std::string PdbPath,
84 llvm::BumpPtrAllocator &Allocator) {
85 llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> ErrorOrBuffer =
86 llvm::MemoryBuffer::getFile(PdbPath, /*FileSize=*/-1,
87 /*RequiresNullTerminator=*/false);
88 if (!ErrorOrBuffer)
89 return nullptr;
90 std::unique_ptr<llvm::MemoryBuffer> Buffer = std::move(*ErrorOrBuffer);
91
92 llvm::StringRef Path = Buffer->getBufferIdentifier();
93 auto Stream = llvm::make_unique<llvm::MemoryBufferByteStream>(
94 std::move(Buffer), llvm::support::little);
95
96 auto File = llvm::make_unique<PDBFile>(Path, std::move(Stream), Allocator);
Zachary Turner8040eea2018-10-12 22:57:40 +000097 if (auto EC = File->parseFileHeaders()) {
98 llvm::consumeError(std::move(EC));
Zachary Turner307f5ae2018-10-12 19:47:13 +000099 return nullptr;
Zachary Turner8040eea2018-10-12 22:57:40 +0000100 }
101 if (auto EC = File->parseStreamData()) {
102 llvm::consumeError(std::move(EC));
Zachary Turner307f5ae2018-10-12 19:47:13 +0000103 return nullptr;
Zachary Turner8040eea2018-10-12 22:57:40 +0000104 }
Zachary Turner307f5ae2018-10-12 19:47:13 +0000105
106 return File;
107}
108
109static std::unique_ptr<PDBFile>
110loadMatchingPDBFile(std::string exe_path, llvm::BumpPtrAllocator &allocator) {
111 // Try to find a matching PDB for an EXE.
112 using namespace llvm::object;
113 auto expected_binary = createBinary(exe_path);
114
115 // If the file isn't a PE/COFF executable, fail.
116 if (!expected_binary) {
117 llvm::consumeError(expected_binary.takeError());
118 return nullptr;
119 }
120 OwningBinary<Binary> binary = std::move(*expected_binary);
121
122 auto *obj = llvm::dyn_cast<llvm::object::COFFObjectFile>(binary.getBinary());
123 if (!obj)
124 return nullptr;
125 const llvm::codeview::DebugInfo *pdb_info = nullptr;
126
127 // If it doesn't have a debug directory, fail.
128 llvm::StringRef pdb_file;
129 auto ec = obj->getDebugPDBInfo(pdb_info, pdb_file);
130 if (ec)
131 return nullptr;
132
133 // if the file doesn't exist, is not a pdb, or doesn't have a matching guid,
134 // fail.
135 llvm::file_magic magic;
136 ec = llvm::identify_magic(pdb_file, magic);
137 if (ec || magic != llvm::file_magic::pdb)
138 return nullptr;
139 std::unique_ptr<PDBFile> pdb = loadPDBFile(pdb_file, allocator);
Zachary Turner8040eea2018-10-12 22:57:40 +0000140 if (!pdb)
141 return nullptr;
142
Zachary Turner307f5ae2018-10-12 19:47:13 +0000143 auto expected_info = pdb->getPDBInfoStream();
144 if (!expected_info) {
145 llvm::consumeError(expected_info.takeError());
146 return nullptr;
147 }
148 llvm::codeview::GUID guid;
149 memcpy(&guid, pdb_info->PDB70.Signature, 16);
150
151 if (expected_info->getGuid() != guid)
152 return nullptr;
153 return pdb;
154}
155
156static bool IsFunctionPrologue(const CompilandIndexItem &cci,
157 lldb::addr_t addr) {
158 // FIXME: Implement this.
159 return false;
160}
161
162static bool IsFunctionEpilogue(const CompilandIndexItem &cci,
163 lldb::addr_t addr) {
164 // FIXME: Implement this.
165 return false;
166}
167
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000168static llvm::StringRef GetSimpleTypeName(SimpleTypeKind kind) {
169 switch (kind) {
170 case SimpleTypeKind::Boolean128:
171 case SimpleTypeKind::Boolean16:
172 case SimpleTypeKind::Boolean32:
173 case SimpleTypeKind::Boolean64:
174 case SimpleTypeKind::Boolean8:
175 return "bool";
176 case SimpleTypeKind::Byte:
177 case SimpleTypeKind::UnsignedCharacter:
178 return "unsigned char";
179 case SimpleTypeKind::NarrowCharacter:
180 return "char";
181 case SimpleTypeKind::SignedCharacter:
182 case SimpleTypeKind::SByte:
Zachary Turner71ebb722018-10-23 22:15:05 +0000183 return "signed char";
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000184 case SimpleTypeKind::Character16:
185 return "char16_t";
186 case SimpleTypeKind::Character32:
187 return "char32_t";
188 case SimpleTypeKind::Complex80:
189 case SimpleTypeKind::Complex64:
190 case SimpleTypeKind::Complex32:
191 return "complex";
192 case SimpleTypeKind::Float128:
193 case SimpleTypeKind::Float80:
194 return "long double";
195 case SimpleTypeKind::Float64:
196 return "double";
197 case SimpleTypeKind::Float32:
198 return "float";
199 case SimpleTypeKind::Float16:
200 return "single";
201 case SimpleTypeKind::Int128:
202 return "__int128";
203 case SimpleTypeKind::Int64:
204 case SimpleTypeKind::Int64Quad:
Zachary Turner71ebb722018-10-23 22:15:05 +0000205 return "int64_t";
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000206 case SimpleTypeKind::Int32:
207 return "int";
208 case SimpleTypeKind::Int16:
209 return "short";
210 case SimpleTypeKind::UInt128:
211 return "unsigned __int128";
212 case SimpleTypeKind::UInt64:
213 case SimpleTypeKind::UInt64Quad:
Zachary Turner71ebb722018-10-23 22:15:05 +0000214 return "uint64_t";
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000215 case SimpleTypeKind::HResult:
216 return "HRESULT";
217 case SimpleTypeKind::UInt32:
218 return "unsigned";
219 case SimpleTypeKind::UInt16:
220 case SimpleTypeKind::UInt16Short:
221 return "unsigned short";
222 case SimpleTypeKind::Int32Long:
223 return "long";
224 case SimpleTypeKind::UInt32Long:
225 return "unsigned long";
226 case SimpleTypeKind::Void:
227 return "void";
228 case SimpleTypeKind::WideCharacter:
229 return "wchar_t";
230 default:
231 return "";
232 }
233}
234
235static bool IsClassRecord(TypeLeafKind kind) {
236 switch (kind) {
237 case LF_STRUCTURE:
238 case LF_CLASS:
239 case LF_INTERFACE:
240 return true;
241 default:
242 return false;
243 }
244}
245
Zachary Turner307f5ae2018-10-12 19:47:13 +0000246void SymbolFileNativePDB::Initialize() {
247 PluginManager::RegisterPlugin(GetPluginNameStatic(),
248 GetPluginDescriptionStatic(), CreateInstance,
249 DebuggerInitialize);
250}
251
252void SymbolFileNativePDB::Terminate() {
253 PluginManager::UnregisterPlugin(CreateInstance);
254}
255
Zachary Turnerb96181c2018-10-22 16:19:07 +0000256void SymbolFileNativePDB::DebuggerInitialize(Debugger &debugger) {}
Zachary Turner307f5ae2018-10-12 19:47:13 +0000257
Zachary Turnerb96181c2018-10-22 16:19:07 +0000258ConstString SymbolFileNativePDB::GetPluginNameStatic() {
Zachary Turner307f5ae2018-10-12 19:47:13 +0000259 static ConstString g_name("native-pdb");
260 return g_name;
261}
262
263const char *SymbolFileNativePDB::GetPluginDescriptionStatic() {
264 return "Microsoft PDB debug symbol cross-platform file reader.";
265}
266
Zachary Turnerb96181c2018-10-22 16:19:07 +0000267SymbolFile *SymbolFileNativePDB::CreateInstance(ObjectFile *obj_file) {
Zachary Turner307f5ae2018-10-12 19:47:13 +0000268 return new SymbolFileNativePDB(obj_file);
269}
270
Zachary Turnerb96181c2018-10-22 16:19:07 +0000271SymbolFileNativePDB::SymbolFileNativePDB(ObjectFile *object_file)
Zachary Turner307f5ae2018-10-12 19:47:13 +0000272 : SymbolFile(object_file) {}
273
274SymbolFileNativePDB::~SymbolFileNativePDB() {}
275
276uint32_t SymbolFileNativePDB::CalculateAbilities() {
277 uint32_t abilities = 0;
278 if (!m_obj_file)
279 return 0;
280
281 if (!m_index) {
282 // Lazily load and match the PDB file, but only do this once.
283 std::unique_ptr<PDBFile> file_up =
284 loadMatchingPDBFile(m_obj_file->GetFileSpec().GetPath(), m_allocator);
285
286 if (!file_up) {
287 auto module_sp = m_obj_file->GetModule();
288 if (!module_sp)
289 return 0;
290 // See if any symbol file is specified through `--symfile` option.
291 FileSpec symfile = module_sp->GetSymbolFileFileSpec();
292 if (!symfile)
293 return 0;
294 file_up = loadPDBFile(symfile.GetPath(), m_allocator);
295 }
296
297 if (!file_up)
298 return 0;
299
300 auto expected_index = PdbIndex::create(std::move(file_up));
301 if (!expected_index) {
302 llvm::consumeError(expected_index.takeError());
303 return 0;
304 }
305 m_index = std::move(*expected_index);
306 }
307 if (!m_index)
308 return 0;
309
310 // We don't especially have to be precise here. We only distinguish between
311 // stripped and not stripped.
312 abilities = kAllAbilities;
313
314 if (m_index->dbi().isStripped())
315 abilities &= ~(Blocks | LocalVariables);
316 return abilities;
317}
318
319void SymbolFileNativePDB::InitializeObject() {
Pavel Labathd1304bb2019-02-18 11:06:57 +0000320 m_obj_load_address = m_obj_file->GetBaseAddress().GetFileAddress();
Zachary Turner307f5ae2018-10-12 19:47:13 +0000321 m_index->SetLoadAddress(m_obj_load_address);
322 m_index->ParseSectionContribs();
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000323
Zachary Turner594c85e2018-12-17 19:43:33 +0000324 TypeSystem *ts = m_obj_file->GetModule()->GetTypeSystemForLanguage(
325 lldb::eLanguageTypeC_plus_plus);
326 if (ts)
327 ts->SetSymbolFile(this);
Zachary Turner056e4ab2018-11-08 18:50:11 +0000328
Zachary Turner594c85e2018-12-17 19:43:33 +0000329 m_ast = llvm::make_unique<PdbAstBuilder>(*m_obj_file, *m_index);
Zachary Turner056e4ab2018-11-08 18:50:11 +0000330}
331
Pavel Labathe0119902019-07-23 09:24:02 +0000332uint32_t SymbolFileNativePDB::CalculateNumCompileUnits() {
Zachary Turner307f5ae2018-10-12 19:47:13 +0000333 const DbiModuleList &modules = m_index->dbi().modules();
334 uint32_t count = modules.getModuleCount();
335 if (count == 0)
336 return count;
337
338 // The linker can inject an additional "dummy" compilation unit into the
339 // PDB. Ignore this special compile unit for our purposes, if it is there.
340 // It is always the last one.
341 DbiModuleDescriptor last = modules.getModuleDescriptor(count - 1);
342 if (last.getModuleName() == "* Linker *")
343 --count;
344 return count;
345}
346
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000347Block &SymbolFileNativePDB::CreateBlock(PdbCompilandSymId block_id) {
348 CompilandIndexItem *cii = m_index->compilands().GetCompiland(block_id.modi);
349 CVSymbol sym = cii->m_debug_stream.readSymbolAtOffset(block_id.offset);
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000350
351 if (sym.kind() == S_GPROC32 || sym.kind() == S_LPROC32) {
352 // This is a function. It must be global. Creating the Function entry for
353 // it automatically creates a block for it.
354 CompUnitSP comp_unit = GetOrCreateCompileUnit(*cii);
355 return GetOrCreateFunction(block_id, *comp_unit)->GetBlock(false);
356 }
357
358 lldbassert(sym.kind() == S_BLOCK32);
359
360 // This is a block. Its parent is either a function or another block. In
361 // either case, its parent can be viewed as a block (e.g. a function contains
362 // 1 big block. So just get the parent block and add this block to it.
363 BlockSym block(static_cast<SymbolRecordKind>(sym.kind()));
364 cantFail(SymbolDeserializer::deserializeAs<BlockSym>(sym, block));
365 lldbassert(block.Parent != 0);
366 PdbCompilandSymId parent_id(block_id.modi, block.Parent);
367 Block &parent_block = GetOrCreateBlock(parent_id);
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000368 lldb::user_id_t opaque_block_uid = toOpaqueUid(block_id);
369 BlockSP child_block = std::make_shared<Block>(opaque_block_uid);
370 parent_block.AddChild(child_block);
Zachary Turner594c85e2018-12-17 19:43:33 +0000371
372 m_ast->GetOrCreateBlockDecl(block_id);
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000373
374 m_blocks.insert({opaque_block_uid, child_block});
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000375 return *child_block;
376}
377
Zachary Turner6284aee2018-11-16 02:42:32 +0000378lldb::FunctionSP SymbolFileNativePDB::CreateFunction(PdbCompilandSymId func_id,
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000379 CompileUnit &comp_unit) {
Zachary Turner6284aee2018-11-16 02:42:32 +0000380 const CompilandIndexItem *cci =
381 m_index->compilands().GetCompiland(func_id.modi);
Zachary Turner307f5ae2018-10-12 19:47:13 +0000382 lldbassert(cci);
Zachary Turner6284aee2018-11-16 02:42:32 +0000383 CVSymbol sym_record = cci->m_debug_stream.readSymbolAtOffset(func_id.offset);
Zachary Turner307f5ae2018-10-12 19:47:13 +0000384
385 lldbassert(sym_record.kind() == S_LPROC32 || sym_record.kind() == S_GPROC32);
386 SegmentOffsetLength sol = GetSegmentOffsetAndLength(sym_record);
387
388 auto file_vm_addr = m_index->MakeVirtualAddress(sol.so);
389 if (file_vm_addr == LLDB_INVALID_ADDRESS || file_vm_addr == 0)
390 return nullptr;
391
392 AddressRange func_range(file_vm_addr, sol.length,
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000393 comp_unit.GetModule()->GetSectionList());
Zachary Turner307f5ae2018-10-12 19:47:13 +0000394 if (!func_range.GetBaseAddress().IsValid())
395 return nullptr;
396
Zachary Turnera42bbe32018-12-07 19:34:02 +0000397 ProcSym proc(static_cast<SymbolRecordKind>(sym_record.kind()));
398 cantFail(SymbolDeserializer::deserializeAs<ProcSym>(sym_record, proc));
Zachary Turner44f19512019-01-10 20:57:32 +0000399 if (proc.FunctionType == TypeIndex::None())
400 return nullptr;
Zachary Turnera42bbe32018-12-07 19:34:02 +0000401 TypeSP func_type = GetOrCreateType(proc.FunctionType);
Zachary Turner44f19512019-01-10 20:57:32 +0000402 if (!func_type)
403 return nullptr;
Zachary Turner307f5ae2018-10-12 19:47:13 +0000404
Zachary Turnera42bbe32018-12-07 19:34:02 +0000405 PdbTypeSymId sig_id(proc.FunctionType, false);
406 Mangled mangled(proc.Name);
Zachary Turner307f5ae2018-10-12 19:47:13 +0000407 FunctionSP func_sp = std::make_shared<Function>(
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000408 &comp_unit, toOpaqueUid(func_id), toOpaqueUid(sig_id), mangled,
Zachary Turnera42bbe32018-12-07 19:34:02 +0000409 func_type.get(), func_range);
Zachary Turner307f5ae2018-10-12 19:47:13 +0000410
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000411 comp_unit.AddFunction(func_sp);
412
Zachary Turner594c85e2018-12-17 19:43:33 +0000413 m_ast->GetOrCreateFunctionDecl(func_id);
Zachary Turnera42bbe32018-12-07 19:34:02 +0000414
Zachary Turner307f5ae2018-10-12 19:47:13 +0000415 return func_sp;
416}
417
418CompUnitSP
419SymbolFileNativePDB::CreateCompileUnit(const CompilandIndexItem &cci) {
420 lldb::LanguageType lang =
421 cci.m_compile_opts ? TranslateLanguage(cci.m_compile_opts->getLanguage())
422 : lldb::eLanguageTypeUnknown;
423
424 LazyBool optimized = eLazyBoolNo;
425 if (cci.m_compile_opts && cci.m_compile_opts->hasOptimizations())
426 optimized = eLazyBoolYes;
427
Zachary Turner51f88af2018-12-19 19:45:30 +0000428 llvm::SmallString<64> source_file_name =
Zachary Turner307f5ae2018-10-12 19:47:13 +0000429 m_index->compilands().GetMainSourceFile(cci);
Jonas Devlieghere8f3be7a2018-11-01 21:05:36 +0000430 FileSpec fs(source_file_name);
Zachary Turner307f5ae2018-10-12 19:47:13 +0000431
432 CompUnitSP cu_sp =
433 std::make_shared<CompileUnit>(m_obj_file->GetModule(), nullptr, fs,
Zachary Turner6284aee2018-11-16 02:42:32 +0000434 toOpaqueUid(cci.m_id), lang, optimized);
Zachary Turner307f5ae2018-10-12 19:47:13 +0000435
Pavel Labathe0119902019-07-23 09:24:02 +0000436 SetCompileUnitAtIndex(cci.m_id.modi, cu_sp);
Zachary Turner307f5ae2018-10-12 19:47:13 +0000437 return cu_sp;
438}
439
Zachary Turner6284aee2018-11-16 02:42:32 +0000440lldb::TypeSP SymbolFileNativePDB::CreateModifierType(PdbTypeSymId type_id,
Zachary Turner594c85e2018-12-17 19:43:33 +0000441 const ModifierRecord &mr,
442 CompilerType ct) {
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000443 TpiStream &stream = m_index->tpi();
444
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000445 std::string name;
446 if (mr.ModifiedType.isSimple())
447 name = GetSimpleTypeName(mr.ModifiedType.getSimpleKind());
448 else
449 name = computeTypeName(stream.typeCollection(), mr.ModifiedType);
450 Declaration decl;
Zachary Turner594c85e2018-12-17 19:43:33 +0000451 lldb::TypeSP modified_type = GetOrCreateType(mr.ModifiedType);
452
453 return std::make_shared<Type>(toOpaqueUid(type_id), this, ConstString(name),
454 modified_type->GetByteSize(), nullptr,
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000455 LLDB_INVALID_UID, Type::eEncodingIsUID, decl,
456 ct, Type::eResolveStateFull);
457}
458
Zachary Turner594c85e2018-12-17 19:43:33 +0000459lldb::TypeSP
460SymbolFileNativePDB::CreatePointerType(PdbTypeSymId type_id,
461 const llvm::codeview::PointerRecord &pr,
462 CompilerType ct) {
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000463 TypeSP pointee = GetOrCreateType(pr.ReferentType);
Zachary Turner544a66d82018-11-01 16:37:29 +0000464 if (!pointee)
465 return nullptr;
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000466
467 if (pr.isPointerToMember()) {
468 MemberPointerInfo mpi = pr.getMemberInfo();
Zachary Turner594c85e2018-12-17 19:43:33 +0000469 GetOrCreateType(mpi.ContainingType);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000470 }
471
Zachary Turner594c85e2018-12-17 19:43:33 +0000472 Declaration decl;
473 return std::make_shared<Type>(toOpaqueUid(type_id), this, ConstString(),
474 pr.getSize(), nullptr, LLDB_INVALID_UID,
475 Type::eEncodingIsUID, decl, ct,
476 Type::eResolveStateFull);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000477}
478
Zachary Turner594c85e2018-12-17 19:43:33 +0000479lldb::TypeSP SymbolFileNativePDB::CreateSimpleType(TypeIndex ti,
480 CompilerType ct) {
Zachary Turner9fbf9352018-11-16 03:16:27 +0000481 uint64_t uid = toOpaqueUid(PdbTypeSymId(ti, false));
Zachary Turner544a66d82018-11-01 16:37:29 +0000482 if (ti == TypeIndex::NullptrT()) {
Zachary Turner544a66d82018-11-01 16:37:29 +0000483 Declaration decl;
Zachary Turner6284aee2018-11-16 02:42:32 +0000484 return std::make_shared<Type>(
485 uid, this, ConstString("std::nullptr_t"), 0, nullptr, LLDB_INVALID_UID,
486 Type::eEncodingIsUID, decl, ct, Type::eResolveStateFull);
Zachary Turner544a66d82018-11-01 16:37:29 +0000487 }
488
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000489 if (ti.getSimpleMode() != SimpleTypeMode::Direct) {
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000490 TypeSP direct_sp = GetOrCreateType(ti.makeDirect());
Zachary Turner71ebb722018-10-23 22:15:05 +0000491 uint32_t pointer_size = 0;
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000492 switch (ti.getSimpleMode()) {
493 case SimpleTypeMode::FarPointer32:
494 case SimpleTypeMode::NearPointer32:
495 pointer_size = 4;
496 break;
497 case SimpleTypeMode::NearPointer64:
498 pointer_size = 8;
499 break;
500 default:
501 // 128-bit and 16-bit pointers unsupported.
502 return nullptr;
503 }
504 Declaration decl;
Zachary Turner594c85e2018-12-17 19:43:33 +0000505 return std::make_shared<Type>(
506 uid, this, ConstString(), pointer_size, nullptr, LLDB_INVALID_UID,
507 Type::eEncodingIsUID, decl, ct, Type::eResolveStateFull);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000508 }
509
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000510 if (ti.getSimpleKind() == SimpleTypeKind::NotTranslated)
511 return nullptr;
512
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000513 size_t size = GetTypeSizeForSimpleKind(ti.getSimpleKind());
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000514 llvm::StringRef type_name = GetSimpleTypeName(ti.getSimpleKind());
515
516 Declaration decl;
Zachary Turner594c85e2018-12-17 19:43:33 +0000517 return std::make_shared<Type>(uid, this, ConstString(type_name), size,
518 nullptr, LLDB_INVALID_UID, Type::eEncodingIsUID,
519 decl, ct, Type::eResolveStateFull);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000520}
521
Zachary Turner594c85e2018-12-17 19:43:33 +0000522static std::string GetUnqualifiedTypeName(const TagRecord &record) {
Zachary Turner44f19512019-01-10 20:57:32 +0000523 if (!record.hasUniqueName()) {
524 MSVCUndecoratedNameParser parser(record.Name);
525 llvm::ArrayRef<MSVCUndecoratedNameSpecifier> specs = parser.GetSpecifiers();
526
527 return specs.back().GetBaseName();
528 }
529
Zachary Turner056e4ab2018-11-08 18:50:11 +0000530 llvm::ms_demangle::Demangler demangler;
531 StringView sv(record.UniqueName.begin(), record.UniqueName.size());
532 llvm::ms_demangle::TagTypeNode *ttn = demangler.parseTagUniqueName(sv);
Zachary Turner44f19512019-01-10 20:57:32 +0000533 if (demangler.Error)
534 return record.Name;
535
Zachary Turner056e4ab2018-11-08 18:50:11 +0000536 llvm::ms_demangle::IdentifierNode *idn =
537 ttn->QualifiedName->getUnqualifiedIdentifier();
Zachary Turner594c85e2018-12-17 19:43:33 +0000538 return idn->toString();
Zachary Turner056e4ab2018-11-08 18:50:11 +0000539}
540
Zachary Turner594c85e2018-12-17 19:43:33 +0000541lldb::TypeSP
542SymbolFileNativePDB::CreateClassStructUnion(PdbTypeSymId type_id,
543 const TagRecord &record,
544 size_t size, CompilerType ct) {
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000545
Zachary Turner594c85e2018-12-17 19:43:33 +0000546 std::string uname = GetUnqualifiedTypeName(record);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000547
548 // FIXME: Search IPI stream for LF_UDT_MOD_SRC_LINE.
549 Declaration decl;
Zachary Turner594c85e2018-12-17 19:43:33 +0000550 return std::make_shared<Type>(toOpaqueUid(type_id), this, ConstString(uname),
551 size, nullptr, LLDB_INVALID_UID,
552 Type::eEncodingIsUID, decl, ct,
553 Type::eResolveStateForward);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000554}
555
Zachary Turner6284aee2018-11-16 02:42:32 +0000556lldb::TypeSP SymbolFileNativePDB::CreateTagType(PdbTypeSymId type_id,
Zachary Turner594c85e2018-12-17 19:43:33 +0000557 const ClassRecord &cr,
558 CompilerType ct) {
559 return CreateClassStructUnion(type_id, cr, cr.getSize(), ct);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000560}
561
Zachary Turner6284aee2018-11-16 02:42:32 +0000562lldb::TypeSP SymbolFileNativePDB::CreateTagType(PdbTypeSymId type_id,
Zachary Turner594c85e2018-12-17 19:43:33 +0000563 const UnionRecord &ur,
564 CompilerType ct) {
565 return CreateClassStructUnion(type_id, ur, ur.getSize(), ct);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000566}
567
Zachary Turner6284aee2018-11-16 02:42:32 +0000568lldb::TypeSP SymbolFileNativePDB::CreateTagType(PdbTypeSymId type_id,
Zachary Turner594c85e2018-12-17 19:43:33 +0000569 const EnumRecord &er,
570 CompilerType ct) {
571 std::string uname = GetUnqualifiedTypeName(er);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000572
573 Declaration decl;
574 TypeSP underlying_type = GetOrCreateType(er.UnderlyingType);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000575
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000576 return std::make_shared<lldb_private::Type>(
Zachary Turner594c85e2018-12-17 19:43:33 +0000577 toOpaqueUid(type_id), this, ConstString(uname),
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000578 underlying_type->GetByteSize(), nullptr, LLDB_INVALID_UID,
Zachary Turner594c85e2018-12-17 19:43:33 +0000579 lldb_private::Type::eEncodingIsUID, decl, ct,
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000580 lldb_private::Type::eResolveStateForward);
581}
582
Zachary Turner6284aee2018-11-16 02:42:32 +0000583TypeSP SymbolFileNativePDB::CreateArrayType(PdbTypeSymId type_id,
Zachary Turner594c85e2018-12-17 19:43:33 +0000584 const ArrayRecord &ar,
585 CompilerType ct) {
Zachary Turner511bff22018-10-30 18:57:08 +0000586 TypeSP element_type = GetOrCreateType(ar.ElementType);
Zachary Turner511bff22018-10-30 18:57:08 +0000587
588 Declaration decl;
589 TypeSP array_sp = std::make_shared<lldb_private::Type>(
Zachary Turner594c85e2018-12-17 19:43:33 +0000590 toOpaqueUid(type_id), this, ConstString(), ar.Size, nullptr,
591 LLDB_INVALID_UID, lldb_private::Type::eEncodingIsUID, decl, ct,
592 lldb_private::Type::eResolveStateFull);
Zachary Turner511bff22018-10-30 18:57:08 +0000593 array_sp->SetEncodingType(element_type.get());
594 return array_sp;
595}
596
Aleksandr Urakov869f9342019-05-13 09:41:57 +0000597
598TypeSP SymbolFileNativePDB::CreateFunctionType(PdbTypeSymId type_id,
599 const MemberFunctionRecord &mfr,
600 CompilerType ct) {
601 Declaration decl;
602 return std::make_shared<lldb_private::Type>(
603 toOpaqueUid(type_id), this, ConstString(), 0, nullptr, LLDB_INVALID_UID,
604 lldb_private::Type::eEncodingIsUID, decl, ct,
605 lldb_private::Type::eResolveStateFull);
606}
607
Zachary Turner6284aee2018-11-16 02:42:32 +0000608TypeSP SymbolFileNativePDB::CreateProcedureType(PdbTypeSymId type_id,
Zachary Turner594c85e2018-12-17 19:43:33 +0000609 const ProcedureRecord &pr,
610 CompilerType ct) {
Zachary Turner544a66d82018-11-01 16:37:29 +0000611 Declaration decl;
612 return std::make_shared<lldb_private::Type>(
Zachary Turner6284aee2018-11-16 02:42:32 +0000613 toOpaqueUid(type_id), this, ConstString(), 0, nullptr, LLDB_INVALID_UID,
Zachary Turner594c85e2018-12-17 19:43:33 +0000614 lldb_private::Type::eEncodingIsUID, decl, ct,
Zachary Turner544a66d82018-11-01 16:37:29 +0000615 lldb_private::Type::eResolveStateFull);
616}
617
Zachary Turner594c85e2018-12-17 19:43:33 +0000618TypeSP SymbolFileNativePDB::CreateType(PdbTypeSymId type_id, CompilerType ct) {
Zachary Turner6284aee2018-11-16 02:42:32 +0000619 if (type_id.index.isSimple())
Zachary Turner594c85e2018-12-17 19:43:33 +0000620 return CreateSimpleType(type_id.index, ct);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000621
Zachary Turner6284aee2018-11-16 02:42:32 +0000622 TpiStream &stream = type_id.is_ipi ? m_index->ipi() : m_index->tpi();
623 CVType cvt = stream.getType(type_id.index);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000624
625 if (cvt.kind() == LF_MODIFIER) {
626 ModifierRecord modifier;
627 llvm::cantFail(
628 TypeDeserializer::deserializeAs<ModifierRecord>(cvt, modifier));
Zachary Turner594c85e2018-12-17 19:43:33 +0000629 return CreateModifierType(type_id, modifier, ct);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000630 }
631
632 if (cvt.kind() == LF_POINTER) {
633 PointerRecord pointer;
634 llvm::cantFail(
635 TypeDeserializer::deserializeAs<PointerRecord>(cvt, pointer));
Zachary Turner594c85e2018-12-17 19:43:33 +0000636 return CreatePointerType(type_id, pointer, ct);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000637 }
638
639 if (IsClassRecord(cvt.kind())) {
640 ClassRecord cr;
641 llvm::cantFail(TypeDeserializer::deserializeAs<ClassRecord>(cvt, cr));
Zachary Turner594c85e2018-12-17 19:43:33 +0000642 return CreateTagType(type_id, cr, ct);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000643 }
644
645 if (cvt.kind() == LF_ENUM) {
646 EnumRecord er;
647 llvm::cantFail(TypeDeserializer::deserializeAs<EnumRecord>(cvt, er));
Zachary Turner594c85e2018-12-17 19:43:33 +0000648 return CreateTagType(type_id, er, ct);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000649 }
650
651 if (cvt.kind() == LF_UNION) {
652 UnionRecord ur;
653 llvm::cantFail(TypeDeserializer::deserializeAs<UnionRecord>(cvt, ur));
Zachary Turner594c85e2018-12-17 19:43:33 +0000654 return CreateTagType(type_id, ur, ct);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000655 }
656
Zachary Turner511bff22018-10-30 18:57:08 +0000657 if (cvt.kind() == LF_ARRAY) {
658 ArrayRecord ar;
659 llvm::cantFail(TypeDeserializer::deserializeAs<ArrayRecord>(cvt, ar));
Zachary Turner594c85e2018-12-17 19:43:33 +0000660 return CreateArrayType(type_id, ar, ct);
Zachary Turner511bff22018-10-30 18:57:08 +0000661 }
662
Zachary Turner544a66d82018-11-01 16:37:29 +0000663 if (cvt.kind() == LF_PROCEDURE) {
664 ProcedureRecord pr;
665 llvm::cantFail(TypeDeserializer::deserializeAs<ProcedureRecord>(cvt, pr));
Zachary Turner594c85e2018-12-17 19:43:33 +0000666 return CreateProcedureType(type_id, pr, ct);
Zachary Turner544a66d82018-11-01 16:37:29 +0000667 }
Aleksandr Urakov869f9342019-05-13 09:41:57 +0000668 if (cvt.kind() == LF_MFUNCTION) {
669 MemberFunctionRecord mfr;
670 llvm::cantFail(TypeDeserializer::deserializeAs<MemberFunctionRecord>(cvt, mfr));
671 return CreateFunctionType(type_id, mfr, ct);
672 }
Zachary Turner544a66d82018-11-01 16:37:29 +0000673
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000674 return nullptr;
675}
676
Zachary Turner6284aee2018-11-16 02:42:32 +0000677TypeSP SymbolFileNativePDB::CreateAndCacheType(PdbTypeSymId type_id) {
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000678 // If they search for a UDT which is a forward ref, try and resolve the full
679 // decl and just map the forward ref uid to the full decl record.
Zachary Turner6284aee2018-11-16 02:42:32 +0000680 llvm::Optional<PdbTypeSymId> full_decl_uid;
681 if (IsForwardRefUdt(type_id, m_index->tpi())) {
682 auto expected_full_ti =
683 m_index->tpi().findFullDeclForForwardRef(type_id.index);
684 if (!expected_full_ti)
685 llvm::consumeError(expected_full_ti.takeError());
686 else if (*expected_full_ti != type_id.index) {
Zachary Turner9fbf9352018-11-16 03:16:27 +0000687 full_decl_uid = PdbTypeSymId(*expected_full_ti, false);
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000688
Zachary Turner6284aee2018-11-16 02:42:32 +0000689 // It's possible that a lookup would occur for the full decl causing it
690 // to be cached, then a second lookup would occur for the forward decl.
691 // We don't want to create a second full decl, so make sure the full
692 // decl hasn't already been cached.
693 auto full_iter = m_types.find(toOpaqueUid(*full_decl_uid));
694 if (full_iter != m_types.end()) {
695 TypeSP result = full_iter->second;
696 // Map the forward decl to the TypeSP for the full decl so we can take
697 // the fast path next time.
698 m_types[toOpaqueUid(type_id)] = result;
699 return result;
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000700 }
701 }
702 }
703
Zachary Turner6284aee2018-11-16 02:42:32 +0000704 PdbTypeSymId best_decl_id = full_decl_uid ? *full_decl_uid : type_id;
Zachary Turner594c85e2018-12-17 19:43:33 +0000705
706 clang::QualType qt = m_ast->GetOrCreateType(best_decl_id);
707
708 TypeSP result = CreateType(best_decl_id, m_ast->ToCompilerType(qt));
Zachary Turner544a66d82018-11-01 16:37:29 +0000709 if (!result)
710 return nullptr;
Zachary Turner6284aee2018-11-16 02:42:32 +0000711
712 uint64_t best_uid = toOpaqueUid(best_decl_id);
713 m_types[best_uid] = result;
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000714 // If we had both a forward decl and a full decl, make both point to the new
715 // type.
716 if (full_decl_uid)
Zachary Turner6284aee2018-11-16 02:42:32 +0000717 m_types[toOpaqueUid(type_id)] = result;
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000718
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000719 return result;
720}
721
Zachary Turner6284aee2018-11-16 02:42:32 +0000722TypeSP SymbolFileNativePDB::GetOrCreateType(PdbTypeSymId type_id) {
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000723 // We can't use try_emplace / overwrite here because the process of creating
724 // a type could create nested types, which could invalidate iterators. So
725 // we have to do a 2-phase lookup / insert.
Zachary Turner6284aee2018-11-16 02:42:32 +0000726 auto iter = m_types.find(toOpaqueUid(type_id));
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000727 if (iter != m_types.end())
728 return iter->second;
729
Zachary Turner44f19512019-01-10 20:57:32 +0000730 TypeSP type = CreateAndCacheType(type_id);
731 if (type)
Pavel Labathf46e8972019-07-25 08:22:05 +0000732 GetTypeList().Insert(type);
Zachary Turner44f19512019-01-10 20:57:32 +0000733 return type;
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000734}
735
Zachary Turner6284aee2018-11-16 02:42:32 +0000736VariableSP SymbolFileNativePDB::CreateGlobalVariable(PdbGlobalSymId var_id) {
737 CVSymbol sym = m_index->symrecords().readRecord(var_id.offset);
Zachary Turner2af34162018-11-13 20:07:57 +0000738 if (sym.kind() == S_CONSTANT)
Zachary Turner6284aee2018-11-16 02:42:32 +0000739 return CreateConstantSymbol(var_id, sym);
Zachary Turner2af34162018-11-13 20:07:57 +0000740
Zachary Turner9f727952018-10-26 09:06:38 +0000741 lldb::ValueType scope = eValueTypeInvalid;
742 TypeIndex ti;
743 llvm::StringRef name;
744 lldb::addr_t addr = 0;
745 uint16_t section = 0;
746 uint32_t offset = 0;
747 bool is_external = false;
748 switch (sym.kind()) {
749 case S_GDATA32:
750 is_external = true;
751 LLVM_FALLTHROUGH;
752 case S_LDATA32: {
753 DataSym ds(sym.kind());
754 llvm::cantFail(SymbolDeserializer::deserializeAs<DataSym>(sym, ds));
755 ti = ds.Type;
756 scope = (sym.kind() == S_GDATA32) ? eValueTypeVariableGlobal
757 : eValueTypeVariableStatic;
758 name = ds.Name;
759 section = ds.Segment;
760 offset = ds.DataOffset;
761 addr = m_index->MakeVirtualAddress(ds.Segment, ds.DataOffset);
762 break;
763 }
764 case S_GTHREAD32:
765 is_external = true;
766 LLVM_FALLTHROUGH;
767 case S_LTHREAD32: {
768 ThreadLocalDataSym tlds(sym.kind());
769 llvm::cantFail(
770 SymbolDeserializer::deserializeAs<ThreadLocalDataSym>(sym, tlds));
771 ti = tlds.Type;
772 name = tlds.Name;
773 section = tlds.Segment;
774 offset = tlds.DataOffset;
775 addr = m_index->MakeVirtualAddress(tlds.Segment, tlds.DataOffset);
776 scope = eValueTypeVariableThreadLocal;
777 break;
778 }
779 default:
780 llvm_unreachable("unreachable!");
781 }
782
783 CompUnitSP comp_unit;
784 llvm::Optional<uint16_t> modi = m_index->GetModuleIndexForVa(addr);
785 if (modi) {
Zachary Turner6284aee2018-11-16 02:42:32 +0000786 CompilandIndexItem &cci = m_index->compilands().GetOrCreateCompiland(*modi);
Zachary Turner9f727952018-10-26 09:06:38 +0000787 comp_unit = GetOrCreateCompileUnit(cci);
788 }
789
790 Declaration decl;
Zachary Turner9fbf9352018-11-16 03:16:27 +0000791 PdbTypeSymId tid(ti, false);
Zachary Turner9f727952018-10-26 09:06:38 +0000792 SymbolFileTypeSP type_sp =
Zachary Turner6284aee2018-11-16 02:42:32 +0000793 std::make_shared<SymbolFileType>(*this, toOpaqueUid(tid));
Zachary Turner9f727952018-10-26 09:06:38 +0000794 Variable::RangeList ranges;
795
Zachary Turner22566332019-01-02 18:33:54 +0000796 m_ast->GetOrCreateVariableDecl(var_id);
Zachary Turner37900292018-12-20 23:32:37 +0000797
Zachary Turner9f727952018-10-26 09:06:38 +0000798 DWARFExpression location = MakeGlobalLocationExpression(
799 section, offset, GetObjectFile()->GetModule());
800
801 std::string global_name("::");
802 global_name += name;
803 VariableSP var_sp = std::make_shared<Variable>(
Zachary Turner6284aee2018-11-16 02:42:32 +0000804 toOpaqueUid(var_id), name.str().c_str(), global_name.c_str(), type_sp,
Zachary Turner9f727952018-10-26 09:06:38 +0000805 scope, comp_unit.get(), ranges, &decl, location, is_external, false,
806 false);
807 var_sp->SetLocationIsConstantValueData(false);
808
809 return var_sp;
810}
811
Zachary Turner2af34162018-11-13 20:07:57 +0000812lldb::VariableSP
Zachary Turner6284aee2018-11-16 02:42:32 +0000813SymbolFileNativePDB::CreateConstantSymbol(PdbGlobalSymId var_id,
Zachary Turner2af34162018-11-13 20:07:57 +0000814 const CVSymbol &cvs) {
815 TpiStream &tpi = m_index->tpi();
816 ConstantSym constant(cvs.kind());
817
818 llvm::cantFail(SymbolDeserializer::deserializeAs<ConstantSym>(cvs, constant));
819 std::string global_name("::");
820 global_name += constant.Name;
Zachary Turner9fbf9352018-11-16 03:16:27 +0000821 PdbTypeSymId tid(constant.Type, false);
Zachary Turner2af34162018-11-13 20:07:57 +0000822 SymbolFileTypeSP type_sp =
Zachary Turner6284aee2018-11-16 02:42:32 +0000823 std::make_shared<SymbolFileType>(*this, toOpaqueUid(tid));
Zachary Turner2af34162018-11-13 20:07:57 +0000824
825 Declaration decl;
826 Variable::RangeList ranges;
827 ModuleSP module = GetObjectFile()->GetModule();
Zachary Turnera93458b2018-12-06 17:49:15 +0000828 DWARFExpression location = MakeConstantLocationExpression(
829 constant.Type, tpi, constant.Value, module);
Zachary Turner2af34162018-11-13 20:07:57 +0000830
831 VariableSP var_sp = std::make_shared<Variable>(
Zachary Turner6284aee2018-11-16 02:42:32 +0000832 toOpaqueUid(var_id), constant.Name.str().c_str(), global_name.c_str(),
Zachary Turner2af34162018-11-13 20:07:57 +0000833 type_sp, eValueTypeVariableGlobal, module.get(), ranges, &decl, location,
834 false, false, false);
835 var_sp->SetLocationIsConstantValueData(true);
836 return var_sp;
837}
838
Zachary Turner6284aee2018-11-16 02:42:32 +0000839VariableSP
840SymbolFileNativePDB::GetOrCreateGlobalVariable(PdbGlobalSymId var_id) {
841 auto emplace_result = m_global_vars.try_emplace(toOpaqueUid(var_id), nullptr);
Zachary Turner9f727952018-10-26 09:06:38 +0000842 if (emplace_result.second)
Zachary Turner6284aee2018-11-16 02:42:32 +0000843 emplace_result.first->second = CreateGlobalVariable(var_id);
Zachary Turner9f727952018-10-26 09:06:38 +0000844
845 return emplace_result.first->second;
846}
847
Zachary Turner6284aee2018-11-16 02:42:32 +0000848lldb::TypeSP SymbolFileNativePDB::GetOrCreateType(TypeIndex ti) {
Zachary Turner9fbf9352018-11-16 03:16:27 +0000849 return GetOrCreateType(PdbTypeSymId(ti, false));
Zachary Turner2f7efbc2018-10-23 16:37:53 +0000850}
851
Zachary Turner6284aee2018-11-16 02:42:32 +0000852FunctionSP SymbolFileNativePDB::GetOrCreateFunction(PdbCompilandSymId func_id,
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000853 CompileUnit &comp_unit) {
Zachary Turner6284aee2018-11-16 02:42:32 +0000854 auto emplace_result = m_functions.try_emplace(toOpaqueUid(func_id), nullptr);
Zachary Turner307f5ae2018-10-12 19:47:13 +0000855 if (emplace_result.second)
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000856 emplace_result.first->second = CreateFunction(func_id, comp_unit);
Zachary Turner307f5ae2018-10-12 19:47:13 +0000857
Zachary Turner307f5ae2018-10-12 19:47:13 +0000858 return emplace_result.first->second;
859}
860
861CompUnitSP
862SymbolFileNativePDB::GetOrCreateCompileUnit(const CompilandIndexItem &cci) {
Zachary Turner6284aee2018-11-16 02:42:32 +0000863
Zachary Turner307f5ae2018-10-12 19:47:13 +0000864 auto emplace_result =
Zachary Turner6284aee2018-11-16 02:42:32 +0000865 m_compilands.try_emplace(toOpaqueUid(cci.m_id), nullptr);
Zachary Turner307f5ae2018-10-12 19:47:13 +0000866 if (emplace_result.second)
867 emplace_result.first->second = CreateCompileUnit(cci);
868
869 lldbassert(emplace_result.first->second);
870 return emplace_result.first->second;
871}
872
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000873Block &SymbolFileNativePDB::GetOrCreateBlock(PdbCompilandSymId block_id) {
874 auto iter = m_blocks.find(toOpaqueUid(block_id));
875 if (iter != m_blocks.end())
876 return *iter->second;
877
878 return CreateBlock(block_id);
879}
880
Zachary Turner22566332019-01-02 18:33:54 +0000881void SymbolFileNativePDB::ParseDeclsForContext(
882 lldb_private::CompilerDeclContext decl_ctx) {
883 clang::DeclContext *context = m_ast->FromCompilerDeclContext(decl_ctx);
884 if (!context)
885 return;
886 m_ast->ParseDeclsForContext(*context);
887}
888
Zachary Turner307f5ae2018-10-12 19:47:13 +0000889lldb::CompUnitSP SymbolFileNativePDB::ParseCompileUnitAtIndex(uint32_t index) {
890 if (index >= GetNumCompileUnits())
891 return CompUnitSP();
892 lldbassert(index < UINT16_MAX);
893 if (index >= UINT16_MAX)
894 return nullptr;
895
896 CompilandIndexItem &item = m_index->compilands().GetOrCreateCompiland(index);
897
898 return GetOrCreateCompileUnit(item);
899}
900
Zachary Turner863f8c12019-01-11 18:03:20 +0000901lldb::LanguageType SymbolFileNativePDB::ParseLanguage(CompileUnit &comp_unit) {
Pavel Labath656ddeb2019-07-30 08:20:05 +0000902 std::lock_guard<std::recursive_mutex> guard(GetModuleMutex());
Zachary Turner863f8c12019-01-11 18:03:20 +0000903 PdbSymUid uid(comp_unit.GetID());
Zachary Turner6284aee2018-11-16 02:42:32 +0000904 lldbassert(uid.kind() == PdbSymUidKind::Compiland);
Zachary Turner307f5ae2018-10-12 19:47:13 +0000905
Zachary Turner6284aee2018-11-16 02:42:32 +0000906 CompilandIndexItem *item =
907 m_index->compilands().GetCompiland(uid.asCompiland().modi);
Zachary Turner307f5ae2018-10-12 19:47:13 +0000908 lldbassert(item);
909 if (!item->m_compile_opts)
910 return lldb::eLanguageTypeUnknown;
911
912 return TranslateLanguage(item->m_compile_opts->getLanguage());
913}
914
Zachary Turnerb3130b42019-01-02 18:32:50 +0000915void SymbolFileNativePDB::AddSymbols(Symtab &symtab) { return; }
916
Zachary Turner863f8c12019-01-11 18:03:20 +0000917size_t SymbolFileNativePDB::ParseFunctions(CompileUnit &comp_unit) {
Pavel Labath656ddeb2019-07-30 08:20:05 +0000918 std::lock_guard<std::recursive_mutex> guard(GetModuleMutex());
Zachary Turner863f8c12019-01-11 18:03:20 +0000919 PdbSymUid uid{comp_unit.GetID()};
Zachary Turner44f19512019-01-10 20:57:32 +0000920 lldbassert(uid.kind() == PdbSymUidKind::Compiland);
921 uint16_t modi = uid.asCompiland().modi;
922 CompilandIndexItem &cii = m_index->compilands().GetOrCreateCompiland(modi);
923
Zachary Turner863f8c12019-01-11 18:03:20 +0000924 size_t count = comp_unit.GetNumFunctions();
Zachary Turner44f19512019-01-10 20:57:32 +0000925 const CVSymbolArray &syms = cii.m_debug_stream.getSymbolArray();
926 for (auto iter = syms.begin(); iter != syms.end(); ++iter) {
927 if (iter->kind() != S_LPROC32 && iter->kind() != S_GPROC32)
928 continue;
929
930 PdbCompilandSymId sym_id{modi, iter.offset()};
931
Zachary Turner863f8c12019-01-11 18:03:20 +0000932 FunctionSP func = GetOrCreateFunction(sym_id, comp_unit);
Zachary Turner44f19512019-01-10 20:57:32 +0000933 }
934
Zachary Turner863f8c12019-01-11 18:03:20 +0000935 size_t new_count = comp_unit.GetNumFunctions();
Zachary Turner44f19512019-01-10 20:57:32 +0000936 lldbassert(new_count >= count);
937 return new_count - count;
Zachary Turner307f5ae2018-10-12 19:47:13 +0000938}
939
940static bool NeedsResolvedCompileUnit(uint32_t resolve_scope) {
941 // If any of these flags are set, we need to resolve the compile unit.
942 uint32_t flags = eSymbolContextCompUnit;
943 flags |= eSymbolContextVariable;
944 flags |= eSymbolContextFunction;
945 flags |= eSymbolContextBlock;
946 flags |= eSymbolContextLineEntry;
947 return (resolve_scope & flags) != 0;
948}
949
Zachary Turner991e4452018-10-25 20:45:19 +0000950uint32_t SymbolFileNativePDB::ResolveSymbolContext(
951 const Address &addr, SymbolContextItem resolve_scope, SymbolContext &sc) {
Pavel Labath656ddeb2019-07-30 08:20:05 +0000952 std::lock_guard<std::recursive_mutex> guard(GetModuleMutex());
Zachary Turner307f5ae2018-10-12 19:47:13 +0000953 uint32_t resolved_flags = 0;
954 lldb::addr_t file_addr = addr.GetFileAddress();
955
956 if (NeedsResolvedCompileUnit(resolve_scope)) {
957 llvm::Optional<uint16_t> modi = m_index->GetModuleIndexForVa(file_addr);
958 if (!modi)
959 return 0;
Zachary Turner6284aee2018-11-16 02:42:32 +0000960 CompilandIndexItem *cci = m_index->compilands().GetCompiland(*modi);
Zachary Turner307f5ae2018-10-12 19:47:13 +0000961 if (!cci)
962 return 0;
963
964 sc.comp_unit = GetOrCreateCompileUnit(*cci).get();
965 resolved_flags |= eSymbolContextCompUnit;
966 }
967
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000968 if (resolve_scope & eSymbolContextFunction ||
969 resolve_scope & eSymbolContextBlock) {
Zachary Turner307f5ae2018-10-12 19:47:13 +0000970 lldbassert(sc.comp_unit);
971 std::vector<SymbolAndUid> matches = m_index->FindSymbolsByVa(file_addr);
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000972 // Search the matches in reverse. This way if there are multiple matches
973 // (for example we are 3 levels deep in a nested scope) it will find the
974 // innermost one first.
975 for (const auto &match : llvm::reverse(matches)) {
Zachary Turner6284aee2018-11-16 02:42:32 +0000976 if (match.uid.kind() != PdbSymUidKind::CompilandSym)
Zachary Turner307f5ae2018-10-12 19:47:13 +0000977 continue;
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000978
Zachary Turner6284aee2018-11-16 02:42:32 +0000979 PdbCompilandSymId csid = match.uid.asCompilandSym();
980 CVSymbol cvs = m_index->ReadSymbolRecord(csid);
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000981 PDB_SymType type = CVSymToPDBSym(cvs.kind());
982 if (type != PDB_SymType::Function && type != PDB_SymType::Block)
Zachary Turner6284aee2018-11-16 02:42:32 +0000983 continue;
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000984 if (type == PDB_SymType::Function) {
985 sc.function = GetOrCreateFunction(csid, *sc.comp_unit).get();
986 sc.block = sc.GetFunctionBlock();
987 }
988
989 if (type == PDB_SymType::Block) {
990 sc.block = &GetOrCreateBlock(csid);
991 sc.function = sc.block->CalculateSymbolContextFunction();
992 }
Zachary Turner307f5ae2018-10-12 19:47:13 +0000993 resolved_flags |= eSymbolContextFunction;
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +0000994 resolved_flags |= eSymbolContextBlock;
995 break;
996 }
Zachary Turner307f5ae2018-10-12 19:47:13 +0000997 }
998
999 if (resolve_scope & eSymbolContextLineEntry) {
1000 lldbassert(sc.comp_unit);
1001 if (auto *line_table = sc.comp_unit->GetLineTable()) {
1002 if (line_table->FindLineEntryByAddress(addr, sc.line_entry))
1003 resolved_flags |= eSymbolContextLineEntry;
1004 }
1005 }
1006
1007 return resolved_flags;
1008}
1009
Zachary Turnerb3130b42019-01-02 18:32:50 +00001010uint32_t SymbolFileNativePDB::ResolveSymbolContext(
1011 const FileSpec &file_spec, uint32_t line, bool check_inlines,
1012 lldb::SymbolContextItem resolve_scope, SymbolContextList &sc_list) {
1013 return 0;
1014}
1015
Zachary Turner307f5ae2018-10-12 19:47:13 +00001016static void AppendLineEntryToSequence(LineTable &table, LineSequence &sequence,
1017 const CompilandIndexItem &cci,
1018 lldb::addr_t base_addr,
1019 uint32_t file_number,
1020 const LineFragmentHeader &block,
1021 const LineNumberEntry &cur) {
1022 LineInfo cur_info(cur.Flags);
1023
1024 if (cur_info.isAlwaysStepInto() || cur_info.isNeverStepInto())
1025 return;
1026
1027 uint64_t addr = base_addr + cur.Offset;
1028
1029 bool is_statement = cur_info.isStatement();
1030 bool is_prologue = IsFunctionPrologue(cci, addr);
1031 bool is_epilogue = IsFunctionEpilogue(cci, addr);
1032
1033 uint32_t lno = cur_info.getStartLine();
1034
1035 table.AppendLineEntryToSequence(&sequence, addr, lno, 0, file_number,
1036 is_statement, false, is_prologue, is_epilogue,
1037 false);
1038}
1039
1040static void TerminateLineSequence(LineTable &table,
1041 const LineFragmentHeader &block,
1042 lldb::addr_t base_addr, uint32_t file_number,
1043 uint32_t last_line,
1044 std::unique_ptr<LineSequence> seq) {
1045 // The end is always a terminal entry, so insert it regardless.
1046 table.AppendLineEntryToSequence(seq.get(), base_addr + block.CodeSize,
1047 last_line, 0, file_number, false, false,
1048 false, false, true);
1049 table.InsertSequence(seq.release());
1050}
1051
Zachary Turner863f8c12019-01-11 18:03:20 +00001052bool SymbolFileNativePDB::ParseLineTable(CompileUnit &comp_unit) {
Zachary Turner307f5ae2018-10-12 19:47:13 +00001053 // Unfortunately LLDB is set up to parse the entire compile unit line table
1054 // all at once, even if all it really needs is line info for a specific
1055 // function. In the future it would be nice if it could set the sc.m_function
1056 // member, and we could only get the line info for the function in question.
Pavel Labath656ddeb2019-07-30 08:20:05 +00001057 std::lock_guard<std::recursive_mutex> guard(GetModuleMutex());
Zachary Turner863f8c12019-01-11 18:03:20 +00001058 PdbSymUid cu_id(comp_unit.GetID());
Zachary Turner6284aee2018-11-16 02:42:32 +00001059 lldbassert(cu_id.kind() == PdbSymUidKind::Compiland);
1060 CompilandIndexItem *cci =
1061 m_index->compilands().GetCompiland(cu_id.asCompiland().modi);
Zachary Turner307f5ae2018-10-12 19:47:13 +00001062 lldbassert(cci);
Zachary Turner863f8c12019-01-11 18:03:20 +00001063 auto line_table = llvm::make_unique<LineTable>(&comp_unit);
Zachary Turner307f5ae2018-10-12 19:47:13 +00001064
1065 // This is basically a copy of the .debug$S subsections from all original COFF
1066 // object files merged together with address relocations applied. We are
1067 // looking for all DEBUG_S_LINES subsections.
1068 for (const DebugSubsectionRecord &dssr :
1069 cci->m_debug_stream.getSubsectionsArray()) {
1070 if (dssr.kind() != DebugSubsectionKind::Lines)
1071 continue;
1072
1073 DebugLinesSubsectionRef lines;
1074 llvm::BinaryStreamReader reader(dssr.getRecordData());
1075 if (auto EC = lines.initialize(reader)) {
1076 llvm::consumeError(std::move(EC));
1077 return false;
1078 }
1079
1080 const LineFragmentHeader *lfh = lines.header();
1081 uint64_t virtual_addr =
1082 m_index->MakeVirtualAddress(lfh->RelocSegment, lfh->RelocOffset);
1083
1084 const auto &checksums = cci->m_strings.checksums().getArray();
1085 const auto &strings = cci->m_strings.strings();
1086 for (const LineColumnEntry &group : lines) {
1087 // Indices in this structure are actually offsets of records in the
1088 // DEBUG_S_FILECHECKSUMS subsection. Those entries then have an index
1089 // into the global PDB string table.
1090 auto iter = checksums.at(group.NameIndex);
1091 if (iter == checksums.end())
1092 continue;
1093
1094 llvm::Expected<llvm::StringRef> efn =
1095 strings.getString(iter->FileNameOffset);
1096 if (!efn) {
1097 llvm::consumeError(efn.takeError());
1098 continue;
1099 }
1100
1101 // LLDB wants the index of the file in the list of support files.
1102 auto fn_iter = llvm::find(cci->m_file_list, *efn);
1103 lldbassert(fn_iter != cci->m_file_list.end());
Zachary Turnerb3130b42019-01-02 18:32:50 +00001104 // LLDB support file indices are 1-based.
1105 uint32_t file_index =
1106 1 + std::distance(cci->m_file_list.begin(), fn_iter);
Zachary Turner307f5ae2018-10-12 19:47:13 +00001107
1108 std::unique_ptr<LineSequence> sequence(
1109 line_table->CreateLineSequenceContainer());
1110 lldbassert(!group.LineNumbers.empty());
1111
1112 for (const LineNumberEntry &entry : group.LineNumbers) {
1113 AppendLineEntryToSequence(*line_table, *sequence, *cci, virtual_addr,
1114 file_index, *lfh, entry);
1115 }
1116 LineInfo last_line(group.LineNumbers.back().Flags);
1117 TerminateLineSequence(*line_table, *lfh, virtual_addr, file_index,
1118 last_line.getEndLine(), std::move(sequence));
1119 }
1120 }
1121
1122 if (line_table->GetSize() == 0)
1123 return false;
1124
Zachary Turner863f8c12019-01-11 18:03:20 +00001125 comp_unit.SetLineTable(line_table.release());
Zachary Turner307f5ae2018-10-12 19:47:13 +00001126 return true;
1127}
1128
Zachary Turner863f8c12019-01-11 18:03:20 +00001129bool SymbolFileNativePDB::ParseDebugMacros(CompileUnit &comp_unit) {
Zachary Turner307f5ae2018-10-12 19:47:13 +00001130 // PDB doesn't contain information about macros
1131 return false;
1132}
1133
Zachary Turner863f8c12019-01-11 18:03:20 +00001134bool SymbolFileNativePDB::ParseSupportFiles(CompileUnit &comp_unit,
1135 FileSpecList &support_files) {
Pavel Labath656ddeb2019-07-30 08:20:05 +00001136 std::lock_guard<std::recursive_mutex> guard(GetModuleMutex());
Zachary Turner863f8c12019-01-11 18:03:20 +00001137 PdbSymUid cu_id(comp_unit.GetID());
Zachary Turner6284aee2018-11-16 02:42:32 +00001138 lldbassert(cu_id.kind() == PdbSymUidKind::Compiland);
1139 CompilandIndexItem *cci =
1140 m_index->compilands().GetCompiland(cu_id.asCompiland().modi);
Zachary Turner307f5ae2018-10-12 19:47:13 +00001141 lldbassert(cci);
1142
1143 for (llvm::StringRef f : cci->m_file_list) {
1144 FileSpec::Style style =
1145 f.startswith("/") ? FileSpec::Style::posix : FileSpec::Style::windows;
Jonas Devlieghere8f3be7a2018-11-01 21:05:36 +00001146 FileSpec spec(f, style);
Zachary Turner307f5ae2018-10-12 19:47:13 +00001147 support_files.Append(spec);
1148 }
1149
Zachary Turnerb3130b42019-01-02 18:32:50 +00001150 llvm::SmallString<64> main_source_file =
1151 m_index->compilands().GetMainSourceFile(*cci);
1152 FileSpec::Style style = main_source_file.startswith("/")
1153 ? FileSpec::Style::posix
1154 : FileSpec::Style::windows;
1155 FileSpec spec(main_source_file, style);
1156 support_files.Insert(0, spec);
Zachary Turner307f5ae2018-10-12 19:47:13 +00001157 return true;
1158}
1159
1160bool SymbolFileNativePDB::ParseImportedModules(
Adrian Prantl0f30a3b2019-02-13 18:10:41 +00001161 const SymbolContext &sc, std::vector<SourceModule> &imported_modules) {
Zachary Turner307f5ae2018-10-12 19:47:13 +00001162 // PDB does not yet support module debug info
1163 return false;
1164}
1165
Zachary Turnerffc1b8f2019-01-14 22:40:41 +00001166size_t SymbolFileNativePDB::ParseBlocksRecursive(Function &func) {
Pavel Labath656ddeb2019-07-30 08:20:05 +00001167 std::lock_guard<std::recursive_mutex> guard(GetModuleMutex());
Zachary Turnerffc1b8f2019-01-14 22:40:41 +00001168 GetOrCreateBlock(PdbSymUid(func.GetID()).asCompilandSym());
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +00001169 // FIXME: Parse child blocks
1170 return 1;
Zachary Turner307f5ae2018-10-12 19:47:13 +00001171}
1172
Zachary Turner594c85e2018-12-17 19:43:33 +00001173void SymbolFileNativePDB::DumpClangAST(Stream &s) { m_ast->Dump(s); }
Zachary Turner49110232018-11-05 17:40:28 +00001174
Zachary Turner9f727952018-10-26 09:06:38 +00001175uint32_t SymbolFileNativePDB::FindGlobalVariables(
Adrian Prantl0e4c4822019-03-06 21:22:25 +00001176 ConstString name, const CompilerDeclContext *parent_decl_ctx,
Zachary Turner9f727952018-10-26 09:06:38 +00001177 uint32_t max_matches, VariableList &variables) {
Pavel Labath656ddeb2019-07-30 08:20:05 +00001178 std::lock_guard<std::recursive_mutex> guard(GetModuleMutex());
Zachary Turner9f727952018-10-26 09:06:38 +00001179 using SymbolAndOffset = std::pair<uint32_t, llvm::codeview::CVSymbol>;
1180
1181 std::vector<SymbolAndOffset> results = m_index->globals().findRecordsByName(
1182 name.GetStringRef(), m_index->symrecords());
1183 for (const SymbolAndOffset &result : results) {
1184 VariableSP var;
1185 switch (result.second.kind()) {
1186 case SymbolKind::S_GDATA32:
1187 case SymbolKind::S_LDATA32:
1188 case SymbolKind::S_GTHREAD32:
Zachary Turner2af34162018-11-13 20:07:57 +00001189 case SymbolKind::S_LTHREAD32:
1190 case SymbolKind::S_CONSTANT: {
Zachary Turner9fbf9352018-11-16 03:16:27 +00001191 PdbGlobalSymId global(result.first, false);
Zachary Turner6284aee2018-11-16 02:42:32 +00001192 var = GetOrCreateGlobalVariable(global);
Zachary Turner9f727952018-10-26 09:06:38 +00001193 variables.AddVariable(var);
1194 break;
1195 }
1196 default:
1197 continue;
1198 }
1199 }
1200 return variables.GetSize();
1201}
1202
Zachary Turner307f5ae2018-10-12 19:47:13 +00001203uint32_t SymbolFileNativePDB::FindFunctions(
Adrian Prantl0e4c4822019-03-06 21:22:25 +00001204 ConstString name, const CompilerDeclContext *parent_decl_ctx,
Zachary Turner117b1fa2018-10-25 20:45:40 +00001205 FunctionNameType name_type_mask, bool include_inlines, bool append,
Zachary Turnerb96181c2018-10-22 16:19:07 +00001206 SymbolContextList &sc_list) {
Pavel Labath656ddeb2019-07-30 08:20:05 +00001207 std::lock_guard<std::recursive_mutex> guard(GetModuleMutex());
Zachary Turner307f5ae2018-10-12 19:47:13 +00001208 // For now we only support lookup by method name.
1209 if (!(name_type_mask & eFunctionNameTypeMethod))
1210 return 0;
1211
1212 using SymbolAndOffset = std::pair<uint32_t, llvm::codeview::CVSymbol>;
1213
1214 std::vector<SymbolAndOffset> matches = m_index->globals().findRecordsByName(
1215 name.GetStringRef(), m_index->symrecords());
1216 for (const SymbolAndOffset &match : matches) {
1217 if (match.second.kind() != S_PROCREF && match.second.kind() != S_LPROCREF)
1218 continue;
1219 ProcRefSym proc(match.second.kind());
1220 cantFail(SymbolDeserializer::deserializeAs<ProcRefSym>(match.second, proc));
1221
1222 if (!IsValidRecord(proc))
1223 continue;
1224
Zachary Turner6284aee2018-11-16 02:42:32 +00001225 CompilandIndexItem &cci =
1226 m_index->compilands().GetOrCreateCompiland(proc.modi());
Zachary Turnerb96181c2018-10-22 16:19:07 +00001227 SymbolContext sc;
Zachary Turner307f5ae2018-10-12 19:47:13 +00001228
1229 sc.comp_unit = GetOrCreateCompileUnit(cci).get();
Zachary Turner9fbf9352018-11-16 03:16:27 +00001230 PdbCompilandSymId func_id(proc.modi(), proc.SymOffset);
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +00001231 sc.function = GetOrCreateFunction(func_id, *sc.comp_unit).get();
Zachary Turner307f5ae2018-10-12 19:47:13 +00001232
1233 sc_list.Append(sc);
1234 }
1235
1236 return sc_list.GetSize();
1237}
1238
Zachary Turnerb96181c2018-10-22 16:19:07 +00001239uint32_t SymbolFileNativePDB::FindFunctions(const RegularExpression &regex,
1240 bool include_inlines, bool append,
1241 SymbolContextList &sc_list) {
Zachary Turner307f5ae2018-10-12 19:47:13 +00001242 return 0;
1243}
1244
Zachary Turnerb96181c2018-10-22 16:19:07 +00001245uint32_t SymbolFileNativePDB::FindTypes(
Adrian Prantl0e4c4822019-03-06 21:22:25 +00001246 ConstString name, const CompilerDeclContext *parent_decl_ctx,
Zachary Turner576495e2019-01-14 22:41:21 +00001247 bool append, uint32_t max_matches,
1248 llvm::DenseSet<SymbolFile *> &searched_symbol_files, TypeMap &types) {
Pavel Labath656ddeb2019-07-30 08:20:05 +00001249 std::lock_guard<std::recursive_mutex> guard(GetModuleMutex());
Zachary Turner2f7efbc2018-10-23 16:37:53 +00001250 if (!append)
1251 types.Clear();
1252 if (!name)
1253 return 0;
1254
1255 searched_symbol_files.clear();
1256 searched_symbol_files.insert(this);
1257
1258 // There is an assumption 'name' is not a regex
1259 size_t match_count = FindTypesByName(name.GetStringRef(), max_matches, types);
1260
1261 return match_count;
Zachary Turnerb96181c2018-10-22 16:19:07 +00001262}
1263
1264size_t
1265SymbolFileNativePDB::FindTypes(const std::vector<CompilerContext> &context,
1266 bool append, TypeMap &types) {
1267 return 0;
1268}
1269
Zachary Turner2f7efbc2018-10-23 16:37:53 +00001270size_t SymbolFileNativePDB::FindTypesByName(llvm::StringRef name,
1271 uint32_t max_matches,
1272 TypeMap &types) {
1273
1274 size_t match_count = 0;
1275 std::vector<TypeIndex> matches = m_index->tpi().findRecordsByName(name);
1276 if (max_matches > 0 && max_matches < matches.size())
1277 matches.resize(max_matches);
1278
1279 for (TypeIndex ti : matches) {
1280 TypeSP type = GetOrCreateType(ti);
1281 if (!type)
1282 continue;
1283
1284 types.Insert(type);
1285 ++match_count;
1286 }
1287 return match_count;
1288}
1289
Zachary Turner863f8c12019-01-11 18:03:20 +00001290size_t SymbolFileNativePDB::ParseTypes(CompileUnit &comp_unit) {
Pavel Labath656ddeb2019-07-30 08:20:05 +00001291 std::lock_guard<std::recursive_mutex> guard(GetModuleMutex());
Zachary Turner44f19512019-01-10 20:57:32 +00001292 // Only do the full type scan the first time.
1293 if (m_done_full_type_scan)
1294 return 0;
1295
Pavel Labathf46e8972019-07-25 08:22:05 +00001296 const size_t old_count = GetTypeList().GetSize();
Zachary Turner44f19512019-01-10 20:57:32 +00001297 LazyRandomTypeCollection &types = m_index->tpi().typeCollection();
1298
1299 // First process the entire TPI stream.
1300 for (auto ti = types.getFirst(); ti; ti = types.getNext(*ti)) {
1301 TypeSP type = GetOrCreateType(*ti);
1302 if (type)
1303 (void)type->GetFullCompilerType();
1304 }
1305
1306 // Next look for S_UDT records in the globals stream.
1307 for (const uint32_t gid : m_index->globals().getGlobalsTable()) {
1308 PdbGlobalSymId global{gid, false};
1309 CVSymbol sym = m_index->ReadSymbolRecord(global);
1310 if (sym.kind() != S_UDT)
1311 continue;
1312
1313 UDTSym udt = llvm::cantFail(SymbolDeserializer::deserializeAs<UDTSym>(sym));
1314 bool is_typedef = true;
1315 if (IsTagRecord(PdbTypeSymId{udt.Type, false}, m_index->tpi())) {
1316 CVType cvt = m_index->tpi().getType(udt.Type);
1317 llvm::StringRef name = CVTagRecord::create(cvt).name();
1318 if (name == udt.Name)
1319 is_typedef = false;
1320 }
1321
1322 if (is_typedef)
1323 GetOrCreateTypedef(global);
1324 }
1325
Pavel Labathf46e8972019-07-25 08:22:05 +00001326 const size_t new_count = GetTypeList().GetSize();
Zachary Turner44f19512019-01-10 20:57:32 +00001327
1328 m_done_full_type_scan = true;
1329
1330 return new_count - old_count;
1331}
Zachary Turnerb96181c2018-10-22 16:19:07 +00001332
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +00001333size_t
1334SymbolFileNativePDB::ParseVariablesForCompileUnit(CompileUnit &comp_unit,
1335 VariableList &variables) {
1336 PdbSymUid sym_uid(comp_unit.GetID());
1337 lldbassert(sym_uid.kind() == PdbSymUidKind::Compiland);
1338 return 0;
1339}
1340
1341VariableSP SymbolFileNativePDB::CreateLocalVariable(PdbCompilandSymId scope_id,
1342 PdbCompilandSymId var_id,
1343 bool is_param) {
1344 ModuleSP module = GetObjectFile()->GetModule();
Aleksandr Urakov758657e2019-02-01 10:01:18 +00001345 Block &block = GetOrCreateBlock(scope_id);
1346 VariableInfo var_info =
1347 GetVariableLocationInfo(*m_index, var_id, block, module);
Zachary Turner44f19512019-01-10 20:57:32 +00001348 if (!var_info.location || !var_info.ranges)
1349 return nullptr;
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +00001350
1351 CompilandIndexItem *cii = m_index->compilands().GetCompiland(var_id.modi);
1352 CompUnitSP comp_unit_sp = GetOrCreateCompileUnit(*cii);
1353 TypeSP type_sp = GetOrCreateType(var_info.type);
1354 std::string name = var_info.name.str();
1355 Declaration decl;
1356 SymbolFileTypeSP sftype =
1357 std::make_shared<SymbolFileType>(*this, type_sp->GetID());
1358
1359 ValueType var_scope =
1360 is_param ? eValueTypeVariableArgument : eValueTypeVariableLocal;
1361 VariableSP var_sp = std::make_shared<Variable>(
1362 toOpaqueUid(var_id), name.c_str(), name.c_str(), sftype, var_scope,
1363 comp_unit_sp.get(), *var_info.ranges, &decl, *var_info.location, false,
1364 false, false);
1365
Zachary Turner594c85e2018-12-17 19:43:33 +00001366 if (!is_param)
Zachary Turner22566332019-01-02 18:33:54 +00001367 m_ast->GetOrCreateVariableDecl(scope_id, var_id);
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +00001368
1369 m_local_variables[toOpaqueUid(var_id)] = var_sp;
1370 return var_sp;
1371}
1372
1373VariableSP SymbolFileNativePDB::GetOrCreateLocalVariable(
1374 PdbCompilandSymId scope_id, PdbCompilandSymId var_id, bool is_param) {
1375 auto iter = m_local_variables.find(toOpaqueUid(var_id));
1376 if (iter != m_local_variables.end())
1377 return iter->second;
1378
1379 return CreateLocalVariable(scope_id, var_id, is_param);
1380}
1381
Zachary Turner44f19512019-01-10 20:57:32 +00001382TypeSP SymbolFileNativePDB::CreateTypedef(PdbGlobalSymId id) {
1383 CVSymbol sym = m_index->ReadSymbolRecord(id);
1384 lldbassert(sym.kind() == SymbolKind::S_UDT);
1385
1386 UDTSym udt = llvm::cantFail(SymbolDeserializer::deserializeAs<UDTSym>(sym));
1387
1388 TypeSP target_type = GetOrCreateType(udt.Type);
1389
1390 (void)m_ast->GetOrCreateTypedefDecl(id);
1391
1392 Declaration decl;
1393 return std::make_shared<lldb_private::Type>(
1394 toOpaqueUid(id), this, ConstString(udt.Name), target_type->GetByteSize(),
1395 nullptr, target_type->GetID(), lldb_private::Type::eEncodingIsTypedefUID,
1396 decl, target_type->GetForwardCompilerType(),
1397 lldb_private::Type::eResolveStateForward);
1398}
1399
1400TypeSP SymbolFileNativePDB::GetOrCreateTypedef(PdbGlobalSymId id) {
1401 auto iter = m_types.find(toOpaqueUid(id));
1402 if (iter != m_types.end())
1403 return iter->second;
1404
1405 return CreateTypedef(id);
1406}
1407
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +00001408size_t SymbolFileNativePDB::ParseVariablesForBlock(PdbCompilandSymId block_id) {
1409 Block &block = GetOrCreateBlock(block_id);
1410
1411 size_t count = 0;
1412
1413 CompilandIndexItem *cii = m_index->compilands().GetCompiland(block_id.modi);
1414 CVSymbol sym = cii->m_debug_stream.readSymbolAtOffset(block_id.offset);
1415 uint32_t params_remaining = 0;
1416 switch (sym.kind()) {
1417 case S_GPROC32:
1418 case S_LPROC32: {
1419 ProcSym proc(static_cast<SymbolRecordKind>(sym.kind()));
1420 cantFail(SymbolDeserializer::deserializeAs<ProcSym>(sym, proc));
1421 CVType signature = m_index->tpi().getType(proc.FunctionType);
1422 ProcedureRecord sig;
1423 cantFail(TypeDeserializer::deserializeAs<ProcedureRecord>(signature, sig));
1424 params_remaining = sig.getParameterCount();
1425 break;
1426 }
1427 case S_BLOCK32:
1428 break;
1429 default:
1430 lldbassert(false && "Symbol is not a block!");
1431 return 0;
1432 }
1433
1434 VariableListSP variables = block.GetBlockVariableList(false);
1435 if (!variables) {
1436 variables = std::make_shared<VariableList>();
1437 block.SetVariableList(variables);
1438 }
1439
1440 CVSymbolArray syms = limitSymbolArrayToScope(
1441 cii->m_debug_stream.getSymbolArray(), block_id.offset);
1442
1443 // Skip the first record since it's a PROC32 or BLOCK32, and there's
1444 // no point examining it since we know it's not a local variable.
1445 syms.drop_front();
1446 auto iter = syms.begin();
1447 auto end = syms.end();
1448
1449 while (iter != end) {
1450 uint32_t record_offset = iter.offset();
1451 CVSymbol variable_cvs = *iter;
1452 PdbCompilandSymId child_sym_id(block_id.modi, record_offset);
1453 ++iter;
1454
1455 // If this is a block, recurse into its children and then skip it.
1456 if (variable_cvs.kind() == S_BLOCK32) {
1457 uint32_t block_end = getScopeEndOffset(variable_cvs);
1458 count += ParseVariablesForBlock(child_sym_id);
1459 iter = syms.at(block_end);
1460 continue;
1461 }
1462
1463 bool is_param = params_remaining > 0;
1464 VariableSP variable;
1465 switch (variable_cvs.kind()) {
1466 case S_REGREL32:
1467 case S_REGISTER:
1468 case S_LOCAL:
1469 variable = GetOrCreateLocalVariable(block_id, child_sym_id, is_param);
1470 if (is_param)
1471 --params_remaining;
Zachary Turner44f19512019-01-10 20:57:32 +00001472 if (variable)
1473 variables->AddVariableIfUnique(variable);
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +00001474 break;
1475 default:
1476 break;
1477 }
1478 }
1479
1480 // Pass false for set_children, since we call this recursively so that the
1481 // children will call this for themselves.
1482 block.SetDidParseVariables(true, false);
1483
1484 return count;
1485}
1486
1487size_t SymbolFileNativePDB::ParseVariablesForContext(const SymbolContext &sc) {
Pavel Labath656ddeb2019-07-30 08:20:05 +00001488 std::lock_guard<std::recursive_mutex> guard(GetModuleMutex());
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +00001489 lldbassert(sc.function || sc.comp_unit);
1490
1491 VariableListSP variables;
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +00001492 if (sc.block) {
1493 PdbSymUid block_id(sc.block->GetID());
1494
1495 size_t count = ParseVariablesForBlock(block_id.asCompilandSym());
1496 return count;
1497 }
1498
1499 if (sc.function) {
1500 PdbSymUid block_id(sc.function->GetID());
1501
1502 size_t count = ParseVariablesForBlock(block_id.asCompilandSym());
1503 return count;
1504 }
1505
1506 if (sc.comp_unit) {
1507 variables = sc.comp_unit->GetVariableList(false);
1508 if (!variables) {
1509 variables = std::make_shared<VariableList>();
1510 sc.comp_unit->SetVariableList(variables);
1511 }
1512 return ParseVariablesForCompileUnit(*sc.comp_unit, *variables);
1513 }
1514
1515 llvm_unreachable("Unreachable!");
1516}
1517
1518CompilerDecl SymbolFileNativePDB::GetDeclForUID(lldb::user_id_t uid) {
Nathan Lanzafe1b8a02019-07-21 07:46:18 +00001519 if (auto decl = m_ast->GetOrCreateDeclForUid(uid))
1520 return decl.getValue();
1521 else
1522 return CompilerDecl();
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +00001523}
1524
1525CompilerDeclContext
1526SymbolFileNativePDB::GetDeclContextForUID(lldb::user_id_t uid) {
Zachary Turner594c85e2018-12-17 19:43:33 +00001527 clang::DeclContext *context =
1528 m_ast->GetOrCreateDeclContextForUid(PdbSymUid(uid));
1529 if (!context)
1530 return {};
1531
1532 return m_ast->ToCompilerDeclContext(*context);
Zachary Turnerd3d2b9b2018-12-13 18:17:51 +00001533}
1534
Zachary Turnera42bbe32018-12-07 19:34:02 +00001535CompilerDeclContext
1536SymbolFileNativePDB::GetDeclContextContainingUID(lldb::user_id_t uid) {
Zachary Turner594c85e2018-12-17 19:43:33 +00001537 clang::DeclContext *context = m_ast->GetParentDeclContext(PdbSymUid(uid));
1538 return m_ast->ToCompilerDeclContext(*context);
Zachary Turnera42bbe32018-12-07 19:34:02 +00001539}
1540
Zachary Turnerb96181c2018-10-22 16:19:07 +00001541Type *SymbolFileNativePDB::ResolveTypeUID(lldb::user_id_t type_uid) {
Pavel Labath656ddeb2019-07-30 08:20:05 +00001542 std::lock_guard<std::recursive_mutex> guard(GetModuleMutex());
Zachary Turner2f7efbc2018-10-23 16:37:53 +00001543 auto iter = m_types.find(type_uid);
1544 // lldb should not be passing us non-sensical type uids. the only way it
1545 // could have a type uid in the first place is if we handed it out, in which
Zachary Turner9f727952018-10-26 09:06:38 +00001546 // case we should know about the type. However, that doesn't mean we've
1547 // instantiated it yet. We can vend out a UID for a future type. So if the
1548 // type doesn't exist, let's instantiate it now.
1549 if (iter != m_types.end())
1550 return &*iter->second;
1551
Zachary Turner6284aee2018-11-16 02:42:32 +00001552 PdbSymUid uid(type_uid);
1553 lldbassert(uid.kind() == PdbSymUidKind::Type);
1554 PdbTypeSymId type_id = uid.asTypeSym();
1555 if (type_id.index.isNoneType())
Zachary Turner2f7efbc2018-10-23 16:37:53 +00001556 return nullptr;
Zachary Turner9f727952018-10-26 09:06:38 +00001557
Zachary Turner6284aee2018-11-16 02:42:32 +00001558 TypeSP type_sp = CreateAndCacheType(type_id);
Zachary Turner9f727952018-10-26 09:06:38 +00001559 return &*type_sp;
Zachary Turnerb96181c2018-10-22 16:19:07 +00001560}
1561
Adrian Prantleca07c52018-11-05 20:49:07 +00001562llvm::Optional<SymbolFile::ArrayInfo>
1563SymbolFileNativePDB::GetDynamicArrayInfoForUID(
1564 lldb::user_id_t type_uid, const lldb_private::ExecutionContext *exe_ctx) {
1565 return llvm::None;
1566}
1567
1568
Zachary Turnerb96181c2018-10-22 16:19:07 +00001569bool SymbolFileNativePDB::CompleteType(CompilerType &compiler_type) {
Zachary Turner594c85e2018-12-17 19:43:33 +00001570 clang::QualType qt =
1571 clang::QualType::getFromOpaquePtr(compiler_type.GetOpaqueQualType());
Zachary Turner2f7efbc2018-10-23 16:37:53 +00001572
Zachary Turner594c85e2018-12-17 19:43:33 +00001573 return m_ast->CompleteType(qt);
Zachary Turnerb96181c2018-10-22 16:19:07 +00001574}
1575
1576size_t SymbolFileNativePDB::GetTypes(lldb_private::SymbolContextScope *sc_scope,
Zachary Turner117b1fa2018-10-25 20:45:40 +00001577 TypeClass type_mask,
Zachary Turnerb96181c2018-10-22 16:19:07 +00001578 lldb_private::TypeList &type_list) {
1579 return 0;
1580}
1581
1582CompilerDeclContext
Adrian Prantl0e4c4822019-03-06 21:22:25 +00001583SymbolFileNativePDB::FindNamespace(ConstString name,
Zachary Turnerb96181c2018-10-22 16:19:07 +00001584 const CompilerDeclContext *parent_decl_ctx) {
Zachary Turner307f5ae2018-10-12 19:47:13 +00001585 return {};
1586}
1587
Zachary Turnerb96181c2018-10-22 16:19:07 +00001588TypeSystem *
Zachary Turner307f5ae2018-10-12 19:47:13 +00001589SymbolFileNativePDB::GetTypeSystemForLanguage(lldb::LanguageType language) {
1590 auto type_system =
1591 m_obj_file->GetModule()->GetTypeSystemForLanguage(language);
1592 if (type_system)
1593 type_system->SetSymbolFile(this);
1594 return type_system;
1595}
1596
Zachary Turnerb96181c2018-10-22 16:19:07 +00001597ConstString SymbolFileNativePDB::GetPluginName() {
Zachary Turner307f5ae2018-10-12 19:47:13 +00001598 static ConstString g_name("pdb");
1599 return g_name;
1600}
1601
1602uint32_t SymbolFileNativePDB::GetPluginVersion() { return 1; }