1 | //===-- ClangExpressionVariable.h -------------------------------*- C++ -*-===// |
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 | #ifndef LLDB_SOURCE_PLUGINS_EXPRESSIONPARSER_CLANG_CLANGEXPRESSIONVARIABLE_H |
10 | #define LLDB_SOURCE_PLUGINS_EXPRESSIONPARSER_CLANG_CLANGEXPRESSIONVARIABLE_H |
11 | |
12 | #include <csignal> |
13 | #include <cstdint> |
14 | #include <cstring> |
15 | |
16 | #include <map> |
17 | #include <string> |
18 | #include <vector> |
19 | |
20 | #include "llvm/Support/Casting.h" |
21 | |
22 | #include "lldb/Core/Value.h" |
23 | #include "lldb/Expression/ExpressionVariable.h" |
24 | #include "lldb/Symbol/TaggedASTType.h" |
25 | #include "lldb/Utility/ConstString.h" |
26 | #include "lldb/lldb-public.h" |
27 | |
28 | namespace llvm { |
29 | class Value; |
30 | } |
31 | |
32 | namespace clang { |
33 | class NamedDecl; |
34 | } |
35 | |
36 | namespace lldb_private { |
37 | |
38 | class ValueObjectConstResult; |
39 | |
40 | /// \class ClangExpressionVariable ClangExpressionVariable.h |
41 | /// "lldb/Expression/ClangExpressionVariable.h" Encapsulates one variable for |
42 | /// the expression parser. |
43 | /// |
44 | /// The expression parser uses variables in three different contexts: |
45 | /// |
46 | /// First, it stores persistent variables along with the process for use in |
47 | /// expressions. These persistent variables contain their own data and are |
48 | /// typed. |
49 | /// |
50 | /// Second, in an interpreted expression, it stores the local variables for |
51 | /// the expression along with the expression. These variables contain their |
52 | /// own data and are typed. |
53 | /// |
54 | /// Third, in a JIT-compiled expression, it stores the variables that the |
55 | /// expression needs to have materialized and dematerialized at each |
56 | /// execution. These do not contain their own data but are named and typed. |
57 | /// |
58 | /// This class supports all of these use cases using simple type polymorphism, |
59 | /// and provides necessary support methods. Its interface is RTTI-neutral. |
60 | class ClangExpressionVariable |
61 | : public llvm::RTTIExtends<ClangExpressionVariable, ExpressionVariable> { |
62 | public: |
63 | // LLVM RTTI support |
64 | static char ID; |
65 | |
66 | ClangExpressionVariable(ExecutionContextScope *exe_scope, |
67 | lldb::ByteOrder byte_order, uint32_t addr_byte_size); |
68 | |
69 | ClangExpressionVariable(ExecutionContextScope *exe_scope, Value &value, |
70 | ConstString name, uint16_t flags = EVNone); |
71 | |
72 | ClangExpressionVariable(const lldb::ValueObjectSP &valobj_sp); |
73 | |
74 | ClangExpressionVariable(ExecutionContextScope *exe_scope, |
75 | ConstString name, |
76 | const TypeFromUser &user_type, |
77 | lldb::ByteOrder byte_order, uint32_t addr_byte_size); |
78 | |
79 | /// Utility functions for dealing with ExpressionVariableLists in Clang- |
80 | /// specific ways |
81 | |
82 | /// Finds a variable by NamedDecl in the list. |
83 | /// |
84 | /// \return |
85 | /// The variable requested, or NULL if that variable is not in the list. |
86 | static ClangExpressionVariable * |
87 | FindVariableInList(ExpressionVariableList &list, const clang::NamedDecl *decl, |
88 | uint64_t parser_id) { |
89 | lldb::ExpressionVariableSP var_sp; |
90 | for (size_t index = 0, size = list.GetSize(); index < size; ++index) { |
91 | var_sp = list.GetVariableAtIndex(index); |
92 | |
93 | if (ClangExpressionVariable *clang_var = |
94 | llvm::dyn_cast<ClangExpressionVariable>(Val: var_sp.get())) { |
95 | ClangExpressionVariable::ParserVars *parser_vars = |
96 | clang_var->GetParserVars(parser_id); |
97 | |
98 | if (parser_vars && parser_vars->m_named_decl == decl) |
99 | return clang_var; |
100 | } |
101 | } |
102 | return nullptr; |
103 | } |
104 | |
105 | /// If the variable contains its own data, make a Value point at it. If \a |
106 | /// exe_ctx in not NULL, the value will be resolved in with that execution |
107 | /// context. |
108 | /// |
109 | /// \param[in] value |
110 | /// The value to point at the data. |
111 | /// |
112 | /// \param[in] exe_ctx |
113 | /// The execution context to use to resolve \a value. |
114 | /// |
115 | /// \return |
116 | /// True on success; false otherwise (in particular, if this variable |
117 | /// does not contain its own data). |
118 | bool PointValueAtData(Value &value, ExecutionContext *exe_ctx); |
119 | |
120 | /// The following values should not live beyond parsing |
121 | class ParserVars { |
122 | public: |
123 | ParserVars() = default; |
124 | |
125 | const clang::NamedDecl *m_named_decl = |
126 | nullptr; ///< The Decl corresponding to this variable |
127 | llvm::Value *m_llvm_value = |
128 | nullptr; ///< The IR value corresponding to this variable; |
129 | /// usually a GlobalValue |
130 | lldb_private::Value |
131 | m_lldb_value; ///< The value found in LLDB for this variable |
132 | lldb::VariableSP m_lldb_var; ///< The original variable for this variable |
133 | const lldb_private::Symbol *m_lldb_sym = |
134 | nullptr; ///< The original symbol for this |
135 | /// variable, if it was a symbol |
136 | |
137 | /// Callback that provides a ValueObject for the |
138 | /// specified frame. Used by the materializer for |
139 | /// re-fetching ValueObjects when materializing |
140 | /// ivars. |
141 | ValueObjectProviderTy m_lldb_valobj_provider; |
142 | }; |
143 | |
144 | private: |
145 | typedef std::map<uint64_t, ParserVars> ParserVarMap; |
146 | ParserVarMap m_parser_vars; |
147 | |
148 | public: |
149 | /// Make this variable usable by the parser by allocating space for parser- |
150 | /// specific variables |
151 | void EnableParserVars(uint64_t parser_id) { |
152 | m_parser_vars.insert(x: std::make_pair(x&: parser_id, y: ParserVars())); |
153 | } |
154 | |
155 | /// Deallocate parser-specific variables |
156 | void DisableParserVars(uint64_t parser_id) { m_parser_vars.erase(x: parser_id); } |
157 | |
158 | /// Access parser-specific variables |
159 | ParserVars *GetParserVars(uint64_t parser_id) { |
160 | ParserVarMap::iterator i = m_parser_vars.find(x: parser_id); |
161 | |
162 | if (i == m_parser_vars.end()) |
163 | return nullptr; |
164 | else |
165 | return &i->second; |
166 | } |
167 | |
168 | /// The following values are valid if the variable is used by JIT code |
169 | struct JITVars { |
170 | JITVars() = default; |
171 | |
172 | lldb::offset_t m_alignment = |
173 | 0; ///< The required alignment of the variable, in bytes |
174 | size_t m_size = 0; ///< The space required for the variable, in bytes |
175 | lldb::offset_t m_offset = |
176 | 0; ///< The offset of the variable in the struct, in bytes |
177 | }; |
178 | |
179 | private: |
180 | typedef std::map<uint64_t, JITVars> JITVarMap; |
181 | JITVarMap m_jit_vars; |
182 | |
183 | public: |
184 | /// Make this variable usable for materializing for the JIT by allocating |
185 | /// space for JIT-specific variables |
186 | void EnableJITVars(uint64_t parser_id) { |
187 | m_jit_vars.insert(x: std::make_pair(x&: parser_id, y: JITVars())); |
188 | } |
189 | |
190 | /// Deallocate JIT-specific variables |
191 | void DisableJITVars(uint64_t parser_id) { m_jit_vars.erase(x: parser_id); } |
192 | |
193 | JITVars *GetJITVars(uint64_t parser_id) { |
194 | JITVarMap::iterator i = m_jit_vars.find(x: parser_id); |
195 | |
196 | if (i == m_jit_vars.end()) |
197 | return nullptr; |
198 | else |
199 | return &i->second; |
200 | } |
201 | |
202 | TypeFromUser GetTypeFromUser(); |
203 | |
204 | /// Members |
205 | ClangExpressionVariable(const ClangExpressionVariable &) = delete; |
206 | const ClangExpressionVariable & |
207 | operator=(const ClangExpressionVariable &) = delete; |
208 | }; |
209 | |
210 | } // namespace lldb_private |
211 | |
212 | #endif // LLDB_SOURCE_PLUGINS_EXPRESSIONPARSER_CLANG_CLANGEXPRESSIONVARIABLE_H |
213 | |