blob: 02b901d469c98cff279ec5ba767e95695589d204 [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;
81 raw_string_ostream rso(s);
Greg Clayton3c7feb42010-11-19 01:05:25 +000082 value->print(rso);
Sean Callanana48fe162010-08-11 03:57:18 +000083 rso.flush();
84 if (truncate)
85 s.resize(s.length() - 1);
86 return s;
87}
88
Sean Callanan771131d2010-09-30 21:18:25 +000089static std::string
Greg Clayton3c7feb42010-11-19 01:05:25 +000090PrintType(const Type *type, bool truncate = false)
Sean Callanan771131d2010-09-30 21:18:25 +000091{
92 std::string s;
93 raw_string_ostream rso(s);
Greg Clayton3c7feb42010-11-19 01:05:25 +000094 type->print(rso);
Sean Callanan771131d2010-09-30 21:18:25 +000095 rso.flush();
96 if (truncate)
97 s.resize(s.length() - 1);
98 return s;
99}
100
Sean Callanan5cf4a1c2010-07-03 01:35:46 +0000101IRForTarget::~IRForTarget()
102{
103}
104
Sean Callananc0492742011-05-23 21:40:23 +0000105bool
106IRForTarget::FixFunctionLinkage(llvm::Function &llvm_function)
107{
108 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
109
110 llvm_function.setLinkage(GlobalValue::ExternalLinkage);
111
Sean Callananfecc09c2011-11-19 02:54:21 +0000112 std::string name = llvm_function.getName().str();
Sean Callananc0492742011-05-23 21:40:23 +0000113
114 return true;
115}
116
Sean Callanan82b74c82010-08-12 01:56:52 +0000117bool
Sean Callananc0492742011-05-23 21:40:23 +0000118IRForTarget::HasSideEffects (llvm::Function &llvm_function)
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000119{
120 llvm::Function::iterator bbi;
121 BasicBlock::iterator ii;
Sean Callanan696cf5f2011-05-07 01:06:41 +0000122
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000123 for (bbi = llvm_function.begin();
124 bbi != llvm_function.end();
125 ++bbi)
126 {
127 BasicBlock &basic_block = *bbi;
128
129 for (ii = basic_block.begin();
130 ii != basic_block.end();
131 ++ii)
132 {
133 switch (ii->getOpcode())
134 {
135 default:
136 return true;
137 case Instruction::Store:
138 {
139 StoreInst *store_inst = dyn_cast<StoreInst>(ii);
140
141 Value *store_ptr = store_inst->getPointerOperand();
142
Sean Callanan696cf5f2011-05-07 01:06:41 +0000143 std::string ptr_name;
144
145 if (store_ptr->hasName())
Sean Callananfecc09c2011-11-19 02:54:21 +0000146 ptr_name = store_ptr->getName().str();
Sean Callanan696cf5f2011-05-07 01:06:41 +0000147
148 if (isa <AllocaInst> (store_ptr))
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000149 break;
Sean Callanan696cf5f2011-05-07 01:06:41 +0000150
151 if (ptr_name.find("$__lldb_expr_result") != std::string::npos)
152 {
153 if (ptr_name.find("GV") == std::string::npos)
154 m_result_store = store_inst;
155 }
156 else
157 {
158 return true;
159 }
160
161 break;
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000162 }
163 case Instruction::Load:
164 case Instruction::Alloca:
165 case Instruction::GetElementPtr:
Sean Callanan696cf5f2011-05-07 01:06:41 +0000166 case Instruction::BitCast:
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000167 case Instruction::Ret:
Sean Callanan696cf5f2011-05-07 01:06:41 +0000168 case Instruction::ICmp:
169 case Instruction::Br:
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000170 break;
171 }
172 }
173 }
174
175 return false;
176}
177
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000178bool
179IRForTarget::GetFunctionAddress (llvm::Function *fun,
180 uint64_t &fun_addr,
181 lldb_private::ConstString &name,
182 Constant **&value_ptr)
183{
184 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
185
186 fun_addr = LLDB_INVALID_ADDRESS;
187 name.Clear();
188 value_ptr = NULL;
189
190 if (fun->isIntrinsic())
191 {
192 Intrinsic::ID intrinsic_id = (Intrinsic::ID)fun->getIntrinsicID();
193
194 switch (intrinsic_id)
195 {
196 default:
197 if (log)
198 log->Printf("Unresolved intrinsic \"%s\"", Intrinsic::getName(intrinsic_id).c_str());
199
200 if (m_error_stream)
201 m_error_stream->Printf("Internal error [IRForTarget]: Call to unhandled compiler intrinsic '%s'\n", Intrinsic::getName(intrinsic_id).c_str());
202
203 return false;
204 case Intrinsic::memcpy:
205 {
206 static lldb_private::ConstString g_memcpy_str ("memcpy");
207 name = g_memcpy_str;
208 }
209 break;
Sean Callanan7befa302011-11-16 00:20:50 +0000210 case Intrinsic::memset:
211 {
212 static lldb_private::ConstString g_memset_str ("memset");
213 name = g_memset_str;
214 }
215 break;
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000216 }
217
218 if (log && name)
219 log->Printf("Resolved intrinsic name \"%s\"", name.GetCString());
220 }
221 else
222 {
223 name.SetCStringWithLength (fun->getName().data(), fun->getName().size());
224 }
225
226 // Find the address of the function.
227
228 clang::NamedDecl *fun_decl = DeclForGlobal (fun);
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000229
230 if (fun_decl)
231 {
Sean Callananc7ca4662011-10-25 18:36:40 +0000232 if (!m_decl_map->GetFunctionInfo (fun_decl, fun_addr))
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000233 {
Greg Clayton9b98ffd2012-07-18 20:47:40 +0000234 lldb_private::ConstString altnernate_name;
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000235 bool found_it = m_decl_map->GetFunctionAddress (name, fun_addr);
236 if (!found_it)
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000237 {
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000238 // Check for an alternate mangling for "std::basic_string<char>"
239 // that is part of the itanium C++ name mangling scheme
240 const char *name_cstr = name.GetCString();
241 if (strncmp(name_cstr, "_ZNKSbIcE", strlen("_ZNKSbIcE")) == 0)
242 {
243 std::string alternate_mangling("_ZNKSs");
244 alternate_mangling.append (name_cstr + strlen("_ZNKSbIcE"));
Greg Clayton9b98ffd2012-07-18 20:47:40 +0000245 altnernate_name.SetCString(alternate_mangling.c_str());
246 found_it = m_decl_map->GetFunctionAddress (altnernate_name, fun_addr);
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000247 }
248 }
249
250 if (!found_it)
251 {
Greg Clayton9b98ffd2012-07-18 20:47:40 +0000252 lldb_private::Mangled mangled_name(name);
253 lldb_private::Mangled alt_mangled_name(altnernate_name);
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000254 if (log)
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000255 {
Greg Clayton9b98ffd2012-07-18 20:47:40 +0000256 if (alt_mangled_name)
257 log->Printf("Function \"%s\" (alternate name \"%s\") has no address",
258 mangled_name.GetName().GetCString(),
259 alt_mangled_name.GetName().GetCString());
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000260 else
Greg Clayton9b98ffd2012-07-18 20:47:40 +0000261 log->Printf("Function \"%s\" had no address",
262 mangled_name.GetName().GetCString());
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000263 }
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000264
265 if (m_error_stream)
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000266 {
Greg Clayton9b98ffd2012-07-18 20:47:40 +0000267 if (alt_mangled_name)
268 m_error_stream->Printf("error: call to a function '%s' (alternate name '%s') that is not present in the target\n",
269 mangled_name.GetName().GetCString(),
270 alt_mangled_name.GetName().GetCString());
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000271 else
Greg Clayton9b98ffd2012-07-18 20:47:40 +0000272 m_error_stream->Printf("error: call to a function '%s' that is not present in the target\n",
273 mangled_name.GetName().GetCString());
Greg Claytonf6a5bd72011-10-22 03:33:13 +0000274 }
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000275 return false;
276 }
277 }
278 }
279 else
280 {
281 if (!m_decl_map->GetFunctionAddress (name, fun_addr))
282 {
283 if (log)
284 log->Printf ("Metadataless function \"%s\" had no address", name.GetCString());
285
286 if (m_error_stream)
287 m_error_stream->Printf("Error [IRForTarget]: Call to a symbol-only function '%s' that is not present in the target\n", name.GetCString());
288
289 return false;
290 }
291 }
292
293 if (log)
294 log->Printf("Found \"%s\" at 0x%llx", name.GetCString(), fun_addr);
295
296 return true;
297}
298
299llvm::Constant *
300IRForTarget::BuildFunctionPointer (llvm::Type *type,
301 uint64_t ptr)
302{
303 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Sean Callanan4fbe61b2012-10-11 22:00:52 +0000304 (m_module->getPointerSize() == Module::Pointer64) ? 64 : 32);
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000305 PointerType *fun_ptr_ty = PointerType::getUnqual(type);
306 Constant *fun_addr_int = ConstantInt::get(intptr_ty, ptr, false);
307 return ConstantExpr::getIntToPtr(fun_addr_int, fun_ptr_ty);
308}
309
Sean Callanan715f6b02011-10-31 22:11:40 +0000310void
311IRForTarget::RegisterFunctionMetadata(LLVMContext &context,
312 llvm::Value *function_ptr,
313 const char *name)
314{
315 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
316
317 for (Value::use_iterator i = function_ptr->use_begin(), e = function_ptr->use_end();
318 i != e;
319 ++i)
320 {
321 Value *user = *i;
322
323 if (Instruction *user_inst = dyn_cast<Instruction>(user))
324 {
Sean Callanan39a30342012-02-09 03:22:41 +0000325 Constant *name_array = ConstantDataArray::getString(context, StringRef(name));
Sean Callanan715f6b02011-10-31 22:11:40 +0000326
327 ArrayRef<Value *> md_values(name_array);
328
329 MDNode *metadata = MDNode::get(context, md_values);
330
331 user_inst->setMetadata("lldb.call.realName", metadata);
332 }
333 else
334 {
335 RegisterFunctionMetadata (context, user, name);
336 }
337 }
338}
339
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000340bool
341IRForTarget::ResolveFunctionPointers(llvm::Module &llvm_module,
342 llvm::Function &llvm_function)
343{
344 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
345
346 for (llvm::Module::iterator fi = llvm_module.begin();
347 fi != llvm_module.end();
348 ++fi)
349 {
350 Function *fun = fi;
351
352 bool is_decl = fun->isDeclaration();
353
354 if (log)
Sean Callananfecc09c2011-11-19 02:54:21 +0000355 log->Printf("Examining %s function %s", (is_decl ? "declaration" : "non-declaration"), fun->getName().str().c_str());
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000356
357 if (!is_decl)
358 continue;
359
360 if (fun->hasNUses(0))
361 continue; // ignore
362
363 uint64_t addr = LLDB_INVALID_ADDRESS;
364 lldb_private::ConstString name;
365 Constant **value_ptr = NULL;
366
367 if (!GetFunctionAddress(fun,
368 addr,
369 name,
370 value_ptr))
371 return false; // GetFunctionAddress reports its own errors
372
373 Constant *value = BuildFunctionPointer(fun->getFunctionType(), addr);
374
Sean Callanan715f6b02011-10-31 22:11:40 +0000375 RegisterFunctionMetadata (llvm_module.getContext(), fun, name.AsCString());
376
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000377 if (value_ptr)
378 *value_ptr = value;
379
380 fun->replaceAllUsesWith(value);
381 }
382
383 return true;
384}
385
Sean Callanan47dc4572011-09-15 02:13:07 +0000386
Sean Callanan696cf5f2011-05-07 01:06:41 +0000387clang::NamedDecl *
Sean Callanan47dc4572011-09-15 02:13:07 +0000388IRForTarget::DeclForGlobal (const GlobalValue *global_val, Module *module)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000389{
390 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
391
Sean Callanan47dc4572011-09-15 02:13:07 +0000392 NamedMDNode *named_metadata = module->getNamedMetadata("clang.global.decl.ptrs");
Sean Callanan696cf5f2011-05-07 01:06:41 +0000393
394 if (!named_metadata)
395 return NULL;
396
397 unsigned num_nodes = named_metadata->getNumOperands();
398 unsigned node_index;
399
400 for (node_index = 0;
401 node_index < num_nodes;
402 ++node_index)
403 {
404 MDNode *metadata_node = named_metadata->getOperand(node_index);
405
406 if (!metadata_node)
407 return NULL;
408
409 if (metadata_node->getNumOperands() != 2)
410 continue;
411
412 if (metadata_node->getOperand(0) != global_val)
413 continue;
414
415 ConstantInt *constant_int = dyn_cast<ConstantInt>(metadata_node->getOperand(1));
416
417 if (!constant_int)
418 return NULL;
419
420 uintptr_t ptr = constant_int->getZExtValue();
421
422 return reinterpret_cast<clang::NamedDecl *>(ptr);
423 }
424
425 return NULL;
426}
427
Sean Callanan47dc4572011-09-15 02:13:07 +0000428clang::NamedDecl *
429IRForTarget::DeclForGlobal (GlobalValue *global_val)
430{
431 return DeclForGlobal(global_val, m_module);
432}
433
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000434void
435IRForTarget::MaybeSetConstantResult (llvm::Constant *initializer,
436 const lldb_private::ConstString &name,
437 lldb_private::TypeFromParser type)
438{
Sean Callanan696cf5f2011-05-07 01:06:41 +0000439 if (llvm::ConstantExpr *init_expr = dyn_cast<llvm::ConstantExpr>(initializer))
440 {
441 switch (init_expr->getOpcode())
442 {
443 default:
444 return;
445 case Instruction::IntToPtr:
446 MaybeSetConstantResult (init_expr->getOperand(0), name, type);
447 return;
448 }
449 }
450 else if (llvm::ConstantInt *init_int = dyn_cast<llvm::ConstantInt>(initializer))
451 {
452 m_const_result = m_decl_map->BuildIntegerVariable(name, type, init_int->getValue());
453 }
454}
455
456void
Sean Callananc0492742011-05-23 21:40:23 +0000457IRForTarget::MaybeSetCastResult (lldb_private::TypeFromParser type)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000458{
459 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
460
461 if (!m_result_store)
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000462 return;
463
Sean Callanan696cf5f2011-05-07 01:06:41 +0000464 LoadInst *original_load = NULL;
465
466 for (llvm::Value *current_value = m_result_store->getValueOperand(), *next_value;
467 current_value != NULL;
468 current_value = next_value)
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000469 {
Sean Callanan696cf5f2011-05-07 01:06:41 +0000470 CastInst *cast_inst = dyn_cast<CastInst>(current_value);
471 LoadInst *load_inst = dyn_cast<LoadInst>(current_value);
472
473 if (cast_inst)
474 {
475 next_value = cast_inst->getOperand(0);
476 }
Enrico Granata4c3fb4b2011-07-19 18:03:25 +0000477 else if (load_inst)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000478 {
479 if (isa<LoadInst>(load_inst->getPointerOperand()))
480 {
481 next_value = load_inst->getPointerOperand();
482 }
483 else
484 {
485 original_load = load_inst;
486 break;
487 }
488 }
489 else
490 {
491 return;
492 }
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000493 }
Sean Callanan696cf5f2011-05-07 01:06:41 +0000494
495 Value *loaded_value = original_load->getPointerOperand();
496 GlobalVariable *loaded_global = dyn_cast<GlobalVariable>(loaded_value);
497
498 if (!loaded_global)
499 return;
500
Sean Callananc0492742011-05-23 21:40:23 +0000501 clang::NamedDecl *loaded_decl = DeclForGlobal(loaded_global);
Sean Callanan696cf5f2011-05-07 01:06:41 +0000502
503 if (!loaded_decl)
504 return;
505
506 clang::VarDecl *loaded_var = dyn_cast<clang::VarDecl>(loaded_decl);
507
508 if (!loaded_var)
509 return;
510
511 if (log)
512 {
513 lldb_private::StreamString type_desc_stream;
514 type.DumpTypeDescription(&type_desc_stream);
515
516 log->Printf("Type to cast variable to: \"%s\"", type_desc_stream.GetString().c_str());
517 }
518
519 m_const_result = m_decl_map->BuildCastVariable(m_result_name, loaded_var, type);
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000520}
521
522bool
Sean Callananc0492742011-05-23 21:40:23 +0000523IRForTarget::CreateResultVariable (llvm::Function &llvm_function)
Sean Callanan82b74c82010-08-12 01:56:52 +0000524{
Greg Claytone005f2c2010-11-06 01:53:30 +0000525 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan82b74c82010-08-12 01:56:52 +0000526
Sean Callanane8a59a82010-09-13 21:34:21 +0000527 if (!m_resolve_vars)
528 return true;
529
530 // Find the result variable. If it doesn't exist, we can give up right here.
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000531
Sean Callananc0492742011-05-23 21:40:23 +0000532 ValueSymbolTable& value_symbol_table = m_module->getValueSymbolTable();
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000533
Sean Callanan9b6898f2011-07-30 02:42:06 +0000534 std::string result_name_str;
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000535 const char *result_name = NULL;
536
537 for (ValueSymbolTable::iterator vi = value_symbol_table.begin(), ve = value_symbol_table.end();
538 vi != ve;
539 ++vi)
540 {
Sean Callanan9b6898f2011-07-30 02:42:06 +0000541 result_name_str = vi->first().str();
542 const char *value_name = result_name_str.c_str();
543
544 if (strstr(value_name, "$__lldb_expr_result_ptr") &&
545 !strstr(value_name, "GV"))
Sean Callanan6a925532011-01-13 08:53:35 +0000546 {
Sean Callanan9b6898f2011-07-30 02:42:06 +0000547 result_name = value_name;
Sean Callanan6a925532011-01-13 08:53:35 +0000548 m_result_is_pointer = true;
549 break;
550 }
551
Sean Callanan9b6898f2011-07-30 02:42:06 +0000552 if (strstr(value_name, "$__lldb_expr_result") &&
553 !strstr(value_name, "GV"))
Sean Callananc04743d2010-09-28 21:13:03 +0000554 {
Sean Callanan9b6898f2011-07-30 02:42:06 +0000555 result_name = value_name;
Sean Callanan6a925532011-01-13 08:53:35 +0000556 m_result_is_pointer = false;
Sean Callananc04743d2010-09-28 21:13:03 +0000557 break;
558 }
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000559 }
560
561 if (!result_name)
562 {
563 if (log)
564 log->PutCString("Couldn't find result variable");
565
566 return true;
567 }
568
Sean Callananc04743d2010-09-28 21:13:03 +0000569 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +0000570 log->Printf("Result name: \"%s\"", result_name);
Sean Callananc04743d2010-09-28 21:13:03 +0000571
Sean Callananc0492742011-05-23 21:40:23 +0000572 Value *result_value = m_module->getNamedValue(result_name);
Sean Callanan82b74c82010-08-12 01:56:52 +0000573
574 if (!result_value)
575 {
576 if (log)
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000577 log->PutCString("Result variable had no data");
Sean Callanan6a925532011-01-13 08:53:35 +0000578
Sean Callanan97c924e2011-01-27 01:07:04 +0000579 if (m_error_stream)
580 m_error_stream->Printf("Internal error [IRForTarget]: Result variable's name (%s) exists, but not its definition\n", result_name);
581
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000582 return false;
Sean Callanan82b74c82010-08-12 01:56:52 +0000583 }
Sean Callanane8a59a82010-09-13 21:34:21 +0000584
Sean Callanan82b74c82010-08-12 01:56:52 +0000585 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +0000586 log->Printf("Found result in the IR: \"%s\"", PrintValue(result_value, false).c_str());
Sean Callanan82b74c82010-08-12 01:56:52 +0000587
588 GlobalVariable *result_global = dyn_cast<GlobalVariable>(result_value);
589
590 if (!result_global)
591 {
592 if (log)
593 log->PutCString("Result variable isn't a GlobalVariable");
Sean Callanan97c924e2011-01-27 01:07:04 +0000594
595 if (m_error_stream)
596 m_error_stream->Printf("Internal error [IRForTarget]: Result variable (%s) is defined, but is not a global variable\n", result_name);
597
Sean Callanan82b74c82010-08-12 01:56:52 +0000598 return false;
599 }
600
Sean Callananc0492742011-05-23 21:40:23 +0000601 clang::NamedDecl *result_decl = DeclForGlobal (result_global);
Sean Callanan696cf5f2011-05-07 01:06:41 +0000602 if (!result_decl)
Sean Callanan82b74c82010-08-12 01:56:52 +0000603 {
604 if (log)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000605 log->PutCString("Result variable doesn't have a corresponding Decl");
Sean Callanan82b74c82010-08-12 01:56:52 +0000606
Sean Callanan97c924e2011-01-27 01:07:04 +0000607 if (m_error_stream)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000608 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 +0000609
Sean Callanan82b74c82010-08-12 01:56:52 +0000610 return false;
611 }
Sean Callanan82b74c82010-08-12 01:56:52 +0000612
Sean Callanan696cf5f2011-05-07 01:06:41 +0000613 if (log)
Sean Callanan82b74c82010-08-12 01:56:52 +0000614 {
Sean Callanan696cf5f2011-05-07 01:06:41 +0000615 std::string decl_desc_str;
616 raw_string_ostream decl_desc_stream(decl_desc_str);
617 result_decl->print(decl_desc_stream);
618 decl_desc_stream.flush();
Sean Callanan82b74c82010-08-12 01:56:52 +0000619
Sean Callanan696cf5f2011-05-07 01:06:41 +0000620 log->Printf("Found result decl: \"%s\"", decl_desc_str.c_str());
Sean Callanan82b74c82010-08-12 01:56:52 +0000621 }
622
Sean Callanan696cf5f2011-05-07 01:06:41 +0000623 clang::VarDecl *result_var = dyn_cast<clang::VarDecl>(result_decl);
624 if (!result_var)
Sean Callanan82b74c82010-08-12 01:56:52 +0000625 {
626 if (log)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000627 log->PutCString("Result variable Decl isn't a VarDecl");
Sean Callanan97c924e2011-01-27 01:07:04 +0000628
629 if (m_error_stream)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000630 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 +0000631
Sean Callanan82b74c82010-08-12 01:56:52 +0000632 return false;
633 }
Sean Callanan82b74c82010-08-12 01:56:52 +0000634
Sean Callanan82b74c82010-08-12 01:56:52 +0000635 // Get the next available result name from m_decl_map and create the persistent
636 // variable for it
Sean Callanan47dc4572011-09-15 02:13:07 +0000637
Sean Callanan696cf5f2011-05-07 01:06:41 +0000638 // If the result is an Lvalue, it is emitted as a pointer; see
639 // ASTResultSynthesizer::SynthesizeBodyResult.
Sean Callanan6a925532011-01-13 08:53:35 +0000640 if (m_result_is_pointer)
641 {
Sean Callanan696cf5f2011-05-07 01:06:41 +0000642 clang::QualType pointer_qual_type = result_var->getType();
Sean Callanand5b3c352011-01-27 04:42:51 +0000643 const clang::Type *pointer_type = pointer_qual_type.getTypePtr();
Sean Callanan6a925532011-01-13 08:53:35 +0000644
Sean Callanan21f2e192011-12-14 01:13:04 +0000645 const clang::PointerType *pointer_pointertype = pointer_type->getAs<clang::PointerType>();
646 const clang::ObjCObjectPointerType *pointer_objcobjpointertype = pointer_type->getAs<clang::ObjCObjectPointerType>();
Sean Callanan4fdf7952011-12-08 19:04:34 +0000647
648 if (pointer_pointertype)
649 {
650 clang::QualType element_qual_type = pointer_pointertype->getPointeeType();
651
652 m_result_type = lldb_private::TypeFromParser(element_qual_type.getAsOpaquePtr(),
653 &result_decl->getASTContext());
654 }
655 else if (pointer_objcobjpointertype)
656 {
657 clang::QualType element_qual_type = clang::QualType(pointer_objcobjpointertype->getObjectType(), 0);
658
659 m_result_type = lldb_private::TypeFromParser(element_qual_type.getAsOpaquePtr(),
660 &result_decl->getASTContext());
661 }
662 else
Sean Callanan6a925532011-01-13 08:53:35 +0000663 {
664 if (log)
665 log->PutCString("Expected result to have pointer type, but it did not");
Sean Callanan97c924e2011-01-27 01:07:04 +0000666
667 if (m_error_stream)
668 m_error_stream->Printf("Internal error [IRForTarget]: Lvalue result (%s) is not a pointer variable\n", result_name);
669
Sean Callanan6a925532011-01-13 08:53:35 +0000670 return false;
671 }
Sean Callanan6a925532011-01-13 08:53:35 +0000672 }
673 else
674 {
Sean Callanan47dc4572011-09-15 02:13:07 +0000675 m_result_type = lldb_private::TypeFromParser(result_var->getType().getAsOpaquePtr(),
Sean Callanan5a55c7a2011-11-18 03:28:09 +0000676 &result_decl->getASTContext());
677 }
678
679 if (m_result_type.GetClangTypeBitWidth() == 0)
680 {
681 lldb_private::StreamString type_desc_stream;
682 m_result_type.DumpTypeDescription(&type_desc_stream);
683
684 if (log)
685 log->Printf("Result type has size 0");
686
687 if (m_error_stream)
Sean Callananb6f9ee72011-12-21 23:44:05 +0000688 m_error_stream->Printf("Error [IRForTarget]: Size of result type '%s' couldn't be determined\n",
Sean Callanan5a55c7a2011-11-18 03:28:09 +0000689 type_desc_stream.GetData());
Sean Callananb6f9ee72011-12-21 23:44:05 +0000690 return false;
Sean Callanan6a925532011-01-13 08:53:35 +0000691 }
692
Sean Callanan696cf5f2011-05-07 01:06:41 +0000693 if (log)
694 {
695 lldb_private::StreamString type_desc_stream;
Sean Callanan47dc4572011-09-15 02:13:07 +0000696 m_result_type.DumpTypeDescription(&type_desc_stream);
Sean Callanan696cf5f2011-05-07 01:06:41 +0000697
Sean Callanan5a55c7a2011-11-18 03:28:09 +0000698 log->Printf("Result decl type: \"%s\"", type_desc_stream.GetData());
Sean Callanan696cf5f2011-05-07 01:06:41 +0000699 }
700
Sean Callanan6a925532011-01-13 08:53:35 +0000701 m_result_name = m_decl_map->GetPersistentResultName();
Sean Callanan82b74c82010-08-12 01:56:52 +0000702
703 if (log)
Sean Callanan5a55c7a2011-11-18 03:28:09 +0000704 log->Printf("Creating a new result global: \"%s\" with size 0x%x",
705 m_result_name.GetCString(),
706 m_result_type.GetClangTypeBitWidth() / 8);
Sean Callanan82b74c82010-08-12 01:56:52 +0000707
708 // Construct a new result global and set up its metadata
709
Sean Callananc0492742011-05-23 21:40:23 +0000710 GlobalVariable *new_result_global = new GlobalVariable((*m_module),
Sean Callanan82b74c82010-08-12 01:56:52 +0000711 result_global->getType()->getElementType(),
712 false, /* not constant */
713 GlobalValue::ExternalLinkage,
714 NULL, /* no initializer */
Sean Callanan6a925532011-01-13 08:53:35 +0000715 m_result_name.GetCString ());
Sean Callanan82b74c82010-08-12 01:56:52 +0000716
717 // It's too late in compilation to create a new VarDecl for this, but we don't
718 // need to. We point the metadata at the old VarDecl. This creates an odd
719 // anomaly: a variable with a Value whose name is something like $0 and a
Greg Clayton8de27c72010-10-15 22:48:33 +0000720 // Decl whose name is $__lldb_expr_result. This condition is handled in
Sean Callanan82b74c82010-08-12 01:56:52 +0000721 // ClangExpressionDeclMap::DoMaterialize, and the name of the variable is
722 // fixed up.
723
Sean Callananc0492742011-05-23 21:40:23 +0000724 ConstantInt *new_constant_int = ConstantInt::get(llvm::Type::getInt64Ty(m_module->getContext()),
Sean Callanan696cf5f2011-05-07 01:06:41 +0000725 reinterpret_cast<uint64_t>(result_decl),
Sean Callanan82b74c82010-08-12 01:56:52 +0000726 false);
727
728 llvm::Value* values[2];
729 values[0] = new_result_global;
730 values[1] = new_constant_int;
731
Sean Callanan0de254a2011-05-15 22:34:38 +0000732 ArrayRef<Value*> value_ref(values, 2);
733
Sean Callananc0492742011-05-23 21:40:23 +0000734 MDNode *persistent_global_md = MDNode::get(m_module->getContext(), value_ref);
735 NamedMDNode *named_metadata = m_module->getNamedMetadata("clang.global.decl.ptrs");
Sean Callanan82b74c82010-08-12 01:56:52 +0000736 named_metadata->addOperand(persistent_global_md);
737
738 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +0000739 log->Printf("Replacing \"%s\" with \"%s\"",
Sean Callanan2e2db532010-09-07 22:43:19 +0000740 PrintValue(result_global).c_str(),
Sean Callanan82b74c82010-08-12 01:56:52 +0000741 PrintValue(new_result_global).c_str());
Sean Callanan2e2db532010-09-07 22:43:19 +0000742
743 if (result_global->hasNUses(0))
744 {
745 // We need to synthesize a store for this variable, because otherwise
746 // there's nothing to put into its equivalent persistent variable.
Sean Callanan82b74c82010-08-12 01:56:52 +0000747
Greg Clayton8de27c72010-10-15 22:48:33 +0000748 BasicBlock &entry_block(llvm_function.getEntryBlock());
Sean Callanan2e2db532010-09-07 22:43:19 +0000749 Instruction *first_entry_instruction(entry_block.getFirstNonPHIOrDbg());
750
751 if (!first_entry_instruction)
752 return false;
753
754 if (!result_global->hasInitializer())
755 {
756 if (log)
757 log->Printf("Couldn't find initializer for unused variable");
Sean Callanan97c924e2011-01-27 01:07:04 +0000758
759 if (m_error_stream)
760 m_error_stream->Printf("Internal error [IRForTarget]: Result variable (%s) has no writes and no initializer\n", result_name);
761
Sean Callanan2e2db532010-09-07 22:43:19 +0000762 return false;
763 }
764
765 Constant *initializer = result_global->getInitializer();
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000766
767 // Here we write the initializer into a result variable assuming it
768 // can be computed statically.
769
770 if (!m_has_side_effects)
771 {
Sean Callanan557ccd62011-10-21 05:18:02 +0000772 //MaybeSetConstantResult (initializer,
773 // m_result_name,
774 // m_result_type);
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000775 }
Sean Callanan2e2db532010-09-07 22:43:19 +0000776
Greg Clayton2c344ca2011-02-05 02:28:58 +0000777 StoreInst *synthesized_store = new StoreInst(initializer,
778 new_result_global,
779 first_entry_instruction);
Sean Callanan2e2db532010-09-07 22:43:19 +0000780
781 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +0000782 log->Printf("Synthesized result store \"%s\"\n", PrintValue(synthesized_store).c_str());
Sean Callanan2e2db532010-09-07 22:43:19 +0000783 }
784 else
785 {
Sean Callanan47dc4572011-09-15 02:13:07 +0000786 if (!m_has_side_effects && lldb_private::ClangASTContext::IsPointerType (m_result_type.GetOpaqueQualType()))
Sean Callanan696cf5f2011-05-07 01:06:41 +0000787 {
Sean Callanan557ccd62011-10-21 05:18:02 +0000788 //MaybeSetCastResult (m_result_type);
Sean Callanan696cf5f2011-05-07 01:06:41 +0000789 }
790
Sean Callanan2e2db532010-09-07 22:43:19 +0000791 result_global->replaceAllUsesWith(new_result_global);
792 }
Sean Callanan696cf5f2011-05-07 01:06:41 +0000793
794 if (!m_const_result)
Sean Callanan5a55c7a2011-11-18 03:28:09 +0000795 if (!m_decl_map->AddPersistentVariable(result_decl,
796 m_result_name,
797 m_result_type,
798 true,
799 m_result_is_pointer))
800 return false;
Sean Callanan2e2db532010-09-07 22:43:19 +0000801
Sean Callanan82b74c82010-08-12 01:56:52 +0000802 result_global->eraseFromParent();
803
804 return true;
805}
806
Johnny Chen58021cc2011-08-09 23:10:20 +0000807#if 0
Greg Clayton3c7feb42010-11-19 01:05:25 +0000808static void DebugUsers(lldb::LogSP &log, Value *value, uint8_t depth)
Sean Callanan6ba533e2010-11-17 23:00:36 +0000809{
810 if (!depth)
811 return;
812
813 depth--;
814
Johnny Chen58021cc2011-08-09 23:10:20 +0000815 if (log)
816 log->Printf(" <Begin %d users>", value->getNumUses());
Sean Callanan6ba533e2010-11-17 23:00:36 +0000817
Greg Clayton3c7feb42010-11-19 01:05:25 +0000818 for (Value::use_iterator ui = value->use_begin(), ue = value->use_end();
Sean Callanan6ba533e2010-11-17 23:00:36 +0000819 ui != ue;
820 ++ui)
821 {
Johnny Chen58021cc2011-08-09 23:10:20 +0000822 if (log)
823 log->Printf(" <Use %p> %s", *ui, PrintValue(*ui).c_str());
Sean Callanan6ba533e2010-11-17 23:00:36 +0000824 DebugUsers(log, *ui, depth);
825 }
826
Johnny Chen58021cc2011-08-09 23:10:20 +0000827 if (log)
828 log->Printf(" <End uses>");
Sean Callanan6ba533e2010-11-17 23:00:36 +0000829}
Johnny Chen58021cc2011-08-09 23:10:20 +0000830#endif
Sean Callanan6ba533e2010-11-17 23:00:36 +0000831
832bool
Sean Callananc0492742011-05-23 21:40:23 +0000833IRForTarget::RewriteObjCConstString (llvm::GlobalVariable *ns_str,
Greg Clayton3c7feb42010-11-19 01:05:25 +0000834 llvm::GlobalVariable *cstr,
835 Instruction *FirstEntryInstruction)
Sean Callanan6ba533e2010-11-17 23:00:36 +0000836{
837 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
838
Sean Callanan9b6898f2011-07-30 02:42:06 +0000839 Type *ns_str_ty = ns_str->getType();
Sean Callananc0492742011-05-23 21:40:23 +0000840
Sean Callanan9b6898f2011-07-30 02:42:06 +0000841 Type *i8_ptr_ty = Type::getInt8PtrTy(m_module->getContext());
842 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Sean Callanan4fbe61b2012-10-11 22:00:52 +0000843 (m_module->getPointerSize()
Micah Villmowce633582012-10-11 17:21:41 +0000844 == Module::Pointer64) ? 64 : 32);
Sean Callanan9b6898f2011-07-30 02:42:06 +0000845 Type *i32_ty = Type::getInt32Ty(m_module->getContext());
846 Type *i8_ty = Type::getInt8Ty(m_module->getContext());
Sean Callanan6ba533e2010-11-17 23:00:36 +0000847
848 if (!m_CFStringCreateWithBytes)
849 {
850 lldb::addr_t CFStringCreateWithBytes_addr;
851
852 static lldb_private::ConstString g_CFStringCreateWithBytes_str ("CFStringCreateWithBytes");
853
854 if (!m_decl_map->GetFunctionAddress (g_CFStringCreateWithBytes_str, CFStringCreateWithBytes_addr))
855 {
856 if (log)
857 log->PutCString("Couldn't find CFStringCreateWithBytes in the target");
858
Sean Callanan97c924e2011-01-27 01:07:04 +0000859 if (m_error_stream)
860 m_error_stream->Printf("Error [IRForTarget]: Rewriting an Objective-C constant string requires CFStringCreateWithBytes\n");
861
Sean Callanan6ba533e2010-11-17 23:00:36 +0000862 return false;
863 }
864
865 if (log)
866 log->Printf("Found CFStringCreateWithBytes at 0x%llx", CFStringCreateWithBytes_addr);
867
868 // Build the function type:
869 //
870 // CFStringRef CFStringCreateWithBytes (
871 // CFAllocatorRef alloc,
872 // const UInt8 *bytes,
873 // CFIndex numBytes,
874 // CFStringEncoding encoding,
875 // Boolean isExternalRepresentation
876 // );
877 //
878 // We make the following substitutions:
879 //
880 // CFStringRef -> i8*
881 // CFAllocatorRef -> i8*
882 // UInt8 * -> i8*
883 // CFIndex -> long (i32 or i64, as appropriate; we ask the module for its pointer size for now)
884 // CFStringEncoding -> i32
885 // Boolean -> i8
886
Sean Callanan9b6898f2011-07-30 02:42:06 +0000887 Type *arg_type_array[5];
888
889 arg_type_array[0] = i8_ptr_ty;
890 arg_type_array[1] = i8_ptr_ty;
891 arg_type_array[2] = intptr_ty;
892 arg_type_array[3] = i32_ty;
893 arg_type_array[4] = i8_ty;
894
895 ArrayRef<Type *> CFSCWB_arg_types(arg_type_array, 5);
896
Sean Callananc0492742011-05-23 21:40:23 +0000897 llvm::Type *CFSCWB_ty = FunctionType::get(ns_str_ty, CFSCWB_arg_types, false);
Sean Callanan6ba533e2010-11-17 23:00:36 +0000898
899 // Build the constant containing the pointer to the function
900 PointerType *CFSCWB_ptr_ty = PointerType::getUnqual(CFSCWB_ty);
901 Constant *CFSCWB_addr_int = ConstantInt::get(intptr_ty, CFStringCreateWithBytes_addr, false);
902 m_CFStringCreateWithBytes = ConstantExpr::getIntToPtr(CFSCWB_addr_int, CFSCWB_ptr_ty);
903 }
904
Sean Callanan39a30342012-02-09 03:22:41 +0000905 ConstantDataSequential *string_array = NULL;
Sean Callanan0ece5262011-02-10 22:17:53 +0000906
907 if (cstr)
Sean Callanan39a30342012-02-09 03:22:41 +0000908 string_array = dyn_cast<ConstantDataSequential>(cstr->getInitializer());
Sean Callanan9b6898f2011-07-30 02:42:06 +0000909
Sean Callanan6ba533e2010-11-17 23:00:36 +0000910 Constant *alloc_arg = Constant::getNullValue(i8_ptr_ty);
Sean Callanan0ece5262011-02-10 22:17:53 +0000911 Constant *bytes_arg = cstr ? ConstantExpr::getBitCast(cstr, i8_ptr_ty) : Constant::getNullValue(i8_ptr_ty);
Sean Callanan39a30342012-02-09 03:22:41 +0000912 Constant *numBytes_arg = ConstantInt::get(intptr_ty, cstr ? string_array->getNumElements() - 1 : 0, false);
Sean Callanan6ba533e2010-11-17 23:00:36 +0000913 Constant *encoding_arg = ConstantInt::get(i32_ty, 0x0600, false); /* 0x0600 is kCFStringEncodingASCII */
914 Constant *isExternal_arg = ConstantInt::get(i8_ty, 0x0, false); /* 0x0 is false */
915
Sean Callanan9b6898f2011-07-30 02:42:06 +0000916 Value *argument_array[5];
917
918 argument_array[0] = alloc_arg;
919 argument_array[1] = bytes_arg;
920 argument_array[2] = numBytes_arg;
921 argument_array[3] = encoding_arg;
922 argument_array[4] = isExternal_arg;
923
924 ArrayRef <Value *> CFSCWB_arguments(argument_array, 5);
Sean Callanan6ba533e2010-11-17 23:00:36 +0000925
926 CallInst *CFSCWB_call = CallInst::Create(m_CFStringCreateWithBytes,
Sean Callanan9b6898f2011-07-30 02:42:06 +0000927 CFSCWB_arguments,
Sean Callanan6ba533e2010-11-17 23:00:36 +0000928 "CFStringCreateWithBytes",
929 FirstEntryInstruction);
Sean Callananae71e302010-11-18 22:21:58 +0000930
Greg Clayton3c7feb42010-11-19 01:05:25 +0000931 if (!UnfoldConstant(ns_str, CFSCWB_call, FirstEntryInstruction))
Sean Callanan6ba533e2010-11-17 23:00:36 +0000932 {
933 if (log)
934 log->PutCString("Couldn't replace the NSString with the result of the call");
935
Sean Callanan97c924e2011-01-27 01:07:04 +0000936 if (m_error_stream)
937 m_error_stream->Printf("Error [IRForTarget]: Couldn't replace an Objective-C constant string with a dynamic string\n");
938
Sean Callanan6ba533e2010-11-17 23:00:36 +0000939 return false;
940 }
941
Greg Clayton3c7feb42010-11-19 01:05:25 +0000942 ns_str->eraseFromParent();
Sean Callanan6ba533e2010-11-17 23:00:36 +0000943
944 return true;
945}
946
947bool
Sean Callananc0492742011-05-23 21:40:23 +0000948IRForTarget::RewriteObjCConstStrings(Function &llvm_function)
Sean Callanan6ba533e2010-11-17 23:00:36 +0000949{
950 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
951
Sean Callananc0492742011-05-23 21:40:23 +0000952 ValueSymbolTable& value_symbol_table = m_module->getValueSymbolTable();
Sean Callanan6ba533e2010-11-17 23:00:36 +0000953
Greg Clayton3c7feb42010-11-19 01:05:25 +0000954 BasicBlock &entry_block(llvm_function.getEntryBlock());
Sean Callanan6ba533e2010-11-17 23:00:36 +0000955 Instruction *FirstEntryInstruction(entry_block.getFirstNonPHIOrDbg());
956
957 if (!FirstEntryInstruction)
958 {
959 if (log)
960 log->PutCString("Couldn't find first instruction for rewritten Objective-C strings");
961
Sean Callanan97c924e2011-01-27 01:07:04 +0000962 if (m_error_stream)
963 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't find the location for calls to CFStringCreateWithBytes\n");
964
Sean Callanan6ba533e2010-11-17 23:00:36 +0000965 return false;
966 }
967
968 for (ValueSymbolTable::iterator vi = value_symbol_table.begin(), ve = value_symbol_table.end();
969 vi != ve;
970 ++vi)
971 {
Sean Callanan9b6898f2011-07-30 02:42:06 +0000972 std::string value_name = vi->first().str();
973 const char *value_name_cstr = value_name.c_str();
974
975 if (strstr(value_name_cstr, "_unnamed_cfstring_"))
Sean Callanan6ba533e2010-11-17 23:00:36 +0000976 {
977 Value *nsstring_value = vi->second;
978
979 GlobalVariable *nsstring_global = dyn_cast<GlobalVariable>(nsstring_value);
980
981 if (!nsstring_global)
982 {
983 if (log)
984 log->PutCString("NSString variable is not a GlobalVariable");
Sean Callanan97c924e2011-01-27 01:07:04 +0000985
986 if (m_error_stream)
987 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string is not a global variable\n");
988
Sean Callanan6ba533e2010-11-17 23:00:36 +0000989 return false;
990 }
991
992 if (!nsstring_global->hasInitializer())
993 {
994 if (log)
995 log->PutCString("NSString variable does not have an initializer");
Sean Callanan97c924e2011-01-27 01:07:04 +0000996
997 if (m_error_stream)
998 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string does not have an initializer\n");
999
Sean Callanan6ba533e2010-11-17 23:00:36 +00001000 return false;
1001 }
1002
1003 ConstantStruct *nsstring_struct = dyn_cast<ConstantStruct>(nsstring_global->getInitializer());
1004
1005 if (!nsstring_struct)
1006 {
1007 if (log)
1008 log->PutCString("NSString variable's initializer is not a ConstantStruct");
Sean Callanan97c924e2011-01-27 01:07:04 +00001009
1010 if (m_error_stream)
1011 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string is not a structure constant\n");
1012
Sean Callanan6ba533e2010-11-17 23:00:36 +00001013 return false;
1014 }
1015
1016 // We expect the following structure:
1017 //
1018 // struct {
1019 // int *isa;
1020 // int flags;
1021 // char *str;
1022 // long length;
1023 // };
1024
1025 if (nsstring_struct->getNumOperands() != 4)
1026 {
1027 if (log)
1028 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 +00001029
1030 if (m_error_stream)
1031 m_error_stream->Printf("Internal error [IRForTarget]: The struct for an Objective-C constant string is not as expected\n");
1032
Sean Callanan6ba533e2010-11-17 23:00:36 +00001033 return false;
1034 }
1035
1036 Constant *nsstring_member = nsstring_struct->getOperand(2);
1037
1038 if (!nsstring_member)
1039 {
1040 if (log)
1041 log->PutCString("NSString initializer's str element was empty");
Sean Callanan97c924e2011-01-27 01:07:04 +00001042
1043 if (m_error_stream)
1044 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string does not have a string initializer\n");
1045
Sean Callanan6ba533e2010-11-17 23:00:36 +00001046 return false;
1047 }
1048
1049 ConstantExpr *nsstring_expr = dyn_cast<ConstantExpr>(nsstring_member);
1050
1051 if (!nsstring_expr)
1052 {
1053 if (log)
1054 log->PutCString("NSString initializer's str element is not a ConstantExpr");
Sean Callanan97c924e2011-01-27 01:07:04 +00001055
1056 if (m_error_stream)
1057 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string's string initializer is not constant\n");
1058
Sean Callanan6ba533e2010-11-17 23:00:36 +00001059 return false;
1060 }
1061
1062 if (nsstring_expr->getOpcode() != Instruction::GetElementPtr)
1063 {
1064 if (log)
1065 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 +00001066
1067 if (m_error_stream)
1068 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string's string initializer is not an array\n");
1069
Sean Callanan6ba533e2010-11-17 23:00:36 +00001070 return false;
1071 }
1072
1073 Constant *nsstring_cstr = nsstring_expr->getOperand(0);
1074
1075 GlobalVariable *cstr_global = dyn_cast<GlobalVariable>(nsstring_cstr);
1076
1077 if (!cstr_global)
1078 {
1079 if (log)
1080 log->PutCString("NSString initializer's str element is not a GlobalVariable");
Sean Callanan97c924e2011-01-27 01:07:04 +00001081
1082 if (m_error_stream)
1083 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 +00001084
Sean Callanan6ba533e2010-11-17 23:00:36 +00001085 return false;
1086 }
1087
1088 if (!cstr_global->hasInitializer())
1089 {
1090 if (log)
1091 log->PutCString("NSString initializer's str element does not have an initializer");
Sean Callanan97c924e2011-01-27 01:07:04 +00001092
1093 if (m_error_stream)
1094 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string's string initializer doesn't point to initialized data\n");
1095
Sean Callanan6ba533e2010-11-17 23:00:36 +00001096 return false;
1097 }
Sean Callanan0ece5262011-02-10 22:17:53 +00001098
1099 /*
Sean Callanan6ba533e2010-11-17 23:00:36 +00001100 if (!cstr_array)
1101 {
1102 if (log)
1103 log->PutCString("NSString initializer's str element is not a ConstantArray");
Sean Callanan97c924e2011-01-27 01:07:04 +00001104
1105 if (m_error_stream)
1106 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string's string initializer doesn't point to an array\n");
1107
Sean Callanan6ba533e2010-11-17 23:00:36 +00001108 return false;
1109 }
1110
1111 if (!cstr_array->isCString())
1112 {
1113 if (log)
1114 log->PutCString("NSString initializer's str element is not a C string array");
Sean Callanan97c924e2011-01-27 01:07:04 +00001115
1116 if (m_error_stream)
1117 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string's string initializer doesn't point to a C string\n");
1118
Sean Callanan6ba533e2010-11-17 23:00:36 +00001119 return false;
1120 }
Sean Callanan0ece5262011-02-10 22:17:53 +00001121 */
1122
Sean Callanan39a30342012-02-09 03:22:41 +00001123 ConstantDataArray *cstr_array = dyn_cast<ConstantDataArray>(cstr_global->getInitializer());
Sean Callanan6ba533e2010-11-17 23:00:36 +00001124
1125 if (log)
Sean Callanan0ece5262011-02-10 22:17:53 +00001126 {
1127 if (cstr_array)
Sean Callanan39a30342012-02-09 03:22:41 +00001128 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 +00001129 else
Sean Callanan9b6898f2011-07-30 02:42:06 +00001130 log->Printf("Found NSString constant %s, which contains \"\"", value_name_cstr);
Sean Callanan0ece5262011-02-10 22:17:53 +00001131 }
1132
1133 if (!cstr_array)
1134 cstr_global = NULL;
Sean Callanan6ba533e2010-11-17 23:00:36 +00001135
Sean Callananc0492742011-05-23 21:40:23 +00001136 if (!RewriteObjCConstString(nsstring_global, cstr_global, FirstEntryInstruction))
Sean Callanan97c924e2011-01-27 01:07:04 +00001137 {
Sean Callanan6ba533e2010-11-17 23:00:36 +00001138 if (log)
1139 log->PutCString("Error rewriting the constant string");
Sean Callanan97c924e2011-01-27 01:07:04 +00001140
1141 // We don't print an error message here because RewriteObjCConstString has done so for us.
1142
Sean Callanan6ba533e2010-11-17 23:00:36 +00001143 return false;
1144 }
Sean Callanan6ba533e2010-11-17 23:00:36 +00001145 }
1146 }
1147
1148 for (ValueSymbolTable::iterator vi = value_symbol_table.begin(), ve = value_symbol_table.end();
1149 vi != ve;
1150 ++vi)
1151 {
Sean Callanan9b6898f2011-07-30 02:42:06 +00001152 std::string value_name = vi->first().str();
1153 const char *value_name_cstr = value_name.c_str();
1154
1155 if (!strcmp(value_name_cstr, "__CFConstantStringClassReference"))
Sean Callanan6ba533e2010-11-17 23:00:36 +00001156 {
1157 GlobalVariable *gv = dyn_cast<GlobalVariable>(vi->second);
1158
1159 if (!gv)
1160 {
1161 if (log)
1162 log->PutCString("__CFConstantStringClassReference is not a global variable");
Sean Callanan97c924e2011-01-27 01:07:04 +00001163
1164 if (m_error_stream)
1165 m_error_stream->Printf("Internal error [IRForTarget]: Found a CFConstantStringClassReference, but it is not a global object\n");
1166
Sean Callanan6ba533e2010-11-17 23:00:36 +00001167 return false;
1168 }
1169
1170 gv->eraseFromParent();
1171
1172 break;
1173 }
1174 }
1175
1176 return true;
1177}
1178
Greg Clayton3c7feb42010-11-19 01:05:25 +00001179static bool IsObjCSelectorRef (Value *value)
Sean Callananf5857a02010-07-31 01:32:05 +00001180{
Greg Clayton3c7feb42010-11-19 01:05:25 +00001181 GlobalVariable *global_variable = dyn_cast<GlobalVariable>(value);
Sean Callananf5857a02010-07-31 01:32:05 +00001182
Greg Clayton3c7feb42010-11-19 01:05:25 +00001183 if (!global_variable || !global_variable->hasName() || !global_variable->getName().startswith("\01L_OBJC_SELECTOR_REFERENCES_"))
Sean Callananf5857a02010-07-31 01:32:05 +00001184 return false;
1185
1186 return true;
1187}
1188
Sean Callanan97c924e2011-01-27 01:07:04 +00001189// This function does not report errors; its callers are responsible.
Sean Callananf5857a02010-07-31 01:32:05 +00001190bool
Sean Callananc0492742011-05-23 21:40:23 +00001191IRForTarget::RewriteObjCSelector (Instruction* selector_load)
Sean Callananf5857a02010-07-31 01:32:05 +00001192{
Greg Claytone005f2c2010-11-06 01:53:30 +00001193 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callananf5857a02010-07-31 01:32:05 +00001194
1195 LoadInst *load = dyn_cast<LoadInst>(selector_load);
1196
1197 if (!load)
1198 return false;
1199
1200 // Unpack the message name from the selector. In LLVM IR, an objc_msgSend gets represented as
1201 //
1202 // %tmp = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_" ; <i8*>
1203 // %call = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %obj, i8* %tmp, ...) ; <i8*>
1204 //
1205 // where %obj is the object pointer and %tmp is the selector.
1206 //
Greg Clayton3c7feb42010-11-19 01:05:25 +00001207 // @"\01L_OBJC_SELECTOR_REFERENCES_" is a pointer to a character array called @"\01L_OBJC_llvm_moduleETH_VAR_NAllvm_moduleE_".
1208 // @"\01L_OBJC_llvm_moduleETH_VAR_NAllvm_moduleE_" contains the string.
Sean Callananf5857a02010-07-31 01:32:05 +00001209
1210 // Find the pointer's initializer (a ConstantExpr with opcode GetElementPtr) and get the string from its target
1211
1212 GlobalVariable *_objc_selector_references_ = dyn_cast<GlobalVariable>(load->getPointerOperand());
1213
1214 if (!_objc_selector_references_ || !_objc_selector_references_->hasInitializer())
1215 return false;
1216
1217 Constant *osr_initializer = _objc_selector_references_->getInitializer();
1218
1219 ConstantExpr *osr_initializer_expr = dyn_cast<ConstantExpr>(osr_initializer);
1220
1221 if (!osr_initializer_expr || osr_initializer_expr->getOpcode() != Instruction::GetElementPtr)
1222 return false;
1223
1224 Value *osr_initializer_base = osr_initializer_expr->getOperand(0);
1225
1226 if (!osr_initializer_base)
1227 return false;
1228
1229 // Find the string's initializer (a ConstantArray) and get the string from it
1230
1231 GlobalVariable *_objc_meth_var_name_ = dyn_cast<GlobalVariable>(osr_initializer_base);
1232
1233 if (!_objc_meth_var_name_ || !_objc_meth_var_name_->hasInitializer())
1234 return false;
1235
1236 Constant *omvn_initializer = _objc_meth_var_name_->getInitializer();
1237
Sean Callanan39a30342012-02-09 03:22:41 +00001238 ConstantDataArray *omvn_initializer_array = dyn_cast<ConstantDataArray>(omvn_initializer);
Sean Callananf5857a02010-07-31 01:32:05 +00001239
1240 if (!omvn_initializer_array->isString())
1241 return false;
1242
1243 std::string omvn_initializer_string = omvn_initializer_array->getAsString();
1244
1245 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00001246 log->Printf("Found Objective-C selector reference \"%s\"", omvn_initializer_string.c_str());
Sean Callananf5857a02010-07-31 01:32:05 +00001247
1248 // Construct a call to sel_registerName
1249
1250 if (!m_sel_registerName)
1251 {
Greg Claytonb5037af2010-11-15 01:47:11 +00001252 lldb::addr_t sel_registerName_addr;
Sean Callananf5857a02010-07-31 01:32:05 +00001253
Greg Clayton8de27c72010-10-15 22:48:33 +00001254 static lldb_private::ConstString g_sel_registerName_str ("sel_registerName");
Greg Claytonb5037af2010-11-15 01:47:11 +00001255 if (!m_decl_map->GetFunctionAddress (g_sel_registerName_str, sel_registerName_addr))
Sean Callananf5857a02010-07-31 01:32:05 +00001256 return false;
1257
Sean Callananc2c6f772010-10-26 00:31:56 +00001258 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00001259 log->Printf("Found sel_registerName at 0x%llx", sel_registerName_addr);
Sean Callananc2c6f772010-10-26 00:31:56 +00001260
Sean Callananf5857a02010-07-31 01:32:05 +00001261 // Build the function type: struct objc_selector *sel_registerName(uint8_t*)
1262
1263 // The below code would be "more correct," but in actuality what's required is uint8_t*
Sean Callananc0492742011-05-23 21:40:23 +00001264 //Type *sel_type = StructType::get(m_module->getContext());
Sean Callananf5857a02010-07-31 01:32:05 +00001265 //Type *sel_ptr_type = PointerType::getUnqual(sel_type);
Sean Callanan9b6898f2011-07-30 02:42:06 +00001266 Type *sel_ptr_type = Type::getInt8PtrTy(m_module->getContext());
Sean Callananf5857a02010-07-31 01:32:05 +00001267
Sean Callanan9b6898f2011-07-30 02:42:06 +00001268 Type *type_array[1];
1269
1270 type_array[0] = llvm::Type::getInt8PtrTy(m_module->getContext());
1271
1272 ArrayRef<Type *> srN_arg_types(type_array, 1);
1273
Sean Callananf5857a02010-07-31 01:32:05 +00001274 llvm::Type *srN_type = FunctionType::get(sel_ptr_type, srN_arg_types, false);
1275
1276 // Build the constant containing the pointer to the function
Sean Callanan9b6898f2011-07-30 02:42:06 +00001277 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Sean Callanan4fbe61b2012-10-11 22:00:52 +00001278 (m_module->getPointerSize() == Module::Pointer64) ? 64 : 32);
Sean Callananf5857a02010-07-31 01:32:05 +00001279 PointerType *srN_ptr_ty = PointerType::getUnqual(srN_type);
Greg Claytonb5037af2010-11-15 01:47:11 +00001280 Constant *srN_addr_int = ConstantInt::get(intptr_ty, sel_registerName_addr, false);
Sean Callananf5857a02010-07-31 01:32:05 +00001281 m_sel_registerName = ConstantExpr::getIntToPtr(srN_addr_int, srN_ptr_ty);
1282 }
1283
Sean Callanan9b6898f2011-07-30 02:42:06 +00001284 Value *argument_array[1];
1285
Sean Callananc0492742011-05-23 21:40:23 +00001286 Constant *omvn_pointer = ConstantExpr::getBitCast(_objc_meth_var_name_, Type::getInt8PtrTy(m_module->getContext()));
Sean Callananf5857a02010-07-31 01:32:05 +00001287
Sean Callanan9b6898f2011-07-30 02:42:06 +00001288 argument_array[0] = omvn_pointer;
Sean Callananf5857a02010-07-31 01:32:05 +00001289
Sean Callanan9b6898f2011-07-30 02:42:06 +00001290 ArrayRef<Value *> srN_arguments(argument_array, 1);
1291
Sean Callananf5857a02010-07-31 01:32:05 +00001292 CallInst *srN_call = CallInst::Create(m_sel_registerName,
Sean Callanan9b6898f2011-07-30 02:42:06 +00001293 srN_arguments,
Sean Callanan6ba533e2010-11-17 23:00:36 +00001294 "sel_registerName",
Sean Callananf5857a02010-07-31 01:32:05 +00001295 selector_load);
1296
1297 // Replace the load with the call in all users
1298
1299 selector_load->replaceAllUsesWith(srN_call);
1300
1301 selector_load->eraseFromParent();
1302
1303 return true;
1304}
1305
1306bool
Sean Callananc0492742011-05-23 21:40:23 +00001307IRForTarget::RewriteObjCSelectors (BasicBlock &basic_block)
Sean Callananf5857a02010-07-31 01:32:05 +00001308{
Greg Claytone005f2c2010-11-06 01:53:30 +00001309 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callananf5857a02010-07-31 01:32:05 +00001310
1311 BasicBlock::iterator ii;
1312
1313 typedef SmallVector <Instruction*, 2> InstrList;
1314 typedef InstrList::iterator InstrIterator;
1315
1316 InstrList selector_loads;
1317
Greg Clayton3c7feb42010-11-19 01:05:25 +00001318 for (ii = basic_block.begin();
1319 ii != basic_block.end();
Sean Callananf5857a02010-07-31 01:32:05 +00001320 ++ii)
1321 {
1322 Instruction &inst = *ii;
1323
1324 if (LoadInst *load = dyn_cast<LoadInst>(&inst))
Greg Clayton3c7feb42010-11-19 01:05:25 +00001325 if (IsObjCSelectorRef(load->getPointerOperand()))
Sean Callananf5857a02010-07-31 01:32:05 +00001326 selector_loads.push_back(&inst);
1327 }
1328
1329 InstrIterator iter;
1330
1331 for (iter = selector_loads.begin();
1332 iter != selector_loads.end();
1333 ++iter)
1334 {
Sean Callananc0492742011-05-23 21:40:23 +00001335 if (!RewriteObjCSelector(*iter))
Sean Callananf5857a02010-07-31 01:32:05 +00001336 {
Sean Callanan97c924e2011-01-27 01:07:04 +00001337 if (m_error_stream)
1338 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't change a static reference to an Objective-C selector to a dynamic reference\n");
1339
Enrico Granata4c3fb4b2011-07-19 18:03:25 +00001340 if (log)
Sean Callananf5857a02010-07-31 01:32:05 +00001341 log->PutCString("Couldn't rewrite a reference to an Objective-C selector");
Sean Callanan97c924e2011-01-27 01:07:04 +00001342
Sean Callananf5857a02010-07-31 01:32:05 +00001343 return false;
1344 }
1345 }
1346
1347 return true;
1348}
1349
Sean Callanan97c924e2011-01-27 01:07:04 +00001350// This function does not report errors; its callers are responsible.
Sean Callanana48fe162010-08-11 03:57:18 +00001351bool
Sean Callananc0492742011-05-23 21:40:23 +00001352IRForTarget::RewritePersistentAlloc (llvm::Instruction *persistent_alloc)
Sean Callanana48fe162010-08-11 03:57:18 +00001353{
Sean Callanan97678d12011-01-13 21:23:32 +00001354 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1355
Sean Callanana48fe162010-08-11 03:57:18 +00001356 AllocaInst *alloc = dyn_cast<AllocaInst>(persistent_alloc);
1357
1358 MDNode *alloc_md = alloc->getMetadata("clang.decl.ptr");
1359
1360 if (!alloc_md || !alloc_md->getNumOperands())
1361 return false;
1362
1363 ConstantInt *constant_int = dyn_cast<ConstantInt>(alloc_md->getOperand(0));
1364
1365 if (!constant_int)
1366 return false;
1367
1368 // We attempt to register this as a new persistent variable with the DeclMap.
1369
1370 uintptr_t ptr = constant_int->getZExtValue();
1371
Sean Callanan82b74c82010-08-12 01:56:52 +00001372 clang::VarDecl *decl = reinterpret_cast<clang::VarDecl *>(ptr);
Sean Callanana48fe162010-08-11 03:57:18 +00001373
Sean Callanan82b74c82010-08-12 01:56:52 +00001374 lldb_private::TypeFromParser result_decl_type (decl->getType().getAsOpaquePtr(),
1375 &decl->getASTContext());
1376
Greg Clayton8de27c72010-10-15 22:48:33 +00001377 StringRef decl_name (decl->getName());
1378 lldb_private::ConstString persistent_variable_name (decl_name.data(), decl_name.size());
Sean Callanan6a925532011-01-13 08:53:35 +00001379 if (!m_decl_map->AddPersistentVariable(decl, persistent_variable_name, result_decl_type, false, false))
Sean Callanana48fe162010-08-11 03:57:18 +00001380 return false;
1381
Sean Callananc0492742011-05-23 21:40:23 +00001382 GlobalVariable *persistent_global = new GlobalVariable((*m_module),
Sean Callanan97678d12011-01-13 21:23:32 +00001383 alloc->getType(),
Sean Callanana48fe162010-08-11 03:57:18 +00001384 false, /* not constant */
1385 GlobalValue::ExternalLinkage,
1386 NULL, /* no initializer */
1387 alloc->getName().str().c_str());
1388
1389 // What we're going to do here is make believe this was a regular old external
1390 // variable. That means we need to make the metadata valid.
1391
Sean Callanan2b03efe2012-07-04 01:26:26 +00001392 NamedMDNode *named_metadata = m_module->getOrInsertNamedMetadata("clang.global.decl.ptrs");
Sean Callanana48fe162010-08-11 03:57:18 +00001393
1394 llvm::Value* values[2];
1395 values[0] = persistent_global;
1396 values[1] = constant_int;
Sean Callanan0de254a2011-05-15 22:34:38 +00001397
1398 ArrayRef<llvm::Value*> value_ref(values, 2);
Sean Callanana48fe162010-08-11 03:57:18 +00001399
Sean Callananc0492742011-05-23 21:40:23 +00001400 MDNode *persistent_global_md = MDNode::get(m_module->getContext(), value_ref);
Sean Callanana48fe162010-08-11 03:57:18 +00001401 named_metadata->addOperand(persistent_global_md);
1402
Sean Callanan97678d12011-01-13 21:23:32 +00001403 // Now, since the variable is a pointer variable, we will drop in a load of that
1404 // pointer variable.
1405
1406 LoadInst *persistent_load = new LoadInst (persistent_global, "", alloc);
1407
1408 if (log)
1409 log->Printf("Replacing \"%s\" with \"%s\"",
1410 PrintValue(alloc).c_str(),
1411 PrintValue(persistent_load).c_str());
1412
1413 alloc->replaceAllUsesWith(persistent_load);
Sean Callanana48fe162010-08-11 03:57:18 +00001414 alloc->eraseFromParent();
1415
1416 return true;
1417}
1418
1419bool
Sean Callananc0492742011-05-23 21:40:23 +00001420IRForTarget::RewritePersistentAllocs(llvm::BasicBlock &basic_block)
Sean Callanana48fe162010-08-11 03:57:18 +00001421{
Sean Callanane8a59a82010-09-13 21:34:21 +00001422 if (!m_resolve_vars)
1423 return true;
1424
Greg Claytone005f2c2010-11-06 01:53:30 +00001425 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanana48fe162010-08-11 03:57:18 +00001426
1427 BasicBlock::iterator ii;
1428
1429 typedef SmallVector <Instruction*, 2> InstrList;
1430 typedef InstrList::iterator InstrIterator;
1431
1432 InstrList pvar_allocs;
1433
Greg Clayton3c7feb42010-11-19 01:05:25 +00001434 for (ii = basic_block.begin();
1435 ii != basic_block.end();
Sean Callanana48fe162010-08-11 03:57:18 +00001436 ++ii)
1437 {
1438 Instruction &inst = *ii;
1439
1440 if (AllocaInst *alloc = dyn_cast<AllocaInst>(&inst))
Sean Callanan237e4742011-01-21 22:30:25 +00001441 {
1442 llvm::StringRef alloc_name = alloc->getName();
1443
1444 if (alloc_name.startswith("$") &&
1445 !alloc_name.startswith("$__lldb"))
1446 {
1447 if (alloc_name.find_first_of("0123456789") == 1)
1448 {
1449 if (log)
1450 log->Printf("Rejecting a numeric persistent variable.");
1451
Sean Callanan97c924e2011-01-27 01:07:04 +00001452 if (m_error_stream)
1453 m_error_stream->Printf("Error [IRForTarget]: Names starting with $0, $1, ... are reserved for use as result names\n");
1454
Sean Callanan237e4742011-01-21 22:30:25 +00001455 return false;
1456 }
1457
Sean Callanana48fe162010-08-11 03:57:18 +00001458 pvar_allocs.push_back(alloc);
Sean Callanan237e4742011-01-21 22:30:25 +00001459 }
1460 }
Sean Callanana48fe162010-08-11 03:57:18 +00001461 }
1462
1463 InstrIterator iter;
1464
1465 for (iter = pvar_allocs.begin();
1466 iter != pvar_allocs.end();
1467 ++iter)
1468 {
Sean Callananc0492742011-05-23 21:40:23 +00001469 if (!RewritePersistentAlloc(*iter))
Sean Callanana48fe162010-08-11 03:57:18 +00001470 {
Sean Callanan97c924e2011-01-27 01:07:04 +00001471 if (m_error_stream)
1472 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't rewrite the creation of a persistent variable\n");
1473
Enrico Granata4c3fb4b2011-07-19 18:03:25 +00001474 if (log)
Sean Callanana48fe162010-08-11 03:57:18 +00001475 log->PutCString("Couldn't rewrite the creation of a persistent variable");
Sean Callanan97c924e2011-01-27 01:07:04 +00001476
Sean Callanana48fe162010-08-11 03:57:18 +00001477 return false;
1478 }
1479 }
1480
1481 return true;
1482}
1483
Sean Callananc7ca4662011-10-25 18:36:40 +00001484bool
1485IRForTarget::MaterializeInitializer (uint8_t *data, Constant *initializer)
1486{
1487 if (!initializer)
1488 return true;
1489
1490 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1491
1492 if (log && log->GetVerbose())
1493 log->Printf(" MaterializeInitializer(%p, %s)", data, PrintValue(initializer).c_str());
1494
1495 Type *initializer_type = initializer->getType();
1496
1497 if (ConstantInt *int_initializer = dyn_cast<ConstantInt>(initializer))
1498 {
1499 memcpy (data, int_initializer->getValue().getRawData(), m_target_data->getTypeStoreSize(initializer_type));
1500 return true;
1501 }
Sean Callanan39a30342012-02-09 03:22:41 +00001502 else if (ConstantDataArray *array_initializer = dyn_cast<ConstantDataArray>(initializer))
Sean Callananc7ca4662011-10-25 18:36:40 +00001503 {
1504 if (array_initializer->isString())
1505 {
1506 std::string array_initializer_string = array_initializer->getAsString();
1507 memcpy (data, array_initializer_string.c_str(), m_target_data->getTypeStoreSize(initializer_type));
1508 }
1509 else
1510 {
1511 ArrayType *array_initializer_type = array_initializer->getType();
1512 Type *array_element_type = array_initializer_type->getElementType();
1513
1514 size_t element_size = m_target_data->getTypeAllocSize(array_element_type);
1515
1516 for (int i = 0; i < array_initializer->getNumOperands(); ++i)
1517 {
Sean Callanan39a30342012-02-09 03:22:41 +00001518 Value *operand_value = array_initializer->getOperand(i);
1519 Constant *operand_constant = dyn_cast<Constant>(operand_value);
1520
1521 if (!operand_constant)
1522 return false;
1523
1524 if (!MaterializeInitializer(data + (i * element_size), operand_constant))
Sean Callananc7ca4662011-10-25 18:36:40 +00001525 return false;
1526 }
1527 }
1528 return true;
1529 }
1530 else if (ConstantStruct *struct_initializer = dyn_cast<ConstantStruct>(initializer))
1531 {
1532 StructType *struct_initializer_type = struct_initializer->getType();
1533 const StructLayout *struct_layout = m_target_data->getStructLayout(struct_initializer_type);
1534
1535 for (int i = 0;
1536 i < struct_initializer->getNumOperands();
1537 ++i)
1538 {
1539 if (!MaterializeInitializer(data + struct_layout->getElementOffset(i), struct_initializer->getOperand(i)))
1540 return false;
1541 }
1542 return true;
1543 }
1544 return false;
1545}
1546
1547bool
1548IRForTarget::MaterializeInternalVariable (GlobalVariable *global_variable)
1549{
1550 if (GlobalVariable::isExternalLinkage(global_variable->getLinkage()))
1551 return false;
1552
Sean Callananc41606f2011-11-15 19:13:54 +00001553 if (global_variable == m_reloc_placeholder)
1554 return true;
1555
Sean Callananc7ca4662011-10-25 18:36:40 +00001556 uint64_t offset = m_data_allocator->GetStream().GetSize();
1557
1558 llvm::Type *variable_type = global_variable->getType();
1559
1560 Constant *initializer = global_variable->getInitializer();
1561
1562 llvm::Type *initializer_type = initializer->getType();
1563
1564 size_t size = m_target_data->getTypeAllocSize(initializer_type);
Sean Callanan1d970e72012-06-08 22:20:41 +00001565 size_t align = m_target_data->getPrefTypeAlignment(initializer_type);
1566
1567 const size_t mask = (align - 1);
1568 uint64_t aligned_offset = (offset + mask) & ~mask;
1569 m_data_allocator->GetStream().PutNHex8(aligned_offset - offset, 0);
1570 offset = aligned_offset;
Sean Callananc7ca4662011-10-25 18:36:40 +00001571
1572 lldb_private::DataBufferHeap data(size, '\0');
1573
1574 if (initializer)
1575 if (!MaterializeInitializer(data.GetBytes(), initializer))
1576 return false;
1577
1578 m_data_allocator->GetStream().Write(data.GetBytes(), data.GetByteSize());
1579
1580 Constant *new_pointer = BuildRelocation(variable_type, offset);
1581
1582 global_variable->replaceAllUsesWith(new_pointer);
1583
1584 global_variable->eraseFromParent();
1585
1586 return true;
1587}
1588
Sean Callanan97c924e2011-01-27 01:07:04 +00001589// This function does not report errors; its callers are responsible.
Sean Callanan8bce6652010-07-13 21:41:46 +00001590bool
Sean Callananc0492742011-05-23 21:40:23 +00001591IRForTarget::MaybeHandleVariable (Value *llvm_value_ptr)
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001592{
Greg Claytone005f2c2010-11-06 01:53:30 +00001593 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan48443652010-12-02 19:47:57 +00001594
1595 if (log)
Sean Callananb9f09a62010-12-06 22:16:55 +00001596 log->Printf("MaybeHandleVariable (%s)", PrintValue(llvm_value_ptr).c_str());
Sean Callanan9a877432011-08-01 17:41:38 +00001597
Greg Clayton8de27c72010-10-15 22:48:33 +00001598 if (ConstantExpr *constant_expr = dyn_cast<ConstantExpr>(llvm_value_ptr))
Sean Callananbc2928a2010-08-03 00:23:29 +00001599 {
Sean Callanan93a4b1a2010-08-04 01:02:13 +00001600 switch (constant_expr->getOpcode())
Sean Callananbc2928a2010-08-03 00:23:29 +00001601 {
Sean Callanan93a4b1a2010-08-04 01:02:13 +00001602 default:
1603 break;
1604 case Instruction::GetElementPtr:
1605 case Instruction::BitCast:
Sean Callananbc2928a2010-08-03 00:23:29 +00001606 Value *s = constant_expr->getOperand(0);
Sean Callananc0492742011-05-23 21:40:23 +00001607 if (!MaybeHandleVariable(s))
Sean Callanan48443652010-12-02 19:47:57 +00001608 return false;
Sean Callananbc2928a2010-08-03 00:23:29 +00001609 }
1610 }
Sean Callananf921cf52010-12-03 19:51:05 +00001611 else if (GlobalVariable *global_variable = dyn_cast<GlobalVariable>(llvm_value_ptr))
Sean Callananf5857a02010-07-31 01:32:05 +00001612 {
Sean Callananc7ca4662011-10-25 18:36:40 +00001613 if (!GlobalValue::isExternalLinkage(global_variable->getLinkage()))
1614 return MaterializeInternalVariable(global_variable);
1615
Sean Callananc0492742011-05-23 21:40:23 +00001616 clang::NamedDecl *named_decl = DeclForGlobal(global_variable);
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001617
Sean Callananf5857a02010-07-31 01:32:05 +00001618 if (!named_decl)
1619 {
Greg Clayton3c7feb42010-11-19 01:05:25 +00001620 if (IsObjCSelectorRef(llvm_value_ptr))
Sean Callananf5857a02010-07-31 01:32:05 +00001621 return true;
1622
Sean Callanan7cd46742010-12-06 00:56:39 +00001623 if (!global_variable->hasExternalLinkage())
1624 return true;
1625
Sean Callananf5857a02010-07-31 01:32:05 +00001626 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00001627 log->Printf("Found global variable \"%s\" without metadata", global_variable->getName().str().c_str());
Sean Callanan97c924e2011-01-27 01:07:04 +00001628
Sean Callananf5857a02010-07-31 01:32:05 +00001629 return false;
1630 }
1631
Greg Clayton8de27c72010-10-15 22:48:33 +00001632 std::string name (named_decl->getName().str());
Sean Callanan810f22d2010-07-16 00:09:46 +00001633
Sean Callanan771131d2010-09-30 21:18:25 +00001634 void *opaque_type = NULL;
Sean Callananf328c9f2010-07-20 23:31:16 +00001635 clang::ASTContext *ast_context = NULL;
Sean Callanan810f22d2010-07-16 00:09:46 +00001636
1637 if (clang::ValueDecl *value_decl = dyn_cast<clang::ValueDecl>(named_decl))
Sean Callananf328c9f2010-07-20 23:31:16 +00001638 {
Sean Callanan771131d2010-09-30 21:18:25 +00001639 opaque_type = value_decl->getType().getAsOpaquePtr();
Sean Callananf328c9f2010-07-20 23:31:16 +00001640 ast_context = &value_decl->getASTContext();
1641 }
Sean Callanan810f22d2010-07-16 00:09:46 +00001642 else
Sean Callananf328c9f2010-07-20 23:31:16 +00001643 {
Sean Callanan810f22d2010-07-16 00:09:46 +00001644 return false;
Sean Callananf328c9f2010-07-20 23:31:16 +00001645 }
Sean Callanan771131d2010-09-30 21:18:25 +00001646
Sean Callanan6a925532011-01-13 08:53:35 +00001647 clang::QualType qual_type;
Sean Callanan58baaad2011-07-08 00:39:14 +00001648 const Type *value_type = NULL;
Sean Callanan6a925532011-01-13 08:53:35 +00001649
Sean Callanan97678d12011-01-13 21:23:32 +00001650 if (name[0] == '$')
Sean Callanan6a925532011-01-13 08:53:35 +00001651 {
1652 // The $__lldb_expr_result name indicates the the return value has allocated as
1653 // a static variable. Per the comment at ASTResultSynthesizer::SynthesizeBodyResult,
1654 // accesses to this static variable need to be redirected to the result of dereferencing
1655 // a pointer that is passed in as one of the arguments.
1656 //
1657 // Consequently, when reporting the size of the type, we report a pointer type pointing
1658 // to the type of $__lldb_expr_result, not the type itself.
Sean Callanan97678d12011-01-13 21:23:32 +00001659 //
1660 // We also do this for any user-declared persistent variables.
Sean Callananf328c9f2010-07-20 23:31:16 +00001661
Sean Callanan6a925532011-01-13 08:53:35 +00001662 qual_type = ast_context->getPointerType(clang::QualType::getFromOpaquePtr(opaque_type));
1663 value_type = PointerType::get(global_variable->getType(), 0);
1664 }
1665 else
1666 {
1667 qual_type = clang::QualType::getFromOpaquePtr(opaque_type);
1668 value_type = global_variable->getType();
1669 }
Sean Callanan771131d2010-09-30 21:18:25 +00001670
1671 size_t value_size = (ast_context->getTypeSize(qual_type) + 7) / 8;
1672 off_t value_alignment = (ast_context->getTypeAlign(qual_type) + 7) / 8;
Sean Callanan3aa7da52010-12-13 22:46:15 +00001673
Sean Callanan771131d2010-09-30 21:18:25 +00001674 if (log)
Jason Molenda7e5fa7f2011-09-20 21:44:10 +00001675 log->Printf("Type of \"%s\" is [clang \"%s\", llvm \"%s\"] [size %lu, align %lld]",
Sean Callanan771131d2010-09-30 21:18:25 +00001676 name.c_str(),
1677 qual_type.getAsString().c_str(),
1678 PrintType(value_type).c_str(),
1679 value_size,
1680 value_alignment);
Sean Callanan3aa7da52010-12-13 22:46:15 +00001681
Sean Callanan8bce6652010-07-13 21:41:46 +00001682
Sean Callanan8c127202010-08-23 23:09:38 +00001683 if (named_decl && !m_decl_map->AddValueToStruct(named_decl,
Greg Clayton8de27c72010-10-15 22:48:33 +00001684 lldb_private::ConstString (name.c_str()),
1685 llvm_value_ptr,
Sean Callananba992c52010-07-27 02:07:53 +00001686 value_size,
1687 value_alignment))
Sean Callanan9a877432011-08-01 17:41:38 +00001688 {
1689 if (!global_variable->hasExternalLinkage())
1690 return true;
1691 else
1692 return false;
1693 }
Sean Callanan8bce6652010-07-13 21:41:46 +00001694 }
Sean Callananf3143b72010-12-03 03:02:31 +00001695 else if (dyn_cast<llvm::Function>(llvm_value_ptr))
Sean Callanan48443652010-12-02 19:47:57 +00001696 {
1697 if (log)
1698 log->Printf("Function pointers aren't handled right now");
1699
1700 return false;
1701 }
Sean Callanan8bce6652010-07-13 21:41:46 +00001702
1703 return true;
1704}
1705
Sean Callanan97c924e2011-01-27 01:07:04 +00001706// This function does not report errors; its callers are responsible.
Sean Callanan8bce6652010-07-13 21:41:46 +00001707bool
Sean Callananc0492742011-05-23 21:40:23 +00001708IRForTarget::HandleSymbol (Value *symbol)
Sean Callanan81974962011-05-08 02:21:26 +00001709{
Sean Callananc7674af2011-01-17 23:42:46 +00001710 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1711
1712 lldb_private::ConstString name(symbol->getName().str().c_str());
1713
Sean Callanan21ef5bb2011-12-01 02:04:16 +00001714 lldb::addr_t symbol_addr = m_decl_map->GetSymbolAddress (name, lldb::eSymbolTypeAny);
Sean Callananc7674af2011-01-17 23:42:46 +00001715
Greg Claytoncbc07cf2011-06-23 04:25:29 +00001716 if (symbol_addr == LLDB_INVALID_ADDRESS)
Sean Callananc7674af2011-01-17 23:42:46 +00001717 {
1718 if (log)
1719 log->Printf ("Symbol \"%s\" had no address", name.GetCString());
1720
1721 return false;
1722 }
1723
1724 if (log)
1725 log->Printf("Found \"%s\" at 0x%llx", name.GetCString(), symbol_addr);
1726
Sean Callanan9b6898f2011-07-30 02:42:06 +00001727 Type *symbol_type = symbol->getType();
Sean Callanan9b6898f2011-07-30 02:42:06 +00001728 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Sean Callanan4fbe61b2012-10-11 22:00:52 +00001729 (m_module->getPointerSize() == Module::Pointer64) ? 64 : 32);
Sean Callananc7674af2011-01-17 23:42:46 +00001730
1731 Constant *symbol_addr_int = ConstantInt::get(intptr_ty, symbol_addr, false);
1732
1733 Value *symbol_addr_ptr = ConstantExpr::getIntToPtr(symbol_addr_int, symbol_type);
1734
1735 if (log)
1736 log->Printf("Replacing %s with %s", PrintValue(symbol).c_str(), PrintValue(symbol_addr_ptr).c_str());
1737
1738 symbol->replaceAllUsesWith(symbol_addr_ptr);
1739
1740 return true;
1741}
1742
1743bool
Sean Callananc0492742011-05-23 21:40:23 +00001744IRForTarget::MaybeHandleCallArguments (CallInst *Old)
Sean Callanandc27aba2010-10-05 22:26:43 +00001745{
Sean Callanan48443652010-12-02 19:47:57 +00001746 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1747
1748 if (log)
1749 log->Printf("MaybeHandleCallArguments(%s)", PrintValue(Old).c_str());
Sean Callanandc27aba2010-10-05 22:26:43 +00001750
Sean Callanan6ba533e2010-11-17 23:00:36 +00001751 for (unsigned op_index = 0, num_ops = Old->getNumArgOperands();
Sean Callanandc27aba2010-10-05 22:26:43 +00001752 op_index < num_ops;
1753 ++op_index)
Sean Callananc0492742011-05-23 21:40:23 +00001754 if (!MaybeHandleVariable(Old->getArgOperand(op_index))) // conservatively believe that this is a store
Sean Callanan97c924e2011-01-27 01:07:04 +00001755 {
1756 if (m_error_stream)
1757 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't rewrite one of the arguments of a function call.\n");
1758
Sean Callanandc27aba2010-10-05 22:26:43 +00001759 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00001760 }
1761
Sean Callanandc27aba2010-10-05 22:26:43 +00001762 return true;
1763}
1764
1765bool
Sean Callanan9911d2f2011-11-01 23:38:03 +00001766IRForTarget::HandleObjCClass(Value *classlist_reference)
1767{
1768 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1769
1770 GlobalVariable *global_variable = dyn_cast<GlobalVariable>(classlist_reference);
1771
1772 if (!global_variable)
1773 return false;
1774
1775 Constant *initializer = global_variable->getInitializer();
1776
1777 if (!initializer)
1778 return false;
1779
1780 if (!initializer->hasName())
1781 return false;
1782
1783 StringRef name(initializer->getName());
1784 lldb_private::ConstString name_cstr(name.str().c_str());
Greg Clayton16d21872011-12-03 20:02:42 +00001785 lldb::addr_t class_ptr = m_decl_map->GetSymbolAddress(name_cstr, lldb::eSymbolTypeObjCClass);
Sean Callanan9911d2f2011-11-01 23:38:03 +00001786
1787 if (log)
1788 log->Printf("Found reference to Objective-C class %s (0x%llx)", name_cstr.AsCString(), (unsigned long long)class_ptr);
1789
1790 if (class_ptr == LLDB_INVALID_ADDRESS)
1791 return false;
1792
1793 if (global_variable->use_begin() == global_variable->use_end())
1794 return false;
1795
1796 LoadInst *load_instruction = NULL;
1797
1798 for (Value::use_iterator i = global_variable->use_begin(), e = global_variable->use_end();
1799 i != e;
1800 ++i)
1801 {
1802 if ((load_instruction = dyn_cast<LoadInst>(*i)))
1803 break;
1804 }
1805
1806 if (!load_instruction)
1807 return false;
1808
1809 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Sean Callanan4fbe61b2012-10-11 22:00:52 +00001810 (m_module->getPointerSize()
Micah Villmowce633582012-10-11 17:21:41 +00001811 == Module::Pointer64) ? 64 : 32);
Sean Callanan9911d2f2011-11-01 23:38:03 +00001812
1813 Constant *class_addr = ConstantInt::get(intptr_ty, (uint64_t)class_ptr);
1814 Constant *class_bitcast = ConstantExpr::getIntToPtr(class_addr, load_instruction->getType());
1815
1816 load_instruction->replaceAllUsesWith(class_bitcast);
1817
1818 load_instruction->eraseFromParent();
1819
1820 return true;
1821}
1822
1823bool
Sean Callanan1850f942012-07-21 02:02:15 +00001824IRForTarget::RemoveCXAAtExit (BasicBlock &basic_block)
1825{
1826 BasicBlock::iterator ii;
1827
1828 std::vector<CallInst *> calls_to_remove;
1829
1830 for (ii = basic_block.begin();
1831 ii != basic_block.end();
1832 ++ii)
1833 {
1834 Instruction &inst = *ii;
1835
1836 CallInst *call = dyn_cast<CallInst>(&inst);
1837
1838 // MaybeHandleCallArguments handles error reporting; we are silent here
1839 if (!call)
1840 continue;
1841
1842 bool remove = false;
1843
1844 llvm::Function *func = call->getCalledFunction();
1845
1846 if (func && func->getName() == "__cxa_atexit")
1847 remove = true;
1848
1849 llvm::Value *val = call->getCalledValue();
1850
1851 if (val && val->getName() == "__cxa_atexit")
1852 remove = true;
1853
1854 if (remove)
1855 calls_to_remove.push_back(call);
1856 }
1857
1858 for (std::vector<CallInst *>::iterator ci = calls_to_remove.begin(), ce = calls_to_remove.end();
1859 ci != ce;
1860 ++ci)
1861 {
1862 (*ci)->eraseFromParent();
1863 }
1864
1865 return true;
1866}
1867
1868bool
Sean Callananc0492742011-05-23 21:40:23 +00001869IRForTarget::ResolveCalls(BasicBlock &basic_block)
Sean Callanan8bce6652010-07-13 21:41:46 +00001870{
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001871 /////////////////////////////////////////////////////////////////////////
1872 // Prepare the current basic block for execution in the remote process
1873 //
1874
Sean Callanan02fbafa2010-07-27 21:39:39 +00001875 BasicBlock::iterator ii;
Sean Callanan8bce6652010-07-13 21:41:46 +00001876
Greg Clayton3c7feb42010-11-19 01:05:25 +00001877 for (ii = basic_block.begin();
1878 ii != basic_block.end();
Sean Callanan8bce6652010-07-13 21:41:46 +00001879 ++ii)
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001880 {
Sean Callanan8bce6652010-07-13 21:41:46 +00001881 Instruction &inst = *ii;
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001882
Sean Callanan1d1b39c2010-11-08 00:31:32 +00001883 CallInst *call = dyn_cast<CallInst>(&inst);
Sean Callananba992c52010-07-27 02:07:53 +00001884
Sean Callanan97c924e2011-01-27 01:07:04 +00001885 // MaybeHandleCallArguments handles error reporting; we are silent here
Sean Callananc0492742011-05-23 21:40:23 +00001886 if (call && !MaybeHandleCallArguments(call))
Sean Callanan48443652010-12-02 19:47:57 +00001887 return false;
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001888 }
1889
1890 return true;
1891}
1892
Sean Callanan1d1b39c2010-11-08 00:31:32 +00001893bool
Sean Callananc0492742011-05-23 21:40:23 +00001894IRForTarget::ResolveExternals (Function &llvm_function)
Sean Callanan1d1b39c2010-11-08 00:31:32 +00001895{
Sean Callananae71e302010-11-18 22:21:58 +00001896 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1897
Sean Callananc0492742011-05-23 21:40:23 +00001898 for (Module::global_iterator global = m_module->global_begin(), end = m_module->global_end();
Sean Callanan1d1b39c2010-11-08 00:31:32 +00001899 global != end;
1900 ++global)
1901 {
Sean Callanan1c17a7e2011-12-22 21:24:49 +00001902 if (!global)
1903 {
1904 if (m_error_stream)
1905 m_error_stream->Printf("Internal error [IRForTarget]: global variable is NULL");
1906
1907 return false;
1908 }
1909
1910 std::string global_name = (*global).getName().str();
1911
Greg Clayton3c7feb42010-11-19 01:05:25 +00001912 if (log)
1913 log->Printf("Examining %s, DeclForGlobalValue returns %p",
Sean Callanan1c17a7e2011-12-22 21:24:49 +00001914 global_name.c_str(),
Sean Callananc0492742011-05-23 21:40:23 +00001915 DeclForGlobal(global));
Sean Callanan9911d2f2011-11-01 23:38:03 +00001916
1917 if (global_name.find("OBJC_IVAR") == 0)
Sean Callananc7674af2011-01-17 23:42:46 +00001918 {
Sean Callananc0492742011-05-23 21:40:23 +00001919 if (!HandleSymbol(global))
Sean Callanan97c924e2011-01-27 01:07:04 +00001920 {
1921 if (m_error_stream)
Sean Callanan1c17a7e2011-12-22 21:24:49 +00001922 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 +00001923
Sean Callananc7674af2011-01-17 23:42:46 +00001924 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00001925 }
Sean Callananc7674af2011-01-17 23:42:46 +00001926 }
Sean Callanan9911d2f2011-11-01 23:38:03 +00001927 else if (global_name.find("OBJC_CLASSLIST_REFERENCES_$") != global_name.npos)
1928 {
1929 if (!HandleObjCClass(global))
1930 {
1931 if (m_error_stream)
1932 m_error_stream->Printf("Error [IRForTarget]: Couldn't resolve the class for an Objective-C static method call\n");
1933
1934 return false;
1935 }
1936 }
Sean Callananc0492742011-05-23 21:40:23 +00001937 else if (DeclForGlobal(global))
Sean Callananc7674af2011-01-17 23:42:46 +00001938 {
Sean Callananc0492742011-05-23 21:40:23 +00001939 if (!MaybeHandleVariable (global))
Sean Callanan97c924e2011-01-27 01:07:04 +00001940 {
1941 if (m_error_stream)
Sean Callanan1c17a7e2011-12-22 21:24:49 +00001942 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 +00001943
Sean Callananc7674af2011-01-17 23:42:46 +00001944 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00001945 }
Sean Callananc7674af2011-01-17 23:42:46 +00001946 }
Sean Callanan1d1b39c2010-11-08 00:31:32 +00001947 }
1948
1949 return true;
1950}
1951
Sean Callananc0492742011-05-23 21:40:23 +00001952bool
1953IRForTarget::ReplaceStrings ()
1954{
1955 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1956
1957 if (!m_data_allocator)
1958 return true; // hope for the best; some clients may not want static allocation!
1959
1960 typedef std::map <GlobalVariable *, size_t> OffsetsTy;
1961
1962 OffsetsTy offsets;
1963
1964 for (Module::global_iterator gi = m_module->global_begin(), ge = m_module->global_end();
1965 gi != ge;
1966 ++gi)
1967 {
1968 GlobalVariable *gv = gi;
1969
1970 if (!gv->hasInitializer())
1971 continue;
1972
1973 Constant *gc = gv->getInitializer();
1974
Sean Callanan1b3d1df2011-08-10 21:05:52 +00001975 std::string str;
Sean Callananc0492742011-05-23 21:40:23 +00001976
Sean Callanan1b3d1df2011-08-10 21:05:52 +00001977 if (gc->isNullValue())
1978 {
1979 Type *gc_type = gc->getType();
1980
1981 ArrayType *gc_array_type = dyn_cast<ArrayType>(gc_type);
1982
1983 if (!gc_array_type)
1984 continue;
1985
1986 Type *gc_element_type = gc_array_type->getElementType();
1987
1988 IntegerType *gc_integer_type = dyn_cast<IntegerType>(gc_element_type);
1989
1990 if (gc_integer_type->getBitWidth() != 8)
1991 continue;
1992
1993 str = "";
1994 }
1995 else
1996 {
Sean Callanan39a30342012-02-09 03:22:41 +00001997 ConstantDataArray *gc_array = dyn_cast<ConstantDataArray>(gc);
Sean Callanan1b3d1df2011-08-10 21:05:52 +00001998
1999 if (!gc_array)
2000 continue;
Sean Callananc0492742011-05-23 21:40:23 +00002001
Sean Callanan1b3d1df2011-08-10 21:05:52 +00002002 if (!gc_array->isCString())
2003 continue;
Sean Callananc0492742011-05-23 21:40:23 +00002004
Sean Callanan1b3d1df2011-08-10 21:05:52 +00002005 if (log)
2006 log->Printf("Found a GlobalVariable with string initializer %s", PrintValue(gc).c_str());
Sean Callananc0492742011-05-23 21:40:23 +00002007
Sean Callanan1b3d1df2011-08-10 21:05:52 +00002008 str = gc_array->getAsString();
2009 }
2010
Sean Callananc0492742011-05-23 21:40:23 +00002011 offsets[gv] = m_data_allocator->GetStream().GetSize();
2012
2013 m_data_allocator->GetStream().Write(str.c_str(), str.length() + 1);
2014 }
2015
Sean Callanan9b6898f2011-07-30 02:42:06 +00002016 Type *char_ptr_ty = Type::getInt8PtrTy(m_module->getContext());
Sean Callananc0492742011-05-23 21:40:23 +00002017
2018 for (OffsetsTy::iterator oi = offsets.begin(), oe = offsets.end();
2019 oi != oe;
2020 ++oi)
2021 {
2022 GlobalVariable *gv = oi->first;
2023 size_t offset = oi->second;
2024
2025 Constant *new_initializer = BuildRelocation(char_ptr_ty, offset);
2026
2027 if (log)
2028 log->Printf("Replacing GV %s with %s", PrintValue(gv).c_str(), PrintValue(new_initializer).c_str());
2029
2030 for (GlobalVariable::use_iterator ui = gv->use_begin(), ue = gv->use_end();
2031 ui != ue;
2032 ++ui)
2033 {
2034 if (log)
2035 log->Printf("Found use %s", PrintValue(*ui).c_str());
2036
2037 ConstantExpr *const_expr = dyn_cast<ConstantExpr>(*ui);
2038 StoreInst *store_inst = dyn_cast<StoreInst>(*ui);
2039
2040 if (const_expr)
2041 {
2042 if (const_expr->getOpcode() != Instruction::GetElementPtr)
2043 {
2044 if (log)
2045 log->Printf("Use (%s) of string variable is not a GetElementPtr constant", PrintValue(const_expr).c_str());
2046
2047 return false;
2048 }
2049
Sean Callanan1b3d1df2011-08-10 21:05:52 +00002050 Constant *bit_cast = ConstantExpr::getBitCast(new_initializer, const_expr->getOperand(0)->getType());
2051 Constant *new_gep = const_expr->getWithOperandReplaced(0, bit_cast);
2052
2053 const_expr->replaceAllUsesWith(new_gep);
Sean Callananc0492742011-05-23 21:40:23 +00002054 }
2055 else if (store_inst)
2056 {
2057 Constant *bit_cast = ConstantExpr::getBitCast(new_initializer, store_inst->getValueOperand()->getType());
2058
2059 store_inst->setOperand(0, bit_cast);
2060 }
2061 else
2062 {
2063 if (log)
2064 log->Printf("Use (%s) of string variable is neither a constant nor a store", PrintValue(const_expr).c_str());
2065
2066 return false;
2067 }
2068 }
2069
2070 gv->eraseFromParent();
2071 }
2072
2073 return true;
2074}
2075
2076bool
2077IRForTarget::ReplaceStaticLiterals (llvm::BasicBlock &basic_block)
2078{
2079 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
2080
2081 if (!m_data_allocator)
2082 return true;
2083
2084 typedef SmallVector <Value*, 2> ConstantList;
2085 typedef SmallVector <llvm::Instruction*, 2> UserList;
2086 typedef ConstantList::iterator ConstantIterator;
2087 typedef UserList::iterator UserIterator;
2088
2089 ConstantList static_constants;
2090 UserList static_users;
2091
2092 for (BasicBlock::iterator ii = basic_block.begin(), ie = basic_block.end();
2093 ii != ie;
2094 ++ii)
2095 {
2096 llvm::Instruction &inst = *ii;
2097
2098 for (Instruction::op_iterator oi = inst.op_begin(), oe = inst.op_end();
2099 oi != oe;
2100 ++oi)
2101 {
2102 Value *operand_val = oi->get();
2103
2104 ConstantFP *operand_constant_fp = dyn_cast<ConstantFP>(operand_val);
2105
Sean Callanan26c05d92012-04-26 20:51:20 +00002106 if (operand_constant_fp/* && operand_constant_fp->getType()->isX86_FP80Ty()*/)
Sean Callananc0492742011-05-23 21:40:23 +00002107 {
2108 static_constants.push_back(operand_val);
2109 static_users.push_back(ii);
2110 }
2111 }
2112 }
2113
2114 ConstantIterator constant_iter;
2115 UserIterator user_iter;
Greg Clayton54b38412011-05-24 23:06:02 +00002116
Sean Callananc0492742011-05-23 21:40:23 +00002117 for (constant_iter = static_constants.begin(), user_iter = static_users.begin();
2118 constant_iter != static_constants.end();
2119 ++constant_iter, ++user_iter)
2120 {
2121 Value *operand_val = *constant_iter;
2122 llvm::Instruction *inst = *user_iter;
2123
2124 ConstantFP *operand_constant_fp = dyn_cast<ConstantFP>(operand_val);
Sean Callanan1d970e72012-06-08 22:20:41 +00002125 Type *operand_type = operand_constant_fp->getType();
Sean Callananc0492742011-05-23 21:40:23 +00002126
2127 if (operand_constant_fp)
2128 {
2129 APFloat operand_apfloat = operand_constant_fp->getValueAPF();
2130 APInt operand_apint = operand_apfloat.bitcastToAPInt();
2131
2132 const uint8_t* operand_raw_data = (const uint8_t*)operand_apint.getRawData();
2133 size_t operand_data_size = operand_apint.getBitWidth() / 8;
2134
2135 if (log)
2136 {
2137 std::string s;
2138 raw_string_ostream ss(s);
2139 for (size_t index = 0;
2140 index < operand_data_size;
2141 ++index)
2142 {
2143 ss << (uint32_t)operand_raw_data[index];
2144 ss << " ";
2145 }
2146 ss.flush();
2147
Jason Molenda7e5fa7f2011-09-20 21:44:10 +00002148 log->Printf("Found ConstantFP with size %lu and raw data %s", operand_data_size, s.c_str());
Sean Callananc0492742011-05-23 21:40:23 +00002149 }
2150
2151 lldb_private::DataBufferHeap data(operand_data_size, 0);
2152
2153 if (lldb::endian::InlHostByteOrder() != m_data_allocator->GetStream().GetByteOrder())
2154 {
2155 uint8_t *data_bytes = data.GetBytes();
2156
2157 for (size_t index = 0;
2158 index < operand_data_size;
2159 ++index)
2160 {
2161 data_bytes[index] = operand_raw_data[operand_data_size - (1 + index)];
2162 }
2163 }
2164 else
2165 {
2166 memcpy(data.GetBytes(), operand_raw_data, operand_data_size);
2167 }
2168
2169 uint64_t offset = m_data_allocator->GetStream().GetSize();
2170
Sean Callanan1d970e72012-06-08 22:20:41 +00002171 size_t align = m_target_data->getPrefTypeAlignment(operand_type);
2172
2173 const size_t mask = (align - 1);
2174 uint64_t aligned_offset = (offset + mask) & ~mask;
2175 m_data_allocator->GetStream().PutNHex8(aligned_offset - offset, 0);
2176 offset = aligned_offset;
2177
Sean Callananc0492742011-05-23 21:40:23 +00002178 m_data_allocator->GetStream().Write(data.GetBytes(), operand_data_size);
2179
Sean Callanan9b6898f2011-07-30 02:42:06 +00002180 llvm::Type *fp_ptr_ty = operand_constant_fp->getType()->getPointerTo();
Sean Callananc0492742011-05-23 21:40:23 +00002181
2182 Constant *new_pointer = BuildRelocation(fp_ptr_ty, offset);
2183
2184 llvm::LoadInst *fp_load = new llvm::LoadInst(new_pointer, "fp_load", inst);
2185
2186 operand_constant_fp->replaceAllUsesWith(fp_load);
2187 }
2188 }
2189
2190 return true;
2191}
2192
Sean Callanan02fbafa2010-07-27 21:39:39 +00002193static bool isGuardVariableRef(Value *V)
Sean Callanan45839272010-07-24 01:37:44 +00002194{
Sean Callanan58baaad2011-07-08 00:39:14 +00002195 Constant *Old = NULL;
Sean Callanan45839272010-07-24 01:37:44 +00002196
Sean Callanan6ba533e2010-11-17 23:00:36 +00002197 if (!(Old = dyn_cast<Constant>(V)))
Sean Callanan45839272010-07-24 01:37:44 +00002198 return false;
2199
Sean Callanan58baaad2011-07-08 00:39:14 +00002200 ConstantExpr *CE = NULL;
Sean Callanan47a5c4c2010-09-23 03:01:22 +00002201
2202 if ((CE = dyn_cast<ConstantExpr>(V)))
2203 {
2204 if (CE->getOpcode() != Instruction::BitCast)
2205 return false;
2206
Sean Callanan6ba533e2010-11-17 23:00:36 +00002207 Old = CE->getOperand(0);
Sean Callanan47a5c4c2010-09-23 03:01:22 +00002208 }
2209
Sean Callanan6ba533e2010-11-17 23:00:36 +00002210 GlobalVariable *GV = dyn_cast<GlobalVariable>(Old);
Sean Callanan45839272010-07-24 01:37:44 +00002211
2212 if (!GV || !GV->hasName() || !GV->getName().startswith("_ZGV"))
2213 return false;
2214
2215 return true;
2216}
2217
Sean Callananc0492742011-05-23 21:40:23 +00002218void
2219IRForTarget::TurnGuardLoadIntoZero(llvm::Instruction* guard_load)
Sean Callanan45839272010-07-24 01:37:44 +00002220{
Sean Callananc0492742011-05-23 21:40:23 +00002221 Constant* zero(ConstantInt::get(Type::getInt8Ty(m_module->getContext()), 0, true));
Sean Callanan45839272010-07-24 01:37:44 +00002222
2223 Value::use_iterator ui;
2224
2225 for (ui = guard_load->use_begin();
2226 ui != guard_load->use_end();
2227 ++ui)
Sean Callananb5b749c2010-07-27 01:17:28 +00002228 {
Greg Clayton6e713402010-07-30 20:30:44 +00002229 if (isa<Constant>(*ui))
Sean Callananb5b749c2010-07-27 01:17:28 +00002230 {
2231 // do nothing for the moment
2232 }
2233 else
2234 {
2235 ui->replaceUsesOfWith(guard_load, zero);
2236 }
2237 }
Sean Callanan45839272010-07-24 01:37:44 +00002238
2239 guard_load->eraseFromParent();
2240}
2241
2242static void ExciseGuardStore(Instruction* guard_store)
2243{
2244 guard_store->eraseFromParent();
2245}
2246
2247bool
Sean Callananc0492742011-05-23 21:40:23 +00002248IRForTarget::RemoveGuards(BasicBlock &basic_block)
Sean Callanan45839272010-07-24 01:37:44 +00002249{
2250 ///////////////////////////////////////////////////////
2251 // Eliminate any reference to guard variables found.
2252 //
2253
Sean Callanan02fbafa2010-07-27 21:39:39 +00002254 BasicBlock::iterator ii;
Sean Callanan45839272010-07-24 01:37:44 +00002255
Sean Callanan02fbafa2010-07-27 21:39:39 +00002256 typedef SmallVector <Instruction*, 2> InstrList;
Sean Callanan45839272010-07-24 01:37:44 +00002257 typedef InstrList::iterator InstrIterator;
2258
2259 InstrList guard_loads;
2260 InstrList guard_stores;
2261
Greg Clayton3c7feb42010-11-19 01:05:25 +00002262 for (ii = basic_block.begin();
2263 ii != basic_block.end();
Sean Callanan45839272010-07-24 01:37:44 +00002264 ++ii)
2265 {
2266 Instruction &inst = *ii;
2267
2268 if (LoadInst *load = dyn_cast<LoadInst>(&inst))
2269 if (isGuardVariableRef(load->getPointerOperand()))
2270 guard_loads.push_back(&inst);
2271
2272 if (StoreInst *store = dyn_cast<StoreInst>(&inst))
2273 if (isGuardVariableRef(store->getPointerOperand()))
2274 guard_stores.push_back(&inst);
2275 }
2276
2277 InstrIterator iter;
2278
2279 for (iter = guard_loads.begin();
2280 iter != guard_loads.end();
2281 ++iter)
Sean Callananc0492742011-05-23 21:40:23 +00002282 TurnGuardLoadIntoZero(*iter);
Sean Callanan45839272010-07-24 01:37:44 +00002283
2284 for (iter = guard_stores.begin();
2285 iter != guard_stores.end();
2286 ++iter)
2287 ExciseGuardStore(*iter);
2288
2289 return true;
2290}
2291
Sean Callanan97c924e2011-01-27 01:07:04 +00002292// This function does not report errors; its callers are responsible.
Sean Callanan6ba533e2010-11-17 23:00:36 +00002293bool
Greg Clayton3c7feb42010-11-19 01:05:25 +00002294IRForTarget::UnfoldConstant(Constant *old_constant, Value *new_constant, Instruction *first_entry_inst)
Sean Callananbafd6852010-07-14 23:40:29 +00002295{
Greg Claytone005f2c2010-11-06 01:53:30 +00002296 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callananbafd6852010-07-14 23:40:29 +00002297
2298 Value::use_iterator ui;
2299
Sean Callanana48fe162010-08-11 03:57:18 +00002300 SmallVector<User*, 16> users;
2301
2302 // We do this because the use list might change, invalidating our iterator.
2303 // Much better to keep a work list ourselves.
Greg Clayton3c7feb42010-11-19 01:05:25 +00002304 for (ui = old_constant->use_begin();
2305 ui != old_constant->use_end();
Sean Callananbafd6852010-07-14 23:40:29 +00002306 ++ui)
Sean Callanana48fe162010-08-11 03:57:18 +00002307 users.push_back(*ui);
Sean Callananbafd6852010-07-14 23:40:29 +00002308
Johnny Chen2bc9eb32011-07-19 19:48:13 +00002309 for (size_t i = 0;
Sean Callanana48fe162010-08-11 03:57:18 +00002310 i < users.size();
2311 ++i)
2312 {
2313 User *user = users[i];
2314
Sean Callananbafd6852010-07-14 23:40:29 +00002315 if (Constant *constant = dyn_cast<Constant>(user))
2316 {
2317 // synthesize a new non-constant equivalent of the constant
2318
2319 if (ConstantExpr *constant_expr = dyn_cast<ConstantExpr>(constant))
2320 {
2321 switch (constant_expr->getOpcode())
2322 {
2323 default:
2324 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00002325 log->Printf("Unhandled constant expression type: \"%s\"", PrintValue(constant_expr).c_str());
Sean Callananbafd6852010-07-14 23:40:29 +00002326 return false;
2327 case Instruction::BitCast:
2328 {
2329 // UnaryExpr
2330 // OperandList[0] is value
2331
2332 Value *s = constant_expr->getOperand(0);
2333
Greg Clayton3c7feb42010-11-19 01:05:25 +00002334 if (s == old_constant)
2335 s = new_constant;
Sean Callananbafd6852010-07-14 23:40:29 +00002336
Sean Callananc0492742011-05-23 21:40:23 +00002337 BitCastInst *bit_cast(new BitCastInst(s, constant_expr->getType(), "", first_entry_inst));
Sean Callananbafd6852010-07-14 23:40:29 +00002338
Greg Clayton3c7feb42010-11-19 01:05:25 +00002339 UnfoldConstant(constant_expr, bit_cast, first_entry_inst);
Sean Callananbafd6852010-07-14 23:40:29 +00002340 }
2341 break;
2342 case Instruction::GetElementPtr:
2343 {
2344 // GetElementPtrConstantExpr
2345 // OperandList[0] is base
2346 // OperandList[1]... are indices
2347
2348 Value *ptr = constant_expr->getOperand(0);
2349
Greg Clayton3c7feb42010-11-19 01:05:25 +00002350 if (ptr == old_constant)
2351 ptr = new_constant;
Sean Callanan9b6898f2011-07-30 02:42:06 +00002352
2353 std::vector<Value*> index_vector;
Sean Callananbafd6852010-07-14 23:40:29 +00002354
2355 unsigned operand_index;
2356 unsigned num_operands = constant_expr->getNumOperands();
2357
2358 for (operand_index = 1;
2359 operand_index < num_operands;
2360 ++operand_index)
2361 {
2362 Value *operand = constant_expr->getOperand(operand_index);
2363
Greg Clayton3c7feb42010-11-19 01:05:25 +00002364 if (operand == old_constant)
2365 operand = new_constant;
Sean Callananbafd6852010-07-14 23:40:29 +00002366
Sean Callanan9b6898f2011-07-30 02:42:06 +00002367 index_vector.push_back(operand);
Sean Callananbafd6852010-07-14 23:40:29 +00002368 }
2369
Sean Callanan9b6898f2011-07-30 02:42:06 +00002370 ArrayRef <Value*> indices(index_vector);
2371
2372 GetElementPtrInst *get_element_ptr(GetElementPtrInst::Create(ptr, indices, "", first_entry_inst));
Sean Callananbafd6852010-07-14 23:40:29 +00002373
Greg Clayton3c7feb42010-11-19 01:05:25 +00002374 UnfoldConstant(constant_expr, get_element_ptr, first_entry_inst);
Sean Callananbafd6852010-07-14 23:40:29 +00002375 }
2376 break;
2377 }
2378 }
2379 else
2380 {
2381 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00002382 log->Printf("Unhandled constant type: \"%s\"", PrintValue(constant).c_str());
Sean Callananbafd6852010-07-14 23:40:29 +00002383 return false;
2384 }
2385 }
2386 else
2387 {
2388 // simple fall-through case for non-constants
Greg Clayton3c7feb42010-11-19 01:05:25 +00002389 user->replaceUsesOfWith(old_constant, new_constant);
Sean Callananbafd6852010-07-14 23:40:29 +00002390 }
2391 }
2392
2393 return true;
2394}
2395
Sean Callanan8bce6652010-07-13 21:41:46 +00002396bool
Sean Callananc0492742011-05-23 21:40:23 +00002397IRForTarget::ReplaceVariables (Function &llvm_function)
Sean Callanan8bce6652010-07-13 21:41:46 +00002398{
Sean Callanane8a59a82010-09-13 21:34:21 +00002399 if (!m_resolve_vars)
2400 return true;
2401
Greg Claytone005f2c2010-11-06 01:53:30 +00002402 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan8bce6652010-07-13 21:41:46 +00002403
2404 m_decl_map->DoStructLayout();
2405
2406 if (log)
2407 log->Printf("Element arrangement:");
2408
2409 uint32_t num_elements;
2410 uint32_t element_index;
2411
2412 size_t size;
2413 off_t alignment;
2414
2415 if (!m_decl_map->GetStructInfo (num_elements, size, alignment))
2416 return false;
2417
Greg Clayton3c7feb42010-11-19 01:05:25 +00002418 Function::arg_iterator iter(llvm_function.getArgumentList().begin());
Sean Callanan8bce6652010-07-13 21:41:46 +00002419
Greg Clayton3c7feb42010-11-19 01:05:25 +00002420 if (iter == llvm_function.getArgumentList().end())
Sean Callanan97c924e2011-01-27 01:07:04 +00002421 {
2422 if (m_error_stream)
2423 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes no arguments (should take at least a struct pointer)");
2424
Sean Callanan8bce6652010-07-13 21:41:46 +00002425 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002426 }
2427
Sean Callanan02fbafa2010-07-27 21:39:39 +00002428 Argument *argument = iter;
Sean Callanan8bce6652010-07-13 21:41:46 +00002429
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00002430 if (argument->getName().equals("this"))
2431 {
2432 ++iter;
2433
Greg Clayton3c7feb42010-11-19 01:05:25 +00002434 if (iter == llvm_function.getArgumentList().end())
Sean Callanan97c924e2011-01-27 01:07:04 +00002435 {
2436 if (m_error_stream)
2437 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes only 'this' argument (should take a struct pointer too)");
2438
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00002439 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002440 }
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00002441
2442 argument = iter;
2443 }
Sean Callanan3aa7da52010-12-13 22:46:15 +00002444 else if (argument->getName().equals("self"))
2445 {
2446 ++iter;
2447
2448 if (iter == llvm_function.getArgumentList().end())
Sean Callanan97c924e2011-01-27 01:07:04 +00002449 {
2450 if (m_error_stream)
2451 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes only 'self' argument (should take '_cmd' and a struct pointer too)");
2452
Sean Callanan3aa7da52010-12-13 22:46:15 +00002453 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002454 }
Sean Callanan3aa7da52010-12-13 22:46:15 +00002455
2456 if (!iter->getName().equals("_cmd"))
Sean Callanan97c924e2011-01-27 01:07:04 +00002457 {
2458 if (m_error_stream)
2459 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes '%s' after 'self' argument (should take '_cmd')", iter->getName().str().c_str());
2460
Sean Callanan3aa7da52010-12-13 22:46:15 +00002461 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002462 }
Sean Callanan3aa7da52010-12-13 22:46:15 +00002463
2464 ++iter;
2465
2466 if (iter == llvm_function.getArgumentList().end())
Sean Callanan97c924e2011-01-27 01:07:04 +00002467 {
2468 if (m_error_stream)
2469 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes only 'self' and '_cmd' arguments (should take a struct pointer too)");
2470
Sean Callanan3aa7da52010-12-13 22:46:15 +00002471 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002472 }
Sean Callanan3aa7da52010-12-13 22:46:15 +00002473
2474 argument = iter;
2475 }
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00002476
Greg Clayton8de27c72010-10-15 22:48:33 +00002477 if (!argument->getName().equals("$__lldb_arg"))
Sean Callanan97c924e2011-01-27 01:07:04 +00002478 {
2479 if (m_error_stream)
2480 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes an argument named '%s' instead of the struct pointer", argument->getName().str().c_str());
2481
Sean Callanan8bce6652010-07-13 21:41:46 +00002482 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002483 }
2484
Sean Callanan8bce6652010-07-13 21:41:46 +00002485 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00002486 log->Printf("Arg: \"%s\"", PrintValue(argument).c_str());
Sean Callanan8bce6652010-07-13 21:41:46 +00002487
Greg Clayton3c7feb42010-11-19 01:05:25 +00002488 BasicBlock &entry_block(llvm_function.getEntryBlock());
Sean Callanan6ba533e2010-11-17 23:00:36 +00002489 Instruction *FirstEntryInstruction(entry_block.getFirstNonPHIOrDbg());
Sean Callanan8bce6652010-07-13 21:41:46 +00002490
Sean Callanan6ba533e2010-11-17 23:00:36 +00002491 if (!FirstEntryInstruction)
Sean Callanan97c924e2011-01-27 01:07:04 +00002492 {
2493 if (m_error_stream)
2494 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't find the first instruction in the wrapper for use in rewriting");
2495
Sean Callanan8bce6652010-07-13 21:41:46 +00002496 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002497 }
Sean Callanan8bce6652010-07-13 21:41:46 +00002498
Sean Callananc0492742011-05-23 21:40:23 +00002499 LLVMContext &context(m_module->getContext());
Sean Callanan9b6898f2011-07-30 02:42:06 +00002500 IntegerType *offset_type(Type::getInt32Ty(context));
Sean Callanan8bce6652010-07-13 21:41:46 +00002501
2502 if (!offset_type)
Sean Callanan97c924e2011-01-27 01:07:04 +00002503 {
2504 if (m_error_stream)
2505 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't produce an offset type");
2506
Sean Callanan8bce6652010-07-13 21:41:46 +00002507 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002508 }
Sean Callanan8bce6652010-07-13 21:41:46 +00002509
2510 for (element_index = 0; element_index < num_elements; ++element_index)
2511 {
Sean Callanan58baaad2011-07-08 00:39:14 +00002512 const clang::NamedDecl *decl = NULL;
2513 Value *value = NULL;
Sean Callanan8bce6652010-07-13 21:41:46 +00002514 off_t offset;
Greg Clayton8de27c72010-10-15 22:48:33 +00002515 lldb_private::ConstString name;
Sean Callanan8bce6652010-07-13 21:41:46 +00002516
Sean Callanan45690fe2010-08-30 22:17:16 +00002517 if (!m_decl_map->GetStructElement (decl, value, offset, name, element_index))
Sean Callanan97c924e2011-01-27 01:07:04 +00002518 {
2519 if (m_error_stream)
2520 m_error_stream->Printf("Internal error [IRForTarget]: Structure information is incomplete");
2521
Sean Callanan8bce6652010-07-13 21:41:46 +00002522 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002523 }
2524
Sean Callanan8bce6652010-07-13 21:41:46 +00002525 if (log)
Sean Callananc7ca4662011-10-25 18:36:40 +00002526 log->Printf(" \"%s\" (\"%s\") placed at %lld",
Greg Clayton8de27c72010-10-15 22:48:33 +00002527 name.GetCString(),
Sean Callananc7ca4662011-10-25 18:36:40 +00002528 decl->getNameAsString().c_str(),
Sean Callanan8bce6652010-07-13 21:41:46 +00002529 offset);
2530
Sean Callanan9b6898f2011-07-30 02:42:06 +00002531 ConstantInt *offset_int(ConstantInt::get(offset_type, offset, true));
Sean Callanan6ba533e2010-11-17 23:00:36 +00002532 GetElementPtrInst *get_element_ptr = GetElementPtrInst::Create(argument, offset_int, "", FirstEntryInstruction);
Sean Callanan6a925532011-01-13 08:53:35 +00002533
Sean Callananc7ca4662011-10-25 18:36:40 +00002534 if (value)
Sean Callanan6a925532011-01-13 08:53:35 +00002535 {
Sean Callananc7ca4662011-10-25 18:36:40 +00002536 Value *replacement = NULL;
Sean Callanan6a925532011-01-13 08:53:35 +00002537
Sean Callananc7ca4662011-10-25 18:36:40 +00002538 if (log)
2539 log->Printf(" Replacing [%s]", PrintValue(value).c_str());
Sean Callanan6a925532011-01-13 08:53:35 +00002540
Sean Callananc7ca4662011-10-25 18:36:40 +00002541 // Per the comment at ASTResultSynthesizer::SynthesizeBodyResult, in cases where the result
2542 // variable is an rvalue, we have to synthesize a dereference of the appropriate structure
2543 // entry in order to produce the static variable that the AST thinks it is accessing.
2544 if (name == m_result_name && !m_result_is_pointer)
2545 {
2546 BitCastInst *bit_cast = new BitCastInst(get_element_ptr, value->getType()->getPointerTo(), "", FirstEntryInstruction);
2547
2548 LoadInst *load = new LoadInst(bit_cast, "", FirstEntryInstruction);
2549
2550 replacement = load;
2551 }
2552 else
2553 {
2554 BitCastInst *bit_cast = new BitCastInst(get_element_ptr, value->getType(), "", FirstEntryInstruction);
2555
2556 replacement = bit_cast;
2557 }
2558
2559 if (Constant *constant = dyn_cast<Constant>(value))
2560 UnfoldConstant(constant, replacement, FirstEntryInstruction);
2561 else
2562 value->replaceAllUsesWith(replacement);
2563
2564 if (GlobalVariable *var = dyn_cast<GlobalVariable>(value))
2565 var->eraseFromParent();
2566 }
Sean Callanan8bce6652010-07-13 21:41:46 +00002567 }
2568
2569 if (log)
Jason Molenda7e5fa7f2011-09-20 21:44:10 +00002570 log->Printf("Total structure [align %lld, size %lu]", alignment, size);
Sean Callanan8bce6652010-07-13 21:41:46 +00002571
2572 return true;
2573}
2574
Sean Callananc0492742011-05-23 21:40:23 +00002575llvm::Constant *
Sean Callanan9b6898f2011-07-30 02:42:06 +00002576IRForTarget::BuildRelocation(llvm::Type *type,
Sean Callananc0492742011-05-23 21:40:23 +00002577 uint64_t offset)
2578{
2579 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
2580
Sean Callanan9b6898f2011-07-30 02:42:06 +00002581 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Sean Callanan4fbe61b2012-10-11 22:00:52 +00002582 (m_module->getPointerSize() == Module::Pointer64) ? 64 : 32);
Sean Callananc0492742011-05-23 21:40:23 +00002583
2584 llvm::Constant *offset_int = ConstantInt::get(intptr_ty, offset);
Sean Callanan9b6898f2011-07-30 02:42:06 +00002585
2586 llvm::Constant *offset_array[1];
2587
2588 offset_array[0] = offset_int;
2589
2590 llvm::ArrayRef<llvm::Constant *> offsets(offset_array, 1);
2591
2592 llvm::Constant *reloc_getelementptr = ConstantExpr::getGetElementPtr(m_reloc_placeholder, offsets);
Sean Callananc0492742011-05-23 21:40:23 +00002593 llvm::Constant *reloc_getbitcast = ConstantExpr::getBitCast(reloc_getelementptr, type);
2594
2595 return reloc_getbitcast;
2596}
2597
2598bool
2599IRForTarget::CompleteDataAllocation ()
2600{
Sean Callanan47dc4572011-09-15 02:13:07 +00002601 if (!m_data_allocator)
2602 return true;
2603
Sean Callananc0492742011-05-23 21:40:23 +00002604 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
2605
2606 if (!m_data_allocator->GetStream().GetSize())
2607 return true;
2608
2609 lldb::addr_t allocation = m_data_allocator->Allocate();
2610
2611 if (log)
2612 {
2613 if (allocation)
2614 log->Printf("Allocated static data at 0x%llx", (unsigned long long)allocation);
2615 else
2616 log->Printf("Failed to allocate static data");
2617 }
2618
2619 if (!allocation)
2620 return false;
2621
Sean Callanan9b6898f2011-07-30 02:42:06 +00002622 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Sean Callanan4fbe61b2012-10-11 22:00:52 +00002623 (m_module->getPointerSize() == Module::Pointer64) ? 64 : 32);
Sean Callananc0492742011-05-23 21:40:23 +00002624
2625 Constant *relocated_addr = ConstantInt::get(intptr_ty, (uint64_t)allocation);
2626 Constant *relocated_bitcast = ConstantExpr::getIntToPtr(relocated_addr, llvm::Type::getInt8PtrTy(m_module->getContext()));
2627
2628 m_reloc_placeholder->replaceAllUsesWith(relocated_bitcast);
2629
2630 m_reloc_placeholder->eraseFromParent();
2631
2632 return true;
2633}
2634
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002635bool
Sean Callanan06dc17f2012-09-24 22:25:51 +00002636IRForTarget::StripAllGVs (Module &llvm_module)
2637{
2638 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
2639 std::vector<GlobalVariable *> global_vars;
2640 std::set<GlobalVariable *>erased_vars;
2641
2642 bool erased = true;
2643
2644 while (erased)
2645 {
2646 erased = false;
2647
2648 for (Module::global_iterator gi = llvm_module.global_begin(), ge = llvm_module.global_end();
2649 gi != ge;
2650 ++gi)
2651 {
2652 GlobalVariable *global_var = dyn_cast<GlobalVariable>(gi);
2653
2654 global_var->removeDeadConstantUsers();
2655
2656 if (global_var->use_empty())
2657 {
2658 if (log)
2659 log->Printf("Did remove %s",
2660 PrintValue(global_var).c_str());
2661 global_var->eraseFromParent();
2662 erased = true;
2663 break;
2664 }
2665 }
2666 }
2667
2668 for (Module::global_iterator gi = llvm_module.global_begin(), ge = llvm_module.global_end();
2669 gi != ge;
2670 ++gi)
2671 {
2672 GlobalVariable *global_var = dyn_cast<GlobalVariable>(gi);
2673
2674 GlobalValue::use_iterator ui = global_var->use_begin();
2675
2676 log->Printf("Couldn't remove %s because of %s",
2677 PrintValue(global_var).c_str(),
2678 PrintValue(*ui).c_str());
2679 }
2680
2681 return true;
2682}
2683
2684bool
Greg Clayton3c7feb42010-11-19 01:05:25 +00002685IRForTarget::runOnModule (Module &llvm_module)
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002686{
Greg Claytone005f2c2010-11-06 01:53:30 +00002687 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002688
Sean Callananc0492742011-05-23 21:40:23 +00002689 m_module = &llvm_module;
Micah Villmow3051ed72012-10-08 16:28:57 +00002690 m_target_data.reset(new DataLayout(m_module));
Sean Callananc0492742011-05-23 21:40:23 +00002691
2692 Function* function = m_module->getFunction(StringRef(m_func_name.c_str()));
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002693
2694 if (!function)
2695 {
2696 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00002697 log->Printf("Couldn't find \"%s()\" in the module", m_func_name.c_str());
Sean Callanan97c924e2011-01-27 01:07:04 +00002698
2699 if (m_error_stream)
Sean Callananc0492742011-05-23 21:40:23 +00002700 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 +00002701
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002702 return false;
2703 }
Sean Callananc0492742011-05-23 21:40:23 +00002704
2705 if (!FixFunctionLinkage (*function))
2706 {
2707 if (log)
2708 log->Printf("Couldn't fix the linkage for the function");
2709
2710 return false;
2711 }
2712
Sean Callananc7ca4662011-10-25 18:36:40 +00002713 if (log)
2714 {
2715 std::string s;
2716 raw_string_ostream oss(s);
2717
2718 m_module->print(oss, NULL);
2719
2720 oss.flush();
2721
2722 log->Printf("Module as passed in to IRForTarget: \n\"%s\"", s.c_str());
2723 }
2724
Sean Callanan9b6898f2011-07-30 02:42:06 +00002725 llvm::Type *intptr_ty = Type::getInt8Ty(m_module->getContext());
Sean Callananc0492742011-05-23 21:40:23 +00002726
2727 m_reloc_placeholder = new llvm::GlobalVariable((*m_module),
2728 intptr_ty,
Sean Callanan06dc17f2012-09-24 22:25:51 +00002729 false /* IsConstant */,
Sean Callananc0492742011-05-23 21:40:23 +00002730 GlobalVariable::InternalLinkage,
2731 Constant::getNullValue(intptr_ty),
2732 "reloc_placeholder",
2733 NULL /* InsertBefore */,
Sean Callanan06dc17f2012-09-24 22:25:51 +00002734 GlobalVariable::NotThreadLocal /* ThreadLocal */,
Sean Callananc0492742011-05-23 21:40:23 +00002735 0 /* AddressSpace */);
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002736
Sean Callanan02fbafa2010-07-27 21:39:39 +00002737 Function::iterator bbi;
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002738
Sean Callananc0492742011-05-23 21:40:23 +00002739 m_has_side_effects = HasSideEffects(*function);
Sean Callanan05a5a1b2010-12-16 03:17:46 +00002740
Sean Callanan82b74c82010-08-12 01:56:52 +00002741 ////////////////////////////////////////////////////////////
Greg Clayton8de27c72010-10-15 22:48:33 +00002742 // Replace $__lldb_expr_result with a persistent variable
Sean Callanan82b74c82010-08-12 01:56:52 +00002743 //
2744
Sean Callananc0492742011-05-23 21:40:23 +00002745 if (!CreateResultVariable(*function))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002746 {
2747 if (log)
2748 log->Printf("CreateResultVariable() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002749
2750 // CreateResultVariable() reports its own errors, so we don't do so here
2751
Sean Callanan82b74c82010-08-12 01:56:52 +00002752 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002753 }
Sean Callanan47dc4572011-09-15 02:13:07 +00002754
2755 if (m_const_result && m_execution_policy != lldb_private::eExecutionPolicyAlways)
2756 {
2757 m_interpret_success = true;
Sean Callanan696cf5f2011-05-07 01:06:41 +00002758 return true;
Sean Callanan47dc4572011-09-15 02:13:07 +00002759 }
2760
2761 for (bbi = function->begin();
2762 bbi != function->end();
2763 ++bbi)
2764 {
2765 if (!RemoveGuards(*bbi))
2766 {
2767 if (log)
2768 log->Printf("RemoveGuards() failed");
2769
2770 // RemoveGuards() reports its own errors, so we don't do so here
2771
2772 return false;
2773 }
2774
2775 if (!RewritePersistentAllocs(*bbi))
2776 {
2777 if (log)
2778 log->Printf("RewritePersistentAllocs() failed");
2779
2780 // RewritePersistentAllocs() reports its own errors, so we don't do so here
2781
2782 return false;
2783 }
Sean Callanan1850f942012-07-21 02:02:15 +00002784
2785 if (!RemoveCXAAtExit(*bbi))
2786 {
2787 if (log)
2788 log->Printf("RemoveCXAAtExit() failed");
2789
2790 // RemoveCXAAtExit() reports its own errors, so we don't do so here
2791
2792 return false;
2793 }
Sean Callanan47dc4572011-09-15 02:13:07 +00002794 }
2795
2796 if (m_decl_map && m_execution_policy != lldb_private::eExecutionPolicyAlways)
2797 {
2798 IRInterpreter interpreter (*m_decl_map,
2799 m_error_stream);
2800
Sean Callananddf110d2012-01-24 22:06:48 +00002801 interpreter.maybeRunOnFunction(m_const_result, m_result_name, m_result_type, *function, llvm_module, m_interpreter_error);
2802
2803 if (m_interpreter_error.Success())
Sean Callanan47dc4572011-09-15 02:13:07 +00002804 return true;
Sean Callanan47dc4572011-09-15 02:13:07 +00002805 }
Sean Callanan696cf5f2011-05-07 01:06:41 +00002806
Sean Callanan8f2e3922012-02-04 08:49:35 +00002807 if (m_execution_policy == lldb_private::eExecutionPolicyNever) {
Sean Callanan08210572012-04-24 17:56:40 +00002808 if (m_result_name)
2809 m_decl_map->RemoveResultVariable(m_result_name);
Sean Callanan8f2e3922012-02-04 08:49:35 +00002810 return false;
2811 }
2812
Sean Callanan7b8eb762011-11-01 17:33:54 +00002813 if (log && log->GetVerbose())
Sean Callananc0492742011-05-23 21:40:23 +00002814 {
2815 std::string s;
2816 raw_string_ostream oss(s);
2817
2818 m_module->print(oss, NULL);
2819
2820 oss.flush();
2821
2822 log->Printf("Module after creating the result variable: \n\"%s\"", s.c_str());
2823 }
2824
Sean Callanan6ba533e2010-11-17 23:00:36 +00002825 ///////////////////////////////////////////////////////////////////////////////
2826 // Fix all Objective-C constant strings to use NSStringWithCString:encoding:
2827 //
Sean Callanan6ba533e2010-11-17 23:00:36 +00002828
Sean Callananc0492742011-05-23 21:40:23 +00002829 if (!RewriteObjCConstStrings(*function))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002830 {
2831 if (log)
2832 log->Printf("RewriteObjCConstStrings() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002833
2834 // RewriteObjCConstStrings() reports its own errors, so we don't do so here
2835
Sean Callanan6ba533e2010-11-17 23:00:36 +00002836 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002837 }
Sean Callanan6ba533e2010-11-17 23:00:36 +00002838
Sean Callanan5c9a3c72011-08-04 21:37:47 +00002839 ///////////////////////////////
2840 // Resolve function pointers
2841 //
2842
2843 if (!ResolveFunctionPointers(llvm_module, *function))
2844 {
2845 if (log)
2846 log->Printf("ResolveFunctionPointers() failed");
2847
2848 // ResolveFunctionPointers() reports its own errors, so we don't do so here
2849
2850 return false;
2851 }
2852
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002853 for (bbi = function->begin();
2854 bbi != function->end();
2855 ++bbi)
2856 {
Sean Callananc0492742011-05-23 21:40:23 +00002857 if (!RewriteObjCSelectors(*bbi))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002858 {
2859 if (log)
2860 log->Printf("RewriteObjCSelectors() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002861
2862 // RewriteObjCSelectors() reports its own errors, so we don't do so here
2863
Sean Callanana48fe162010-08-11 03:57:18 +00002864 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002865 }
Sean Callanan083b3762012-07-27 19:25:24 +00002866 }
Sean Callanana48fe162010-08-11 03:57:18 +00002867
Sean Callanan083b3762012-07-27 19:25:24 +00002868 for (bbi = function->begin();
2869 bbi != function->end();
2870 ++bbi)
2871 {
Sean Callananc0492742011-05-23 21:40:23 +00002872 if (!ResolveCalls(*bbi))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002873 {
2874 if (log)
2875 log->Printf("ResolveCalls() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002876
2877 // ResolveCalls() reports its own errors, so we don't do so here
2878
Sean Callanan8bce6652010-07-13 21:41:46 +00002879 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002880 }
Sean Callananc0492742011-05-23 21:40:23 +00002881
2882 if (!ReplaceStaticLiterals(*bbi))
2883 {
2884 if (log)
2885 log->Printf("ReplaceStaticLiterals() failed");
2886
2887 return false;
2888 }
Sean Callanan8bce6652010-07-13 21:41:46 +00002889 }
2890
Sean Callanan771131d2010-09-30 21:18:25 +00002891 ///////////////////////////////
2892 // Run function-level passes
2893 //
2894
Sean Callananc0492742011-05-23 21:40:23 +00002895 if (!ResolveExternals(*function))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002896 {
2897 if (log)
2898 log->Printf("ResolveExternals() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002899
2900 // ResolveExternals() reports its own errors, so we don't do so here
2901
Sean Callanan1d1b39c2010-11-08 00:31:32 +00002902 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002903 }
Sean Callanan1d1b39c2010-11-08 00:31:32 +00002904
Sean Callananc0492742011-05-23 21:40:23 +00002905 if (!ReplaceVariables(*function))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002906 {
2907 if (log)
2908 log->Printf("ReplaceVariables() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002909
2910 // ReplaceVariables() reports its own errors, so we don't do so here
2911
Sean Callanan771131d2010-09-30 21:18:25 +00002912 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002913 }
Sean Callanan771131d2010-09-30 21:18:25 +00002914
Sean Callananc0492742011-05-23 21:40:23 +00002915 if (!ReplaceStrings())
2916 {
2917 if (log)
2918 log->Printf("ReplaceStrings() failed");
2919
2920 return false;
2921 }
2922
2923 if (!CompleteDataAllocation())
2924 {
2925 if (log)
2926 log->Printf("CompleteDataAllocation() failed");
2927
2928 return false;
2929 }
2930
Sean Callanan06dc17f2012-09-24 22:25:51 +00002931 if (!StripAllGVs(llvm_module))
2932 {
2933 if (log)
2934 log->Printf("StripAllGVs() failed");
2935 }
2936
Sean Callanan7b8eb762011-11-01 17:33:54 +00002937 if (log && log->GetVerbose())
Sean Callanan8bce6652010-07-13 21:41:46 +00002938 {
Sean Callanan321fe9e2010-07-28 01:00:59 +00002939 std::string s;
2940 raw_string_ostream oss(s);
Sean Callanan8bce6652010-07-13 21:41:46 +00002941
Sean Callananc0492742011-05-23 21:40:23 +00002942 m_module->print(oss, NULL);
Sean Callanan321fe9e2010-07-28 01:00:59 +00002943
2944 oss.flush();
2945
Greg Claytonb5037af2010-11-15 01:47:11 +00002946 log->Printf("Module after preparing for execution: \n\"%s\"", s.c_str());
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002947 }
2948
2949 return true;
2950}
2951
2952void
Greg Clayton3c7feb42010-11-19 01:05:25 +00002953IRForTarget::assignPassManager (PMStack &pass_mgr_stack, PassManagerType pass_mgr_type)
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002954{
2955}
2956
2957PassManagerType
2958IRForTarget::getPotentialPassManagerType() const
2959{
2960 return PMT_ModulePassManager;
2961}