1 | //===-- TypeSummary.cpp ---------------------------------------------------===// |
---|---|
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/DataFormatters/TypeSummary.h" |
10 | |
11 | #include "FormatterBytecode.h" |
12 | #include "lldb/lldb-enumerations.h" |
13 | #include "lldb/lldb-public.h" |
14 | |
15 | #include "lldb/Core/Debugger.h" |
16 | #include "lldb/DataFormatters/ValueObjectPrinter.h" |
17 | #include "lldb/Interpreter/CommandInterpreter.h" |
18 | #include "lldb/Symbol/CompilerType.h" |
19 | #include "lldb/Target/StackFrame.h" |
20 | #include "lldb/Target/Target.h" |
21 | #include "lldb/Utility/StreamString.h" |
22 | #include "lldb/ValueObject/ValueObject.h" |
23 | |
24 | using namespace lldb; |
25 | using namespace lldb_private; |
26 | |
27 | TypeSummaryOptions::TypeSummaryOptions() = default; |
28 | |
29 | lldb::LanguageType TypeSummaryOptions::GetLanguage() const { return m_lang; } |
30 | |
31 | lldb::TypeSummaryCapping TypeSummaryOptions::GetCapping() const { |
32 | return m_capping; |
33 | } |
34 | |
35 | TypeSummaryOptions &TypeSummaryOptions::SetLanguage(lldb::LanguageType lang) { |
36 | m_lang = lang; |
37 | return *this; |
38 | } |
39 | |
40 | TypeSummaryOptions & |
41 | TypeSummaryOptions::SetCapping(lldb::TypeSummaryCapping cap) { |
42 | m_capping = cap; |
43 | return *this; |
44 | } |
45 | |
46 | TypeSummaryImpl::TypeSummaryImpl(Kind kind, const TypeSummaryImpl::Flags &flags, |
47 | uint32_t ptr_match_depth) |
48 | : m_flags(flags), m_kind(kind), m_ptr_match_depth(ptr_match_depth) {} |
49 | |
50 | std::string TypeSummaryImpl::GetSummaryKindName() { |
51 | switch (m_kind) { |
52 | case Kind::eSummaryString: |
53 | return "string"; |
54 | case Kind::eCallback: |
55 | return "callback"; |
56 | case Kind::eScript: |
57 | return "python"; |
58 | case Kind::eInternal: |
59 | return "c++"; |
60 | case Kind::eBytecode: |
61 | return "bytecode"; |
62 | } |
63 | llvm_unreachable("Unknown type kind name"); |
64 | } |
65 | |
66 | StringSummaryFormat::StringSummaryFormat(const TypeSummaryImpl::Flags &flags, |
67 | const char *format_cstr, |
68 | uint32_t ptr_match_depth) |
69 | : TypeSummaryImpl(Kind::eSummaryString, flags, ptr_match_depth), |
70 | m_format_str() { |
71 | SetSummaryString(format_cstr); |
72 | } |
73 | |
74 | void StringSummaryFormat::SetSummaryString(const char *format_cstr) { |
75 | m_format.Clear(); |
76 | if (format_cstr && format_cstr[0]) { |
77 | m_format_str = format_cstr; |
78 | m_error = FormatEntity::Parse(format: format_cstr, entry&: m_format); |
79 | } else { |
80 | m_format_str.clear(); |
81 | m_error.Clear(); |
82 | } |
83 | } |
84 | |
85 | bool StringSummaryFormat::FormatObject(ValueObject *valobj, std::string &retval, |
86 | const TypeSummaryOptions &options) { |
87 | if (!valobj) { |
88 | retval.assign(s: "NULL ValueObject"); |
89 | return false; |
90 | } |
91 | |
92 | StreamString s; |
93 | ExecutionContext exe_ctx(valobj->GetExecutionContextRef()); |
94 | SymbolContext sc; |
95 | StackFrame *frame = exe_ctx.GetFramePtr(); |
96 | if (frame) |
97 | sc = frame->GetSymbolContext(resolve_scope: lldb::eSymbolContextEverything); |
98 | |
99 | if (IsOneLiner()) { |
100 | // We've already checked the case of a NULL valobj above. Let's put in an |
101 | // assert here to make sure someone doesn't take that out: |
102 | assert(valobj && "Must have a valid ValueObject to summarize"); |
103 | ValueObjectPrinter printer(*valobj, &s, DumpValueObjectOptions()); |
104 | printer.PrintChildrenOneLiner(hide_names: HideNames(valobj)); |
105 | retval = std::string(s.GetString()); |
106 | return true; |
107 | } else { |
108 | if (FormatEntity::Format(entry: m_format, s, sc: &sc, exe_ctx: &exe_ctx, |
109 | addr: &sc.line_entry.range.GetBaseAddress(), valobj, |
110 | function_changed: false, initial_function: false)) { |
111 | retval.assign(str: std::string(s.GetString())); |
112 | return true; |
113 | } else { |
114 | retval.assign(s: "error: summary string parsing error"); |
115 | return false; |
116 | } |
117 | } |
118 | } |
119 | |
120 | std::string StringSummaryFormat::GetDescription() { |
121 | StreamString sstr; |
122 | |
123 | sstr.Printf(format: "`%s`%s%s%s%s%s%s%s%s%s ptr-match-depth=%u", m_format_str.c_str(), |
124 | m_error.Fail() ? " error: ": "", |
125 | m_error.Fail() ? m_error.AsCString() : "", |
126 | Cascades() ? "": " (not cascading)", |
127 | !DoesPrintChildren(valobj: nullptr) ? "": " (show children)", |
128 | !DoesPrintValue(valobj: nullptr) ? " (hide value)": "", |
129 | IsOneLiner() ? " (one-line printout)": "", |
130 | SkipsPointers() ? " (skip pointers)": "", |
131 | SkipsReferences() ? " (skip references)": "", |
132 | HideNames(valobj: nullptr) ? " (hide member names)": "", |
133 | GetPtrMatchDepth()); |
134 | return std::string(sstr.GetString()); |
135 | } |
136 | |
137 | std::string StringSummaryFormat::GetName() { return m_format_str; } |
138 | |
139 | CXXFunctionSummaryFormat::CXXFunctionSummaryFormat( |
140 | const TypeSummaryImpl::Flags &flags, Callback impl, const char *description, |
141 | uint32_t ptr_match_depth) |
142 | : TypeSummaryImpl(Kind::eCallback, flags, ptr_match_depth), m_impl(impl), |
143 | m_description(description ? description : "") {} |
144 | |
145 | bool CXXFunctionSummaryFormat::FormatObject(ValueObject *valobj, |
146 | std::string &dest, |
147 | const TypeSummaryOptions &options) { |
148 | dest.clear(); |
149 | StreamString stream; |
150 | if (!m_impl || !m_impl(*valobj, stream, options)) |
151 | return false; |
152 | dest = std::string(stream.GetString()); |
153 | return true; |
154 | } |
155 | |
156 | std::string CXXFunctionSummaryFormat::GetDescription() { |
157 | StreamString sstr; |
158 | sstr.Printf(format: "%s%s%s%s%s%s%s ptr-match-depth=%u %s", |
159 | Cascades() ? "": " (not cascading)", |
160 | !DoesPrintChildren(valobj: nullptr) ? "": " (show children)", |
161 | !DoesPrintValue(valobj: nullptr) ? " (hide value)": "", |
162 | IsOneLiner() ? " (one-line printout)": "", |
163 | SkipsPointers() ? " (skip pointers)": "", |
164 | SkipsReferences() ? " (skip references)": "", |
165 | HideNames(valobj: nullptr) ? " (hide member names)": "", |
166 | GetPtrMatchDepth(), m_description.c_str()); |
167 | return std::string(sstr.GetString()); |
168 | } |
169 | |
170 | std::string CXXFunctionSummaryFormat::GetName() { return m_description; } |
171 | |
172 | ScriptSummaryFormat::ScriptSummaryFormat(const TypeSummaryImpl::Flags &flags, |
173 | const char *function_name, |
174 | const char *python_script, |
175 | uint32_t ptr_match_depth) |
176 | : TypeSummaryImpl(Kind::eScript, flags, ptr_match_depth), m_function_name(), |
177 | m_python_script(), m_script_function_sp() { |
178 | // Take preference in the python script name over the function name. |
179 | if (function_name) { |
180 | m_function_name.assign(s: function_name); |
181 | m_script_formatter_name = function_name; |
182 | } |
183 | if (python_script) { |
184 | m_python_script.assign(s: python_script); |
185 | m_script_formatter_name = python_script; |
186 | } |
187 | |
188 | // Python scripts include the tabbing of the function def so we remove the |
189 | // leading spaces. |
190 | m_script_formatter_name = m_script_formatter_name.erase( |
191 | pos: 0, n: m_script_formatter_name.find_first_not_of(c: ' ')); |
192 | } |
193 | |
194 | bool ScriptSummaryFormat::FormatObject(ValueObject *valobj, std::string &retval, |
195 | const TypeSummaryOptions &options) { |
196 | if (!valobj) |
197 | return false; |
198 | |
199 | TargetSP target_sp(valobj->GetTargetSP()); |
200 | |
201 | if (!target_sp) { |
202 | retval.assign(s: "error: no target"); |
203 | return false; |
204 | } |
205 | |
206 | ScriptInterpreter *script_interpreter = |
207 | target_sp->GetDebugger().GetScriptInterpreter(); |
208 | |
209 | if (!script_interpreter) { |
210 | retval.assign(s: "error: no ScriptInterpreter"); |
211 | return false; |
212 | } |
213 | |
214 | return script_interpreter->GetScriptedSummary( |
215 | function_name: m_function_name.c_str(), valobj: valobj->GetSP(), callee_wrapper_sp&: m_script_function_sp, options, |
216 | retval); |
217 | } |
218 | |
219 | std::string ScriptSummaryFormat::GetDescription() { |
220 | StreamString sstr; |
221 | sstr.Printf(format: "%s%s%s%s%s%s%s ptr-match-depth=%u\n ", |
222 | Cascades() ? "": " (not cascading)", |
223 | !DoesPrintChildren(valobj: nullptr) ? "": " (show children)", |
224 | !DoesPrintValue(valobj: nullptr) ? " (hide value)": "", |
225 | IsOneLiner() ? " (one-line printout)": "", |
226 | SkipsPointers() ? " (skip pointers)": "", |
227 | SkipsReferences() ? " (skip references)": "", |
228 | HideNames(valobj: nullptr) ? " (hide member names)": "", |
229 | GetPtrMatchDepth()); |
230 | if (m_python_script.empty()) { |
231 | if (m_function_name.empty()) { |
232 | sstr.PutCString(cstr: "no backing script"); |
233 | } else { |
234 | sstr.PutCString(cstr: m_function_name); |
235 | } |
236 | } else { |
237 | sstr.PutCString(cstr: m_python_script); |
238 | } |
239 | return std::string(sstr.GetString()); |
240 | } |
241 | |
242 | std::string ScriptSummaryFormat::GetName() { return m_script_formatter_name; } |
243 | |
244 | BytecodeSummaryFormat::BytecodeSummaryFormat( |
245 | const TypeSummaryImpl::Flags &flags, |
246 | std::unique_ptr<llvm::MemoryBuffer> bytecode) |
247 | : TypeSummaryImpl(Kind::eBytecode, flags), m_bytecode(std::move(bytecode)) { |
248 | } |
249 | |
250 | bool BytecodeSummaryFormat::FormatObject(ValueObject *valobj, |
251 | std::string &retval, |
252 | const TypeSummaryOptions &options) { |
253 | if (!valobj) |
254 | return false; |
255 | |
256 | TargetSP target_sp(valobj->GetTargetSP()); |
257 | |
258 | if (!target_sp) { |
259 | retval.assign(s: "error: no target"); |
260 | return false; |
261 | } |
262 | |
263 | std::vector<FormatterBytecode::ControlStackElement> control( |
264 | {m_bytecode->getBuffer()}); |
265 | FormatterBytecode::DataStack data({valobj->GetSP()}); |
266 | llvm::Error error = FormatterBytecode::Interpret( |
267 | control, data, sel: FormatterBytecode::sel_summary); |
268 | if (error) { |
269 | retval = llvm::toString(E: std::move(error)); |
270 | return false; |
271 | } |
272 | if (!data.size()) { |
273 | retval = "empty stack"; |
274 | return false; |
275 | } |
276 | auto &top = data.back(); |
277 | retval = ""; |
278 | llvm::raw_string_ostream os(retval); |
279 | if (auto s = std::get_if<std::string>(ptr: &top)) |
280 | os << *s; |
281 | else if (auto u = std::get_if<uint64_t>(ptr: &top)) |
282 | os << *u; |
283 | else if (auto i = std::get_if<int64_t>(ptr: &top)) |
284 | os << *i; |
285 | else if (auto valobj = std::get_if<ValueObjectSP>(ptr: &top)) { |
286 | if (!valobj->get()) |
287 | os << "empty object"; |
288 | else |
289 | os << valobj->get()->GetValueAsCString(); |
290 | } else if (auto type = std::get_if<CompilerType>(ptr: &top)) { |
291 | os << type->TypeDescription(); |
292 | } else if (auto sel = std::get_if<FormatterBytecode::Selectors>(ptr: &top)) { |
293 | os << toString(sel: *sel); |
294 | } |
295 | return true; |
296 | } |
297 | |
298 | std::string BytecodeSummaryFormat::GetDescription() { |
299 | StreamString sstr; |
300 | sstr.Printf(format: "%s%s%s%s%s%s%s\n ", Cascades() ? "": " (not cascading)", |
301 | !DoesPrintChildren(valobj: nullptr) ? "": " (show children)", |
302 | !DoesPrintValue(valobj: nullptr) ? " (hide value)": "", |
303 | IsOneLiner() ? " (one-line printout)": "", |
304 | SkipsPointers() ? " (skip pointers)": "", |
305 | SkipsReferences() ? " (skip references)": "", |
306 | HideNames(valobj: nullptr) ? " (hide member names)": ""); |
307 | // FIXME: sstr.PutCString(disassembly); |
308 | return std::string(sstr.GetString()); |
309 | } |
310 | |
311 | std::string BytecodeSummaryFormat::GetName() { |
312 | return "LLDB bytecode formatter"; |
313 | } |
314 |
Definitions
- TypeSummaryOptions
- GetLanguage
- GetCapping
- SetLanguage
- SetCapping
- TypeSummaryImpl
- GetSummaryKindName
- StringSummaryFormat
- SetSummaryString
- FormatObject
- GetDescription
- GetName
- CXXFunctionSummaryFormat
- FormatObject
- GetDescription
- GetName
- ScriptSummaryFormat
- FormatObject
- GetDescription
- GetName
- BytecodeSummaryFormat
- FormatObject
- GetDescription
Learn to use CMake with our Intro Training
Find out more