15ffd83dbSDimitry Andric //===-- ClangExpressionSourceCode.cpp -------------------------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric
90b57cec5SDimitry Andric #include "ClangExpressionSourceCode.h"
100b57cec5SDimitry Andric
110b57cec5SDimitry Andric #include "clang/Basic/CharInfo.h"
125ffd83dbSDimitry Andric #include "clang/Basic/FileManager.h"
130b57cec5SDimitry Andric #include "clang/Basic/SourceManager.h"
140b57cec5SDimitry Andric #include "clang/Lex/Lexer.h"
150b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h"
160b57cec5SDimitry Andric
170b57cec5SDimitry Andric #include "Plugins/ExpressionParser/Clang/ClangModulesDeclVendor.h"
180b57cec5SDimitry Andric #include "Plugins/ExpressionParser/Clang/ClangPersistentVariables.h"
190b57cec5SDimitry Andric #include "lldb/Symbol/Block.h"
200b57cec5SDimitry Andric #include "lldb/Symbol/CompileUnit.h"
210b57cec5SDimitry Andric #include "lldb/Symbol/DebugMacros.h"
220b57cec5SDimitry Andric #include "lldb/Symbol/TypeSystem.h"
230b57cec5SDimitry Andric #include "lldb/Symbol/VariableList.h"
240b57cec5SDimitry Andric #include "lldb/Target/ExecutionContext.h"
250b57cec5SDimitry Andric #include "lldb/Target/Language.h"
260b57cec5SDimitry Andric #include "lldb/Target/Platform.h"
270b57cec5SDimitry Andric #include "lldb/Target/StackFrame.h"
280b57cec5SDimitry Andric #include "lldb/Target/Target.h"
290b57cec5SDimitry Andric #include "lldb/Utility/StreamString.h"
300b57cec5SDimitry Andric
310b57cec5SDimitry Andric using namespace lldb_private;
320b57cec5SDimitry Andric
339dba64beSDimitry Andric #define PREFIX_NAME "<lldb wrapper prefix>"
34*5f7ddb14SDimitry Andric #define SUFFIX_NAME "<lldb wrapper suffix>"
359dba64beSDimitry Andric
369dba64beSDimitry Andric const llvm::StringRef ClangExpressionSourceCode::g_prefix_file_name = PREFIX_NAME;
379dba64beSDimitry Andric
389dba64beSDimitry Andric const char *ClangExpressionSourceCode::g_expression_prefix =
399dba64beSDimitry Andric "#line 1 \"" PREFIX_NAME R"("
409dba64beSDimitry Andric #ifndef offsetof
419dba64beSDimitry Andric #define offsetof(t, d) __builtin_offsetof(t, d)
429dba64beSDimitry Andric #endif
430b57cec5SDimitry Andric #ifndef NULL
440b57cec5SDimitry Andric #define NULL (__null)
450b57cec5SDimitry Andric #endif
460b57cec5SDimitry Andric #ifndef Nil
470b57cec5SDimitry Andric #define Nil (__null)
480b57cec5SDimitry Andric #endif
490b57cec5SDimitry Andric #ifndef nil
500b57cec5SDimitry Andric #define nil (__null)
510b57cec5SDimitry Andric #endif
520b57cec5SDimitry Andric #ifndef YES
530b57cec5SDimitry Andric #define YES ((BOOL)1)
540b57cec5SDimitry Andric #endif
550b57cec5SDimitry Andric #ifndef NO
560b57cec5SDimitry Andric #define NO ((BOOL)0)
570b57cec5SDimitry Andric #endif
580b57cec5SDimitry Andric typedef __INT8_TYPE__ int8_t;
590b57cec5SDimitry Andric typedef __UINT8_TYPE__ uint8_t;
600b57cec5SDimitry Andric typedef __INT16_TYPE__ int16_t;
610b57cec5SDimitry Andric typedef __UINT16_TYPE__ uint16_t;
620b57cec5SDimitry Andric typedef __INT32_TYPE__ int32_t;
630b57cec5SDimitry Andric typedef __UINT32_TYPE__ uint32_t;
640b57cec5SDimitry Andric typedef __INT64_TYPE__ int64_t;
650b57cec5SDimitry Andric typedef __UINT64_TYPE__ uint64_t;
660b57cec5SDimitry Andric typedef __INTPTR_TYPE__ intptr_t;
670b57cec5SDimitry Andric typedef __UINTPTR_TYPE__ uintptr_t;
680b57cec5SDimitry Andric typedef __SIZE_TYPE__ size_t;
690b57cec5SDimitry Andric typedef __PTRDIFF_TYPE__ ptrdiff_t;
700b57cec5SDimitry Andric typedef unsigned short unichar;
710b57cec5SDimitry Andric extern "C"
720b57cec5SDimitry Andric {
730b57cec5SDimitry Andric int printf(const char * __restrict, ...);
740b57cec5SDimitry Andric }
750b57cec5SDimitry Andric )";
760b57cec5SDimitry Andric
77*5f7ddb14SDimitry Andric const char *ClangExpressionSourceCode::g_expression_suffix =
78*5f7ddb14SDimitry Andric "\n;\n#line 1 \"" SUFFIX_NAME "\"\n";
79*5f7ddb14SDimitry Andric
800b57cec5SDimitry Andric namespace {
810b57cec5SDimitry Andric
820b57cec5SDimitry Andric class AddMacroState {
830b57cec5SDimitry Andric enum State {
840b57cec5SDimitry Andric CURRENT_FILE_NOT_YET_PUSHED,
850b57cec5SDimitry Andric CURRENT_FILE_PUSHED,
860b57cec5SDimitry Andric CURRENT_FILE_POPPED
870b57cec5SDimitry Andric };
880b57cec5SDimitry Andric
890b57cec5SDimitry Andric public:
AddMacroState(const FileSpec & current_file,const uint32_t current_file_line)900b57cec5SDimitry Andric AddMacroState(const FileSpec ¤t_file, const uint32_t current_file_line)
910b57cec5SDimitry Andric : m_state(CURRENT_FILE_NOT_YET_PUSHED), m_current_file(current_file),
920b57cec5SDimitry Andric m_current_file_line(current_file_line) {}
930b57cec5SDimitry Andric
StartFile(const FileSpec & file)940b57cec5SDimitry Andric void StartFile(const FileSpec &file) {
950b57cec5SDimitry Andric m_file_stack.push_back(file);
960b57cec5SDimitry Andric if (file == m_current_file)
970b57cec5SDimitry Andric m_state = CURRENT_FILE_PUSHED;
980b57cec5SDimitry Andric }
990b57cec5SDimitry Andric
EndFile()1000b57cec5SDimitry Andric void EndFile() {
1010b57cec5SDimitry Andric if (m_file_stack.size() == 0)
1020b57cec5SDimitry Andric return;
1030b57cec5SDimitry Andric
1040b57cec5SDimitry Andric FileSpec old_top = m_file_stack.back();
1050b57cec5SDimitry Andric m_file_stack.pop_back();
1060b57cec5SDimitry Andric if (old_top == m_current_file)
1070b57cec5SDimitry Andric m_state = CURRENT_FILE_POPPED;
1080b57cec5SDimitry Andric }
1090b57cec5SDimitry Andric
1100b57cec5SDimitry Andric // An entry is valid if it occurs before the current line in the current
1110b57cec5SDimitry Andric // file.
IsValidEntry(uint32_t line)1120b57cec5SDimitry Andric bool IsValidEntry(uint32_t line) {
1130b57cec5SDimitry Andric switch (m_state) {
1140b57cec5SDimitry Andric case CURRENT_FILE_NOT_YET_PUSHED:
1150b57cec5SDimitry Andric return true;
1160b57cec5SDimitry Andric case CURRENT_FILE_PUSHED:
1170b57cec5SDimitry Andric // If we are in file included in the current file, the entry should be
1180b57cec5SDimitry Andric // added.
1190b57cec5SDimitry Andric if (m_file_stack.back() != m_current_file)
1200b57cec5SDimitry Andric return true;
1210b57cec5SDimitry Andric
1220b57cec5SDimitry Andric return line < m_current_file_line;
1230b57cec5SDimitry Andric default:
1240b57cec5SDimitry Andric return false;
1250b57cec5SDimitry Andric }
1260b57cec5SDimitry Andric }
1270b57cec5SDimitry Andric
1280b57cec5SDimitry Andric private:
1290b57cec5SDimitry Andric std::vector<FileSpec> m_file_stack;
1300b57cec5SDimitry Andric State m_state;
1310b57cec5SDimitry Andric FileSpec m_current_file;
1320b57cec5SDimitry Andric uint32_t m_current_file_line;
1330b57cec5SDimitry Andric };
1340b57cec5SDimitry Andric
1350b57cec5SDimitry Andric } // anonymous namespace
1360b57cec5SDimitry Andric
AddMacros(const DebugMacros * dm,CompileUnit * comp_unit,AddMacroState & state,StreamString & stream)1370b57cec5SDimitry Andric static void AddMacros(const DebugMacros *dm, CompileUnit *comp_unit,
1380b57cec5SDimitry Andric AddMacroState &state, StreamString &stream) {
1390b57cec5SDimitry Andric if (dm == nullptr)
1400b57cec5SDimitry Andric return;
1410b57cec5SDimitry Andric
1420b57cec5SDimitry Andric for (size_t i = 0; i < dm->GetNumMacroEntries(); i++) {
1430b57cec5SDimitry Andric const DebugMacroEntry &entry = dm->GetMacroEntryAtIndex(i);
1440b57cec5SDimitry Andric uint32_t line;
1450b57cec5SDimitry Andric
1460b57cec5SDimitry Andric switch (entry.GetType()) {
1470b57cec5SDimitry Andric case DebugMacroEntry::DEFINE:
1480b57cec5SDimitry Andric if (state.IsValidEntry(entry.GetLineNumber()))
1490b57cec5SDimitry Andric stream.Printf("#define %s\n", entry.GetMacroString().AsCString());
1500b57cec5SDimitry Andric else
1510b57cec5SDimitry Andric return;
1520b57cec5SDimitry Andric break;
1530b57cec5SDimitry Andric case DebugMacroEntry::UNDEF:
1540b57cec5SDimitry Andric if (state.IsValidEntry(entry.GetLineNumber()))
1550b57cec5SDimitry Andric stream.Printf("#undef %s\n", entry.GetMacroString().AsCString());
1560b57cec5SDimitry Andric else
1570b57cec5SDimitry Andric return;
1580b57cec5SDimitry Andric break;
1590b57cec5SDimitry Andric case DebugMacroEntry::START_FILE:
1600b57cec5SDimitry Andric line = entry.GetLineNumber();
1610b57cec5SDimitry Andric if (state.IsValidEntry(line))
1620b57cec5SDimitry Andric state.StartFile(entry.GetFileSpec(comp_unit));
1630b57cec5SDimitry Andric else
1640b57cec5SDimitry Andric return;
1650b57cec5SDimitry Andric break;
1660b57cec5SDimitry Andric case DebugMacroEntry::END_FILE:
1670b57cec5SDimitry Andric state.EndFile();
1680b57cec5SDimitry Andric break;
1690b57cec5SDimitry Andric case DebugMacroEntry::INDIRECT:
1700b57cec5SDimitry Andric AddMacros(entry.GetIndirectDebugMacros(), comp_unit, state, stream);
1710b57cec5SDimitry Andric break;
1720b57cec5SDimitry Andric default:
1730b57cec5SDimitry Andric // This is an unknown/invalid entry. Ignore.
1740b57cec5SDimitry Andric break;
1750b57cec5SDimitry Andric }
1760b57cec5SDimitry Andric }
1770b57cec5SDimitry Andric }
1780b57cec5SDimitry Andric
ClangExpressionSourceCode(llvm::StringRef filename,llvm::StringRef name,llvm::StringRef prefix,llvm::StringRef body,Wrapping wrap,WrapKind wrap_kind)1799dba64beSDimitry Andric lldb_private::ClangExpressionSourceCode::ClangExpressionSourceCode(
1809dba64beSDimitry Andric llvm::StringRef filename, llvm::StringRef name, llvm::StringRef prefix,
1815ffd83dbSDimitry Andric llvm::StringRef body, Wrapping wrap, WrapKind wrap_kind)
1825ffd83dbSDimitry Andric : ExpressionSourceCode(name, prefix, body, wrap), m_wrap_kind(wrap_kind) {
1839dba64beSDimitry Andric // Use #line markers to pretend that we have a single-line source file
1849dba64beSDimitry Andric // containing only the user expression. This will hide our wrapper code
1859dba64beSDimitry Andric // from the user when we render diagnostics with Clang.
1869dba64beSDimitry Andric m_start_marker = "#line 1 \"" + filename.str() + "\"\n";
187*5f7ddb14SDimitry Andric m_end_marker = g_expression_suffix;
1889dba64beSDimitry Andric }
1899dba64beSDimitry Andric
1900b57cec5SDimitry Andric namespace {
1910b57cec5SDimitry Andric /// Allows checking if a token is contained in a given expression.
1920b57cec5SDimitry Andric class TokenVerifier {
1930b57cec5SDimitry Andric /// The tokens we found in the expression.
1940b57cec5SDimitry Andric llvm::StringSet<> m_tokens;
1950b57cec5SDimitry Andric
1960b57cec5SDimitry Andric public:
1970b57cec5SDimitry Andric TokenVerifier(std::string body);
1980b57cec5SDimitry Andric /// Returns true iff the given expression body contained a token with the
1990b57cec5SDimitry Andric /// given content.
hasToken(llvm::StringRef token) const2000b57cec5SDimitry Andric bool hasToken(llvm::StringRef token) const {
2010b57cec5SDimitry Andric return m_tokens.find(token) != m_tokens.end();
2020b57cec5SDimitry Andric }
2030b57cec5SDimitry Andric };
2040b57cec5SDimitry Andric } // namespace
2050b57cec5SDimitry Andric
TokenVerifier(std::string body)2060b57cec5SDimitry Andric TokenVerifier::TokenVerifier(std::string body) {
2070b57cec5SDimitry Andric using namespace clang;
2080b57cec5SDimitry Andric
2090b57cec5SDimitry Andric // We only care about tokens and not their original source locations. If we
2100b57cec5SDimitry Andric // move the whole expression to only be in one line we can simplify the
2110b57cec5SDimitry Andric // following code that extracts the token contents.
2120b57cec5SDimitry Andric std::replace(body.begin(), body.end(), '\n', ' ');
2130b57cec5SDimitry Andric std::replace(body.begin(), body.end(), '\r', ' ');
2140b57cec5SDimitry Andric
2150b57cec5SDimitry Andric FileSystemOptions file_opts;
2160b57cec5SDimitry Andric FileManager file_mgr(file_opts,
2170b57cec5SDimitry Andric FileSystem::Instance().GetVirtualFileSystem());
2180b57cec5SDimitry Andric
2190b57cec5SDimitry Andric // Let's build the actual source code Clang needs and setup some utility
2200b57cec5SDimitry Andric // objects.
2210b57cec5SDimitry Andric llvm::IntrusiveRefCntPtr<DiagnosticIDs> diag_ids(new DiagnosticIDs());
2220b57cec5SDimitry Andric llvm::IntrusiveRefCntPtr<DiagnosticOptions> diags_opts(
2230b57cec5SDimitry Andric new DiagnosticOptions());
2240b57cec5SDimitry Andric DiagnosticsEngine diags(diag_ids, diags_opts);
2250b57cec5SDimitry Andric clang::SourceManager SM(diags, file_mgr);
2260b57cec5SDimitry Andric auto buf = llvm::MemoryBuffer::getMemBuffer(body);
2270b57cec5SDimitry Andric
228af732203SDimitry Andric FileID FID = SM.createFileID(buf->getMemBufferRef());
2290b57cec5SDimitry Andric
2300b57cec5SDimitry Andric // Let's just enable the latest ObjC and C++ which should get most tokens
2310b57cec5SDimitry Andric // right.
2320b57cec5SDimitry Andric LangOptions Opts;
2330b57cec5SDimitry Andric Opts.ObjC = true;
2340b57cec5SDimitry Andric Opts.DollarIdents = true;
2350b57cec5SDimitry Andric Opts.CPlusPlus17 = true;
2360b57cec5SDimitry Andric Opts.LineComment = true;
2370b57cec5SDimitry Andric
238af732203SDimitry Andric Lexer lex(FID, buf->getMemBufferRef(), SM, Opts);
2390b57cec5SDimitry Andric
2400b57cec5SDimitry Andric Token token;
2410b57cec5SDimitry Andric bool exit = false;
2420b57cec5SDimitry Andric while (!exit) {
2430b57cec5SDimitry Andric // Returns true if this is the last token we get from the lexer.
2440b57cec5SDimitry Andric exit = lex.LexFromRawLexer(token);
2450b57cec5SDimitry Andric
2460b57cec5SDimitry Andric // Extract the column number which we need to extract the token content.
2470b57cec5SDimitry Andric // Our expression is just one line, so we don't need to handle any line
2480b57cec5SDimitry Andric // numbers here.
2490b57cec5SDimitry Andric bool invalid = false;
2500b57cec5SDimitry Andric unsigned start = SM.getSpellingColumnNumber(token.getLocation(), &invalid);
2510b57cec5SDimitry Andric if (invalid)
2520b57cec5SDimitry Andric continue;
2530b57cec5SDimitry Andric // Column numbers start at 1, but indexes in our string start at 0.
2540b57cec5SDimitry Andric --start;
2550b57cec5SDimitry Andric
2560b57cec5SDimitry Andric // Annotations don't have a length, so let's skip them.
2570b57cec5SDimitry Andric if (token.isAnnotation())
2580b57cec5SDimitry Andric continue;
2590b57cec5SDimitry Andric
2600b57cec5SDimitry Andric // Extract the token string from our source code and store it.
2610b57cec5SDimitry Andric std::string token_str = body.substr(start, token.getLength());
2620b57cec5SDimitry Andric if (token_str.empty())
2630b57cec5SDimitry Andric continue;
2640b57cec5SDimitry Andric m_tokens.insert(token_str);
2650b57cec5SDimitry Andric }
2660b57cec5SDimitry Andric }
2670b57cec5SDimitry Andric
AddLocalVariableDecls(const lldb::VariableListSP & var_list_sp,StreamString & stream,const std::string & expr) const2685ffd83dbSDimitry Andric void ClangExpressionSourceCode::AddLocalVariableDecls(
2695ffd83dbSDimitry Andric const lldb::VariableListSP &var_list_sp, StreamString &stream,
2705ffd83dbSDimitry Andric const std::string &expr) const {
2710b57cec5SDimitry Andric TokenVerifier tokens(expr);
2720b57cec5SDimitry Andric
2730b57cec5SDimitry Andric for (size_t i = 0; i < var_list_sp->GetSize(); i++) {
2740b57cec5SDimitry Andric lldb::VariableSP var_sp = var_list_sp->GetVariableAtIndex(i);
2750b57cec5SDimitry Andric
2760b57cec5SDimitry Andric ConstString var_name = var_sp->GetName();
2770b57cec5SDimitry Andric
2780b57cec5SDimitry Andric
2790b57cec5SDimitry Andric // We can check for .block_descriptor w/o checking for langauge since this
2800b57cec5SDimitry Andric // is not a valid identifier in either C or C++.
2810b57cec5SDimitry Andric if (!var_name || var_name == ".block_descriptor")
2820b57cec5SDimitry Andric continue;
2830b57cec5SDimitry Andric
2840b57cec5SDimitry Andric if (!expr.empty() && !tokens.hasToken(var_name.GetStringRef()))
2850b57cec5SDimitry Andric continue;
2860b57cec5SDimitry Andric
2875ffd83dbSDimitry Andric const bool is_objc = m_wrap_kind == WrapKind::ObjCInstanceMethod ||
2885ffd83dbSDimitry Andric m_wrap_kind == WrapKind::ObjCStaticMethod;
2895ffd83dbSDimitry Andric if ((var_name == "self" || var_name == "_cmd") && is_objc)
2900b57cec5SDimitry Andric continue;
2910b57cec5SDimitry Andric
2925ffd83dbSDimitry Andric if (var_name == "this" && m_wrap_kind == WrapKind::CppMemberFunction)
2930b57cec5SDimitry Andric continue;
2940b57cec5SDimitry Andric
2950b57cec5SDimitry Andric stream.Printf("using $__lldb_local_vars::%s;\n", var_name.AsCString());
2960b57cec5SDimitry Andric }
2970b57cec5SDimitry Andric }
2980b57cec5SDimitry Andric
GetText(std::string & text,ExecutionContext & exe_ctx,bool add_locals,bool force_add_all_locals,llvm::ArrayRef<std::string> modules) const2990b57cec5SDimitry Andric bool ClangExpressionSourceCode::GetText(
3005ffd83dbSDimitry Andric std::string &text, ExecutionContext &exe_ctx, bool add_locals,
3015ffd83dbSDimitry Andric bool force_add_all_locals, llvm::ArrayRef<std::string> modules) const {
3020b57cec5SDimitry Andric const char *target_specific_defines = "typedef signed char BOOL;\n";
3030b57cec5SDimitry Andric std::string module_macros;
304af732203SDimitry Andric llvm::raw_string_ostream module_macros_stream(module_macros);
3050b57cec5SDimitry Andric
3060b57cec5SDimitry Andric Target *target = exe_ctx.GetTargetPtr();
3070b57cec5SDimitry Andric if (target) {
3089dba64beSDimitry Andric if (target->GetArchitecture().GetMachine() == llvm::Triple::aarch64 ||
3099dba64beSDimitry Andric target->GetArchitecture().GetMachine() == llvm::Triple::aarch64_32) {
3100b57cec5SDimitry Andric target_specific_defines = "typedef bool BOOL;\n";
3110b57cec5SDimitry Andric }
3120b57cec5SDimitry Andric if (target->GetArchitecture().GetMachine() == llvm::Triple::x86_64) {
3130b57cec5SDimitry Andric if (lldb::PlatformSP platform_sp = target->GetPlatform()) {
3140b57cec5SDimitry Andric static ConstString g_platform_ios_simulator("ios-simulator");
3150b57cec5SDimitry Andric if (platform_sp->GetPluginName() == g_platform_ios_simulator) {
3160b57cec5SDimitry Andric target_specific_defines = "typedef bool BOOL;\n";
3170b57cec5SDimitry Andric }
3180b57cec5SDimitry Andric }
3190b57cec5SDimitry Andric }
3200b57cec5SDimitry Andric
321480093f4SDimitry Andric auto *persistent_vars = llvm::cast<ClangPersistentVariables>(
322480093f4SDimitry Andric target->GetPersistentExpressionStateForLanguage(lldb::eLanguageTypeC));
323*5f7ddb14SDimitry Andric std::shared_ptr<ClangModulesDeclVendor> decl_vendor =
324*5f7ddb14SDimitry Andric persistent_vars->GetClangModulesDeclVendor();
325*5f7ddb14SDimitry Andric if (decl_vendor) {
3260b57cec5SDimitry Andric const ClangModulesDeclVendor::ModuleVector &hand_imported_modules =
3270b57cec5SDimitry Andric persistent_vars->GetHandLoadedClangModules();
3280b57cec5SDimitry Andric ClangModulesDeclVendor::ModuleVector modules_for_macros;
3290b57cec5SDimitry Andric
3300b57cec5SDimitry Andric for (ClangModulesDeclVendor::ModuleID module : hand_imported_modules) {
3310b57cec5SDimitry Andric modules_for_macros.push_back(module);
3320b57cec5SDimitry Andric }
3330b57cec5SDimitry Andric
3340b57cec5SDimitry Andric if (target->GetEnableAutoImportClangModules()) {
3350b57cec5SDimitry Andric if (StackFrame *frame = exe_ctx.GetFramePtr()) {
3360b57cec5SDimitry Andric if (Block *block = frame->GetFrameBlock()) {
3370b57cec5SDimitry Andric SymbolContext sc;
3380b57cec5SDimitry Andric
3390b57cec5SDimitry Andric block->CalculateSymbolContext(&sc);
3400b57cec5SDimitry Andric
3410b57cec5SDimitry Andric if (sc.comp_unit) {
3420b57cec5SDimitry Andric StreamString error_stream;
3430b57cec5SDimitry Andric
3440b57cec5SDimitry Andric decl_vendor->AddModulesForCompileUnit(
3450b57cec5SDimitry Andric *sc.comp_unit, modules_for_macros, error_stream);
3460b57cec5SDimitry Andric }
3470b57cec5SDimitry Andric }
3480b57cec5SDimitry Andric }
3490b57cec5SDimitry Andric }
3500b57cec5SDimitry Andric
3510b57cec5SDimitry Andric decl_vendor->ForEachMacro(
3520b57cec5SDimitry Andric modules_for_macros,
353af732203SDimitry Andric [&module_macros_stream](llvm::StringRef token,
354af732203SDimitry Andric llvm::StringRef expansion) -> bool {
355af732203SDimitry Andric // Check if the macro hasn't already been defined in the
356af732203SDimitry Andric // g_expression_prefix (which defines a few builtin macros).
357af732203SDimitry Andric module_macros_stream << "#ifndef " << token << "\n";
358af732203SDimitry Andric module_macros_stream << expansion << "\n";
359af732203SDimitry Andric module_macros_stream << "#endif\n";
3600b57cec5SDimitry Andric return false;
3610b57cec5SDimitry Andric });
3620b57cec5SDimitry Andric }
3630b57cec5SDimitry Andric }
3640b57cec5SDimitry Andric
3650b57cec5SDimitry Andric StreamString debug_macros_stream;
3660b57cec5SDimitry Andric StreamString lldb_local_var_decls;
3670b57cec5SDimitry Andric if (StackFrame *frame = exe_ctx.GetFramePtr()) {
3680b57cec5SDimitry Andric const SymbolContext &sc = frame->GetSymbolContext(
3690b57cec5SDimitry Andric lldb::eSymbolContextCompUnit | lldb::eSymbolContextLineEntry);
3700b57cec5SDimitry Andric
3710b57cec5SDimitry Andric if (sc.comp_unit && sc.line_entry.IsValid()) {
3720b57cec5SDimitry Andric DebugMacros *dm = sc.comp_unit->GetDebugMacros();
3730b57cec5SDimitry Andric if (dm) {
3740b57cec5SDimitry Andric AddMacroState state(sc.line_entry.file, sc.line_entry.line);
3750b57cec5SDimitry Andric AddMacros(dm, sc.comp_unit, state, debug_macros_stream);
3760b57cec5SDimitry Andric }
3770b57cec5SDimitry Andric }
3780b57cec5SDimitry Andric
3790b57cec5SDimitry Andric if (add_locals)
3800b57cec5SDimitry Andric if (target->GetInjectLocalVariables(&exe_ctx)) {
3810b57cec5SDimitry Andric lldb::VariableListSP var_list_sp =
3820b57cec5SDimitry Andric frame->GetInScopeVariableList(false, true);
3830b57cec5SDimitry Andric AddLocalVariableDecls(var_list_sp, lldb_local_var_decls,
3845ffd83dbSDimitry Andric force_add_all_locals ? "" : m_body);
3850b57cec5SDimitry Andric }
3860b57cec5SDimitry Andric }
3870b57cec5SDimitry Andric
3880b57cec5SDimitry Andric if (m_wrap) {
3890b57cec5SDimitry Andric // Generate a list of @import statements that will import the specified
3900b57cec5SDimitry Andric // module into our expression.
3910b57cec5SDimitry Andric std::string module_imports;
3920b57cec5SDimitry Andric for (const std::string &module : modules) {
3930b57cec5SDimitry Andric module_imports.append("@import ");
3940b57cec5SDimitry Andric module_imports.append(module);
3950b57cec5SDimitry Andric module_imports.append(";\n");
3960b57cec5SDimitry Andric }
3970b57cec5SDimitry Andric
3980b57cec5SDimitry Andric StreamString wrap_stream;
3990b57cec5SDimitry Andric
400af732203SDimitry Andric wrap_stream.Printf("%s\n%s\n%s\n%s\n%s\n", g_expression_prefix,
401af732203SDimitry Andric module_macros.c_str(), debug_macros_stream.GetData(),
4020b57cec5SDimitry Andric target_specific_defines, m_prefix.c_str());
4030b57cec5SDimitry Andric
4040b57cec5SDimitry Andric // First construct a tagged form of the user expression so we can find it
4050b57cec5SDimitry Andric // later:
4060b57cec5SDimitry Andric std::string tagged_body;
4079dba64beSDimitry Andric tagged_body.append(m_start_marker);
4080b57cec5SDimitry Andric tagged_body.append(m_body);
4099dba64beSDimitry Andric tagged_body.append(m_end_marker);
4105ffd83dbSDimitry Andric
4115ffd83dbSDimitry Andric switch (m_wrap_kind) {
4125ffd83dbSDimitry Andric case WrapKind::Function:
4130b57cec5SDimitry Andric wrap_stream.Printf("%s"
4140b57cec5SDimitry Andric "void \n"
4150b57cec5SDimitry Andric "%s(void *$__lldb_arg) \n"
4160b57cec5SDimitry Andric "{ \n"
4170b57cec5SDimitry Andric " %s; \n"
4180b57cec5SDimitry Andric "%s"
4190b57cec5SDimitry Andric "} \n",
4200b57cec5SDimitry Andric module_imports.c_str(), m_name.c_str(),
4210b57cec5SDimitry Andric lldb_local_var_decls.GetData(), tagged_body.c_str());
4220b57cec5SDimitry Andric break;
4235ffd83dbSDimitry Andric case WrapKind::CppMemberFunction:
4240b57cec5SDimitry Andric wrap_stream.Printf("%s"
4250b57cec5SDimitry Andric "void \n"
4260b57cec5SDimitry Andric "$__lldb_class::%s(void *$__lldb_arg) \n"
4270b57cec5SDimitry Andric "{ \n"
4280b57cec5SDimitry Andric " %s; \n"
4290b57cec5SDimitry Andric "%s"
4300b57cec5SDimitry Andric "} \n",
4310b57cec5SDimitry Andric module_imports.c_str(), m_name.c_str(),
4320b57cec5SDimitry Andric lldb_local_var_decls.GetData(), tagged_body.c_str());
4330b57cec5SDimitry Andric break;
4345ffd83dbSDimitry Andric case WrapKind::ObjCInstanceMethod:
4350b57cec5SDimitry Andric wrap_stream.Printf(
4360b57cec5SDimitry Andric "%s"
4370b57cec5SDimitry Andric "@interface $__lldb_objc_class ($__lldb_category) \n"
4380b57cec5SDimitry Andric "-(void)%s:(void *)$__lldb_arg; \n"
4390b57cec5SDimitry Andric "@end \n"
4400b57cec5SDimitry Andric "@implementation $__lldb_objc_class ($__lldb_category) \n"
4410b57cec5SDimitry Andric "-(void)%s:(void *)$__lldb_arg \n"
4420b57cec5SDimitry Andric "{ \n"
4430b57cec5SDimitry Andric " %s; \n"
4440b57cec5SDimitry Andric "%s"
4450b57cec5SDimitry Andric "} \n"
4460b57cec5SDimitry Andric "@end \n",
4470b57cec5SDimitry Andric module_imports.c_str(), m_name.c_str(), m_name.c_str(),
4480b57cec5SDimitry Andric lldb_local_var_decls.GetData(), tagged_body.c_str());
4495ffd83dbSDimitry Andric break;
4505ffd83dbSDimitry Andric
4515ffd83dbSDimitry Andric case WrapKind::ObjCStaticMethod:
4525ffd83dbSDimitry Andric wrap_stream.Printf(
4535ffd83dbSDimitry Andric "%s"
4545ffd83dbSDimitry Andric "@interface $__lldb_objc_class ($__lldb_category) \n"
4555ffd83dbSDimitry Andric "+(void)%s:(void *)$__lldb_arg; \n"
4565ffd83dbSDimitry Andric "@end \n"
4575ffd83dbSDimitry Andric "@implementation $__lldb_objc_class ($__lldb_category) \n"
4585ffd83dbSDimitry Andric "+(void)%s:(void *)$__lldb_arg \n"
4595ffd83dbSDimitry Andric "{ \n"
4605ffd83dbSDimitry Andric " %s; \n"
4615ffd83dbSDimitry Andric "%s"
4625ffd83dbSDimitry Andric "} \n"
4635ffd83dbSDimitry Andric "@end \n",
4645ffd83dbSDimitry Andric module_imports.c_str(), m_name.c_str(), m_name.c_str(),
4655ffd83dbSDimitry Andric lldb_local_var_decls.GetData(), tagged_body.c_str());
4660b57cec5SDimitry Andric break;
4670b57cec5SDimitry Andric }
4680b57cec5SDimitry Andric
4695ffd83dbSDimitry Andric text = std::string(wrap_stream.GetString());
4700b57cec5SDimitry Andric } else {
4710b57cec5SDimitry Andric text.append(m_body);
4720b57cec5SDimitry Andric }
4730b57cec5SDimitry Andric
4740b57cec5SDimitry Andric return true;
4750b57cec5SDimitry Andric }
4760b57cec5SDimitry Andric
GetOriginalBodyBounds(std::string transformed_text,size_t & start_loc,size_t & end_loc)4770b57cec5SDimitry Andric bool ClangExpressionSourceCode::GetOriginalBodyBounds(
4785ffd83dbSDimitry Andric std::string transformed_text, size_t &start_loc, size_t &end_loc) {
4799dba64beSDimitry Andric start_loc = transformed_text.find(m_start_marker);
4800b57cec5SDimitry Andric if (start_loc == std::string::npos)
4810b57cec5SDimitry Andric return false;
4829dba64beSDimitry Andric start_loc += m_start_marker.size();
4839dba64beSDimitry Andric end_loc = transformed_text.find(m_end_marker);
4840b57cec5SDimitry Andric return end_loc != std::string::npos;
4850b57cec5SDimitry Andric }
486