1 //===-- SymbolFile.cpp ------------------------------------------*- C++ -*-===// 2 // 3 // 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 6 // 7 //===----------------------------------------------------------------------===// 8 9 #include "lldb/Symbol/SymbolFile.h" 10 11 #include "lldb/Core/Module.h" 12 #include "lldb/Core/PluginManager.h" 13 #include "lldb/Symbol/CompileUnit.h" 14 #include "lldb/Symbol/ObjectFile.h" 15 #include "lldb/Symbol/TypeMap.h" 16 #include "lldb/Symbol/TypeSystem.h" 17 #include "lldb/Symbol/VariableList.h" 18 #include "lldb/Utility/Log.h" 19 #include "lldb/Utility/StreamString.h" 20 #include "lldb/lldb-private.h" 21 22 #include <future> 23 24 using namespace lldb_private; 25 using namespace lldb; 26 27 void SymbolFile::PreloadSymbols() { 28 // No-op for most implementations. 29 } 30 31 std::recursive_mutex &SymbolFile::GetModuleMutex() const { 32 return GetObjectFile()->GetModule()->GetMutex(); 33 } 34 35 SymbolFile *SymbolFile::FindPlugin(ObjectFile *obj_file) { 36 std::unique_ptr<SymbolFile> best_symfile_up; 37 if (obj_file != nullptr) { 38 39 // We need to test the abilities of this section list. So create what it 40 // would be with this new obj_file. 41 lldb::ModuleSP module_sp(obj_file->GetModule()); 42 if (module_sp) { 43 // Default to the main module section list. 44 ObjectFile *module_obj_file = module_sp->GetObjectFile(); 45 if (module_obj_file != obj_file) { 46 // Make sure the main object file's sections are created 47 module_obj_file->GetSectionList(); 48 obj_file->CreateSections(*module_sp->GetUnifiedSectionList()); 49 } 50 } 51 52 // TODO: Load any plug-ins in the appropriate plug-in search paths and 53 // iterate over all of them to find the best one for the job. 54 55 uint32_t best_symfile_abilities = 0; 56 57 SymbolFileCreateInstance create_callback; 58 for (uint32_t idx = 0; 59 (create_callback = PluginManager::GetSymbolFileCreateCallbackAtIndex( 60 idx)) != nullptr; 61 ++idx) { 62 std::unique_ptr<SymbolFile> curr_symfile_up(create_callback(obj_file)); 63 64 if (curr_symfile_up) { 65 const uint32_t sym_file_abilities = curr_symfile_up->GetAbilities(); 66 if (sym_file_abilities > best_symfile_abilities) { 67 best_symfile_abilities = sym_file_abilities; 68 best_symfile_up.reset(curr_symfile_up.release()); 69 // If any symbol file parser has all of the abilities, then we should 70 // just stop looking. 71 if ((kAllAbilities & sym_file_abilities) == kAllAbilities) 72 break; 73 } 74 } 75 } 76 if (best_symfile_up) { 77 // Let the winning symbol file parser initialize itself more completely 78 // now that it has been chosen 79 best_symfile_up->InitializeObject(); 80 } 81 } 82 return best_symfile_up.release(); 83 } 84 85 TypeList *SymbolFile::GetTypeList() { 86 if (m_obj_file) 87 return m_obj_file->GetModule()->GetTypeList(); 88 return nullptr; 89 } 90 91 TypeSystem *SymbolFile::GetTypeSystemForLanguage(lldb::LanguageType language) { 92 TypeSystem *type_system = 93 m_obj_file->GetModule()->GetTypeSystemForLanguage(language); 94 if (type_system) 95 type_system->SetSymbolFile(this); 96 return type_system; 97 } 98 99 uint32_t SymbolFile::ResolveSymbolContext(const FileSpec &file_spec, 100 uint32_t line, bool check_inlines, 101 lldb::SymbolContextItem resolve_scope, 102 SymbolContextList &sc_list) { 103 return 0; 104 } 105 106 uint32_t 107 SymbolFile::FindGlobalVariables(ConstString name, 108 const CompilerDeclContext *parent_decl_ctx, 109 uint32_t max_matches, VariableList &variables) { 110 return 0; 111 } 112 113 uint32_t SymbolFile::FindGlobalVariables(const RegularExpression ®ex, 114 uint32_t max_matches, 115 VariableList &variables) { 116 return 0; 117 } 118 119 uint32_t SymbolFile::FindFunctions(ConstString name, 120 const CompilerDeclContext *parent_decl_ctx, 121 lldb::FunctionNameType name_type_mask, 122 bool include_inlines, bool append, 123 SymbolContextList &sc_list) { 124 if (!append) 125 sc_list.Clear(); 126 return 0; 127 } 128 129 uint32_t SymbolFile::FindFunctions(const RegularExpression ®ex, 130 bool include_inlines, bool append, 131 SymbolContextList &sc_list) { 132 if (!append) 133 sc_list.Clear(); 134 return 0; 135 } 136 137 void SymbolFile::GetMangledNamesForFunction( 138 const std::string &scope_qualified_name, 139 std::vector<ConstString> &mangled_names) { 140 return; 141 } 142 143 uint32_t SymbolFile::FindTypes( 144 ConstString name, const CompilerDeclContext *parent_decl_ctx, 145 bool append, uint32_t max_matches, 146 llvm::DenseSet<lldb_private::SymbolFile *> &searched_symbol_files, 147 TypeMap &types) { 148 if (!append) 149 types.Clear(); 150 return 0; 151 } 152 153 size_t SymbolFile::FindTypes(const std::vector<CompilerContext> &context, 154 bool append, TypeMap &types) { 155 if (!append) 156 types.Clear(); 157 return 0; 158 } 159 160 void SymbolFile::AssertModuleLock() { 161 // The code below is too expensive to leave enabled in release builds. It's 162 // enabled in debug builds or when the correct macro is set. 163 #if defined(LLDB_CONFIGURATION_DEBUG) 164 // We assert that we have to module lock by trying to acquire the lock from a 165 // different thread. Note that we must abort if the result is true to 166 // guarantee correctness. 167 assert(std::async(std::launch::async, 168 [this] { return this->GetModuleMutex().try_lock(); }) 169 .get() == false && 170 "Module is not locked"); 171 #endif 172 } 173 174 uint32_t SymbolFile::GetNumCompileUnits() { 175 std::lock_guard<std::recursive_mutex> guard(GetModuleMutex()); 176 if (!m_compile_units) { 177 // Create an array of compile unit shared pointers -- which will each 178 // remain NULL until someone asks for the actual compile unit information. 179 m_compile_units.emplace(CalculateNumCompileUnits()); 180 } 181 return m_compile_units->size(); 182 } 183 184 CompUnitSP SymbolFile::GetCompileUnitAtIndex(uint32_t idx) { 185 uint32_t num = GetNumCompileUnits(); 186 if (idx >= num) 187 return nullptr; 188 lldb::CompUnitSP &cu_sp = (*m_compile_units)[idx]; 189 if (!cu_sp) 190 cu_sp = ParseCompileUnitAtIndex(idx); 191 return cu_sp; 192 } 193 194 void SymbolFile::SetCompileUnitAtIndex(uint32_t idx, const CompUnitSP &cu_sp) { 195 std::lock_guard<std::recursive_mutex> guard(GetModuleMutex()); 196 const size_t num_compile_units = GetNumCompileUnits(); 197 assert(idx < num_compile_units); 198 199 // Fire off an assertion if this compile unit already exists for now. The 200 // partial parsing should take care of only setting the compile unit 201 // once, so if this assertion fails, we need to make sure that we don't 202 // have a race condition, or have a second parse of the same compile 203 // unit. 204 assert((*m_compile_units)[idx] == nullptr); 205 (*m_compile_units)[idx] = cu_sp; 206 } 207 208 void SymbolFile::Dump(Stream &s) { 209 s.PutCString("Compile units:\n"); 210 if (m_compile_units) { 211 for (const CompUnitSP &cu_sp : *m_compile_units) { 212 // We currently only dump the compile units that have been parsed 213 if (cu_sp) 214 cu_sp->Dump(&s, /*show_context*/ false); 215 } 216 } 217 s.PutChar('\n'); 218 } 219 220 SymbolFile::RegisterInfoResolver::~RegisterInfoResolver() = default; 221