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