178a685aaSJim Ingham //===-- ValueObjectDynamicValue.cpp ---------------------------------*- C++ -*-===// 278a685aaSJim Ingham // 378a685aaSJim Ingham // The LLVM Compiler Infrastructure 478a685aaSJim Ingham // 578a685aaSJim Ingham // This file is distributed under the University of Illinois Open Source 678a685aaSJim Ingham // License. See LICENSE.TXT for details. 778a685aaSJim Ingham // 878a685aaSJim Ingham //===----------------------------------------------------------------------===// 978a685aaSJim Ingham 1078a685aaSJim Ingham 1178a685aaSJim Ingham #include "lldb/Core/ValueObjectDynamicValue.h" 1278a685aaSJim Ingham 1378a685aaSJim Ingham // C Includes 1478a685aaSJim Ingham // C++ Includes 1578a685aaSJim Ingham // Other libraries and framework includes 1678a685aaSJim Ingham // Project includes 1778a685aaSJim Ingham #include "lldb/Core/Module.h" 1878a685aaSJim Ingham #include "lldb/Core/ValueObjectList.h" 1978a685aaSJim Ingham #include "lldb/Core/Value.h" 2078a685aaSJim Ingham #include "lldb/Core/ValueObject.h" 2178a685aaSJim Ingham 2278a685aaSJim Ingham #include "lldb/Symbol/ObjectFile.h" 2378a685aaSJim Ingham #include "lldb/Symbol/SymbolContext.h" 2478a685aaSJim Ingham #include "lldb/Symbol/Type.h" 2578a685aaSJim Ingham #include "lldb/Symbol/Variable.h" 2678a685aaSJim Ingham 2778a685aaSJim Ingham #include "lldb/Target/ExecutionContext.h" 2878a685aaSJim Ingham #include "lldb/Target/LanguageRuntime.h" 2978a685aaSJim Ingham #include "lldb/Target/Process.h" 3078a685aaSJim Ingham #include "lldb/Target/RegisterContext.h" 3178a685aaSJim Ingham #include "lldb/Target/Target.h" 3278a685aaSJim Ingham #include "lldb/Target/Thread.h" 3378a685aaSJim Ingham 3478a685aaSJim Ingham 3578a685aaSJim Ingham using namespace lldb_private; 3678a685aaSJim Ingham 372837b766SJim Ingham ValueObjectDynamicValue::ValueObjectDynamicValue (ValueObject &parent, lldb::DynamicValueType use_dynamic) : 3878a685aaSJim Ingham ValueObject(parent), 3978a685aaSJim Ingham m_address (), 402837b766SJim Ingham m_type_sp(), 412837b766SJim Ingham m_use_dynamic (use_dynamic) 4278a685aaSJim Ingham { 43d8b5fce2SEnrico Granata m_last_format_mgr_dynamic = use_dynamic; 446f3533fbSEnrico Granata SetName (parent.GetName()); 4578a685aaSJim Ingham } 4678a685aaSJim Ingham 4778a685aaSJim Ingham ValueObjectDynamicValue::~ValueObjectDynamicValue() 4878a685aaSJim Ingham { 4978a685aaSJim Ingham m_owning_valobj_sp.reset(); 5078a685aaSJim Ingham } 5178a685aaSJim Ingham 5278a685aaSJim Ingham lldb::clang_type_t 5378a685aaSJim Ingham ValueObjectDynamicValue::GetClangType () 5478a685aaSJim Ingham { 5578a685aaSJim Ingham if (m_type_sp) 5678a685aaSJim Ingham return m_value.GetClangType(); 5778a685aaSJim Ingham else 5878a685aaSJim Ingham return m_parent->GetClangType(); 5978a685aaSJim Ingham } 6078a685aaSJim Ingham 6178a685aaSJim Ingham ConstString 6278a685aaSJim Ingham ValueObjectDynamicValue::GetTypeName() 6378a685aaSJim Ingham { 64c3e320a7SEnrico Granata const bool success = UpdateValueIfNeeded(false); 655ad63941SGreg Clayton if (success && m_type_sp) 66e3055942SGreg Clayton return ClangASTType::GetConstTypeName (GetClangType()); 6778a685aaSJim Ingham else 6878a685aaSJim Ingham return m_parent->GetTypeName(); 6978a685aaSJim Ingham } 7078a685aaSJim Ingham 7178a685aaSJim Ingham uint32_t 7278a685aaSJim Ingham ValueObjectDynamicValue::CalculateNumChildren() 7378a685aaSJim Ingham { 74c3e320a7SEnrico Granata const bool success = UpdateValueIfNeeded(false); 755ad63941SGreg Clayton if (success && m_type_sp) 7678a685aaSJim Ingham return ClangASTContext::GetNumChildren (GetClangAST (), GetClangType(), true); 7778a685aaSJim Ingham else 7878a685aaSJim Ingham return m_parent->GetNumChildren(); 7978a685aaSJim Ingham } 8078a685aaSJim Ingham 8178a685aaSJim Ingham clang::ASTContext * 8278a685aaSJim Ingham ValueObjectDynamicValue::GetClangAST () 8378a685aaSJim Ingham { 840a3958e0SEnrico Granata const bool success = UpdateValueIfNeeded(false); 855ad63941SGreg Clayton if (success && m_type_sp) 8678a685aaSJim Ingham return m_type_sp->GetClangAST(); 8778a685aaSJim Ingham else 8878a685aaSJim Ingham return m_parent->GetClangAST (); 8978a685aaSJim Ingham } 9078a685aaSJim Ingham 9178a685aaSJim Ingham size_t 9278a685aaSJim Ingham ValueObjectDynamicValue::GetByteSize() 9378a685aaSJim Ingham { 94c3e320a7SEnrico Granata const bool success = UpdateValueIfNeeded(false); 955ad63941SGreg Clayton if (success && m_type_sp) 9678a685aaSJim Ingham return m_value.GetValueByteSize(GetClangAST(), NULL); 9778a685aaSJim Ingham else 9878a685aaSJim Ingham return m_parent->GetByteSize(); 9978a685aaSJim Ingham } 10078a685aaSJim Ingham 10178a685aaSJim Ingham lldb::ValueType 10278a685aaSJim Ingham ValueObjectDynamicValue::GetValueType() const 10378a685aaSJim Ingham { 10478a685aaSJim Ingham return m_parent->GetValueType(); 10578a685aaSJim Ingham } 10678a685aaSJim Ingham 10778a685aaSJim Ingham bool 10878a685aaSJim Ingham ValueObjectDynamicValue::UpdateValue () 10978a685aaSJim Ingham { 11078a685aaSJim Ingham SetValueIsValid (false); 11178a685aaSJim Ingham m_error.Clear(); 11278a685aaSJim Ingham 113c3e320a7SEnrico Granata if (!m_parent->UpdateValueIfNeeded(false)) 11478a685aaSJim Ingham { 115007d5be6SGreg Clayton // The dynamic value failed to get an error, pass the error along 116007d5be6SGreg Clayton if (m_error.Success() && m_parent->GetError().Fail()) 117007d5be6SGreg Clayton m_error = m_parent->GetError(); 11878a685aaSJim Ingham return false; 11978a685aaSJim Ingham } 12078a685aaSJim Ingham 1212837b766SJim Ingham // Setting our type_sp to NULL will route everything back through our 1222837b766SJim Ingham // parent which is equivalent to not using dynamic values. 1232837b766SJim Ingham if (m_use_dynamic == lldb::eNoDynamicValues) 1242837b766SJim Ingham { 1252837b766SJim Ingham m_type_sp.reset(); 1262837b766SJim Ingham return true; 1272837b766SJim Ingham } 1282837b766SJim Ingham 12978a685aaSJim Ingham ExecutionContext exe_ctx (GetExecutionContextScope()); 13078a685aaSJim Ingham 13178a685aaSJim Ingham if (exe_ctx.target) 13278a685aaSJim Ingham { 13378a685aaSJim Ingham m_data.SetByteOrder(exe_ctx.target->GetArchitecture().GetByteOrder()); 13478a685aaSJim Ingham m_data.SetAddressByteSize(exe_ctx.target->GetArchitecture().GetAddressByteSize()); 13578a685aaSJim Ingham } 13678a685aaSJim Ingham 13778a685aaSJim Ingham // First make sure our Type and/or Address haven't changed: 1386f3533fbSEnrico Granata Process *process = m_update_point.GetProcessSP().get(); 13978a685aaSJim Ingham if (!process) 14078a685aaSJim Ingham return false; 14178a685aaSJim Ingham 14261be0903SJim Ingham TypeAndOrName class_type_or_name; 14378a685aaSJim Ingham Address dynamic_address; 14478a685aaSJim Ingham bool found_dynamic_type = false; 14578a685aaSJim Ingham 14678a685aaSJim Ingham lldb::LanguageType known_type = m_parent->GetObjectRuntimeLanguage(); 14778a685aaSJim Ingham if (known_type != lldb::eLanguageTypeUnknown && known_type != lldb::eLanguageTypeC) 14878a685aaSJim Ingham { 14978a685aaSJim Ingham LanguageRuntime *runtime = process->GetLanguageRuntime (known_type); 15078a685aaSJim Ingham if (runtime) 1512837b766SJim Ingham found_dynamic_type = runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address); 15278a685aaSJim Ingham } 15378a685aaSJim Ingham else 15478a685aaSJim Ingham { 15578a685aaSJim Ingham LanguageRuntime *cpp_runtime = process->GetLanguageRuntime (lldb::eLanguageTypeC_plus_plus); 15678a685aaSJim Ingham if (cpp_runtime) 1572837b766SJim Ingham found_dynamic_type = cpp_runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address); 15878a685aaSJim Ingham 15978a685aaSJim Ingham if (!found_dynamic_type) 16078a685aaSJim Ingham { 16178a685aaSJim Ingham LanguageRuntime *objc_runtime = process->GetLanguageRuntime (lldb::eLanguageTypeObjC); 16278a685aaSJim Ingham if (objc_runtime) 163*9910bc85SEnrico Granata found_dynamic_type = objc_runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address); 16478a685aaSJim Ingham } 16578a685aaSJim Ingham } 16678a685aaSJim Ingham 16761be0903SJim Ingham lldb::TypeSP dynamic_type_sp = class_type_or_name.GetTypeSP(); 16861be0903SJim Ingham 16961be0903SJim Ingham // Getting the dynamic value may have run the program a bit, and so marked us as needing updating, but we really 17061be0903SJim Ingham // don't... 17161be0903SJim Ingham 17261be0903SJim Ingham m_update_point.SetUpdated(); 17361be0903SJim Ingham 17478a685aaSJim Ingham // If we don't have a dynamic type, then make ourselves just a echo of our parent. 17578a685aaSJim Ingham // Or we could return false, and make ourselves an echo of our parent? 17678a685aaSJim Ingham if (!found_dynamic_type) 17778a685aaSJim Ingham { 17878a685aaSJim Ingham if (m_type_sp) 17978a685aaSJim Ingham SetValueDidChange(true); 18078a685aaSJim Ingham m_value = m_parent->GetValue(); 181644247c1SGreg Clayton m_error = m_value.GetValueAsData (&exe_ctx, GetClangAST(), m_data, 0, GetModule()); 18278a685aaSJim Ingham return m_error.Success(); 18378a685aaSJim Ingham } 18478a685aaSJim Ingham 18578a685aaSJim Ingham Value old_value(m_value); 18678a685aaSJim Ingham 18778a685aaSJim Ingham if (!m_type_sp) 18878a685aaSJim Ingham { 18978a685aaSJim Ingham m_type_sp = dynamic_type_sp; 19078a685aaSJim Ingham } 19178a685aaSJim Ingham else if (dynamic_type_sp != m_type_sp) 19278a685aaSJim Ingham { 19378a685aaSJim Ingham // We are another type, we need to tear down our children... 19478a685aaSJim Ingham m_type_sp = dynamic_type_sp; 19578a685aaSJim Ingham SetValueDidChange (true); 19678a685aaSJim Ingham } 19778a685aaSJim Ingham 19878a685aaSJim Ingham if (!m_address.IsValid() || m_address != dynamic_address) 19978a685aaSJim Ingham { 20078a685aaSJim Ingham if (m_address.IsValid()) 20178a685aaSJim Ingham SetValueDidChange (true); 20278a685aaSJim Ingham 20378a685aaSJim Ingham // We've moved, so we should be fine... 20478a685aaSJim Ingham m_address = dynamic_address; 2056f3533fbSEnrico Granata lldb::addr_t load_address = m_address.GetLoadAddress(m_update_point.GetTargetSP().get()); 20678a685aaSJim Ingham m_value.GetScalar() = load_address; 20778a685aaSJim Ingham } 20878a685aaSJim Ingham 20978a685aaSJim Ingham // The type will always be the type of the dynamic object. If our parent's type was a pointer, 21078a685aaSJim Ingham // then our type should be a pointer to the type of the dynamic object. If a reference, then the original type 21178a685aaSJim Ingham // should be okay... 21278a685aaSJim Ingham lldb::clang_type_t orig_type = m_type_sp->GetClangForwardType(); 21378a685aaSJim Ingham lldb::clang_type_t corrected_type = orig_type; 21478a685aaSJim Ingham if (m_parent->IsPointerType()) 21578a685aaSJim Ingham corrected_type = ClangASTContext::CreatePointerType (m_type_sp->GetClangAST(), orig_type); 21678a685aaSJim Ingham else if (m_parent->IsPointerOrReferenceType()) 21778a685aaSJim Ingham corrected_type = ClangASTContext::CreateLValueReferenceType (m_type_sp->GetClangAST(), orig_type); 21878a685aaSJim Ingham 21978a685aaSJim Ingham m_value.SetContext (Value::eContextTypeClangType, corrected_type); 22078a685aaSJim Ingham 22178a685aaSJim Ingham // Our address is the location of the dynamic type stored in memory. It isn't a load address, 22278a685aaSJim Ingham // because we aren't pointing to the LOCATION that stores the pointer to us, we're pointing to us... 22378a685aaSJim Ingham m_value.SetValueType(Value::eValueTypeScalar); 22478a685aaSJim Ingham 22578a685aaSJim Ingham if (m_address.IsValid() && m_type_sp) 22678a685aaSJim Ingham { 22778a685aaSJim Ingham // The variable value is in the Scalar value inside the m_value. 22878a685aaSJim Ingham // We can point our m_data right to it. 229644247c1SGreg Clayton m_error = m_value.GetValueAsData (&exe_ctx, GetClangAST(), m_data, 0, GetModule()); 23078a685aaSJim Ingham if (m_error.Success()) 23178a685aaSJim Ingham { 23278a685aaSJim Ingham if (ClangASTContext::IsAggregateType (GetClangType())) 23378a685aaSJim Ingham { 23478a685aaSJim Ingham // this value object represents an aggregate type whose 23578a685aaSJim Ingham // children have values, but this object does not. So we 23678a685aaSJim Ingham // say we are changed if our location has changed. 23778a685aaSJim Ingham SetValueDidChange (m_value.GetValueType() != old_value.GetValueType() || m_value.GetScalar() != old_value.GetScalar()); 23878a685aaSJim Ingham } 23978a685aaSJim Ingham 24078a685aaSJim Ingham SetValueIsValid (true); 24178a685aaSJim Ingham return true; 24278a685aaSJim Ingham } 24378a685aaSJim Ingham } 24478a685aaSJim Ingham 24578a685aaSJim Ingham // We get here if we've failed above... 24678a685aaSJim Ingham SetValueIsValid (false); 24778a685aaSJim Ingham return false; 24878a685aaSJim Ingham } 24978a685aaSJim Ingham 25078a685aaSJim Ingham 25178a685aaSJim Ingham 25278a685aaSJim Ingham bool 25378a685aaSJim Ingham ValueObjectDynamicValue::IsInScope () 25478a685aaSJim Ingham { 25578a685aaSJim Ingham return m_parent->IsInScope(); 25678a685aaSJim Ingham } 25778a685aaSJim Ingham 258