blob: ef76b9da720736f9a63b3f86750855fcaae310f8 [file] [log] [blame]
Sean Callanan47dc4572011-09-15 02:13:07 +00001//===-- IRForTarget.cpp -----------------------------------------*- C++ -*-===//
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "lldb/Expression/IRForTarget.h"
11
12#include "llvm/Support/raw_ostream.h"
Sean Callanan2a8c3382011-04-14 02:01:31 +000013#include "llvm/Constants.h"
Micah Villmow3051ed72012-10-08 16:28:57 +000014#include "llvm/DataLayout.h"
Sean Callanan5cf4a1c2010-07-03 01:35:46 +000015#include "llvm/InstrTypes.h"
Sean Callanan8bce6652010-07-13 21:41:46 +000016#include "llvm/Instructions.h"
Sean Callanan3cb1fd82010-09-28 23:55:00 +000017#include "llvm/Intrinsics.h"
Sean Callanan5cf4a1c2010-07-03 01:35:46 +000018#include "llvm/Module.h"
Sean Callanan06dc17f2012-09-24 22:25:51 +000019#include "llvm/PassManager.h"
Sean Callanan06dc17f2012-09-24 22:25:51 +000020#include "llvm/Transforms/IPO.h"
Sean Callanan82b74c82010-08-12 01:56:52 +000021#include "llvm/ValueSymbolTable.h"
Sean Callanan8bce6652010-07-13 21:41:46 +000022
23#include "clang/AST/ASTContext.h"
Sean Callanan5cf4a1c2010-07-03 01:35:46 +000024
Greg Clayton8de27c72010-10-15 22:48:33 +000025#include "lldb/Core/ConstString.h"
Sean Callanan5cf4a1c2010-07-03 01:35:46 +000026#include "lldb/Core/dwarf.h"
27#include "lldb/Core/Log.h"
28#include "lldb/Core/Scalar.h"
29#include "lldb/Core/StreamString.h"
30#include "lldb/Expression/ClangExpressionDeclMap.h"
Sean Callanan47dc4572011-09-15 02:13:07 +000031#include "lldb/Expression/IRInterpreter.h"
Sean Callananc0492742011-05-23 21:40:23 +000032#include "lldb/Host/Endian.h"
Sean Callanan696cf5f2011-05-07 01:06:41 +000033#include "lldb/Symbol/ClangASTContext.h"
Sean Callanan5cf4a1c2010-07-03 01:35:46 +000034
35#include <map>
36
37using namespace llvm;
38
Sean Callanan3351dac2010-08-18 18:50:51 +000039static char ID;
40
Sean Callananc0492742011-05-23 21:40:23 +000041IRForTarget::StaticDataAllocator::StaticDataAllocator()
42{
43}
44
45IRForTarget::StaticDataAllocator::~StaticDataAllocator()
46{
47}
48
Greg Clayton3c7feb42010-11-19 01:05:25 +000049IRForTarget::IRForTarget (lldb_private::ClangExpressionDeclMap *decl_map,
50 bool resolve_vars,
Sean Callanan47dc4572011-09-15 02:13:07 +000051 lldb_private::ExecutionPolicy execution_policy,
Sean Callanan696cf5f2011-05-07 01:06:41 +000052 lldb::ClangExpressionVariableSP &const_result,
Sean Callananc0492742011-05-23 21:40:23 +000053 StaticDataAllocator *data_allocator,
Sean Callanan97c924e2011-01-27 01:07:04 +000054 lldb_private::Stream *error_stream,
Greg Clayton3c7feb42010-11-19 01:05:25 +000055 const char *func_name) :
Sean Callanan47a5c4c2010-09-23 03:01:22 +000056 ModulePass(ID),
Stephen Wilsondbeb3e12011-04-11 19:41:40 +000057 m_resolve_vars(resolve_vars),
Sean Callanan47dc4572011-09-15 02:13:07 +000058 m_execution_policy(execution_policy),
59 m_interpret_success(false),
Stephen Wilsondbeb3e12011-04-11 19:41:40 +000060 m_func_name(func_name),
Sean Callananc0492742011-05-23 21:40:23 +000061 m_module(NULL),
Johnny Chen2bc9eb32011-07-19 19:48:13 +000062 m_decl_map(decl_map),
63 m_data_allocator(data_allocator),
Sean Callanan6ba533e2010-11-17 23:00:36 +000064 m_CFStringCreateWithBytes(NULL),
Sean Callanan65dafa82010-08-27 01:01:44 +000065 m_sel_registerName(NULL),
Johnny Chen2bc9eb32011-07-19 19:48:13 +000066 m_const_result(const_result),
Stephen Wilsondbeb3e12011-04-11 19:41:40 +000067 m_error_stream(error_stream),
Sean Callanan6a925532011-01-13 08:53:35 +000068 m_has_side_effects(false),
Sean Callanan696cf5f2011-05-07 01:06:41 +000069 m_result_store(NULL),
70 m_result_is_pointer(false),
Sean Callananc0492742011-05-23 21:40:23 +000071 m_reloc_placeholder(NULL)
Sean Callanan5cf4a1c2010-07-03 01:35:46 +000072{
73}
74
Sean Callanan771131d2010-09-30 21:18:25 +000075/* Handy utility functions used at several places in the code */
Sean Callanana48fe162010-08-11 03:57:18 +000076
77static std::string
Greg Clayton3c7feb42010-11-19 01:05:25 +000078PrintValue(const Value *value, bool truncate = false)
Sean Callanana48fe162010-08-11 03:57:18 +000079{
80 std::string s;
Jim Ingham6f01c932012-10-12 17:34:26 +000081 if (value)
82 {
83 raw_string_ostream rso(s);
84 value->print(rso);
85 rso.flush();
86 if (truncate)
87 s.resize(s.length() - 1);
88 }
Sean Callanana48fe162010-08-11 03:57:18 +000089 return s;
90}
91
Sean Callanan771131d2010-09-30 21:18:25 +000092static std::string
Greg Clayton3c7feb42010-11-19 01:05:25 +000093PrintType(const Type *type, bool truncate = false)
Sean Callanan771131d2010-09-30 21:18:25 +000094{
95 std::string s;
96 raw_string_ostream rso(s);
Greg Clayton3c7feb42010-11-19 01:05:25 +000097 type->print(rso);
Sean Callanan771131d2010-09-30 21:18:25 +000098 rso.flush();
99 if (truncate)
100 s.resize(s.length() - 1);
101 return s;
102}
103
Sean Callanan5cf4a1c2010-07-03 01:35:46 +0000104IRForTarget::~IRForTarget()
105{
106}
107
Sean Callananc0492742011-05-23 21:40:23 +0000108bool
109IRForTarget::FixFunctionLinkage(llvm::Function &llvm_function)
110{
111 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
112
113 llvm_function.setLinkage(GlobalValue::ExternalLinkage);
114
Sean Callananfecc09c2011-11-19 02:54:21 +0000115 std::string name = llvm_function.getName().str();
Sean Callananc0492742011-05-23 21:40:23 +0000116
117 return true;
118}
119
Sean Callanan82b74c82010-08-12 01:56:52 +0000120bool
Sean Callananc0492742011-05-23 21:40:23 +0000121IRForTarget::HasSideEffects (llvm::Function &llvm_function)
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000122{
123 llvm::Function::iterator bbi;
124 BasicBlock::iterator ii;
Sean Callanan696cf5f2011-05-07 01:06:41 +0000125
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000126 for (bbi = llvm_function.begin();
127 bbi != llvm_function.end();
128 ++bbi)
129 {
130 BasicBlock &basic_block = *bbi;
131
132 for (ii = basic_block.begin();
133 ii != basic_block.end();
134 ++ii)
135 {
136 switch (ii->getOpcode())
137 {
138 default:
139 return true;
140 case Instruction::Store:
141 {
142 StoreInst *store_inst = dyn_cast<StoreInst>(ii);
143
144 Value *store_ptr = store_inst->getPointerOperand();
145
Sean Callanan696cf5f2011-05-07 01:06:41 +0000146 std::string ptr_name;
147
148 if (store_ptr->hasName())
Sean Callananfecc09c2011-11-19 02:54:21 +0000149 ptr_name = store_ptr->getName().str();
Sean Callanan696cf5f2011-05-07 01:06:41 +0000150
151 if (isa <AllocaInst> (store_ptr))
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000152 break;
Sean Callanan696cf5f2011-05-07 01:06:41 +0000153
154 if (ptr_name.find("$__lldb_expr_result") != std::string::npos)
155 {
156 if (ptr_name.find("GV") == std::string::npos)
157 m_result_store = store_inst;
158 }
159 else
160 {
161 return true;
162 }
163
164 break;
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000165 }
166 case Instruction::Load:
167 case Instruction::Alloca:
168 case Instruction::GetElementPtr:
Sean Callanan696cf5f2011-05-07 01:06:41 +0000169 case Instruction::BitCast:
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000170 case Instruction::Ret:
Sean Callanan696cf5f2011-05-07 01:06:41 +0000171 case Instruction::ICmp:
172 case Instruction::Br:
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000173 break;
174 }
175 }
176 }
177
178 return false;
179}
180
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000181bool
182IRForTarget::GetFunctionAddress (llvm::Function *fun,
183 uint64_t &fun_addr,
184 lldb_private::ConstString &name,
185 Constant **&value_ptr)
186{
187 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
188
189 fun_addr = LLDB_INVALID_ADDRESS;
190 name.Clear();
191 value_ptr = NULL;
192
193 if (fun->isIntrinsic())
194 {
195 Intrinsic::ID intrinsic_id = (Intrinsic::ID)fun->getIntrinsicID();
196
197 switch (intrinsic_id)
198 {
199 default:
200 if (log)
201 log->Printf("Unresolved intrinsic \"%s\"", Intrinsic::getName(intrinsic_id).c_str());
202
203 if (m_error_stream)
204 m_error_stream->Printf("Internal error [IRForTarget]: Call to unhandled compiler intrinsic '%s'\n", Intrinsic::getName(intrinsic_id).c_str());
205
206 return false;
207 case Intrinsic::memcpy:
208 {
209 static lldb_private::ConstString g_memcpy_str ("memcpy");
210 name = g_memcpy_str;
211 }
212 break;
Sean Callanan7befa302011-11-16 00:20:50 +0000213 case Intrinsic::memset:
214 {
215 static lldb_private::ConstString g_memset_str ("memset");
216 name = g_memset_str;
217 }
218 break;
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000219 }
220
221 if (log && name)
222 log->Printf("Resolved intrinsic name \"%s\"", name.GetCString());
223 }
224 else
225 {
226 name.SetCStringWithLength (fun->getName().data(), fun->getName().size());
227 }
228
229 // Find the address of the function.
230
231 clang::NamedDecl *fun_decl = DeclForGlobal (fun);
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000232
233 if (fun_decl)
234 {
Sean Callananc7ca4662011-10-25 18:36:40 +0000235 if (!m_decl_map->GetFunctionInfo (fun_decl, fun_addr))
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000236 {
Greg Clayton9b98ffd2012-07-18 20:47:40 +0000237 lldb_private::ConstString altnernate_name;
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000238 bool found_it = m_decl_map->GetFunctionAddress (name, fun_addr);
239 if (!found_it)
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000240 {
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000241 // Check for an alternate mangling for "std::basic_string<char>"
242 // that is part of the itanium C++ name mangling scheme
243 const char *name_cstr = name.GetCString();
Jim Ingham6f01c932012-10-12 17:34:26 +0000244 if (name_cstr && strncmp(name_cstr, "_ZNKSbIcE", strlen("_ZNKSbIcE")) == 0)
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000245 {
246 std::string alternate_mangling("_ZNKSs");
247 alternate_mangling.append (name_cstr + strlen("_ZNKSbIcE"));
Greg Clayton9b98ffd2012-07-18 20:47:40 +0000248 altnernate_name.SetCString(alternate_mangling.c_str());
249 found_it = m_decl_map->GetFunctionAddress (altnernate_name, fun_addr);
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000250 }
251 }
252
253 if (!found_it)
254 {
Greg Clayton9b98ffd2012-07-18 20:47:40 +0000255 lldb_private::Mangled mangled_name(name);
256 lldb_private::Mangled alt_mangled_name(altnernate_name);
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000257 if (log)
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000258 {
Greg Clayton9b98ffd2012-07-18 20:47:40 +0000259 if (alt_mangled_name)
260 log->Printf("Function \"%s\" (alternate name \"%s\") has no address",
261 mangled_name.GetName().GetCString(),
262 alt_mangled_name.GetName().GetCString());
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000263 else
Greg Clayton9b98ffd2012-07-18 20:47:40 +0000264 log->Printf("Function \"%s\" had no address",
265 mangled_name.GetName().GetCString());
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000266 }
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000267
268 if (m_error_stream)
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000269 {
Greg Clayton9b98ffd2012-07-18 20:47:40 +0000270 if (alt_mangled_name)
271 m_error_stream->Printf("error: call to a function '%s' (alternate name '%s') that is not present in the target\n",
272 mangled_name.GetName().GetCString(),
273 alt_mangled_name.GetName().GetCString());
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000274 else
Greg Clayton9b98ffd2012-07-18 20:47:40 +0000275 m_error_stream->Printf("error: call to a function '%s' that is not present in the target\n",
276 mangled_name.GetName().GetCString());
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000277 }
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000278 return false;
279 }
280 }
281 }
282 else
283 {
284 if (!m_decl_map->GetFunctionAddress (name, fun_addr))
285 {
286 if (log)
287 log->Printf ("Metadataless function \"%s\" had no address", name.GetCString());
288
289 if (m_error_stream)
290 m_error_stream->Printf("Error [IRForTarget]: Call to a symbol-only function '%s' that is not present in the target\n", name.GetCString());
291
292 return false;
293 }
294 }
295
296 if (log)
297 log->Printf("Found \"%s\" at 0x%llx", name.GetCString(), fun_addr);
298
299 return true;
300}
301
302llvm::Constant *
303IRForTarget::BuildFunctionPointer (llvm::Type *type,
304 uint64_t ptr)
305{
306 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Sean Callanan4fbe61b2012-10-11 22:00:52 +0000307 (m_module->getPointerSize() == Module::Pointer64) ? 64 : 32);
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000308 PointerType *fun_ptr_ty = PointerType::getUnqual(type);
309 Constant *fun_addr_int = ConstantInt::get(intptr_ty, ptr, false);
310 return ConstantExpr::getIntToPtr(fun_addr_int, fun_ptr_ty);
311}
312
Sean Callanan715f6b02011-10-31 22:11:40 +0000313void
314IRForTarget::RegisterFunctionMetadata(LLVMContext &context,
315 llvm::Value *function_ptr,
316 const char *name)
317{
318 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
319
320 for (Value::use_iterator i = function_ptr->use_begin(), e = function_ptr->use_end();
321 i != e;
322 ++i)
323 {
324 Value *user = *i;
325
326 if (Instruction *user_inst = dyn_cast<Instruction>(user))
327 {
Sean Callanan39a30342012-02-09 03:22:41 +0000328 Constant *name_array = ConstantDataArray::getString(context, StringRef(name));
Sean Callanan715f6b02011-10-31 22:11:40 +0000329
330 ArrayRef<Value *> md_values(name_array);
331
332 MDNode *metadata = MDNode::get(context, md_values);
333
334 user_inst->setMetadata("lldb.call.realName", metadata);
335 }
336 else
337 {
338 RegisterFunctionMetadata (context, user, name);
339 }
340 }
341}
342
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000343bool
344IRForTarget::ResolveFunctionPointers(llvm::Module &llvm_module,
345 llvm::Function &llvm_function)
346{
347 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
348
349 for (llvm::Module::iterator fi = llvm_module.begin();
350 fi != llvm_module.end();
351 ++fi)
352 {
353 Function *fun = fi;
354
355 bool is_decl = fun->isDeclaration();
356
357 if (log)
Sean Callananfecc09c2011-11-19 02:54:21 +0000358 log->Printf("Examining %s function %s", (is_decl ? "declaration" : "non-declaration"), fun->getName().str().c_str());
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000359
360 if (!is_decl)
361 continue;
362
363 if (fun->hasNUses(0))
364 continue; // ignore
365
366 uint64_t addr = LLDB_INVALID_ADDRESS;
367 lldb_private::ConstString name;
368 Constant **value_ptr = NULL;
369
370 if (!GetFunctionAddress(fun,
371 addr,
372 name,
373 value_ptr))
374 return false; // GetFunctionAddress reports its own errors
375
376 Constant *value = BuildFunctionPointer(fun->getFunctionType(), addr);
377
Sean Callanan715f6b02011-10-31 22:11:40 +0000378 RegisterFunctionMetadata (llvm_module.getContext(), fun, name.AsCString());
379
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000380 if (value_ptr)
381 *value_ptr = value;
382
383 fun->replaceAllUsesWith(value);
384 }
385
386 return true;
387}
388
Sean Callanan47dc4572011-09-15 02:13:07 +0000389
Sean Callanan696cf5f2011-05-07 01:06:41 +0000390clang::NamedDecl *
Sean Callanan47dc4572011-09-15 02:13:07 +0000391IRForTarget::DeclForGlobal (const GlobalValue *global_val, Module *module)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000392{
393 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
394
Sean Callanan47dc4572011-09-15 02:13:07 +0000395 NamedMDNode *named_metadata = module->getNamedMetadata("clang.global.decl.ptrs");
Sean Callanan696cf5f2011-05-07 01:06:41 +0000396
397 if (!named_metadata)
398 return NULL;
399
400 unsigned num_nodes = named_metadata->getNumOperands();
401 unsigned node_index;
402
403 for (node_index = 0;
404 node_index < num_nodes;
405 ++node_index)
406 {
407 MDNode *metadata_node = named_metadata->getOperand(node_index);
408
409 if (!metadata_node)
410 return NULL;
411
412 if (metadata_node->getNumOperands() != 2)
413 continue;
414
415 if (metadata_node->getOperand(0) != global_val)
416 continue;
417
418 ConstantInt *constant_int = dyn_cast<ConstantInt>(metadata_node->getOperand(1));
419
420 if (!constant_int)
421 return NULL;
422
423 uintptr_t ptr = constant_int->getZExtValue();
424
425 return reinterpret_cast<clang::NamedDecl *>(ptr);
426 }
427
428 return NULL;
429}
430
Sean Callanan47dc4572011-09-15 02:13:07 +0000431clang::NamedDecl *
432IRForTarget::DeclForGlobal (GlobalValue *global_val)
433{
434 return DeclForGlobal(global_val, m_module);
435}
436
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000437void
438IRForTarget::MaybeSetConstantResult (llvm::Constant *initializer,
439 const lldb_private::ConstString &name,
440 lldb_private::TypeFromParser type)
441{
Sean Callanan696cf5f2011-05-07 01:06:41 +0000442 if (llvm::ConstantExpr *init_expr = dyn_cast<llvm::ConstantExpr>(initializer))
443 {
444 switch (init_expr->getOpcode())
445 {
446 default:
447 return;
448 case Instruction::IntToPtr:
449 MaybeSetConstantResult (init_expr->getOperand(0), name, type);
450 return;
451 }
452 }
453 else if (llvm::ConstantInt *init_int = dyn_cast<llvm::ConstantInt>(initializer))
454 {
455 m_const_result = m_decl_map->BuildIntegerVariable(name, type, init_int->getValue());
456 }
457}
458
459void
Sean Callananc0492742011-05-23 21:40:23 +0000460IRForTarget::MaybeSetCastResult (lldb_private::TypeFromParser type)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000461{
462 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
463
464 if (!m_result_store)
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000465 return;
466
Sean Callanan696cf5f2011-05-07 01:06:41 +0000467 LoadInst *original_load = NULL;
468
469 for (llvm::Value *current_value = m_result_store->getValueOperand(), *next_value;
470 current_value != NULL;
471 current_value = next_value)
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000472 {
Sean Callanan696cf5f2011-05-07 01:06:41 +0000473 CastInst *cast_inst = dyn_cast<CastInst>(current_value);
474 LoadInst *load_inst = dyn_cast<LoadInst>(current_value);
475
476 if (cast_inst)
477 {
478 next_value = cast_inst->getOperand(0);
479 }
Enrico Granata4c3fb4b2011-07-19 18:03:25 +0000480 else if (load_inst)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000481 {
482 if (isa<LoadInst>(load_inst->getPointerOperand()))
483 {
484 next_value = load_inst->getPointerOperand();
485 }
486 else
487 {
488 original_load = load_inst;
489 break;
490 }
491 }
492 else
493 {
494 return;
495 }
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000496 }
Sean Callanan696cf5f2011-05-07 01:06:41 +0000497
Jim Ingham6f01c932012-10-12 17:34:26 +0000498 if (!original_load)
499 return;
500
Sean Callanan696cf5f2011-05-07 01:06:41 +0000501 Value *loaded_value = original_load->getPointerOperand();
502 GlobalVariable *loaded_global = dyn_cast<GlobalVariable>(loaded_value);
503
504 if (!loaded_global)
505 return;
506
Sean Callananc0492742011-05-23 21:40:23 +0000507 clang::NamedDecl *loaded_decl = DeclForGlobal(loaded_global);
Sean Callanan696cf5f2011-05-07 01:06:41 +0000508
509 if (!loaded_decl)
510 return;
511
512 clang::VarDecl *loaded_var = dyn_cast<clang::VarDecl>(loaded_decl);
513
514 if (!loaded_var)
515 return;
516
517 if (log)
518 {
519 lldb_private::StreamString type_desc_stream;
520 type.DumpTypeDescription(&type_desc_stream);
521
522 log->Printf("Type to cast variable to: \"%s\"", type_desc_stream.GetString().c_str());
523 }
524
525 m_const_result = m_decl_map->BuildCastVariable(m_result_name, loaded_var, type);
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000526}
527
528bool
Sean Callananc0492742011-05-23 21:40:23 +0000529IRForTarget::CreateResultVariable (llvm::Function &llvm_function)
Sean Callanan82b74c82010-08-12 01:56:52 +0000530{
Greg Claytone005f2c2010-11-06 01:53:30 +0000531 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan82b74c82010-08-12 01:56:52 +0000532
Sean Callanane8a59a82010-09-13 21:34:21 +0000533 if (!m_resolve_vars)
534 return true;
535
536 // Find the result variable. If it doesn't exist, we can give up right here.
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000537
Sean Callananc0492742011-05-23 21:40:23 +0000538 ValueSymbolTable& value_symbol_table = m_module->getValueSymbolTable();
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000539
Sean Callanan9b6898f2011-07-30 02:42:06 +0000540 std::string result_name_str;
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000541 const char *result_name = NULL;
542
543 for (ValueSymbolTable::iterator vi = value_symbol_table.begin(), ve = value_symbol_table.end();
544 vi != ve;
545 ++vi)
546 {
Sean Callanan9b6898f2011-07-30 02:42:06 +0000547 result_name_str = vi->first().str();
548 const char *value_name = result_name_str.c_str();
549
550 if (strstr(value_name, "$__lldb_expr_result_ptr") &&
Sean Callanan880b2ca2012-11-02 22:28:08 +0000551 strncmp(value_name, "_ZGV", 4))
Sean Callanan6a925532011-01-13 08:53:35 +0000552 {
Sean Callanan9b6898f2011-07-30 02:42:06 +0000553 result_name = value_name;
Sean Callanan6a925532011-01-13 08:53:35 +0000554 m_result_is_pointer = true;
555 break;
556 }
557
Sean Callanan9b6898f2011-07-30 02:42:06 +0000558 if (strstr(value_name, "$__lldb_expr_result") &&
Sean Callanan880b2ca2012-11-02 22:28:08 +0000559 strncmp(value_name, "_ZGV", 4))
Sean Callananc04743d2010-09-28 21:13:03 +0000560 {
Sean Callanan9b6898f2011-07-30 02:42:06 +0000561 result_name = value_name;
Sean Callanan6a925532011-01-13 08:53:35 +0000562 m_result_is_pointer = false;
Sean Callananc04743d2010-09-28 21:13:03 +0000563 break;
564 }
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000565 }
566
567 if (!result_name)
568 {
569 if (log)
570 log->PutCString("Couldn't find result variable");
571
572 return true;
573 }
574
Sean Callananc04743d2010-09-28 21:13:03 +0000575 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +0000576 log->Printf("Result name: \"%s\"", result_name);
Sean Callananc04743d2010-09-28 21:13:03 +0000577
Sean Callananc0492742011-05-23 21:40:23 +0000578 Value *result_value = m_module->getNamedValue(result_name);
Sean Callanan82b74c82010-08-12 01:56:52 +0000579
580 if (!result_value)
581 {
582 if (log)
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000583 log->PutCString("Result variable had no data");
Sean Callanan6a925532011-01-13 08:53:35 +0000584
Sean Callanan97c924e2011-01-27 01:07:04 +0000585 if (m_error_stream)
586 m_error_stream->Printf("Internal error [IRForTarget]: Result variable's name (%s) exists, but not its definition\n", result_name);
587
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000588 return false;
Sean Callanan82b74c82010-08-12 01:56:52 +0000589 }
Sean Callanane8a59a82010-09-13 21:34:21 +0000590
Sean Callanan82b74c82010-08-12 01:56:52 +0000591 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +0000592 log->Printf("Found result in the IR: \"%s\"", PrintValue(result_value, false).c_str());
Sean Callanan82b74c82010-08-12 01:56:52 +0000593
594 GlobalVariable *result_global = dyn_cast<GlobalVariable>(result_value);
595
596 if (!result_global)
597 {
598 if (log)
599 log->PutCString("Result variable isn't a GlobalVariable");
Sean Callanan97c924e2011-01-27 01:07:04 +0000600
601 if (m_error_stream)
602 m_error_stream->Printf("Internal error [IRForTarget]: Result variable (%s) is defined, but is not a global variable\n", result_name);
603
Sean Callanan82b74c82010-08-12 01:56:52 +0000604 return false;
605 }
606
Sean Callananc0492742011-05-23 21:40:23 +0000607 clang::NamedDecl *result_decl = DeclForGlobal (result_global);
Sean Callanan696cf5f2011-05-07 01:06:41 +0000608 if (!result_decl)
Sean Callanan82b74c82010-08-12 01:56:52 +0000609 {
610 if (log)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000611 log->PutCString("Result variable doesn't have a corresponding Decl");
Sean Callanan82b74c82010-08-12 01:56:52 +0000612
Sean Callanan97c924e2011-01-27 01:07:04 +0000613 if (m_error_stream)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000614 m_error_stream->Printf("Internal error [IRForTarget]: Result variable (%s) does not have a corresponding Clang entity\n", result_name);
Sean Callanan97c924e2011-01-27 01:07:04 +0000615
Sean Callanan82b74c82010-08-12 01:56:52 +0000616 return false;
617 }
Sean Callanan82b74c82010-08-12 01:56:52 +0000618
Sean Callanan696cf5f2011-05-07 01:06:41 +0000619 if (log)
Sean Callanan82b74c82010-08-12 01:56:52 +0000620 {
Sean Callanan696cf5f2011-05-07 01:06:41 +0000621 std::string decl_desc_str;
622 raw_string_ostream decl_desc_stream(decl_desc_str);
623 result_decl->print(decl_desc_stream);
624 decl_desc_stream.flush();
Sean Callanan82b74c82010-08-12 01:56:52 +0000625
Sean Callanan696cf5f2011-05-07 01:06:41 +0000626 log->Printf("Found result decl: \"%s\"", decl_desc_str.c_str());
Sean Callanan82b74c82010-08-12 01:56:52 +0000627 }
628
Sean Callanan696cf5f2011-05-07 01:06:41 +0000629 clang::VarDecl *result_var = dyn_cast<clang::VarDecl>(result_decl);
630 if (!result_var)
Sean Callanan82b74c82010-08-12 01:56:52 +0000631 {
632 if (log)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000633 log->PutCString("Result variable Decl isn't a VarDecl");
Sean Callanan97c924e2011-01-27 01:07:04 +0000634
635 if (m_error_stream)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000636 m_error_stream->Printf("Internal error [IRForTarget]: Result variable (%s)'s corresponding Clang entity isn't a variable\n", result_name);
Sean Callanan97c924e2011-01-27 01:07:04 +0000637
Sean Callanan82b74c82010-08-12 01:56:52 +0000638 return false;
639 }
Sean Callanan82b74c82010-08-12 01:56:52 +0000640
Sean Callanan82b74c82010-08-12 01:56:52 +0000641 // Get the next available result name from m_decl_map and create the persistent
642 // variable for it
Sean Callanan47dc4572011-09-15 02:13:07 +0000643
Sean Callanan696cf5f2011-05-07 01:06:41 +0000644 // If the result is an Lvalue, it is emitted as a pointer; see
645 // ASTResultSynthesizer::SynthesizeBodyResult.
Sean Callanan6a925532011-01-13 08:53:35 +0000646 if (m_result_is_pointer)
647 {
Sean Callanan696cf5f2011-05-07 01:06:41 +0000648 clang::QualType pointer_qual_type = result_var->getType();
Sean Callanand5b3c352011-01-27 04:42:51 +0000649 const clang::Type *pointer_type = pointer_qual_type.getTypePtr();
Sean Callanan6a925532011-01-13 08:53:35 +0000650
Sean Callanan21f2e192011-12-14 01:13:04 +0000651 const clang::PointerType *pointer_pointertype = pointer_type->getAs<clang::PointerType>();
652 const clang::ObjCObjectPointerType *pointer_objcobjpointertype = pointer_type->getAs<clang::ObjCObjectPointerType>();
Sean Callanan4fdf7952011-12-08 19:04:34 +0000653
654 if (pointer_pointertype)
655 {
656 clang::QualType element_qual_type = pointer_pointertype->getPointeeType();
657
658 m_result_type = lldb_private::TypeFromParser(element_qual_type.getAsOpaquePtr(),
659 &result_decl->getASTContext());
660 }
661 else if (pointer_objcobjpointertype)
662 {
663 clang::QualType element_qual_type = clang::QualType(pointer_objcobjpointertype->getObjectType(), 0);
664
665 m_result_type = lldb_private::TypeFromParser(element_qual_type.getAsOpaquePtr(),
666 &result_decl->getASTContext());
667 }
668 else
Sean Callanan6a925532011-01-13 08:53:35 +0000669 {
670 if (log)
671 log->PutCString("Expected result to have pointer type, but it did not");
Sean Callanan97c924e2011-01-27 01:07:04 +0000672
673 if (m_error_stream)
674 m_error_stream->Printf("Internal error [IRForTarget]: Lvalue result (%s) is not a pointer variable\n", result_name);
675
Sean Callanan6a925532011-01-13 08:53:35 +0000676 return false;
677 }
Sean Callanan6a925532011-01-13 08:53:35 +0000678 }
679 else
680 {
Sean Callanan47dc4572011-09-15 02:13:07 +0000681 m_result_type = lldb_private::TypeFromParser(result_var->getType().getAsOpaquePtr(),
Sean Callanan5a55c7a2011-11-18 03:28:09 +0000682 &result_decl->getASTContext());
683 }
684
685 if (m_result_type.GetClangTypeBitWidth() == 0)
686 {
687 lldb_private::StreamString type_desc_stream;
688 m_result_type.DumpTypeDescription(&type_desc_stream);
689
690 if (log)
691 log->Printf("Result type has size 0");
692
693 if (m_error_stream)
Sean Callananb6f9ee72011-12-21 23:44:05 +0000694 m_error_stream->Printf("Error [IRForTarget]: Size of result type '%s' couldn't be determined\n",
Sean Callanan5a55c7a2011-11-18 03:28:09 +0000695 type_desc_stream.GetData());
Sean Callananb6f9ee72011-12-21 23:44:05 +0000696 return false;
Sean Callanan6a925532011-01-13 08:53:35 +0000697 }
698
Sean Callanan696cf5f2011-05-07 01:06:41 +0000699 if (log)
700 {
701 lldb_private::StreamString type_desc_stream;
Sean Callanan47dc4572011-09-15 02:13:07 +0000702 m_result_type.DumpTypeDescription(&type_desc_stream);
Sean Callanan696cf5f2011-05-07 01:06:41 +0000703
Sean Callanan5a55c7a2011-11-18 03:28:09 +0000704 log->Printf("Result decl type: \"%s\"", type_desc_stream.GetData());
Sean Callanan696cf5f2011-05-07 01:06:41 +0000705 }
706
Sean Callanan6a925532011-01-13 08:53:35 +0000707 m_result_name = m_decl_map->GetPersistentResultName();
Sean Callanan82b74c82010-08-12 01:56:52 +0000708
709 if (log)
Sean Callanan5a55c7a2011-11-18 03:28:09 +0000710 log->Printf("Creating a new result global: \"%s\" with size 0x%x",
711 m_result_name.GetCString(),
712 m_result_type.GetClangTypeBitWidth() / 8);
Sean Callanan82b74c82010-08-12 01:56:52 +0000713
714 // Construct a new result global and set up its metadata
715
Sean Callananc0492742011-05-23 21:40:23 +0000716 GlobalVariable *new_result_global = new GlobalVariable((*m_module),
Sean Callanan82b74c82010-08-12 01:56:52 +0000717 result_global->getType()->getElementType(),
718 false, /* not constant */
719 GlobalValue::ExternalLinkage,
720 NULL, /* no initializer */
Sean Callanan6a925532011-01-13 08:53:35 +0000721 m_result_name.GetCString ());
Sean Callanan82b74c82010-08-12 01:56:52 +0000722
723 // It's too late in compilation to create a new VarDecl for this, but we don't
724 // need to. We point the metadata at the old VarDecl. This creates an odd
725 // anomaly: a variable with a Value whose name is something like $0 and a
Greg Clayton8de27c72010-10-15 22:48:33 +0000726 // Decl whose name is $__lldb_expr_result. This condition is handled in
Sean Callanan82b74c82010-08-12 01:56:52 +0000727 // ClangExpressionDeclMap::DoMaterialize, and the name of the variable is
728 // fixed up.
729
Sean Callananc0492742011-05-23 21:40:23 +0000730 ConstantInt *new_constant_int = ConstantInt::get(llvm::Type::getInt64Ty(m_module->getContext()),
Sean Callanan696cf5f2011-05-07 01:06:41 +0000731 reinterpret_cast<uint64_t>(result_decl),
Sean Callanan82b74c82010-08-12 01:56:52 +0000732 false);
733
734 llvm::Value* values[2];
735 values[0] = new_result_global;
736 values[1] = new_constant_int;
737
Sean Callanan0de254a2011-05-15 22:34:38 +0000738 ArrayRef<Value*> value_ref(values, 2);
739
Sean Callananc0492742011-05-23 21:40:23 +0000740 MDNode *persistent_global_md = MDNode::get(m_module->getContext(), value_ref);
741 NamedMDNode *named_metadata = m_module->getNamedMetadata("clang.global.decl.ptrs");
Sean Callanan82b74c82010-08-12 01:56:52 +0000742 named_metadata->addOperand(persistent_global_md);
743
744 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +0000745 log->Printf("Replacing \"%s\" with \"%s\"",
Sean Callanan2e2db532010-09-07 22:43:19 +0000746 PrintValue(result_global).c_str(),
Sean Callanan82b74c82010-08-12 01:56:52 +0000747 PrintValue(new_result_global).c_str());
Sean Callanan2e2db532010-09-07 22:43:19 +0000748
749 if (result_global->hasNUses(0))
750 {
751 // We need to synthesize a store for this variable, because otherwise
752 // there's nothing to put into its equivalent persistent variable.
Sean Callanan82b74c82010-08-12 01:56:52 +0000753
Greg Clayton8de27c72010-10-15 22:48:33 +0000754 BasicBlock &entry_block(llvm_function.getEntryBlock());
Sean Callanan2e2db532010-09-07 22:43:19 +0000755 Instruction *first_entry_instruction(entry_block.getFirstNonPHIOrDbg());
756
757 if (!first_entry_instruction)
758 return false;
759
760 if (!result_global->hasInitializer())
761 {
762 if (log)
763 log->Printf("Couldn't find initializer for unused variable");
Sean Callanan97c924e2011-01-27 01:07:04 +0000764
765 if (m_error_stream)
766 m_error_stream->Printf("Internal error [IRForTarget]: Result variable (%s) has no writes and no initializer\n", result_name);
767
Sean Callanan2e2db532010-09-07 22:43:19 +0000768 return false;
769 }
770
771 Constant *initializer = result_global->getInitializer();
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000772
773 // Here we write the initializer into a result variable assuming it
774 // can be computed statically.
775
776 if (!m_has_side_effects)
777 {
Sean Callanan557ccd62011-10-21 05:18:02 +0000778 //MaybeSetConstantResult (initializer,
779 // m_result_name,
780 // m_result_type);
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000781 }
Sean Callanan2e2db532010-09-07 22:43:19 +0000782
Greg Clayton2c344ca2011-02-05 02:28:58 +0000783 StoreInst *synthesized_store = new StoreInst(initializer,
784 new_result_global,
785 first_entry_instruction);
Sean Callanan2e2db532010-09-07 22:43:19 +0000786
787 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +0000788 log->Printf("Synthesized result store \"%s\"\n", PrintValue(synthesized_store).c_str());
Sean Callanan2e2db532010-09-07 22:43:19 +0000789 }
790 else
791 {
Sean Callanan47dc4572011-09-15 02:13:07 +0000792 if (!m_has_side_effects && lldb_private::ClangASTContext::IsPointerType (m_result_type.GetOpaqueQualType()))
Sean Callanan696cf5f2011-05-07 01:06:41 +0000793 {
Sean Callanan557ccd62011-10-21 05:18:02 +0000794 //MaybeSetCastResult (m_result_type);
Sean Callanan696cf5f2011-05-07 01:06:41 +0000795 }
796
Sean Callanan2e2db532010-09-07 22:43:19 +0000797 result_global->replaceAllUsesWith(new_result_global);
798 }
Sean Callanan696cf5f2011-05-07 01:06:41 +0000799
800 if (!m_const_result)
Sean Callanan5a55c7a2011-11-18 03:28:09 +0000801 if (!m_decl_map->AddPersistentVariable(result_decl,
802 m_result_name,
803 m_result_type,
804 true,
805 m_result_is_pointer))
806 return false;
Sean Callanan2e2db532010-09-07 22:43:19 +0000807
Sean Callanan82b74c82010-08-12 01:56:52 +0000808 result_global->eraseFromParent();
809
810 return true;
811}
812
Johnny Chen58021cc2011-08-09 23:10:20 +0000813#if 0
Greg Clayton3c7feb42010-11-19 01:05:25 +0000814static void DebugUsers(lldb::LogSP &log, Value *value, uint8_t depth)
Sean Callanan6ba533e2010-11-17 23:00:36 +0000815{
816 if (!depth)
817 return;
818
819 depth--;
820
Johnny Chen58021cc2011-08-09 23:10:20 +0000821 if (log)
822 log->Printf(" <Begin %d users>", value->getNumUses());
Sean Callanan6ba533e2010-11-17 23:00:36 +0000823
Greg Clayton3c7feb42010-11-19 01:05:25 +0000824 for (Value::use_iterator ui = value->use_begin(), ue = value->use_end();
Sean Callanan6ba533e2010-11-17 23:00:36 +0000825 ui != ue;
826 ++ui)
827 {
Johnny Chen58021cc2011-08-09 23:10:20 +0000828 if (log)
829 log->Printf(" <Use %p> %s", *ui, PrintValue(*ui).c_str());
Sean Callanan6ba533e2010-11-17 23:00:36 +0000830 DebugUsers(log, *ui, depth);
831 }
832
Johnny Chen58021cc2011-08-09 23:10:20 +0000833 if (log)
834 log->Printf(" <End uses>");
Sean Callanan6ba533e2010-11-17 23:00:36 +0000835}
Johnny Chen58021cc2011-08-09 23:10:20 +0000836#endif
Sean Callanan6ba533e2010-11-17 23:00:36 +0000837
838bool
Sean Callananc0492742011-05-23 21:40:23 +0000839IRForTarget::RewriteObjCConstString (llvm::GlobalVariable *ns_str,
Greg Clayton3c7feb42010-11-19 01:05:25 +0000840 llvm::GlobalVariable *cstr,
841 Instruction *FirstEntryInstruction)
Sean Callanan6ba533e2010-11-17 23:00:36 +0000842{
843 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
844
Sean Callanan9b6898f2011-07-30 02:42:06 +0000845 Type *ns_str_ty = ns_str->getType();
Sean Callananc0492742011-05-23 21:40:23 +0000846
Sean Callanan9b6898f2011-07-30 02:42:06 +0000847 Type *i8_ptr_ty = Type::getInt8PtrTy(m_module->getContext());
848 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Sean Callanan4fbe61b2012-10-11 22:00:52 +0000849 (m_module->getPointerSize()
Micah Villmowce633582012-10-11 17:21:41 +0000850 == Module::Pointer64) ? 64 : 32);
Sean Callanan9b6898f2011-07-30 02:42:06 +0000851 Type *i32_ty = Type::getInt32Ty(m_module->getContext());
852 Type *i8_ty = Type::getInt8Ty(m_module->getContext());
Sean Callanan6ba533e2010-11-17 23:00:36 +0000853
854 if (!m_CFStringCreateWithBytes)
855 {
856 lldb::addr_t CFStringCreateWithBytes_addr;
857
858 static lldb_private::ConstString g_CFStringCreateWithBytes_str ("CFStringCreateWithBytes");
859
860 if (!m_decl_map->GetFunctionAddress (g_CFStringCreateWithBytes_str, CFStringCreateWithBytes_addr))
861 {
862 if (log)
863 log->PutCString("Couldn't find CFStringCreateWithBytes in the target");
864
Sean Callanan97c924e2011-01-27 01:07:04 +0000865 if (m_error_stream)
866 m_error_stream->Printf("Error [IRForTarget]: Rewriting an Objective-C constant string requires CFStringCreateWithBytes\n");
867
Sean Callanan6ba533e2010-11-17 23:00:36 +0000868 return false;
869 }
870
871 if (log)
872 log->Printf("Found CFStringCreateWithBytes at 0x%llx", CFStringCreateWithBytes_addr);
873
874 // Build the function type:
875 //
876 // CFStringRef CFStringCreateWithBytes (
877 // CFAllocatorRef alloc,
878 // const UInt8 *bytes,
879 // CFIndex numBytes,
880 // CFStringEncoding encoding,
881 // Boolean isExternalRepresentation
882 // );
883 //
884 // We make the following substitutions:
885 //
886 // CFStringRef -> i8*
887 // CFAllocatorRef -> i8*
888 // UInt8 * -> i8*
889 // CFIndex -> long (i32 or i64, as appropriate; we ask the module for its pointer size for now)
890 // CFStringEncoding -> i32
891 // Boolean -> i8
892
Sean Callanan9b6898f2011-07-30 02:42:06 +0000893 Type *arg_type_array[5];
894
895 arg_type_array[0] = i8_ptr_ty;
896 arg_type_array[1] = i8_ptr_ty;
897 arg_type_array[2] = intptr_ty;
898 arg_type_array[3] = i32_ty;
899 arg_type_array[4] = i8_ty;
900
901 ArrayRef<Type *> CFSCWB_arg_types(arg_type_array, 5);
902
Sean Callananc0492742011-05-23 21:40:23 +0000903 llvm::Type *CFSCWB_ty = FunctionType::get(ns_str_ty, CFSCWB_arg_types, false);
Sean Callanan6ba533e2010-11-17 23:00:36 +0000904
905 // Build the constant containing the pointer to the function
906 PointerType *CFSCWB_ptr_ty = PointerType::getUnqual(CFSCWB_ty);
907 Constant *CFSCWB_addr_int = ConstantInt::get(intptr_ty, CFStringCreateWithBytes_addr, false);
908 m_CFStringCreateWithBytes = ConstantExpr::getIntToPtr(CFSCWB_addr_int, CFSCWB_ptr_ty);
909 }
910
Sean Callanan39a30342012-02-09 03:22:41 +0000911 ConstantDataSequential *string_array = NULL;
Sean Callanan0ece5262011-02-10 22:17:53 +0000912
913 if (cstr)
Sean Callanan39a30342012-02-09 03:22:41 +0000914 string_array = dyn_cast<ConstantDataSequential>(cstr->getInitializer());
Sean Callanan9b6898f2011-07-30 02:42:06 +0000915
Sean Callanan6ba533e2010-11-17 23:00:36 +0000916 Constant *alloc_arg = Constant::getNullValue(i8_ptr_ty);
Sean Callanan0ece5262011-02-10 22:17:53 +0000917 Constant *bytes_arg = cstr ? ConstantExpr::getBitCast(cstr, i8_ptr_ty) : Constant::getNullValue(i8_ptr_ty);
Sean Callanan39a30342012-02-09 03:22:41 +0000918 Constant *numBytes_arg = ConstantInt::get(intptr_ty, cstr ? string_array->getNumElements() - 1 : 0, false);
Sean Callanan6ba533e2010-11-17 23:00:36 +0000919 Constant *encoding_arg = ConstantInt::get(i32_ty, 0x0600, false); /* 0x0600 is kCFStringEncodingASCII */
920 Constant *isExternal_arg = ConstantInt::get(i8_ty, 0x0, false); /* 0x0 is false */
921
Sean Callanan9b6898f2011-07-30 02:42:06 +0000922 Value *argument_array[5];
923
924 argument_array[0] = alloc_arg;
925 argument_array[1] = bytes_arg;
926 argument_array[2] = numBytes_arg;
927 argument_array[3] = encoding_arg;
928 argument_array[4] = isExternal_arg;
929
930 ArrayRef <Value *> CFSCWB_arguments(argument_array, 5);
Sean Callanan6ba533e2010-11-17 23:00:36 +0000931
932 CallInst *CFSCWB_call = CallInst::Create(m_CFStringCreateWithBytes,
Sean Callanan9b6898f2011-07-30 02:42:06 +0000933 CFSCWB_arguments,
Sean Callanan6ba533e2010-11-17 23:00:36 +0000934 "CFStringCreateWithBytes",
935 FirstEntryInstruction);
Sean Callananae71e302010-11-18 22:21:58 +0000936
Greg Clayton3c7feb42010-11-19 01:05:25 +0000937 if (!UnfoldConstant(ns_str, CFSCWB_call, FirstEntryInstruction))
Sean Callanan6ba533e2010-11-17 23:00:36 +0000938 {
939 if (log)
940 log->PutCString("Couldn't replace the NSString with the result of the call");
941
Sean Callanan97c924e2011-01-27 01:07:04 +0000942 if (m_error_stream)
943 m_error_stream->Printf("Error [IRForTarget]: Couldn't replace an Objective-C constant string with a dynamic string\n");
944
Sean Callanan6ba533e2010-11-17 23:00:36 +0000945 return false;
946 }
947
Greg Clayton3c7feb42010-11-19 01:05:25 +0000948 ns_str->eraseFromParent();
Sean Callanan6ba533e2010-11-17 23:00:36 +0000949
950 return true;
951}
952
953bool
Sean Callananc0492742011-05-23 21:40:23 +0000954IRForTarget::RewriteObjCConstStrings(Function &llvm_function)
Sean Callanan6ba533e2010-11-17 23:00:36 +0000955{
956 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
957
Sean Callananc0492742011-05-23 21:40:23 +0000958 ValueSymbolTable& value_symbol_table = m_module->getValueSymbolTable();
Sean Callanan6ba533e2010-11-17 23:00:36 +0000959
Greg Clayton3c7feb42010-11-19 01:05:25 +0000960 BasicBlock &entry_block(llvm_function.getEntryBlock());
Sean Callanan6ba533e2010-11-17 23:00:36 +0000961 Instruction *FirstEntryInstruction(entry_block.getFirstNonPHIOrDbg());
962
963 if (!FirstEntryInstruction)
964 {
965 if (log)
966 log->PutCString("Couldn't find first instruction for rewritten Objective-C strings");
967
Sean Callanan97c924e2011-01-27 01:07:04 +0000968 if (m_error_stream)
969 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't find the location for calls to CFStringCreateWithBytes\n");
970
Sean Callanan6ba533e2010-11-17 23:00:36 +0000971 return false;
972 }
973
974 for (ValueSymbolTable::iterator vi = value_symbol_table.begin(), ve = value_symbol_table.end();
975 vi != ve;
976 ++vi)
977 {
Sean Callanan9b6898f2011-07-30 02:42:06 +0000978 std::string value_name = vi->first().str();
979 const char *value_name_cstr = value_name.c_str();
980
981 if (strstr(value_name_cstr, "_unnamed_cfstring_"))
Sean Callanan6ba533e2010-11-17 23:00:36 +0000982 {
983 Value *nsstring_value = vi->second;
984
985 GlobalVariable *nsstring_global = dyn_cast<GlobalVariable>(nsstring_value);
986
987 if (!nsstring_global)
988 {
989 if (log)
990 log->PutCString("NSString variable is not a GlobalVariable");
Sean Callanan97c924e2011-01-27 01:07:04 +0000991
992 if (m_error_stream)
993 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string is not a global variable\n");
994
Sean Callanan6ba533e2010-11-17 23:00:36 +0000995 return false;
996 }
997
998 if (!nsstring_global->hasInitializer())
999 {
1000 if (log)
1001 log->PutCString("NSString variable does not have an initializer");
Sean Callanan97c924e2011-01-27 01:07:04 +00001002
1003 if (m_error_stream)
1004 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string does not have an initializer\n");
1005
Sean Callanan6ba533e2010-11-17 23:00:36 +00001006 return false;
1007 }
1008
1009 ConstantStruct *nsstring_struct = dyn_cast<ConstantStruct>(nsstring_global->getInitializer());
1010
1011 if (!nsstring_struct)
1012 {
1013 if (log)
1014 log->PutCString("NSString variable's initializer is not a ConstantStruct");
Sean Callanan97c924e2011-01-27 01:07:04 +00001015
1016 if (m_error_stream)
1017 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string is not a structure constant\n");
1018
Sean Callanan6ba533e2010-11-17 23:00:36 +00001019 return false;
1020 }
1021
1022 // We expect the following structure:
1023 //
1024 // struct {
1025 // int *isa;
1026 // int flags;
1027 // char *str;
1028 // long length;
1029 // };
1030
1031 if (nsstring_struct->getNumOperands() != 4)
1032 {
1033 if (log)
1034 log->Printf("NSString variable's initializer structure has an unexpected number of members. Should be 4, is %d", nsstring_struct->getNumOperands());
Sean Callanan97c924e2011-01-27 01:07:04 +00001035
1036 if (m_error_stream)
1037 m_error_stream->Printf("Internal error [IRForTarget]: The struct for an Objective-C constant string is not as expected\n");
1038
Sean Callanan6ba533e2010-11-17 23:00:36 +00001039 return false;
1040 }
1041
1042 Constant *nsstring_member = nsstring_struct->getOperand(2);
1043
1044 if (!nsstring_member)
1045 {
1046 if (log)
1047 log->PutCString("NSString initializer's str element was empty");
Sean Callanan97c924e2011-01-27 01:07:04 +00001048
1049 if (m_error_stream)
1050 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string does not have a string initializer\n");
1051
Sean Callanan6ba533e2010-11-17 23:00:36 +00001052 return false;
1053 }
1054
1055 ConstantExpr *nsstring_expr = dyn_cast<ConstantExpr>(nsstring_member);
1056
1057 if (!nsstring_expr)
1058 {
1059 if (log)
1060 log->PutCString("NSString initializer's str element is not a ConstantExpr");
Sean Callanan97c924e2011-01-27 01:07:04 +00001061
1062 if (m_error_stream)
1063 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string's string initializer is not constant\n");
1064
Sean Callanan6ba533e2010-11-17 23:00:36 +00001065 return false;
1066 }
1067
1068 if (nsstring_expr->getOpcode() != Instruction::GetElementPtr)
1069 {
1070 if (log)
1071 log->Printf("NSString initializer's str element is not a GetElementPtr expression, it's a %s", nsstring_expr->getOpcodeName());
Sean Callanan97c924e2011-01-27 01:07:04 +00001072
1073 if (m_error_stream)
1074 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string's string initializer is not an array\n");
1075
Sean Callanan6ba533e2010-11-17 23:00:36 +00001076 return false;
1077 }
1078
1079 Constant *nsstring_cstr = nsstring_expr->getOperand(0);
1080
1081 GlobalVariable *cstr_global = dyn_cast<GlobalVariable>(nsstring_cstr);
1082
1083 if (!cstr_global)
1084 {
1085 if (log)
1086 log->PutCString("NSString initializer's str element is not a GlobalVariable");
Sean Callanan97c924e2011-01-27 01:07:04 +00001087
1088 if (m_error_stream)
1089 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string's string initializer doesn't point to a global\n");
Sean Callanan65e2aee2010-11-20 02:06:01 +00001090
Sean Callanan6ba533e2010-11-17 23:00:36 +00001091 return false;
1092 }
1093
1094 if (!cstr_global->hasInitializer())
1095 {
1096 if (log)
1097 log->PutCString("NSString initializer's str element does not have an initializer");
Sean Callanan97c924e2011-01-27 01:07:04 +00001098
1099 if (m_error_stream)
1100 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string's string initializer doesn't point to initialized data\n");
1101
Sean Callanan6ba533e2010-11-17 23:00:36 +00001102 return false;
1103 }
Sean Callanan0ece5262011-02-10 22:17:53 +00001104
1105 /*
Sean Callanan6ba533e2010-11-17 23:00:36 +00001106 if (!cstr_array)
1107 {
1108 if (log)
1109 log->PutCString("NSString initializer's str element is not a ConstantArray");
Sean Callanan97c924e2011-01-27 01:07:04 +00001110
1111 if (m_error_stream)
1112 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string's string initializer doesn't point to an array\n");
1113
Sean Callanan6ba533e2010-11-17 23:00:36 +00001114 return false;
1115 }
1116
1117 if (!cstr_array->isCString())
1118 {
1119 if (log)
1120 log->PutCString("NSString initializer's str element is not a C string array");
Sean Callanan97c924e2011-01-27 01:07:04 +00001121
1122 if (m_error_stream)
1123 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string's string initializer doesn't point to a C string\n");
1124
Sean Callanan6ba533e2010-11-17 23:00:36 +00001125 return false;
1126 }
Sean Callanan0ece5262011-02-10 22:17:53 +00001127 */
1128
Sean Callanan39a30342012-02-09 03:22:41 +00001129 ConstantDataArray *cstr_array = dyn_cast<ConstantDataArray>(cstr_global->getInitializer());
Sean Callanan6ba533e2010-11-17 23:00:36 +00001130
1131 if (log)
Sean Callanan0ece5262011-02-10 22:17:53 +00001132 {
1133 if (cstr_array)
Sean Callanan39a30342012-02-09 03:22:41 +00001134 log->Printf("Found NSString constant %s, which contains \"%s\"", value_name_cstr, cstr_array->getAsString().str().c_str());
Sean Callanan0ece5262011-02-10 22:17:53 +00001135 else
Sean Callanan9b6898f2011-07-30 02:42:06 +00001136 log->Printf("Found NSString constant %s, which contains \"\"", value_name_cstr);
Sean Callanan0ece5262011-02-10 22:17:53 +00001137 }
1138
1139 if (!cstr_array)
1140 cstr_global = NULL;
Sean Callanan6ba533e2010-11-17 23:00:36 +00001141
Sean Callananc0492742011-05-23 21:40:23 +00001142 if (!RewriteObjCConstString(nsstring_global, cstr_global, FirstEntryInstruction))
Sean Callanan97c924e2011-01-27 01:07:04 +00001143 {
Sean Callanan6ba533e2010-11-17 23:00:36 +00001144 if (log)
1145 log->PutCString("Error rewriting the constant string");
Sean Callanan97c924e2011-01-27 01:07:04 +00001146
1147 // We don't print an error message here because RewriteObjCConstString has done so for us.
1148
Sean Callanan6ba533e2010-11-17 23:00:36 +00001149 return false;
1150 }
Sean Callanan6ba533e2010-11-17 23:00:36 +00001151 }
1152 }
1153
1154 for (ValueSymbolTable::iterator vi = value_symbol_table.begin(), ve = value_symbol_table.end();
1155 vi != ve;
1156 ++vi)
1157 {
Sean Callanan9b6898f2011-07-30 02:42:06 +00001158 std::string value_name = vi->first().str();
1159 const char *value_name_cstr = value_name.c_str();
1160
1161 if (!strcmp(value_name_cstr, "__CFConstantStringClassReference"))
Sean Callanan6ba533e2010-11-17 23:00:36 +00001162 {
1163 GlobalVariable *gv = dyn_cast<GlobalVariable>(vi->second);
1164
1165 if (!gv)
1166 {
1167 if (log)
1168 log->PutCString("__CFConstantStringClassReference is not a global variable");
Sean Callanan97c924e2011-01-27 01:07:04 +00001169
1170 if (m_error_stream)
1171 m_error_stream->Printf("Internal error [IRForTarget]: Found a CFConstantStringClassReference, but it is not a global object\n");
1172
Sean Callanan6ba533e2010-11-17 23:00:36 +00001173 return false;
1174 }
1175
1176 gv->eraseFromParent();
1177
1178 break;
1179 }
1180 }
1181
1182 return true;
1183}
1184
Greg Clayton3c7feb42010-11-19 01:05:25 +00001185static bool IsObjCSelectorRef (Value *value)
Sean Callananf5857a02010-07-31 01:32:05 +00001186{
Greg Clayton3c7feb42010-11-19 01:05:25 +00001187 GlobalVariable *global_variable = dyn_cast<GlobalVariable>(value);
Sean Callananf5857a02010-07-31 01:32:05 +00001188
Greg Clayton3c7feb42010-11-19 01:05:25 +00001189 if (!global_variable || !global_variable->hasName() || !global_variable->getName().startswith("\01L_OBJC_SELECTOR_REFERENCES_"))
Sean Callananf5857a02010-07-31 01:32:05 +00001190 return false;
1191
1192 return true;
1193}
1194
Sean Callanan97c924e2011-01-27 01:07:04 +00001195// This function does not report errors; its callers are responsible.
Sean Callananf5857a02010-07-31 01:32:05 +00001196bool
Sean Callananc0492742011-05-23 21:40:23 +00001197IRForTarget::RewriteObjCSelector (Instruction* selector_load)
Sean Callananf5857a02010-07-31 01:32:05 +00001198{
Greg Claytone005f2c2010-11-06 01:53:30 +00001199 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callananf5857a02010-07-31 01:32:05 +00001200
1201 LoadInst *load = dyn_cast<LoadInst>(selector_load);
1202
1203 if (!load)
1204 return false;
1205
1206 // Unpack the message name from the selector. In LLVM IR, an objc_msgSend gets represented as
1207 //
1208 // %tmp = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_" ; <i8*>
1209 // %call = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %obj, i8* %tmp, ...) ; <i8*>
1210 //
1211 // where %obj is the object pointer and %tmp is the selector.
1212 //
Greg Clayton3c7feb42010-11-19 01:05:25 +00001213 // @"\01L_OBJC_SELECTOR_REFERENCES_" is a pointer to a character array called @"\01L_OBJC_llvm_moduleETH_VAR_NAllvm_moduleE_".
1214 // @"\01L_OBJC_llvm_moduleETH_VAR_NAllvm_moduleE_" contains the string.
Sean Callananf5857a02010-07-31 01:32:05 +00001215
1216 // Find the pointer's initializer (a ConstantExpr with opcode GetElementPtr) and get the string from its target
1217
1218 GlobalVariable *_objc_selector_references_ = dyn_cast<GlobalVariable>(load->getPointerOperand());
1219
1220 if (!_objc_selector_references_ || !_objc_selector_references_->hasInitializer())
1221 return false;
1222
1223 Constant *osr_initializer = _objc_selector_references_->getInitializer();
1224
1225 ConstantExpr *osr_initializer_expr = dyn_cast<ConstantExpr>(osr_initializer);
1226
1227 if (!osr_initializer_expr || osr_initializer_expr->getOpcode() != Instruction::GetElementPtr)
1228 return false;
1229
1230 Value *osr_initializer_base = osr_initializer_expr->getOperand(0);
1231
1232 if (!osr_initializer_base)
1233 return false;
1234
1235 // Find the string's initializer (a ConstantArray) and get the string from it
1236
1237 GlobalVariable *_objc_meth_var_name_ = dyn_cast<GlobalVariable>(osr_initializer_base);
1238
1239 if (!_objc_meth_var_name_ || !_objc_meth_var_name_->hasInitializer())
1240 return false;
1241
1242 Constant *omvn_initializer = _objc_meth_var_name_->getInitializer();
1243
Sean Callanan39a30342012-02-09 03:22:41 +00001244 ConstantDataArray *omvn_initializer_array = dyn_cast<ConstantDataArray>(omvn_initializer);
Sean Callananf5857a02010-07-31 01:32:05 +00001245
1246 if (!omvn_initializer_array->isString())
1247 return false;
1248
1249 std::string omvn_initializer_string = omvn_initializer_array->getAsString();
1250
1251 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00001252 log->Printf("Found Objective-C selector reference \"%s\"", omvn_initializer_string.c_str());
Sean Callananf5857a02010-07-31 01:32:05 +00001253
1254 // Construct a call to sel_registerName
1255
1256 if (!m_sel_registerName)
1257 {
Greg Claytonb5037af2010-11-15 01:47:11 +00001258 lldb::addr_t sel_registerName_addr;
Sean Callananf5857a02010-07-31 01:32:05 +00001259
Greg Clayton8de27c72010-10-15 22:48:33 +00001260 static lldb_private::ConstString g_sel_registerName_str ("sel_registerName");
Greg Claytonb5037af2010-11-15 01:47:11 +00001261 if (!m_decl_map->GetFunctionAddress (g_sel_registerName_str, sel_registerName_addr))
Sean Callananf5857a02010-07-31 01:32:05 +00001262 return false;
1263
Sean Callananc2c6f772010-10-26 00:31:56 +00001264 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00001265 log->Printf("Found sel_registerName at 0x%llx", sel_registerName_addr);
Sean Callananc2c6f772010-10-26 00:31:56 +00001266
Sean Callananf5857a02010-07-31 01:32:05 +00001267 // Build the function type: struct objc_selector *sel_registerName(uint8_t*)
1268
1269 // The below code would be "more correct," but in actuality what's required is uint8_t*
Sean Callananc0492742011-05-23 21:40:23 +00001270 //Type *sel_type = StructType::get(m_module->getContext());
Sean Callananf5857a02010-07-31 01:32:05 +00001271 //Type *sel_ptr_type = PointerType::getUnqual(sel_type);
Sean Callanan9b6898f2011-07-30 02:42:06 +00001272 Type *sel_ptr_type = Type::getInt8PtrTy(m_module->getContext());
Sean Callananf5857a02010-07-31 01:32:05 +00001273
Sean Callanan9b6898f2011-07-30 02:42:06 +00001274 Type *type_array[1];
1275
1276 type_array[0] = llvm::Type::getInt8PtrTy(m_module->getContext());
1277
1278 ArrayRef<Type *> srN_arg_types(type_array, 1);
1279
Sean Callananf5857a02010-07-31 01:32:05 +00001280 llvm::Type *srN_type = FunctionType::get(sel_ptr_type, srN_arg_types, false);
1281
1282 // Build the constant containing the pointer to the function
Sean Callanan9b6898f2011-07-30 02:42:06 +00001283 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Sean Callanan4fbe61b2012-10-11 22:00:52 +00001284 (m_module->getPointerSize() == Module::Pointer64) ? 64 : 32);
Sean Callananf5857a02010-07-31 01:32:05 +00001285 PointerType *srN_ptr_ty = PointerType::getUnqual(srN_type);
Greg Claytonb5037af2010-11-15 01:47:11 +00001286 Constant *srN_addr_int = ConstantInt::get(intptr_ty, sel_registerName_addr, false);
Sean Callananf5857a02010-07-31 01:32:05 +00001287 m_sel_registerName = ConstantExpr::getIntToPtr(srN_addr_int, srN_ptr_ty);
1288 }
1289
Sean Callanan9b6898f2011-07-30 02:42:06 +00001290 Value *argument_array[1];
1291
Sean Callananc0492742011-05-23 21:40:23 +00001292 Constant *omvn_pointer = ConstantExpr::getBitCast(_objc_meth_var_name_, Type::getInt8PtrTy(m_module->getContext()));
Sean Callananf5857a02010-07-31 01:32:05 +00001293
Sean Callanan9b6898f2011-07-30 02:42:06 +00001294 argument_array[0] = omvn_pointer;
Sean Callananf5857a02010-07-31 01:32:05 +00001295
Sean Callanan9b6898f2011-07-30 02:42:06 +00001296 ArrayRef<Value *> srN_arguments(argument_array, 1);
1297
Sean Callananf5857a02010-07-31 01:32:05 +00001298 CallInst *srN_call = CallInst::Create(m_sel_registerName,
Sean Callanan9b6898f2011-07-30 02:42:06 +00001299 srN_arguments,
Sean Callanan6ba533e2010-11-17 23:00:36 +00001300 "sel_registerName",
Sean Callananf5857a02010-07-31 01:32:05 +00001301 selector_load);
1302
1303 // Replace the load with the call in all users
1304
1305 selector_load->replaceAllUsesWith(srN_call);
1306
1307 selector_load->eraseFromParent();
1308
1309 return true;
1310}
1311
1312bool
Sean Callananc0492742011-05-23 21:40:23 +00001313IRForTarget::RewriteObjCSelectors (BasicBlock &basic_block)
Sean Callananf5857a02010-07-31 01:32:05 +00001314{
Greg Claytone005f2c2010-11-06 01:53:30 +00001315 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callananf5857a02010-07-31 01:32:05 +00001316
1317 BasicBlock::iterator ii;
1318
1319 typedef SmallVector <Instruction*, 2> InstrList;
1320 typedef InstrList::iterator InstrIterator;
1321
1322 InstrList selector_loads;
1323
Greg Clayton3c7feb42010-11-19 01:05:25 +00001324 for (ii = basic_block.begin();
1325 ii != basic_block.end();
Sean Callananf5857a02010-07-31 01:32:05 +00001326 ++ii)
1327 {
1328 Instruction &inst = *ii;
1329
1330 if (LoadInst *load = dyn_cast<LoadInst>(&inst))
Greg Clayton3c7feb42010-11-19 01:05:25 +00001331 if (IsObjCSelectorRef(load->getPointerOperand()))
Sean Callananf5857a02010-07-31 01:32:05 +00001332 selector_loads.push_back(&inst);
1333 }
1334
1335 InstrIterator iter;
1336
1337 for (iter = selector_loads.begin();
1338 iter != selector_loads.end();
1339 ++iter)
1340 {
Sean Callananc0492742011-05-23 21:40:23 +00001341 if (!RewriteObjCSelector(*iter))
Sean Callananf5857a02010-07-31 01:32:05 +00001342 {
Sean Callanan97c924e2011-01-27 01:07:04 +00001343 if (m_error_stream)
1344 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't change a static reference to an Objective-C selector to a dynamic reference\n");
1345
Enrico Granata4c3fb4b2011-07-19 18:03:25 +00001346 if (log)
Sean Callananf5857a02010-07-31 01:32:05 +00001347 log->PutCString("Couldn't rewrite a reference to an Objective-C selector");
Sean Callanan97c924e2011-01-27 01:07:04 +00001348
Sean Callananf5857a02010-07-31 01:32:05 +00001349 return false;
1350 }
1351 }
1352
1353 return true;
1354}
1355
Sean Callanan97c924e2011-01-27 01:07:04 +00001356// This function does not report errors; its callers are responsible.
Sean Callanana48fe162010-08-11 03:57:18 +00001357bool
Sean Callananc0492742011-05-23 21:40:23 +00001358IRForTarget::RewritePersistentAlloc (llvm::Instruction *persistent_alloc)
Sean Callanana48fe162010-08-11 03:57:18 +00001359{
Sean Callanan97678d12011-01-13 21:23:32 +00001360 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1361
Sean Callanana48fe162010-08-11 03:57:18 +00001362 AllocaInst *alloc = dyn_cast<AllocaInst>(persistent_alloc);
1363
1364 MDNode *alloc_md = alloc->getMetadata("clang.decl.ptr");
1365
1366 if (!alloc_md || !alloc_md->getNumOperands())
1367 return false;
1368
1369 ConstantInt *constant_int = dyn_cast<ConstantInt>(alloc_md->getOperand(0));
1370
1371 if (!constant_int)
1372 return false;
1373
1374 // We attempt to register this as a new persistent variable with the DeclMap.
1375
1376 uintptr_t ptr = constant_int->getZExtValue();
1377
Sean Callanan82b74c82010-08-12 01:56:52 +00001378 clang::VarDecl *decl = reinterpret_cast<clang::VarDecl *>(ptr);
Sean Callanana48fe162010-08-11 03:57:18 +00001379
Sean Callanan82b74c82010-08-12 01:56:52 +00001380 lldb_private::TypeFromParser result_decl_type (decl->getType().getAsOpaquePtr(),
1381 &decl->getASTContext());
1382
Greg Clayton8de27c72010-10-15 22:48:33 +00001383 StringRef decl_name (decl->getName());
1384 lldb_private::ConstString persistent_variable_name (decl_name.data(), decl_name.size());
Sean Callanan6a925532011-01-13 08:53:35 +00001385 if (!m_decl_map->AddPersistentVariable(decl, persistent_variable_name, result_decl_type, false, false))
Sean Callanana48fe162010-08-11 03:57:18 +00001386 return false;
1387
Sean Callananc0492742011-05-23 21:40:23 +00001388 GlobalVariable *persistent_global = new GlobalVariable((*m_module),
Sean Callanan97678d12011-01-13 21:23:32 +00001389 alloc->getType(),
Sean Callanana48fe162010-08-11 03:57:18 +00001390 false, /* not constant */
1391 GlobalValue::ExternalLinkage,
1392 NULL, /* no initializer */
1393 alloc->getName().str().c_str());
1394
1395 // What we're going to do here is make believe this was a regular old external
1396 // variable. That means we need to make the metadata valid.
1397
Sean Callanan2b03efe2012-07-04 01:26:26 +00001398 NamedMDNode *named_metadata = m_module->getOrInsertNamedMetadata("clang.global.decl.ptrs");
Sean Callanana48fe162010-08-11 03:57:18 +00001399
1400 llvm::Value* values[2];
1401 values[0] = persistent_global;
1402 values[1] = constant_int;
Sean Callanan0de254a2011-05-15 22:34:38 +00001403
1404 ArrayRef<llvm::Value*> value_ref(values, 2);
Sean Callanana48fe162010-08-11 03:57:18 +00001405
Sean Callananc0492742011-05-23 21:40:23 +00001406 MDNode *persistent_global_md = MDNode::get(m_module->getContext(), value_ref);
Sean Callanana48fe162010-08-11 03:57:18 +00001407 named_metadata->addOperand(persistent_global_md);
1408
Sean Callanan97678d12011-01-13 21:23:32 +00001409 // Now, since the variable is a pointer variable, we will drop in a load of that
1410 // pointer variable.
1411
1412 LoadInst *persistent_load = new LoadInst (persistent_global, "", alloc);
1413
1414 if (log)
1415 log->Printf("Replacing \"%s\" with \"%s\"",
1416 PrintValue(alloc).c_str(),
1417 PrintValue(persistent_load).c_str());
1418
1419 alloc->replaceAllUsesWith(persistent_load);
Sean Callanana48fe162010-08-11 03:57:18 +00001420 alloc->eraseFromParent();
1421
1422 return true;
1423}
1424
1425bool
Sean Callananc0492742011-05-23 21:40:23 +00001426IRForTarget::RewritePersistentAllocs(llvm::BasicBlock &basic_block)
Sean Callanana48fe162010-08-11 03:57:18 +00001427{
Sean Callanane8a59a82010-09-13 21:34:21 +00001428 if (!m_resolve_vars)
1429 return true;
1430
Greg Claytone005f2c2010-11-06 01:53:30 +00001431 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanana48fe162010-08-11 03:57:18 +00001432
1433 BasicBlock::iterator ii;
1434
1435 typedef SmallVector <Instruction*, 2> InstrList;
1436 typedef InstrList::iterator InstrIterator;
1437
1438 InstrList pvar_allocs;
1439
Greg Clayton3c7feb42010-11-19 01:05:25 +00001440 for (ii = basic_block.begin();
1441 ii != basic_block.end();
Sean Callanana48fe162010-08-11 03:57:18 +00001442 ++ii)
1443 {
1444 Instruction &inst = *ii;
1445
1446 if (AllocaInst *alloc = dyn_cast<AllocaInst>(&inst))
Sean Callanan237e4742011-01-21 22:30:25 +00001447 {
1448 llvm::StringRef alloc_name = alloc->getName();
1449
1450 if (alloc_name.startswith("$") &&
1451 !alloc_name.startswith("$__lldb"))
1452 {
1453 if (alloc_name.find_first_of("0123456789") == 1)
1454 {
1455 if (log)
1456 log->Printf("Rejecting a numeric persistent variable.");
1457
Sean Callanan97c924e2011-01-27 01:07:04 +00001458 if (m_error_stream)
1459 m_error_stream->Printf("Error [IRForTarget]: Names starting with $0, $1, ... are reserved for use as result names\n");
1460
Sean Callanan237e4742011-01-21 22:30:25 +00001461 return false;
1462 }
1463
Sean Callanana48fe162010-08-11 03:57:18 +00001464 pvar_allocs.push_back(alloc);
Sean Callanan237e4742011-01-21 22:30:25 +00001465 }
1466 }
Sean Callanana48fe162010-08-11 03:57:18 +00001467 }
1468
1469 InstrIterator iter;
1470
1471 for (iter = pvar_allocs.begin();
1472 iter != pvar_allocs.end();
1473 ++iter)
1474 {
Sean Callananc0492742011-05-23 21:40:23 +00001475 if (!RewritePersistentAlloc(*iter))
Sean Callanana48fe162010-08-11 03:57:18 +00001476 {
Sean Callanan97c924e2011-01-27 01:07:04 +00001477 if (m_error_stream)
1478 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't rewrite the creation of a persistent variable\n");
1479
Enrico Granata4c3fb4b2011-07-19 18:03:25 +00001480 if (log)
Sean Callanana48fe162010-08-11 03:57:18 +00001481 log->PutCString("Couldn't rewrite the creation of a persistent variable");
Sean Callanan97c924e2011-01-27 01:07:04 +00001482
Sean Callanana48fe162010-08-11 03:57:18 +00001483 return false;
1484 }
1485 }
1486
1487 return true;
1488}
1489
Sean Callananc7ca4662011-10-25 18:36:40 +00001490bool
1491IRForTarget::MaterializeInitializer (uint8_t *data, Constant *initializer)
1492{
1493 if (!initializer)
1494 return true;
1495
1496 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1497
1498 if (log && log->GetVerbose())
1499 log->Printf(" MaterializeInitializer(%p, %s)", data, PrintValue(initializer).c_str());
1500
1501 Type *initializer_type = initializer->getType();
1502
1503 if (ConstantInt *int_initializer = dyn_cast<ConstantInt>(initializer))
1504 {
1505 memcpy (data, int_initializer->getValue().getRawData(), m_target_data->getTypeStoreSize(initializer_type));
1506 return true;
1507 }
Sean Callanan39a30342012-02-09 03:22:41 +00001508 else if (ConstantDataArray *array_initializer = dyn_cast<ConstantDataArray>(initializer))
Sean Callananc7ca4662011-10-25 18:36:40 +00001509 {
1510 if (array_initializer->isString())
1511 {
1512 std::string array_initializer_string = array_initializer->getAsString();
1513 memcpy (data, array_initializer_string.c_str(), m_target_data->getTypeStoreSize(initializer_type));
1514 }
1515 else
1516 {
1517 ArrayType *array_initializer_type = array_initializer->getType();
1518 Type *array_element_type = array_initializer_type->getElementType();
1519
1520 size_t element_size = m_target_data->getTypeAllocSize(array_element_type);
1521
1522 for (int i = 0; i < array_initializer->getNumOperands(); ++i)
1523 {
Sean Callanan39a30342012-02-09 03:22:41 +00001524 Value *operand_value = array_initializer->getOperand(i);
1525 Constant *operand_constant = dyn_cast<Constant>(operand_value);
1526
1527 if (!operand_constant)
1528 return false;
1529
1530 if (!MaterializeInitializer(data + (i * element_size), operand_constant))
Sean Callananc7ca4662011-10-25 18:36:40 +00001531 return false;
1532 }
1533 }
1534 return true;
1535 }
1536 else if (ConstantStruct *struct_initializer = dyn_cast<ConstantStruct>(initializer))
1537 {
1538 StructType *struct_initializer_type = struct_initializer->getType();
1539 const StructLayout *struct_layout = m_target_data->getStructLayout(struct_initializer_type);
1540
1541 for (int i = 0;
1542 i < struct_initializer->getNumOperands();
1543 ++i)
1544 {
1545 if (!MaterializeInitializer(data + struct_layout->getElementOffset(i), struct_initializer->getOperand(i)))
1546 return false;
1547 }
1548 return true;
1549 }
1550 return false;
1551}
1552
1553bool
1554IRForTarget::MaterializeInternalVariable (GlobalVariable *global_variable)
1555{
1556 if (GlobalVariable::isExternalLinkage(global_variable->getLinkage()))
1557 return false;
1558
Sean Callananc41606f2011-11-15 19:13:54 +00001559 if (global_variable == m_reloc_placeholder)
1560 return true;
1561
Sean Callananc7ca4662011-10-25 18:36:40 +00001562 uint64_t offset = m_data_allocator->GetStream().GetSize();
1563
1564 llvm::Type *variable_type = global_variable->getType();
1565
1566 Constant *initializer = global_variable->getInitializer();
1567
1568 llvm::Type *initializer_type = initializer->getType();
1569
1570 size_t size = m_target_data->getTypeAllocSize(initializer_type);
Sean Callanan1d970e72012-06-08 22:20:41 +00001571 size_t align = m_target_data->getPrefTypeAlignment(initializer_type);
1572
1573 const size_t mask = (align - 1);
1574 uint64_t aligned_offset = (offset + mask) & ~mask;
1575 m_data_allocator->GetStream().PutNHex8(aligned_offset - offset, 0);
1576 offset = aligned_offset;
Sean Callananc7ca4662011-10-25 18:36:40 +00001577
1578 lldb_private::DataBufferHeap data(size, '\0');
1579
1580 if (initializer)
1581 if (!MaterializeInitializer(data.GetBytes(), initializer))
1582 return false;
1583
1584 m_data_allocator->GetStream().Write(data.GetBytes(), data.GetByteSize());
1585
1586 Constant *new_pointer = BuildRelocation(variable_type, offset);
1587
1588 global_variable->replaceAllUsesWith(new_pointer);
1589
1590 global_variable->eraseFromParent();
1591
1592 return true;
1593}
1594
Sean Callanan97c924e2011-01-27 01:07:04 +00001595// This function does not report errors; its callers are responsible.
Sean Callanan8bce6652010-07-13 21:41:46 +00001596bool
Sean Callananc0492742011-05-23 21:40:23 +00001597IRForTarget::MaybeHandleVariable (Value *llvm_value_ptr)
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001598{
Greg Claytone005f2c2010-11-06 01:53:30 +00001599 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan48443652010-12-02 19:47:57 +00001600
1601 if (log)
Sean Callananb9f09a62010-12-06 22:16:55 +00001602 log->Printf("MaybeHandleVariable (%s)", PrintValue(llvm_value_ptr).c_str());
Sean Callanan9a877432011-08-01 17:41:38 +00001603
Greg Clayton8de27c72010-10-15 22:48:33 +00001604 if (ConstantExpr *constant_expr = dyn_cast<ConstantExpr>(llvm_value_ptr))
Sean Callananbc2928a2010-08-03 00:23:29 +00001605 {
Sean Callanan93a4b1a2010-08-04 01:02:13 +00001606 switch (constant_expr->getOpcode())
Sean Callananbc2928a2010-08-03 00:23:29 +00001607 {
Sean Callanan93a4b1a2010-08-04 01:02:13 +00001608 default:
1609 break;
1610 case Instruction::GetElementPtr:
1611 case Instruction::BitCast:
Sean Callananbc2928a2010-08-03 00:23:29 +00001612 Value *s = constant_expr->getOperand(0);
Sean Callananc0492742011-05-23 21:40:23 +00001613 if (!MaybeHandleVariable(s))
Sean Callanan48443652010-12-02 19:47:57 +00001614 return false;
Sean Callananbc2928a2010-08-03 00:23:29 +00001615 }
1616 }
Sean Callananf921cf52010-12-03 19:51:05 +00001617 else if (GlobalVariable *global_variable = dyn_cast<GlobalVariable>(llvm_value_ptr))
Sean Callananf5857a02010-07-31 01:32:05 +00001618 {
Sean Callananc7ca4662011-10-25 18:36:40 +00001619 if (!GlobalValue::isExternalLinkage(global_variable->getLinkage()))
1620 return MaterializeInternalVariable(global_variable);
1621
Sean Callananc0492742011-05-23 21:40:23 +00001622 clang::NamedDecl *named_decl = DeclForGlobal(global_variable);
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001623
Sean Callananf5857a02010-07-31 01:32:05 +00001624 if (!named_decl)
1625 {
Greg Clayton3c7feb42010-11-19 01:05:25 +00001626 if (IsObjCSelectorRef(llvm_value_ptr))
Sean Callananf5857a02010-07-31 01:32:05 +00001627 return true;
1628
Sean Callanan7cd46742010-12-06 00:56:39 +00001629 if (!global_variable->hasExternalLinkage())
1630 return true;
1631
Sean Callananf5857a02010-07-31 01:32:05 +00001632 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00001633 log->Printf("Found global variable \"%s\" without metadata", global_variable->getName().str().c_str());
Sean Callanan97c924e2011-01-27 01:07:04 +00001634
Sean Callananf5857a02010-07-31 01:32:05 +00001635 return false;
1636 }
1637
Greg Clayton8de27c72010-10-15 22:48:33 +00001638 std::string name (named_decl->getName().str());
Sean Callanan810f22d2010-07-16 00:09:46 +00001639
Sean Callanan771131d2010-09-30 21:18:25 +00001640 void *opaque_type = NULL;
Sean Callananf328c9f2010-07-20 23:31:16 +00001641 clang::ASTContext *ast_context = NULL;
Sean Callanan810f22d2010-07-16 00:09:46 +00001642
1643 if (clang::ValueDecl *value_decl = dyn_cast<clang::ValueDecl>(named_decl))
Sean Callananf328c9f2010-07-20 23:31:16 +00001644 {
Sean Callanan771131d2010-09-30 21:18:25 +00001645 opaque_type = value_decl->getType().getAsOpaquePtr();
Sean Callananf328c9f2010-07-20 23:31:16 +00001646 ast_context = &value_decl->getASTContext();
1647 }
Sean Callanan810f22d2010-07-16 00:09:46 +00001648 else
Sean Callananf328c9f2010-07-20 23:31:16 +00001649 {
Sean Callanan810f22d2010-07-16 00:09:46 +00001650 return false;
Sean Callananf328c9f2010-07-20 23:31:16 +00001651 }
Sean Callanan771131d2010-09-30 21:18:25 +00001652
Sean Callanan6a925532011-01-13 08:53:35 +00001653 clang::QualType qual_type;
Sean Callanan58baaad2011-07-08 00:39:14 +00001654 const Type *value_type = NULL;
Sean Callanan6a925532011-01-13 08:53:35 +00001655
Sean Callanan97678d12011-01-13 21:23:32 +00001656 if (name[0] == '$')
Sean Callanan6a925532011-01-13 08:53:35 +00001657 {
1658 // The $__lldb_expr_result name indicates the the return value has allocated as
1659 // a static variable. Per the comment at ASTResultSynthesizer::SynthesizeBodyResult,
1660 // accesses to this static variable need to be redirected to the result of dereferencing
1661 // a pointer that is passed in as one of the arguments.
1662 //
1663 // Consequently, when reporting the size of the type, we report a pointer type pointing
1664 // to the type of $__lldb_expr_result, not the type itself.
Sean Callanan97678d12011-01-13 21:23:32 +00001665 //
1666 // We also do this for any user-declared persistent variables.
Sean Callananf328c9f2010-07-20 23:31:16 +00001667
Sean Callanan6a925532011-01-13 08:53:35 +00001668 qual_type = ast_context->getPointerType(clang::QualType::getFromOpaquePtr(opaque_type));
1669 value_type = PointerType::get(global_variable->getType(), 0);
1670 }
1671 else
1672 {
1673 qual_type = clang::QualType::getFromOpaquePtr(opaque_type);
1674 value_type = global_variable->getType();
1675 }
Sean Callanan771131d2010-09-30 21:18:25 +00001676
1677 size_t value_size = (ast_context->getTypeSize(qual_type) + 7) / 8;
1678 off_t value_alignment = (ast_context->getTypeAlign(qual_type) + 7) / 8;
Sean Callanan3aa7da52010-12-13 22:46:15 +00001679
Sean Callanan771131d2010-09-30 21:18:25 +00001680 if (log)
Jason Molenda7e5fa7f2011-09-20 21:44:10 +00001681 log->Printf("Type of \"%s\" is [clang \"%s\", llvm \"%s\"] [size %lu, align %lld]",
Sean Callanan771131d2010-09-30 21:18:25 +00001682 name.c_str(),
1683 qual_type.getAsString().c_str(),
1684 PrintType(value_type).c_str(),
1685 value_size,
1686 value_alignment);
Sean Callanan3aa7da52010-12-13 22:46:15 +00001687
Sean Callanan8bce6652010-07-13 21:41:46 +00001688
Sean Callanan8c127202010-08-23 23:09:38 +00001689 if (named_decl && !m_decl_map->AddValueToStruct(named_decl,
Greg Clayton8de27c72010-10-15 22:48:33 +00001690 lldb_private::ConstString (name.c_str()),
1691 llvm_value_ptr,
Sean Callananba992c52010-07-27 02:07:53 +00001692 value_size,
1693 value_alignment))
Sean Callanan9a877432011-08-01 17:41:38 +00001694 {
1695 if (!global_variable->hasExternalLinkage())
1696 return true;
1697 else
1698 return false;
1699 }
Sean Callanan8bce6652010-07-13 21:41:46 +00001700 }
Sean Callananf3143b72010-12-03 03:02:31 +00001701 else if (dyn_cast<llvm::Function>(llvm_value_ptr))
Sean Callanan48443652010-12-02 19:47:57 +00001702 {
1703 if (log)
1704 log->Printf("Function pointers aren't handled right now");
1705
1706 return false;
1707 }
Sean Callanan8bce6652010-07-13 21:41:46 +00001708
1709 return true;
1710}
1711
Sean Callanan97c924e2011-01-27 01:07:04 +00001712// This function does not report errors; its callers are responsible.
Sean Callanan8bce6652010-07-13 21:41:46 +00001713bool
Sean Callananc0492742011-05-23 21:40:23 +00001714IRForTarget::HandleSymbol (Value *symbol)
Sean Callanan81974962011-05-08 02:21:26 +00001715{
Sean Callananc7674af2011-01-17 23:42:46 +00001716 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1717
1718 lldb_private::ConstString name(symbol->getName().str().c_str());
1719
Sean Callanan21ef5bb2011-12-01 02:04:16 +00001720 lldb::addr_t symbol_addr = m_decl_map->GetSymbolAddress (name, lldb::eSymbolTypeAny);
Sean Callananc7674af2011-01-17 23:42:46 +00001721
Greg Claytoncbc07cf2011-06-23 04:25:29 +00001722 if (symbol_addr == LLDB_INVALID_ADDRESS)
Sean Callananc7674af2011-01-17 23:42:46 +00001723 {
1724 if (log)
1725 log->Printf ("Symbol \"%s\" had no address", name.GetCString());
1726
1727 return false;
1728 }
1729
1730 if (log)
1731 log->Printf("Found \"%s\" at 0x%llx", name.GetCString(), symbol_addr);
1732
Sean Callanan9b6898f2011-07-30 02:42:06 +00001733 Type *symbol_type = symbol->getType();
Sean Callanan9b6898f2011-07-30 02:42:06 +00001734 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Sean Callanan4fbe61b2012-10-11 22:00:52 +00001735 (m_module->getPointerSize() == Module::Pointer64) ? 64 : 32);
Sean Callananc7674af2011-01-17 23:42:46 +00001736
1737 Constant *symbol_addr_int = ConstantInt::get(intptr_ty, symbol_addr, false);
1738
1739 Value *symbol_addr_ptr = ConstantExpr::getIntToPtr(symbol_addr_int, symbol_type);
1740
1741 if (log)
1742 log->Printf("Replacing %s with %s", PrintValue(symbol).c_str(), PrintValue(symbol_addr_ptr).c_str());
1743
1744 symbol->replaceAllUsesWith(symbol_addr_ptr);
1745
1746 return true;
1747}
1748
1749bool
Sean Callananc0492742011-05-23 21:40:23 +00001750IRForTarget::MaybeHandleCallArguments (CallInst *Old)
Sean Callanandc27aba2010-10-05 22:26:43 +00001751{
Sean Callanan48443652010-12-02 19:47:57 +00001752 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1753
1754 if (log)
1755 log->Printf("MaybeHandleCallArguments(%s)", PrintValue(Old).c_str());
Sean Callanandc27aba2010-10-05 22:26:43 +00001756
Sean Callanan6ba533e2010-11-17 23:00:36 +00001757 for (unsigned op_index = 0, num_ops = Old->getNumArgOperands();
Sean Callanandc27aba2010-10-05 22:26:43 +00001758 op_index < num_ops;
1759 ++op_index)
Sean Callananc0492742011-05-23 21:40:23 +00001760 if (!MaybeHandleVariable(Old->getArgOperand(op_index))) // conservatively believe that this is a store
Sean Callanan97c924e2011-01-27 01:07:04 +00001761 {
1762 if (m_error_stream)
1763 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't rewrite one of the arguments of a function call.\n");
1764
Sean Callanandc27aba2010-10-05 22:26:43 +00001765 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00001766 }
1767
Sean Callanandc27aba2010-10-05 22:26:43 +00001768 return true;
1769}
1770
1771bool
Sean Callanan9911d2f2011-11-01 23:38:03 +00001772IRForTarget::HandleObjCClass(Value *classlist_reference)
1773{
1774 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1775
1776 GlobalVariable *global_variable = dyn_cast<GlobalVariable>(classlist_reference);
1777
1778 if (!global_variable)
1779 return false;
1780
1781 Constant *initializer = global_variable->getInitializer();
1782
1783 if (!initializer)
1784 return false;
1785
1786 if (!initializer->hasName())
1787 return false;
1788
1789 StringRef name(initializer->getName());
1790 lldb_private::ConstString name_cstr(name.str().c_str());
Greg Clayton16d21872011-12-03 20:02:42 +00001791 lldb::addr_t class_ptr = m_decl_map->GetSymbolAddress(name_cstr, lldb::eSymbolTypeObjCClass);
Sean Callanan9911d2f2011-11-01 23:38:03 +00001792
1793 if (log)
1794 log->Printf("Found reference to Objective-C class %s (0x%llx)", name_cstr.AsCString(), (unsigned long long)class_ptr);
1795
1796 if (class_ptr == LLDB_INVALID_ADDRESS)
1797 return false;
1798
1799 if (global_variable->use_begin() == global_variable->use_end())
1800 return false;
1801
1802 LoadInst *load_instruction = NULL;
1803
1804 for (Value::use_iterator i = global_variable->use_begin(), e = global_variable->use_end();
1805 i != e;
1806 ++i)
1807 {
1808 if ((load_instruction = dyn_cast<LoadInst>(*i)))
1809 break;
1810 }
1811
1812 if (!load_instruction)
1813 return false;
1814
1815 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Sean Callanan4fbe61b2012-10-11 22:00:52 +00001816 (m_module->getPointerSize()
Micah Villmowce633582012-10-11 17:21:41 +00001817 == Module::Pointer64) ? 64 : 32);
Sean Callanan9911d2f2011-11-01 23:38:03 +00001818
1819 Constant *class_addr = ConstantInt::get(intptr_ty, (uint64_t)class_ptr);
1820 Constant *class_bitcast = ConstantExpr::getIntToPtr(class_addr, load_instruction->getType());
1821
1822 load_instruction->replaceAllUsesWith(class_bitcast);
1823
1824 load_instruction->eraseFromParent();
1825
1826 return true;
1827}
1828
1829bool
Sean Callanan1850f942012-07-21 02:02:15 +00001830IRForTarget::RemoveCXAAtExit (BasicBlock &basic_block)
1831{
1832 BasicBlock::iterator ii;
1833
1834 std::vector<CallInst *> calls_to_remove;
1835
1836 for (ii = basic_block.begin();
1837 ii != basic_block.end();
1838 ++ii)
1839 {
1840 Instruction &inst = *ii;
1841
1842 CallInst *call = dyn_cast<CallInst>(&inst);
1843
1844 // MaybeHandleCallArguments handles error reporting; we are silent here
1845 if (!call)
1846 continue;
1847
1848 bool remove = false;
1849
1850 llvm::Function *func = call->getCalledFunction();
1851
1852 if (func && func->getName() == "__cxa_atexit")
1853 remove = true;
1854
1855 llvm::Value *val = call->getCalledValue();
1856
1857 if (val && val->getName() == "__cxa_atexit")
1858 remove = true;
1859
1860 if (remove)
1861 calls_to_remove.push_back(call);
1862 }
1863
1864 for (std::vector<CallInst *>::iterator ci = calls_to_remove.begin(), ce = calls_to_remove.end();
1865 ci != ce;
1866 ++ci)
1867 {
1868 (*ci)->eraseFromParent();
1869 }
1870
1871 return true;
1872}
1873
1874bool
Sean Callananc0492742011-05-23 21:40:23 +00001875IRForTarget::ResolveCalls(BasicBlock &basic_block)
Sean Callanan8bce6652010-07-13 21:41:46 +00001876{
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001877 /////////////////////////////////////////////////////////////////////////
1878 // Prepare the current basic block for execution in the remote process
1879 //
1880
Sean Callanan02fbafa2010-07-27 21:39:39 +00001881 BasicBlock::iterator ii;
Sean Callanan8bce6652010-07-13 21:41:46 +00001882
Greg Clayton3c7feb42010-11-19 01:05:25 +00001883 for (ii = basic_block.begin();
1884 ii != basic_block.end();
Sean Callanan8bce6652010-07-13 21:41:46 +00001885 ++ii)
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001886 {
Sean Callanan8bce6652010-07-13 21:41:46 +00001887 Instruction &inst = *ii;
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001888
Sean Callanan1d1b39c2010-11-08 00:31:32 +00001889 CallInst *call = dyn_cast<CallInst>(&inst);
Sean Callananba992c52010-07-27 02:07:53 +00001890
Sean Callanan97c924e2011-01-27 01:07:04 +00001891 // MaybeHandleCallArguments handles error reporting; we are silent here
Sean Callananc0492742011-05-23 21:40:23 +00001892 if (call && !MaybeHandleCallArguments(call))
Sean Callanan48443652010-12-02 19:47:57 +00001893 return false;
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001894 }
1895
1896 return true;
1897}
1898
Sean Callanan1d1b39c2010-11-08 00:31:32 +00001899bool
Sean Callananc0492742011-05-23 21:40:23 +00001900IRForTarget::ResolveExternals (Function &llvm_function)
Sean Callanan1d1b39c2010-11-08 00:31:32 +00001901{
Sean Callananae71e302010-11-18 22:21:58 +00001902 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1903
Sean Callananc0492742011-05-23 21:40:23 +00001904 for (Module::global_iterator global = m_module->global_begin(), end = m_module->global_end();
Sean Callanan1d1b39c2010-11-08 00:31:32 +00001905 global != end;
1906 ++global)
1907 {
Sean Callanan1c17a7e2011-12-22 21:24:49 +00001908 if (!global)
1909 {
1910 if (m_error_stream)
1911 m_error_stream->Printf("Internal error [IRForTarget]: global variable is NULL");
1912
1913 return false;
1914 }
1915
1916 std::string global_name = (*global).getName().str();
1917
Greg Clayton3c7feb42010-11-19 01:05:25 +00001918 if (log)
1919 log->Printf("Examining %s, DeclForGlobalValue returns %p",
Sean Callanan1c17a7e2011-12-22 21:24:49 +00001920 global_name.c_str(),
Sean Callananc0492742011-05-23 21:40:23 +00001921 DeclForGlobal(global));
Sean Callanan9911d2f2011-11-01 23:38:03 +00001922
1923 if (global_name.find("OBJC_IVAR") == 0)
Sean Callananc7674af2011-01-17 23:42:46 +00001924 {
Sean Callananc0492742011-05-23 21:40:23 +00001925 if (!HandleSymbol(global))
Sean Callanan97c924e2011-01-27 01:07:04 +00001926 {
1927 if (m_error_stream)
Sean Callanan1c17a7e2011-12-22 21:24:49 +00001928 m_error_stream->Printf("Error [IRForTarget]: Couldn't find Objective-C indirect ivar symbol %s\n", global_name.c_str());
Sean Callanan97c924e2011-01-27 01:07:04 +00001929
Sean Callananc7674af2011-01-17 23:42:46 +00001930 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00001931 }
Sean Callananc7674af2011-01-17 23:42:46 +00001932 }
Sean Callanan9911d2f2011-11-01 23:38:03 +00001933 else if (global_name.find("OBJC_CLASSLIST_REFERENCES_$") != global_name.npos)
1934 {
1935 if (!HandleObjCClass(global))
1936 {
1937 if (m_error_stream)
1938 m_error_stream->Printf("Error [IRForTarget]: Couldn't resolve the class for an Objective-C static method call\n");
1939
1940 return false;
1941 }
1942 }
Sean Callananc0492742011-05-23 21:40:23 +00001943 else if (DeclForGlobal(global))
Sean Callananc7674af2011-01-17 23:42:46 +00001944 {
Sean Callananc0492742011-05-23 21:40:23 +00001945 if (!MaybeHandleVariable (global))
Sean Callanan97c924e2011-01-27 01:07:04 +00001946 {
1947 if (m_error_stream)
Sean Callanan1c17a7e2011-12-22 21:24:49 +00001948 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't rewrite external variable %s\n", global_name.c_str());
Sean Callanan97c924e2011-01-27 01:07:04 +00001949
Sean Callananc7674af2011-01-17 23:42:46 +00001950 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00001951 }
Sean Callananc7674af2011-01-17 23:42:46 +00001952 }
Sean Callanan1d1b39c2010-11-08 00:31:32 +00001953 }
1954
1955 return true;
1956}
1957
Sean Callananc0492742011-05-23 21:40:23 +00001958bool
1959IRForTarget::ReplaceStrings ()
1960{
1961 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1962
1963 if (!m_data_allocator)
1964 return true; // hope for the best; some clients may not want static allocation!
1965
1966 typedef std::map <GlobalVariable *, size_t> OffsetsTy;
1967
1968 OffsetsTy offsets;
1969
1970 for (Module::global_iterator gi = m_module->global_begin(), ge = m_module->global_end();
1971 gi != ge;
1972 ++gi)
1973 {
1974 GlobalVariable *gv = gi;
1975
1976 if (!gv->hasInitializer())
1977 continue;
1978
1979 Constant *gc = gv->getInitializer();
1980
Sean Callanan1b3d1df2011-08-10 21:05:52 +00001981 std::string str;
Sean Callananc0492742011-05-23 21:40:23 +00001982
Sean Callanan1b3d1df2011-08-10 21:05:52 +00001983 if (gc->isNullValue())
1984 {
1985 Type *gc_type = gc->getType();
1986
1987 ArrayType *gc_array_type = dyn_cast<ArrayType>(gc_type);
1988
1989 if (!gc_array_type)
1990 continue;
1991
1992 Type *gc_element_type = gc_array_type->getElementType();
1993
1994 IntegerType *gc_integer_type = dyn_cast<IntegerType>(gc_element_type);
1995
1996 if (gc_integer_type->getBitWidth() != 8)
1997 continue;
1998
1999 str = "";
2000 }
2001 else
2002 {
Sean Callanan39a30342012-02-09 03:22:41 +00002003 ConstantDataArray *gc_array = dyn_cast<ConstantDataArray>(gc);
Sean Callanan1b3d1df2011-08-10 21:05:52 +00002004
2005 if (!gc_array)
2006 continue;
Sean Callananc0492742011-05-23 21:40:23 +00002007
Sean Callanan1b3d1df2011-08-10 21:05:52 +00002008 if (!gc_array->isCString())
2009 continue;
Sean Callananc0492742011-05-23 21:40:23 +00002010
Sean Callanan1b3d1df2011-08-10 21:05:52 +00002011 if (log)
2012 log->Printf("Found a GlobalVariable with string initializer %s", PrintValue(gc).c_str());
Sean Callananc0492742011-05-23 21:40:23 +00002013
Sean Callanan1b3d1df2011-08-10 21:05:52 +00002014 str = gc_array->getAsString();
2015 }
2016
Sean Callananc0492742011-05-23 21:40:23 +00002017 offsets[gv] = m_data_allocator->GetStream().GetSize();
2018
2019 m_data_allocator->GetStream().Write(str.c_str(), str.length() + 1);
2020 }
2021
Sean Callanan9b6898f2011-07-30 02:42:06 +00002022 Type *char_ptr_ty = Type::getInt8PtrTy(m_module->getContext());
Sean Callananc0492742011-05-23 21:40:23 +00002023
2024 for (OffsetsTy::iterator oi = offsets.begin(), oe = offsets.end();
2025 oi != oe;
2026 ++oi)
2027 {
2028 GlobalVariable *gv = oi->first;
2029 size_t offset = oi->second;
2030
2031 Constant *new_initializer = BuildRelocation(char_ptr_ty, offset);
2032
2033 if (log)
2034 log->Printf("Replacing GV %s with %s", PrintValue(gv).c_str(), PrintValue(new_initializer).c_str());
2035
2036 for (GlobalVariable::use_iterator ui = gv->use_begin(), ue = gv->use_end();
2037 ui != ue;
2038 ++ui)
2039 {
2040 if (log)
2041 log->Printf("Found use %s", PrintValue(*ui).c_str());
2042
2043 ConstantExpr *const_expr = dyn_cast<ConstantExpr>(*ui);
2044 StoreInst *store_inst = dyn_cast<StoreInst>(*ui);
2045
2046 if (const_expr)
2047 {
2048 if (const_expr->getOpcode() != Instruction::GetElementPtr)
2049 {
2050 if (log)
2051 log->Printf("Use (%s) of string variable is not a GetElementPtr constant", PrintValue(const_expr).c_str());
2052
2053 return false;
2054 }
2055
Sean Callanan1b3d1df2011-08-10 21:05:52 +00002056 Constant *bit_cast = ConstantExpr::getBitCast(new_initializer, const_expr->getOperand(0)->getType());
2057 Constant *new_gep = const_expr->getWithOperandReplaced(0, bit_cast);
2058
2059 const_expr->replaceAllUsesWith(new_gep);
Sean Callananc0492742011-05-23 21:40:23 +00002060 }
2061 else if (store_inst)
2062 {
2063 Constant *bit_cast = ConstantExpr::getBitCast(new_initializer, store_inst->getValueOperand()->getType());
2064
2065 store_inst->setOperand(0, bit_cast);
2066 }
2067 else
2068 {
2069 if (log)
2070 log->Printf("Use (%s) of string variable is neither a constant nor a store", PrintValue(const_expr).c_str());
2071
2072 return false;
2073 }
2074 }
2075
2076 gv->eraseFromParent();
2077 }
2078
2079 return true;
2080}
2081
2082bool
2083IRForTarget::ReplaceStaticLiterals (llvm::BasicBlock &basic_block)
2084{
2085 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
2086
2087 if (!m_data_allocator)
2088 return true;
2089
2090 typedef SmallVector <Value*, 2> ConstantList;
2091 typedef SmallVector <llvm::Instruction*, 2> UserList;
2092 typedef ConstantList::iterator ConstantIterator;
2093 typedef UserList::iterator UserIterator;
2094
2095 ConstantList static_constants;
2096 UserList static_users;
2097
2098 for (BasicBlock::iterator ii = basic_block.begin(), ie = basic_block.end();
2099 ii != ie;
2100 ++ii)
2101 {
2102 llvm::Instruction &inst = *ii;
2103
2104 for (Instruction::op_iterator oi = inst.op_begin(), oe = inst.op_end();
2105 oi != oe;
2106 ++oi)
2107 {
2108 Value *operand_val = oi->get();
2109
2110 ConstantFP *operand_constant_fp = dyn_cast<ConstantFP>(operand_val);
2111
Sean Callanan26c05d92012-04-26 20:51:20 +00002112 if (operand_constant_fp/* && operand_constant_fp->getType()->isX86_FP80Ty()*/)
Sean Callananc0492742011-05-23 21:40:23 +00002113 {
2114 static_constants.push_back(operand_val);
2115 static_users.push_back(ii);
2116 }
2117 }
2118 }
2119
2120 ConstantIterator constant_iter;
2121 UserIterator user_iter;
Greg Clayton54b38412011-05-24 23:06:02 +00002122
Sean Callananc0492742011-05-23 21:40:23 +00002123 for (constant_iter = static_constants.begin(), user_iter = static_users.begin();
2124 constant_iter != static_constants.end();
2125 ++constant_iter, ++user_iter)
2126 {
2127 Value *operand_val = *constant_iter;
2128 llvm::Instruction *inst = *user_iter;
2129
2130 ConstantFP *operand_constant_fp = dyn_cast<ConstantFP>(operand_val);
Sean Callanan1d970e72012-06-08 22:20:41 +00002131 Type *operand_type = operand_constant_fp->getType();
Sean Callananc0492742011-05-23 21:40:23 +00002132
2133 if (operand_constant_fp)
2134 {
2135 APFloat operand_apfloat = operand_constant_fp->getValueAPF();
2136 APInt operand_apint = operand_apfloat.bitcastToAPInt();
2137
2138 const uint8_t* operand_raw_data = (const uint8_t*)operand_apint.getRawData();
2139 size_t operand_data_size = operand_apint.getBitWidth() / 8;
2140
2141 if (log)
2142 {
2143 std::string s;
2144 raw_string_ostream ss(s);
2145 for (size_t index = 0;
2146 index < operand_data_size;
2147 ++index)
2148 {
2149 ss << (uint32_t)operand_raw_data[index];
2150 ss << " ";
2151 }
2152 ss.flush();
2153
Jason Molenda7e5fa7f2011-09-20 21:44:10 +00002154 log->Printf("Found ConstantFP with size %lu and raw data %s", operand_data_size, s.c_str());
Sean Callananc0492742011-05-23 21:40:23 +00002155 }
2156
2157 lldb_private::DataBufferHeap data(operand_data_size, 0);
2158
2159 if (lldb::endian::InlHostByteOrder() != m_data_allocator->GetStream().GetByteOrder())
2160 {
2161 uint8_t *data_bytes = data.GetBytes();
2162
2163 for (size_t index = 0;
2164 index < operand_data_size;
2165 ++index)
2166 {
2167 data_bytes[index] = operand_raw_data[operand_data_size - (1 + index)];
2168 }
2169 }
2170 else
2171 {
2172 memcpy(data.GetBytes(), operand_raw_data, operand_data_size);
2173 }
2174
2175 uint64_t offset = m_data_allocator->GetStream().GetSize();
2176
Sean Callanan1d970e72012-06-08 22:20:41 +00002177 size_t align = m_target_data->getPrefTypeAlignment(operand_type);
2178
2179 const size_t mask = (align - 1);
2180 uint64_t aligned_offset = (offset + mask) & ~mask;
2181 m_data_allocator->GetStream().PutNHex8(aligned_offset - offset, 0);
2182 offset = aligned_offset;
2183
Sean Callananc0492742011-05-23 21:40:23 +00002184 m_data_allocator->GetStream().Write(data.GetBytes(), operand_data_size);
2185
Sean Callanan9b6898f2011-07-30 02:42:06 +00002186 llvm::Type *fp_ptr_ty = operand_constant_fp->getType()->getPointerTo();
Sean Callananc0492742011-05-23 21:40:23 +00002187
2188 Constant *new_pointer = BuildRelocation(fp_ptr_ty, offset);
2189
2190 llvm::LoadInst *fp_load = new llvm::LoadInst(new_pointer, "fp_load", inst);
2191
2192 operand_constant_fp->replaceAllUsesWith(fp_load);
2193 }
2194 }
2195
2196 return true;
2197}
2198
Sean Callanan02fbafa2010-07-27 21:39:39 +00002199static bool isGuardVariableRef(Value *V)
Sean Callanan45839272010-07-24 01:37:44 +00002200{
Sean Callanan58baaad2011-07-08 00:39:14 +00002201 Constant *Old = NULL;
Sean Callanan45839272010-07-24 01:37:44 +00002202
Sean Callanan6ba533e2010-11-17 23:00:36 +00002203 if (!(Old = dyn_cast<Constant>(V)))
Sean Callanan45839272010-07-24 01:37:44 +00002204 return false;
2205
Sean Callanan58baaad2011-07-08 00:39:14 +00002206 ConstantExpr *CE = NULL;
Sean Callanan47a5c4c2010-09-23 03:01:22 +00002207
2208 if ((CE = dyn_cast<ConstantExpr>(V)))
2209 {
2210 if (CE->getOpcode() != Instruction::BitCast)
2211 return false;
2212
Sean Callanan6ba533e2010-11-17 23:00:36 +00002213 Old = CE->getOperand(0);
Sean Callanan47a5c4c2010-09-23 03:01:22 +00002214 }
2215
Sean Callanan6ba533e2010-11-17 23:00:36 +00002216 GlobalVariable *GV = dyn_cast<GlobalVariable>(Old);
Sean Callanan45839272010-07-24 01:37:44 +00002217
2218 if (!GV || !GV->hasName() || !GV->getName().startswith("_ZGV"))
2219 return false;
2220
2221 return true;
2222}
2223
Sean Callananc0492742011-05-23 21:40:23 +00002224void
2225IRForTarget::TurnGuardLoadIntoZero(llvm::Instruction* guard_load)
Sean Callanan45839272010-07-24 01:37:44 +00002226{
Sean Callananc0492742011-05-23 21:40:23 +00002227 Constant* zero(ConstantInt::get(Type::getInt8Ty(m_module->getContext()), 0, true));
Sean Callanan45839272010-07-24 01:37:44 +00002228
2229 Value::use_iterator ui;
2230
2231 for (ui = guard_load->use_begin();
2232 ui != guard_load->use_end();
2233 ++ui)
Sean Callananb5b749c2010-07-27 01:17:28 +00002234 {
Greg Clayton6e713402010-07-30 20:30:44 +00002235 if (isa<Constant>(*ui))
Sean Callananb5b749c2010-07-27 01:17:28 +00002236 {
2237 // do nothing for the moment
2238 }
2239 else
2240 {
2241 ui->replaceUsesOfWith(guard_load, zero);
2242 }
2243 }
Sean Callanan45839272010-07-24 01:37:44 +00002244
2245 guard_load->eraseFromParent();
2246}
2247
2248static void ExciseGuardStore(Instruction* guard_store)
2249{
2250 guard_store->eraseFromParent();
2251}
2252
2253bool
Sean Callananc0492742011-05-23 21:40:23 +00002254IRForTarget::RemoveGuards(BasicBlock &basic_block)
Sean Callanan45839272010-07-24 01:37:44 +00002255{
2256 ///////////////////////////////////////////////////////
2257 // Eliminate any reference to guard variables found.
2258 //
2259
Sean Callanan02fbafa2010-07-27 21:39:39 +00002260 BasicBlock::iterator ii;
Sean Callanan45839272010-07-24 01:37:44 +00002261
Sean Callanan02fbafa2010-07-27 21:39:39 +00002262 typedef SmallVector <Instruction*, 2> InstrList;
Sean Callanan45839272010-07-24 01:37:44 +00002263 typedef InstrList::iterator InstrIterator;
2264
2265 InstrList guard_loads;
2266 InstrList guard_stores;
2267
Greg Clayton3c7feb42010-11-19 01:05:25 +00002268 for (ii = basic_block.begin();
2269 ii != basic_block.end();
Sean Callanan45839272010-07-24 01:37:44 +00002270 ++ii)
2271 {
2272 Instruction &inst = *ii;
2273
2274 if (LoadInst *load = dyn_cast<LoadInst>(&inst))
2275 if (isGuardVariableRef(load->getPointerOperand()))
2276 guard_loads.push_back(&inst);
2277
2278 if (StoreInst *store = dyn_cast<StoreInst>(&inst))
2279 if (isGuardVariableRef(store->getPointerOperand()))
2280 guard_stores.push_back(&inst);
2281 }
2282
2283 InstrIterator iter;
2284
2285 for (iter = guard_loads.begin();
2286 iter != guard_loads.end();
2287 ++iter)
Sean Callananc0492742011-05-23 21:40:23 +00002288 TurnGuardLoadIntoZero(*iter);
Sean Callanan45839272010-07-24 01:37:44 +00002289
2290 for (iter = guard_stores.begin();
2291 iter != guard_stores.end();
2292 ++iter)
2293 ExciseGuardStore(*iter);
2294
2295 return true;
2296}
2297
Sean Callanan97c924e2011-01-27 01:07:04 +00002298// This function does not report errors; its callers are responsible.
Sean Callanan6ba533e2010-11-17 23:00:36 +00002299bool
Greg Clayton3c7feb42010-11-19 01:05:25 +00002300IRForTarget::UnfoldConstant(Constant *old_constant, Value *new_constant, Instruction *first_entry_inst)
Sean Callananbafd6852010-07-14 23:40:29 +00002301{
Greg Claytone005f2c2010-11-06 01:53:30 +00002302 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callananbafd6852010-07-14 23:40:29 +00002303
2304 Value::use_iterator ui;
2305
Sean Callanana48fe162010-08-11 03:57:18 +00002306 SmallVector<User*, 16> users;
2307
2308 // We do this because the use list might change, invalidating our iterator.
2309 // Much better to keep a work list ourselves.
Greg Clayton3c7feb42010-11-19 01:05:25 +00002310 for (ui = old_constant->use_begin();
2311 ui != old_constant->use_end();
Sean Callananbafd6852010-07-14 23:40:29 +00002312 ++ui)
Sean Callanana48fe162010-08-11 03:57:18 +00002313 users.push_back(*ui);
Sean Callananbafd6852010-07-14 23:40:29 +00002314
Johnny Chen2bc9eb32011-07-19 19:48:13 +00002315 for (size_t i = 0;
Sean Callanana48fe162010-08-11 03:57:18 +00002316 i < users.size();
2317 ++i)
2318 {
2319 User *user = users[i];
2320
Sean Callananbafd6852010-07-14 23:40:29 +00002321 if (Constant *constant = dyn_cast<Constant>(user))
2322 {
2323 // synthesize a new non-constant equivalent of the constant
2324
2325 if (ConstantExpr *constant_expr = dyn_cast<ConstantExpr>(constant))
2326 {
2327 switch (constant_expr->getOpcode())
2328 {
2329 default:
2330 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00002331 log->Printf("Unhandled constant expression type: \"%s\"", PrintValue(constant_expr).c_str());
Sean Callananbafd6852010-07-14 23:40:29 +00002332 return false;
2333 case Instruction::BitCast:
2334 {
2335 // UnaryExpr
2336 // OperandList[0] is value
2337
2338 Value *s = constant_expr->getOperand(0);
2339
Greg Clayton3c7feb42010-11-19 01:05:25 +00002340 if (s == old_constant)
2341 s = new_constant;
Sean Callananbafd6852010-07-14 23:40:29 +00002342
Sean Callananc0492742011-05-23 21:40:23 +00002343 BitCastInst *bit_cast(new BitCastInst(s, constant_expr->getType(), "", first_entry_inst));
Sean Callananbafd6852010-07-14 23:40:29 +00002344
Greg Clayton3c7feb42010-11-19 01:05:25 +00002345 UnfoldConstant(constant_expr, bit_cast, first_entry_inst);
Sean Callananbafd6852010-07-14 23:40:29 +00002346 }
2347 break;
2348 case Instruction::GetElementPtr:
2349 {
2350 // GetElementPtrConstantExpr
2351 // OperandList[0] is base
2352 // OperandList[1]... are indices
2353
2354 Value *ptr = constant_expr->getOperand(0);
2355
Greg Clayton3c7feb42010-11-19 01:05:25 +00002356 if (ptr == old_constant)
2357 ptr = new_constant;
Sean Callanan9b6898f2011-07-30 02:42:06 +00002358
2359 std::vector<Value*> index_vector;
Sean Callananbafd6852010-07-14 23:40:29 +00002360
2361 unsigned operand_index;
2362 unsigned num_operands = constant_expr->getNumOperands();
2363
2364 for (operand_index = 1;
2365 operand_index < num_operands;
2366 ++operand_index)
2367 {
2368 Value *operand = constant_expr->getOperand(operand_index);
2369
Greg Clayton3c7feb42010-11-19 01:05:25 +00002370 if (operand == old_constant)
2371 operand = new_constant;
Sean Callananbafd6852010-07-14 23:40:29 +00002372
Sean Callanan9b6898f2011-07-30 02:42:06 +00002373 index_vector.push_back(operand);
Sean Callananbafd6852010-07-14 23:40:29 +00002374 }
2375
Sean Callanan9b6898f2011-07-30 02:42:06 +00002376 ArrayRef <Value*> indices(index_vector);
2377
2378 GetElementPtrInst *get_element_ptr(GetElementPtrInst::Create(ptr, indices, "", first_entry_inst));
Sean Callananbafd6852010-07-14 23:40:29 +00002379
Greg Clayton3c7feb42010-11-19 01:05:25 +00002380 UnfoldConstant(constant_expr, get_element_ptr, first_entry_inst);
Sean Callananbafd6852010-07-14 23:40:29 +00002381 }
2382 break;
2383 }
2384 }
2385 else
2386 {
2387 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00002388 log->Printf("Unhandled constant type: \"%s\"", PrintValue(constant).c_str());
Sean Callananbafd6852010-07-14 23:40:29 +00002389 return false;
2390 }
2391 }
2392 else
2393 {
2394 // simple fall-through case for non-constants
Greg Clayton3c7feb42010-11-19 01:05:25 +00002395 user->replaceUsesOfWith(old_constant, new_constant);
Sean Callananbafd6852010-07-14 23:40:29 +00002396 }
2397 }
2398
2399 return true;
2400}
2401
Sean Callanan8bce6652010-07-13 21:41:46 +00002402bool
Sean Callananc0492742011-05-23 21:40:23 +00002403IRForTarget::ReplaceVariables (Function &llvm_function)
Sean Callanan8bce6652010-07-13 21:41:46 +00002404{
Sean Callanane8a59a82010-09-13 21:34:21 +00002405 if (!m_resolve_vars)
2406 return true;
2407
Greg Claytone005f2c2010-11-06 01:53:30 +00002408 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan8bce6652010-07-13 21:41:46 +00002409
2410 m_decl_map->DoStructLayout();
2411
2412 if (log)
2413 log->Printf("Element arrangement:");
2414
2415 uint32_t num_elements;
2416 uint32_t element_index;
2417
2418 size_t size;
2419 off_t alignment;
2420
2421 if (!m_decl_map->GetStructInfo (num_elements, size, alignment))
2422 return false;
2423
Greg Clayton3c7feb42010-11-19 01:05:25 +00002424 Function::arg_iterator iter(llvm_function.getArgumentList().begin());
Sean Callanan8bce6652010-07-13 21:41:46 +00002425
Greg Clayton3c7feb42010-11-19 01:05:25 +00002426 if (iter == llvm_function.getArgumentList().end())
Sean Callanan97c924e2011-01-27 01:07:04 +00002427 {
2428 if (m_error_stream)
2429 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes no arguments (should take at least a struct pointer)");
2430
Sean Callanan8bce6652010-07-13 21:41:46 +00002431 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002432 }
2433
Sean Callanan02fbafa2010-07-27 21:39:39 +00002434 Argument *argument = iter;
Sean Callanan8bce6652010-07-13 21:41:46 +00002435
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00002436 if (argument->getName().equals("this"))
2437 {
2438 ++iter;
2439
Greg Clayton3c7feb42010-11-19 01:05:25 +00002440 if (iter == llvm_function.getArgumentList().end())
Sean Callanan97c924e2011-01-27 01:07:04 +00002441 {
2442 if (m_error_stream)
2443 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes only 'this' argument (should take a struct pointer too)");
2444
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00002445 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002446 }
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00002447
2448 argument = iter;
2449 }
Sean Callanan3aa7da52010-12-13 22:46:15 +00002450 else if (argument->getName().equals("self"))
2451 {
2452 ++iter;
2453
2454 if (iter == llvm_function.getArgumentList().end())
Sean Callanan97c924e2011-01-27 01:07:04 +00002455 {
2456 if (m_error_stream)
2457 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes only 'self' argument (should take '_cmd' and a struct pointer too)");
2458
Sean Callanan3aa7da52010-12-13 22:46:15 +00002459 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002460 }
Sean Callanan3aa7da52010-12-13 22:46:15 +00002461
2462 if (!iter->getName().equals("_cmd"))
Sean Callanan97c924e2011-01-27 01:07:04 +00002463 {
2464 if (m_error_stream)
2465 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes '%s' after 'self' argument (should take '_cmd')", iter->getName().str().c_str());
2466
Sean Callanan3aa7da52010-12-13 22:46:15 +00002467 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002468 }
Sean Callanan3aa7da52010-12-13 22:46:15 +00002469
2470 ++iter;
2471
2472 if (iter == llvm_function.getArgumentList().end())
Sean Callanan97c924e2011-01-27 01:07:04 +00002473 {
2474 if (m_error_stream)
2475 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes only 'self' and '_cmd' arguments (should take a struct pointer too)");
2476
Sean Callanan3aa7da52010-12-13 22:46:15 +00002477 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002478 }
Sean Callanan3aa7da52010-12-13 22:46:15 +00002479
2480 argument = iter;
2481 }
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00002482
Greg Clayton8de27c72010-10-15 22:48:33 +00002483 if (!argument->getName().equals("$__lldb_arg"))
Sean Callanan97c924e2011-01-27 01:07:04 +00002484 {
2485 if (m_error_stream)
2486 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes an argument named '%s' instead of the struct pointer", argument->getName().str().c_str());
2487
Sean Callanan8bce6652010-07-13 21:41:46 +00002488 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002489 }
2490
Sean Callanan8bce6652010-07-13 21:41:46 +00002491 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00002492 log->Printf("Arg: \"%s\"", PrintValue(argument).c_str());
Sean Callanan8bce6652010-07-13 21:41:46 +00002493
Greg Clayton3c7feb42010-11-19 01:05:25 +00002494 BasicBlock &entry_block(llvm_function.getEntryBlock());
Sean Callanan6ba533e2010-11-17 23:00:36 +00002495 Instruction *FirstEntryInstruction(entry_block.getFirstNonPHIOrDbg());
Sean Callanan8bce6652010-07-13 21:41:46 +00002496
Sean Callanan6ba533e2010-11-17 23:00:36 +00002497 if (!FirstEntryInstruction)
Sean Callanan97c924e2011-01-27 01:07:04 +00002498 {
2499 if (m_error_stream)
2500 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't find the first instruction in the wrapper for use in rewriting");
2501
Sean Callanan8bce6652010-07-13 21:41:46 +00002502 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002503 }
Sean Callanan8bce6652010-07-13 21:41:46 +00002504
Sean Callananc0492742011-05-23 21:40:23 +00002505 LLVMContext &context(m_module->getContext());
Sean Callanan9b6898f2011-07-30 02:42:06 +00002506 IntegerType *offset_type(Type::getInt32Ty(context));
Sean Callanan8bce6652010-07-13 21:41:46 +00002507
2508 if (!offset_type)
Sean Callanan97c924e2011-01-27 01:07:04 +00002509 {
2510 if (m_error_stream)
2511 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't produce an offset type");
2512
Sean Callanan8bce6652010-07-13 21:41:46 +00002513 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002514 }
Sean Callanan8bce6652010-07-13 21:41:46 +00002515
2516 for (element_index = 0; element_index < num_elements; ++element_index)
2517 {
Sean Callanan58baaad2011-07-08 00:39:14 +00002518 const clang::NamedDecl *decl = NULL;
2519 Value *value = NULL;
Sean Callanan8bce6652010-07-13 21:41:46 +00002520 off_t offset;
Greg Clayton8de27c72010-10-15 22:48:33 +00002521 lldb_private::ConstString name;
Sean Callanan8bce6652010-07-13 21:41:46 +00002522
Sean Callanan45690fe2010-08-30 22:17:16 +00002523 if (!m_decl_map->GetStructElement (decl, value, offset, name, element_index))
Sean Callanan97c924e2011-01-27 01:07:04 +00002524 {
2525 if (m_error_stream)
2526 m_error_stream->Printf("Internal error [IRForTarget]: Structure information is incomplete");
2527
Sean Callanan8bce6652010-07-13 21:41:46 +00002528 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002529 }
2530
Sean Callanan8bce6652010-07-13 21:41:46 +00002531 if (log)
Sean Callananc7ca4662011-10-25 18:36:40 +00002532 log->Printf(" \"%s\" (\"%s\") placed at %lld",
Greg Clayton8de27c72010-10-15 22:48:33 +00002533 name.GetCString(),
Sean Callananc7ca4662011-10-25 18:36:40 +00002534 decl->getNameAsString().c_str(),
Sean Callanan8bce6652010-07-13 21:41:46 +00002535 offset);
2536
Sean Callanan9b6898f2011-07-30 02:42:06 +00002537 ConstantInt *offset_int(ConstantInt::get(offset_type, offset, true));
Sean Callanan6ba533e2010-11-17 23:00:36 +00002538 GetElementPtrInst *get_element_ptr = GetElementPtrInst::Create(argument, offset_int, "", FirstEntryInstruction);
Sean Callanan6a925532011-01-13 08:53:35 +00002539
Sean Callananc7ca4662011-10-25 18:36:40 +00002540 if (value)
Sean Callanan6a925532011-01-13 08:53:35 +00002541 {
Sean Callananc7ca4662011-10-25 18:36:40 +00002542 Value *replacement = NULL;
Sean Callanan6a925532011-01-13 08:53:35 +00002543
Sean Callananc7ca4662011-10-25 18:36:40 +00002544 if (log)
2545 log->Printf(" Replacing [%s]", PrintValue(value).c_str());
Sean Callanan6a925532011-01-13 08:53:35 +00002546
Sean Callananc7ca4662011-10-25 18:36:40 +00002547 // Per the comment at ASTResultSynthesizer::SynthesizeBodyResult, in cases where the result
2548 // variable is an rvalue, we have to synthesize a dereference of the appropriate structure
2549 // entry in order to produce the static variable that the AST thinks it is accessing.
2550 if (name == m_result_name && !m_result_is_pointer)
2551 {
2552 BitCastInst *bit_cast = new BitCastInst(get_element_ptr, value->getType()->getPointerTo(), "", FirstEntryInstruction);
2553
2554 LoadInst *load = new LoadInst(bit_cast, "", FirstEntryInstruction);
2555
2556 replacement = load;
2557 }
2558 else
2559 {
2560 BitCastInst *bit_cast = new BitCastInst(get_element_ptr, value->getType(), "", FirstEntryInstruction);
2561
2562 replacement = bit_cast;
2563 }
2564
2565 if (Constant *constant = dyn_cast<Constant>(value))
2566 UnfoldConstant(constant, replacement, FirstEntryInstruction);
2567 else
2568 value->replaceAllUsesWith(replacement);
2569
2570 if (GlobalVariable *var = dyn_cast<GlobalVariable>(value))
2571 var->eraseFromParent();
2572 }
Sean Callanan8bce6652010-07-13 21:41:46 +00002573 }
2574
2575 if (log)
Jason Molenda7e5fa7f2011-09-20 21:44:10 +00002576 log->Printf("Total structure [align %lld, size %lu]", alignment, size);
Sean Callanan8bce6652010-07-13 21:41:46 +00002577
2578 return true;
2579}
2580
Sean Callananc0492742011-05-23 21:40:23 +00002581llvm::Constant *
Sean Callanan9b6898f2011-07-30 02:42:06 +00002582IRForTarget::BuildRelocation(llvm::Type *type,
Sean Callananc0492742011-05-23 21:40:23 +00002583 uint64_t offset)
2584{
2585 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
2586
Sean Callanan9b6898f2011-07-30 02:42:06 +00002587 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Sean Callanan4fbe61b2012-10-11 22:00:52 +00002588 (m_module->getPointerSize() == Module::Pointer64) ? 64 : 32);
Sean Callananc0492742011-05-23 21:40:23 +00002589
2590 llvm::Constant *offset_int = ConstantInt::get(intptr_ty, offset);
Sean Callanan9b6898f2011-07-30 02:42:06 +00002591
2592 llvm::Constant *offset_array[1];
2593
2594 offset_array[0] = offset_int;
2595
2596 llvm::ArrayRef<llvm::Constant *> offsets(offset_array, 1);
2597
2598 llvm::Constant *reloc_getelementptr = ConstantExpr::getGetElementPtr(m_reloc_placeholder, offsets);
Sean Callananc0492742011-05-23 21:40:23 +00002599 llvm::Constant *reloc_getbitcast = ConstantExpr::getBitCast(reloc_getelementptr, type);
2600
2601 return reloc_getbitcast;
2602}
2603
2604bool
2605IRForTarget::CompleteDataAllocation ()
2606{
Sean Callanan47dc4572011-09-15 02:13:07 +00002607 if (!m_data_allocator)
2608 return true;
2609
Sean Callananc0492742011-05-23 21:40:23 +00002610 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
2611
2612 if (!m_data_allocator->GetStream().GetSize())
2613 return true;
2614
2615 lldb::addr_t allocation = m_data_allocator->Allocate();
2616
2617 if (log)
2618 {
2619 if (allocation)
2620 log->Printf("Allocated static data at 0x%llx", (unsigned long long)allocation);
2621 else
2622 log->Printf("Failed to allocate static data");
2623 }
2624
2625 if (!allocation)
2626 return false;
2627
Sean Callanan9b6898f2011-07-30 02:42:06 +00002628 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Sean Callanan4fbe61b2012-10-11 22:00:52 +00002629 (m_module->getPointerSize() == Module::Pointer64) ? 64 : 32);
Sean Callananc0492742011-05-23 21:40:23 +00002630
2631 Constant *relocated_addr = ConstantInt::get(intptr_ty, (uint64_t)allocation);
2632 Constant *relocated_bitcast = ConstantExpr::getIntToPtr(relocated_addr, llvm::Type::getInt8PtrTy(m_module->getContext()));
2633
2634 m_reloc_placeholder->replaceAllUsesWith(relocated_bitcast);
2635
2636 m_reloc_placeholder->eraseFromParent();
2637
2638 return true;
2639}
2640
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002641bool
Sean Callanan06dc17f2012-09-24 22:25:51 +00002642IRForTarget::StripAllGVs (Module &llvm_module)
2643{
2644 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
2645 std::vector<GlobalVariable *> global_vars;
2646 std::set<GlobalVariable *>erased_vars;
2647
2648 bool erased = true;
2649
2650 while (erased)
2651 {
2652 erased = false;
2653
2654 for (Module::global_iterator gi = llvm_module.global_begin(), ge = llvm_module.global_end();
2655 gi != ge;
2656 ++gi)
2657 {
2658 GlobalVariable *global_var = dyn_cast<GlobalVariable>(gi);
2659
2660 global_var->removeDeadConstantUsers();
2661
2662 if (global_var->use_empty())
2663 {
2664 if (log)
2665 log->Printf("Did remove %s",
2666 PrintValue(global_var).c_str());
2667 global_var->eraseFromParent();
2668 erased = true;
2669 break;
2670 }
2671 }
2672 }
2673
2674 for (Module::global_iterator gi = llvm_module.global_begin(), ge = llvm_module.global_end();
2675 gi != ge;
2676 ++gi)
2677 {
2678 GlobalVariable *global_var = dyn_cast<GlobalVariable>(gi);
2679
2680 GlobalValue::use_iterator ui = global_var->use_begin();
2681
Jim Ingham00521232012-11-26 19:54:04 +00002682 if (log)
2683 log->Printf("Couldn't remove %s because of %s",
2684 PrintValue(global_var).c_str(),
2685 PrintValue(*ui).c_str());
Sean Callanan06dc17f2012-09-24 22:25:51 +00002686 }
2687
2688 return true;
2689}
2690
2691bool
Greg Clayton3c7feb42010-11-19 01:05:25 +00002692IRForTarget::runOnModule (Module &llvm_module)
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002693{
Greg Claytone005f2c2010-11-06 01:53:30 +00002694 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002695
Sean Callananc0492742011-05-23 21:40:23 +00002696 m_module = &llvm_module;
Micah Villmow3051ed72012-10-08 16:28:57 +00002697 m_target_data.reset(new DataLayout(m_module));
Sean Callananc0492742011-05-23 21:40:23 +00002698
2699 Function* function = m_module->getFunction(StringRef(m_func_name.c_str()));
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002700
2701 if (!function)
2702 {
2703 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00002704 log->Printf("Couldn't find \"%s()\" in the module", m_func_name.c_str());
Sean Callanan97c924e2011-01-27 01:07:04 +00002705
2706 if (m_error_stream)
Sean Callananc0492742011-05-23 21:40:23 +00002707 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't find wrapper '%s' in the module", m_func_name.c_str());
Sean Callanan6a925532011-01-13 08:53:35 +00002708
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002709 return false;
2710 }
Sean Callananc0492742011-05-23 21:40:23 +00002711
2712 if (!FixFunctionLinkage (*function))
2713 {
2714 if (log)
2715 log->Printf("Couldn't fix the linkage for the function");
2716
2717 return false;
2718 }
2719
Sean Callananc7ca4662011-10-25 18:36:40 +00002720 if (log)
2721 {
2722 std::string s;
2723 raw_string_ostream oss(s);
2724
2725 m_module->print(oss, NULL);
2726
2727 oss.flush();
2728
2729 log->Printf("Module as passed in to IRForTarget: \n\"%s\"", s.c_str());
2730 }
2731
Sean Callanan9b6898f2011-07-30 02:42:06 +00002732 llvm::Type *intptr_ty = Type::getInt8Ty(m_module->getContext());
Sean Callananc0492742011-05-23 21:40:23 +00002733
2734 m_reloc_placeholder = new llvm::GlobalVariable((*m_module),
2735 intptr_ty,
Sean Callanan06dc17f2012-09-24 22:25:51 +00002736 false /* IsConstant */,
Sean Callananc0492742011-05-23 21:40:23 +00002737 GlobalVariable::InternalLinkage,
2738 Constant::getNullValue(intptr_ty),
2739 "reloc_placeholder",
2740 NULL /* InsertBefore */,
Sean Callanan06dc17f2012-09-24 22:25:51 +00002741 GlobalVariable::NotThreadLocal /* ThreadLocal */,
Sean Callananc0492742011-05-23 21:40:23 +00002742 0 /* AddressSpace */);
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002743
Sean Callanan02fbafa2010-07-27 21:39:39 +00002744 Function::iterator bbi;
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002745
Sean Callananc0492742011-05-23 21:40:23 +00002746 m_has_side_effects = HasSideEffects(*function);
Sean Callanan05a5a1b2010-12-16 03:17:46 +00002747
Sean Callanan82b74c82010-08-12 01:56:52 +00002748 ////////////////////////////////////////////////////////////
Greg Clayton8de27c72010-10-15 22:48:33 +00002749 // Replace $__lldb_expr_result with a persistent variable
Sean Callanan82b74c82010-08-12 01:56:52 +00002750 //
2751
Sean Callananc0492742011-05-23 21:40:23 +00002752 if (!CreateResultVariable(*function))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002753 {
2754 if (log)
2755 log->Printf("CreateResultVariable() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002756
2757 // CreateResultVariable() reports its own errors, so we don't do so here
2758
Sean Callanan82b74c82010-08-12 01:56:52 +00002759 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002760 }
Sean Callanan47dc4572011-09-15 02:13:07 +00002761
2762 if (m_const_result && m_execution_policy != lldb_private::eExecutionPolicyAlways)
2763 {
2764 m_interpret_success = true;
Sean Callanan696cf5f2011-05-07 01:06:41 +00002765 return true;
Sean Callanan47dc4572011-09-15 02:13:07 +00002766 }
2767
2768 for (bbi = function->begin();
2769 bbi != function->end();
2770 ++bbi)
2771 {
2772 if (!RemoveGuards(*bbi))
2773 {
2774 if (log)
2775 log->Printf("RemoveGuards() failed");
2776
2777 // RemoveGuards() reports its own errors, so we don't do so here
2778
2779 return false;
2780 }
2781
2782 if (!RewritePersistentAllocs(*bbi))
2783 {
2784 if (log)
2785 log->Printf("RewritePersistentAllocs() failed");
2786
2787 // RewritePersistentAllocs() reports its own errors, so we don't do so here
2788
2789 return false;
2790 }
Sean Callanan1850f942012-07-21 02:02:15 +00002791
2792 if (!RemoveCXAAtExit(*bbi))
2793 {
2794 if (log)
2795 log->Printf("RemoveCXAAtExit() failed");
2796
2797 // RemoveCXAAtExit() reports its own errors, so we don't do so here
2798
2799 return false;
2800 }
Sean Callanan47dc4572011-09-15 02:13:07 +00002801 }
2802
2803 if (m_decl_map && m_execution_policy != lldb_private::eExecutionPolicyAlways)
2804 {
2805 IRInterpreter interpreter (*m_decl_map,
2806 m_error_stream);
2807
Sean Callananddf110d2012-01-24 22:06:48 +00002808 interpreter.maybeRunOnFunction(m_const_result, m_result_name, m_result_type, *function, llvm_module, m_interpreter_error);
2809
2810 if (m_interpreter_error.Success())
Sean Callanan47dc4572011-09-15 02:13:07 +00002811 return true;
Sean Callanan47dc4572011-09-15 02:13:07 +00002812 }
Sean Callanan696cf5f2011-05-07 01:06:41 +00002813
Sean Callanan8f2e3922012-02-04 08:49:35 +00002814 if (m_execution_policy == lldb_private::eExecutionPolicyNever) {
Sean Callanan08210572012-04-24 17:56:40 +00002815 if (m_result_name)
2816 m_decl_map->RemoveResultVariable(m_result_name);
Sean Callanan8f2e3922012-02-04 08:49:35 +00002817 return false;
2818 }
2819
Sean Callanan7b8eb762011-11-01 17:33:54 +00002820 if (log && log->GetVerbose())
Sean Callananc0492742011-05-23 21:40:23 +00002821 {
2822 std::string s;
2823 raw_string_ostream oss(s);
2824
2825 m_module->print(oss, NULL);
2826
2827 oss.flush();
2828
2829 log->Printf("Module after creating the result variable: \n\"%s\"", s.c_str());
2830 }
2831
Sean Callanan6ba533e2010-11-17 23:00:36 +00002832 ///////////////////////////////////////////////////////////////////////////////
2833 // Fix all Objective-C constant strings to use NSStringWithCString:encoding:
2834 //
Sean Callanan6ba533e2010-11-17 23:00:36 +00002835
Sean Callananc0492742011-05-23 21:40:23 +00002836 if (!RewriteObjCConstStrings(*function))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002837 {
2838 if (log)
2839 log->Printf("RewriteObjCConstStrings() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002840
2841 // RewriteObjCConstStrings() reports its own errors, so we don't do so here
2842
Sean Callanan6ba533e2010-11-17 23:00:36 +00002843 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002844 }
Sean Callanan6ba533e2010-11-17 23:00:36 +00002845
Sean Callanan5c9a3c72011-08-04 21:37:47 +00002846 ///////////////////////////////
2847 // Resolve function pointers
2848 //
2849
2850 if (!ResolveFunctionPointers(llvm_module, *function))
2851 {
2852 if (log)
2853 log->Printf("ResolveFunctionPointers() failed");
2854
2855 // ResolveFunctionPointers() reports its own errors, so we don't do so here
2856
2857 return false;
2858 }
2859
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002860 for (bbi = function->begin();
2861 bbi != function->end();
2862 ++bbi)
2863 {
Sean Callananc0492742011-05-23 21:40:23 +00002864 if (!RewriteObjCSelectors(*bbi))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002865 {
2866 if (log)
2867 log->Printf("RewriteObjCSelectors() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002868
2869 // RewriteObjCSelectors() reports its own errors, so we don't do so here
2870
Sean Callanana48fe162010-08-11 03:57:18 +00002871 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002872 }
Sean Callanan083b3762012-07-27 19:25:24 +00002873 }
Sean Callanana48fe162010-08-11 03:57:18 +00002874
Sean Callanan083b3762012-07-27 19:25:24 +00002875 for (bbi = function->begin();
2876 bbi != function->end();
2877 ++bbi)
2878 {
Sean Callananc0492742011-05-23 21:40:23 +00002879 if (!ResolveCalls(*bbi))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002880 {
2881 if (log)
2882 log->Printf("ResolveCalls() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002883
2884 // ResolveCalls() reports its own errors, so we don't do so here
2885
Sean Callanan8bce6652010-07-13 21:41:46 +00002886 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002887 }
Sean Callananc0492742011-05-23 21:40:23 +00002888
2889 if (!ReplaceStaticLiterals(*bbi))
2890 {
2891 if (log)
2892 log->Printf("ReplaceStaticLiterals() failed");
2893
2894 return false;
2895 }
Sean Callanan8bce6652010-07-13 21:41:46 +00002896 }
2897
Sean Callanan771131d2010-09-30 21:18:25 +00002898 ///////////////////////////////
2899 // Run function-level passes
2900 //
2901
Sean Callananc0492742011-05-23 21:40:23 +00002902 if (!ResolveExternals(*function))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002903 {
2904 if (log)
2905 log->Printf("ResolveExternals() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002906
2907 // ResolveExternals() reports its own errors, so we don't do so here
2908
Sean Callanan1d1b39c2010-11-08 00:31:32 +00002909 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002910 }
Sean Callanan1d1b39c2010-11-08 00:31:32 +00002911
Sean Callananc0492742011-05-23 21:40:23 +00002912 if (!ReplaceVariables(*function))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002913 {
2914 if (log)
2915 log->Printf("ReplaceVariables() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002916
2917 // ReplaceVariables() reports its own errors, so we don't do so here
2918
Sean Callanan771131d2010-09-30 21:18:25 +00002919 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002920 }
Sean Callanan771131d2010-09-30 21:18:25 +00002921
Sean Callananc0492742011-05-23 21:40:23 +00002922 if (!ReplaceStrings())
2923 {
2924 if (log)
2925 log->Printf("ReplaceStrings() failed");
2926
2927 return false;
2928 }
2929
2930 if (!CompleteDataAllocation())
2931 {
2932 if (log)
2933 log->Printf("CompleteDataAllocation() failed");
2934
2935 return false;
2936 }
2937
Sean Callanan06dc17f2012-09-24 22:25:51 +00002938 if (!StripAllGVs(llvm_module))
2939 {
2940 if (log)
2941 log->Printf("StripAllGVs() failed");
2942 }
2943
Sean Callanan7b8eb762011-11-01 17:33:54 +00002944 if (log && log->GetVerbose())
Sean Callanan8bce6652010-07-13 21:41:46 +00002945 {
Sean Callanan321fe9e2010-07-28 01:00:59 +00002946 std::string s;
2947 raw_string_ostream oss(s);
Sean Callanan8bce6652010-07-13 21:41:46 +00002948
Sean Callananc0492742011-05-23 21:40:23 +00002949 m_module->print(oss, NULL);
Sean Callanan321fe9e2010-07-28 01:00:59 +00002950
2951 oss.flush();
2952
Greg Claytonb5037af2010-11-15 01:47:11 +00002953 log->Printf("Module after preparing for execution: \n\"%s\"", s.c_str());
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002954 }
2955
2956 return true;
2957}
2958
2959void
Greg Clayton3c7feb42010-11-19 01:05:25 +00002960IRForTarget::assignPassManager (PMStack &pass_mgr_stack, PassManagerType pass_mgr_type)
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002961{
2962}
2963
2964PassManagerType
2965IRForTarget::getPotentialPassManagerType() const
2966{
2967 return PMT_ModulePassManager;
2968}