blob: fa98eb251accd092ae4beae7b7212692d20dcdfe [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{
Micah Villmowce633582012-10-11 17:21:41 +0000303 unsigned AS = type->isPointerTy() ? cast<PointerType>(type)->getAddressSpace: 0;
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000304 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Micah Villmowce633582012-10-11 17:21:41 +0000305 (m_module->getPointerSize(AS) == Module::Pointer64) ? 64 : 32);
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000306 PointerType *fun_ptr_ty = PointerType::getUnqual(type);
307 Constant *fun_addr_int = ConstantInt::get(intptr_ty, ptr, false);
308 return ConstantExpr::getIntToPtr(fun_addr_int, fun_ptr_ty);
309}
310
Sean Callanan715f6b02011-10-31 22:11:40 +0000311void
312IRForTarget::RegisterFunctionMetadata(LLVMContext &context,
313 llvm::Value *function_ptr,
314 const char *name)
315{
316 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
317
318 for (Value::use_iterator i = function_ptr->use_begin(), e = function_ptr->use_end();
319 i != e;
320 ++i)
321 {
322 Value *user = *i;
323
324 if (Instruction *user_inst = dyn_cast<Instruction>(user))
325 {
Sean Callanan39a30342012-02-09 03:22:41 +0000326 Constant *name_array = ConstantDataArray::getString(context, StringRef(name));
Sean Callanan715f6b02011-10-31 22:11:40 +0000327
328 ArrayRef<Value *> md_values(name_array);
329
330 MDNode *metadata = MDNode::get(context, md_values);
331
332 user_inst->setMetadata("lldb.call.realName", metadata);
333 }
334 else
335 {
336 RegisterFunctionMetadata (context, user, name);
337 }
338 }
339}
340
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000341bool
342IRForTarget::ResolveFunctionPointers(llvm::Module &llvm_module,
343 llvm::Function &llvm_function)
344{
345 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
346
347 for (llvm::Module::iterator fi = llvm_module.begin();
348 fi != llvm_module.end();
349 ++fi)
350 {
351 Function *fun = fi;
352
353 bool is_decl = fun->isDeclaration();
354
355 if (log)
Sean Callananfecc09c2011-11-19 02:54:21 +0000356 log->Printf("Examining %s function %s", (is_decl ? "declaration" : "non-declaration"), fun->getName().str().c_str());
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000357
358 if (!is_decl)
359 continue;
360
361 if (fun->hasNUses(0))
362 continue; // ignore
363
364 uint64_t addr = LLDB_INVALID_ADDRESS;
365 lldb_private::ConstString name;
366 Constant **value_ptr = NULL;
367
368 if (!GetFunctionAddress(fun,
369 addr,
370 name,
371 value_ptr))
372 return false; // GetFunctionAddress reports its own errors
373
374 Constant *value = BuildFunctionPointer(fun->getFunctionType(), addr);
375
Sean Callanan715f6b02011-10-31 22:11:40 +0000376 RegisterFunctionMetadata (llvm_module.getContext(), fun, name.AsCString());
377
Sean Callanan5c9a3c72011-08-04 21:37:47 +0000378 if (value_ptr)
379 *value_ptr = value;
380
381 fun->replaceAllUsesWith(value);
382 }
383
384 return true;
385}
386
Sean Callanan47dc4572011-09-15 02:13:07 +0000387
Sean Callanan696cf5f2011-05-07 01:06:41 +0000388clang::NamedDecl *
Sean Callanan47dc4572011-09-15 02:13:07 +0000389IRForTarget::DeclForGlobal (const GlobalValue *global_val, Module *module)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000390{
391 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
392
Sean Callanan47dc4572011-09-15 02:13:07 +0000393 NamedMDNode *named_metadata = module->getNamedMetadata("clang.global.decl.ptrs");
Sean Callanan696cf5f2011-05-07 01:06:41 +0000394
395 if (!named_metadata)
396 return NULL;
397
398 unsigned num_nodes = named_metadata->getNumOperands();
399 unsigned node_index;
400
401 for (node_index = 0;
402 node_index < num_nodes;
403 ++node_index)
404 {
405 MDNode *metadata_node = named_metadata->getOperand(node_index);
406
407 if (!metadata_node)
408 return NULL;
409
410 if (metadata_node->getNumOperands() != 2)
411 continue;
412
413 if (metadata_node->getOperand(0) != global_val)
414 continue;
415
416 ConstantInt *constant_int = dyn_cast<ConstantInt>(metadata_node->getOperand(1));
417
418 if (!constant_int)
419 return NULL;
420
421 uintptr_t ptr = constant_int->getZExtValue();
422
423 return reinterpret_cast<clang::NamedDecl *>(ptr);
424 }
425
426 return NULL;
427}
428
Sean Callanan47dc4572011-09-15 02:13:07 +0000429clang::NamedDecl *
430IRForTarget::DeclForGlobal (GlobalValue *global_val)
431{
432 return DeclForGlobal(global_val, m_module);
433}
434
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000435void
436IRForTarget::MaybeSetConstantResult (llvm::Constant *initializer,
437 const lldb_private::ConstString &name,
438 lldb_private::TypeFromParser type)
439{
Sean Callanan696cf5f2011-05-07 01:06:41 +0000440 if (llvm::ConstantExpr *init_expr = dyn_cast<llvm::ConstantExpr>(initializer))
441 {
442 switch (init_expr->getOpcode())
443 {
444 default:
445 return;
446 case Instruction::IntToPtr:
447 MaybeSetConstantResult (init_expr->getOperand(0), name, type);
448 return;
449 }
450 }
451 else if (llvm::ConstantInt *init_int = dyn_cast<llvm::ConstantInt>(initializer))
452 {
453 m_const_result = m_decl_map->BuildIntegerVariable(name, type, init_int->getValue());
454 }
455}
456
457void
Sean Callananc0492742011-05-23 21:40:23 +0000458IRForTarget::MaybeSetCastResult (lldb_private::TypeFromParser type)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000459{
460 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
461
462 if (!m_result_store)
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000463 return;
464
Sean Callanan696cf5f2011-05-07 01:06:41 +0000465 LoadInst *original_load = NULL;
466
467 for (llvm::Value *current_value = m_result_store->getValueOperand(), *next_value;
468 current_value != NULL;
469 current_value = next_value)
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000470 {
Sean Callanan696cf5f2011-05-07 01:06:41 +0000471 CastInst *cast_inst = dyn_cast<CastInst>(current_value);
472 LoadInst *load_inst = dyn_cast<LoadInst>(current_value);
473
474 if (cast_inst)
475 {
476 next_value = cast_inst->getOperand(0);
477 }
Enrico Granata4c3fb4b2011-07-19 18:03:25 +0000478 else if (load_inst)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000479 {
480 if (isa<LoadInst>(load_inst->getPointerOperand()))
481 {
482 next_value = load_inst->getPointerOperand();
483 }
484 else
485 {
486 original_load = load_inst;
487 break;
488 }
489 }
490 else
491 {
492 return;
493 }
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000494 }
Sean Callanan696cf5f2011-05-07 01:06:41 +0000495
496 Value *loaded_value = original_load->getPointerOperand();
497 GlobalVariable *loaded_global = dyn_cast<GlobalVariable>(loaded_value);
498
499 if (!loaded_global)
500 return;
501
Sean Callananc0492742011-05-23 21:40:23 +0000502 clang::NamedDecl *loaded_decl = DeclForGlobal(loaded_global);
Sean Callanan696cf5f2011-05-07 01:06:41 +0000503
504 if (!loaded_decl)
505 return;
506
507 clang::VarDecl *loaded_var = dyn_cast<clang::VarDecl>(loaded_decl);
508
509 if (!loaded_var)
510 return;
511
512 if (log)
513 {
514 lldb_private::StreamString type_desc_stream;
515 type.DumpTypeDescription(&type_desc_stream);
516
517 log->Printf("Type to cast variable to: \"%s\"", type_desc_stream.GetString().c_str());
518 }
519
520 m_const_result = m_decl_map->BuildCastVariable(m_result_name, loaded_var, type);
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000521}
522
523bool
Sean Callananc0492742011-05-23 21:40:23 +0000524IRForTarget::CreateResultVariable (llvm::Function &llvm_function)
Sean Callanan82b74c82010-08-12 01:56:52 +0000525{
Greg Claytone005f2c2010-11-06 01:53:30 +0000526 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan82b74c82010-08-12 01:56:52 +0000527
Sean Callanane8a59a82010-09-13 21:34:21 +0000528 if (!m_resolve_vars)
529 return true;
530
531 // Find the result variable. If it doesn't exist, we can give up right here.
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000532
Sean Callananc0492742011-05-23 21:40:23 +0000533 ValueSymbolTable& value_symbol_table = m_module->getValueSymbolTable();
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000534
Sean Callanan9b6898f2011-07-30 02:42:06 +0000535 std::string result_name_str;
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000536 const char *result_name = NULL;
537
538 for (ValueSymbolTable::iterator vi = value_symbol_table.begin(), ve = value_symbol_table.end();
539 vi != ve;
540 ++vi)
541 {
Sean Callanan9b6898f2011-07-30 02:42:06 +0000542 result_name_str = vi->first().str();
543 const char *value_name = result_name_str.c_str();
544
545 if (strstr(value_name, "$__lldb_expr_result_ptr") &&
546 !strstr(value_name, "GV"))
Sean Callanan6a925532011-01-13 08:53:35 +0000547 {
Sean Callanan9b6898f2011-07-30 02:42:06 +0000548 result_name = value_name;
Sean Callanan6a925532011-01-13 08:53:35 +0000549 m_result_is_pointer = true;
550 break;
551 }
552
Sean Callanan9b6898f2011-07-30 02:42:06 +0000553 if (strstr(value_name, "$__lldb_expr_result") &&
554 !strstr(value_name, "GV"))
Sean Callananc04743d2010-09-28 21:13:03 +0000555 {
Sean Callanan9b6898f2011-07-30 02:42:06 +0000556 result_name = value_name;
Sean Callanan6a925532011-01-13 08:53:35 +0000557 m_result_is_pointer = false;
Sean Callananc04743d2010-09-28 21:13:03 +0000558 break;
559 }
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000560 }
561
562 if (!result_name)
563 {
564 if (log)
565 log->PutCString("Couldn't find result variable");
566
567 return true;
568 }
569
Sean Callananc04743d2010-09-28 21:13:03 +0000570 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +0000571 log->Printf("Result name: \"%s\"", result_name);
Sean Callananc04743d2010-09-28 21:13:03 +0000572
Sean Callananc0492742011-05-23 21:40:23 +0000573 Value *result_value = m_module->getNamedValue(result_name);
Sean Callanan82b74c82010-08-12 01:56:52 +0000574
575 if (!result_value)
576 {
577 if (log)
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000578 log->PutCString("Result variable had no data");
Sean Callanan6a925532011-01-13 08:53:35 +0000579
Sean Callanan97c924e2011-01-27 01:07:04 +0000580 if (m_error_stream)
581 m_error_stream->Printf("Internal error [IRForTarget]: Result variable's name (%s) exists, but not its definition\n", result_name);
582
Sean Callanan3c9c5eb2010-09-21 00:44:12 +0000583 return false;
Sean Callanan82b74c82010-08-12 01:56:52 +0000584 }
Sean Callanane8a59a82010-09-13 21:34:21 +0000585
Sean Callanan82b74c82010-08-12 01:56:52 +0000586 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +0000587 log->Printf("Found result in the IR: \"%s\"", PrintValue(result_value, false).c_str());
Sean Callanan82b74c82010-08-12 01:56:52 +0000588
589 GlobalVariable *result_global = dyn_cast<GlobalVariable>(result_value);
590
591 if (!result_global)
592 {
593 if (log)
594 log->PutCString("Result variable isn't a GlobalVariable");
Sean Callanan97c924e2011-01-27 01:07:04 +0000595
596 if (m_error_stream)
597 m_error_stream->Printf("Internal error [IRForTarget]: Result variable (%s) is defined, but is not a global variable\n", result_name);
598
Sean Callanan82b74c82010-08-12 01:56:52 +0000599 return false;
600 }
601
Sean Callananc0492742011-05-23 21:40:23 +0000602 clang::NamedDecl *result_decl = DeclForGlobal (result_global);
Sean Callanan696cf5f2011-05-07 01:06:41 +0000603 if (!result_decl)
Sean Callanan82b74c82010-08-12 01:56:52 +0000604 {
605 if (log)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000606 log->PutCString("Result variable doesn't have a corresponding Decl");
Sean Callanan82b74c82010-08-12 01:56:52 +0000607
Sean Callanan97c924e2011-01-27 01:07:04 +0000608 if (m_error_stream)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000609 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 +0000610
Sean Callanan82b74c82010-08-12 01:56:52 +0000611 return false;
612 }
Sean Callanan82b74c82010-08-12 01:56:52 +0000613
Sean Callanan696cf5f2011-05-07 01:06:41 +0000614 if (log)
Sean Callanan82b74c82010-08-12 01:56:52 +0000615 {
Sean Callanan696cf5f2011-05-07 01:06:41 +0000616 std::string decl_desc_str;
617 raw_string_ostream decl_desc_stream(decl_desc_str);
618 result_decl->print(decl_desc_stream);
619 decl_desc_stream.flush();
Sean Callanan82b74c82010-08-12 01:56:52 +0000620
Sean Callanan696cf5f2011-05-07 01:06:41 +0000621 log->Printf("Found result decl: \"%s\"", decl_desc_str.c_str());
Sean Callanan82b74c82010-08-12 01:56:52 +0000622 }
623
Sean Callanan696cf5f2011-05-07 01:06:41 +0000624 clang::VarDecl *result_var = dyn_cast<clang::VarDecl>(result_decl);
625 if (!result_var)
Sean Callanan82b74c82010-08-12 01:56:52 +0000626 {
627 if (log)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000628 log->PutCString("Result variable Decl isn't a VarDecl");
Sean Callanan97c924e2011-01-27 01:07:04 +0000629
630 if (m_error_stream)
Sean Callanan696cf5f2011-05-07 01:06:41 +0000631 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 +0000632
Sean Callanan82b74c82010-08-12 01:56:52 +0000633 return false;
634 }
Sean Callanan82b74c82010-08-12 01:56:52 +0000635
Sean Callanan82b74c82010-08-12 01:56:52 +0000636 // Get the next available result name from m_decl_map and create the persistent
637 // variable for it
Sean Callanan47dc4572011-09-15 02:13:07 +0000638
Sean Callanan696cf5f2011-05-07 01:06:41 +0000639 // If the result is an Lvalue, it is emitted as a pointer; see
640 // ASTResultSynthesizer::SynthesizeBodyResult.
Sean Callanan6a925532011-01-13 08:53:35 +0000641 if (m_result_is_pointer)
642 {
Sean Callanan696cf5f2011-05-07 01:06:41 +0000643 clang::QualType pointer_qual_type = result_var->getType();
Sean Callanand5b3c352011-01-27 04:42:51 +0000644 const clang::Type *pointer_type = pointer_qual_type.getTypePtr();
Sean Callanan6a925532011-01-13 08:53:35 +0000645
Sean Callanan21f2e192011-12-14 01:13:04 +0000646 const clang::PointerType *pointer_pointertype = pointer_type->getAs<clang::PointerType>();
647 const clang::ObjCObjectPointerType *pointer_objcobjpointertype = pointer_type->getAs<clang::ObjCObjectPointerType>();
Sean Callanan4fdf7952011-12-08 19:04:34 +0000648
649 if (pointer_pointertype)
650 {
651 clang::QualType element_qual_type = pointer_pointertype->getPointeeType();
652
653 m_result_type = lldb_private::TypeFromParser(element_qual_type.getAsOpaquePtr(),
654 &result_decl->getASTContext());
655 }
656 else if (pointer_objcobjpointertype)
657 {
658 clang::QualType element_qual_type = clang::QualType(pointer_objcobjpointertype->getObjectType(), 0);
659
660 m_result_type = lldb_private::TypeFromParser(element_qual_type.getAsOpaquePtr(),
661 &result_decl->getASTContext());
662 }
663 else
Sean Callanan6a925532011-01-13 08:53:35 +0000664 {
665 if (log)
666 log->PutCString("Expected result to have pointer type, but it did not");
Sean Callanan97c924e2011-01-27 01:07:04 +0000667
668 if (m_error_stream)
669 m_error_stream->Printf("Internal error [IRForTarget]: Lvalue result (%s) is not a pointer variable\n", result_name);
670
Sean Callanan6a925532011-01-13 08:53:35 +0000671 return false;
672 }
Sean Callanan6a925532011-01-13 08:53:35 +0000673 }
674 else
675 {
Sean Callanan47dc4572011-09-15 02:13:07 +0000676 m_result_type = lldb_private::TypeFromParser(result_var->getType().getAsOpaquePtr(),
Sean Callanan5a55c7a2011-11-18 03:28:09 +0000677 &result_decl->getASTContext());
678 }
679
680 if (m_result_type.GetClangTypeBitWidth() == 0)
681 {
682 lldb_private::StreamString type_desc_stream;
683 m_result_type.DumpTypeDescription(&type_desc_stream);
684
685 if (log)
686 log->Printf("Result type has size 0");
687
688 if (m_error_stream)
Sean Callananb6f9ee72011-12-21 23:44:05 +0000689 m_error_stream->Printf("Error [IRForTarget]: Size of result type '%s' couldn't be determined\n",
Sean Callanan5a55c7a2011-11-18 03:28:09 +0000690 type_desc_stream.GetData());
Sean Callananb6f9ee72011-12-21 23:44:05 +0000691 return false;
Sean Callanan6a925532011-01-13 08:53:35 +0000692 }
693
Sean Callanan696cf5f2011-05-07 01:06:41 +0000694 if (log)
695 {
696 lldb_private::StreamString type_desc_stream;
Sean Callanan47dc4572011-09-15 02:13:07 +0000697 m_result_type.DumpTypeDescription(&type_desc_stream);
Sean Callanan696cf5f2011-05-07 01:06:41 +0000698
Sean Callanan5a55c7a2011-11-18 03:28:09 +0000699 log->Printf("Result decl type: \"%s\"", type_desc_stream.GetData());
Sean Callanan696cf5f2011-05-07 01:06:41 +0000700 }
701
Sean Callanan6a925532011-01-13 08:53:35 +0000702 m_result_name = m_decl_map->GetPersistentResultName();
Sean Callanan82b74c82010-08-12 01:56:52 +0000703
704 if (log)
Sean Callanan5a55c7a2011-11-18 03:28:09 +0000705 log->Printf("Creating a new result global: \"%s\" with size 0x%x",
706 m_result_name.GetCString(),
707 m_result_type.GetClangTypeBitWidth() / 8);
Sean Callanan82b74c82010-08-12 01:56:52 +0000708
709 // Construct a new result global and set up its metadata
710
Sean Callananc0492742011-05-23 21:40:23 +0000711 GlobalVariable *new_result_global = new GlobalVariable((*m_module),
Sean Callanan82b74c82010-08-12 01:56:52 +0000712 result_global->getType()->getElementType(),
713 false, /* not constant */
714 GlobalValue::ExternalLinkage,
715 NULL, /* no initializer */
Sean Callanan6a925532011-01-13 08:53:35 +0000716 m_result_name.GetCString ());
Sean Callanan82b74c82010-08-12 01:56:52 +0000717
718 // It's too late in compilation to create a new VarDecl for this, but we don't
719 // need to. We point the metadata at the old VarDecl. This creates an odd
720 // anomaly: a variable with a Value whose name is something like $0 and a
Greg Clayton8de27c72010-10-15 22:48:33 +0000721 // Decl whose name is $__lldb_expr_result. This condition is handled in
Sean Callanan82b74c82010-08-12 01:56:52 +0000722 // ClangExpressionDeclMap::DoMaterialize, and the name of the variable is
723 // fixed up.
724
Sean Callananc0492742011-05-23 21:40:23 +0000725 ConstantInt *new_constant_int = ConstantInt::get(llvm::Type::getInt64Ty(m_module->getContext()),
Sean Callanan696cf5f2011-05-07 01:06:41 +0000726 reinterpret_cast<uint64_t>(result_decl),
Sean Callanan82b74c82010-08-12 01:56:52 +0000727 false);
728
729 llvm::Value* values[2];
730 values[0] = new_result_global;
731 values[1] = new_constant_int;
732
Sean Callanan0de254a2011-05-15 22:34:38 +0000733 ArrayRef<Value*> value_ref(values, 2);
734
Sean Callananc0492742011-05-23 21:40:23 +0000735 MDNode *persistent_global_md = MDNode::get(m_module->getContext(), value_ref);
736 NamedMDNode *named_metadata = m_module->getNamedMetadata("clang.global.decl.ptrs");
Sean Callanan82b74c82010-08-12 01:56:52 +0000737 named_metadata->addOperand(persistent_global_md);
738
739 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +0000740 log->Printf("Replacing \"%s\" with \"%s\"",
Sean Callanan2e2db532010-09-07 22:43:19 +0000741 PrintValue(result_global).c_str(),
Sean Callanan82b74c82010-08-12 01:56:52 +0000742 PrintValue(new_result_global).c_str());
Sean Callanan2e2db532010-09-07 22:43:19 +0000743
744 if (result_global->hasNUses(0))
745 {
746 // We need to synthesize a store for this variable, because otherwise
747 // there's nothing to put into its equivalent persistent variable.
Sean Callanan82b74c82010-08-12 01:56:52 +0000748
Greg Clayton8de27c72010-10-15 22:48:33 +0000749 BasicBlock &entry_block(llvm_function.getEntryBlock());
Sean Callanan2e2db532010-09-07 22:43:19 +0000750 Instruction *first_entry_instruction(entry_block.getFirstNonPHIOrDbg());
751
752 if (!first_entry_instruction)
753 return false;
754
755 if (!result_global->hasInitializer())
756 {
757 if (log)
758 log->Printf("Couldn't find initializer for unused variable");
Sean Callanan97c924e2011-01-27 01:07:04 +0000759
760 if (m_error_stream)
761 m_error_stream->Printf("Internal error [IRForTarget]: Result variable (%s) has no writes and no initializer\n", result_name);
762
Sean Callanan2e2db532010-09-07 22:43:19 +0000763 return false;
764 }
765
766 Constant *initializer = result_global->getInitializer();
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000767
768 // Here we write the initializer into a result variable assuming it
769 // can be computed statically.
770
771 if (!m_has_side_effects)
772 {
Sean Callanan557ccd62011-10-21 05:18:02 +0000773 //MaybeSetConstantResult (initializer,
774 // m_result_name,
775 // m_result_type);
Sean Callanan05a5a1b2010-12-16 03:17:46 +0000776 }
Sean Callanan2e2db532010-09-07 22:43:19 +0000777
Greg Clayton2c344ca2011-02-05 02:28:58 +0000778 StoreInst *synthesized_store = new StoreInst(initializer,
779 new_result_global,
780 first_entry_instruction);
Sean Callanan2e2db532010-09-07 22:43:19 +0000781
782 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +0000783 log->Printf("Synthesized result store \"%s\"\n", PrintValue(synthesized_store).c_str());
Sean Callanan2e2db532010-09-07 22:43:19 +0000784 }
785 else
786 {
Sean Callanan47dc4572011-09-15 02:13:07 +0000787 if (!m_has_side_effects && lldb_private::ClangASTContext::IsPointerType (m_result_type.GetOpaqueQualType()))
Sean Callanan696cf5f2011-05-07 01:06:41 +0000788 {
Sean Callanan557ccd62011-10-21 05:18:02 +0000789 //MaybeSetCastResult (m_result_type);
Sean Callanan696cf5f2011-05-07 01:06:41 +0000790 }
791
Sean Callanan2e2db532010-09-07 22:43:19 +0000792 result_global->replaceAllUsesWith(new_result_global);
793 }
Sean Callanan696cf5f2011-05-07 01:06:41 +0000794
795 if (!m_const_result)
Sean Callanan5a55c7a2011-11-18 03:28:09 +0000796 if (!m_decl_map->AddPersistentVariable(result_decl,
797 m_result_name,
798 m_result_type,
799 true,
800 m_result_is_pointer))
801 return false;
Sean Callanan2e2db532010-09-07 22:43:19 +0000802
Sean Callanan82b74c82010-08-12 01:56:52 +0000803 result_global->eraseFromParent();
804
805 return true;
806}
807
Johnny Chen58021cc2011-08-09 23:10:20 +0000808#if 0
Greg Clayton3c7feb42010-11-19 01:05:25 +0000809static void DebugUsers(lldb::LogSP &log, Value *value, uint8_t depth)
Sean Callanan6ba533e2010-11-17 23:00:36 +0000810{
811 if (!depth)
812 return;
813
814 depth--;
815
Johnny Chen58021cc2011-08-09 23:10:20 +0000816 if (log)
817 log->Printf(" <Begin %d users>", value->getNumUses());
Sean Callanan6ba533e2010-11-17 23:00:36 +0000818
Greg Clayton3c7feb42010-11-19 01:05:25 +0000819 for (Value::use_iterator ui = value->use_begin(), ue = value->use_end();
Sean Callanan6ba533e2010-11-17 23:00:36 +0000820 ui != ue;
821 ++ui)
822 {
Johnny Chen58021cc2011-08-09 23:10:20 +0000823 if (log)
824 log->Printf(" <Use %p> %s", *ui, PrintValue(*ui).c_str());
Sean Callanan6ba533e2010-11-17 23:00:36 +0000825 DebugUsers(log, *ui, depth);
826 }
827
Johnny Chen58021cc2011-08-09 23:10:20 +0000828 if (log)
829 log->Printf(" <End uses>");
Sean Callanan6ba533e2010-11-17 23:00:36 +0000830}
Johnny Chen58021cc2011-08-09 23:10:20 +0000831#endif
Sean Callanan6ba533e2010-11-17 23:00:36 +0000832
833bool
Sean Callananc0492742011-05-23 21:40:23 +0000834IRForTarget::RewriteObjCConstString (llvm::GlobalVariable *ns_str,
Greg Clayton3c7feb42010-11-19 01:05:25 +0000835 llvm::GlobalVariable *cstr,
836 Instruction *FirstEntryInstruction)
Sean Callanan6ba533e2010-11-17 23:00:36 +0000837{
838 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
839
Sean Callanan9b6898f2011-07-30 02:42:06 +0000840 Type *ns_str_ty = ns_str->getType();
Sean Callananc0492742011-05-23 21:40:23 +0000841
Sean Callanan9b6898f2011-07-30 02:42:06 +0000842 Type *i8_ptr_ty = Type::getInt8PtrTy(m_module->getContext());
843 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Micah Villmowce633582012-10-11 17:21:41 +0000844 (m_module->getPointerSize(ns_str->getType()->getAddressSpace())
845 == Module::Pointer64) ? 64 : 32);
Sean Callanan9b6898f2011-07-30 02:42:06 +0000846 Type *i32_ty = Type::getInt32Ty(m_module->getContext());
847 Type *i8_ty = Type::getInt8Ty(m_module->getContext());
Sean Callanan6ba533e2010-11-17 23:00:36 +0000848
849 if (!m_CFStringCreateWithBytes)
850 {
851 lldb::addr_t CFStringCreateWithBytes_addr;
852
853 static lldb_private::ConstString g_CFStringCreateWithBytes_str ("CFStringCreateWithBytes");
854
855 if (!m_decl_map->GetFunctionAddress (g_CFStringCreateWithBytes_str, CFStringCreateWithBytes_addr))
856 {
857 if (log)
858 log->PutCString("Couldn't find CFStringCreateWithBytes in the target");
859
Sean Callanan97c924e2011-01-27 01:07:04 +0000860 if (m_error_stream)
861 m_error_stream->Printf("Error [IRForTarget]: Rewriting an Objective-C constant string requires CFStringCreateWithBytes\n");
862
Sean Callanan6ba533e2010-11-17 23:00:36 +0000863 return false;
864 }
865
866 if (log)
867 log->Printf("Found CFStringCreateWithBytes at 0x%llx", CFStringCreateWithBytes_addr);
868
869 // Build the function type:
870 //
871 // CFStringRef CFStringCreateWithBytes (
872 // CFAllocatorRef alloc,
873 // const UInt8 *bytes,
874 // CFIndex numBytes,
875 // CFStringEncoding encoding,
876 // Boolean isExternalRepresentation
877 // );
878 //
879 // We make the following substitutions:
880 //
881 // CFStringRef -> i8*
882 // CFAllocatorRef -> i8*
883 // UInt8 * -> i8*
884 // CFIndex -> long (i32 or i64, as appropriate; we ask the module for its pointer size for now)
885 // CFStringEncoding -> i32
886 // Boolean -> i8
887
Sean Callanan9b6898f2011-07-30 02:42:06 +0000888 Type *arg_type_array[5];
889
890 arg_type_array[0] = i8_ptr_ty;
891 arg_type_array[1] = i8_ptr_ty;
892 arg_type_array[2] = intptr_ty;
893 arg_type_array[3] = i32_ty;
894 arg_type_array[4] = i8_ty;
895
896 ArrayRef<Type *> CFSCWB_arg_types(arg_type_array, 5);
897
Sean Callananc0492742011-05-23 21:40:23 +0000898 llvm::Type *CFSCWB_ty = FunctionType::get(ns_str_ty, CFSCWB_arg_types, false);
Sean Callanan6ba533e2010-11-17 23:00:36 +0000899
900 // Build the constant containing the pointer to the function
901 PointerType *CFSCWB_ptr_ty = PointerType::getUnqual(CFSCWB_ty);
902 Constant *CFSCWB_addr_int = ConstantInt::get(intptr_ty, CFStringCreateWithBytes_addr, false);
903 m_CFStringCreateWithBytes = ConstantExpr::getIntToPtr(CFSCWB_addr_int, CFSCWB_ptr_ty);
904 }
905
Sean Callanan39a30342012-02-09 03:22:41 +0000906 ConstantDataSequential *string_array = NULL;
Sean Callanan0ece5262011-02-10 22:17:53 +0000907
908 if (cstr)
Sean Callanan39a30342012-02-09 03:22:41 +0000909 string_array = dyn_cast<ConstantDataSequential>(cstr->getInitializer());
Sean Callanan9b6898f2011-07-30 02:42:06 +0000910
Sean Callanan6ba533e2010-11-17 23:00:36 +0000911 Constant *alloc_arg = Constant::getNullValue(i8_ptr_ty);
Sean Callanan0ece5262011-02-10 22:17:53 +0000912 Constant *bytes_arg = cstr ? ConstantExpr::getBitCast(cstr, i8_ptr_ty) : Constant::getNullValue(i8_ptr_ty);
Sean Callanan39a30342012-02-09 03:22:41 +0000913 Constant *numBytes_arg = ConstantInt::get(intptr_ty, cstr ? string_array->getNumElements() - 1 : 0, false);
Sean Callanan6ba533e2010-11-17 23:00:36 +0000914 Constant *encoding_arg = ConstantInt::get(i32_ty, 0x0600, false); /* 0x0600 is kCFStringEncodingASCII */
915 Constant *isExternal_arg = ConstantInt::get(i8_ty, 0x0, false); /* 0x0 is false */
916
Sean Callanan9b6898f2011-07-30 02:42:06 +0000917 Value *argument_array[5];
918
919 argument_array[0] = alloc_arg;
920 argument_array[1] = bytes_arg;
921 argument_array[2] = numBytes_arg;
922 argument_array[3] = encoding_arg;
923 argument_array[4] = isExternal_arg;
924
925 ArrayRef <Value *> CFSCWB_arguments(argument_array, 5);
Sean Callanan6ba533e2010-11-17 23:00:36 +0000926
927 CallInst *CFSCWB_call = CallInst::Create(m_CFStringCreateWithBytes,
Sean Callanan9b6898f2011-07-30 02:42:06 +0000928 CFSCWB_arguments,
Sean Callanan6ba533e2010-11-17 23:00:36 +0000929 "CFStringCreateWithBytes",
930 FirstEntryInstruction);
Sean Callananae71e302010-11-18 22:21:58 +0000931
Greg Clayton3c7feb42010-11-19 01:05:25 +0000932 if (!UnfoldConstant(ns_str, CFSCWB_call, FirstEntryInstruction))
Sean Callanan6ba533e2010-11-17 23:00:36 +0000933 {
934 if (log)
935 log->PutCString("Couldn't replace the NSString with the result of the call");
936
Sean Callanan97c924e2011-01-27 01:07:04 +0000937 if (m_error_stream)
938 m_error_stream->Printf("Error [IRForTarget]: Couldn't replace an Objective-C constant string with a dynamic string\n");
939
Sean Callanan6ba533e2010-11-17 23:00:36 +0000940 return false;
941 }
942
Greg Clayton3c7feb42010-11-19 01:05:25 +0000943 ns_str->eraseFromParent();
Sean Callanan6ba533e2010-11-17 23:00:36 +0000944
945 return true;
946}
947
948bool
Sean Callananc0492742011-05-23 21:40:23 +0000949IRForTarget::RewriteObjCConstStrings(Function &llvm_function)
Sean Callanan6ba533e2010-11-17 23:00:36 +0000950{
951 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
952
Sean Callananc0492742011-05-23 21:40:23 +0000953 ValueSymbolTable& value_symbol_table = m_module->getValueSymbolTable();
Sean Callanan6ba533e2010-11-17 23:00:36 +0000954
Greg Clayton3c7feb42010-11-19 01:05:25 +0000955 BasicBlock &entry_block(llvm_function.getEntryBlock());
Sean Callanan6ba533e2010-11-17 23:00:36 +0000956 Instruction *FirstEntryInstruction(entry_block.getFirstNonPHIOrDbg());
957
958 if (!FirstEntryInstruction)
959 {
960 if (log)
961 log->PutCString("Couldn't find first instruction for rewritten Objective-C strings");
962
Sean Callanan97c924e2011-01-27 01:07:04 +0000963 if (m_error_stream)
964 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't find the location for calls to CFStringCreateWithBytes\n");
965
Sean Callanan6ba533e2010-11-17 23:00:36 +0000966 return false;
967 }
968
969 for (ValueSymbolTable::iterator vi = value_symbol_table.begin(), ve = value_symbol_table.end();
970 vi != ve;
971 ++vi)
972 {
Sean Callanan9b6898f2011-07-30 02:42:06 +0000973 std::string value_name = vi->first().str();
974 const char *value_name_cstr = value_name.c_str();
975
976 if (strstr(value_name_cstr, "_unnamed_cfstring_"))
Sean Callanan6ba533e2010-11-17 23:00:36 +0000977 {
978 Value *nsstring_value = vi->second;
979
980 GlobalVariable *nsstring_global = dyn_cast<GlobalVariable>(nsstring_value);
981
982 if (!nsstring_global)
983 {
984 if (log)
985 log->PutCString("NSString variable is not a GlobalVariable");
Sean Callanan97c924e2011-01-27 01:07:04 +0000986
987 if (m_error_stream)
988 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string is not a global variable\n");
989
Sean Callanan6ba533e2010-11-17 23:00:36 +0000990 return false;
991 }
992
993 if (!nsstring_global->hasInitializer())
994 {
995 if (log)
996 log->PutCString("NSString variable does not have an initializer");
Sean Callanan97c924e2011-01-27 01:07:04 +0000997
998 if (m_error_stream)
999 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string does not have an initializer\n");
1000
Sean Callanan6ba533e2010-11-17 23:00:36 +00001001 return false;
1002 }
1003
1004 ConstantStruct *nsstring_struct = dyn_cast<ConstantStruct>(nsstring_global->getInitializer());
1005
1006 if (!nsstring_struct)
1007 {
1008 if (log)
1009 log->PutCString("NSString variable's initializer is not a ConstantStruct");
Sean Callanan97c924e2011-01-27 01:07:04 +00001010
1011 if (m_error_stream)
1012 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string is not a structure constant\n");
1013
Sean Callanan6ba533e2010-11-17 23:00:36 +00001014 return false;
1015 }
1016
1017 // We expect the following structure:
1018 //
1019 // struct {
1020 // int *isa;
1021 // int flags;
1022 // char *str;
1023 // long length;
1024 // };
1025
1026 if (nsstring_struct->getNumOperands() != 4)
1027 {
1028 if (log)
1029 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 +00001030
1031 if (m_error_stream)
1032 m_error_stream->Printf("Internal error [IRForTarget]: The struct for an Objective-C constant string is not as expected\n");
1033
Sean Callanan6ba533e2010-11-17 23:00:36 +00001034 return false;
1035 }
1036
1037 Constant *nsstring_member = nsstring_struct->getOperand(2);
1038
1039 if (!nsstring_member)
1040 {
1041 if (log)
1042 log->PutCString("NSString initializer's str element was empty");
Sean Callanan97c924e2011-01-27 01:07:04 +00001043
1044 if (m_error_stream)
1045 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string does not have a string initializer\n");
1046
Sean Callanan6ba533e2010-11-17 23:00:36 +00001047 return false;
1048 }
1049
1050 ConstantExpr *nsstring_expr = dyn_cast<ConstantExpr>(nsstring_member);
1051
1052 if (!nsstring_expr)
1053 {
1054 if (log)
1055 log->PutCString("NSString initializer's str element is not a ConstantExpr");
Sean Callanan97c924e2011-01-27 01:07:04 +00001056
1057 if (m_error_stream)
1058 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string's string initializer is not constant\n");
1059
Sean Callanan6ba533e2010-11-17 23:00:36 +00001060 return false;
1061 }
1062
1063 if (nsstring_expr->getOpcode() != Instruction::GetElementPtr)
1064 {
1065 if (log)
1066 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 +00001067
1068 if (m_error_stream)
1069 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string's string initializer is not an array\n");
1070
Sean Callanan6ba533e2010-11-17 23:00:36 +00001071 return false;
1072 }
1073
1074 Constant *nsstring_cstr = nsstring_expr->getOperand(0);
1075
1076 GlobalVariable *cstr_global = dyn_cast<GlobalVariable>(nsstring_cstr);
1077
1078 if (!cstr_global)
1079 {
1080 if (log)
1081 log->PutCString("NSString initializer's str element is not a GlobalVariable");
Sean Callanan97c924e2011-01-27 01:07:04 +00001082
1083 if (m_error_stream)
1084 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 +00001085
Sean Callanan6ba533e2010-11-17 23:00:36 +00001086 return false;
1087 }
1088
1089 if (!cstr_global->hasInitializer())
1090 {
1091 if (log)
1092 log->PutCString("NSString initializer's str element does not have an initializer");
Sean Callanan97c924e2011-01-27 01:07:04 +00001093
1094 if (m_error_stream)
1095 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string's string initializer doesn't point to initialized data\n");
1096
Sean Callanan6ba533e2010-11-17 23:00:36 +00001097 return false;
1098 }
Sean Callanan0ece5262011-02-10 22:17:53 +00001099
1100 /*
Sean Callanan6ba533e2010-11-17 23:00:36 +00001101 if (!cstr_array)
1102 {
1103 if (log)
1104 log->PutCString("NSString initializer's str element is not a ConstantArray");
Sean Callanan97c924e2011-01-27 01:07:04 +00001105
1106 if (m_error_stream)
1107 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string's string initializer doesn't point to an array\n");
1108
Sean Callanan6ba533e2010-11-17 23:00:36 +00001109 return false;
1110 }
1111
1112 if (!cstr_array->isCString())
1113 {
1114 if (log)
1115 log->PutCString("NSString initializer's str element is not a C string array");
Sean Callanan97c924e2011-01-27 01:07:04 +00001116
1117 if (m_error_stream)
1118 m_error_stream->Printf("Internal error [IRForTarget]: An Objective-C constant string's string initializer doesn't point to a C string\n");
1119
Sean Callanan6ba533e2010-11-17 23:00:36 +00001120 return false;
1121 }
Sean Callanan0ece5262011-02-10 22:17:53 +00001122 */
1123
Sean Callanan39a30342012-02-09 03:22:41 +00001124 ConstantDataArray *cstr_array = dyn_cast<ConstantDataArray>(cstr_global->getInitializer());
Sean Callanan6ba533e2010-11-17 23:00:36 +00001125
1126 if (log)
Sean Callanan0ece5262011-02-10 22:17:53 +00001127 {
1128 if (cstr_array)
Sean Callanan39a30342012-02-09 03:22:41 +00001129 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 +00001130 else
Sean Callanan9b6898f2011-07-30 02:42:06 +00001131 log->Printf("Found NSString constant %s, which contains \"\"", value_name_cstr);
Sean Callanan0ece5262011-02-10 22:17:53 +00001132 }
1133
1134 if (!cstr_array)
1135 cstr_global = NULL;
Sean Callanan6ba533e2010-11-17 23:00:36 +00001136
Sean Callananc0492742011-05-23 21:40:23 +00001137 if (!RewriteObjCConstString(nsstring_global, cstr_global, FirstEntryInstruction))
Sean Callanan97c924e2011-01-27 01:07:04 +00001138 {
Sean Callanan6ba533e2010-11-17 23:00:36 +00001139 if (log)
1140 log->PutCString("Error rewriting the constant string");
Sean Callanan97c924e2011-01-27 01:07:04 +00001141
1142 // We don't print an error message here because RewriteObjCConstString has done so for us.
1143
Sean Callanan6ba533e2010-11-17 23:00:36 +00001144 return false;
1145 }
Sean Callanan6ba533e2010-11-17 23:00:36 +00001146 }
1147 }
1148
1149 for (ValueSymbolTable::iterator vi = value_symbol_table.begin(), ve = value_symbol_table.end();
1150 vi != ve;
1151 ++vi)
1152 {
Sean Callanan9b6898f2011-07-30 02:42:06 +00001153 std::string value_name = vi->first().str();
1154 const char *value_name_cstr = value_name.c_str();
1155
1156 if (!strcmp(value_name_cstr, "__CFConstantStringClassReference"))
Sean Callanan6ba533e2010-11-17 23:00:36 +00001157 {
1158 GlobalVariable *gv = dyn_cast<GlobalVariable>(vi->second);
1159
1160 if (!gv)
1161 {
1162 if (log)
1163 log->PutCString("__CFConstantStringClassReference is not a global variable");
Sean Callanan97c924e2011-01-27 01:07:04 +00001164
1165 if (m_error_stream)
1166 m_error_stream->Printf("Internal error [IRForTarget]: Found a CFConstantStringClassReference, but it is not a global object\n");
1167
Sean Callanan6ba533e2010-11-17 23:00:36 +00001168 return false;
1169 }
1170
1171 gv->eraseFromParent();
1172
1173 break;
1174 }
1175 }
1176
1177 return true;
1178}
1179
Greg Clayton3c7feb42010-11-19 01:05:25 +00001180static bool IsObjCSelectorRef (Value *value)
Sean Callananf5857a02010-07-31 01:32:05 +00001181{
Greg Clayton3c7feb42010-11-19 01:05:25 +00001182 GlobalVariable *global_variable = dyn_cast<GlobalVariable>(value);
Sean Callananf5857a02010-07-31 01:32:05 +00001183
Greg Clayton3c7feb42010-11-19 01:05:25 +00001184 if (!global_variable || !global_variable->hasName() || !global_variable->getName().startswith("\01L_OBJC_SELECTOR_REFERENCES_"))
Sean Callananf5857a02010-07-31 01:32:05 +00001185 return false;
1186
1187 return true;
1188}
1189
Sean Callanan97c924e2011-01-27 01:07:04 +00001190// This function does not report errors; its callers are responsible.
Sean Callananf5857a02010-07-31 01:32:05 +00001191bool
Sean Callananc0492742011-05-23 21:40:23 +00001192IRForTarget::RewriteObjCSelector (Instruction* selector_load)
Sean Callananf5857a02010-07-31 01:32:05 +00001193{
Greg Claytone005f2c2010-11-06 01:53:30 +00001194 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callananf5857a02010-07-31 01:32:05 +00001195
1196 LoadInst *load = dyn_cast<LoadInst>(selector_load);
1197
1198 if (!load)
1199 return false;
1200
1201 // Unpack the message name from the selector. In LLVM IR, an objc_msgSend gets represented as
1202 //
1203 // %tmp = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_" ; <i8*>
1204 // %call = call i8* (i8*, i8*, ...)* @objc_msgSend(i8* %obj, i8* %tmp, ...) ; <i8*>
1205 //
1206 // where %obj is the object pointer and %tmp is the selector.
1207 //
Greg Clayton3c7feb42010-11-19 01:05:25 +00001208 // @"\01L_OBJC_SELECTOR_REFERENCES_" is a pointer to a character array called @"\01L_OBJC_llvm_moduleETH_VAR_NAllvm_moduleE_".
1209 // @"\01L_OBJC_llvm_moduleETH_VAR_NAllvm_moduleE_" contains the string.
Sean Callananf5857a02010-07-31 01:32:05 +00001210
1211 // Find the pointer's initializer (a ConstantExpr with opcode GetElementPtr) and get the string from its target
1212
1213 GlobalVariable *_objc_selector_references_ = dyn_cast<GlobalVariable>(load->getPointerOperand());
1214
1215 if (!_objc_selector_references_ || !_objc_selector_references_->hasInitializer())
1216 return false;
1217
1218 Constant *osr_initializer = _objc_selector_references_->getInitializer();
1219
1220 ConstantExpr *osr_initializer_expr = dyn_cast<ConstantExpr>(osr_initializer);
1221
1222 if (!osr_initializer_expr || osr_initializer_expr->getOpcode() != Instruction::GetElementPtr)
1223 return false;
1224
1225 Value *osr_initializer_base = osr_initializer_expr->getOperand(0);
1226
1227 if (!osr_initializer_base)
1228 return false;
1229
1230 // Find the string's initializer (a ConstantArray) and get the string from it
1231
1232 GlobalVariable *_objc_meth_var_name_ = dyn_cast<GlobalVariable>(osr_initializer_base);
1233
1234 if (!_objc_meth_var_name_ || !_objc_meth_var_name_->hasInitializer())
1235 return false;
1236
1237 Constant *omvn_initializer = _objc_meth_var_name_->getInitializer();
1238
Sean Callanan39a30342012-02-09 03:22:41 +00001239 ConstantDataArray *omvn_initializer_array = dyn_cast<ConstantDataArray>(omvn_initializer);
Sean Callananf5857a02010-07-31 01:32:05 +00001240
1241 if (!omvn_initializer_array->isString())
1242 return false;
1243
1244 std::string omvn_initializer_string = omvn_initializer_array->getAsString();
1245
1246 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00001247 log->Printf("Found Objective-C selector reference \"%s\"", omvn_initializer_string.c_str());
Sean Callananf5857a02010-07-31 01:32:05 +00001248
1249 // Construct a call to sel_registerName
1250
1251 if (!m_sel_registerName)
1252 {
Greg Claytonb5037af2010-11-15 01:47:11 +00001253 lldb::addr_t sel_registerName_addr;
Sean Callananf5857a02010-07-31 01:32:05 +00001254
Greg Clayton8de27c72010-10-15 22:48:33 +00001255 static lldb_private::ConstString g_sel_registerName_str ("sel_registerName");
Greg Claytonb5037af2010-11-15 01:47:11 +00001256 if (!m_decl_map->GetFunctionAddress (g_sel_registerName_str, sel_registerName_addr))
Sean Callananf5857a02010-07-31 01:32:05 +00001257 return false;
1258
Sean Callananc2c6f772010-10-26 00:31:56 +00001259 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00001260 log->Printf("Found sel_registerName at 0x%llx", sel_registerName_addr);
Sean Callananc2c6f772010-10-26 00:31:56 +00001261
Sean Callananf5857a02010-07-31 01:32:05 +00001262 // Build the function type: struct objc_selector *sel_registerName(uint8_t*)
1263
1264 // The below code would be "more correct," but in actuality what's required is uint8_t*
Sean Callananc0492742011-05-23 21:40:23 +00001265 //Type *sel_type = StructType::get(m_module->getContext());
Sean Callananf5857a02010-07-31 01:32:05 +00001266 //Type *sel_ptr_type = PointerType::getUnqual(sel_type);
Sean Callanan9b6898f2011-07-30 02:42:06 +00001267 Type *sel_ptr_type = Type::getInt8PtrTy(m_module->getContext());
Sean Callananf5857a02010-07-31 01:32:05 +00001268
Sean Callanan9b6898f2011-07-30 02:42:06 +00001269 Type *type_array[1];
1270
1271 type_array[0] = llvm::Type::getInt8PtrTy(m_module->getContext());
1272
1273 ArrayRef<Type *> srN_arg_types(type_array, 1);
1274
Sean Callananf5857a02010-07-31 01:32:05 +00001275 llvm::Type *srN_type = FunctionType::get(sel_ptr_type, srN_arg_types, false);
Micah Villmowce633582012-10-11 17:21:41 +00001276 unsigned AS = srN_type->isPointerTy() ? cast<PointerType>(srN_type)->getAddressSpace() : 0;
Sean Callananf5857a02010-07-31 01:32:05 +00001277
1278 // Build the constant containing the pointer to the function
Sean Callanan9b6898f2011-07-30 02:42:06 +00001279 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Micah Villmowce633582012-10-11 17:21:41 +00001280 (m_module->getPointerSize(AS) == Module::Pointer64) ? 64 : 32);
Sean Callananf5857a02010-07-31 01:32:05 +00001281 PointerType *srN_ptr_ty = PointerType::getUnqual(srN_type);
Greg Claytonb5037af2010-11-15 01:47:11 +00001282 Constant *srN_addr_int = ConstantInt::get(intptr_ty, sel_registerName_addr, false);
Sean Callananf5857a02010-07-31 01:32:05 +00001283 m_sel_registerName = ConstantExpr::getIntToPtr(srN_addr_int, srN_ptr_ty);
1284 }
1285
Sean Callanan9b6898f2011-07-30 02:42:06 +00001286 Value *argument_array[1];
1287
Sean Callananc0492742011-05-23 21:40:23 +00001288 Constant *omvn_pointer = ConstantExpr::getBitCast(_objc_meth_var_name_, Type::getInt8PtrTy(m_module->getContext()));
Sean Callananf5857a02010-07-31 01:32:05 +00001289
Sean Callanan9b6898f2011-07-30 02:42:06 +00001290 argument_array[0] = omvn_pointer;
Sean Callananf5857a02010-07-31 01:32:05 +00001291
Sean Callanan9b6898f2011-07-30 02:42:06 +00001292 ArrayRef<Value *> srN_arguments(argument_array, 1);
1293
Sean Callananf5857a02010-07-31 01:32:05 +00001294 CallInst *srN_call = CallInst::Create(m_sel_registerName,
Sean Callanan9b6898f2011-07-30 02:42:06 +00001295 srN_arguments,
Sean Callanan6ba533e2010-11-17 23:00:36 +00001296 "sel_registerName",
Sean Callananf5857a02010-07-31 01:32:05 +00001297 selector_load);
1298
1299 // Replace the load with the call in all users
1300
1301 selector_load->replaceAllUsesWith(srN_call);
1302
1303 selector_load->eraseFromParent();
1304
1305 return true;
1306}
1307
1308bool
Sean Callananc0492742011-05-23 21:40:23 +00001309IRForTarget::RewriteObjCSelectors (BasicBlock &basic_block)
Sean Callananf5857a02010-07-31 01:32:05 +00001310{
Greg Claytone005f2c2010-11-06 01:53:30 +00001311 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callananf5857a02010-07-31 01:32:05 +00001312
1313 BasicBlock::iterator ii;
1314
1315 typedef SmallVector <Instruction*, 2> InstrList;
1316 typedef InstrList::iterator InstrIterator;
1317
1318 InstrList selector_loads;
1319
Greg Clayton3c7feb42010-11-19 01:05:25 +00001320 for (ii = basic_block.begin();
1321 ii != basic_block.end();
Sean Callananf5857a02010-07-31 01:32:05 +00001322 ++ii)
1323 {
1324 Instruction &inst = *ii;
1325
1326 if (LoadInst *load = dyn_cast<LoadInst>(&inst))
Greg Clayton3c7feb42010-11-19 01:05:25 +00001327 if (IsObjCSelectorRef(load->getPointerOperand()))
Sean Callananf5857a02010-07-31 01:32:05 +00001328 selector_loads.push_back(&inst);
1329 }
1330
1331 InstrIterator iter;
1332
1333 for (iter = selector_loads.begin();
1334 iter != selector_loads.end();
1335 ++iter)
1336 {
Sean Callananc0492742011-05-23 21:40:23 +00001337 if (!RewriteObjCSelector(*iter))
Sean Callananf5857a02010-07-31 01:32:05 +00001338 {
Sean Callanan97c924e2011-01-27 01:07:04 +00001339 if (m_error_stream)
1340 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't change a static reference to an Objective-C selector to a dynamic reference\n");
1341
Enrico Granata4c3fb4b2011-07-19 18:03:25 +00001342 if (log)
Sean Callananf5857a02010-07-31 01:32:05 +00001343 log->PutCString("Couldn't rewrite a reference to an Objective-C selector");
Sean Callanan97c924e2011-01-27 01:07:04 +00001344
Sean Callananf5857a02010-07-31 01:32:05 +00001345 return false;
1346 }
1347 }
1348
1349 return true;
1350}
1351
Sean Callanan97c924e2011-01-27 01:07:04 +00001352// This function does not report errors; its callers are responsible.
Sean Callanana48fe162010-08-11 03:57:18 +00001353bool
Sean Callananc0492742011-05-23 21:40:23 +00001354IRForTarget::RewritePersistentAlloc (llvm::Instruction *persistent_alloc)
Sean Callanana48fe162010-08-11 03:57:18 +00001355{
Sean Callanan97678d12011-01-13 21:23:32 +00001356 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1357
Sean Callanana48fe162010-08-11 03:57:18 +00001358 AllocaInst *alloc = dyn_cast<AllocaInst>(persistent_alloc);
1359
1360 MDNode *alloc_md = alloc->getMetadata("clang.decl.ptr");
1361
1362 if (!alloc_md || !alloc_md->getNumOperands())
1363 return false;
1364
1365 ConstantInt *constant_int = dyn_cast<ConstantInt>(alloc_md->getOperand(0));
1366
1367 if (!constant_int)
1368 return false;
1369
1370 // We attempt to register this as a new persistent variable with the DeclMap.
1371
1372 uintptr_t ptr = constant_int->getZExtValue();
1373
Sean Callanan82b74c82010-08-12 01:56:52 +00001374 clang::VarDecl *decl = reinterpret_cast<clang::VarDecl *>(ptr);
Sean Callanana48fe162010-08-11 03:57:18 +00001375
Sean Callanan82b74c82010-08-12 01:56:52 +00001376 lldb_private::TypeFromParser result_decl_type (decl->getType().getAsOpaquePtr(),
1377 &decl->getASTContext());
1378
Greg Clayton8de27c72010-10-15 22:48:33 +00001379 StringRef decl_name (decl->getName());
1380 lldb_private::ConstString persistent_variable_name (decl_name.data(), decl_name.size());
Sean Callanan6a925532011-01-13 08:53:35 +00001381 if (!m_decl_map->AddPersistentVariable(decl, persistent_variable_name, result_decl_type, false, false))
Sean Callanana48fe162010-08-11 03:57:18 +00001382 return false;
1383
Sean Callananc0492742011-05-23 21:40:23 +00001384 GlobalVariable *persistent_global = new GlobalVariable((*m_module),
Sean Callanan97678d12011-01-13 21:23:32 +00001385 alloc->getType(),
Sean Callanana48fe162010-08-11 03:57:18 +00001386 false, /* not constant */
1387 GlobalValue::ExternalLinkage,
1388 NULL, /* no initializer */
1389 alloc->getName().str().c_str());
1390
1391 // What we're going to do here is make believe this was a regular old external
1392 // variable. That means we need to make the metadata valid.
1393
Sean Callanan2b03efe2012-07-04 01:26:26 +00001394 NamedMDNode *named_metadata = m_module->getOrInsertNamedMetadata("clang.global.decl.ptrs");
Sean Callanana48fe162010-08-11 03:57:18 +00001395
1396 llvm::Value* values[2];
1397 values[0] = persistent_global;
1398 values[1] = constant_int;
Sean Callanan0de254a2011-05-15 22:34:38 +00001399
1400 ArrayRef<llvm::Value*> value_ref(values, 2);
Sean Callanana48fe162010-08-11 03:57:18 +00001401
Sean Callananc0492742011-05-23 21:40:23 +00001402 MDNode *persistent_global_md = MDNode::get(m_module->getContext(), value_ref);
Sean Callanana48fe162010-08-11 03:57:18 +00001403 named_metadata->addOperand(persistent_global_md);
1404
Sean Callanan97678d12011-01-13 21:23:32 +00001405 // Now, since the variable is a pointer variable, we will drop in a load of that
1406 // pointer variable.
1407
1408 LoadInst *persistent_load = new LoadInst (persistent_global, "", alloc);
1409
1410 if (log)
1411 log->Printf("Replacing \"%s\" with \"%s\"",
1412 PrintValue(alloc).c_str(),
1413 PrintValue(persistent_load).c_str());
1414
1415 alloc->replaceAllUsesWith(persistent_load);
Sean Callanana48fe162010-08-11 03:57:18 +00001416 alloc->eraseFromParent();
1417
1418 return true;
1419}
1420
1421bool
Sean Callananc0492742011-05-23 21:40:23 +00001422IRForTarget::RewritePersistentAllocs(llvm::BasicBlock &basic_block)
Sean Callanana48fe162010-08-11 03:57:18 +00001423{
Sean Callanane8a59a82010-09-13 21:34:21 +00001424 if (!m_resolve_vars)
1425 return true;
1426
Greg Claytone005f2c2010-11-06 01:53:30 +00001427 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanana48fe162010-08-11 03:57:18 +00001428
1429 BasicBlock::iterator ii;
1430
1431 typedef SmallVector <Instruction*, 2> InstrList;
1432 typedef InstrList::iterator InstrIterator;
1433
1434 InstrList pvar_allocs;
1435
Greg Clayton3c7feb42010-11-19 01:05:25 +00001436 for (ii = basic_block.begin();
1437 ii != basic_block.end();
Sean Callanana48fe162010-08-11 03:57:18 +00001438 ++ii)
1439 {
1440 Instruction &inst = *ii;
1441
1442 if (AllocaInst *alloc = dyn_cast<AllocaInst>(&inst))
Sean Callanan237e4742011-01-21 22:30:25 +00001443 {
1444 llvm::StringRef alloc_name = alloc->getName();
1445
1446 if (alloc_name.startswith("$") &&
1447 !alloc_name.startswith("$__lldb"))
1448 {
1449 if (alloc_name.find_first_of("0123456789") == 1)
1450 {
1451 if (log)
1452 log->Printf("Rejecting a numeric persistent variable.");
1453
Sean Callanan97c924e2011-01-27 01:07:04 +00001454 if (m_error_stream)
1455 m_error_stream->Printf("Error [IRForTarget]: Names starting with $0, $1, ... are reserved for use as result names\n");
1456
Sean Callanan237e4742011-01-21 22:30:25 +00001457 return false;
1458 }
1459
Sean Callanana48fe162010-08-11 03:57:18 +00001460 pvar_allocs.push_back(alloc);
Sean Callanan237e4742011-01-21 22:30:25 +00001461 }
1462 }
Sean Callanana48fe162010-08-11 03:57:18 +00001463 }
1464
1465 InstrIterator iter;
1466
1467 for (iter = pvar_allocs.begin();
1468 iter != pvar_allocs.end();
1469 ++iter)
1470 {
Sean Callananc0492742011-05-23 21:40:23 +00001471 if (!RewritePersistentAlloc(*iter))
Sean Callanana48fe162010-08-11 03:57:18 +00001472 {
Sean Callanan97c924e2011-01-27 01:07:04 +00001473 if (m_error_stream)
1474 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't rewrite the creation of a persistent variable\n");
1475
Enrico Granata4c3fb4b2011-07-19 18:03:25 +00001476 if (log)
Sean Callanana48fe162010-08-11 03:57:18 +00001477 log->PutCString("Couldn't rewrite the creation of a persistent variable");
Sean Callanan97c924e2011-01-27 01:07:04 +00001478
Sean Callanana48fe162010-08-11 03:57:18 +00001479 return false;
1480 }
1481 }
1482
1483 return true;
1484}
1485
Sean Callananc7ca4662011-10-25 18:36:40 +00001486bool
1487IRForTarget::MaterializeInitializer (uint8_t *data, Constant *initializer)
1488{
1489 if (!initializer)
1490 return true;
1491
1492 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1493
1494 if (log && log->GetVerbose())
1495 log->Printf(" MaterializeInitializer(%p, %s)", data, PrintValue(initializer).c_str());
1496
1497 Type *initializer_type = initializer->getType();
1498
1499 if (ConstantInt *int_initializer = dyn_cast<ConstantInt>(initializer))
1500 {
1501 memcpy (data, int_initializer->getValue().getRawData(), m_target_data->getTypeStoreSize(initializer_type));
1502 return true;
1503 }
Sean Callanan39a30342012-02-09 03:22:41 +00001504 else if (ConstantDataArray *array_initializer = dyn_cast<ConstantDataArray>(initializer))
Sean Callananc7ca4662011-10-25 18:36:40 +00001505 {
1506 if (array_initializer->isString())
1507 {
1508 std::string array_initializer_string = array_initializer->getAsString();
1509 memcpy (data, array_initializer_string.c_str(), m_target_data->getTypeStoreSize(initializer_type));
1510 }
1511 else
1512 {
1513 ArrayType *array_initializer_type = array_initializer->getType();
1514 Type *array_element_type = array_initializer_type->getElementType();
1515
1516 size_t element_size = m_target_data->getTypeAllocSize(array_element_type);
1517
1518 for (int i = 0; i < array_initializer->getNumOperands(); ++i)
1519 {
Sean Callanan39a30342012-02-09 03:22:41 +00001520 Value *operand_value = array_initializer->getOperand(i);
1521 Constant *operand_constant = dyn_cast<Constant>(operand_value);
1522
1523 if (!operand_constant)
1524 return false;
1525
1526 if (!MaterializeInitializer(data + (i * element_size), operand_constant))
Sean Callananc7ca4662011-10-25 18:36:40 +00001527 return false;
1528 }
1529 }
1530 return true;
1531 }
1532 else if (ConstantStruct *struct_initializer = dyn_cast<ConstantStruct>(initializer))
1533 {
1534 StructType *struct_initializer_type = struct_initializer->getType();
1535 const StructLayout *struct_layout = m_target_data->getStructLayout(struct_initializer_type);
1536
1537 for (int i = 0;
1538 i < struct_initializer->getNumOperands();
1539 ++i)
1540 {
1541 if (!MaterializeInitializer(data + struct_layout->getElementOffset(i), struct_initializer->getOperand(i)))
1542 return false;
1543 }
1544 return true;
1545 }
1546 return false;
1547}
1548
1549bool
1550IRForTarget::MaterializeInternalVariable (GlobalVariable *global_variable)
1551{
1552 if (GlobalVariable::isExternalLinkage(global_variable->getLinkage()))
1553 return false;
1554
Sean Callananc41606f2011-11-15 19:13:54 +00001555 if (global_variable == m_reloc_placeholder)
1556 return true;
1557
Sean Callananc7ca4662011-10-25 18:36:40 +00001558 uint64_t offset = m_data_allocator->GetStream().GetSize();
1559
1560 llvm::Type *variable_type = global_variable->getType();
1561
1562 Constant *initializer = global_variable->getInitializer();
1563
1564 llvm::Type *initializer_type = initializer->getType();
1565
1566 size_t size = m_target_data->getTypeAllocSize(initializer_type);
Sean Callanan1d970e72012-06-08 22:20:41 +00001567 size_t align = m_target_data->getPrefTypeAlignment(initializer_type);
1568
1569 const size_t mask = (align - 1);
1570 uint64_t aligned_offset = (offset + mask) & ~mask;
1571 m_data_allocator->GetStream().PutNHex8(aligned_offset - offset, 0);
1572 offset = aligned_offset;
Sean Callananc7ca4662011-10-25 18:36:40 +00001573
1574 lldb_private::DataBufferHeap data(size, '\0');
1575
1576 if (initializer)
1577 if (!MaterializeInitializer(data.GetBytes(), initializer))
1578 return false;
1579
1580 m_data_allocator->GetStream().Write(data.GetBytes(), data.GetByteSize());
1581
1582 Constant *new_pointer = BuildRelocation(variable_type, offset);
1583
1584 global_variable->replaceAllUsesWith(new_pointer);
1585
1586 global_variable->eraseFromParent();
1587
1588 return true;
1589}
1590
Sean Callanan97c924e2011-01-27 01:07:04 +00001591// This function does not report errors; its callers are responsible.
Sean Callanan8bce6652010-07-13 21:41:46 +00001592bool
Sean Callananc0492742011-05-23 21:40:23 +00001593IRForTarget::MaybeHandleVariable (Value *llvm_value_ptr)
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001594{
Greg Claytone005f2c2010-11-06 01:53:30 +00001595 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan48443652010-12-02 19:47:57 +00001596
1597 if (log)
Sean Callananb9f09a62010-12-06 22:16:55 +00001598 log->Printf("MaybeHandleVariable (%s)", PrintValue(llvm_value_ptr).c_str());
Sean Callanan9a877432011-08-01 17:41:38 +00001599
Greg Clayton8de27c72010-10-15 22:48:33 +00001600 if (ConstantExpr *constant_expr = dyn_cast<ConstantExpr>(llvm_value_ptr))
Sean Callananbc2928a2010-08-03 00:23:29 +00001601 {
Sean Callanan93a4b1a2010-08-04 01:02:13 +00001602 switch (constant_expr->getOpcode())
Sean Callananbc2928a2010-08-03 00:23:29 +00001603 {
Sean Callanan93a4b1a2010-08-04 01:02:13 +00001604 default:
1605 break;
1606 case Instruction::GetElementPtr:
1607 case Instruction::BitCast:
Sean Callananbc2928a2010-08-03 00:23:29 +00001608 Value *s = constant_expr->getOperand(0);
Sean Callananc0492742011-05-23 21:40:23 +00001609 if (!MaybeHandleVariable(s))
Sean Callanan48443652010-12-02 19:47:57 +00001610 return false;
Sean Callananbc2928a2010-08-03 00:23:29 +00001611 }
1612 }
Sean Callananf921cf52010-12-03 19:51:05 +00001613 else if (GlobalVariable *global_variable = dyn_cast<GlobalVariable>(llvm_value_ptr))
Sean Callananf5857a02010-07-31 01:32:05 +00001614 {
Sean Callananc7ca4662011-10-25 18:36:40 +00001615 if (!GlobalValue::isExternalLinkage(global_variable->getLinkage()))
1616 return MaterializeInternalVariable(global_variable);
1617
Sean Callananc0492742011-05-23 21:40:23 +00001618 clang::NamedDecl *named_decl = DeclForGlobal(global_variable);
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001619
Sean Callananf5857a02010-07-31 01:32:05 +00001620 if (!named_decl)
1621 {
Greg Clayton3c7feb42010-11-19 01:05:25 +00001622 if (IsObjCSelectorRef(llvm_value_ptr))
Sean Callananf5857a02010-07-31 01:32:05 +00001623 return true;
1624
Sean Callanan7cd46742010-12-06 00:56:39 +00001625 if (!global_variable->hasExternalLinkage())
1626 return true;
1627
Sean Callananf5857a02010-07-31 01:32:05 +00001628 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00001629 log->Printf("Found global variable \"%s\" without metadata", global_variable->getName().str().c_str());
Sean Callanan97c924e2011-01-27 01:07:04 +00001630
Sean Callananf5857a02010-07-31 01:32:05 +00001631 return false;
1632 }
1633
Greg Clayton8de27c72010-10-15 22:48:33 +00001634 std::string name (named_decl->getName().str());
Sean Callanan810f22d2010-07-16 00:09:46 +00001635
Sean Callanan771131d2010-09-30 21:18:25 +00001636 void *opaque_type = NULL;
Sean Callananf328c9f2010-07-20 23:31:16 +00001637 clang::ASTContext *ast_context = NULL;
Sean Callanan810f22d2010-07-16 00:09:46 +00001638
1639 if (clang::ValueDecl *value_decl = dyn_cast<clang::ValueDecl>(named_decl))
Sean Callananf328c9f2010-07-20 23:31:16 +00001640 {
Sean Callanan771131d2010-09-30 21:18:25 +00001641 opaque_type = value_decl->getType().getAsOpaquePtr();
Sean Callananf328c9f2010-07-20 23:31:16 +00001642 ast_context = &value_decl->getASTContext();
1643 }
Sean Callanan810f22d2010-07-16 00:09:46 +00001644 else
Sean Callananf328c9f2010-07-20 23:31:16 +00001645 {
Sean Callanan810f22d2010-07-16 00:09:46 +00001646 return false;
Sean Callananf328c9f2010-07-20 23:31:16 +00001647 }
Sean Callanan771131d2010-09-30 21:18:25 +00001648
Sean Callanan6a925532011-01-13 08:53:35 +00001649 clang::QualType qual_type;
Sean Callanan58baaad2011-07-08 00:39:14 +00001650 const Type *value_type = NULL;
Sean Callanan6a925532011-01-13 08:53:35 +00001651
Sean Callanan97678d12011-01-13 21:23:32 +00001652 if (name[0] == '$')
Sean Callanan6a925532011-01-13 08:53:35 +00001653 {
1654 // The $__lldb_expr_result name indicates the the return value has allocated as
1655 // a static variable. Per the comment at ASTResultSynthesizer::SynthesizeBodyResult,
1656 // accesses to this static variable need to be redirected to the result of dereferencing
1657 // a pointer that is passed in as one of the arguments.
1658 //
1659 // Consequently, when reporting the size of the type, we report a pointer type pointing
1660 // to the type of $__lldb_expr_result, not the type itself.
Sean Callanan97678d12011-01-13 21:23:32 +00001661 //
1662 // We also do this for any user-declared persistent variables.
Sean Callananf328c9f2010-07-20 23:31:16 +00001663
Sean Callanan6a925532011-01-13 08:53:35 +00001664 qual_type = ast_context->getPointerType(clang::QualType::getFromOpaquePtr(opaque_type));
1665 value_type = PointerType::get(global_variable->getType(), 0);
1666 }
1667 else
1668 {
1669 qual_type = clang::QualType::getFromOpaquePtr(opaque_type);
1670 value_type = global_variable->getType();
1671 }
Sean Callanan771131d2010-09-30 21:18:25 +00001672
1673 size_t value_size = (ast_context->getTypeSize(qual_type) + 7) / 8;
1674 off_t value_alignment = (ast_context->getTypeAlign(qual_type) + 7) / 8;
Sean Callanan3aa7da52010-12-13 22:46:15 +00001675
Sean Callanan771131d2010-09-30 21:18:25 +00001676 if (log)
Jason Molenda7e5fa7f2011-09-20 21:44:10 +00001677 log->Printf("Type of \"%s\" is [clang \"%s\", llvm \"%s\"] [size %lu, align %lld]",
Sean Callanan771131d2010-09-30 21:18:25 +00001678 name.c_str(),
1679 qual_type.getAsString().c_str(),
1680 PrintType(value_type).c_str(),
1681 value_size,
1682 value_alignment);
Sean Callanan3aa7da52010-12-13 22:46:15 +00001683
Sean Callanan8bce6652010-07-13 21:41:46 +00001684
Sean Callanan8c127202010-08-23 23:09:38 +00001685 if (named_decl && !m_decl_map->AddValueToStruct(named_decl,
Greg Clayton8de27c72010-10-15 22:48:33 +00001686 lldb_private::ConstString (name.c_str()),
1687 llvm_value_ptr,
Sean Callananba992c52010-07-27 02:07:53 +00001688 value_size,
1689 value_alignment))
Sean Callanan9a877432011-08-01 17:41:38 +00001690 {
1691 if (!global_variable->hasExternalLinkage())
1692 return true;
1693 else
1694 return false;
1695 }
Sean Callanan8bce6652010-07-13 21:41:46 +00001696 }
Sean Callananf3143b72010-12-03 03:02:31 +00001697 else if (dyn_cast<llvm::Function>(llvm_value_ptr))
Sean Callanan48443652010-12-02 19:47:57 +00001698 {
1699 if (log)
1700 log->Printf("Function pointers aren't handled right now");
1701
1702 return false;
1703 }
Sean Callanan8bce6652010-07-13 21:41:46 +00001704
1705 return true;
1706}
1707
Sean Callanan97c924e2011-01-27 01:07:04 +00001708// This function does not report errors; its callers are responsible.
Sean Callanan8bce6652010-07-13 21:41:46 +00001709bool
Sean Callananc0492742011-05-23 21:40:23 +00001710IRForTarget::HandleSymbol (Value *symbol)
Sean Callanan81974962011-05-08 02:21:26 +00001711{
Sean Callananc7674af2011-01-17 23:42:46 +00001712 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1713
1714 lldb_private::ConstString name(symbol->getName().str().c_str());
1715
Sean Callanan21ef5bb2011-12-01 02:04:16 +00001716 lldb::addr_t symbol_addr = m_decl_map->GetSymbolAddress (name, lldb::eSymbolTypeAny);
Sean Callananc7674af2011-01-17 23:42:46 +00001717
Greg Claytoncbc07cf2011-06-23 04:25:29 +00001718 if (symbol_addr == LLDB_INVALID_ADDRESS)
Sean Callananc7674af2011-01-17 23:42:46 +00001719 {
1720 if (log)
1721 log->Printf ("Symbol \"%s\" had no address", name.GetCString());
1722
1723 return false;
1724 }
1725
1726 if (log)
1727 log->Printf("Found \"%s\" at 0x%llx", name.GetCString(), symbol_addr);
1728
Sean Callanan9b6898f2011-07-30 02:42:06 +00001729 Type *symbol_type = symbol->getType();
Micah Villmowce633582012-10-11 17:21:41 +00001730 unsigned AS = symbol_type->isPointerTy() ? cast<PointerType>(symbol_type)->getAddressSpace() : 0;
Sean Callanan9b6898f2011-07-30 02:42:06 +00001731 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Micah Villmowce633582012-10-11 17:21:41 +00001732 (m_module->getPointerSize(AS) == Module::Pointer64) ? 64 : 32);
Sean Callananc7674af2011-01-17 23:42:46 +00001733
1734 Constant *symbol_addr_int = ConstantInt::get(intptr_ty, symbol_addr, false);
1735
1736 Value *symbol_addr_ptr = ConstantExpr::getIntToPtr(symbol_addr_int, symbol_type);
1737
1738 if (log)
1739 log->Printf("Replacing %s with %s", PrintValue(symbol).c_str(), PrintValue(symbol_addr_ptr).c_str());
1740
1741 symbol->replaceAllUsesWith(symbol_addr_ptr);
1742
1743 return true;
1744}
1745
1746bool
Sean Callananc0492742011-05-23 21:40:23 +00001747IRForTarget::MaybeHandleCallArguments (CallInst *Old)
Sean Callanandc27aba2010-10-05 22:26:43 +00001748{
Sean Callanan48443652010-12-02 19:47:57 +00001749 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1750
1751 if (log)
1752 log->Printf("MaybeHandleCallArguments(%s)", PrintValue(Old).c_str());
Sean Callanandc27aba2010-10-05 22:26:43 +00001753
Sean Callanan6ba533e2010-11-17 23:00:36 +00001754 for (unsigned op_index = 0, num_ops = Old->getNumArgOperands();
Sean Callanandc27aba2010-10-05 22:26:43 +00001755 op_index < num_ops;
1756 ++op_index)
Sean Callananc0492742011-05-23 21:40:23 +00001757 if (!MaybeHandleVariable(Old->getArgOperand(op_index))) // conservatively believe that this is a store
Sean Callanan97c924e2011-01-27 01:07:04 +00001758 {
1759 if (m_error_stream)
1760 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't rewrite one of the arguments of a function call.\n");
1761
Sean Callanandc27aba2010-10-05 22:26:43 +00001762 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00001763 }
1764
Sean Callanandc27aba2010-10-05 22:26:43 +00001765 return true;
1766}
1767
1768bool
Sean Callanan9911d2f2011-11-01 23:38:03 +00001769IRForTarget::HandleObjCClass(Value *classlist_reference)
1770{
1771 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1772
1773 GlobalVariable *global_variable = dyn_cast<GlobalVariable>(classlist_reference);
1774
1775 if (!global_variable)
1776 return false;
1777
1778 Constant *initializer = global_variable->getInitializer();
1779
1780 if (!initializer)
1781 return false;
1782
1783 if (!initializer->hasName())
1784 return false;
1785
1786 StringRef name(initializer->getName());
1787 lldb_private::ConstString name_cstr(name.str().c_str());
Greg Clayton16d21872011-12-03 20:02:42 +00001788 lldb::addr_t class_ptr = m_decl_map->GetSymbolAddress(name_cstr, lldb::eSymbolTypeObjCClass);
Sean Callanan9911d2f2011-11-01 23:38:03 +00001789
1790 if (log)
1791 log->Printf("Found reference to Objective-C class %s (0x%llx)", name_cstr.AsCString(), (unsigned long long)class_ptr);
1792
1793 if (class_ptr == LLDB_INVALID_ADDRESS)
1794 return false;
1795
1796 if (global_variable->use_begin() == global_variable->use_end())
1797 return false;
1798
1799 LoadInst *load_instruction = NULL;
1800
1801 for (Value::use_iterator i = global_variable->use_begin(), e = global_variable->use_end();
1802 i != e;
1803 ++i)
1804 {
1805 if ((load_instruction = dyn_cast<LoadInst>(*i)))
1806 break;
1807 }
1808
1809 if (!load_instruction)
1810 return false;
1811
1812 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Micah Villmowce633582012-10-11 17:21:41 +00001813 (m_module->getPointerSize(global_variable->getAddressSpace())
1814 == Module::Pointer64) ? 64 : 32);
Sean Callanan9911d2f2011-11-01 23:38:03 +00001815
1816 Constant *class_addr = ConstantInt::get(intptr_ty, (uint64_t)class_ptr);
1817 Constant *class_bitcast = ConstantExpr::getIntToPtr(class_addr, load_instruction->getType());
1818
1819 load_instruction->replaceAllUsesWith(class_bitcast);
1820
1821 load_instruction->eraseFromParent();
1822
1823 return true;
1824}
1825
1826bool
Sean Callanan1850f942012-07-21 02:02:15 +00001827IRForTarget::RemoveCXAAtExit (BasicBlock &basic_block)
1828{
1829 BasicBlock::iterator ii;
1830
1831 std::vector<CallInst *> calls_to_remove;
1832
1833 for (ii = basic_block.begin();
1834 ii != basic_block.end();
1835 ++ii)
1836 {
1837 Instruction &inst = *ii;
1838
1839 CallInst *call = dyn_cast<CallInst>(&inst);
1840
1841 // MaybeHandleCallArguments handles error reporting; we are silent here
1842 if (!call)
1843 continue;
1844
1845 bool remove = false;
1846
1847 llvm::Function *func = call->getCalledFunction();
1848
1849 if (func && func->getName() == "__cxa_atexit")
1850 remove = true;
1851
1852 llvm::Value *val = call->getCalledValue();
1853
1854 if (val && val->getName() == "__cxa_atexit")
1855 remove = true;
1856
1857 if (remove)
1858 calls_to_remove.push_back(call);
1859 }
1860
1861 for (std::vector<CallInst *>::iterator ci = calls_to_remove.begin(), ce = calls_to_remove.end();
1862 ci != ce;
1863 ++ci)
1864 {
1865 (*ci)->eraseFromParent();
1866 }
1867
1868 return true;
1869}
1870
1871bool
Sean Callananc0492742011-05-23 21:40:23 +00001872IRForTarget::ResolveCalls(BasicBlock &basic_block)
Sean Callanan8bce6652010-07-13 21:41:46 +00001873{
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001874 /////////////////////////////////////////////////////////////////////////
1875 // Prepare the current basic block for execution in the remote process
1876 //
1877
Sean Callanan02fbafa2010-07-27 21:39:39 +00001878 BasicBlock::iterator ii;
Sean Callanan8bce6652010-07-13 21:41:46 +00001879
Greg Clayton3c7feb42010-11-19 01:05:25 +00001880 for (ii = basic_block.begin();
1881 ii != basic_block.end();
Sean Callanan8bce6652010-07-13 21:41:46 +00001882 ++ii)
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001883 {
Sean Callanan8bce6652010-07-13 21:41:46 +00001884 Instruction &inst = *ii;
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001885
Sean Callanan1d1b39c2010-11-08 00:31:32 +00001886 CallInst *call = dyn_cast<CallInst>(&inst);
Sean Callananba992c52010-07-27 02:07:53 +00001887
Sean Callanan97c924e2011-01-27 01:07:04 +00001888 // MaybeHandleCallArguments handles error reporting; we are silent here
Sean Callananc0492742011-05-23 21:40:23 +00001889 if (call && !MaybeHandleCallArguments(call))
Sean Callanan48443652010-12-02 19:47:57 +00001890 return false;
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00001891 }
1892
1893 return true;
1894}
1895
Sean Callanan1d1b39c2010-11-08 00:31:32 +00001896bool
Sean Callananc0492742011-05-23 21:40:23 +00001897IRForTarget::ResolveExternals (Function &llvm_function)
Sean Callanan1d1b39c2010-11-08 00:31:32 +00001898{
Sean Callananae71e302010-11-18 22:21:58 +00001899 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1900
Sean Callananc0492742011-05-23 21:40:23 +00001901 for (Module::global_iterator global = m_module->global_begin(), end = m_module->global_end();
Sean Callanan1d1b39c2010-11-08 00:31:32 +00001902 global != end;
1903 ++global)
1904 {
Sean Callanan1c17a7e2011-12-22 21:24:49 +00001905 if (!global)
1906 {
1907 if (m_error_stream)
1908 m_error_stream->Printf("Internal error [IRForTarget]: global variable is NULL");
1909
1910 return false;
1911 }
1912
1913 std::string global_name = (*global).getName().str();
1914
Greg Clayton3c7feb42010-11-19 01:05:25 +00001915 if (log)
1916 log->Printf("Examining %s, DeclForGlobalValue returns %p",
Sean Callanan1c17a7e2011-12-22 21:24:49 +00001917 global_name.c_str(),
Sean Callananc0492742011-05-23 21:40:23 +00001918 DeclForGlobal(global));
Sean Callanan9911d2f2011-11-01 23:38:03 +00001919
1920 if (global_name.find("OBJC_IVAR") == 0)
Sean Callananc7674af2011-01-17 23:42:46 +00001921 {
Sean Callananc0492742011-05-23 21:40:23 +00001922 if (!HandleSymbol(global))
Sean Callanan97c924e2011-01-27 01:07:04 +00001923 {
1924 if (m_error_stream)
Sean Callanan1c17a7e2011-12-22 21:24:49 +00001925 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 +00001926
Sean Callananc7674af2011-01-17 23:42:46 +00001927 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00001928 }
Sean Callananc7674af2011-01-17 23:42:46 +00001929 }
Sean Callanan9911d2f2011-11-01 23:38:03 +00001930 else if (global_name.find("OBJC_CLASSLIST_REFERENCES_$") != global_name.npos)
1931 {
1932 if (!HandleObjCClass(global))
1933 {
1934 if (m_error_stream)
1935 m_error_stream->Printf("Error [IRForTarget]: Couldn't resolve the class for an Objective-C static method call\n");
1936
1937 return false;
1938 }
1939 }
Sean Callananc0492742011-05-23 21:40:23 +00001940 else if (DeclForGlobal(global))
Sean Callananc7674af2011-01-17 23:42:46 +00001941 {
Sean Callananc0492742011-05-23 21:40:23 +00001942 if (!MaybeHandleVariable (global))
Sean Callanan97c924e2011-01-27 01:07:04 +00001943 {
1944 if (m_error_stream)
Sean Callanan1c17a7e2011-12-22 21:24:49 +00001945 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 +00001946
Sean Callananc7674af2011-01-17 23:42:46 +00001947 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00001948 }
Sean Callananc7674af2011-01-17 23:42:46 +00001949 }
Sean Callanan1d1b39c2010-11-08 00:31:32 +00001950 }
1951
1952 return true;
1953}
1954
Sean Callananc0492742011-05-23 21:40:23 +00001955bool
1956IRForTarget::ReplaceStrings ()
1957{
1958 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
1959
1960 if (!m_data_allocator)
1961 return true; // hope for the best; some clients may not want static allocation!
1962
1963 typedef std::map <GlobalVariable *, size_t> OffsetsTy;
1964
1965 OffsetsTy offsets;
1966
1967 for (Module::global_iterator gi = m_module->global_begin(), ge = m_module->global_end();
1968 gi != ge;
1969 ++gi)
1970 {
1971 GlobalVariable *gv = gi;
1972
1973 if (!gv->hasInitializer())
1974 continue;
1975
1976 Constant *gc = gv->getInitializer();
1977
Sean Callanan1b3d1df2011-08-10 21:05:52 +00001978 std::string str;
Sean Callananc0492742011-05-23 21:40:23 +00001979
Sean Callanan1b3d1df2011-08-10 21:05:52 +00001980 if (gc->isNullValue())
1981 {
1982 Type *gc_type = gc->getType();
1983
1984 ArrayType *gc_array_type = dyn_cast<ArrayType>(gc_type);
1985
1986 if (!gc_array_type)
1987 continue;
1988
1989 Type *gc_element_type = gc_array_type->getElementType();
1990
1991 IntegerType *gc_integer_type = dyn_cast<IntegerType>(gc_element_type);
1992
1993 if (gc_integer_type->getBitWidth() != 8)
1994 continue;
1995
1996 str = "";
1997 }
1998 else
1999 {
Sean Callanan39a30342012-02-09 03:22:41 +00002000 ConstantDataArray *gc_array = dyn_cast<ConstantDataArray>(gc);
Sean Callanan1b3d1df2011-08-10 21:05:52 +00002001
2002 if (!gc_array)
2003 continue;
Sean Callananc0492742011-05-23 21:40:23 +00002004
Sean Callanan1b3d1df2011-08-10 21:05:52 +00002005 if (!gc_array->isCString())
2006 continue;
Sean Callananc0492742011-05-23 21:40:23 +00002007
Sean Callanan1b3d1df2011-08-10 21:05:52 +00002008 if (log)
2009 log->Printf("Found a GlobalVariable with string initializer %s", PrintValue(gc).c_str());
Sean Callananc0492742011-05-23 21:40:23 +00002010
Sean Callanan1b3d1df2011-08-10 21:05:52 +00002011 str = gc_array->getAsString();
2012 }
2013
Sean Callananc0492742011-05-23 21:40:23 +00002014 offsets[gv] = m_data_allocator->GetStream().GetSize();
2015
2016 m_data_allocator->GetStream().Write(str.c_str(), str.length() + 1);
2017 }
2018
Sean Callanan9b6898f2011-07-30 02:42:06 +00002019 Type *char_ptr_ty = Type::getInt8PtrTy(m_module->getContext());
Sean Callananc0492742011-05-23 21:40:23 +00002020
2021 for (OffsetsTy::iterator oi = offsets.begin(), oe = offsets.end();
2022 oi != oe;
2023 ++oi)
2024 {
2025 GlobalVariable *gv = oi->first;
2026 size_t offset = oi->second;
2027
2028 Constant *new_initializer = BuildRelocation(char_ptr_ty, offset);
2029
2030 if (log)
2031 log->Printf("Replacing GV %s with %s", PrintValue(gv).c_str(), PrintValue(new_initializer).c_str());
2032
2033 for (GlobalVariable::use_iterator ui = gv->use_begin(), ue = gv->use_end();
2034 ui != ue;
2035 ++ui)
2036 {
2037 if (log)
2038 log->Printf("Found use %s", PrintValue(*ui).c_str());
2039
2040 ConstantExpr *const_expr = dyn_cast<ConstantExpr>(*ui);
2041 StoreInst *store_inst = dyn_cast<StoreInst>(*ui);
2042
2043 if (const_expr)
2044 {
2045 if (const_expr->getOpcode() != Instruction::GetElementPtr)
2046 {
2047 if (log)
2048 log->Printf("Use (%s) of string variable is not a GetElementPtr constant", PrintValue(const_expr).c_str());
2049
2050 return false;
2051 }
2052
Sean Callanan1b3d1df2011-08-10 21:05:52 +00002053 Constant *bit_cast = ConstantExpr::getBitCast(new_initializer, const_expr->getOperand(0)->getType());
2054 Constant *new_gep = const_expr->getWithOperandReplaced(0, bit_cast);
2055
2056 const_expr->replaceAllUsesWith(new_gep);
Sean Callananc0492742011-05-23 21:40:23 +00002057 }
2058 else if (store_inst)
2059 {
2060 Constant *bit_cast = ConstantExpr::getBitCast(new_initializer, store_inst->getValueOperand()->getType());
2061
2062 store_inst->setOperand(0, bit_cast);
2063 }
2064 else
2065 {
2066 if (log)
2067 log->Printf("Use (%s) of string variable is neither a constant nor a store", PrintValue(const_expr).c_str());
2068
2069 return false;
2070 }
2071 }
2072
2073 gv->eraseFromParent();
2074 }
2075
2076 return true;
2077}
2078
2079bool
2080IRForTarget::ReplaceStaticLiterals (llvm::BasicBlock &basic_block)
2081{
2082 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
2083
2084 if (!m_data_allocator)
2085 return true;
2086
2087 typedef SmallVector <Value*, 2> ConstantList;
2088 typedef SmallVector <llvm::Instruction*, 2> UserList;
2089 typedef ConstantList::iterator ConstantIterator;
2090 typedef UserList::iterator UserIterator;
2091
2092 ConstantList static_constants;
2093 UserList static_users;
2094
2095 for (BasicBlock::iterator ii = basic_block.begin(), ie = basic_block.end();
2096 ii != ie;
2097 ++ii)
2098 {
2099 llvm::Instruction &inst = *ii;
2100
2101 for (Instruction::op_iterator oi = inst.op_begin(), oe = inst.op_end();
2102 oi != oe;
2103 ++oi)
2104 {
2105 Value *operand_val = oi->get();
2106
2107 ConstantFP *operand_constant_fp = dyn_cast<ConstantFP>(operand_val);
2108
Sean Callanan26c05d92012-04-26 20:51:20 +00002109 if (operand_constant_fp/* && operand_constant_fp->getType()->isX86_FP80Ty()*/)
Sean Callananc0492742011-05-23 21:40:23 +00002110 {
2111 static_constants.push_back(operand_val);
2112 static_users.push_back(ii);
2113 }
2114 }
2115 }
2116
2117 ConstantIterator constant_iter;
2118 UserIterator user_iter;
Greg Clayton54b38412011-05-24 23:06:02 +00002119
Sean Callananc0492742011-05-23 21:40:23 +00002120 for (constant_iter = static_constants.begin(), user_iter = static_users.begin();
2121 constant_iter != static_constants.end();
2122 ++constant_iter, ++user_iter)
2123 {
2124 Value *operand_val = *constant_iter;
2125 llvm::Instruction *inst = *user_iter;
2126
2127 ConstantFP *operand_constant_fp = dyn_cast<ConstantFP>(operand_val);
Sean Callanan1d970e72012-06-08 22:20:41 +00002128 Type *operand_type = operand_constant_fp->getType();
Sean Callananc0492742011-05-23 21:40:23 +00002129
2130 if (operand_constant_fp)
2131 {
2132 APFloat operand_apfloat = operand_constant_fp->getValueAPF();
2133 APInt operand_apint = operand_apfloat.bitcastToAPInt();
2134
2135 const uint8_t* operand_raw_data = (const uint8_t*)operand_apint.getRawData();
2136 size_t operand_data_size = operand_apint.getBitWidth() / 8;
2137
2138 if (log)
2139 {
2140 std::string s;
2141 raw_string_ostream ss(s);
2142 for (size_t index = 0;
2143 index < operand_data_size;
2144 ++index)
2145 {
2146 ss << (uint32_t)operand_raw_data[index];
2147 ss << " ";
2148 }
2149 ss.flush();
2150
Jason Molenda7e5fa7f2011-09-20 21:44:10 +00002151 log->Printf("Found ConstantFP with size %lu and raw data %s", operand_data_size, s.c_str());
Sean Callananc0492742011-05-23 21:40:23 +00002152 }
2153
2154 lldb_private::DataBufferHeap data(operand_data_size, 0);
2155
2156 if (lldb::endian::InlHostByteOrder() != m_data_allocator->GetStream().GetByteOrder())
2157 {
2158 uint8_t *data_bytes = data.GetBytes();
2159
2160 for (size_t index = 0;
2161 index < operand_data_size;
2162 ++index)
2163 {
2164 data_bytes[index] = operand_raw_data[operand_data_size - (1 + index)];
2165 }
2166 }
2167 else
2168 {
2169 memcpy(data.GetBytes(), operand_raw_data, operand_data_size);
2170 }
2171
2172 uint64_t offset = m_data_allocator->GetStream().GetSize();
2173
Sean Callanan1d970e72012-06-08 22:20:41 +00002174 size_t align = m_target_data->getPrefTypeAlignment(operand_type);
2175
2176 const size_t mask = (align - 1);
2177 uint64_t aligned_offset = (offset + mask) & ~mask;
2178 m_data_allocator->GetStream().PutNHex8(aligned_offset - offset, 0);
2179 offset = aligned_offset;
2180
Sean Callananc0492742011-05-23 21:40:23 +00002181 m_data_allocator->GetStream().Write(data.GetBytes(), operand_data_size);
2182
Sean Callanan9b6898f2011-07-30 02:42:06 +00002183 llvm::Type *fp_ptr_ty = operand_constant_fp->getType()->getPointerTo();
Sean Callananc0492742011-05-23 21:40:23 +00002184
2185 Constant *new_pointer = BuildRelocation(fp_ptr_ty, offset);
2186
2187 llvm::LoadInst *fp_load = new llvm::LoadInst(new_pointer, "fp_load", inst);
2188
2189 operand_constant_fp->replaceAllUsesWith(fp_load);
2190 }
2191 }
2192
2193 return true;
2194}
2195
Sean Callanan02fbafa2010-07-27 21:39:39 +00002196static bool isGuardVariableRef(Value *V)
Sean Callanan45839272010-07-24 01:37:44 +00002197{
Sean Callanan58baaad2011-07-08 00:39:14 +00002198 Constant *Old = NULL;
Sean Callanan45839272010-07-24 01:37:44 +00002199
Sean Callanan6ba533e2010-11-17 23:00:36 +00002200 if (!(Old = dyn_cast<Constant>(V)))
Sean Callanan45839272010-07-24 01:37:44 +00002201 return false;
2202
Sean Callanan58baaad2011-07-08 00:39:14 +00002203 ConstantExpr *CE = NULL;
Sean Callanan47a5c4c2010-09-23 03:01:22 +00002204
2205 if ((CE = dyn_cast<ConstantExpr>(V)))
2206 {
2207 if (CE->getOpcode() != Instruction::BitCast)
2208 return false;
2209
Sean Callanan6ba533e2010-11-17 23:00:36 +00002210 Old = CE->getOperand(0);
Sean Callanan47a5c4c2010-09-23 03:01:22 +00002211 }
2212
Sean Callanan6ba533e2010-11-17 23:00:36 +00002213 GlobalVariable *GV = dyn_cast<GlobalVariable>(Old);
Sean Callanan45839272010-07-24 01:37:44 +00002214
2215 if (!GV || !GV->hasName() || !GV->getName().startswith("_ZGV"))
2216 return false;
2217
2218 return true;
2219}
2220
Sean Callananc0492742011-05-23 21:40:23 +00002221void
2222IRForTarget::TurnGuardLoadIntoZero(llvm::Instruction* guard_load)
Sean Callanan45839272010-07-24 01:37:44 +00002223{
Sean Callananc0492742011-05-23 21:40:23 +00002224 Constant* zero(ConstantInt::get(Type::getInt8Ty(m_module->getContext()), 0, true));
Sean Callanan45839272010-07-24 01:37:44 +00002225
2226 Value::use_iterator ui;
2227
2228 for (ui = guard_load->use_begin();
2229 ui != guard_load->use_end();
2230 ++ui)
Sean Callananb5b749c2010-07-27 01:17:28 +00002231 {
Greg Clayton6e713402010-07-30 20:30:44 +00002232 if (isa<Constant>(*ui))
Sean Callananb5b749c2010-07-27 01:17:28 +00002233 {
2234 // do nothing for the moment
2235 }
2236 else
2237 {
2238 ui->replaceUsesOfWith(guard_load, zero);
2239 }
2240 }
Sean Callanan45839272010-07-24 01:37:44 +00002241
2242 guard_load->eraseFromParent();
2243}
2244
2245static void ExciseGuardStore(Instruction* guard_store)
2246{
2247 guard_store->eraseFromParent();
2248}
2249
2250bool
Sean Callananc0492742011-05-23 21:40:23 +00002251IRForTarget::RemoveGuards(BasicBlock &basic_block)
Sean Callanan45839272010-07-24 01:37:44 +00002252{
2253 ///////////////////////////////////////////////////////
2254 // Eliminate any reference to guard variables found.
2255 //
2256
Sean Callanan02fbafa2010-07-27 21:39:39 +00002257 BasicBlock::iterator ii;
Sean Callanan45839272010-07-24 01:37:44 +00002258
Sean Callanan02fbafa2010-07-27 21:39:39 +00002259 typedef SmallVector <Instruction*, 2> InstrList;
Sean Callanan45839272010-07-24 01:37:44 +00002260 typedef InstrList::iterator InstrIterator;
2261
2262 InstrList guard_loads;
2263 InstrList guard_stores;
2264
Greg Clayton3c7feb42010-11-19 01:05:25 +00002265 for (ii = basic_block.begin();
2266 ii != basic_block.end();
Sean Callanan45839272010-07-24 01:37:44 +00002267 ++ii)
2268 {
2269 Instruction &inst = *ii;
2270
2271 if (LoadInst *load = dyn_cast<LoadInst>(&inst))
2272 if (isGuardVariableRef(load->getPointerOperand()))
2273 guard_loads.push_back(&inst);
2274
2275 if (StoreInst *store = dyn_cast<StoreInst>(&inst))
2276 if (isGuardVariableRef(store->getPointerOperand()))
2277 guard_stores.push_back(&inst);
2278 }
2279
2280 InstrIterator iter;
2281
2282 for (iter = guard_loads.begin();
2283 iter != guard_loads.end();
2284 ++iter)
Sean Callananc0492742011-05-23 21:40:23 +00002285 TurnGuardLoadIntoZero(*iter);
Sean Callanan45839272010-07-24 01:37:44 +00002286
2287 for (iter = guard_stores.begin();
2288 iter != guard_stores.end();
2289 ++iter)
2290 ExciseGuardStore(*iter);
2291
2292 return true;
2293}
2294
Sean Callanan97c924e2011-01-27 01:07:04 +00002295// This function does not report errors; its callers are responsible.
Sean Callanan6ba533e2010-11-17 23:00:36 +00002296bool
Greg Clayton3c7feb42010-11-19 01:05:25 +00002297IRForTarget::UnfoldConstant(Constant *old_constant, Value *new_constant, Instruction *first_entry_inst)
Sean Callananbafd6852010-07-14 23:40:29 +00002298{
Greg Claytone005f2c2010-11-06 01:53:30 +00002299 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callananbafd6852010-07-14 23:40:29 +00002300
2301 Value::use_iterator ui;
2302
Sean Callanana48fe162010-08-11 03:57:18 +00002303 SmallVector<User*, 16> users;
2304
2305 // We do this because the use list might change, invalidating our iterator.
2306 // Much better to keep a work list ourselves.
Greg Clayton3c7feb42010-11-19 01:05:25 +00002307 for (ui = old_constant->use_begin();
2308 ui != old_constant->use_end();
Sean Callananbafd6852010-07-14 23:40:29 +00002309 ++ui)
Sean Callanana48fe162010-08-11 03:57:18 +00002310 users.push_back(*ui);
Sean Callananbafd6852010-07-14 23:40:29 +00002311
Johnny Chen2bc9eb32011-07-19 19:48:13 +00002312 for (size_t i = 0;
Sean Callanana48fe162010-08-11 03:57:18 +00002313 i < users.size();
2314 ++i)
2315 {
2316 User *user = users[i];
2317
Sean Callananbafd6852010-07-14 23:40:29 +00002318 if (Constant *constant = dyn_cast<Constant>(user))
2319 {
2320 // synthesize a new non-constant equivalent of the constant
2321
2322 if (ConstantExpr *constant_expr = dyn_cast<ConstantExpr>(constant))
2323 {
2324 switch (constant_expr->getOpcode())
2325 {
2326 default:
2327 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00002328 log->Printf("Unhandled constant expression type: \"%s\"", PrintValue(constant_expr).c_str());
Sean Callananbafd6852010-07-14 23:40:29 +00002329 return false;
2330 case Instruction::BitCast:
2331 {
2332 // UnaryExpr
2333 // OperandList[0] is value
2334
2335 Value *s = constant_expr->getOperand(0);
2336
Greg Clayton3c7feb42010-11-19 01:05:25 +00002337 if (s == old_constant)
2338 s = new_constant;
Sean Callananbafd6852010-07-14 23:40:29 +00002339
Sean Callananc0492742011-05-23 21:40:23 +00002340 BitCastInst *bit_cast(new BitCastInst(s, constant_expr->getType(), "", first_entry_inst));
Sean Callananbafd6852010-07-14 23:40:29 +00002341
Greg Clayton3c7feb42010-11-19 01:05:25 +00002342 UnfoldConstant(constant_expr, bit_cast, first_entry_inst);
Sean Callananbafd6852010-07-14 23:40:29 +00002343 }
2344 break;
2345 case Instruction::GetElementPtr:
2346 {
2347 // GetElementPtrConstantExpr
2348 // OperandList[0] is base
2349 // OperandList[1]... are indices
2350
2351 Value *ptr = constant_expr->getOperand(0);
2352
Greg Clayton3c7feb42010-11-19 01:05:25 +00002353 if (ptr == old_constant)
2354 ptr = new_constant;
Sean Callanan9b6898f2011-07-30 02:42:06 +00002355
2356 std::vector<Value*> index_vector;
Sean Callananbafd6852010-07-14 23:40:29 +00002357
2358 unsigned operand_index;
2359 unsigned num_operands = constant_expr->getNumOperands();
2360
2361 for (operand_index = 1;
2362 operand_index < num_operands;
2363 ++operand_index)
2364 {
2365 Value *operand = constant_expr->getOperand(operand_index);
2366
Greg Clayton3c7feb42010-11-19 01:05:25 +00002367 if (operand == old_constant)
2368 operand = new_constant;
Sean Callananbafd6852010-07-14 23:40:29 +00002369
Sean Callanan9b6898f2011-07-30 02:42:06 +00002370 index_vector.push_back(operand);
Sean Callananbafd6852010-07-14 23:40:29 +00002371 }
2372
Sean Callanan9b6898f2011-07-30 02:42:06 +00002373 ArrayRef <Value*> indices(index_vector);
2374
2375 GetElementPtrInst *get_element_ptr(GetElementPtrInst::Create(ptr, indices, "", first_entry_inst));
Sean Callananbafd6852010-07-14 23:40:29 +00002376
Greg Clayton3c7feb42010-11-19 01:05:25 +00002377 UnfoldConstant(constant_expr, get_element_ptr, first_entry_inst);
Sean Callananbafd6852010-07-14 23:40:29 +00002378 }
2379 break;
2380 }
2381 }
2382 else
2383 {
2384 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00002385 log->Printf("Unhandled constant type: \"%s\"", PrintValue(constant).c_str());
Sean Callananbafd6852010-07-14 23:40:29 +00002386 return false;
2387 }
2388 }
2389 else
2390 {
2391 // simple fall-through case for non-constants
Greg Clayton3c7feb42010-11-19 01:05:25 +00002392 user->replaceUsesOfWith(old_constant, new_constant);
Sean Callananbafd6852010-07-14 23:40:29 +00002393 }
2394 }
2395
2396 return true;
2397}
2398
Sean Callanan8bce6652010-07-13 21:41:46 +00002399bool
Sean Callananc0492742011-05-23 21:40:23 +00002400IRForTarget::ReplaceVariables (Function &llvm_function)
Sean Callanan8bce6652010-07-13 21:41:46 +00002401{
Sean Callanane8a59a82010-09-13 21:34:21 +00002402 if (!m_resolve_vars)
2403 return true;
2404
Greg Claytone005f2c2010-11-06 01:53:30 +00002405 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan8bce6652010-07-13 21:41:46 +00002406
2407 m_decl_map->DoStructLayout();
2408
2409 if (log)
2410 log->Printf("Element arrangement:");
2411
2412 uint32_t num_elements;
2413 uint32_t element_index;
2414
2415 size_t size;
2416 off_t alignment;
2417
2418 if (!m_decl_map->GetStructInfo (num_elements, size, alignment))
2419 return false;
2420
Greg Clayton3c7feb42010-11-19 01:05:25 +00002421 Function::arg_iterator iter(llvm_function.getArgumentList().begin());
Sean Callanan8bce6652010-07-13 21:41:46 +00002422
Greg Clayton3c7feb42010-11-19 01:05:25 +00002423 if (iter == llvm_function.getArgumentList().end())
Sean Callanan97c924e2011-01-27 01:07:04 +00002424 {
2425 if (m_error_stream)
2426 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes no arguments (should take at least a struct pointer)");
2427
Sean Callanan8bce6652010-07-13 21:41:46 +00002428 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002429 }
2430
Sean Callanan02fbafa2010-07-27 21:39:39 +00002431 Argument *argument = iter;
Sean Callanan8bce6652010-07-13 21:41:46 +00002432
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00002433 if (argument->getName().equals("this"))
2434 {
2435 ++iter;
2436
Greg Clayton3c7feb42010-11-19 01:05:25 +00002437 if (iter == llvm_function.getArgumentList().end())
Sean Callanan97c924e2011-01-27 01:07:04 +00002438 {
2439 if (m_error_stream)
2440 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes only 'this' argument (should take a struct pointer too)");
2441
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00002442 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002443 }
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00002444
2445 argument = iter;
2446 }
Sean Callanan3aa7da52010-12-13 22:46:15 +00002447 else if (argument->getName().equals("self"))
2448 {
2449 ++iter;
2450
2451 if (iter == llvm_function.getArgumentList().end())
Sean Callanan97c924e2011-01-27 01:07:04 +00002452 {
2453 if (m_error_stream)
2454 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes only 'self' argument (should take '_cmd' and a struct pointer too)");
2455
Sean Callanan3aa7da52010-12-13 22:46:15 +00002456 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002457 }
Sean Callanan3aa7da52010-12-13 22:46:15 +00002458
2459 if (!iter->getName().equals("_cmd"))
Sean Callanan97c924e2011-01-27 01:07:04 +00002460 {
2461 if (m_error_stream)
2462 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes '%s' after 'self' argument (should take '_cmd')", iter->getName().str().c_str());
2463
Sean Callanan3aa7da52010-12-13 22:46:15 +00002464 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002465 }
Sean Callanan3aa7da52010-12-13 22:46:15 +00002466
2467 ++iter;
2468
2469 if (iter == llvm_function.getArgumentList().end())
Sean Callanan97c924e2011-01-27 01:07:04 +00002470 {
2471 if (m_error_stream)
2472 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes only 'self' and '_cmd' arguments (should take a struct pointer too)");
2473
Sean Callanan3aa7da52010-12-13 22:46:15 +00002474 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002475 }
Sean Callanan3aa7da52010-12-13 22:46:15 +00002476
2477 argument = iter;
2478 }
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00002479
Greg Clayton8de27c72010-10-15 22:48:33 +00002480 if (!argument->getName().equals("$__lldb_arg"))
Sean Callanan97c924e2011-01-27 01:07:04 +00002481 {
2482 if (m_error_stream)
2483 m_error_stream->Printf("Internal error [IRForTarget]: Wrapper takes an argument named '%s' instead of the struct pointer", argument->getName().str().c_str());
2484
Sean Callanan8bce6652010-07-13 21:41:46 +00002485 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002486 }
2487
Sean Callanan8bce6652010-07-13 21:41:46 +00002488 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00002489 log->Printf("Arg: \"%s\"", PrintValue(argument).c_str());
Sean Callanan8bce6652010-07-13 21:41:46 +00002490
Greg Clayton3c7feb42010-11-19 01:05:25 +00002491 BasicBlock &entry_block(llvm_function.getEntryBlock());
Sean Callanan6ba533e2010-11-17 23:00:36 +00002492 Instruction *FirstEntryInstruction(entry_block.getFirstNonPHIOrDbg());
Sean Callanan8bce6652010-07-13 21:41:46 +00002493
Sean Callanan6ba533e2010-11-17 23:00:36 +00002494 if (!FirstEntryInstruction)
Sean Callanan97c924e2011-01-27 01:07:04 +00002495 {
2496 if (m_error_stream)
2497 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't find the first instruction in the wrapper for use in rewriting");
2498
Sean Callanan8bce6652010-07-13 21:41:46 +00002499 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002500 }
Sean Callanan8bce6652010-07-13 21:41:46 +00002501
Sean Callananc0492742011-05-23 21:40:23 +00002502 LLVMContext &context(m_module->getContext());
Sean Callanan9b6898f2011-07-30 02:42:06 +00002503 IntegerType *offset_type(Type::getInt32Ty(context));
Sean Callanan8bce6652010-07-13 21:41:46 +00002504
2505 if (!offset_type)
Sean Callanan97c924e2011-01-27 01:07:04 +00002506 {
2507 if (m_error_stream)
2508 m_error_stream->Printf("Internal error [IRForTarget]: Couldn't produce an offset type");
2509
Sean Callanan8bce6652010-07-13 21:41:46 +00002510 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002511 }
Sean Callanan8bce6652010-07-13 21:41:46 +00002512
2513 for (element_index = 0; element_index < num_elements; ++element_index)
2514 {
Sean Callanan58baaad2011-07-08 00:39:14 +00002515 const clang::NamedDecl *decl = NULL;
2516 Value *value = NULL;
Sean Callanan8bce6652010-07-13 21:41:46 +00002517 off_t offset;
Greg Clayton8de27c72010-10-15 22:48:33 +00002518 lldb_private::ConstString name;
Sean Callanan8bce6652010-07-13 21:41:46 +00002519
Sean Callanan45690fe2010-08-30 22:17:16 +00002520 if (!m_decl_map->GetStructElement (decl, value, offset, name, element_index))
Sean Callanan97c924e2011-01-27 01:07:04 +00002521 {
2522 if (m_error_stream)
2523 m_error_stream->Printf("Internal error [IRForTarget]: Structure information is incomplete");
2524
Sean Callanan8bce6652010-07-13 21:41:46 +00002525 return false;
Sean Callanan97c924e2011-01-27 01:07:04 +00002526 }
2527
Sean Callanan8bce6652010-07-13 21:41:46 +00002528 if (log)
Sean Callananc7ca4662011-10-25 18:36:40 +00002529 log->Printf(" \"%s\" (\"%s\") placed at %lld",
Greg Clayton8de27c72010-10-15 22:48:33 +00002530 name.GetCString(),
Sean Callananc7ca4662011-10-25 18:36:40 +00002531 decl->getNameAsString().c_str(),
Sean Callanan8bce6652010-07-13 21:41:46 +00002532 offset);
2533
Sean Callanan9b6898f2011-07-30 02:42:06 +00002534 ConstantInt *offset_int(ConstantInt::get(offset_type, offset, true));
Sean Callanan6ba533e2010-11-17 23:00:36 +00002535 GetElementPtrInst *get_element_ptr = GetElementPtrInst::Create(argument, offset_int, "", FirstEntryInstruction);
Sean Callanan6a925532011-01-13 08:53:35 +00002536
Sean Callananc7ca4662011-10-25 18:36:40 +00002537 if (value)
Sean Callanan6a925532011-01-13 08:53:35 +00002538 {
Sean Callananc7ca4662011-10-25 18:36:40 +00002539 Value *replacement = NULL;
Sean Callanan6a925532011-01-13 08:53:35 +00002540
Sean Callananc7ca4662011-10-25 18:36:40 +00002541 if (log)
2542 log->Printf(" Replacing [%s]", PrintValue(value).c_str());
Sean Callanan6a925532011-01-13 08:53:35 +00002543
Sean Callananc7ca4662011-10-25 18:36:40 +00002544 // Per the comment at ASTResultSynthesizer::SynthesizeBodyResult, in cases where the result
2545 // variable is an rvalue, we have to synthesize a dereference of the appropriate structure
2546 // entry in order to produce the static variable that the AST thinks it is accessing.
2547 if (name == m_result_name && !m_result_is_pointer)
2548 {
2549 BitCastInst *bit_cast = new BitCastInst(get_element_ptr, value->getType()->getPointerTo(), "", FirstEntryInstruction);
2550
2551 LoadInst *load = new LoadInst(bit_cast, "", FirstEntryInstruction);
2552
2553 replacement = load;
2554 }
2555 else
2556 {
2557 BitCastInst *bit_cast = new BitCastInst(get_element_ptr, value->getType(), "", FirstEntryInstruction);
2558
2559 replacement = bit_cast;
2560 }
2561
2562 if (Constant *constant = dyn_cast<Constant>(value))
2563 UnfoldConstant(constant, replacement, FirstEntryInstruction);
2564 else
2565 value->replaceAllUsesWith(replacement);
2566
2567 if (GlobalVariable *var = dyn_cast<GlobalVariable>(value))
2568 var->eraseFromParent();
2569 }
Sean Callanan8bce6652010-07-13 21:41:46 +00002570 }
2571
2572 if (log)
Jason Molenda7e5fa7f2011-09-20 21:44:10 +00002573 log->Printf("Total structure [align %lld, size %lu]", alignment, size);
Sean Callanan8bce6652010-07-13 21:41:46 +00002574
2575 return true;
2576}
2577
Sean Callananc0492742011-05-23 21:40:23 +00002578llvm::Constant *
Sean Callanan9b6898f2011-07-30 02:42:06 +00002579IRForTarget::BuildRelocation(llvm::Type *type,
Sean Callananc0492742011-05-23 21:40:23 +00002580 uint64_t offset)
2581{
2582 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
2583
Micah Villmowce633582012-10-11 17:21:41 +00002584 unsigned AS = type->isPointerTy() ? cast<PointerType>(type)->getAddressSpace() : 0;
Sean Callanan9b6898f2011-07-30 02:42:06 +00002585 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Micah Villmowce633582012-10-11 17:21:41 +00002586 (m_module->getPointerSize(AS) == Module::Pointer64) ? 64 : 32);
Sean Callananc0492742011-05-23 21:40:23 +00002587
2588 llvm::Constant *offset_int = ConstantInt::get(intptr_ty, offset);
Sean Callanan9b6898f2011-07-30 02:42:06 +00002589
2590 llvm::Constant *offset_array[1];
2591
2592 offset_array[0] = offset_int;
2593
2594 llvm::ArrayRef<llvm::Constant *> offsets(offset_array, 1);
2595
2596 llvm::Constant *reloc_getelementptr = ConstantExpr::getGetElementPtr(m_reloc_placeholder, offsets);
Sean Callananc0492742011-05-23 21:40:23 +00002597 llvm::Constant *reloc_getbitcast = ConstantExpr::getBitCast(reloc_getelementptr, type);
2598
2599 return reloc_getbitcast;
2600}
2601
2602bool
2603IRForTarget::CompleteDataAllocation ()
2604{
Sean Callanan47dc4572011-09-15 02:13:07 +00002605 if (!m_data_allocator)
2606 return true;
2607
Sean Callananc0492742011-05-23 21:40:23 +00002608 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
2609
2610 if (!m_data_allocator->GetStream().GetSize())
2611 return true;
2612
2613 lldb::addr_t allocation = m_data_allocator->Allocate();
2614
2615 if (log)
2616 {
2617 if (allocation)
2618 log->Printf("Allocated static data at 0x%llx", (unsigned long long)allocation);
2619 else
2620 log->Printf("Failed to allocate static data");
2621 }
2622
2623 if (!allocation)
2624 return false;
2625
Micah Villmowce633582012-10-11 17:21:41 +00002626 unsigned AS = 0;
Sean Callanan9b6898f2011-07-30 02:42:06 +00002627 IntegerType *intptr_ty = Type::getIntNTy(m_module->getContext(),
Micah Villmowce633582012-10-11 17:21:41 +00002628 (m_module->getPointerSize(AS) == Module::Pointer64) ? 64 : 32);
Sean Callananc0492742011-05-23 21:40:23 +00002629
2630 Constant *relocated_addr = ConstantInt::get(intptr_ty, (uint64_t)allocation);
2631 Constant *relocated_bitcast = ConstantExpr::getIntToPtr(relocated_addr, llvm::Type::getInt8PtrTy(m_module->getContext()));
2632
2633 m_reloc_placeholder->replaceAllUsesWith(relocated_bitcast);
2634
2635 m_reloc_placeholder->eraseFromParent();
2636
2637 return true;
2638}
2639
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002640bool
Sean Callanan06dc17f2012-09-24 22:25:51 +00002641IRForTarget::StripAllGVs (Module &llvm_module)
2642{
2643 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
2644 std::vector<GlobalVariable *> global_vars;
2645 std::set<GlobalVariable *>erased_vars;
2646
2647 bool erased = true;
2648
2649 while (erased)
2650 {
2651 erased = false;
2652
2653 for (Module::global_iterator gi = llvm_module.global_begin(), ge = llvm_module.global_end();
2654 gi != ge;
2655 ++gi)
2656 {
2657 GlobalVariable *global_var = dyn_cast<GlobalVariable>(gi);
2658
2659 global_var->removeDeadConstantUsers();
2660
2661 if (global_var->use_empty())
2662 {
2663 if (log)
2664 log->Printf("Did remove %s",
2665 PrintValue(global_var).c_str());
2666 global_var->eraseFromParent();
2667 erased = true;
2668 break;
2669 }
2670 }
2671 }
2672
2673 for (Module::global_iterator gi = llvm_module.global_begin(), ge = llvm_module.global_end();
2674 gi != ge;
2675 ++gi)
2676 {
2677 GlobalVariable *global_var = dyn_cast<GlobalVariable>(gi);
2678
2679 GlobalValue::use_iterator ui = global_var->use_begin();
2680
2681 log->Printf("Couldn't remove %s because of %s",
2682 PrintValue(global_var).c_str(),
2683 PrintValue(*ui).c_str());
2684 }
2685
2686 return true;
2687}
2688
2689bool
Greg Clayton3c7feb42010-11-19 01:05:25 +00002690IRForTarget::runOnModule (Module &llvm_module)
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002691{
Greg Claytone005f2c2010-11-06 01:53:30 +00002692 lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002693
Sean Callananc0492742011-05-23 21:40:23 +00002694 m_module = &llvm_module;
Micah Villmow3051ed72012-10-08 16:28:57 +00002695 m_target_data.reset(new DataLayout(m_module));
Sean Callananc0492742011-05-23 21:40:23 +00002696
2697 Function* function = m_module->getFunction(StringRef(m_func_name.c_str()));
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002698
2699 if (!function)
2700 {
2701 if (log)
Greg Claytonb5037af2010-11-15 01:47:11 +00002702 log->Printf("Couldn't find \"%s()\" in the module", m_func_name.c_str());
Sean Callanan97c924e2011-01-27 01:07:04 +00002703
2704 if (m_error_stream)
Sean Callananc0492742011-05-23 21:40:23 +00002705 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 +00002706
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002707 return false;
2708 }
Sean Callananc0492742011-05-23 21:40:23 +00002709
2710 if (!FixFunctionLinkage (*function))
2711 {
2712 if (log)
2713 log->Printf("Couldn't fix the linkage for the function");
2714
2715 return false;
2716 }
2717
Sean Callananc7ca4662011-10-25 18:36:40 +00002718 if (log)
2719 {
2720 std::string s;
2721 raw_string_ostream oss(s);
2722
2723 m_module->print(oss, NULL);
2724
2725 oss.flush();
2726
2727 log->Printf("Module as passed in to IRForTarget: \n\"%s\"", s.c_str());
2728 }
2729
Sean Callanan9b6898f2011-07-30 02:42:06 +00002730 llvm::Type *intptr_ty = Type::getInt8Ty(m_module->getContext());
Sean Callananc0492742011-05-23 21:40:23 +00002731
2732 m_reloc_placeholder = new llvm::GlobalVariable((*m_module),
2733 intptr_ty,
Sean Callanan06dc17f2012-09-24 22:25:51 +00002734 false /* IsConstant */,
Sean Callananc0492742011-05-23 21:40:23 +00002735 GlobalVariable::InternalLinkage,
2736 Constant::getNullValue(intptr_ty),
2737 "reloc_placeholder",
2738 NULL /* InsertBefore */,
Sean Callanan06dc17f2012-09-24 22:25:51 +00002739 GlobalVariable::NotThreadLocal /* ThreadLocal */,
Sean Callananc0492742011-05-23 21:40:23 +00002740 0 /* AddressSpace */);
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002741
Sean Callanan02fbafa2010-07-27 21:39:39 +00002742 Function::iterator bbi;
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002743
Sean Callananc0492742011-05-23 21:40:23 +00002744 m_has_side_effects = HasSideEffects(*function);
Sean Callanan05a5a1b2010-12-16 03:17:46 +00002745
Sean Callanan82b74c82010-08-12 01:56:52 +00002746 ////////////////////////////////////////////////////////////
Greg Clayton8de27c72010-10-15 22:48:33 +00002747 // Replace $__lldb_expr_result with a persistent variable
Sean Callanan82b74c82010-08-12 01:56:52 +00002748 //
2749
Sean Callananc0492742011-05-23 21:40:23 +00002750 if (!CreateResultVariable(*function))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002751 {
2752 if (log)
2753 log->Printf("CreateResultVariable() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002754
2755 // CreateResultVariable() reports its own errors, so we don't do so here
2756
Sean Callanan82b74c82010-08-12 01:56:52 +00002757 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002758 }
Sean Callanan47dc4572011-09-15 02:13:07 +00002759
2760 if (m_const_result && m_execution_policy != lldb_private::eExecutionPolicyAlways)
2761 {
2762 m_interpret_success = true;
Sean Callanan696cf5f2011-05-07 01:06:41 +00002763 return true;
Sean Callanan47dc4572011-09-15 02:13:07 +00002764 }
2765
2766 for (bbi = function->begin();
2767 bbi != function->end();
2768 ++bbi)
2769 {
2770 if (!RemoveGuards(*bbi))
2771 {
2772 if (log)
2773 log->Printf("RemoveGuards() failed");
2774
2775 // RemoveGuards() reports its own errors, so we don't do so here
2776
2777 return false;
2778 }
2779
2780 if (!RewritePersistentAllocs(*bbi))
2781 {
2782 if (log)
2783 log->Printf("RewritePersistentAllocs() failed");
2784
2785 // RewritePersistentAllocs() reports its own errors, so we don't do so here
2786
2787 return false;
2788 }
Sean Callanan1850f942012-07-21 02:02:15 +00002789
2790 if (!RemoveCXAAtExit(*bbi))
2791 {
2792 if (log)
2793 log->Printf("RemoveCXAAtExit() failed");
2794
2795 // RemoveCXAAtExit() reports its own errors, so we don't do so here
2796
2797 return false;
2798 }
Sean Callanan47dc4572011-09-15 02:13:07 +00002799 }
2800
2801 if (m_decl_map && m_execution_policy != lldb_private::eExecutionPolicyAlways)
2802 {
2803 IRInterpreter interpreter (*m_decl_map,
2804 m_error_stream);
2805
Sean Callananddf110d2012-01-24 22:06:48 +00002806 interpreter.maybeRunOnFunction(m_const_result, m_result_name, m_result_type, *function, llvm_module, m_interpreter_error);
2807
2808 if (m_interpreter_error.Success())
Sean Callanan47dc4572011-09-15 02:13:07 +00002809 return true;
Sean Callanan47dc4572011-09-15 02:13:07 +00002810 }
Sean Callanan696cf5f2011-05-07 01:06:41 +00002811
Sean Callanan8f2e3922012-02-04 08:49:35 +00002812 if (m_execution_policy == lldb_private::eExecutionPolicyNever) {
Sean Callanan08210572012-04-24 17:56:40 +00002813 if (m_result_name)
2814 m_decl_map->RemoveResultVariable(m_result_name);
Sean Callanan8f2e3922012-02-04 08:49:35 +00002815 return false;
2816 }
2817
Sean Callanan7b8eb762011-11-01 17:33:54 +00002818 if (log && log->GetVerbose())
Sean Callananc0492742011-05-23 21:40:23 +00002819 {
2820 std::string s;
2821 raw_string_ostream oss(s);
2822
2823 m_module->print(oss, NULL);
2824
2825 oss.flush();
2826
2827 log->Printf("Module after creating the result variable: \n\"%s\"", s.c_str());
2828 }
2829
Sean Callanan6ba533e2010-11-17 23:00:36 +00002830 ///////////////////////////////////////////////////////////////////////////////
2831 // Fix all Objective-C constant strings to use NSStringWithCString:encoding:
2832 //
Sean Callanan6ba533e2010-11-17 23:00:36 +00002833
Sean Callananc0492742011-05-23 21:40:23 +00002834 if (!RewriteObjCConstStrings(*function))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002835 {
2836 if (log)
2837 log->Printf("RewriteObjCConstStrings() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002838
2839 // RewriteObjCConstStrings() reports its own errors, so we don't do so here
2840
Sean Callanan6ba533e2010-11-17 23:00:36 +00002841 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002842 }
Sean Callanan6ba533e2010-11-17 23:00:36 +00002843
Sean Callanan5c9a3c72011-08-04 21:37:47 +00002844 ///////////////////////////////
2845 // Resolve function pointers
2846 //
2847
2848 if (!ResolveFunctionPointers(llvm_module, *function))
2849 {
2850 if (log)
2851 log->Printf("ResolveFunctionPointers() failed");
2852
2853 // ResolveFunctionPointers() reports its own errors, so we don't do so here
2854
2855 return false;
2856 }
2857
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002858 for (bbi = function->begin();
2859 bbi != function->end();
2860 ++bbi)
2861 {
Sean Callananc0492742011-05-23 21:40:23 +00002862 if (!RewriteObjCSelectors(*bbi))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002863 {
2864 if (log)
2865 log->Printf("RewriteObjCSelectors() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002866
2867 // RewriteObjCSelectors() reports its own errors, so we don't do so here
2868
Sean Callanana48fe162010-08-11 03:57:18 +00002869 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002870 }
Sean Callanan083b3762012-07-27 19:25:24 +00002871 }
Sean Callanana48fe162010-08-11 03:57:18 +00002872
Sean Callanan083b3762012-07-27 19:25:24 +00002873 for (bbi = function->begin();
2874 bbi != function->end();
2875 ++bbi)
2876 {
Sean Callananc0492742011-05-23 21:40:23 +00002877 if (!ResolveCalls(*bbi))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002878 {
2879 if (log)
2880 log->Printf("ResolveCalls() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002881
2882 // ResolveCalls() reports its own errors, so we don't do so here
2883
Sean Callanan8bce6652010-07-13 21:41:46 +00002884 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002885 }
Sean Callananc0492742011-05-23 21:40:23 +00002886
2887 if (!ReplaceStaticLiterals(*bbi))
2888 {
2889 if (log)
2890 log->Printf("ReplaceStaticLiterals() failed");
2891
2892 return false;
2893 }
Sean Callanan8bce6652010-07-13 21:41:46 +00002894 }
2895
Sean Callanan771131d2010-09-30 21:18:25 +00002896 ///////////////////////////////
2897 // Run function-level passes
2898 //
2899
Sean Callananc0492742011-05-23 21:40:23 +00002900 if (!ResolveExternals(*function))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002901 {
2902 if (log)
2903 log->Printf("ResolveExternals() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002904
2905 // ResolveExternals() reports its own errors, so we don't do so here
2906
Sean Callanan1d1b39c2010-11-08 00:31:32 +00002907 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002908 }
Sean Callanan1d1b39c2010-11-08 00:31:32 +00002909
Sean Callananc0492742011-05-23 21:40:23 +00002910 if (!ReplaceVariables(*function))
Sean Callanan3aa7da52010-12-13 22:46:15 +00002911 {
2912 if (log)
2913 log->Printf("ReplaceVariables() failed");
Sean Callanan97c924e2011-01-27 01:07:04 +00002914
2915 // ReplaceVariables() reports its own errors, so we don't do so here
2916
Sean Callanan771131d2010-09-30 21:18:25 +00002917 return false;
Sean Callanan3aa7da52010-12-13 22:46:15 +00002918 }
Sean Callanan771131d2010-09-30 21:18:25 +00002919
Sean Callananc0492742011-05-23 21:40:23 +00002920 if (!ReplaceStrings())
2921 {
2922 if (log)
2923 log->Printf("ReplaceStrings() failed");
2924
2925 return false;
2926 }
2927
2928 if (!CompleteDataAllocation())
2929 {
2930 if (log)
2931 log->Printf("CompleteDataAllocation() failed");
2932
2933 return false;
2934 }
2935
Sean Callanan06dc17f2012-09-24 22:25:51 +00002936 if (!StripAllGVs(llvm_module))
2937 {
2938 if (log)
2939 log->Printf("StripAllGVs() failed");
2940 }
2941
Sean Callanan7b8eb762011-11-01 17:33:54 +00002942 if (log && log->GetVerbose())
Sean Callanan8bce6652010-07-13 21:41:46 +00002943 {
Sean Callanan321fe9e2010-07-28 01:00:59 +00002944 std::string s;
2945 raw_string_ostream oss(s);
Sean Callanan8bce6652010-07-13 21:41:46 +00002946
Sean Callananc0492742011-05-23 21:40:23 +00002947 m_module->print(oss, NULL);
Sean Callanan321fe9e2010-07-28 01:00:59 +00002948
2949 oss.flush();
2950
Greg Claytonb5037af2010-11-15 01:47:11 +00002951 log->Printf("Module after preparing for execution: \n\"%s\"", s.c_str());
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002952 }
2953
2954 return true;
2955}
2956
2957void
Greg Clayton3c7feb42010-11-19 01:05:25 +00002958IRForTarget::assignPassManager (PMStack &pass_mgr_stack, PassManagerType pass_mgr_type)
Sean Callanan5cf4a1c2010-07-03 01:35:46 +00002959{
2960}
2961
2962PassManagerType
2963IRForTarget::getPotentialPassManagerType() const
2964{
2965 return PMT_ModulePassManager;
2966}