blob: d19321a429e6570b1022166338efba214ec2d042 [file] [log] [blame]
Sean Callanan9bc83842011-09-26 18:45:31 +00001//===-- ExpressionSourceCode.cpp --------------------------------*- C++ -*-===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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 Callanan9bc83842011-09-26 18:45:31 +00006//
7//===----------------------------------------------------------------------===//
8
9#include "lldb/Expression/ExpressionSourceCode.h"
10
Sean Callanan4dbb2712015-09-25 20:35:58 +000011#include "Plugins/ExpressionParser/Clang/ClangModulesDeclVendor.h"
12#include "Plugins/ExpressionParser/Clang/ClangPersistentVariables.h"
Kate Stoneb9c1b512016-09-06 20:57:50 +000013#include "lldb/Symbol/Block.h"
Siva Chandrad8335e92015-12-16 00:22:08 +000014#include "lldb/Symbol/CompileUnit.h"
15#include "lldb/Symbol/DebugMacros.h"
Sean Callanan8f1f9a12015-09-30 19:57:57 +000016#include "lldb/Symbol/TypeSystem.h"
Siva Chandra03ff5c82016-02-05 19:10:04 +000017#include "lldb/Symbol/VariableList.h"
Jason Molendaa3329782014-03-29 18:54:20 +000018#include "lldb/Target/ExecutionContext.h"
Siva Chandra03ff5c82016-02-05 19:10:04 +000019#include "lldb/Target/Language.h"
Jason Molendaa3329782014-03-29 18:54:20 +000020#include "lldb/Target/Platform.h"
Sean Callanan68f85e72015-04-30 21:49:58 +000021#include "lldb/Target/StackFrame.h"
Jason Molendaa3329782014-03-29 18:54:20 +000022#include "lldb/Target/Target.h"
Zachary Turnerbf9a7732017-02-02 21:39:50 +000023#include "lldb/Utility/StreamString.h"
Sean Callanan9bc83842011-09-26 18:45:31 +000024
25using namespace lldb_private;
26
Kate Stoneb9c1b512016-09-06 20:57:50 +000027const char *ExpressionSourceCode::g_expression_prefix = R"(
Sean Callanan68f85e72015-04-30 21:49:58 +000028#ifndef NULL
Greg Clayton399107a2013-02-13 23:57:48 +000029#define NULL (__null)
Sean Callanan68f85e72015-04-30 21:49:58 +000030#endif
31#ifndef Nil
Greg Clayton399107a2013-02-13 23:57:48 +000032#define Nil (__null)
Sean Callanan68f85e72015-04-30 21:49:58 +000033#endif
34#ifndef nil
Greg Clayton399107a2013-02-13 23:57:48 +000035#define nil (__null)
Sean Callanan68f85e72015-04-30 21:49:58 +000036#endif
37#ifndef YES
Greg Clayton399107a2013-02-13 23:57:48 +000038#define YES ((BOOL)1)
Sean Callanan68f85e72015-04-30 21:49:58 +000039#endif
40#ifndef NO
Greg Clayton399107a2013-02-13 23:57:48 +000041#define NO ((BOOL)0)
Sean Callanan68f85e72015-04-30 21:49:58 +000042#endif
Reid Kleckner56d861f2014-07-29 21:59:33 +000043typedef __INT8_TYPE__ int8_t;
44typedef __UINT8_TYPE__ uint8_t;
45typedef __INT16_TYPE__ int16_t;
46typedef __UINT16_TYPE__ uint16_t;
47typedef __INT32_TYPE__ int32_t;
48typedef __UINT32_TYPE__ uint32_t;
49typedef __INT64_TYPE__ int64_t;
50typedef __UINT64_TYPE__ uint64_t;
51typedef __INTPTR_TYPE__ intptr_t;
52typedef __UINTPTR_TYPE__ uintptr_t;
Greg Clayton399107a2013-02-13 23:57:48 +000053typedef __SIZE_TYPE__ size_t;
54typedef __PTRDIFF_TYPE__ ptrdiff_t;
55typedef unsigned short unichar;
Kate Stonecc391a02015-01-21 23:39:16 +000056extern "C"
57{
58 int printf(const char * __restrict, ...);
59}
Greg Clayton399107a2013-02-13 23:57:48 +000060)";
Sean Callanana199e822012-09-13 23:35:30 +000061
Jim Inghame5ee6f02016-03-29 22:00:08 +000062static const char *c_start_marker = " /*LLDB_BODY_START*/\n ";
Kate Stoneb9c1b512016-09-06 20:57:50 +000063static const char *c_end_marker = ";\n /*LLDB_BODY_END*/\n";
Jim Inghame5ee6f02016-03-29 22:00:08 +000064
Siva Chandrad8335e92015-12-16 00:22:08 +000065namespace {
66
Kate Stoneb9c1b512016-09-06 20:57:50 +000067class AddMacroState {
68 enum State {
69 CURRENT_FILE_NOT_YET_PUSHED,
70 CURRENT_FILE_PUSHED,
71 CURRENT_FILE_POPPED
72 };
Siva Chandrad8335e92015-12-16 00:22:08 +000073
74public:
Kate Stoneb9c1b512016-09-06 20:57:50 +000075 AddMacroState(const FileSpec &current_file, const uint32_t current_file_line)
76 : m_state(CURRENT_FILE_NOT_YET_PUSHED), m_current_file(current_file),
77 m_current_file_line(current_file_line) {}
Siva Chandrad8335e92015-12-16 00:22:08 +000078
Kate Stoneb9c1b512016-09-06 20:57:50 +000079 void StartFile(const FileSpec &file) {
80 m_file_stack.push_back(file);
81 if (file == m_current_file)
82 m_state = CURRENT_FILE_PUSHED;
83 }
84
85 void EndFile() {
86 if (m_file_stack.size() == 0)
87 return;
88
89 FileSpec old_top = m_file_stack.back();
90 m_file_stack.pop_back();
91 if (old_top == m_current_file)
92 m_state = CURRENT_FILE_POPPED;
93 }
94
Adrian Prantl05097242018-04-30 16:49:04 +000095 // An entry is valid if it occurs before the current line in the current
96 // file.
Kate Stoneb9c1b512016-09-06 20:57:50 +000097 bool IsValidEntry(uint32_t line) {
98 switch (m_state) {
99 case CURRENT_FILE_NOT_YET_PUSHED:
100 return true;
101 case CURRENT_FILE_PUSHED:
Adrian Prantl05097242018-04-30 16:49:04 +0000102 // If we are in file included in the current file, the entry should be
103 // added.
Kate Stoneb9c1b512016-09-06 20:57:50 +0000104 if (m_file_stack.back() != m_current_file)
105 return true;
106
Jonas Devliegherea6682a42018-12-15 00:15:33 +0000107 return line < m_current_file_line;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000108 default:
109 return false;
Siva Chandrad8335e92015-12-16 00:22:08 +0000110 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000111 }
Siva Chandrad8335e92015-12-16 00:22:08 +0000112
113private:
Kate Stoneb9c1b512016-09-06 20:57:50 +0000114 std::vector<FileSpec> m_file_stack;
115 State m_state;
116 FileSpec m_current_file;
117 uint32_t m_current_file_line;
Siva Chandrad8335e92015-12-16 00:22:08 +0000118};
119
120} // anonymous namespace
121
Kate Stoneb9c1b512016-09-06 20:57:50 +0000122static void AddMacros(const DebugMacros *dm, CompileUnit *comp_unit,
123 AddMacroState &state, StreamString &stream) {
124 if (dm == nullptr)
125 return;
126
127 for (size_t i = 0; i < dm->GetNumMacroEntries(); i++) {
128 const DebugMacroEntry &entry = dm->GetMacroEntryAtIndex(i);
129 uint32_t line;
130
131 switch (entry.GetType()) {
132 case DebugMacroEntry::DEFINE:
133 if (state.IsValidEntry(entry.GetLineNumber()))
134 stream.Printf("#define %s\n", entry.GetMacroString().AsCString());
135 else
Siva Chandrad8335e92015-12-16 00:22:08 +0000136 return;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000137 break;
138 case DebugMacroEntry::UNDEF:
139 if (state.IsValidEntry(entry.GetLineNumber()))
140 stream.Printf("#undef %s\n", entry.GetMacroString().AsCString());
141 else
142 return;
143 break;
144 case DebugMacroEntry::START_FILE:
145 line = entry.GetLineNumber();
146 if (state.IsValidEntry(line))
147 state.StartFile(entry.GetFileSpec(comp_unit));
148 else
149 return;
150 break;
151 case DebugMacroEntry::END_FILE:
152 state.EndFile();
153 break;
154 case DebugMacroEntry::INDIRECT:
155 AddMacros(entry.GetIndirectDebugMacros(), comp_unit, state, stream);
156 break;
Jim Inghame5ee6f02016-03-29 22:00:08 +0000157 default:
Kate Stoneb9c1b512016-09-06 20:57:50 +0000158 // This is an unknown/invalid entry. Ignore.
159 break;
160 }
161 }
162}
163
164static void AddLocalVariableDecls(const lldb::VariableListSP &var_list_sp,
165 StreamString &stream) {
166 for (size_t i = 0; i < var_list_sp->GetSize(); i++) {
167 lldb::VariableSP var_sp = var_list_sp->GetVariableAtIndex(i);
168
169 ConstString var_name = var_sp->GetName();
170 if (!var_name || var_name == ConstString("this") ||
171 var_name == ConstString(".block_descriptor"))
172 continue;
173
174 stream.Printf("using $__lldb_local_vars::%s;\n", var_name.AsCString());
175 }
176}
177
178bool ExpressionSourceCode::GetText(std::string &text,
179 lldb::LanguageType wrapping_language,
180 bool static_method,
181 ExecutionContext &exe_ctx) const {
182 const char *target_specific_defines = "typedef signed char BOOL;\n";
183 std::string module_macros;
184
185 Target *target = exe_ctx.GetTargetPtr();
186 if (target) {
187 if (target->GetArchitecture().GetMachine() == llvm::Triple::aarch64) {
188 target_specific_defines = "typedef bool BOOL;\n";
189 }
190 if (target->GetArchitecture().GetMachine() == llvm::Triple::x86_64) {
191 if (lldb::PlatformSP platform_sp = target->GetPlatform()) {
192 static ConstString g_platform_ios_simulator("ios-simulator");
193 if (platform_sp->GetPluginName() == g_platform_ios_simulator) {
194 target_specific_defines = "typedef bool BOOL;\n";
195 }
196 }
197 }
198
199 if (ClangModulesDeclVendor *decl_vendor =
200 target->GetClangModulesDeclVendor()) {
201 ClangPersistentVariables *persistent_vars =
202 llvm::cast<ClangPersistentVariables>(
203 target->GetPersistentExpressionStateForLanguage(
204 lldb::eLanguageTypeC));
205 const ClangModulesDeclVendor::ModuleVector &hand_imported_modules =
206 persistent_vars->GetHandLoadedClangModules();
207 ClangModulesDeclVendor::ModuleVector modules_for_macros;
208
209 for (ClangModulesDeclVendor::ModuleID module : hand_imported_modules) {
210 modules_for_macros.push_back(module);
211 }
212
213 if (target->GetEnableAutoImportClangModules()) {
214 if (StackFrame *frame = exe_ctx.GetFramePtr()) {
215 if (Block *block = frame->GetFrameBlock()) {
216 SymbolContext sc;
217
218 block->CalculateSymbolContext(&sc);
219
220 if (sc.comp_unit) {
221 StreamString error_stream;
222
223 decl_vendor->AddModulesForCompileUnit(
224 *sc.comp_unit, modules_for_macros, error_stream);
225 }
226 }
227 }
228 }
229
230 decl_vendor->ForEachMacro(
231 modules_for_macros,
232 [&module_macros](const std::string &expansion) -> bool {
233 module_macros.append(expansion);
234 module_macros.append("\n");
235 return false;
236 });
237 }
238 }
239
240 StreamString debug_macros_stream;
241 StreamString lldb_local_var_decls;
242 if (StackFrame *frame = exe_ctx.GetFramePtr()) {
243 const SymbolContext &sc = frame->GetSymbolContext(
244 lldb::eSymbolContextCompUnit | lldb::eSymbolContextLineEntry);
245
246 if (sc.comp_unit && sc.line_entry.IsValid()) {
247 DebugMacros *dm = sc.comp_unit->GetDebugMacros();
248 if (dm) {
249 AddMacroState state(sc.line_entry.file, sc.line_entry.line);
250 AddMacros(dm, sc.comp_unit, state, debug_macros_stream);
251 }
252 }
253
254 ConstString object_name;
Krasimir Georgieva35912d2018-10-18 03:10:43 +0000255 if (Language::LanguageIsCPlusPlus(frame->GetLanguage())) {
Kate Stoneb9c1b512016-09-06 20:57:50 +0000256 if (target->GetInjectLocalVariables(&exe_ctx)) {
257 lldb::VariableListSP var_list_sp =
258 frame->GetInScopeVariableList(false, true);
259 AddLocalVariableDecls(var_list_sp, lldb_local_var_decls);
260 }
261 }
262 }
263
264 if (m_wrap) {
265 switch (wrapping_language) {
266 default:
267 return false;
Jim Inghame5ee6f02016-03-29 22:00:08 +0000268 case lldb::eLanguageTypeC:
269 case lldb::eLanguageTypeC_plus_plus:
270 case lldb::eLanguageTypeObjC:
Kate Stoneb9c1b512016-09-06 20:57:50 +0000271 break;
Jim Inghame5ee6f02016-03-29 22:00:08 +0000272 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000273
274 StreamString wrap_stream;
275
276 wrap_stream.Printf("%s\n%s\n%s\n%s\n%s\n", module_macros.c_str(),
277 debug_macros_stream.GetData(), g_expression_prefix,
278 target_specific_defines, m_prefix.c_str());
279
280 // First construct a tagged form of the user expression so we can find it
281 // later:
282 std::string tagged_body;
283 switch (wrapping_language) {
284 default:
285 tagged_body = m_body;
286 break;
287 case lldb::eLanguageTypeC:
288 case lldb::eLanguageTypeC_plus_plus:
289 case lldb::eLanguageTypeObjC:
290 tagged_body.append(c_start_marker);
291 tagged_body.append(m_body);
292 tagged_body.append(c_end_marker);
293 break;
294 }
295 switch (wrapping_language) {
296 default:
297 break;
298 case lldb::eLanguageTypeC:
299 wrap_stream.Printf("void \n"
300 "%s(void *$__lldb_arg) \n"
301 "{ \n"
302 " %s; \n"
303 "%s"
304 "} \n",
305 m_name.c_str(), lldb_local_var_decls.GetData(),
306 tagged_body.c_str());
307 break;
308 case lldb::eLanguageTypeC_plus_plus:
309 wrap_stream.Printf("void \n"
310 "$__lldb_class::%s(void *$__lldb_arg) \n"
311 "{ \n"
312 " %s; \n"
313 "%s"
314 "} \n",
315 m_name.c_str(), lldb_local_var_decls.GetData(),
316 tagged_body.c_str());
317 break;
318 case lldb::eLanguageTypeObjC:
319 if (static_method) {
320 wrap_stream.Printf(
321 "@interface $__lldb_objc_class ($__lldb_category) \n"
322 "+(void)%s:(void *)$__lldb_arg; \n"
323 "@end \n"
324 "@implementation $__lldb_objc_class ($__lldb_category) \n"
325 "+(void)%s:(void *)$__lldb_arg \n"
326 "{ \n"
327 "%s"
328 "} \n"
329 "@end \n",
330 m_name.c_str(), m_name.c_str(), tagged_body.c_str());
331 } else {
332 wrap_stream.Printf(
333 "@interface $__lldb_objc_class ($__lldb_category) \n"
334 "-(void)%s:(void *)$__lldb_arg; \n"
335 "@end \n"
336 "@implementation $__lldb_objc_class ($__lldb_category) \n"
337 "-(void)%s:(void *)$__lldb_arg \n"
338 "{ \n"
339 "%s"
340 "} \n"
341 "@end \n",
342 m_name.c_str(), m_name.c_str(), tagged_body.c_str());
343 }
344 break;
345 }
346
347 text = wrap_stream.GetString();
348 } else {
349 text.append(m_body);
350 }
351
352 return true;
Jim Inghame5ee6f02016-03-29 22:00:08 +0000353}
354
Kate Stoneb9c1b512016-09-06 20:57:50 +0000355bool ExpressionSourceCode::GetOriginalBodyBounds(
356 std::string transformed_text, lldb::LanguageType wrapping_language,
357 size_t &start_loc, size_t &end_loc) {
358 const char *start_marker;
359 const char *end_marker;
360
361 switch (wrapping_language) {
362 default:
363 return false;
364 case lldb::eLanguageTypeC:
365 case lldb::eLanguageTypeC_plus_plus:
366 case lldb::eLanguageTypeObjC:
367 start_marker = c_start_marker;
368 end_marker = c_end_marker;
369 break;
370 }
371
372 start_loc = transformed_text.find(start_marker);
373 if (start_loc == std::string::npos)
374 return false;
375 start_loc += strlen(start_marker);
376 end_loc = transformed_text.find(end_marker);
Jonas Devliegherea6682a42018-12-15 00:15:33 +0000377 return end_loc != std::string::npos;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000378}