15ffd83dbSDimitry Andric //===-- BreakpointResolverFileRegex.cpp -----------------------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric 
90b57cec5SDimitry Andric #include "lldb/Breakpoint/BreakpointResolverFileRegex.h"
100b57cec5SDimitry Andric 
110b57cec5SDimitry Andric #include "lldb/Breakpoint/BreakpointLocation.h"
120b57cec5SDimitry Andric #include "lldb/Core/SourceManager.h"
130b57cec5SDimitry Andric #include "lldb/Symbol/CompileUnit.h"
140b57cec5SDimitry Andric #include "lldb/Target/Target.h"
150b57cec5SDimitry Andric #include "lldb/Utility/Log.h"
160b57cec5SDimitry Andric #include "lldb/Utility/StreamString.h"
170b57cec5SDimitry Andric 
180b57cec5SDimitry Andric using namespace lldb;
190b57cec5SDimitry Andric using namespace lldb_private;
200b57cec5SDimitry Andric 
210b57cec5SDimitry Andric // BreakpointResolverFileRegex:
BreakpointResolverFileRegex(const lldb::BreakpointSP & bkpt,RegularExpression regex,const std::unordered_set<std::string> & func_names,bool exact_match)220b57cec5SDimitry Andric BreakpointResolverFileRegex::BreakpointResolverFileRegex(
235ffd83dbSDimitry Andric     const lldb::BreakpointSP &bkpt, RegularExpression regex,
240b57cec5SDimitry Andric     const std::unordered_set<std::string> &func_names, bool exact_match)
250b57cec5SDimitry Andric     : BreakpointResolver(bkpt, BreakpointResolver::FileRegexResolver),
269dba64beSDimitry Andric       m_regex(std::move(regex)), m_exact_match(exact_match),
279dba64beSDimitry Andric       m_function_names(func_names) {}
280b57cec5SDimitry Andric 
CreateFromStructuredData(const StructuredData::Dictionary & options_dict,Status & error)29*c9157d92SDimitry Andric BreakpointResolverSP BreakpointResolverFileRegex::CreateFromStructuredData(
30*c9157d92SDimitry Andric     const StructuredData::Dictionary &options_dict, Status &error) {
310b57cec5SDimitry Andric   bool success;
320b57cec5SDimitry Andric 
330b57cec5SDimitry Andric   llvm::StringRef regex_string;
340b57cec5SDimitry Andric   success = options_dict.GetValueForKeyAsString(
350b57cec5SDimitry Andric       GetKey(OptionNames::RegexString), regex_string);
360b57cec5SDimitry Andric   if (!success) {
370b57cec5SDimitry Andric     error.SetErrorString("BRFR::CFSD: Couldn't find regex entry.");
380b57cec5SDimitry Andric     return nullptr;
390b57cec5SDimitry Andric   }
400b57cec5SDimitry Andric   RegularExpression regex(regex_string);
410b57cec5SDimitry Andric 
420b57cec5SDimitry Andric   bool exact_match;
430b57cec5SDimitry Andric   success = options_dict.GetValueForKeyAsBoolean(
440b57cec5SDimitry Andric       GetKey(OptionNames::ExactMatch), exact_match);
450b57cec5SDimitry Andric   if (!success) {
460b57cec5SDimitry Andric     error.SetErrorString("BRFL::CFSD: Couldn't find exact match entry.");
470b57cec5SDimitry Andric     return nullptr;
480b57cec5SDimitry Andric   }
490b57cec5SDimitry Andric 
500b57cec5SDimitry Andric   // The names array is optional:
510b57cec5SDimitry Andric   std::unordered_set<std::string> names_set;
520b57cec5SDimitry Andric   StructuredData::Array *names_array;
530b57cec5SDimitry Andric   success = options_dict.GetValueForKeyAsArray(
540b57cec5SDimitry Andric       GetKey(OptionNames::SymbolNameArray), names_array);
550b57cec5SDimitry Andric   if (success && names_array) {
560b57cec5SDimitry Andric     size_t num_names = names_array->GetSize();
570b57cec5SDimitry Andric     for (size_t i = 0; i < num_names; i++) {
58*c9157d92SDimitry Andric       std::optional<llvm::StringRef> maybe_name =
59*c9157d92SDimitry Andric           names_array->GetItemAtIndexAsString(i);
60*c9157d92SDimitry Andric       if (!maybe_name) {
610b57cec5SDimitry Andric         error.SetErrorStringWithFormat(
620b57cec5SDimitry Andric             "BRFR::CFSD: Malformed element %zu in the names array.", i);
630b57cec5SDimitry Andric         return nullptr;
640b57cec5SDimitry Andric       }
65*c9157d92SDimitry Andric       names_set.insert(std::string(*maybe_name));
660b57cec5SDimitry Andric     }
670b57cec5SDimitry Andric   }
680b57cec5SDimitry Andric 
69*c9157d92SDimitry Andric   return std::make_shared<BreakpointResolverFileRegex>(
70*c9157d92SDimitry Andric       nullptr, std::move(regex), names_set, exact_match);
710b57cec5SDimitry Andric }
720b57cec5SDimitry Andric 
730b57cec5SDimitry Andric StructuredData::ObjectSP
SerializeToStructuredData()740b57cec5SDimitry Andric BreakpointResolverFileRegex::SerializeToStructuredData() {
750b57cec5SDimitry Andric   StructuredData::DictionarySP options_dict_sp(
760b57cec5SDimitry Andric       new StructuredData::Dictionary());
770b57cec5SDimitry Andric 
780b57cec5SDimitry Andric   options_dict_sp->AddStringItem(GetKey(OptionNames::RegexString),
790b57cec5SDimitry Andric                                  m_regex.GetText());
800b57cec5SDimitry Andric   options_dict_sp->AddBooleanItem(GetKey(OptionNames::ExactMatch),
810b57cec5SDimitry Andric                                   m_exact_match);
820b57cec5SDimitry Andric   if (!m_function_names.empty()) {
830b57cec5SDimitry Andric     StructuredData::ArraySP names_array_sp(new StructuredData::Array());
840b57cec5SDimitry Andric     for (std::string name : m_function_names) {
850b57cec5SDimitry Andric       StructuredData::StringSP item(new StructuredData::String(name));
860b57cec5SDimitry Andric       names_array_sp->AddItem(item);
870b57cec5SDimitry Andric     }
880b57cec5SDimitry Andric     options_dict_sp->AddItem(GetKey(OptionNames::LineNumber), names_array_sp);
890b57cec5SDimitry Andric   }
900b57cec5SDimitry Andric 
910b57cec5SDimitry Andric   return WrapOptionsDict(options_dict_sp);
920b57cec5SDimitry Andric }
930b57cec5SDimitry Andric 
SearchCallback(SearchFilter & filter,SymbolContext & context,Address * addr)949dba64beSDimitry Andric Searcher::CallbackReturn BreakpointResolverFileRegex::SearchCallback(
959dba64beSDimitry Andric     SearchFilter &filter, SymbolContext &context, Address *addr) {
960b57cec5SDimitry Andric 
970b57cec5SDimitry Andric   if (!context.target_sp)
980b57cec5SDimitry Andric     return eCallbackReturnContinue;
990b57cec5SDimitry Andric 
1000b57cec5SDimitry Andric   CompileUnit *cu = context.comp_unit;
101480093f4SDimitry Andric   FileSpec cu_file_spec = cu->GetPrimaryFile();
1020b57cec5SDimitry Andric   std::vector<uint32_t> line_matches;
1030b57cec5SDimitry Andric   context.target_sp->GetSourceManager().FindLinesMatchingRegex(
1040b57cec5SDimitry Andric       cu_file_spec, m_regex, 1, UINT32_MAX, line_matches);
1050b57cec5SDimitry Andric 
1060b57cec5SDimitry Andric   uint32_t num_matches = line_matches.size();
1070b57cec5SDimitry Andric   for (uint32_t i = 0; i < num_matches; i++) {
1080b57cec5SDimitry Andric     SymbolContextList sc_list;
109fe6060f1SDimitry Andric     // TODO: Handle SourceLocationSpec column information
110fe6060f1SDimitry Andric     SourceLocationSpec location_spec(cu_file_spec, line_matches[i],
111bdd1243dSDimitry Andric                                      /*column=*/std::nullopt,
11204eeddc0SDimitry Andric                                      /*check_inlines=*/false, m_exact_match);
113fe6060f1SDimitry Andric     cu->ResolveSymbolContext(location_spec, eSymbolContextEverything, sc_list);
1140b57cec5SDimitry Andric     // Find all the function names:
1150b57cec5SDimitry Andric     if (!m_function_names.empty()) {
1160b57cec5SDimitry Andric       std::vector<size_t> sc_to_remove;
1170b57cec5SDimitry Andric       for (size_t i = 0; i < sc_list.GetSize(); i++) {
1180b57cec5SDimitry Andric         SymbolContext sc_ctx;
1190b57cec5SDimitry Andric         sc_list.GetContextAtIndex(i, sc_ctx);
1200b57cec5SDimitry Andric         std::string name(
1210b57cec5SDimitry Andric             sc_ctx
1220b57cec5SDimitry Andric                 .GetFunctionName(
1230b57cec5SDimitry Andric                     Mangled::NamePreference::ePreferDemangledWithoutArguments)
1240b57cec5SDimitry Andric                 .AsCString());
1250b57cec5SDimitry Andric         if (!m_function_names.count(name)) {
1260b57cec5SDimitry Andric           sc_to_remove.push_back(i);
1270b57cec5SDimitry Andric         }
1280b57cec5SDimitry Andric       }
1290b57cec5SDimitry Andric 
1300b57cec5SDimitry Andric       if (!sc_to_remove.empty()) {
1310b57cec5SDimitry Andric         std::vector<size_t>::reverse_iterator iter;
1320b57cec5SDimitry Andric         std::vector<size_t>::reverse_iterator rend = sc_to_remove.rend();
1330b57cec5SDimitry Andric         for (iter = sc_to_remove.rbegin(); iter != rend; iter++) {
1340b57cec5SDimitry Andric           sc_list.RemoveContextAtIndex(*iter);
1350b57cec5SDimitry Andric         }
1360b57cec5SDimitry Andric       }
1370b57cec5SDimitry Andric     }
1380b57cec5SDimitry Andric 
1390b57cec5SDimitry Andric     const bool skip_prologue = true;
1400b57cec5SDimitry Andric 
1410b57cec5SDimitry Andric     BreakpointResolver::SetSCMatchesByLine(filter, sc_list, skip_prologue,
1420b57cec5SDimitry Andric                                            m_regex.GetText());
1430b57cec5SDimitry Andric   }
1440b57cec5SDimitry Andric 
1450b57cec5SDimitry Andric   return Searcher::eCallbackReturnContinue;
1460b57cec5SDimitry Andric }
1470b57cec5SDimitry Andric 
GetDepth()1480b57cec5SDimitry Andric lldb::SearchDepth BreakpointResolverFileRegex::GetDepth() {
1490b57cec5SDimitry Andric   return lldb::eSearchDepthCompUnit;
1500b57cec5SDimitry Andric }
1510b57cec5SDimitry Andric 
GetDescription(Stream * s)1520b57cec5SDimitry Andric void BreakpointResolverFileRegex::GetDescription(Stream *s) {
1530b57cec5SDimitry Andric   s->Printf("source regex = \"%s\", exact_match = %d",
1540b57cec5SDimitry Andric             m_regex.GetText().str().c_str(), m_exact_match);
1550b57cec5SDimitry Andric }
1560b57cec5SDimitry Andric 
Dump(Stream * s) const1570b57cec5SDimitry Andric void BreakpointResolverFileRegex::Dump(Stream *s) const {}
1580b57cec5SDimitry Andric 
1590b57cec5SDimitry Andric lldb::BreakpointResolverSP
CopyForBreakpoint(BreakpointSP & breakpoint)1605ffd83dbSDimitry Andric BreakpointResolverFileRegex::CopyForBreakpoint(BreakpointSP &breakpoint) {
1610b57cec5SDimitry Andric   lldb::BreakpointResolverSP ret_sp(new BreakpointResolverFileRegex(
1625ffd83dbSDimitry Andric       breakpoint, m_regex, m_function_names, m_exact_match));
1630b57cec5SDimitry Andric   return ret_sp;
1640b57cec5SDimitry Andric }
1650b57cec5SDimitry Andric 
AddFunctionName(const char * func_name)1660b57cec5SDimitry Andric void BreakpointResolverFileRegex::AddFunctionName(const char *func_name) {
1670b57cec5SDimitry Andric   m_function_names.insert(func_name);
1680b57cec5SDimitry Andric }
169