xref: /freebsd/contrib/llvm-project/lldb/source/DataFormatters/FormatManager.cpp (revision 700637cbb5e582861067a11aaca4d053546871d2)
1 //===-- FormatManager.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/FormatManager.h"
10 
11 #include "lldb/Core/Debugger.h"
12 #include "lldb/DataFormatters/FormattersHelpers.h"
13 #include "lldb/DataFormatters/LanguageCategory.h"
14 #include "lldb/Interpreter/ScriptInterpreter.h"
15 #include "lldb/Target/ExecutionContext.h"
16 #include "lldb/Target/Language.h"
17 #include "lldb/Utility/LLDBLog.h"
18 #include "lldb/Utility/Log.h"
19 #include "lldb/ValueObject/ValueObject.h"
20 #include "llvm/ADT/STLExtras.h"
21 
22 using namespace lldb;
23 using namespace lldb_private;
24 using namespace lldb_private::formatters;
25 
26 struct FormatInfo {
27   Format format;
28   const char format_char;  // One or more format characters that can be used for
29                            // this format.
30   const char *format_name; // Long format name that can be used to specify the
31                            // current format
32 };
33 
34 static constexpr FormatInfo g_format_infos[] = {
35     {eFormatDefault, '\0', "default"},
36     {eFormatBoolean, 'B', "boolean"},
37     {eFormatBinary, 'b', "binary"},
38     {eFormatBytes, 'y', "bytes"},
39     {eFormatBytesWithASCII, 'Y', "bytes with ASCII"},
40     {eFormatChar, 'c', "character"},
41     {eFormatCharPrintable, 'C', "printable character"},
42     {eFormatComplexFloat, 'F', "complex float"},
43     {eFormatCString, 's', "c-string"},
44     {eFormatDecimal, 'd', "decimal"},
45     {eFormatEnum, 'E', "enumeration"},
46     {eFormatHex, 'x', "hex"},
47     {eFormatHexUppercase, 'X', "uppercase hex"},
48     {eFormatFloat, 'f', "float"},
49     {eFormatOctal, 'o', "octal"},
50     {eFormatOSType, 'O', "OSType"},
51     {eFormatUnicode16, 'U', "unicode16"},
52     {eFormatUnicode32, '\0', "unicode32"},
53     {eFormatUnsigned, 'u', "unsigned decimal"},
54     {eFormatPointer, 'p', "pointer"},
55     {eFormatVectorOfChar, '\0', "char[]"},
56     {eFormatVectorOfSInt8, '\0', "int8_t[]"},
57     {eFormatVectorOfUInt8, '\0', "uint8_t[]"},
58     {eFormatVectorOfSInt16, '\0', "int16_t[]"},
59     {eFormatVectorOfUInt16, '\0', "uint16_t[]"},
60     {eFormatVectorOfSInt32, '\0', "int32_t[]"},
61     {eFormatVectorOfUInt32, '\0', "uint32_t[]"},
62     {eFormatVectorOfSInt64, '\0', "int64_t[]"},
63     {eFormatVectorOfUInt64, '\0', "uint64_t[]"},
64     {eFormatVectorOfFloat16, '\0', "float16[]"},
65     {eFormatVectorOfFloat32, '\0', "float32[]"},
66     {eFormatVectorOfFloat64, '\0', "float64[]"},
67     {eFormatVectorOfUInt128, '\0', "uint128_t[]"},
68     {eFormatComplexInteger, 'I', "complex integer"},
69     {eFormatCharArray, 'a', "character array"},
70     {eFormatAddressInfo, 'A', "address"},
71     {eFormatHexFloat, '\0', "hex float"},
72     {eFormatInstruction, 'i', "instruction"},
73     {eFormatVoid, 'v', "void"},
74     {eFormatUnicode8, 'u', "unicode8"},
75 };
76 
77 static_assert((sizeof(g_format_infos) / sizeof(g_format_infos[0])) ==
78                   kNumFormats,
79               "All formats must have a corresponding info entry.");
80 
81 static uint32_t g_num_format_infos = std::size(g_format_infos);
82 
GetFormatFromFormatChar(char format_char,Format & format)83 static bool GetFormatFromFormatChar(char format_char, Format &format) {
84   for (uint32_t i = 0; i < g_num_format_infos; ++i) {
85     if (g_format_infos[i].format_char == format_char) {
86       format = g_format_infos[i].format;
87       return true;
88     }
89   }
90   format = eFormatInvalid;
91   return false;
92 }
93 
GetFormatFromFormatName(llvm::StringRef format_name,Format & format)94 static bool GetFormatFromFormatName(llvm::StringRef format_name,
95                                     Format &format) {
96   uint32_t i;
97   for (i = 0; i < g_num_format_infos; ++i) {
98     if (format_name.equals_insensitive(g_format_infos[i].format_name)) {
99       format = g_format_infos[i].format;
100       return true;
101     }
102   }
103 
104   for (i = 0; i < g_num_format_infos; ++i) {
105     if (llvm::StringRef(g_format_infos[i].format_name)
106             .starts_with_insensitive(format_name)) {
107       format = g_format_infos[i].format;
108       return true;
109     }
110   }
111   format = eFormatInvalid;
112   return false;
113 }
114 
Changed()115 void FormatManager::Changed() {
116   ++m_last_revision;
117   m_format_cache.Clear();
118   std::lock_guard<std::recursive_mutex> guard(m_language_categories_mutex);
119   for (auto &iter : m_language_categories_map) {
120     if (iter.second)
121       iter.second->GetFormatCache().Clear();
122   }
123 }
124 
GetFormatFromCString(const char * format_cstr,lldb::Format & format)125 bool FormatManager::GetFormatFromCString(const char *format_cstr,
126                                          lldb::Format &format) {
127   bool success = false;
128   if (format_cstr && format_cstr[0]) {
129     if (format_cstr[1] == '\0') {
130       success = GetFormatFromFormatChar(format_cstr[0], format);
131       if (success)
132         return true;
133     }
134 
135     success = GetFormatFromFormatName(format_cstr, format);
136   }
137   if (!success)
138     format = eFormatInvalid;
139   return success;
140 }
141 
GetFormatAsFormatChar(lldb::Format format)142 char FormatManager::GetFormatAsFormatChar(lldb::Format format) {
143   for (uint32_t i = 0; i < g_num_format_infos; ++i) {
144     if (g_format_infos[i].format == format)
145       return g_format_infos[i].format_char;
146   }
147   return '\0';
148 }
149 
GetFormatAsCString(Format format)150 const char *FormatManager::GetFormatAsCString(Format format) {
151   if (format >= eFormatDefault && format < kNumFormats)
152     return g_format_infos[format].format_name;
153   return nullptr;
154 }
155 
EnableAllCategories()156 void FormatManager::EnableAllCategories() {
157   m_categories_map.EnableAllCategories();
158   std::lock_guard<std::recursive_mutex> guard(m_language_categories_mutex);
159   for (auto &iter : m_language_categories_map) {
160     if (iter.second)
161       iter.second->Enable();
162   }
163 }
164 
DisableAllCategories()165 void FormatManager::DisableAllCategories() {
166   m_categories_map.DisableAllCategories();
167   std::lock_guard<std::recursive_mutex> guard(m_language_categories_mutex);
168   for (auto &iter : m_language_categories_map) {
169     if (iter.second)
170       iter.second->Disable();
171   }
172 }
173 
GetPossibleMatches(ValueObject & valobj,CompilerType compiler_type,lldb::DynamicValueType use_dynamic,FormattersMatchVector & entries,FormattersMatchCandidate::Flags current_flags,bool root_level,uint32_t ptr_stripped_depth)174 void FormatManager::GetPossibleMatches(
175     ValueObject &valobj, CompilerType compiler_type,
176     lldb::DynamicValueType use_dynamic, FormattersMatchVector &entries,
177     FormattersMatchCandidate::Flags current_flags, bool root_level,
178     uint32_t ptr_stripped_depth) {
179   compiler_type = compiler_type.GetTypeForFormatters();
180   ConstString type_name(compiler_type.GetTypeName());
181   // A ValueObject that couldn't be made correctly won't necessarily have a
182   // target.  We aren't going to find a formatter in this case anyway, so we
183   // should just exit.
184   TargetSP target_sp = valobj.GetTargetSP();
185   if (!target_sp)
186     return;
187   ScriptInterpreter *script_interpreter =
188       target_sp->GetDebugger().GetScriptInterpreter();
189   if (valobj.GetBitfieldBitSize() > 0) {
190     StreamString sstring;
191     sstring.Printf("%s:%d", type_name.AsCString(), valobj.GetBitfieldBitSize());
192     ConstString bitfieldname(sstring.GetString());
193     entries.push_back({bitfieldname, script_interpreter,
194                        TypeImpl(compiler_type), current_flags,
195                        ptr_stripped_depth});
196   }
197 
198   if (!compiler_type.IsMeaninglessWithoutDynamicResolution()) {
199     entries.push_back({type_name, script_interpreter, TypeImpl(compiler_type),
200                        current_flags, ptr_stripped_depth});
201 
202     ConstString display_type_name(compiler_type.GetTypeName());
203     if (display_type_name != type_name)
204       entries.push_back({display_type_name, script_interpreter,
205                          TypeImpl(compiler_type), current_flags,
206                          ptr_stripped_depth});
207   }
208 
209   for (bool is_rvalue_ref = true, j = true;
210        j && compiler_type.IsReferenceType(nullptr, &is_rvalue_ref); j = false) {
211     CompilerType non_ref_type = compiler_type.GetNonReferenceType();
212     GetPossibleMatches(valobj, non_ref_type, use_dynamic, entries,
213                        current_flags.WithStrippedReference(), root_level,
214                        ptr_stripped_depth);
215     if (non_ref_type.IsTypedefType()) {
216       CompilerType deffed_referenced_type = non_ref_type.GetTypedefedType();
217       deffed_referenced_type =
218           is_rvalue_ref ? deffed_referenced_type.GetRValueReferenceType()
219                         : deffed_referenced_type.GetLValueReferenceType();
220       // this is not exactly the usual meaning of stripping typedefs
221       GetPossibleMatches(valobj, deffed_referenced_type, use_dynamic, entries,
222                          current_flags.WithStrippedTypedef(), root_level,
223                          ptr_stripped_depth);
224     }
225   }
226 
227   if (compiler_type.IsPointerType()) {
228     CompilerType non_ptr_type = compiler_type.GetPointeeType();
229     GetPossibleMatches(valobj, non_ptr_type, use_dynamic, entries,
230                        current_flags.WithStrippedPointer(), root_level,
231                        ptr_stripped_depth + 1);
232     if (non_ptr_type.IsTypedefType()) {
233       CompilerType deffed_pointed_type =
234           non_ptr_type.GetTypedefedType().GetPointerType();
235       // this is not exactly the usual meaning of stripping typedefs
236       GetPossibleMatches(valobj, deffed_pointed_type, use_dynamic, entries,
237                          current_flags.WithStrippedTypedef(), root_level,
238                          ptr_stripped_depth + 1);
239     }
240   }
241 
242   // For arrays with typedef-ed elements, we add a candidate with the typedef
243   // stripped.
244   uint64_t array_size;
245   if (compiler_type.IsArrayType(nullptr, &array_size, nullptr)) {
246     ExecutionContext exe_ctx(valobj.GetExecutionContextRef());
247     CompilerType element_type = compiler_type.GetArrayElementType(
248         exe_ctx.GetBestExecutionContextScope());
249     if (element_type.IsTypedefType()) {
250       // Get the stripped element type and compute the stripped array type
251       // from it.
252       CompilerType deffed_array_type =
253           element_type.GetTypedefedType().GetArrayType(array_size);
254       // this is not exactly the usual meaning of stripping typedefs
255       GetPossibleMatches(valobj, deffed_array_type, use_dynamic, entries,
256                          current_flags.WithStrippedTypedef(), root_level,
257                          ptr_stripped_depth);
258     }
259   }
260 
261   for (lldb::LanguageType language_type :
262        GetCandidateLanguages(valobj.GetObjectRuntimeLanguage())) {
263     if (Language *language = Language::FindPlugin(language_type)) {
264       for (const FormattersMatchCandidate& candidate :
265            language->GetPossibleFormattersMatches(valobj, use_dynamic)) {
266         entries.push_back(candidate);
267       }
268     }
269   }
270 
271   // try to strip typedef chains
272   if (compiler_type.IsTypedefType()) {
273     CompilerType deffed_type = compiler_type.GetTypedefedType();
274     GetPossibleMatches(valobj, deffed_type, use_dynamic, entries,
275                        current_flags.WithStrippedTypedef(), root_level,
276                        ptr_stripped_depth);
277   }
278 
279   if (root_level) {
280     do {
281       if (!compiler_type.IsValid())
282         break;
283 
284       CompilerType unqual_compiler_ast_type =
285           compiler_type.GetFullyUnqualifiedType();
286       if (!unqual_compiler_ast_type.IsValid())
287         break;
288       if (unqual_compiler_ast_type.GetOpaqueQualType() !=
289           compiler_type.GetOpaqueQualType())
290         GetPossibleMatches(valobj, unqual_compiler_ast_type, use_dynamic,
291                            entries, current_flags, root_level,
292                            ptr_stripped_depth);
293     } while (false);
294 
295     // if all else fails, go to static type
296     if (valobj.IsDynamic()) {
297       lldb::ValueObjectSP static_value_sp(valobj.GetStaticValue());
298       if (static_value_sp)
299         GetPossibleMatches(*static_value_sp.get(),
300                            static_value_sp->GetCompilerType(), use_dynamic,
301                            entries, current_flags, true, ptr_stripped_depth);
302     }
303   }
304 }
305 
306 lldb::TypeFormatImplSP
GetFormatForType(lldb::TypeNameSpecifierImplSP type_sp)307 FormatManager::GetFormatForType(lldb::TypeNameSpecifierImplSP type_sp) {
308   if (!type_sp)
309     return lldb::TypeFormatImplSP();
310   lldb::TypeFormatImplSP format_chosen_sp;
311   uint32_t num_categories = m_categories_map.GetCount();
312   lldb::TypeCategoryImplSP category_sp;
313   uint32_t prio_category = UINT32_MAX;
314   for (uint32_t category_id = 0; category_id < num_categories; category_id++) {
315     category_sp = GetCategoryAtIndex(category_id);
316     if (!category_sp->IsEnabled())
317       continue;
318     lldb::TypeFormatImplSP format_current_sp =
319         category_sp->GetFormatForType(type_sp);
320     if (format_current_sp &&
321         (format_chosen_sp.get() == nullptr ||
322          (prio_category > category_sp->GetEnabledPosition()))) {
323       prio_category = category_sp->GetEnabledPosition();
324       format_chosen_sp = format_current_sp;
325     }
326   }
327   return format_chosen_sp;
328 }
329 
330 lldb::TypeSummaryImplSP
GetSummaryForType(lldb::TypeNameSpecifierImplSP type_sp)331 FormatManager::GetSummaryForType(lldb::TypeNameSpecifierImplSP type_sp) {
332   if (!type_sp)
333     return lldb::TypeSummaryImplSP();
334   lldb::TypeSummaryImplSP summary_chosen_sp;
335   uint32_t num_categories = m_categories_map.GetCount();
336   lldb::TypeCategoryImplSP category_sp;
337   uint32_t prio_category = UINT32_MAX;
338   for (uint32_t category_id = 0; category_id < num_categories; category_id++) {
339     category_sp = GetCategoryAtIndex(category_id);
340     if (!category_sp->IsEnabled())
341       continue;
342     lldb::TypeSummaryImplSP summary_current_sp =
343         category_sp->GetSummaryForType(type_sp);
344     if (summary_current_sp &&
345         (summary_chosen_sp.get() == nullptr ||
346          (prio_category > category_sp->GetEnabledPosition()))) {
347       prio_category = category_sp->GetEnabledPosition();
348       summary_chosen_sp = summary_current_sp;
349     }
350   }
351   return summary_chosen_sp;
352 }
353 
354 lldb::TypeFilterImplSP
GetFilterForType(lldb::TypeNameSpecifierImplSP type_sp)355 FormatManager::GetFilterForType(lldb::TypeNameSpecifierImplSP type_sp) {
356   if (!type_sp)
357     return lldb::TypeFilterImplSP();
358   lldb::TypeFilterImplSP filter_chosen_sp;
359   uint32_t num_categories = m_categories_map.GetCount();
360   lldb::TypeCategoryImplSP category_sp;
361   uint32_t prio_category = UINT32_MAX;
362   for (uint32_t category_id = 0; category_id < num_categories; category_id++) {
363     category_sp = GetCategoryAtIndex(category_id);
364     if (!category_sp->IsEnabled())
365       continue;
366     lldb::TypeFilterImplSP filter_current_sp(
367         (TypeFilterImpl *)category_sp->GetFilterForType(type_sp).get());
368     if (filter_current_sp &&
369         (filter_chosen_sp.get() == nullptr ||
370          (prio_category > category_sp->GetEnabledPosition()))) {
371       prio_category = category_sp->GetEnabledPosition();
372       filter_chosen_sp = filter_current_sp;
373     }
374   }
375   return filter_chosen_sp;
376 }
377 
378 lldb::ScriptedSyntheticChildrenSP
GetSyntheticForType(lldb::TypeNameSpecifierImplSP type_sp)379 FormatManager::GetSyntheticForType(lldb::TypeNameSpecifierImplSP type_sp) {
380   if (!type_sp)
381     return lldb::ScriptedSyntheticChildrenSP();
382   lldb::ScriptedSyntheticChildrenSP synth_chosen_sp;
383   uint32_t num_categories = m_categories_map.GetCount();
384   lldb::TypeCategoryImplSP category_sp;
385   uint32_t prio_category = UINT32_MAX;
386   for (uint32_t category_id = 0; category_id < num_categories; category_id++) {
387     category_sp = GetCategoryAtIndex(category_id);
388     if (!category_sp->IsEnabled())
389       continue;
390     lldb::ScriptedSyntheticChildrenSP synth_current_sp(
391         (ScriptedSyntheticChildren *)category_sp->GetSyntheticForType(type_sp)
392             .get());
393     if (synth_current_sp &&
394         (synth_chosen_sp.get() == nullptr ||
395          (prio_category > category_sp->GetEnabledPosition()))) {
396       prio_category = category_sp->GetEnabledPosition();
397       synth_chosen_sp = synth_current_sp;
398     }
399   }
400   return synth_chosen_sp;
401 }
402 
ForEachCategory(TypeCategoryMap::ForEachCallback callback)403 void FormatManager::ForEachCategory(TypeCategoryMap::ForEachCallback callback) {
404   m_categories_map.ForEach(callback);
405   std::lock_guard<std::recursive_mutex> guard(m_language_categories_mutex);
406   for (const auto &entry : m_language_categories_map) {
407     if (auto category_sp = entry.second->GetCategory()) {
408       if (!callback(category_sp))
409         break;
410     }
411   }
412 }
413 
414 lldb::TypeCategoryImplSP
GetCategory(ConstString category_name,bool can_create)415 FormatManager::GetCategory(ConstString category_name, bool can_create) {
416   if (!category_name)
417     return GetCategory(m_default_category_name);
418   lldb::TypeCategoryImplSP category;
419   if (m_categories_map.Get(category_name, category))
420     return category;
421 
422   if (!can_create)
423     return lldb::TypeCategoryImplSP();
424 
425   m_categories_map.Add(
426       category_name,
427       lldb::TypeCategoryImplSP(new TypeCategoryImpl(this, category_name)));
428   return GetCategory(category_name);
429 }
430 
GetSingleItemFormat(lldb::Format vector_format)431 lldb::Format FormatManager::GetSingleItemFormat(lldb::Format vector_format) {
432   switch (vector_format) {
433   case eFormatVectorOfChar:
434     return eFormatCharArray;
435 
436   case eFormatVectorOfSInt8:
437   case eFormatVectorOfSInt16:
438   case eFormatVectorOfSInt32:
439   case eFormatVectorOfSInt64:
440     return eFormatDecimal;
441 
442   case eFormatVectorOfUInt8:
443   case eFormatVectorOfUInt16:
444   case eFormatVectorOfUInt32:
445   case eFormatVectorOfUInt64:
446   case eFormatVectorOfUInt128:
447     return eFormatHex;
448 
449   case eFormatVectorOfFloat16:
450   case eFormatVectorOfFloat32:
451   case eFormatVectorOfFloat64:
452     return eFormatFloat;
453 
454   default:
455     return lldb::eFormatInvalid;
456   }
457 }
458 
ShouldPrintAsOneLiner(ValueObject & valobj)459 bool FormatManager::ShouldPrintAsOneLiner(ValueObject &valobj) {
460   TargetSP target_sp = valobj.GetTargetSP();
461   // if settings say no oneline whatsoever
462   if (target_sp && !target_sp->GetDebugger().GetAutoOneLineSummaries())
463     return false; // then don't oneline
464 
465   // if this object has a summary, then ask the summary
466   if (valobj.GetSummaryFormat().get() != nullptr)
467     return valobj.GetSummaryFormat()->IsOneLiner();
468 
469   const size_t max_num_children =
470       (target_sp ? *target_sp : Target::GetGlobalProperties())
471           .GetMaximumNumberOfChildrenToDisplay();
472   auto num_children = valobj.GetNumChildren(max_num_children);
473   if (!num_children) {
474     llvm::consumeError(num_children.takeError());
475     return true;
476   }
477   // no children, no party
478   if (*num_children == 0)
479     return false;
480 
481   // ask the type if it has any opinion about this eLazyBoolCalculate == no
482   // opinion; other values should be self explanatory
483   CompilerType compiler_type(valobj.GetCompilerType());
484   if (compiler_type.IsValid()) {
485     switch (compiler_type.ShouldPrintAsOneLiner(&valobj)) {
486     case eLazyBoolNo:
487       return false;
488     case eLazyBoolYes:
489       return true;
490     case eLazyBoolCalculate:
491       break;
492     }
493   }
494 
495   size_t total_children_name_len = 0;
496 
497   for (size_t idx = 0; idx < *num_children; idx++) {
498     bool is_synth_val = false;
499     ValueObjectSP child_sp(valobj.GetChildAtIndex(idx));
500     // something is wrong here - bail out
501     if (!child_sp)
502       return false;
503 
504     // also ask the child's type if it has any opinion
505     CompilerType child_compiler_type(child_sp->GetCompilerType());
506     if (child_compiler_type.IsValid()) {
507       switch (child_compiler_type.ShouldPrintAsOneLiner(child_sp.get())) {
508       case eLazyBoolYes:
509       // an opinion of yes is only binding for the child, so keep going
510       case eLazyBoolCalculate:
511         break;
512       case eLazyBoolNo:
513         // but if the child says no, then it's a veto on the whole thing
514         return false;
515       }
516     }
517 
518     // if we decided to define synthetic children for a type, we probably care
519     // enough to show them, but avoid nesting children in children
520     if (child_sp->GetSyntheticChildren().get() != nullptr) {
521       ValueObjectSP synth_sp(child_sp->GetSyntheticValue());
522       // wait.. wat? just get out of here..
523       if (!synth_sp)
524         return false;
525       // but if we only have them to provide a value, keep going
526       if (!synth_sp->MightHaveChildren() &&
527           synth_sp->DoesProvideSyntheticValue())
528         is_synth_val = true;
529       else
530         return false;
531     }
532 
533     total_children_name_len += child_sp->GetName().GetLength();
534 
535     // 50 itself is a "randomly" chosen number - the idea is that
536     // overly long structs should not get this treatment
537     // FIXME: maybe make this a user-tweakable setting?
538     if (total_children_name_len > 50)
539       return false;
540 
541     // if a summary is there..
542     if (child_sp->GetSummaryFormat()) {
543       // and it wants children, then bail out
544       if (child_sp->GetSummaryFormat()->DoesPrintChildren(child_sp.get()))
545         return false;
546     }
547 
548     // if this child has children..
549     if (child_sp->HasChildren()) {
550       // ...and no summary...
551       // (if it had a summary and the summary wanted children, we would have
552       // bailed out anyway
553       //  so this only makes us bail out if this has no summary and we would
554       //  then print children)
555       if (!child_sp->GetSummaryFormat() && !is_synth_val) // but again only do
556                                                           // that if not a
557                                                           // synthetic valued
558                                                           // child
559         return false;                                     // then bail out
560     }
561   }
562   return true;
563 }
564 
GetTypeForCache(ValueObject & valobj,lldb::DynamicValueType use_dynamic)565 ConstString FormatManager::GetTypeForCache(ValueObject &valobj,
566                                            lldb::DynamicValueType use_dynamic) {
567   ValueObjectSP valobj_sp = valobj.GetQualifiedRepresentationIfAvailable(
568       use_dynamic, valobj.IsSynthetic());
569   if (valobj_sp && valobj_sp->GetCompilerType().IsValid()) {
570     if (!valobj_sp->GetCompilerType().IsMeaninglessWithoutDynamicResolution())
571       return valobj_sp->GetQualifiedTypeName();
572   }
573   return ConstString();
574 }
575 
576 std::vector<lldb::LanguageType>
GetCandidateLanguages(lldb::LanguageType lang_type)577 FormatManager::GetCandidateLanguages(lldb::LanguageType lang_type) {
578   switch (lang_type) {
579   case lldb::eLanguageTypeC:
580   case lldb::eLanguageTypeC89:
581   case lldb::eLanguageTypeC99:
582   case lldb::eLanguageTypeC11:
583   case lldb::eLanguageTypeC_plus_plus:
584   case lldb::eLanguageTypeC_plus_plus_03:
585   case lldb::eLanguageTypeC_plus_plus_11:
586   case lldb::eLanguageTypeC_plus_plus_14:
587     return {lldb::eLanguageTypeC_plus_plus, lldb::eLanguageTypeObjC};
588   default:
589     return {lang_type};
590   }
591   llvm_unreachable("Fully covered switch");
592 }
593 
594 LanguageCategory *
GetCategoryForLanguage(lldb::LanguageType lang_type)595 FormatManager::GetCategoryForLanguage(lldb::LanguageType lang_type) {
596   std::lock_guard<std::recursive_mutex> guard(m_language_categories_mutex);
597   auto iter = m_language_categories_map.find(lang_type),
598        end = m_language_categories_map.end();
599   if (iter != end)
600     return iter->second.get();
601   LanguageCategory *lang_category = new LanguageCategory(lang_type);
602   m_language_categories_map[lang_type] =
603       LanguageCategory::UniquePointer(lang_category);
604   return lang_category;
605 }
606 
607 template <typename ImplSP>
GetHardcoded(FormattersMatchData & match_data)608 ImplSP FormatManager::GetHardcoded(FormattersMatchData &match_data) {
609   ImplSP retval_sp;
610   for (lldb::LanguageType lang_type : match_data.GetCandidateLanguages()) {
611     if (LanguageCategory *lang_category = GetCategoryForLanguage(lang_type)) {
612       if (lang_category->GetHardcoded(*this, match_data, retval_sp))
613         return retval_sp;
614     }
615   }
616   return retval_sp;
617 }
618 
619 namespace {
620 template <typename ImplSP> const char *FormatterKind;
621 template <> const char *FormatterKind<lldb::TypeFormatImplSP> = "format";
622 template <> const char *FormatterKind<lldb::TypeSummaryImplSP> = "summary";
623 template <> const char *FormatterKind<lldb::SyntheticChildrenSP> = "synthetic";
624 } // namespace
625 
626 #define FORMAT_LOG(Message) "[%s] " Message, FormatterKind<ImplSP>
627 
628 template <typename ImplSP>
Get(ValueObject & valobj,lldb::DynamicValueType use_dynamic)629 ImplSP FormatManager::Get(ValueObject &valobj,
630                           lldb::DynamicValueType use_dynamic) {
631   FormattersMatchData match_data(valobj, use_dynamic);
632   if (ImplSP retval_sp = GetCached<ImplSP>(match_data))
633     return retval_sp;
634 
635   Log *log = GetLog(LLDBLog::DataFormatters);
636 
637   LLDB_LOGF(log, FORMAT_LOG("Search failed. Giving language a chance."));
638   for (lldb::LanguageType lang_type : match_data.GetCandidateLanguages()) {
639     if (LanguageCategory *lang_category = GetCategoryForLanguage(lang_type)) {
640       ImplSP retval_sp;
641       if (lang_category->Get(match_data, retval_sp))
642         if (retval_sp) {
643           LLDB_LOGF(log, FORMAT_LOG("Language search success. Returning."));
644           return retval_sp;
645         }
646     }
647   }
648 
649   LLDB_LOGF(log, FORMAT_LOG("Search failed. Giving hardcoded a chance."));
650   return GetHardcoded<ImplSP>(match_data);
651 }
652 
653 template <typename ImplSP>
GetCached(FormattersMatchData & match_data)654 ImplSP FormatManager::GetCached(FormattersMatchData &match_data) {
655   ImplSP retval_sp;
656   Log *log = GetLog(LLDBLog::DataFormatters);
657   if (match_data.GetTypeForCache()) {
658     LLDB_LOGF(log, "\n\n" FORMAT_LOG("Looking into cache for type %s"),
659               match_data.GetTypeForCache().AsCString("<invalid>"));
660     if (m_format_cache.Get(match_data.GetTypeForCache(), retval_sp)) {
661       if (log) {
662         LLDB_LOGF(log, FORMAT_LOG("Cache search success. Returning."));
663         LLDB_LOGV(log, "Cache hits: {0} - Cache Misses: {1}",
664                   m_format_cache.GetCacheHits(),
665                   m_format_cache.GetCacheMisses());
666       }
667       return retval_sp;
668     }
669     LLDB_LOGF(log, FORMAT_LOG("Cache search failed. Going normal route"));
670   }
671 
672   m_categories_map.Get(match_data, retval_sp);
673   if (match_data.GetTypeForCache() && (!retval_sp || !retval_sp->NonCacheable())) {
674     LLDB_LOGF(log, FORMAT_LOG("Caching %p for type %s"),
675               static_cast<void *>(retval_sp.get()),
676               match_data.GetTypeForCache().AsCString("<invalid>"));
677     m_format_cache.Set(match_data.GetTypeForCache(), retval_sp);
678   }
679   LLDB_LOGV(log, "Cache hits: {0} - Cache Misses: {1}",
680             m_format_cache.GetCacheHits(), m_format_cache.GetCacheMisses());
681   return retval_sp;
682 }
683 
684 #undef FORMAT_LOG
685 
686 lldb::TypeFormatImplSP
GetFormat(ValueObject & valobj,lldb::DynamicValueType use_dynamic)687 FormatManager::GetFormat(ValueObject &valobj,
688                          lldb::DynamicValueType use_dynamic) {
689   return Get<lldb::TypeFormatImplSP>(valobj, use_dynamic);
690 }
691 
692 lldb::TypeSummaryImplSP
GetSummaryFormat(ValueObject & valobj,lldb::DynamicValueType use_dynamic)693 FormatManager::GetSummaryFormat(ValueObject &valobj,
694                                 lldb::DynamicValueType use_dynamic) {
695   return Get<lldb::TypeSummaryImplSP>(valobj, use_dynamic);
696 }
697 
698 lldb::SyntheticChildrenSP
GetSyntheticChildren(ValueObject & valobj,lldb::DynamicValueType use_dynamic)699 FormatManager::GetSyntheticChildren(ValueObject &valobj,
700                                     lldb::DynamicValueType use_dynamic) {
701   return Get<lldb::SyntheticChildrenSP>(valobj, use_dynamic);
702 }
703 
FormatManager()704 FormatManager::FormatManager()
705     : m_last_revision(0), m_format_cache(), m_language_categories_mutex(),
706       m_language_categories_map(), m_named_summaries_map(this),
707       m_categories_map(this), m_default_category_name(ConstString("default")),
708       m_system_category_name(ConstString("system")),
709       m_vectortypes_category_name(ConstString("VectorTypes")) {
710   LoadSystemFormatters();
711   LoadVectorFormatters();
712 
713   EnableCategory(m_vectortypes_category_name, TypeCategoryMap::Last,
714                  lldb::eLanguageTypeObjC_plus_plus);
715   EnableCategory(m_system_category_name, TypeCategoryMap::Last,
716                  lldb::eLanguageTypeObjC_plus_plus);
717 }
718 
LoadSystemFormatters()719 void FormatManager::LoadSystemFormatters() {
720   TypeSummaryImpl::Flags string_flags;
721   string_flags.SetCascades(true)
722       .SetSkipPointers(true)
723       .SetSkipReferences(false)
724       .SetDontShowChildren(true)
725       .SetDontShowValue(false)
726       .SetShowMembersOneLiner(false)
727       .SetHideItemNames(false);
728 
729   TypeSummaryImpl::Flags string_array_flags;
730   string_array_flags.SetCascades(true)
731       .SetSkipPointers(true)
732       .SetSkipReferences(false)
733       .SetDontShowChildren(true)
734       .SetDontShowValue(true)
735       .SetShowMembersOneLiner(false)
736       .SetHideItemNames(false);
737 
738   lldb::TypeSummaryImplSP string_format(
739       new StringSummaryFormat(string_flags, "${var%s}"));
740 
741   lldb::TypeSummaryImplSP string_array_format(
742       new StringSummaryFormat(string_array_flags, "${var%char[]}"));
743 
744   TypeCategoryImpl::SharedPointer sys_category_sp =
745       GetCategory(m_system_category_name);
746 
747   sys_category_sp->AddTypeSummary(R"(^(unsigned )?char ?(\*|\[\])$)",
748                                   eFormatterMatchRegex, string_format);
749 
750   sys_category_sp->AddTypeSummary(R"(^((un)?signed )?char ?\[[0-9]+\]$)",
751                                   eFormatterMatchRegex, string_array_format);
752 
753   lldb::TypeSummaryImplSP ostype_summary(
754       new StringSummaryFormat(TypeSummaryImpl::Flags()
755                                   .SetCascades(false)
756                                   .SetSkipPointers(true)
757                                   .SetSkipReferences(true)
758                                   .SetDontShowChildren(true)
759                                   .SetDontShowValue(false)
760                                   .SetShowMembersOneLiner(false)
761                                   .SetHideItemNames(false),
762                               "${var%O}"));
763 
764   sys_category_sp->AddTypeSummary("OSType", eFormatterMatchExact,
765                                   ostype_summary);
766 
767   TypeFormatImpl::Flags fourchar_flags;
768   fourchar_flags.SetCascades(true).SetSkipPointers(true).SetSkipReferences(
769       true);
770 
771   AddFormat(sys_category_sp, lldb::eFormatOSType, "FourCharCode",
772             fourchar_flags);
773 }
774 
LoadVectorFormatters()775 void FormatManager::LoadVectorFormatters() {
776   TypeCategoryImpl::SharedPointer vectors_category_sp =
777       GetCategory(m_vectortypes_category_name);
778 
779   TypeSummaryImpl::Flags vector_flags;
780   vector_flags.SetCascades(true)
781       .SetSkipPointers(true)
782       .SetSkipReferences(false)
783       .SetDontShowChildren(true)
784       .SetDontShowValue(false)
785       .SetShowMembersOneLiner(true)
786       .SetHideItemNames(true);
787 
788   AddStringSummary(vectors_category_sp, "${var.uint128}", "builtin_type_vec128",
789                    vector_flags);
790   AddStringSummary(vectors_category_sp, "", "float[4]", vector_flags);
791   AddStringSummary(vectors_category_sp, "", "int32_t[4]", vector_flags);
792   AddStringSummary(vectors_category_sp, "", "int16_t[8]", vector_flags);
793   AddStringSummary(vectors_category_sp, "", "vDouble", vector_flags);
794   AddStringSummary(vectors_category_sp, "", "vFloat", vector_flags);
795   AddStringSummary(vectors_category_sp, "", "vSInt8", vector_flags);
796   AddStringSummary(vectors_category_sp, "", "vSInt16", vector_flags);
797   AddStringSummary(vectors_category_sp, "", "vSInt32", vector_flags);
798   AddStringSummary(vectors_category_sp, "", "vUInt16", vector_flags);
799   AddStringSummary(vectors_category_sp, "", "vUInt8", vector_flags);
800   AddStringSummary(vectors_category_sp, "", "vUInt16", vector_flags);
801   AddStringSummary(vectors_category_sp, "", "vUInt32", vector_flags);
802   AddStringSummary(vectors_category_sp, "", "vBool32", vector_flags);
803 }
804