| Sean Callanan | 1a8d409 | 2010-08-27 01:01:44 +0000 | [diff] [blame] | 1 | //===-- ClangExpressionParser.h ---------------------------------*- C++ -*-===// |
| 2 | // |
| Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 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 |
| Sean Callanan | 1a8d409 | 2010-08-27 01:01:44 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
| 9 | #ifndef liblldb_ClangExpressionParser_h_ |
| 10 | #define liblldb_ClangExpressionParser_h_ |
| 11 | |
| Sean Callanan | 1a8d409 | 2010-08-27 01:01:44 +0000 | [diff] [blame] | 12 | #include "lldb/Core/ClangForward.h" |
| Sean Callanan | 579e70c | 2016-03-19 00:03:59 +0000 | [diff] [blame] | 13 | #include "lldb/Expression/DiagnosticManager.h" |
| Jim Ingham | 151c032 | 2015-09-15 21:13:50 +0000 | [diff] [blame] | 14 | #include "lldb/Expression/ExpressionParser.h" |
| Pavel Labath | 5f19b90 | 2017-11-13 16:16:33 +0000 | [diff] [blame] | 15 | #include "lldb/Utility/ArchSpec.h" |
| Zachary Turner | 97206d5 | 2017-05-12 04:51:55 +0000 | [diff] [blame] | 16 | #include "lldb/Utility/Status.h" |
| Sean Callanan | 579e70c | 2016-03-19 00:03:59 +0000 | [diff] [blame] | 17 | #include "lldb/lldb-public.h" |
| Sean Callanan | 4dbb271 | 2015-09-25 20:35:58 +0000 | [diff] [blame] | 18 | |
| Sean Callanan | 1a8d409 | 2010-08-27 01:01:44 +0000 | [diff] [blame] | 19 | #include <string> |
| 20 | #include <vector> |
| 21 | |
| Raphael Isemann | 7482973 | 2018-08-30 17:29:37 +0000 | [diff] [blame] | 22 | namespace clang { |
| 23 | class CodeCompleteConsumer; |
| 24 | } |
| 25 | |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 26 | namespace lldb_private { |
| Sean Callanan | 1a8d409 | 2010-08-27 01:01:44 +0000 | [diff] [blame] | 27 | |
| Sean Callanan | 8dfb68e | 2013-03-19 00:10:07 +0000 | [diff] [blame] | 28 | class IRExecutionUnit; |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 29 | |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 30 | /// \class ClangExpressionParser ClangExpressionParser.h |
| Adrian Prantl | d8f460e | 2018-05-02 16:55:16 +0000 | [diff] [blame] | 31 | /// "lldb/Expression/ClangExpressionParser.h" Encapsulates an instance of |
| 32 | /// Clang that can parse expressions. |
| Sean Callanan | 1a8d409 | 2010-08-27 01:01:44 +0000 | [diff] [blame] | 33 | /// |
| 34 | /// ClangExpressionParser is responsible for preparing an instance of |
| 35 | /// ClangExpression for execution. ClangExpressionParser uses ClangExpression |
| 36 | /// as a glorified parameter list, performing the required parsing and |
| Adrian Prantl | d8f460e | 2018-05-02 16:55:16 +0000 | [diff] [blame] | 37 | /// conversion to formats (DWARF bytecode, or JIT compiled machine code) that |
| 38 | /// can be executed. |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 39 | class ClangExpressionParser : public ExpressionParser { |
| Sean Callanan | 1a8d409 | 2010-08-27 01:01:44 +0000 | [diff] [blame] | 40 | public: |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 41 | /// Constructor |
| 42 | /// |
| 43 | /// Initializes class variables. |
| 44 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 45 | /// \param[in] exe_scope, |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 46 | /// If non-NULL, an execution context scope that can help to |
| 47 | /// correctly create an expression with a valid process for |
| 48 | /// optional tuning Objective-C runtime support. Can be NULL. |
| 49 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 50 | /// \param[in] expr |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 51 | /// The expression to be parsed. |
| Raphael Isemann | 6c0bbfc | 2019-03-12 17:09:33 +0000 | [diff] [blame] | 52 | /// |
| 53 | /// @param[in] include_directories |
| 54 | /// List of include directories that should be used when parsing the |
| 55 | /// expression. |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 56 | ClangExpressionParser(ExecutionContextScope *exe_scope, Expression &expr, |
| Raphael Isemann | 6c0bbfc | 2019-03-12 17:09:33 +0000 | [diff] [blame] | 57 | bool generate_debug_info, |
| Raphael Isemann | 3ad8278 | 2019-09-11 14:33:11 +0000 | [diff] [blame] | 58 | std::vector<std::string> include_directories = {}); |
| Sean Callanan | 579e70c | 2016-03-19 00:03:59 +0000 | [diff] [blame] | 59 | |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 60 | /// Destructor |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 61 | ~ClangExpressionParser() override; |
| Sagar Thakur | adc1abe | 2016-05-13 11:04:47 +0000 | [diff] [blame] | 62 | |
| Raphael Isemann | c11a780 | 2018-08-30 21:26:32 +0000 | [diff] [blame] | 63 | bool Complete(CompletionRequest &request, unsigned line, unsigned pos, |
| Raphael Isemann | 7482973 | 2018-08-30 17:29:37 +0000 | [diff] [blame] | 64 | unsigned typed_pos) override; |
| 65 | |
| Adrian Prantl | d8f460e | 2018-05-02 16:55:16 +0000 | [diff] [blame] | 66 | /// Parse a single expression and convert it to IR using Clang. Don't wrap |
| 67 | /// the expression in anything at all. |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 68 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 69 | /// \param[in] diagnostic_manager |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 70 | /// The diagnostic manager to report errors to. |
| 71 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 72 | /// \return |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 73 | /// The number of errors encountered during parsing. 0 means |
| 74 | /// success. |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 75 | unsigned Parse(DiagnosticManager &diagnostic_manager) override; |
| 76 | |
| 77 | bool RewriteExpression(DiagnosticManager &diagnostic_manager) override; |
| 78 | |
| Adrian Prantl | d8f460e | 2018-05-02 16:55:16 +0000 | [diff] [blame] | 79 | /// Ready an already-parsed expression for execution, possibly evaluating it |
| 80 | /// statically. |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 81 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 82 | /// \param[out] func_addr |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 83 | /// The address to which the function has been written. |
| 84 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 85 | /// \param[out] func_end |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 86 | /// The end of the function's allocated memory region. (func_addr |
| 87 | /// and func_end do not delimit an allocated region; the allocated |
| 88 | /// region may begin before func_addr.) |
| 89 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 90 | /// \param[in] execution_unit_sp |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 91 | /// After parsing, ownership of the execution unit for |
| 92 | /// for the expression is handed to this shared pointer. |
| 93 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 94 | /// \param[in] exe_ctx |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 95 | /// The execution context to write the function into. |
| 96 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 97 | /// \param[out] evaluated_statically |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 98 | /// Set to true if the expression could be interpreted statically; |
| 99 | /// untouched otherwise. |
| 100 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 101 | /// \param[out] const_result |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 102 | /// If the result of the expression is constant, and the |
| 103 | /// expression has no side effects, this is set to the result of the |
| 104 | /// expression. |
| 105 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 106 | /// \param[in] execution_policy |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 107 | /// Determines whether the expression must be JIT-compiled, must be |
| 108 | /// evaluated statically, or whether this decision may be made |
| 109 | /// opportunistically. |
| 110 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 111 | /// \return |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 112 | /// An error code indicating the success or failure of the operation. |
| 113 | /// Test with Success(). |
| Zachary Turner | 97206d5 | 2017-05-12 04:51:55 +0000 | [diff] [blame] | 114 | Status |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 115 | PrepareForExecution(lldb::addr_t &func_addr, lldb::addr_t &func_end, |
| 116 | lldb::IRExecutionUnitSP &execution_unit_sp, |
| 117 | ExecutionContext &exe_ctx, bool &can_interpret, |
| 118 | lldb_private::ExecutionPolicy execution_policy) override; |
| 119 | |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 120 | /// Run all static initializers for an execution unit. |
| 121 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 122 | /// \param[in] execution_unit_sp |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 123 | /// The execution unit. |
| 124 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 125 | /// \param[in] exe_ctx |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 126 | /// The execution context to use when running them. Thread can't be null. |
| 127 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 128 | /// \return |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 129 | /// The error code indicating the |
| Zachary Turner | 97206d5 | 2017-05-12 04:51:55 +0000 | [diff] [blame] | 130 | Status RunStaticInitializers(lldb::IRExecutionUnitSP &execution_unit_sp, |
| 131 | ExecutionContext &exe_ctx); |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 132 | |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 133 | /// Returns a string representing current ABI. |
| 134 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 135 | /// \param[in] target_arch |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 136 | /// The target architecture. |
| 137 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 138 | /// \return |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 139 | /// A string representing target ABI for the current architecture. |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 140 | std::string GetClangTargetABI(const ArchSpec &target_arch); |
| 141 | |
| Sean Callanan | 1a8d409 | 2010-08-27 01:01:44 +0000 | [diff] [blame] | 142 | private: |
| Raphael Isemann | 7482973 | 2018-08-30 17:29:37 +0000 | [diff] [blame] | 143 | /// Parses the expression. |
| 144 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 145 | /// \param[in] diagnostic_manager |
| Raphael Isemann | 7482973 | 2018-08-30 17:29:37 +0000 | [diff] [blame] | 146 | /// The diagnostic manager that should receive the diagnostics |
| 147 | /// from the parsing process. |
| 148 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 149 | /// \param[in] completion |
| Raphael Isemann | 7482973 | 2018-08-30 17:29:37 +0000 | [diff] [blame] | 150 | /// The completion consumer that should be used during parsing |
| 151 | /// (or a nullptr if no consumer should be attached). |
| 152 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 153 | /// \param[in] completion_line |
| Raphael Isemann | 7482973 | 2018-08-30 17:29:37 +0000 | [diff] [blame] | 154 | /// The line in which the completion marker should be placed. |
| 155 | /// The first line is represented by the value 0. |
| 156 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 157 | /// \param[in] completion_column |
| Raphael Isemann | 7482973 | 2018-08-30 17:29:37 +0000 | [diff] [blame] | 158 | /// The column in which the completion marker should be placed. |
| 159 | /// The first column is represented by the value 0. |
| 160 | /// |
| Adrian Prantl | f05b42e | 2019-03-11 17:09:29 +0000 | [diff] [blame] | 161 | /// \return |
| Raphael Isemann | 7482973 | 2018-08-30 17:29:37 +0000 | [diff] [blame] | 162 | /// The number of parsing errors. |
| Raphael Isemann | 7482973 | 2018-08-30 17:29:37 +0000 | [diff] [blame] | 163 | unsigned ParseInternal(DiagnosticManager &diagnostic_manager, |
| 164 | clang::CodeCompleteConsumer *completion = nullptr, |
| 165 | unsigned completion_line = 0, |
| 166 | unsigned completion_column = 0); |
| 167 | |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 168 | std::unique_ptr<llvm::LLVMContext> |
| 169 | m_llvm_context; ///< The LLVM context to generate IR into |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 170 | std::unique_ptr<clang::CompilerInstance> |
| 171 | m_compiler; ///< The Clang compiler used to parse expressions into IR |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 172 | std::unique_ptr<clang::CodeGenerator> |
| 173 | m_code_generator; ///< The Clang object that generates IR |
| 174 | |
| 175 | class LLDBPreprocessorCallbacks; |
| 176 | LLDBPreprocessorCallbacks *m_pp_callbacks; ///< Called when the preprocessor |
| 177 | ///encounters module imports |
| 178 | std::unique_ptr<ClangASTContext> m_ast_context; |
| Raphael Isemann | 6c0bbfc | 2019-03-12 17:09:33 +0000 | [diff] [blame] | 179 | |
| Raphael Isemann | 3ad8278 | 2019-09-11 14:33:11 +0000 | [diff] [blame] | 180 | std::vector<std::string> m_include_directories; |
| Sean Callanan | 1a8d409 | 2010-08-27 01:01:44 +0000 | [diff] [blame] | 181 | }; |
| Sean Callanan | 1a8d409 | 2010-08-27 01:01:44 +0000 | [diff] [blame] | 182 | } |
| 183 | |
| Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 184 | #endif // liblldb_ClangExpressionParser_h_ |