xref: /src/contrib/llvm-project/lldb/source/Plugins/Language/CPlusPlus/LibCxxProxyArray.cpp (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
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