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