1ac9a064cSDimitry Andric //===-- LibCxxProxyArray.cpp-----------------------------------------------===//
2ac9a064cSDimitry Andric //
3ac9a064cSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4ac9a064cSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5ac9a064cSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6ac9a064cSDimitry Andric //
7ac9a064cSDimitry Andric //===----------------------------------------------------------------------===//
8ac9a064cSDimitry Andric
9ac9a064cSDimitry Andric #include "LibCxx.h"
10ac9a064cSDimitry Andric
11ac9a064cSDimitry Andric #include "lldb/Core/ValueObject.h"
12ac9a064cSDimitry Andric #include "lldb/DataFormatters/FormattersHelpers.h"
13ac9a064cSDimitry Andric #include <optional>
14ac9a064cSDimitry Andric
15ac9a064cSDimitry Andric using namespace lldb;
16ac9a064cSDimitry Andric using namespace lldb_private;
17ac9a064cSDimitry Andric using namespace lldb_private::formatters;
18ac9a064cSDimitry Andric
19ac9a064cSDimitry Andric namespace lldb_private {
20ac9a064cSDimitry Andric namespace formatters {
21ac9a064cSDimitry Andric
22ac9a064cSDimitry Andric /// Data formatter for libc++'s std::"proxy_array".
23ac9a064cSDimitry Andric ///
24ac9a064cSDimitry Andric /// A proxy_array's are created by using:
25ac9a064cSDimitry Andric /// std::gslice_array operator[](const std::gslice& gslicearr);
26ac9a064cSDimitry Andric /// std::mask_array operator[](const std::valarray<bool>& boolarr);
27ac9a064cSDimitry Andric /// std::indirect_array operator[](const std::valarray<std::size_t>& indarr);
28ac9a064cSDimitry Andric ///
29ac9a064cSDimitry Andric /// These arrays have the following members:
30ac9a064cSDimitry Andric /// - __vp_ points to std::valarray::__begin_
31ac9a064cSDimitry Andric /// - __1d_ an array of offsets of the elements from @a __vp_
32ac9a064cSDimitry Andric class LibcxxStdProxyArraySyntheticFrontEnd : public SyntheticChildrenFrontEnd {
33ac9a064cSDimitry Andric public:
34ac9a064cSDimitry Andric LibcxxStdProxyArraySyntheticFrontEnd(lldb::ValueObjectSP valobj_sp);
35ac9a064cSDimitry Andric
36ac9a064cSDimitry Andric ~LibcxxStdProxyArraySyntheticFrontEnd() override;
37ac9a064cSDimitry Andric
38ac9a064cSDimitry Andric llvm::Expected<uint32_t> CalculateNumChildren() override;
39ac9a064cSDimitry Andric
40ac9a064cSDimitry Andric lldb::ValueObjectSP GetChildAtIndex(uint32_t idx) override;
41ac9a064cSDimitry Andric
42ac9a064cSDimitry Andric lldb::ChildCacheState Update() override;
43ac9a064cSDimitry Andric
44ac9a064cSDimitry Andric bool MightHaveChildren() override;
45ac9a064cSDimitry Andric
46ac9a064cSDimitry Andric size_t GetIndexOfChildWithName(ConstString name) override;
47ac9a064cSDimitry Andric
48ac9a064cSDimitry Andric private:
49ac9a064cSDimitry Andric /// A non-owning pointer to the array's __vp_.
50ac9a064cSDimitry Andric ValueObject *m_base = nullptr;
51ac9a064cSDimitry Andric /// The type of the array's template argument T.
52ac9a064cSDimitry Andric CompilerType m_element_type;
53ac9a064cSDimitry Andric /// The sizeof the array's template argument T.
54ac9a064cSDimitry Andric uint32_t m_element_size = 0;
55ac9a064cSDimitry Andric
56ac9a064cSDimitry Andric /// A non-owning pointer to the array's __1d_.__begin_.
57ac9a064cSDimitry Andric ValueObject *m_start = nullptr;
58ac9a064cSDimitry Andric /// A non-owning pointer to the array's __1d_.__end_.
59ac9a064cSDimitry Andric ValueObject *m_finish = nullptr;
60ac9a064cSDimitry Andric /// The type of the __1d_ array's template argument T (size_t).
61ac9a064cSDimitry Andric CompilerType m_element_type_size_t;
62ac9a064cSDimitry Andric /// The sizeof the __1d_ array's template argument T (size_t)
63ac9a064cSDimitry Andric uint32_t m_element_size_size_t = 0;
64ac9a064cSDimitry Andric };
65ac9a064cSDimitry Andric
66ac9a064cSDimitry Andric } // namespace formatters
67ac9a064cSDimitry Andric } // namespace lldb_private
68ac9a064cSDimitry Andric
69ac9a064cSDimitry Andric lldb_private::formatters::LibcxxStdProxyArraySyntheticFrontEnd::
LibcxxStdProxyArraySyntheticFrontEnd(lldb::ValueObjectSP valobj_sp)70ac9a064cSDimitry Andric LibcxxStdProxyArraySyntheticFrontEnd(lldb::ValueObjectSP valobj_sp)
71ac9a064cSDimitry Andric : SyntheticChildrenFrontEnd(*valobj_sp), m_element_type() {
72ac9a064cSDimitry Andric if (valobj_sp)
73ac9a064cSDimitry Andric Update();
74ac9a064cSDimitry Andric }
75ac9a064cSDimitry Andric
76ac9a064cSDimitry Andric lldb_private::formatters::LibcxxStdProxyArraySyntheticFrontEnd::
~LibcxxStdProxyArraySyntheticFrontEnd()77ac9a064cSDimitry Andric ~LibcxxStdProxyArraySyntheticFrontEnd() {
78ac9a064cSDimitry Andric // these need to stay around because they are child objects who will follow
79ac9a064cSDimitry Andric // their parent's life cycle
80ac9a064cSDimitry Andric // delete m_base;
81ac9a064cSDimitry Andric }
82ac9a064cSDimitry Andric
83ac9a064cSDimitry Andric llvm::Expected<uint32_t> lldb_private::formatters::
CalculateNumChildren()84ac9a064cSDimitry Andric LibcxxStdProxyArraySyntheticFrontEnd::CalculateNumChildren() {
85ac9a064cSDimitry Andric
86ac9a064cSDimitry Andric if (!m_start || !m_finish)
87ac9a064cSDimitry Andric return 0;
88ac9a064cSDimitry Andric uint64_t start_val = m_start->GetValueAsUnsigned(0);
89ac9a064cSDimitry Andric uint64_t finish_val = m_finish->GetValueAsUnsigned(0);
90ac9a064cSDimitry Andric
91ac9a064cSDimitry Andric if (start_val == 0 || finish_val == 0)
92ac9a064cSDimitry Andric return 0;
93ac9a064cSDimitry Andric
94ac9a064cSDimitry Andric if (start_val >= finish_val)
95ac9a064cSDimitry Andric return 0;
96ac9a064cSDimitry Andric
97ac9a064cSDimitry Andric size_t num_children = (finish_val - start_val);
98ac9a064cSDimitry Andric if (num_children % m_element_size_size_t)
99ac9a064cSDimitry Andric return 0;
100ac9a064cSDimitry Andric return num_children / m_element_size_size_t;
101ac9a064cSDimitry Andric }
102ac9a064cSDimitry Andric
103ac9a064cSDimitry Andric lldb::ValueObjectSP
GetChildAtIndex(uint32_t idx)104ac9a064cSDimitry Andric lldb_private::formatters::LibcxxStdProxyArraySyntheticFrontEnd::GetChildAtIndex(
105ac9a064cSDimitry Andric uint32_t idx) {
106ac9a064cSDimitry Andric if (!m_base)
107ac9a064cSDimitry Andric return lldb::ValueObjectSP();
108ac9a064cSDimitry Andric
109ac9a064cSDimitry Andric uint64_t offset = idx * m_element_size_size_t;
110ac9a064cSDimitry Andric offset = offset + m_start->GetValueAsUnsigned(0);
111ac9a064cSDimitry Andric
112ac9a064cSDimitry Andric lldb::ValueObjectSP indirect = CreateValueObjectFromAddress(
113ac9a064cSDimitry Andric "", offset, m_backend.GetExecutionContextRef(), m_element_type_size_t);
114ac9a064cSDimitry Andric if (!indirect)
115ac9a064cSDimitry Andric return lldb::ValueObjectSP();
116ac9a064cSDimitry Andric
117ac9a064cSDimitry Andric const size_t value = indirect->GetValueAsUnsigned(0);
118ac9a064cSDimitry Andric if (!value)
119ac9a064cSDimitry Andric return lldb::ValueObjectSP();
120ac9a064cSDimitry Andric
121ac9a064cSDimitry Andric offset = value * m_element_size;
122ac9a064cSDimitry Andric offset = offset + m_base->GetValueAsUnsigned(0);
123ac9a064cSDimitry Andric
124ac9a064cSDimitry Andric StreamString name;
125ac9a064cSDimitry Andric name.Printf("[%" PRIu64 "] -> [%zu]", (uint64_t)idx, value);
126ac9a064cSDimitry Andric return CreateValueObjectFromAddress(name.GetString(), offset,
127ac9a064cSDimitry Andric m_backend.GetExecutionContextRef(),
128ac9a064cSDimitry Andric m_element_type);
129ac9a064cSDimitry Andric }
130ac9a064cSDimitry Andric
131ac9a064cSDimitry Andric lldb::ChildCacheState
Update()132ac9a064cSDimitry Andric lldb_private::formatters::LibcxxStdProxyArraySyntheticFrontEnd::Update() {
133ac9a064cSDimitry Andric m_base = nullptr;
134ac9a064cSDimitry Andric m_start = nullptr;
135ac9a064cSDimitry Andric m_finish = nullptr;
136ac9a064cSDimitry Andric
137ac9a064cSDimitry Andric CompilerType type = m_backend.GetCompilerType();
138ac9a064cSDimitry Andric if (type.GetNumTemplateArguments() == 0)
139ac9a064cSDimitry Andric return ChildCacheState::eRefetch;
140ac9a064cSDimitry Andric
141ac9a064cSDimitry Andric m_element_type = type.GetTypeTemplateArgument(0);
142ac9a064cSDimitry Andric if (std::optional<uint64_t> size = m_element_type.GetByteSize(nullptr))
143ac9a064cSDimitry Andric m_element_size = *size;
144ac9a064cSDimitry Andric
145ac9a064cSDimitry Andric if (m_element_size == 0)
146ac9a064cSDimitry Andric return ChildCacheState::eRefetch;
147ac9a064cSDimitry Andric
148ac9a064cSDimitry Andric ValueObjectSP vector = m_backend.GetChildMemberWithName("__1d_");
149ac9a064cSDimitry Andric if (!vector)
150ac9a064cSDimitry Andric return ChildCacheState::eRefetch;
151ac9a064cSDimitry Andric
152ac9a064cSDimitry Andric type = vector->GetCompilerType();
153ac9a064cSDimitry Andric if (type.GetNumTemplateArguments() == 0)
154ac9a064cSDimitry Andric return ChildCacheState::eRefetch;
155ac9a064cSDimitry Andric
156ac9a064cSDimitry Andric m_element_type_size_t = type.GetTypeTemplateArgument(0);
157ac9a064cSDimitry Andric if (std::optional<uint64_t> size = m_element_type_size_t.GetByteSize(nullptr))
158ac9a064cSDimitry Andric m_element_size_size_t = *size;
159ac9a064cSDimitry Andric
160ac9a064cSDimitry Andric if (m_element_size_size_t == 0)
161ac9a064cSDimitry Andric return ChildCacheState::eRefetch;
162ac9a064cSDimitry Andric
163ac9a064cSDimitry Andric ValueObjectSP base = m_backend.GetChildMemberWithName("__vp_");
164ac9a064cSDimitry Andric ValueObjectSP start = vector->GetChildMemberWithName("__begin_");
165ac9a064cSDimitry Andric ValueObjectSP finish = vector->GetChildMemberWithName("__end_");
166ac9a064cSDimitry Andric if (!base || !start || !finish)
167ac9a064cSDimitry Andric return ChildCacheState::eRefetch;
168ac9a064cSDimitry Andric
169ac9a064cSDimitry Andric m_base = base.get();
170ac9a064cSDimitry Andric m_start = start.get();
171ac9a064cSDimitry Andric m_finish = finish.get();
172ac9a064cSDimitry Andric
173ac9a064cSDimitry Andric return ChildCacheState::eRefetch;
174ac9a064cSDimitry Andric }
175ac9a064cSDimitry Andric
176ac9a064cSDimitry Andric bool lldb_private::formatters::LibcxxStdProxyArraySyntheticFrontEnd::
MightHaveChildren()177ac9a064cSDimitry Andric MightHaveChildren() {
178ac9a064cSDimitry Andric return true;
179ac9a064cSDimitry Andric }
180ac9a064cSDimitry Andric
181ac9a064cSDimitry Andric size_t lldb_private::formatters::LibcxxStdProxyArraySyntheticFrontEnd::
GetIndexOfChildWithName(ConstString name)182ac9a064cSDimitry Andric GetIndexOfChildWithName(ConstString name) {
183ac9a064cSDimitry Andric if (!m_base)
184ac9a064cSDimitry Andric return std::numeric_limits<size_t>::max();
185ac9a064cSDimitry Andric return ExtractIndexFromString(name.GetCString());
186ac9a064cSDimitry Andric }
187ac9a064cSDimitry Andric
188ac9a064cSDimitry Andric lldb_private::SyntheticChildrenFrontEnd *
LibcxxStdProxyArraySyntheticFrontEndCreator(CXXSyntheticChildren *,lldb::ValueObjectSP valobj_sp)189ac9a064cSDimitry Andric lldb_private::formatters::LibcxxStdProxyArraySyntheticFrontEndCreator(
190ac9a064cSDimitry Andric CXXSyntheticChildren *, lldb::ValueObjectSP valobj_sp) {
191ac9a064cSDimitry Andric if (!valobj_sp)
192ac9a064cSDimitry Andric return nullptr;
193ac9a064cSDimitry Andric return new LibcxxStdProxyArraySyntheticFrontEnd(valobj_sp);
194ac9a064cSDimitry Andric }
195