xref: /openbsd-src/gnu/llvm/lldb/source/Symbol/SymbolFile.cpp (revision f6aab3d83b51b91c24247ad2c2573574de475a82)
1dda28197Spatrick //===-- SymbolFile.cpp ----------------------------------------------------===//
2061da546Spatrick //
3061da546Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4061da546Spatrick // See https://llvm.org/LICENSE.txt for license information.
5061da546Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6061da546Spatrick //
7061da546Spatrick //===----------------------------------------------------------------------===//
8061da546Spatrick 
9061da546Spatrick #include "lldb/Symbol/SymbolFile.h"
10061da546Spatrick 
11061da546Spatrick #include "lldb/Core/Module.h"
12061da546Spatrick #include "lldb/Core/PluginManager.h"
13061da546Spatrick #include "lldb/Symbol/CompileUnit.h"
14061da546Spatrick #include "lldb/Symbol/ObjectFile.h"
15*f6aab3d8Srobert #include "lldb/Symbol/SymbolFileOnDemand.h"
16061da546Spatrick #include "lldb/Symbol/TypeMap.h"
17061da546Spatrick #include "lldb/Symbol/TypeSystem.h"
18061da546Spatrick #include "lldb/Symbol/VariableList.h"
19061da546Spatrick #include "lldb/Utility/Log.h"
20061da546Spatrick #include "lldb/Utility/StreamString.h"
21061da546Spatrick #include "lldb/lldb-private.h"
22061da546Spatrick 
23061da546Spatrick #include <future>
24061da546Spatrick 
25061da546Spatrick using namespace lldb_private;
26061da546Spatrick using namespace lldb;
27061da546Spatrick 
28061da546Spatrick char SymbolFile::ID;
29*f6aab3d8Srobert char SymbolFileCommon::ID;
30061da546Spatrick 
PreloadSymbols()31061da546Spatrick void SymbolFile::PreloadSymbols() {
32061da546Spatrick   // No-op for most implementations.
33061da546Spatrick }
34061da546Spatrick 
GetModuleMutex() const35061da546Spatrick std::recursive_mutex &SymbolFile::GetModuleMutex() const {
36061da546Spatrick   return GetObjectFile()->GetModule()->GetMutex();
37061da546Spatrick }
38061da546Spatrick 
FindPlugin(ObjectFileSP objfile_sp)39061da546Spatrick SymbolFile *SymbolFile::FindPlugin(ObjectFileSP objfile_sp) {
40061da546Spatrick   std::unique_ptr<SymbolFile> best_symfile_up;
41061da546Spatrick   if (objfile_sp != nullptr) {
42061da546Spatrick 
43061da546Spatrick     // We need to test the abilities of this section list. So create what it
44061da546Spatrick     // would be with this new objfile_sp.
45061da546Spatrick     lldb::ModuleSP module_sp(objfile_sp->GetModule());
46061da546Spatrick     if (module_sp) {
47061da546Spatrick       // Default to the main module section list.
48061da546Spatrick       ObjectFile *module_obj_file = module_sp->GetObjectFile();
49061da546Spatrick       if (module_obj_file != objfile_sp.get()) {
50061da546Spatrick         // Make sure the main object file's sections are created
51061da546Spatrick         module_obj_file->GetSectionList();
52061da546Spatrick         objfile_sp->CreateSections(*module_sp->GetUnifiedSectionList());
53061da546Spatrick       }
54061da546Spatrick     }
55061da546Spatrick 
56061da546Spatrick     // TODO: Load any plug-ins in the appropriate plug-in search paths and
57061da546Spatrick     // iterate over all of them to find the best one for the job.
58061da546Spatrick 
59061da546Spatrick     uint32_t best_symfile_abilities = 0;
60061da546Spatrick 
61061da546Spatrick     SymbolFileCreateInstance create_callback;
62061da546Spatrick     for (uint32_t idx = 0;
63061da546Spatrick          (create_callback = PluginManager::GetSymbolFileCreateCallbackAtIndex(
64061da546Spatrick               idx)) != nullptr;
65061da546Spatrick          ++idx) {
66061da546Spatrick       std::unique_ptr<SymbolFile> curr_symfile_up(create_callback(objfile_sp));
67061da546Spatrick 
68061da546Spatrick       if (curr_symfile_up) {
69061da546Spatrick         const uint32_t sym_file_abilities = curr_symfile_up->GetAbilities();
70061da546Spatrick         if (sym_file_abilities > best_symfile_abilities) {
71061da546Spatrick           best_symfile_abilities = sym_file_abilities;
72061da546Spatrick           best_symfile_up.reset(curr_symfile_up.release());
73061da546Spatrick           // If any symbol file parser has all of the abilities, then we should
74061da546Spatrick           // just stop looking.
75061da546Spatrick           if ((kAllAbilities & sym_file_abilities) == kAllAbilities)
76061da546Spatrick             break;
77061da546Spatrick         }
78061da546Spatrick       }
79061da546Spatrick     }
80061da546Spatrick     if (best_symfile_up) {
81*f6aab3d8Srobert       // If symbol on-demand is enabled the winning symbol file parser is
82*f6aab3d8Srobert       // wrapped with SymbolFileOnDemand so that hydration of the debug info
83*f6aab3d8Srobert       // can be controlled to improve performance.
84*f6aab3d8Srobert       //
85*f6aab3d8Srobert       // Currently the supported on-demand symbol files include:
86*f6aab3d8Srobert       //  executables, shared libraries and debug info files.
87*f6aab3d8Srobert       //
88*f6aab3d8Srobert       // To reduce unnecessary wrapping files with zero debug abilities are
89*f6aab3d8Srobert       // skipped.
90*f6aab3d8Srobert       ObjectFile::Type obj_file_type = objfile_sp->CalculateType();
91*f6aab3d8Srobert       if (ModuleList::GetGlobalModuleListProperties().GetLoadSymbolOnDemand() &&
92*f6aab3d8Srobert           best_symfile_abilities > 0 &&
93*f6aab3d8Srobert           (obj_file_type == ObjectFile::eTypeExecutable ||
94*f6aab3d8Srobert            obj_file_type == ObjectFile::eTypeSharedLibrary ||
95*f6aab3d8Srobert            obj_file_type == ObjectFile::eTypeDebugInfo)) {
96*f6aab3d8Srobert         best_symfile_up =
97*f6aab3d8Srobert             std::make_unique<SymbolFileOnDemand>(std::move(best_symfile_up));
98*f6aab3d8Srobert       }
99061da546Spatrick       // Let the winning symbol file parser initialize itself more completely
100061da546Spatrick       // now that it has been chosen
101061da546Spatrick       best_symfile_up->InitializeObject();
102061da546Spatrick     }
103061da546Spatrick   }
104061da546Spatrick   return best_symfile_up.release();
105061da546Spatrick }
106061da546Spatrick 
107be691f3bSpatrick uint32_t
ResolveSymbolContext(const SourceLocationSpec & src_location_spec,lldb::SymbolContextItem resolve_scope,SymbolContextList & sc_list)108be691f3bSpatrick SymbolFile::ResolveSymbolContext(const SourceLocationSpec &src_location_spec,
109061da546Spatrick                                  lldb::SymbolContextItem resolve_scope,
110061da546Spatrick                                  SymbolContextList &sc_list) {
111061da546Spatrick   return 0;
112061da546Spatrick }
113061da546Spatrick 
FindGlobalVariables(ConstString name,const CompilerDeclContext & parent_decl_ctx,uint32_t max_matches,VariableList & variables)114061da546Spatrick void SymbolFile::FindGlobalVariables(ConstString name,
115dda28197Spatrick                                      const CompilerDeclContext &parent_decl_ctx,
116061da546Spatrick                                      uint32_t max_matches,
117061da546Spatrick                                      VariableList &variables) {}
118061da546Spatrick 
FindGlobalVariables(const RegularExpression & regex,uint32_t max_matches,VariableList & variables)119061da546Spatrick void SymbolFile::FindGlobalVariables(const RegularExpression &regex,
120061da546Spatrick                                      uint32_t max_matches,
121061da546Spatrick                                      VariableList &variables) {}
122061da546Spatrick 
FindFunctions(const Module::LookupInfo & lookup_info,const CompilerDeclContext & parent_decl_ctx,bool include_inlines,SymbolContextList & sc_list)123*f6aab3d8Srobert void SymbolFile::FindFunctions(const Module::LookupInfo &lookup_info,
124dda28197Spatrick                                const CompilerDeclContext &parent_decl_ctx,
125061da546Spatrick                                bool include_inlines,
126061da546Spatrick                                SymbolContextList &sc_list) {}
127061da546Spatrick 
FindFunctions(const RegularExpression & regex,bool include_inlines,SymbolContextList & sc_list)128061da546Spatrick void SymbolFile::FindFunctions(const RegularExpression &regex,
129061da546Spatrick                                bool include_inlines,
130061da546Spatrick                                SymbolContextList &sc_list) {}
131061da546Spatrick 
GetMangledNamesForFunction(const std::string & scope_qualified_name,std::vector<ConstString> & mangled_names)132061da546Spatrick void SymbolFile::GetMangledNamesForFunction(
133061da546Spatrick     const std::string &scope_qualified_name,
134*f6aab3d8Srobert     std::vector<ConstString> &mangled_names) {}
135061da546Spatrick 
FindTypes(ConstString name,const CompilerDeclContext & parent_decl_ctx,uint32_t max_matches,llvm::DenseSet<lldb_private::SymbolFile * > & searched_symbol_files,TypeMap & types)136061da546Spatrick void SymbolFile::FindTypes(
137dda28197Spatrick     ConstString name, const CompilerDeclContext &parent_decl_ctx,
138061da546Spatrick     uint32_t max_matches,
139061da546Spatrick     llvm::DenseSet<lldb_private::SymbolFile *> &searched_symbol_files,
140061da546Spatrick     TypeMap &types) {}
141061da546Spatrick 
FindTypes(llvm::ArrayRef<CompilerContext> pattern,LanguageSet languages,llvm::DenseSet<SymbolFile * > & searched_symbol_files,TypeMap & types)142061da546Spatrick void SymbolFile::FindTypes(llvm::ArrayRef<CompilerContext> pattern,
143061da546Spatrick                            LanguageSet languages,
144061da546Spatrick                            llvm::DenseSet<SymbolFile *> &searched_symbol_files,
145061da546Spatrick                            TypeMap &types) {}
146061da546Spatrick 
AssertModuleLock()147061da546Spatrick void SymbolFile::AssertModuleLock() {
148061da546Spatrick   // The code below is too expensive to leave enabled in release builds. It's
149061da546Spatrick   // enabled in debug builds or when the correct macro is set.
150061da546Spatrick #if defined(LLDB_CONFIGURATION_DEBUG)
151061da546Spatrick   // We assert that we have to module lock by trying to acquire the lock from a
152061da546Spatrick   // different thread. Note that we must abort if the result is true to
153061da546Spatrick   // guarantee correctness.
154*f6aab3d8Srobert   assert(std::async(
155*f6aab3d8Srobert              std::launch::async,
156*f6aab3d8Srobert              [this] {
157*f6aab3d8Srobert                return this->GetModuleMutex().try_lock();
158*f6aab3d8Srobert              }).get() == false &&
159061da546Spatrick          "Module is not locked");
160061da546Spatrick #endif
161061da546Spatrick }
162061da546Spatrick 
163*f6aab3d8Srobert SymbolFile::RegisterInfoResolver::~RegisterInfoResolver() = default;
164*f6aab3d8Srobert 
GetSymtab()165*f6aab3d8Srobert Symtab *SymbolFileCommon::GetSymtab() {
166*f6aab3d8Srobert   std::lock_guard<std::recursive_mutex> guard(GetModuleMutex());
167*f6aab3d8Srobert   // Fetch the symtab from the main object file.
168*f6aab3d8Srobert   auto *symtab = GetMainObjectFile()->GetSymtab();
169*f6aab3d8Srobert   if (m_symtab != symtab) {
170*f6aab3d8Srobert     m_symtab = symtab;
171*f6aab3d8Srobert 
172*f6aab3d8Srobert     // Then add our symbols to it.
173*f6aab3d8Srobert     if (m_symtab)
174*f6aab3d8Srobert       AddSymbols(*m_symtab);
175*f6aab3d8Srobert   }
176*f6aab3d8Srobert   return m_symtab;
177*f6aab3d8Srobert }
178*f6aab3d8Srobert 
GetMainObjectFile()179*f6aab3d8Srobert ObjectFile *SymbolFileCommon::GetMainObjectFile() {
180*f6aab3d8Srobert   return m_objfile_sp->GetModule()->GetObjectFile();
181*f6aab3d8Srobert }
182*f6aab3d8Srobert 
SectionFileAddressesChanged()183*f6aab3d8Srobert void SymbolFileCommon::SectionFileAddressesChanged() {
184*f6aab3d8Srobert   ObjectFile *module_objfile = GetMainObjectFile();
185*f6aab3d8Srobert   ObjectFile *symfile_objfile = GetObjectFile();
186*f6aab3d8Srobert   if (symfile_objfile != module_objfile)
187*f6aab3d8Srobert     symfile_objfile->SectionFileAddressesChanged();
188*f6aab3d8Srobert   if (auto *symtab = GetSymtab())
189*f6aab3d8Srobert     symtab->SectionFileAddressesChanged();
190*f6aab3d8Srobert }
191*f6aab3d8Srobert 
GetNumCompileUnits()192*f6aab3d8Srobert uint32_t SymbolFileCommon::GetNumCompileUnits() {
193061da546Spatrick   std::lock_guard<std::recursive_mutex> guard(GetModuleMutex());
194061da546Spatrick   if (!m_compile_units) {
195061da546Spatrick     // Create an array of compile unit shared pointers -- which will each
196061da546Spatrick     // remain NULL until someone asks for the actual compile unit information.
197061da546Spatrick     m_compile_units.emplace(CalculateNumCompileUnits());
198061da546Spatrick   }
199061da546Spatrick   return m_compile_units->size();
200061da546Spatrick }
201061da546Spatrick 
GetCompileUnitAtIndex(uint32_t idx)202*f6aab3d8Srobert CompUnitSP SymbolFileCommon::GetCompileUnitAtIndex(uint32_t idx) {
203061da546Spatrick   std::lock_guard<std::recursive_mutex> guard(GetModuleMutex());
204061da546Spatrick   uint32_t num = GetNumCompileUnits();
205061da546Spatrick   if (idx >= num)
206061da546Spatrick     return nullptr;
207061da546Spatrick   lldb::CompUnitSP &cu_sp = (*m_compile_units)[idx];
208061da546Spatrick   if (!cu_sp)
209061da546Spatrick     cu_sp = ParseCompileUnitAtIndex(idx);
210061da546Spatrick   return cu_sp;
211061da546Spatrick }
212061da546Spatrick 
SetCompileUnitAtIndex(uint32_t idx,const CompUnitSP & cu_sp)213*f6aab3d8Srobert void SymbolFileCommon::SetCompileUnitAtIndex(uint32_t idx,
214*f6aab3d8Srobert                                              const CompUnitSP &cu_sp) {
215061da546Spatrick   std::lock_guard<std::recursive_mutex> guard(GetModuleMutex());
216061da546Spatrick   const size_t num_compile_units = GetNumCompileUnits();
217061da546Spatrick   assert(idx < num_compile_units);
218061da546Spatrick   (void)num_compile_units;
219061da546Spatrick 
220061da546Spatrick   // Fire off an assertion if this compile unit already exists for now. The
221061da546Spatrick   // partial parsing should take care of only setting the compile unit
222061da546Spatrick   // once, so if this assertion fails, we need to make sure that we don't
223061da546Spatrick   // have a race condition, or have a second parse of the same compile
224061da546Spatrick   // unit.
225061da546Spatrick   assert((*m_compile_units)[idx] == nullptr);
226061da546Spatrick   (*m_compile_units)[idx] = cu_sp;
227061da546Spatrick }
228061da546Spatrick 
229*f6aab3d8Srobert llvm::Expected<TypeSystemSP>
GetTypeSystemForLanguage(lldb::LanguageType language)230*f6aab3d8Srobert SymbolFileCommon::GetTypeSystemForLanguage(lldb::LanguageType language) {
231*f6aab3d8Srobert   auto type_system_or_err =
232*f6aab3d8Srobert       m_objfile_sp->GetModule()->GetTypeSystemForLanguage(language);
233*f6aab3d8Srobert   if (type_system_or_err) {
234*f6aab3d8Srobert     if (auto ts = *type_system_or_err)
235*f6aab3d8Srobert       ts->SetSymbolFile(this);
236*f6aab3d8Srobert   }
237*f6aab3d8Srobert   return type_system_or_err;
238061da546Spatrick }
239061da546Spatrick 
GetDebugInfoSize()240*f6aab3d8Srobert uint64_t SymbolFileCommon::GetDebugInfoSize() {
241*f6aab3d8Srobert   if (!m_objfile_sp)
242*f6aab3d8Srobert     return 0;
243*f6aab3d8Srobert   ModuleSP module_sp(m_objfile_sp->GetModule());
244*f6aab3d8Srobert   if (!module_sp)
245*f6aab3d8Srobert     return 0;
246*f6aab3d8Srobert   const SectionList *section_list = module_sp->GetSectionList();
247*f6aab3d8Srobert   if (section_list)
248*f6aab3d8Srobert     return section_list->GetDebugInfoSize();
249*f6aab3d8Srobert   return 0;
250061da546Spatrick }
251061da546Spatrick 
Dump(Stream & s)252*f6aab3d8Srobert void SymbolFileCommon::Dump(Stream &s) {
253061da546Spatrick   s.Format("SymbolFile {0} ({1})\n", GetPluginName(),
254061da546Spatrick            GetMainObjectFile()->GetFileSpec());
255061da546Spatrick   s.PutCString("Types:\n");
256061da546Spatrick   m_type_list.Dump(&s, /*show_context*/ false);
257061da546Spatrick   s.PutChar('\n');
258061da546Spatrick 
259061da546Spatrick   s.PutCString("Compile units:\n");
260061da546Spatrick   if (m_compile_units) {
261061da546Spatrick     for (const CompUnitSP &cu_sp : *m_compile_units) {
262061da546Spatrick       // We currently only dump the compile units that have been parsed
263061da546Spatrick       if (cu_sp)
264061da546Spatrick         cu_sp->Dump(&s, /*show_context*/ false);
265061da546Spatrick     }
266061da546Spatrick   }
267061da546Spatrick   s.PutChar('\n');
268061da546Spatrick 
269061da546Spatrick   if (Symtab *symtab = GetSymtab())
270061da546Spatrick     symtab->Dump(&s, nullptr, eSortOrderNone);
271061da546Spatrick }
272