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 
3778a685aaSJim Ingham ValueObjectDynamicValue::ValueObjectDynamicValue (ValueObject &parent) :
3878a685aaSJim Ingham     ValueObject(parent),
3978a685aaSJim Ingham     m_address (),
4078a685aaSJim Ingham     m_type_sp()
4178a685aaSJim Ingham {
4278a685aaSJim Ingham     SetName (parent.GetName().AsCString());
4378a685aaSJim Ingham }
4478a685aaSJim Ingham 
4578a685aaSJim Ingham ValueObjectDynamicValue::~ValueObjectDynamicValue()
4678a685aaSJim Ingham {
4778a685aaSJim Ingham     m_owning_valobj_sp.reset();
4878a685aaSJim Ingham }
4978a685aaSJim Ingham 
5078a685aaSJim Ingham lldb::clang_type_t
5178a685aaSJim Ingham ValueObjectDynamicValue::GetClangType ()
5278a685aaSJim Ingham {
5378a685aaSJim Ingham     if (m_type_sp)
5478a685aaSJim Ingham         return m_value.GetClangType();
5578a685aaSJim Ingham     else
5678a685aaSJim Ingham         return m_parent->GetClangType();
5778a685aaSJim Ingham }
5878a685aaSJim Ingham 
5978a685aaSJim Ingham ConstString
6078a685aaSJim Ingham ValueObjectDynamicValue::GetTypeName()
6178a685aaSJim Ingham {
6278a685aaSJim Ingham     // FIXME: Maybe cache the name, but have to clear it out if the type changes...
6378a685aaSJim Ingham     if (!UpdateValueIfNeeded())
6478a685aaSJim Ingham         return ConstString("<unknown type>");
6578a685aaSJim Ingham 
6678a685aaSJim Ingham     if (m_type_sp)
6778a685aaSJim Ingham         return ClangASTType::GetClangTypeName (GetClangType());
6878a685aaSJim Ingham     else
6978a685aaSJim Ingham         return m_parent->GetTypeName();
7078a685aaSJim Ingham }
7178a685aaSJim Ingham 
7278a685aaSJim Ingham uint32_t
7378a685aaSJim Ingham ValueObjectDynamicValue::CalculateNumChildren()
7478a685aaSJim Ingham {
7578a685aaSJim Ingham     if (!UpdateValueIfNeeded())
7678a685aaSJim Ingham         return 0;
7778a685aaSJim Ingham 
7878a685aaSJim Ingham     if (m_type_sp)
7978a685aaSJim Ingham         return ClangASTContext::GetNumChildren (GetClangAST (), GetClangType(), true);
8078a685aaSJim Ingham     else
8178a685aaSJim Ingham         return m_parent->GetNumChildren();
8278a685aaSJim Ingham }
8378a685aaSJim Ingham 
8478a685aaSJim Ingham clang::ASTContext *
8578a685aaSJim Ingham ValueObjectDynamicValue::GetClangAST ()
8678a685aaSJim Ingham {
8778a685aaSJim Ingham     if (!UpdateValueIfNeeded())
8878a685aaSJim Ingham         return NULL;
8978a685aaSJim Ingham 
9078a685aaSJim Ingham     if (m_type_sp)
9178a685aaSJim Ingham         return m_type_sp->GetClangAST();
9278a685aaSJim Ingham     else
9378a685aaSJim Ingham         return m_parent->GetClangAST ();
9478a685aaSJim Ingham }
9578a685aaSJim Ingham 
9678a685aaSJim Ingham size_t
9778a685aaSJim Ingham ValueObjectDynamicValue::GetByteSize()
9878a685aaSJim Ingham {
9978a685aaSJim Ingham     if (!UpdateValueIfNeeded())
10078a685aaSJim Ingham         return 0;
10178a685aaSJim Ingham 
10278a685aaSJim Ingham     if (m_type_sp)
10378a685aaSJim Ingham         return m_value.GetValueByteSize(GetClangAST(), NULL);
10478a685aaSJim Ingham     else
10578a685aaSJim Ingham         return m_parent->GetByteSize();
10678a685aaSJim Ingham }
10778a685aaSJim Ingham 
10878a685aaSJim Ingham lldb::ValueType
10978a685aaSJim Ingham ValueObjectDynamicValue::GetValueType() const
11078a685aaSJim Ingham {
11178a685aaSJim Ingham     return m_parent->GetValueType();
11278a685aaSJim Ingham }
11378a685aaSJim Ingham 
11478a685aaSJim Ingham bool
11578a685aaSJim Ingham ValueObjectDynamicValue::UpdateValue ()
11678a685aaSJim Ingham {
11778a685aaSJim Ingham     SetValueIsValid (false);
11878a685aaSJim Ingham     m_error.Clear();
11978a685aaSJim Ingham 
12078a685aaSJim Ingham     if (!m_parent->UpdateValueIfNeeded())
12178a685aaSJim Ingham     {
12278a685aaSJim Ingham         return false;
12378a685aaSJim Ingham     }
12478a685aaSJim Ingham 
12578a685aaSJim Ingham     ExecutionContext exe_ctx (GetExecutionContextScope());
12678a685aaSJim Ingham 
12778a685aaSJim Ingham     if (exe_ctx.target)
12878a685aaSJim Ingham     {
12978a685aaSJim Ingham         m_data.SetByteOrder(exe_ctx.target->GetArchitecture().GetByteOrder());
13078a685aaSJim Ingham         m_data.SetAddressByteSize(exe_ctx.target->GetArchitecture().GetAddressByteSize());
13178a685aaSJim Ingham     }
13278a685aaSJim Ingham 
13378a685aaSJim Ingham     // First make sure our Type and/or Address haven't changed:
13478a685aaSJim Ingham     Process *process = m_update_point.GetProcess();
13578a685aaSJim Ingham     if (!process)
13678a685aaSJim Ingham         return false;
13778a685aaSJim Ingham 
138*61be0903SJim Ingham     TypeAndOrName class_type_or_name;
13978a685aaSJim Ingham     Address dynamic_address;
14078a685aaSJim Ingham     bool found_dynamic_type = false;
14178a685aaSJim Ingham 
14278a685aaSJim Ingham     lldb::LanguageType known_type = m_parent->GetObjectRuntimeLanguage();
14378a685aaSJim Ingham     if (known_type != lldb::eLanguageTypeUnknown && known_type != lldb::eLanguageTypeC)
14478a685aaSJim Ingham     {
14578a685aaSJim Ingham         LanguageRuntime *runtime = process->GetLanguageRuntime (known_type);
14678a685aaSJim Ingham         if (runtime)
147*61be0903SJim Ingham             found_dynamic_type = runtime->GetDynamicTypeAndAddress (*m_parent, class_type_or_name, dynamic_address);
14878a685aaSJim Ingham     }
14978a685aaSJim Ingham     else
15078a685aaSJim Ingham     {
15178a685aaSJim Ingham         LanguageRuntime *cpp_runtime = process->GetLanguageRuntime (lldb::eLanguageTypeC_plus_plus);
15278a685aaSJim Ingham         if (cpp_runtime)
153*61be0903SJim Ingham             found_dynamic_type = cpp_runtime->GetDynamicTypeAndAddress (*m_parent, class_type_or_name, dynamic_address);
15478a685aaSJim Ingham 
15578a685aaSJim Ingham         if (!found_dynamic_type)
15678a685aaSJim Ingham         {
15778a685aaSJim Ingham             LanguageRuntime *objc_runtime = process->GetLanguageRuntime (lldb::eLanguageTypeObjC);
15878a685aaSJim Ingham             if (objc_runtime)
159*61be0903SJim Ingham                 found_dynamic_type = cpp_runtime->GetDynamicTypeAndAddress (*m_parent, class_type_or_name, dynamic_address);
16078a685aaSJim Ingham         }
16178a685aaSJim Ingham     }
16278a685aaSJim Ingham 
163*61be0903SJim Ingham     lldb::TypeSP dynamic_type_sp = class_type_or_name.GetTypeSP();
164*61be0903SJim Ingham 
165*61be0903SJim Ingham     // Getting the dynamic value may have run the program a bit, and so marked us as needing updating, but we really
166*61be0903SJim Ingham     // don't...
167*61be0903SJim Ingham 
168*61be0903SJim Ingham     m_update_point.SetUpdated();
169*61be0903SJim Ingham 
17078a685aaSJim Ingham     // If we don't have a dynamic type, then make ourselves just a echo of our parent.
17178a685aaSJim Ingham     // Or we could return false, and make ourselves an echo of our parent?
17278a685aaSJim Ingham     if (!found_dynamic_type)
17378a685aaSJim Ingham     {
17478a685aaSJim Ingham         if (m_type_sp)
17578a685aaSJim Ingham             SetValueDidChange(true);
17678a685aaSJim Ingham         m_value = m_parent->GetValue();
17778a685aaSJim Ingham         m_error = m_value.GetValueAsData (&exe_ctx, GetClangAST(), m_data, 0);
17878a685aaSJim Ingham         return m_error.Success();
17978a685aaSJim Ingham     }
18078a685aaSJim Ingham 
18178a685aaSJim Ingham     Value old_value(m_value);
18278a685aaSJim Ingham 
18378a685aaSJim Ingham     if (!m_type_sp)
18478a685aaSJim Ingham     {
18578a685aaSJim Ingham         m_type_sp = dynamic_type_sp;
18678a685aaSJim Ingham     }
18778a685aaSJim Ingham     else if (dynamic_type_sp != m_type_sp)
18878a685aaSJim Ingham     {
18978a685aaSJim Ingham         // We are another type, we need to tear down our children...
19078a685aaSJim Ingham         m_type_sp = dynamic_type_sp;
19178a685aaSJim Ingham         SetValueDidChange (true);
19278a685aaSJim Ingham     }
19378a685aaSJim Ingham 
19478a685aaSJim Ingham     if (!m_address.IsValid() || m_address != dynamic_address)
19578a685aaSJim Ingham     {
19678a685aaSJim Ingham         if (m_address.IsValid())
19778a685aaSJim Ingham             SetValueDidChange (true);
19878a685aaSJim Ingham 
19978a685aaSJim Ingham         // We've moved, so we should be fine...
20078a685aaSJim Ingham         m_address = dynamic_address;
20178a685aaSJim Ingham         lldb::addr_t load_address = m_address.GetLoadAddress(m_update_point.GetTarget());
20278a685aaSJim Ingham         m_value.GetScalar() = load_address;
20378a685aaSJim Ingham     }
20478a685aaSJim Ingham 
20578a685aaSJim Ingham     // The type will always be the type of the dynamic object.  If our parent's type was a pointer,
20678a685aaSJim Ingham     // then our type should be a pointer to the type of the dynamic object.  If a reference, then the original type
20778a685aaSJim Ingham     // should be okay...
20878a685aaSJim Ingham     lldb::clang_type_t orig_type = m_type_sp->GetClangForwardType();
20978a685aaSJim Ingham     lldb::clang_type_t corrected_type = orig_type;
21078a685aaSJim Ingham     if (m_parent->IsPointerType())
21178a685aaSJim Ingham         corrected_type = ClangASTContext::CreatePointerType (m_type_sp->GetClangAST(), orig_type);
21278a685aaSJim Ingham     else if (m_parent->IsPointerOrReferenceType())
21378a685aaSJim Ingham         corrected_type = ClangASTContext::CreateLValueReferenceType (m_type_sp->GetClangAST(), orig_type);
21478a685aaSJim Ingham 
21578a685aaSJim Ingham     m_value.SetContext (Value::eContextTypeClangType, corrected_type);
21678a685aaSJim Ingham 
21778a685aaSJim Ingham     // Our address is the location of the dynamic type stored in memory.  It isn't a load address,
21878a685aaSJim Ingham     // because we aren't pointing to the LOCATION that stores the pointer to us, we're pointing to us...
21978a685aaSJim Ingham     m_value.SetValueType(Value::eValueTypeScalar);
22078a685aaSJim Ingham 
22178a685aaSJim Ingham     if (m_address.IsValid() && m_type_sp)
22278a685aaSJim Ingham     {
22378a685aaSJim Ingham         // The variable value is in the Scalar value inside the m_value.
22478a685aaSJim Ingham         // We can point our m_data right to it.
22578a685aaSJim Ingham         m_error = m_value.GetValueAsData (&exe_ctx, GetClangAST(), m_data, 0);
22678a685aaSJim Ingham         if (m_error.Success())
22778a685aaSJim Ingham         {
22878a685aaSJim Ingham             if (ClangASTContext::IsAggregateType (GetClangType()))
22978a685aaSJim Ingham             {
23078a685aaSJim Ingham                 // this value object represents an aggregate type whose
23178a685aaSJim Ingham                 // children have values, but this object does not. So we
23278a685aaSJim Ingham                 // say we are changed if our location has changed.
23378a685aaSJim Ingham                 SetValueDidChange (m_value.GetValueType() != old_value.GetValueType() || m_value.GetScalar() != old_value.GetScalar());
23478a685aaSJim Ingham             }
23578a685aaSJim Ingham 
23678a685aaSJim Ingham             SetValueIsValid (true);
23778a685aaSJim Ingham             return true;
23878a685aaSJim Ingham         }
23978a685aaSJim Ingham     }
24078a685aaSJim Ingham 
24178a685aaSJim Ingham     // We get here if we've failed above...
24278a685aaSJim Ingham     SetValueIsValid (false);
24378a685aaSJim Ingham     return false;
24478a685aaSJim Ingham }
24578a685aaSJim Ingham 
24678a685aaSJim Ingham 
24778a685aaSJim Ingham 
24878a685aaSJim Ingham bool
24978a685aaSJim Ingham ValueObjectDynamicValue::IsInScope ()
25078a685aaSJim Ingham {
25178a685aaSJim Ingham     return m_parent->IsInScope();
25278a685aaSJim Ingham }
25378a685aaSJim Ingham 
254