1 //===-- ClangExpressionDeclMap.h --------------------------------*- C++ -*-===//
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
7 //===----------------------------------------------------------------------===//
9 #ifndef LLDB_SOURCE_PLUGINS_EXPRESSIONPARSER_CLANG_CLANGEXPRESSIONDECLMAP_H
10 #define LLDB_SOURCE_PLUGINS_EXPRESSIONPARSER_CLANG_CLANGEXPRESSIONDECLMAP_H
18 #include "ClangASTSource.h"
19 #include "ClangExpressionVariable.h"
21 #include "lldb/Core/Value.h"
22 #include "lldb/Expression/Materializer.h"
23 #include "lldb/Symbol/SymbolContext.h"
24 #include "lldb/Symbol/TaggedASTType.h"
25 #include "lldb/Target/ExecutionContext.h"
26 #include "lldb/lldb-public.h"
27 #include "clang/AST/Decl.h"
28 #include "llvm/ADT/DenseMap.h"
30 namespace lldb_private
{
32 class ClangPersistentVariables
;
34 /// \class ClangExpressionDeclMap ClangExpressionDeclMap.h
35 /// "lldb/Expression/ClangExpressionDeclMap.h" Manages named entities that are
36 /// defined in LLDB's debug information.
38 /// The Clang parser uses the ClangASTSource as an interface to request named
39 /// entities from outside an expression. The ClangASTSource reports back,
40 /// listing all possible objects corresponding to a particular name. But it
41 /// in turn relies on ClangExpressionDeclMap, which performs several important
44 /// First, it records what variables and functions were looked up and what
45 /// Decls were returned for them.
47 /// Second, it constructs a struct on behalf of IRForTarget, recording which
48 /// variables should be placed where and relaying this information back so
49 /// that IRForTarget can generate context-independent code.
51 /// Third, it "materializes" this struct on behalf of the expression command,
52 /// finding the current values of each variable and placing them into the
53 /// struct so that it can be passed to the JITted version of the IR.
55 /// Fourth and finally, it "dematerializes" the struct after the JITted code
56 /// has executed, placing the new values back where it found the old ones.
57 class ClangExpressionDeclMap
: public ClangASTSource
{
61 /// Initializes class variables.
63 /// \param[in] keep_result_in_memory
64 /// If true, inhibits the normal deallocation of the memory for
65 /// the result persistent variable, and instead marks the variable
68 /// \param[in] result_delegate
69 /// If non-NULL, use this delegate to report result values. This
70 /// allows the client ClangUserExpression to report a result.
73 /// The target to use when parsing.
75 /// \param[in] importer
76 /// The ClangASTImporter to use when parsing.
78 /// \param[in] ctx_obj
79 /// If not empty, then expression is evaluated in context of this object.
80 /// See the comment to `UserExpression::Evaluate` for details.
81 ClangExpressionDeclMap(
82 bool keep_result_in_memory
,
83 Materializer::PersistentVariableDelegate
*result_delegate
,
84 const lldb::TargetSP
&target
,
85 const std::shared_ptr
<ClangASTImporter
> &importer
, ValueObject
*ctx_obj
);
88 ~ClangExpressionDeclMap() override
;
90 /// Enable the state needed for parsing and IR transformation.
92 /// \param[in] exe_ctx
93 /// The execution context to use when finding types for variables.
94 /// Also used to find a "scratch" AST context to store result types.
96 /// \param[in] materializer
97 /// If non-NULL, the materializer to populate with information about
98 /// the variables to use
101 /// True if parsing is possible; false if it is unsafe to continue.
102 bool WillParse(ExecutionContext
&exe_ctx
, Materializer
*materializer
);
104 void InstallCodeGenerator(clang::ASTConsumer
*code_gen
);
106 void InstallDiagnosticManager(DiagnosticManager
&diag_manager
);
108 /// Disable the state needed for parsing and IR transformation.
111 /// [Used by IRForTarget] Add a variable to the list of persistent
112 /// variables for the process.
115 /// The Clang declaration for the persistent variable, used for
116 /// lookup during parsing.
119 /// The name of the persistent variable, usually $something.
122 /// The type of the variable, in the Clang parser's context.
125 /// True on success; false otherwise.
126 bool AddPersistentVariable(const clang::NamedDecl
*decl
,
127 ConstString name
, TypeFromParser type
,
128 bool is_result
, bool is_lvalue
);
130 /// [Used by IRForTarget] Add a variable to the struct that needs to
131 /// be materialized each time the expression runs.
134 /// The Clang declaration for the variable.
137 /// The name of the variable.
140 /// The LLVM IR value for this variable.
143 /// The size of the variable in bytes.
145 /// \param[in] alignment
146 /// The required alignment of the variable in bytes.
149 /// True on success; false otherwise.
150 bool AddValueToStruct(const clang::NamedDecl
*decl
, ConstString name
,
151 llvm::Value
*value
, size_t size
,
152 lldb::offset_t alignment
);
154 /// [Used by IRForTarget] Finalize the struct, laying out the position of
155 /// each object in it.
158 /// True on success; false otherwise.
159 bool DoStructLayout();
161 /// [Used by IRForTarget] Get general information about the laid-out struct
162 /// after DoStructLayout() has been called.
164 /// \param[out] num_elements
165 /// The number of elements in the struct.
168 /// The size of the struct, in bytes.
170 /// \param[out] alignment
171 /// The alignment of the struct, in bytes.
174 /// True if the information could be retrieved; false otherwise.
175 bool GetStructInfo(uint32_t &num_elements
, size_t &size
,
176 lldb::offset_t
&alignment
);
178 /// [Used by IRForTarget] Get specific information about one field of the
179 /// laid-out struct after DoStructLayout() has been called.
182 /// The parsed Decl for the field, as generated by ClangASTSource
183 /// on ClangExpressionDeclMap's behalf. In the case of the result
184 /// value, this will have the name $__lldb_result even if the
185 /// result value ends up having the name $1. This is an
186 /// implementation detail of IRForTarget.
188 /// \param[out] value
189 /// The IR value for the field (usually a GlobalVariable). In
190 /// the case of the result value, this will have the correct
191 /// name ($1, for instance). This is an implementation detail
194 /// \param[out] offset
195 /// The offset of the field from the beginning of the struct.
196 /// As long as the struct is aligned according to its required
197 /// alignment, this offset will align the field correctly.
200 /// The name of the field as used in materialization.
203 /// The index of the field about which information is requested.
206 /// True if the information could be retrieved; false otherwise.
207 bool GetStructElement(const clang::NamedDecl
*&decl
, llvm::Value
*&value
,
208 lldb::offset_t
&offset
, ConstString
&name
,
211 /// [Used by IRForTarget] Get information about a function given its Decl.
214 /// The parsed Decl for the Function, as generated by ClangASTSource
215 /// on ClangExpressionDeclMap's behalf.
218 /// The absolute address of the function in the target.
221 /// True if the information could be retrieved; false otherwise.
222 bool GetFunctionInfo(const clang::NamedDecl
*decl
, uint64_t &ptr
);
224 /// [Used by IRForTarget] Get the address of a symbol given nothing but its
227 /// \param[in] target
228 /// The target to find the symbol in. If not provided,
229 /// then the current parsing context's Target.
231 /// \param[in] process
232 /// The process to use. For Objective-C symbols, the process's
233 /// Objective-C language runtime may be queried if the process
237 /// The name of the symbol.
239 /// \param[in] module
240 /// The module to limit the search to. This can be NULL
243 /// Valid load address for the symbol
244 lldb::addr_t
GetSymbolAddress(Target
&target
, Process
*process
,
245 ConstString name
, lldb::SymbolType symbol_type
,
246 Module
*module
= nullptr);
248 lldb::addr_t
GetSymbolAddress(ConstString name
,
249 lldb::SymbolType symbol_type
);
252 lldb::ByteOrder byte_order
= lldb::eByteOrderInvalid
;
253 size_t address_byte_size
= 0;
255 TargetInfo() = default;
258 return (byte_order
!= lldb::eByteOrderInvalid
&& address_byte_size
!= 0);
261 TargetInfo
GetTargetInfo();
263 /// [Used by ClangASTSource] Find all entities matching a given name, using
264 /// a NameSearchContext to make Decls for them.
266 /// \param[in] context
267 /// The NameSearchContext that can construct Decls for this name.
268 void FindExternalVisibleDecls(NameSearchContext
&context
) override
;
270 /// Find all entities matching a given name in a given module/namespace,
271 /// using a NameSearchContext to make Decls for them.
273 /// \param[in] context
274 /// The NameSearchContext that can construct Decls for this name.
276 /// \param[in] module
277 /// If non-NULL, the module to query.
279 /// \param[in] namespace_decl
280 /// If valid and module is non-NULL, the parent namespace.
281 void FindExternalVisibleDecls(NameSearchContext
&context
,
282 lldb::ModuleSP module
,
283 const CompilerDeclContext
&namespace_decl
);
286 /// Retrieves the declaration with the given name from the storage of
287 /// persistent declarations.
290 /// A persistent decl with the given name or a nullptr.
291 virtual clang::NamedDecl
*GetPersistentDecl(ConstString name
);
294 ExpressionVariableList
295 m_found_entities
; ///< All entities that were looked up for the parser.
296 ExpressionVariableList
297 m_struct_members
; ///< All entities that need to be placed in the struct.
298 bool m_keep_result_in_memory
; ///< True if result persistent variables
299 ///generated by this expression should stay in
301 Materializer::PersistentVariableDelegate
302 *m_result_delegate
; ///< If non-NULL, used to report expression results to
303 ///ClangUserExpression.
304 ValueObject
*m_ctx_obj
; ///< If not empty, then expression is
305 ///evaluated in context of this object.
306 ///For details see the comment to
307 ///`UserExpression::Evaluate`.
309 /// The following values should not live beyond parsing
312 ParserVars() = default;
314 Target
*GetTarget() {
315 if (m_exe_ctx
.GetTargetPtr())
316 return m_exe_ctx
.GetTargetPtr();
317 else if (m_sym_ctx
.target_sp
)
318 return m_sym_ctx
.target_sp
.get();
322 ExecutionContext m_exe_ctx
; ///< The execution context to use when parsing.
323 SymbolContext m_sym_ctx
; ///< The symbol context to use in finding variables
325 ClangPersistentVariables
*m_persistent_vars
=
326 nullptr; ///< The persistent variables for the process.
327 bool m_enable_lookups
= false; ///< Set to true during parsing if we have
328 ///found the first "$__lldb" name.
329 TargetInfo m_target_info
; ///< Basic information about the target.
330 Materializer
*m_materializer
= nullptr; ///< If non-NULL, the materializer
331 ///to use when reporting used
333 clang::ASTConsumer
*m_code_gen
= nullptr; ///< If non-NULL, a code generator
334 ///that receives new top-level
336 DiagnosticManager
*m_diagnostics
= nullptr;
339 ParserVars(const ParserVars
&) = delete;
340 const ParserVars
&operator=(const ParserVars
&) = delete;
343 std::unique_ptr
<ParserVars
> m_parser_vars
;
345 /// Activate parser-specific variables
346 void EnableParserVars() {
347 if (!m_parser_vars
.get())
348 m_parser_vars
= std::make_unique
<ParserVars
>();
351 /// Deallocate parser-specific variables
352 void DisableParserVars() { m_parser_vars
.reset(); }
354 /// The following values contain layout information for the materialized
355 /// struct, but are not specific to a single materialization
357 StructVars() = default;
359 lldb::offset_t m_struct_alignment
=
360 0; ///< The alignment of the struct in bytes.
361 size_t m_struct_size
= 0; ///< The size of the struct in bytes.
362 bool m_struct_laid_out
=
363 false; ///< True if the struct has been laid out and the
364 /// layout is valid (that is, no new fields have been
367 m_result_name
; ///< The name of the result variable ($1, for example)
370 std::unique_ptr
<StructVars
> m_struct_vars
;
372 /// Activate struct variables
373 void EnableStructVars() {
374 if (!m_struct_vars
.get())
375 m_struct_vars
.reset(new struct StructVars
);
378 /// Deallocate struct variables
379 void DisableStructVars() { m_struct_vars
.reset(); }
381 lldb::TypeSystemClangSP
GetScratchContext(Target
&target
) {
382 return ScratchTypeSystemClang::GetForTarget(target
,
383 m_ast_context
->getLangOpts());
386 /// Get this parser's ID for use in extracting parser- and JIT-specific data
387 /// from persistent variables.
388 uint64_t GetParserID() { return (uint64_t) this; }
390 /// Should be called on all copied functions.
391 void MaybeRegisterFunctionBody(clang::FunctionDecl
*copied_function_decl
);
393 /// Searches the persistent decls of the target for entities with the
396 /// \param[in] context
397 /// The NameSearchContext that can construct Decls for this name.
400 /// The name of the entities that need to be found.
401 void SearchPersistenDecls(NameSearchContext
&context
, const ConstString name
);
403 /// Handles looking up $__lldb_class which requires special treatment.
405 /// \param[in] context
406 /// The NameSearchContext that can construct Decls for this name.
407 void LookUpLldbClass(NameSearchContext
&context
);
409 /// Handles looking up $__lldb_objc_class which requires special treatment.
411 /// \param[in] context
412 /// The NameSearchContext that can construct Decls for this name.
413 void LookUpLldbObjCClass(NameSearchContext
&context
);
415 /// Handles looking up the synthetic namespace that contains our local
416 /// variables for the current frame.
418 /// \param[in] sym_ctx
419 /// The current SymbolContext of this frame.
421 /// \param[in] name_context
422 /// The NameSearchContext that can construct Decls for this name.
423 void LookupLocalVarNamespace(SymbolContext
&sym_ctx
,
424 NameSearchContext
&name_context
);
426 /// Lookup entities in the ClangModulesDeclVendor.
427 /// \param[in] context
428 /// The NameSearchContext that can construct Decls for this name.
431 /// The name of the entities that need to be found.
432 void LookupInModulesDeclVendor(NameSearchContext
&context
, ConstString name
);
434 /// Looks up a local variable.
436 /// \param[in] context
437 /// The NameSearchContext that can construct Decls for this name.
440 /// The name of the entities that need to be found.
442 /// \param[in] sym_ctx
443 /// The current SymbolContext of this frame.
445 /// \param[in] namespace_decl
446 /// The parent namespace if there is one.
449 /// True iff a local variable was found.
450 bool LookupLocalVariable(NameSearchContext
&context
, ConstString name
,
451 SymbolContext
&sym_ctx
,
452 const CompilerDeclContext
&namespace_decl
);
454 /// Searches for functions in the given SymbolContextList.
456 /// \param[in] sc_list
457 /// The SymbolContextList to search.
459 /// \param[in] frame_decl_context
460 /// The current DeclContext of the current frame.
463 /// A SymbolContextList with any found functions in the front and
464 /// any unknown SymbolContexts which are not functions in the back.
465 /// The SymbolContexts for the functions are ordered by how close they are
466 /// to the DeclContext for the given frame DeclContext.
467 SymbolContextList
SearchFunctionsInSymbolContexts(
468 const SymbolContextList
&sc_list
,
469 const CompilerDeclContext
&frame_decl_context
);
471 /// Looks up a function.
473 /// \param[in] context
474 /// The NameSearchContext that can construct Decls for this name.
476 /// \param[in] module_sp
477 /// If non-NULL, the module to query.
480 /// The name of the function that should be find.
482 /// \param[in] namespace_decl
483 /// If valid and module is non-NULL, the parent namespace.
484 void LookupFunction(NameSearchContext
&context
, lldb::ModuleSP module_sp
,
486 const CompilerDeclContext
&namespace_decl
);
488 /// Given a target, find a variable that matches the given name and type.
490 /// \param[in] target
491 /// The target to use as a basis for finding the variable.
493 /// \param[in] module
494 /// If non-NULL, the module to search.
497 /// The name as a plain C string.
499 /// \param[in] namespace_decl
500 /// If non-NULL and module is non-NULL, the parent namespace.
503 /// The LLDB Variable found, or NULL if none was found.
505 FindGlobalVariable(Target
&target
, lldb::ModuleSP
&module
, ConstString name
,
506 const CompilerDeclContext
&namespace_decl
);
508 /// Get the value of a variable in a given execution context and return the
509 /// associated Types if needed.
512 /// The variable to evaluate.
514 /// \param[out] var_location
515 /// The variable location value to fill in
517 /// \param[out] found_type
518 /// The type of the found value, as it was found in the user process.
519 /// This is only useful when the variable is being inspected on behalf
520 /// of the parser, hence the default.
522 /// \param[out] parser_type
523 /// The type of the found value, as it was copied into the parser's
524 /// AST context. This is only useful when the variable is being
525 /// inspected on behalf of the parser, hence the default.
528 /// Return true if the value was successfully filled in.
529 bool GetVariableValue(lldb::VariableSP
&var
,
530 lldb_private::Value
&var_location
,
531 TypeFromUser
*found_type
= nullptr,
532 TypeFromParser
*parser_type
= nullptr);
534 /// Use the NameSearchContext to generate a Decl for the given LLDB
535 /// ValueObject, and put it in the list of found entities.
537 /// Helper function used by the other AddOneVariable APIs.
539 /// \param[in,out] context
540 /// The NameSearchContext to use when constructing the Decl.
543 /// The CompilerType of the variable we're adding a Decl for.
546 /// The LLDB ValueObject that needs a Decl.
547 ClangExpressionVariable::ParserVars
*
548 AddExpressionVariable(NameSearchContext
&context
, TypeFromParser
const &pt
,
549 lldb::ValueObjectSP valobj
);
551 /// Use the NameSearchContext to generate a Decl for the given LLDB
552 /// Variable, and put it in the Tuple list.
554 /// \param[in] context
555 /// The NameSearchContext to use when constructing the Decl.
558 /// The LLDB Variable that needs a Decl.
560 /// \param[in] valobj
561 /// The LLDB ValueObject for that variable.
562 void AddOneVariable(NameSearchContext
&context
, lldb::VariableSP var
,
563 lldb::ValueObjectSP valobj
);
565 /// Use the NameSearchContext to generate a Decl for the given ValueObject
566 /// and put it in the list of found entities.
568 /// \param[in,out] context
569 /// The NameSearchContext to use when constructing the Decl.
571 /// \param[in] valobj
572 /// The ValueObject that needs a Decl.
574 /// \param[in] valobj_provider Callback that fetches a ValueObjectSP
575 /// from the specified frame
576 void AddOneVariable(NameSearchContext
&context
, lldb::ValueObjectSP valobj
,
577 ValueObjectProviderTy valobj_provider
);
579 /// Use the NameSearchContext to generate a Decl for the given persistent
580 /// variable, and put it in the list of found entities.
582 /// \param[in] context
583 /// The NameSearchContext to use when constructing the Decl.
585 /// \param[in] pvar_sp
586 /// The persistent variable that needs a Decl.
587 void AddOneVariable(NameSearchContext
&context
,
588 lldb::ExpressionVariableSP
&pvar_sp
);
590 /// Use the NameSearchContext to generate a Decl for the given LLDB symbol
591 /// (treated as a variable), and put it in the list of found entities.
592 void AddOneGenericVariable(NameSearchContext
&context
, const Symbol
&symbol
);
594 /// Use the NameSearchContext to generate a Decl for the given function.
595 /// (Functions are not placed in the Tuple list.) Can handle both fully
596 /// typed functions and generic functions.
598 /// \param[in] context
599 /// The NameSearchContext to use when constructing the Decl.
602 /// The Function that needs to be created. If non-NULL, this is
603 /// a fully-typed function.
606 /// The Symbol that corresponds to a function that needs to be
607 /// created with generic type (unitptr_t foo(...)).
608 void AddOneFunction(NameSearchContext
&context
, Function
*fun
, Symbol
*sym
);
610 /// Use the NameSearchContext to generate a Decl for the given register.
612 /// \param[in] context
613 /// The NameSearchContext to use when constructing the Decl.
615 /// \param[in] reg_info
616 /// The information corresponding to that register.
617 void AddOneRegister(NameSearchContext
&context
, const RegisterInfo
*reg_info
);
619 /// Use the NameSearchContext to generate a Decl for the given type. (Types
620 /// are not placed in the Tuple list.)
622 /// \param[in] context
623 /// The NameSearchContext to use when constructing the Decl.
626 /// The type that needs to be created.
627 void AddOneType(NameSearchContext
&context
, const TypeFromUser
&type
);
629 /// Adds the class in which the expression is evaluated to the lookup and
630 /// prepares the class to be used as a context for expression evaluation (for
631 /// example, it creates a fake member function that will contain the
632 /// expression LLDB is trying to evaluate).
634 /// \param[in] context
635 /// The NameSearchContext to which the class should be added as a lookup
639 /// The type of the class that serves as the evaluation context.
640 void AddContextClassType(NameSearchContext
&context
,
641 const TypeFromUser
&type
);
643 /// Move a type out of the current ASTContext into another, but make sure to
644 /// export all components of the type also.
646 /// \param[in] target
647 /// The TypeSystemClang to move to.
648 /// \param[in] source
649 /// The TypeSystemClang to move from. This is assumed to be going away.
650 /// \param[in] parser_type
651 /// The type as it appears in the source context.
654 /// Returns the moved type, or an empty type if there was a problem.
655 TypeFromUser
DeportType(TypeSystemClang
&target
, TypeSystemClang
&source
,
656 TypeFromParser parser_type
);
658 TypeSystemClang
*GetTypeSystemClang();
661 } // namespace lldb_private
663 #endif // LLDB_SOURCE_PLUGINS_EXPRESSIONPARSER_CLANG_CLANGEXPRESSIONDECLMAP_H