180814287SRaphael Isemann //===-- LibCxxVector.cpp --------------------------------------------------===//
233e97e63SEnrico Granata //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
633e97e63SEnrico Granata //
733e97e63SEnrico Granata //===----------------------------------------------------------------------===//
833e97e63SEnrico Granata 
933e97e63SEnrico Granata #include "LibCxx.h"
1033e97e63SEnrico Granata 
1133e97e63SEnrico Granata #include "lldb/Core/ValueObject.h"
1233e97e63SEnrico Granata #include "lldb/DataFormatters/FormattersHelpers.h"
13bf9a7730SZachary Turner #include "lldb/Utility/ConstString.h"
1433e97e63SEnrico Granata 
1533e97e63SEnrico Granata using namespace lldb;
1633e97e63SEnrico Granata using namespace lldb_private;
1733e97e63SEnrico Granata using namespace lldb_private::formatters;
1833e97e63SEnrico Granata 
1933e97e63SEnrico Granata namespace lldb_private {
2033e97e63SEnrico Granata namespace formatters {
21b9c1b51eSKate Stone class LibcxxStdVectorSyntheticFrontEnd : public SyntheticChildrenFrontEnd {
2233e97e63SEnrico Granata public:
2333e97e63SEnrico Granata   LibcxxStdVectorSyntheticFrontEnd(lldb::ValueObjectSP valobj_sp);
2433e97e63SEnrico Granata 
258d15f33bSEugene Zelenko   ~LibcxxStdVectorSyntheticFrontEnd() override;
2633e97e63SEnrico Granata 
27b9c1b51eSKate Stone   size_t CalculateNumChildren() override;
2833e97e63SEnrico Granata 
29b9c1b51eSKate Stone   lldb::ValueObjectSP GetChildAtIndex(size_t idx) override;
3033e97e63SEnrico Granata 
31b9c1b51eSKate Stone   bool Update() override;
3233e97e63SEnrico Granata 
33b9c1b51eSKate Stone   bool MightHaveChildren() override;
3433e97e63SEnrico Granata 
350e4c4821SAdrian Prantl   size_t GetIndexOfChildWithName(ConstString name) override;
368d15f33bSEugene Zelenko 
3733e97e63SEnrico Granata private:
3828c878aeSShafik Yaghmour   ValueObject *m_start = nullptr;
3928c878aeSShafik Yaghmour   ValueObject *m_finish = nullptr;
4033e97e63SEnrico Granata   CompilerType m_element_type;
4128c878aeSShafik Yaghmour   uint32_t m_element_size = 0;
4233e97e63SEnrico Granata };
43d3656a03SPavel Labath 
44d3656a03SPavel Labath class LibcxxVectorBoolSyntheticFrontEnd : public SyntheticChildrenFrontEnd {
45d3656a03SPavel Labath public:
46d3656a03SPavel Labath   LibcxxVectorBoolSyntheticFrontEnd(lldb::ValueObjectSP valobj_sp);
47d3656a03SPavel Labath 
48d3656a03SPavel Labath   size_t CalculateNumChildren() override;
49d3656a03SPavel Labath 
50d3656a03SPavel Labath   lldb::ValueObjectSP GetChildAtIndex(size_t idx) override;
51d3656a03SPavel Labath 
52d3656a03SPavel Labath   bool Update() override;
53d3656a03SPavel Labath 
MightHaveChildren()54d3656a03SPavel Labath   bool MightHaveChildren() override { return true; }
55d3656a03SPavel Labath 
560e4c4821SAdrian Prantl   size_t GetIndexOfChildWithName(ConstString name) override;
57d3656a03SPavel Labath 
58d3656a03SPavel Labath private:
59d3656a03SPavel Labath   CompilerType m_bool_type;
60d3656a03SPavel Labath   ExecutionContextRef m_exe_ctx_ref;
6128c878aeSShafik Yaghmour   uint64_t m_count = 0;
6228c878aeSShafik Yaghmour   lldb::addr_t m_base_data_address = 0;
63d3656a03SPavel Labath   std::map<size_t, lldb::ValueObjectSP> m_children;
64d3656a03SPavel Labath };
65d3656a03SPavel Labath 
668d15f33bSEugene Zelenko } // namespace formatters
678d15f33bSEugene Zelenko } // namespace lldb_private
6833e97e63SEnrico Granata 
69b9c1b51eSKate Stone lldb_private::formatters::LibcxxStdVectorSyntheticFrontEnd::
LibcxxStdVectorSyntheticFrontEnd(lldb::ValueObjectSP valobj_sp)70b9c1b51eSKate Stone     LibcxxStdVectorSyntheticFrontEnd(lldb::ValueObjectSP valobj_sp)
7128c878aeSShafik Yaghmour     : SyntheticChildrenFrontEnd(*valobj_sp), m_element_type() {
7233e97e63SEnrico Granata   if (valobj_sp)
7333e97e63SEnrico Granata     Update();
7433e97e63SEnrico Granata }
7533e97e63SEnrico Granata 
76b9c1b51eSKate Stone lldb_private::formatters::LibcxxStdVectorSyntheticFrontEnd::
~LibcxxStdVectorSyntheticFrontEnd()77b9c1b51eSKate Stone     ~LibcxxStdVectorSyntheticFrontEnd() {
78b9c1b51eSKate Stone   // these need to stay around because they are child objects who will follow
79b9c1b51eSKate Stone   // their parent's life cycle
808d15f33bSEugene Zelenko   // delete m_start;
818d15f33bSEugene Zelenko   // delete m_finish;
828d15f33bSEugene Zelenko }
838d15f33bSEugene Zelenko 
84b9c1b51eSKate Stone size_t lldb_private::formatters::LibcxxStdVectorSyntheticFrontEnd::
CalculateNumChildren()85b9c1b51eSKate Stone     CalculateNumChildren() {
8633e97e63SEnrico Granata   if (!m_start || !m_finish)
8733e97e63SEnrico Granata     return 0;
8833e97e63SEnrico Granata   uint64_t start_val = m_start->GetValueAsUnsigned(0);
8933e97e63SEnrico Granata   uint64_t finish_val = m_finish->GetValueAsUnsigned(0);
9033e97e63SEnrico Granata 
9133e97e63SEnrico Granata   if (start_val == 0 || finish_val == 0)
9233e97e63SEnrico Granata     return 0;
9333e97e63SEnrico Granata 
9433e97e63SEnrico Granata   if (start_val >= finish_val)
9533e97e63SEnrico Granata     return 0;
9633e97e63SEnrico Granata 
9733e97e63SEnrico Granata   size_t num_children = (finish_val - start_val);
9833e97e63SEnrico Granata   if (num_children % m_element_size)
9933e97e63SEnrico Granata     return 0;
10033e97e63SEnrico Granata   return num_children / m_element_size;
10133e97e63SEnrico Granata }
10233e97e63SEnrico Granata 
10333e97e63SEnrico Granata lldb::ValueObjectSP
GetChildAtIndex(size_t idx)104b9c1b51eSKate Stone lldb_private::formatters::LibcxxStdVectorSyntheticFrontEnd::GetChildAtIndex(
105b9c1b51eSKate Stone     size_t idx) {
10633e97e63SEnrico Granata   if (!m_start || !m_finish)
10733e97e63SEnrico Granata     return lldb::ValueObjectSP();
10833e97e63SEnrico Granata 
10933e97e63SEnrico Granata   uint64_t offset = idx * m_element_size;
11033e97e63SEnrico Granata   offset = offset + m_start->GetValueAsUnsigned(0);
11133e97e63SEnrico Granata   StreamString name;
11233e97e63SEnrico Granata   name.Printf("[%" PRIu64 "]", (uint64_t)idx);
113c156427dSZachary Turner   return CreateValueObjectFromAddress(name.GetString(), offset,
114106aae51SEnrico Granata                                       m_backend.GetExecutionContextRef(),
115106aae51SEnrico Granata                                       m_element_type);
11633e97e63SEnrico Granata }
11733e97e63SEnrico Granata 
Update()118b9c1b51eSKate Stone bool lldb_private::formatters::LibcxxStdVectorSyntheticFrontEnd::Update() {
119bbd16815SEugene Zelenko   m_start = m_finish = nullptr;
120b9c1b51eSKate Stone   ValueObjectSP data_type_finder_sp(
121b9c1b51eSKate Stone       m_backend.GetChildMemberWithName(ConstString("__end_cap_"), true));
12233e97e63SEnrico Granata   if (!data_type_finder_sp)
12333e97e63SEnrico Granata     return false;
1246cc3354dSLang Hames 
1256cc3354dSLang Hames   switch (data_type_finder_sp->GetCompilerType().GetNumDirectBaseClasses()) {
1266cc3354dSLang Hames   case 1:
1276cc3354dSLang Hames     // Assume a pre llvm r300140 __compressed_pair implementation:
128b9c1b51eSKate Stone     data_type_finder_sp = data_type_finder_sp->GetChildMemberWithName(
129b9c1b51eSKate Stone       ConstString("__first_"), true);
1306cc3354dSLang Hames     break;
1316cc3354dSLang Hames   case 2: {
1326cc3354dSLang Hames     // Assume a post llvm r300140 __compressed_pair implementation:
1336cc3354dSLang Hames     ValueObjectSP first_elem_parent_sp =
1346cc3354dSLang Hames       data_type_finder_sp->GetChildAtIndex(0, true);
1356cc3354dSLang Hames     data_type_finder_sp = first_elem_parent_sp->GetChildMemberWithName(
1366cc3354dSLang Hames       ConstString("__value_"), true);
1376cc3354dSLang Hames     break;
1386cc3354dSLang Hames   }
1396cc3354dSLang Hames   default:
1406cc3354dSLang Hames     return false;
1416cc3354dSLang Hames   }
1426cc3354dSLang Hames 
14333e97e63SEnrico Granata   if (!data_type_finder_sp)
14433e97e63SEnrico Granata     return false;
14533e97e63SEnrico Granata   m_element_type = data_type_finder_sp->GetCompilerType().GetPointeeType();
146d6a9bbf6SAdrian Prantl   if (llvm::Optional<uint64_t> size = m_element_type.GetByteSize(nullptr)) {
147d963a7c3SAdrian Prantl     m_element_size = *size;
14833e97e63SEnrico Granata 
149b9c1b51eSKate Stone     if (m_element_size > 0) {
15033e97e63SEnrico Granata       // store raw pointers or end up with a circular dependency
151b9c1b51eSKate Stone       m_start =
152b9c1b51eSKate Stone           m_backend.GetChildMemberWithName(ConstString("__begin_"), true).get();
153b9c1b51eSKate Stone       m_finish =
154b9c1b51eSKate Stone           m_backend.GetChildMemberWithName(ConstString("__end_"), true).get();
15533e97e63SEnrico Granata     }
156d963a7c3SAdrian Prantl   }
15733e97e63SEnrico Granata   return false;
15833e97e63SEnrico Granata }
15933e97e63SEnrico Granata 
160b9c1b51eSKate Stone bool lldb_private::formatters::LibcxxStdVectorSyntheticFrontEnd::
MightHaveChildren()161b9c1b51eSKate Stone     MightHaveChildren() {
16233e97e63SEnrico Granata   return true;
16333e97e63SEnrico Granata }
16433e97e63SEnrico Granata 
165b9c1b51eSKate Stone size_t lldb_private::formatters::LibcxxStdVectorSyntheticFrontEnd::
GetIndexOfChildWithName(ConstString name)1660e4c4821SAdrian Prantl     GetIndexOfChildWithName(ConstString name) {
16733e97e63SEnrico Granata   if (!m_start || !m_finish)
16833e97e63SEnrico Granata     return UINT32_MAX;
16933e97e63SEnrico Granata   return ExtractIndexFromString(name.GetCString());
17033e97e63SEnrico Granata }
17133e97e63SEnrico Granata 
172d3656a03SPavel Labath lldb_private::formatters::LibcxxVectorBoolSyntheticFrontEnd::
LibcxxVectorBoolSyntheticFrontEnd(lldb::ValueObjectSP valobj_sp)173d3656a03SPavel Labath     LibcxxVectorBoolSyntheticFrontEnd(lldb::ValueObjectSP valobj_sp)
174d3656a03SPavel Labath     : SyntheticChildrenFrontEnd(*valobj_sp), m_bool_type(), m_exe_ctx_ref(),
17528c878aeSShafik Yaghmour       m_children() {
176d3656a03SPavel Labath   if (valobj_sp) {
177d3656a03SPavel Labath     Update();
178d3656a03SPavel Labath     m_bool_type =
179d3656a03SPavel Labath         valobj_sp->GetCompilerType().GetBasicTypeFromAST(lldb::eBasicTypeBool);
180d3656a03SPavel Labath   }
181d3656a03SPavel Labath }
182d3656a03SPavel Labath 
183d3656a03SPavel Labath size_t lldb_private::formatters::LibcxxVectorBoolSyntheticFrontEnd::
CalculateNumChildren()184d3656a03SPavel Labath     CalculateNumChildren() {
185d3656a03SPavel Labath   return m_count;
186d3656a03SPavel Labath }
187d3656a03SPavel Labath 
188d3656a03SPavel Labath lldb::ValueObjectSP
GetChildAtIndex(size_t idx)189d3656a03SPavel Labath lldb_private::formatters::LibcxxVectorBoolSyntheticFrontEnd::GetChildAtIndex(
190d3656a03SPavel Labath     size_t idx) {
191d3656a03SPavel Labath   auto iter = m_children.find(idx), end = m_children.end();
192d3656a03SPavel Labath   if (iter != end)
193d3656a03SPavel Labath     return iter->second;
194d3656a03SPavel Labath   if (idx >= m_count)
195d963a7c3SAdrian Prantl     return {};
196d3656a03SPavel Labath   if (m_base_data_address == 0 || m_count == 0)
197d963a7c3SAdrian Prantl     return {};
198d3656a03SPavel Labath   if (!m_bool_type)
199d963a7c3SAdrian Prantl     return {};
200d3656a03SPavel Labath   size_t byte_idx = (idx >> 3); // divide by 8 to get byte index
201d3656a03SPavel Labath   size_t bit_index = (idx & 7); // efficient idx % 8 for bit index
202d3656a03SPavel Labath   lldb::addr_t byte_location = m_base_data_address + byte_idx;
203d3656a03SPavel Labath   ProcessSP process_sp(m_exe_ctx_ref.GetProcessSP());
204d3656a03SPavel Labath   if (!process_sp)
205d963a7c3SAdrian Prantl     return {};
206d3656a03SPavel Labath   uint8_t byte = 0;
207d3656a03SPavel Labath   uint8_t mask = 0;
20897206d57SZachary Turner   Status err;
209d3656a03SPavel Labath   size_t bytes_read = process_sp->ReadMemory(byte_location, &byte, 1, err);
210d3656a03SPavel Labath   if (err.Fail() || bytes_read == 0)
211d963a7c3SAdrian Prantl     return {};
212d3656a03SPavel Labath   mask = 1 << bit_index;
213d3656a03SPavel Labath   bool bit_set = ((byte & mask) != 0);
214d6a9bbf6SAdrian Prantl   llvm::Optional<uint64_t> size = m_bool_type.GetByteSize(nullptr);
215d963a7c3SAdrian Prantl   if (!size)
216d963a7c3SAdrian Prantl     return {};
217*fc54427eSJonas Devlieghere   WritableDataBufferSP buffer_sp(new DataBufferHeap(*size, 0));
218d3656a03SPavel Labath   if (bit_set && buffer_sp && buffer_sp->GetBytes()) {
219d3656a03SPavel Labath     // regardless of endianness, anything non-zero is true
220d3656a03SPavel Labath     *(buffer_sp->GetBytes()) = 1;
221d3656a03SPavel Labath   }
222d3656a03SPavel Labath   StreamString name;
223d3656a03SPavel Labath   name.Printf("[%" PRIu64 "]", (uint64_t)idx);
224d3656a03SPavel Labath   ValueObjectSP retval_sp(CreateValueObjectFromData(
225d3656a03SPavel Labath       name.GetString(),
226d3656a03SPavel Labath       DataExtractor(buffer_sp, process_sp->GetByteOrder(),
227d3656a03SPavel Labath                     process_sp->GetAddressByteSize()),
228d3656a03SPavel Labath       m_exe_ctx_ref, m_bool_type));
229d3656a03SPavel Labath   if (retval_sp)
230d3656a03SPavel Labath     m_children[idx] = retval_sp;
231d3656a03SPavel Labath   return retval_sp;
232d3656a03SPavel Labath }
233d3656a03SPavel Labath 
234d3656a03SPavel Labath /*(std::__1::vector<std::__1::allocator<bool> >) vBool = {
235d3656a03SPavel Labath  __begin_ = 0x00000001001000e0
236d3656a03SPavel Labath  __size_ = 56
237d3656a03SPavel Labath  __cap_alloc_ = {
238d3656a03SPavel Labath  std::__1::__libcpp_compressed_pair_imp<unsigned long,
239d3656a03SPavel Labath  std::__1::allocator<unsigned long> > = {
240d3656a03SPavel Labath  __first_ = 1
241d3656a03SPavel Labath  }
242d3656a03SPavel Labath  }
243d3656a03SPavel Labath  }*/
244d3656a03SPavel Labath 
Update()245d3656a03SPavel Labath bool lldb_private::formatters::LibcxxVectorBoolSyntheticFrontEnd::Update() {
246d3656a03SPavel Labath   m_children.clear();
247d3656a03SPavel Labath   ValueObjectSP valobj_sp = m_backend.GetSP();
248d3656a03SPavel Labath   if (!valobj_sp)
249d3656a03SPavel Labath     return false;
250d3656a03SPavel Labath   m_exe_ctx_ref = valobj_sp->GetExecutionContextRef();
251d3656a03SPavel Labath   ValueObjectSP size_sp(
252d3656a03SPavel Labath       valobj_sp->GetChildMemberWithName(ConstString("__size_"), true));
253d3656a03SPavel Labath   if (!size_sp)
254d3656a03SPavel Labath     return false;
255d3656a03SPavel Labath   m_count = size_sp->GetValueAsUnsigned(0);
256d3656a03SPavel Labath   if (!m_count)
257d3656a03SPavel Labath     return true;
258d3656a03SPavel Labath   ValueObjectSP begin_sp(
259d3656a03SPavel Labath       valobj_sp->GetChildMemberWithName(ConstString("__begin_"), true));
260d3656a03SPavel Labath   if (!begin_sp) {
261d3656a03SPavel Labath     m_count = 0;
262d3656a03SPavel Labath     return false;
263d3656a03SPavel Labath   }
264d3656a03SPavel Labath   m_base_data_address = begin_sp->GetValueAsUnsigned(0);
265d3656a03SPavel Labath   if (!m_base_data_address) {
266d3656a03SPavel Labath     m_count = 0;
267d3656a03SPavel Labath     return false;
268d3656a03SPavel Labath   }
269d3656a03SPavel Labath   return false;
270d3656a03SPavel Labath }
271d3656a03SPavel Labath 
272d3656a03SPavel Labath size_t lldb_private::formatters::LibcxxVectorBoolSyntheticFrontEnd::
GetIndexOfChildWithName(ConstString name)2730e4c4821SAdrian Prantl     GetIndexOfChildWithName(ConstString name) {
274d3656a03SPavel Labath   if (!m_count || !m_base_data_address)
275d3656a03SPavel Labath     return UINT32_MAX;
276d3656a03SPavel Labath   const char *item_name = name.GetCString();
277d3656a03SPavel Labath   uint32_t idx = ExtractIndexFromString(item_name);
278d3656a03SPavel Labath   if (idx < UINT32_MAX && idx >= CalculateNumChildren())
279d3656a03SPavel Labath     return UINT32_MAX;
280d3656a03SPavel Labath   return idx;
281d3656a03SPavel Labath }
282d3656a03SPavel Labath 
28333e97e63SEnrico Granata lldb_private::SyntheticChildrenFrontEnd *
LibcxxStdVectorSyntheticFrontEndCreator(CXXSyntheticChildren *,lldb::ValueObjectSP valobj_sp)284b9c1b51eSKate Stone lldb_private::formatters::LibcxxStdVectorSyntheticFrontEndCreator(
285b9c1b51eSKate Stone     CXXSyntheticChildren *, lldb::ValueObjectSP valobj_sp) {
286d3656a03SPavel Labath   if (!valobj_sp)
287d3656a03SPavel Labath     return nullptr;
288d3656a03SPavel Labath   CompilerType type = valobj_sp->GetCompilerType();
289d3656a03SPavel Labath   if (!type.IsValid() || type.GetNumTemplateArguments() == 0)
290d3656a03SPavel Labath     return nullptr;
291769b21eaSPavel Labath   CompilerType arg_type = type.GetTypeTemplateArgument(0);
29205cfdb0eSRaphael Isemann   if (arg_type.GetTypeName() == "bool")
293d3656a03SPavel Labath     return new LibcxxVectorBoolSyntheticFrontEnd(valobj_sp);
294d3656a03SPavel Labath   return new LibcxxStdVectorSyntheticFrontEnd(valobj_sp);
29533e97e63SEnrico Granata }
296