blob: 803ea1a4562792f7e60309af0349b435b8e975e8 [file] [log] [blame]
Jim Inghamea401ec2019-03-06 22:43:25 +00001//===-- ClangExpressionSourceCode.cpp ---------------------------*- C++ -*-===//
Sean Callanan9bc83842011-09-26 18:45:31 +00002//
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
Jim Inghamea401ec2019-03-06 22:43:25 +00009#include "ClangExpressionSourceCode.h"
Sean Callanan9bc83842011-09-26 18:45:31 +000010
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
Jim Inghamea401ec2019-03-06 22:43:25 +000027const char *ClangExpressionSourceCode::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
Jim Inghamea401ec2019-03-06 22:43:25 +0000178bool ClangExpressionSourceCode::GetText(std::string &text,
Kate Stoneb9c1b512016-09-06 20:57:50 +0000179 lldb::LanguageType wrapping_language,
180 bool static_method,
Aleksandr Urakov40624a02019-02-05 09:14:36 +0000181 ExecutionContext &exe_ctx,
182 bool add_locals) const {
Kate Stoneb9c1b512016-09-06 20:57:50 +0000183 const char *target_specific_defines = "typedef signed char BOOL;\n";
184 std::string module_macros;
185
186 Target *target = exe_ctx.GetTargetPtr();
187 if (target) {
188 if (target->GetArchitecture().GetMachine() == llvm::Triple::aarch64) {
189 target_specific_defines = "typedef bool BOOL;\n";
190 }
191 if (target->GetArchitecture().GetMachine() == llvm::Triple::x86_64) {
192 if (lldb::PlatformSP platform_sp = target->GetPlatform()) {
193 static ConstString g_platform_ios_simulator("ios-simulator");
194 if (platform_sp->GetPluginName() == g_platform_ios_simulator) {
195 target_specific_defines = "typedef bool BOOL;\n";
196 }
197 }
198 }
199
200 if (ClangModulesDeclVendor *decl_vendor =
201 target->GetClangModulesDeclVendor()) {
202 ClangPersistentVariables *persistent_vars =
203 llvm::cast<ClangPersistentVariables>(
204 target->GetPersistentExpressionStateForLanguage(
205 lldb::eLanguageTypeC));
206 const ClangModulesDeclVendor::ModuleVector &hand_imported_modules =
207 persistent_vars->GetHandLoadedClangModules();
208 ClangModulesDeclVendor::ModuleVector modules_for_macros;
209
210 for (ClangModulesDeclVendor::ModuleID module : hand_imported_modules) {
211 modules_for_macros.push_back(module);
212 }
213
214 if (target->GetEnableAutoImportClangModules()) {
215 if (StackFrame *frame = exe_ctx.GetFramePtr()) {
216 if (Block *block = frame->GetFrameBlock()) {
217 SymbolContext sc;
218
219 block->CalculateSymbolContext(&sc);
220
221 if (sc.comp_unit) {
222 StreamString error_stream;
223
224 decl_vendor->AddModulesForCompileUnit(
225 *sc.comp_unit, modules_for_macros, error_stream);
226 }
227 }
228 }
229 }
230
231 decl_vendor->ForEachMacro(
232 modules_for_macros,
233 [&module_macros](const std::string &expansion) -> bool {
234 module_macros.append(expansion);
235 module_macros.append("\n");
236 return false;
237 });
238 }
239 }
240
241 StreamString debug_macros_stream;
242 StreamString lldb_local_var_decls;
243 if (StackFrame *frame = exe_ctx.GetFramePtr()) {
244 const SymbolContext &sc = frame->GetSymbolContext(
245 lldb::eSymbolContextCompUnit | lldb::eSymbolContextLineEntry);
246
247 if (sc.comp_unit && sc.line_entry.IsValid()) {
248 DebugMacros *dm = sc.comp_unit->GetDebugMacros();
249 if (dm) {
250 AddMacroState state(sc.line_entry.file, sc.line_entry.line);
251 AddMacros(dm, sc.comp_unit, state, debug_macros_stream);
252 }
253 }
254
Aleksandr Urakov40624a02019-02-05 09:14:36 +0000255 if (add_locals) {
256 if (Language::LanguageIsCPlusPlus(frame->GetLanguage())) {
257 if (target->GetInjectLocalVariables(&exe_ctx)) {
258 lldb::VariableListSP var_list_sp =
259 frame->GetInScopeVariableList(false, true);
260 AddLocalVariableDecls(var_list_sp, lldb_local_var_decls);
261 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000262 }
263 }
264 }
265
266 if (m_wrap) {
267 switch (wrapping_language) {
268 default:
269 return false;
Jim Inghame5ee6f02016-03-29 22:00:08 +0000270 case lldb::eLanguageTypeC:
271 case lldb::eLanguageTypeC_plus_plus:
272 case lldb::eLanguageTypeObjC:
Kate Stoneb9c1b512016-09-06 20:57:50 +0000273 break;
Jim Inghame5ee6f02016-03-29 22:00:08 +0000274 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000275
276 StreamString wrap_stream;
277
278 wrap_stream.Printf("%s\n%s\n%s\n%s\n%s\n", module_macros.c_str(),
279 debug_macros_stream.GetData(), g_expression_prefix,
280 target_specific_defines, m_prefix.c_str());
281
282 // First construct a tagged form of the user expression so we can find it
283 // later:
284 std::string tagged_body;
285 switch (wrapping_language) {
286 default:
287 tagged_body = m_body;
288 break;
289 case lldb::eLanguageTypeC:
290 case lldb::eLanguageTypeC_plus_plus:
291 case lldb::eLanguageTypeObjC:
292 tagged_body.append(c_start_marker);
293 tagged_body.append(m_body);
294 tagged_body.append(c_end_marker);
295 break;
296 }
297 switch (wrapping_language) {
298 default:
299 break;
300 case lldb::eLanguageTypeC:
301 wrap_stream.Printf("void \n"
302 "%s(void *$__lldb_arg) \n"
303 "{ \n"
304 " %s; \n"
305 "%s"
306 "} \n",
307 m_name.c_str(), lldb_local_var_decls.GetData(),
308 tagged_body.c_str());
309 break;
310 case lldb::eLanguageTypeC_plus_plus:
311 wrap_stream.Printf("void \n"
312 "$__lldb_class::%s(void *$__lldb_arg) \n"
313 "{ \n"
314 " %s; \n"
315 "%s"
316 "} \n",
317 m_name.c_str(), lldb_local_var_decls.GetData(),
318 tagged_body.c_str());
319 break;
320 case lldb::eLanguageTypeObjC:
321 if (static_method) {
322 wrap_stream.Printf(
323 "@interface $__lldb_objc_class ($__lldb_category) \n"
324 "+(void)%s:(void *)$__lldb_arg; \n"
325 "@end \n"
326 "@implementation $__lldb_objc_class ($__lldb_category) \n"
327 "+(void)%s:(void *)$__lldb_arg \n"
328 "{ \n"
329 "%s"
330 "} \n"
331 "@end \n",
332 m_name.c_str(), m_name.c_str(), tagged_body.c_str());
333 } else {
334 wrap_stream.Printf(
335 "@interface $__lldb_objc_class ($__lldb_category) \n"
336 "-(void)%s:(void *)$__lldb_arg; \n"
337 "@end \n"
338 "@implementation $__lldb_objc_class ($__lldb_category) \n"
339 "-(void)%s:(void *)$__lldb_arg \n"
340 "{ \n"
341 "%s"
342 "} \n"
343 "@end \n",
344 m_name.c_str(), m_name.c_str(), tagged_body.c_str());
345 }
346 break;
347 }
348
349 text = wrap_stream.GetString();
350 } else {
351 text.append(m_body);
352 }
353
354 return true;
Jim Inghame5ee6f02016-03-29 22:00:08 +0000355}
356
Jim Inghamea401ec2019-03-06 22:43:25 +0000357bool ClangExpressionSourceCode::GetOriginalBodyBounds(
Kate Stoneb9c1b512016-09-06 20:57:50 +0000358 std::string transformed_text, lldb::LanguageType wrapping_language,
359 size_t &start_loc, size_t &end_loc) {
360 const char *start_marker;
361 const char *end_marker;
362
363 switch (wrapping_language) {
364 default:
365 return false;
366 case lldb::eLanguageTypeC:
367 case lldb::eLanguageTypeC_plus_plus:
368 case lldb::eLanguageTypeObjC:
369 start_marker = c_start_marker;
370 end_marker = c_end_marker;
371 break;
372 }
373
374 start_loc = transformed_text.find(start_marker);
375 if (start_loc == std::string::npos)
376 return false;
377 start_loc += strlen(start_marker);
378 end_loc = transformed_text.find(end_marker);
Jonas Devliegherea6682a42018-12-15 00:15:33 +0000379 return end_loc != std::string::npos;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000380}