10b57cec5SDimitry Andric #include "UdtRecordCompleter.h"
20b57cec5SDimitry Andric 
30b57cec5SDimitry Andric #include "PdbAstBuilder.h"
40b57cec5SDimitry Andric #include "PdbIndex.h"
50b57cec5SDimitry Andric #include "PdbSymUid.h"
60b57cec5SDimitry Andric #include "PdbUtil.h"
70b57cec5SDimitry Andric 
85ffd83dbSDimitry Andric #include "Plugins/ExpressionParser/Clang/ClangASTImporter.h"
9bdd1243dSDimitry Andric #include "Plugins/ExpressionParser/Clang/ClangASTMetadata.h"
105ffd83dbSDimitry Andric #include "Plugins/ExpressionParser/Clang/ClangUtil.h"
115ffd83dbSDimitry Andric #include "Plugins/TypeSystem/Clang/TypeSystemClang.h"
12bdd1243dSDimitry Andric #include "SymbolFileNativePDB.h"
13bdd1243dSDimitry Andric #include "lldb/Core/Address.h"
140b57cec5SDimitry Andric #include "lldb/Symbol/Type.h"
150b57cec5SDimitry Andric #include "lldb/Utility/LLDBAssert.h"
1681ad6265SDimitry Andric #include "lldb/Utility/LLDBLog.h"
170b57cec5SDimitry Andric #include "lldb/lldb-enumerations.h"
180b57cec5SDimitry Andric #include "lldb/lldb-forward.h"
190b57cec5SDimitry Andric 
20bdd1243dSDimitry Andric #include "llvm/ADT/STLExtras.h"
215ffd83dbSDimitry Andric #include "llvm/DebugInfo/CodeView/SymbolDeserializer.h"
220b57cec5SDimitry Andric #include "llvm/DebugInfo/CodeView/TypeDeserializer.h"
230b57cec5SDimitry Andric #include "llvm/DebugInfo/CodeView/TypeIndex.h"
245ffd83dbSDimitry Andric #include "llvm/DebugInfo/PDB/Native/GlobalsStream.h"
250b57cec5SDimitry Andric #include "llvm/DebugInfo/PDB/Native/TpiStream.h"
260b57cec5SDimitry Andric #include "llvm/DebugInfo/PDB/PDBTypes.h"
27bdd1243dSDimitry Andric #include <optional>
280b57cec5SDimitry Andric 
290b57cec5SDimitry Andric using namespace llvm::codeview;
300b57cec5SDimitry Andric using namespace llvm::pdb;
310b57cec5SDimitry Andric using namespace lldb;
320b57cec5SDimitry Andric using namespace lldb_private;
330b57cec5SDimitry Andric using namespace lldb_private::npdb;
340b57cec5SDimitry Andric 
350b57cec5SDimitry Andric using Error = llvm::Error;
360b57cec5SDimitry Andric 
UdtRecordCompleter(PdbTypeSymId id,CompilerType & derived_ct,clang::TagDecl & tag_decl,PdbAstBuilder & ast_builder,PdbIndex & index,llvm::DenseMap<clang::Decl *,DeclStatus> & decl_to_status,llvm::DenseMap<lldb::opaque_compiler_type_t,llvm::SmallSet<std::pair<llvm::StringRef,CompilerType>,8>> & cxx_record_map)370eae32dcSDimitry Andric UdtRecordCompleter::UdtRecordCompleter(
380eae32dcSDimitry Andric     PdbTypeSymId id, CompilerType &derived_ct, clang::TagDecl &tag_decl,
390eae32dcSDimitry Andric     PdbAstBuilder &ast_builder, PdbIndex &index,
40bdd1243dSDimitry Andric     llvm::DenseMap<clang::Decl *, DeclStatus> &decl_to_status,
410eae32dcSDimitry Andric     llvm::DenseMap<lldb::opaque_compiler_type_t,
420eae32dcSDimitry Andric                    llvm::SmallSet<std::pair<llvm::StringRef, CompilerType>, 8>>
430eae32dcSDimitry Andric         &cxx_record_map)
440b57cec5SDimitry Andric     : m_id(id), m_derived_ct(derived_ct), m_tag_decl(tag_decl),
450eae32dcSDimitry Andric       m_ast_builder(ast_builder), m_index(index),
46bdd1243dSDimitry Andric       m_decl_to_status(decl_to_status), m_cxx_record_map(cxx_record_map) {
475ffd83dbSDimitry Andric   CVType cvt = m_index.tpi().getType(m_id.index);
480b57cec5SDimitry Andric   switch (cvt.kind()) {
490b57cec5SDimitry Andric   case LF_ENUM:
500b57cec5SDimitry Andric     llvm::cantFail(TypeDeserializer::deserializeAs<EnumRecord>(cvt, m_cvr.er));
510b57cec5SDimitry Andric     break;
520b57cec5SDimitry Andric   case LF_UNION:
530b57cec5SDimitry Andric     llvm::cantFail(TypeDeserializer::deserializeAs<UnionRecord>(cvt, m_cvr.ur));
54bdd1243dSDimitry Andric     m_layout.bit_size = m_cvr.ur.getSize() * 8;
55bdd1243dSDimitry Andric     m_record.record.kind = Member::Union;
560b57cec5SDimitry Andric     break;
570b57cec5SDimitry Andric   case LF_CLASS:
580b57cec5SDimitry Andric   case LF_STRUCTURE:
590b57cec5SDimitry Andric     llvm::cantFail(TypeDeserializer::deserializeAs<ClassRecord>(cvt, m_cvr.cr));
60bdd1243dSDimitry Andric     m_layout.bit_size = m_cvr.cr.getSize() * 8;
61bdd1243dSDimitry Andric     m_record.record.kind = Member::Struct;
620b57cec5SDimitry Andric     break;
630b57cec5SDimitry Andric   default:
640b57cec5SDimitry Andric     llvm_unreachable("unreachable!");
650b57cec5SDimitry Andric   }
660b57cec5SDimitry Andric }
670b57cec5SDimitry Andric 
AddBaseClassForTypeIndex(llvm::codeview::TypeIndex ti,llvm::codeview::MemberAccess access,std::optional<uint64_t> vtable_idx)680b57cec5SDimitry Andric clang::QualType UdtRecordCompleter::AddBaseClassForTypeIndex(
690b57cec5SDimitry Andric     llvm::codeview::TypeIndex ti, llvm::codeview::MemberAccess access,
70bdd1243dSDimitry Andric     std::optional<uint64_t> vtable_idx) {
710b57cec5SDimitry Andric   PdbTypeSymId type_id(ti);
720b57cec5SDimitry Andric   clang::QualType qt = m_ast_builder.GetOrCreateType(type_id);
730b57cec5SDimitry Andric 
745ffd83dbSDimitry Andric   CVType udt_cvt = m_index.tpi().getType(ti);
750b57cec5SDimitry Andric 
760b57cec5SDimitry Andric   std::unique_ptr<clang::CXXBaseSpecifier> base_spec =
770b57cec5SDimitry Andric       m_ast_builder.clang().CreateBaseClassSpecifier(
780b57cec5SDimitry Andric           qt.getAsOpaquePtr(), TranslateMemberAccess(access),
7981ad6265SDimitry Andric           vtable_idx.has_value(), udt_cvt.kind() == LF_CLASS);
8081ad6265SDimitry Andric   if (!base_spec)
8181ad6265SDimitry Andric     return {};
820b57cec5SDimitry Andric 
830b57cec5SDimitry Andric   m_bases.push_back(
8481ad6265SDimitry Andric       std::make_pair(vtable_idx.value_or(0), std::move(base_spec)));
850b57cec5SDimitry Andric 
860b57cec5SDimitry Andric   return qt;
870b57cec5SDimitry Andric }
880b57cec5SDimitry Andric 
AddMethod(llvm::StringRef name,TypeIndex type_idx,MemberAccess access,MethodOptions options,MemberAttributes attrs)890b57cec5SDimitry Andric void UdtRecordCompleter::AddMethod(llvm::StringRef name, TypeIndex type_idx,
900b57cec5SDimitry Andric                                    MemberAccess access, MethodOptions options,
910b57cec5SDimitry Andric                                    MemberAttributes attrs) {
920b57cec5SDimitry Andric   clang::QualType method_qt =
930b57cec5SDimitry Andric       m_ast_builder.GetOrCreateType(PdbTypeSymId(type_idx));
9481ad6265SDimitry Andric   if (method_qt.isNull())
9581ad6265SDimitry Andric     return;
960eae32dcSDimitry Andric   CompilerType method_ct = m_ast_builder.ToCompilerType(method_qt);
97bdd1243dSDimitry Andric   TypeSystemClang::RequireCompleteType(method_ct);
98bdd1243dSDimitry Andric   lldb::opaque_compiler_type_t derived_opaque_ty =
99bdd1243dSDimitry Andric       m_derived_ct.GetOpaqueQualType();
1000eae32dcSDimitry Andric   auto iter = m_cxx_record_map.find(derived_opaque_ty);
1010eae32dcSDimitry Andric   if (iter != m_cxx_record_map.end()) {
1020eae32dcSDimitry Andric     if (iter->getSecond().contains({name, method_ct})) {
1030eae32dcSDimitry Andric       return;
1040eae32dcSDimitry Andric     }
1050eae32dcSDimitry Andric   }
1060b57cec5SDimitry Andric 
1070b57cec5SDimitry Andric   lldb::AccessType access_type = TranslateMemberAccess(access);
1080b57cec5SDimitry Andric   bool is_artificial = (options & MethodOptions::CompilerGenerated) ==
1090b57cec5SDimitry Andric                        MethodOptions::CompilerGenerated;
1100b57cec5SDimitry Andric   m_ast_builder.clang().AddMethodToCXXRecordType(
1110eae32dcSDimitry Andric       derived_opaque_ty, name.data(), nullptr, method_ct,
1120eae32dcSDimitry Andric       access_type, attrs.isVirtual(), attrs.isStatic(), false, false, false,
1130eae32dcSDimitry Andric       is_artificial);
1140eae32dcSDimitry Andric 
1150eae32dcSDimitry Andric   m_cxx_record_map[derived_opaque_ty].insert({name, method_ct});
1160b57cec5SDimitry Andric }
1170b57cec5SDimitry Andric 
visitKnownMember(CVMemberRecord & cvr,BaseClassRecord & base)1180b57cec5SDimitry Andric Error UdtRecordCompleter::visitKnownMember(CVMemberRecord &cvr,
1190b57cec5SDimitry Andric                                            BaseClassRecord &base) {
1200b57cec5SDimitry Andric   clang::QualType base_qt =
1210b57cec5SDimitry Andric       AddBaseClassForTypeIndex(base.Type, base.getAccess());
1220b57cec5SDimitry Andric 
12381ad6265SDimitry Andric   if (base_qt.isNull())
12481ad6265SDimitry Andric     return llvm::Error::success();
1250b57cec5SDimitry Andric   auto decl =
1260b57cec5SDimitry Andric       m_ast_builder.clang().GetAsCXXRecordDecl(base_qt.getAsOpaquePtr());
1270b57cec5SDimitry Andric   lldbassert(decl);
1280b57cec5SDimitry Andric 
1290b57cec5SDimitry Andric   auto offset = clang::CharUnits::fromQuantity(base.getBaseOffset());
1300b57cec5SDimitry Andric   m_layout.base_offsets.insert(std::make_pair(decl, offset));
1310b57cec5SDimitry Andric 
1320b57cec5SDimitry Andric   return llvm::Error::success();
1330b57cec5SDimitry Andric }
1340b57cec5SDimitry Andric 
visitKnownMember(CVMemberRecord & cvr,VirtualBaseClassRecord & base)1350b57cec5SDimitry Andric Error UdtRecordCompleter::visitKnownMember(CVMemberRecord &cvr,
1360b57cec5SDimitry Andric                                            VirtualBaseClassRecord &base) {
1370b57cec5SDimitry Andric   AddBaseClassForTypeIndex(base.BaseType, base.getAccess(), base.VTableIndex);
1380b57cec5SDimitry Andric 
1390b57cec5SDimitry Andric   return Error::success();
1400b57cec5SDimitry Andric }
1410b57cec5SDimitry Andric 
visitKnownMember(CVMemberRecord & cvr,ListContinuationRecord & cont)1420b57cec5SDimitry Andric Error UdtRecordCompleter::visitKnownMember(CVMemberRecord &cvr,
1430b57cec5SDimitry Andric                                            ListContinuationRecord &cont) {
1440b57cec5SDimitry Andric   return Error::success();
1450b57cec5SDimitry Andric }
1460b57cec5SDimitry Andric 
visitKnownMember(CVMemberRecord & cvr,VFPtrRecord & vfptr)1470b57cec5SDimitry Andric Error UdtRecordCompleter::visitKnownMember(CVMemberRecord &cvr,
1480b57cec5SDimitry Andric                                            VFPtrRecord &vfptr) {
1490b57cec5SDimitry Andric   return Error::success();
1500b57cec5SDimitry Andric }
1510b57cec5SDimitry Andric 
visitKnownMember(CVMemberRecord & cvr,StaticDataMemberRecord & static_data_member)1520b57cec5SDimitry Andric Error UdtRecordCompleter::visitKnownMember(
1530b57cec5SDimitry Andric     CVMemberRecord &cvr, StaticDataMemberRecord &static_data_member) {
1540b57cec5SDimitry Andric   clang::QualType member_type =
1550b57cec5SDimitry Andric       m_ast_builder.GetOrCreateType(PdbTypeSymId(static_data_member.Type));
15681ad6265SDimitry Andric   if (member_type.isNull())
15781ad6265SDimitry Andric     return llvm::Error::success();
1580b57cec5SDimitry Andric 
1590b57cec5SDimitry Andric   CompilerType member_ct = m_ast_builder.ToCompilerType(member_type);
1600b57cec5SDimitry Andric 
1610b57cec5SDimitry Andric   lldb::AccessType access =
1620b57cec5SDimitry Andric       TranslateMemberAccess(static_data_member.getAccess());
1635ffd83dbSDimitry Andric   auto decl = TypeSystemClang::AddVariableToRecordType(
1640b57cec5SDimitry Andric       m_derived_ct, static_data_member.Name, member_ct, access);
1650b57cec5SDimitry Andric 
1665ffd83dbSDimitry Andric   // Static constant members may be a const[expr] declaration.
1675ffd83dbSDimitry Andric   // Query the symbol's value as the variable initializer if valid.
16881ad6265SDimitry Andric   if (member_ct.IsConst() && member_ct.IsCompleteType()) {
1695ffd83dbSDimitry Andric     std::string qual_name = decl->getQualifiedNameAsString();
1705ffd83dbSDimitry Andric 
1715ffd83dbSDimitry Andric     auto results =
1725ffd83dbSDimitry Andric         m_index.globals().findRecordsByName(qual_name, m_index.symrecords());
1735ffd83dbSDimitry Andric 
1745ffd83dbSDimitry Andric     for (const auto &result : results) {
1755ffd83dbSDimitry Andric       if (result.second.kind() == SymbolKind::S_CONSTANT) {
1765ffd83dbSDimitry Andric         ConstantSym constant(SymbolRecordKind::ConstantSym);
1775ffd83dbSDimitry Andric         cantFail(SymbolDeserializer::deserializeAs<ConstantSym>(result.second,
1785ffd83dbSDimitry Andric                                                                 constant));
1795ffd83dbSDimitry Andric 
1805ffd83dbSDimitry Andric         clang::QualType qual_type = decl->getType();
1815ffd83dbSDimitry Andric         unsigned type_width = decl->getASTContext().getIntWidth(qual_type);
1825ffd83dbSDimitry Andric         unsigned constant_width = constant.Value.getBitWidth();
1835ffd83dbSDimitry Andric 
1845ffd83dbSDimitry Andric         if (qual_type->isIntegralOrEnumerationType()) {
1855ffd83dbSDimitry Andric           if (type_width >= constant_width) {
1865ffd83dbSDimitry Andric             TypeSystemClang::SetIntegerInitializerForVariable(
1875ffd83dbSDimitry Andric                 decl, constant.Value.extOrTrunc(type_width));
1885ffd83dbSDimitry Andric           } else {
18981ad6265SDimitry Andric             LLDB_LOG(GetLog(LLDBLog::AST),
1905ffd83dbSDimitry Andric                      "Class '{0}' has a member '{1}' of type '{2}' ({3} bits) "
1915ffd83dbSDimitry Andric                      "which resolves to a wider constant value ({4} bits). "
1925ffd83dbSDimitry Andric                      "Ignoring constant.",
1935ffd83dbSDimitry Andric                      m_derived_ct.GetTypeName(), static_data_member.Name,
1945ffd83dbSDimitry Andric                      member_ct.GetTypeName(), type_width, constant_width);
1955ffd83dbSDimitry Andric           }
1965ffd83dbSDimitry Andric         } else {
1975ffd83dbSDimitry Andric           lldb::BasicType basic_type_enum = member_ct.GetBasicTypeEnumeration();
1985ffd83dbSDimitry Andric           switch (basic_type_enum) {
1995ffd83dbSDimitry Andric           case lldb::eBasicTypeFloat:
2005ffd83dbSDimitry Andric           case lldb::eBasicTypeDouble:
2015ffd83dbSDimitry Andric           case lldb::eBasicTypeLongDouble:
2025ffd83dbSDimitry Andric             if (type_width == constant_width) {
2035ffd83dbSDimitry Andric               TypeSystemClang::SetFloatingInitializerForVariable(
2045ffd83dbSDimitry Andric                   decl, basic_type_enum == lldb::eBasicTypeFloat
2055ffd83dbSDimitry Andric                             ? llvm::APFloat(constant.Value.bitsToFloat())
2065ffd83dbSDimitry Andric                             : llvm::APFloat(constant.Value.bitsToDouble()));
2075ffd83dbSDimitry Andric               decl->setConstexpr(true);
2085ffd83dbSDimitry Andric             } else {
2095ffd83dbSDimitry Andric               LLDB_LOG(
21081ad6265SDimitry Andric                   GetLog(LLDBLog::AST),
2115ffd83dbSDimitry Andric                   "Class '{0}' has a member '{1}' of type '{2}' ({3} bits) "
2125ffd83dbSDimitry Andric                   "which resolves to a constant value of mismatched width "
2135ffd83dbSDimitry Andric                   "({4} bits). Ignoring constant.",
2145ffd83dbSDimitry Andric                   m_derived_ct.GetTypeName(), static_data_member.Name,
2155ffd83dbSDimitry Andric                   member_ct.GetTypeName(), type_width, constant_width);
2165ffd83dbSDimitry Andric             }
2175ffd83dbSDimitry Andric             break;
2185ffd83dbSDimitry Andric           default:
2195ffd83dbSDimitry Andric             break;
2205ffd83dbSDimitry Andric           }
2215ffd83dbSDimitry Andric         }
2225ffd83dbSDimitry Andric         break;
2235ffd83dbSDimitry Andric       }
2245ffd83dbSDimitry Andric     }
2255ffd83dbSDimitry Andric   }
2265ffd83dbSDimitry Andric 
2270b57cec5SDimitry Andric   // FIXME: Add a PdbSymUid namespace for field list members and update
2280b57cec5SDimitry Andric   // the m_uid_to_decl map with this decl.
2290b57cec5SDimitry Andric   return Error::success();
2300b57cec5SDimitry Andric }
2310b57cec5SDimitry Andric 
visitKnownMember(CVMemberRecord & cvr,NestedTypeRecord & nested)2320b57cec5SDimitry Andric Error UdtRecordCompleter::visitKnownMember(CVMemberRecord &cvr,
2330b57cec5SDimitry Andric                                            NestedTypeRecord &nested) {
2340b57cec5SDimitry Andric   return Error::success();
2350b57cec5SDimitry Andric }
2360b57cec5SDimitry Andric 
visitKnownMember(CVMemberRecord & cvr,DataMemberRecord & data_member)2370b57cec5SDimitry Andric Error UdtRecordCompleter::visitKnownMember(CVMemberRecord &cvr,
2380b57cec5SDimitry Andric                                            DataMemberRecord &data_member) {
2390b57cec5SDimitry Andric 
2400b57cec5SDimitry Andric   uint64_t offset = data_member.FieldOffset * 8;
2410b57cec5SDimitry Andric   uint32_t bitfield_width = 0;
2420b57cec5SDimitry Andric 
2430b57cec5SDimitry Andric   TypeIndex ti(data_member.Type);
2440b57cec5SDimitry Andric   if (!ti.isSimple()) {
2455ffd83dbSDimitry Andric     CVType cvt = m_index.tpi().getType(ti);
2460b57cec5SDimitry Andric     if (cvt.kind() == LF_BITFIELD) {
2470b57cec5SDimitry Andric       BitFieldRecord bfr;
2480b57cec5SDimitry Andric       llvm::cantFail(TypeDeserializer::deserializeAs<BitFieldRecord>(cvt, bfr));
2490b57cec5SDimitry Andric       offset += bfr.BitOffset;
2500b57cec5SDimitry Andric       bitfield_width = bfr.BitSize;
2510b57cec5SDimitry Andric       ti = bfr.Type;
2520b57cec5SDimitry Andric     }
2530b57cec5SDimitry Andric   }
2540b57cec5SDimitry Andric 
2550b57cec5SDimitry Andric   clang::QualType member_qt = m_ast_builder.GetOrCreateType(PdbTypeSymId(ti));
25681ad6265SDimitry Andric   if (member_qt.isNull())
25781ad6265SDimitry Andric     return Error::success();
258bdd1243dSDimitry Andric   TypeSystemClang::RequireCompleteType(m_ast_builder.ToCompilerType(member_qt));
2590b57cec5SDimitry Andric   lldb::AccessType access = TranslateMemberAccess(data_member.getAccess());
260bdd1243dSDimitry Andric   size_t field_size =
261bdd1243dSDimitry Andric       bitfield_width ? bitfield_width : GetSizeOfType(ti, m_index.tpi()) * 8;
262bdd1243dSDimitry Andric   if (field_size == 0)
263bdd1243dSDimitry Andric     return Error::success();
264bdd1243dSDimitry Andric   m_record.CollectMember(data_member.Name, offset, field_size, member_qt, access,
265bdd1243dSDimitry Andric                 bitfield_width);
2660b57cec5SDimitry Andric   return Error::success();
2670b57cec5SDimitry Andric }
2680b57cec5SDimitry Andric 
visitKnownMember(CVMemberRecord & cvr,OneMethodRecord & one_method)2690b57cec5SDimitry Andric Error UdtRecordCompleter::visitKnownMember(CVMemberRecord &cvr,
2700b57cec5SDimitry Andric                                            OneMethodRecord &one_method) {
2710b57cec5SDimitry Andric   AddMethod(one_method.Name, one_method.Type, one_method.getAccess(),
2720b57cec5SDimitry Andric             one_method.getOptions(), one_method.Attrs);
2730b57cec5SDimitry Andric 
2740b57cec5SDimitry Andric   return Error::success();
2750b57cec5SDimitry Andric }
2760b57cec5SDimitry Andric 
visitKnownMember(CVMemberRecord & cvr,OverloadedMethodRecord & overloaded)2770b57cec5SDimitry Andric Error UdtRecordCompleter::visitKnownMember(CVMemberRecord &cvr,
2780b57cec5SDimitry Andric                                            OverloadedMethodRecord &overloaded) {
2790b57cec5SDimitry Andric   TypeIndex method_list_idx = overloaded.MethodList;
2800b57cec5SDimitry Andric 
2815ffd83dbSDimitry Andric   CVType method_list_type = m_index.tpi().getType(method_list_idx);
2820b57cec5SDimitry Andric   assert(method_list_type.kind() == LF_METHODLIST);
2830b57cec5SDimitry Andric 
2840b57cec5SDimitry Andric   MethodOverloadListRecord method_list;
2850b57cec5SDimitry Andric   llvm::cantFail(TypeDeserializer::deserializeAs<MethodOverloadListRecord>(
2860b57cec5SDimitry Andric       method_list_type, method_list));
2870b57cec5SDimitry Andric 
2880b57cec5SDimitry Andric   for (const OneMethodRecord &method : method_list.Methods)
2890b57cec5SDimitry Andric     AddMethod(overloaded.Name, method.Type, method.getAccess(),
2900b57cec5SDimitry Andric               method.getOptions(), method.Attrs);
2910b57cec5SDimitry Andric 
2920b57cec5SDimitry Andric   return Error::success();
2930b57cec5SDimitry Andric }
2940b57cec5SDimitry Andric 
visitKnownMember(CVMemberRecord & cvr,EnumeratorRecord & enumerator)2950b57cec5SDimitry Andric Error UdtRecordCompleter::visitKnownMember(CVMemberRecord &cvr,
2960b57cec5SDimitry Andric                                            EnumeratorRecord &enumerator) {
2970b57cec5SDimitry Andric   Declaration decl;
2980b57cec5SDimitry Andric   llvm::StringRef name = DropNameScope(enumerator.getName());
2990b57cec5SDimitry Andric 
3000b57cec5SDimitry Andric   m_ast_builder.clang().AddEnumerationValueToEnumerationType(
3010b57cec5SDimitry Andric       m_derived_ct, decl, name.str().c_str(), enumerator.Value);
3020b57cec5SDimitry Andric   return Error::success();
3030b57cec5SDimitry Andric }
3040b57cec5SDimitry Andric 
complete()3050b57cec5SDimitry Andric void UdtRecordCompleter::complete() {
3060b57cec5SDimitry Andric   // Ensure the correct order for virtual bases.
30781ad6265SDimitry Andric   llvm::stable_sort(m_bases, llvm::less_first());
3080b57cec5SDimitry Andric 
3090b57cec5SDimitry Andric   std::vector<std::unique_ptr<clang::CXXBaseSpecifier>> bases;
3100b57cec5SDimitry Andric   bases.reserve(m_bases.size());
3110b57cec5SDimitry Andric   for (auto &ib : m_bases)
3120b57cec5SDimitry Andric     bases.push_back(std::move(ib.second));
3130b57cec5SDimitry Andric 
3145ffd83dbSDimitry Andric   TypeSystemClang &clang = m_ast_builder.clang();
315bdd1243dSDimitry Andric   // Make sure all base classes refer to complete types and not forward
316bdd1243dSDimitry Andric   // declarations. If we don't do this, clang will crash with an
317bdd1243dSDimitry Andric   // assertion in the call to clang_type.TransferBaseClasses()
318bdd1243dSDimitry Andric   for (const auto &base_class : bases) {
319bdd1243dSDimitry Andric     clang::TypeSourceInfo *type_source_info =
320bdd1243dSDimitry Andric         base_class->getTypeSourceInfo();
321bdd1243dSDimitry Andric     if (type_source_info) {
322bdd1243dSDimitry Andric       TypeSystemClang::RequireCompleteType(
323bdd1243dSDimitry Andric           clang.GetType(type_source_info->getType()));
324bdd1243dSDimitry Andric     }
325bdd1243dSDimitry Andric   }
326bdd1243dSDimitry Andric 
3270b57cec5SDimitry Andric   clang.TransferBaseClasses(m_derived_ct.GetOpaqueQualType(), std::move(bases));
3280b57cec5SDimitry Andric 
3290b57cec5SDimitry Andric   clang.AddMethodOverridesForCXXRecordType(m_derived_ct.GetOpaqueQualType());
330bdd1243dSDimitry Andric   FinishRecord();
3315ffd83dbSDimitry Andric   TypeSystemClang::BuildIndirectFields(m_derived_ct);
3325ffd83dbSDimitry Andric   TypeSystemClang::CompleteTagDeclarationDefinition(m_derived_ct);
3330b57cec5SDimitry Andric 
3340b57cec5SDimitry Andric   if (auto *record_decl = llvm::dyn_cast<clang::CXXRecordDecl>(&m_tag_decl)) {
335bdd1243dSDimitry Andric     m_ast_builder.GetClangASTImporter().SetRecordLayout(record_decl, m_layout);
336bdd1243dSDimitry Andric   }
337bdd1243dSDimitry Andric }
338bdd1243dSDimitry Andric 
339bdd1243dSDimitry Andric uint64_t
AddMember(TypeSystemClang & clang,Member * field,uint64_t bit_offset,CompilerType parent_ct,ClangASTImporter::LayoutInfo & parent_layout,clang::DeclContext * parent_decl_ctx)340bdd1243dSDimitry Andric UdtRecordCompleter::AddMember(TypeSystemClang &clang, Member *field,
341bdd1243dSDimitry Andric                               uint64_t bit_offset, CompilerType parent_ct,
342bdd1243dSDimitry Andric                               ClangASTImporter::LayoutInfo &parent_layout,
343bdd1243dSDimitry Andric                               clang::DeclContext *parent_decl_ctx) {
344bdd1243dSDimitry Andric   SymbolFileNativePDB *pdb = static_cast<SymbolFileNativePDB *>(
345bdd1243dSDimitry Andric       clang.GetSymbolFile()->GetBackingSymbolFile());
346bdd1243dSDimitry Andric   clang::FieldDecl *field_decl = nullptr;
347bdd1243dSDimitry Andric   uint64_t bit_size = 0;
348bdd1243dSDimitry Andric   switch (field->kind) {
349bdd1243dSDimitry Andric   case Member::Field: {
350bdd1243dSDimitry Andric     field_decl = TypeSystemClang::AddFieldToRecordType(
351bdd1243dSDimitry Andric         parent_ct, field->name, m_ast_builder.ToCompilerType(field->qt),
352bdd1243dSDimitry Andric         field->access, field->bitfield_width);
353bdd1243dSDimitry Andric     bit_size = field->bit_size;
354bdd1243dSDimitry Andric     break;
355bdd1243dSDimitry Andric   };
356bdd1243dSDimitry Andric   case Member::Struct:
357bdd1243dSDimitry Andric   case Member::Union: {
358bdd1243dSDimitry Andric     clang::TagTypeKind kind = field->kind == Member::Struct
3595f757f3fSDimitry Andric                                   ? clang::TagTypeKind::Struct
3605f757f3fSDimitry Andric                                   : clang::TagTypeKind::Union;
361bdd1243dSDimitry Andric     ClangASTMetadata metadata;
362bdd1243dSDimitry Andric     metadata.SetUserID(pdb->anonymous_id);
363bdd1243dSDimitry Andric     metadata.SetIsDynamicCXXType(false);
364bdd1243dSDimitry Andric     CompilerType record_ct = clang.CreateRecordType(
3655f757f3fSDimitry Andric         parent_decl_ctx, OptionalClangModuleID(), lldb::eAccessPublic, "",
3665f757f3fSDimitry Andric         llvm::to_underlying(kind), lldb::eLanguageTypeC_plus_plus, &metadata);
367bdd1243dSDimitry Andric     TypeSystemClang::StartTagDeclarationDefinition(record_ct);
368bdd1243dSDimitry Andric     ClangASTImporter::LayoutInfo layout;
369bdd1243dSDimitry Andric     clang::DeclContext *decl_ctx = clang.GetDeclContextForType(record_ct);
370bdd1243dSDimitry Andric     for (const auto &member : field->fields) {
371bdd1243dSDimitry Andric       uint64_t member_offset = field->kind == Member::Struct
372bdd1243dSDimitry Andric                                    ? member->bit_offset - field->base_offset
373bdd1243dSDimitry Andric                                    : 0;
374bdd1243dSDimitry Andric       uint64_t member_bit_size = AddMember(clang, member.get(), member_offset,
375bdd1243dSDimitry Andric                                           record_ct, layout, decl_ctx);
376bdd1243dSDimitry Andric       if (field->kind == Member::Struct)
377bdd1243dSDimitry Andric         bit_size = std::max(bit_size, member_offset + member_bit_size);
378bdd1243dSDimitry Andric       else
379bdd1243dSDimitry Andric         bit_size = std::max(bit_size, member_bit_size);
380bdd1243dSDimitry Andric     }
381bdd1243dSDimitry Andric     layout.bit_size = bit_size;
382bdd1243dSDimitry Andric     TypeSystemClang::CompleteTagDeclarationDefinition(record_ct);
383bdd1243dSDimitry Andric     clang::RecordDecl *record_decl = clang.GetAsRecordDecl(record_ct);
384bdd1243dSDimitry Andric     m_ast_builder.GetClangASTImporter().SetRecordLayout(record_decl, layout);
385bdd1243dSDimitry Andric     field_decl = TypeSystemClang::AddFieldToRecordType(
386bdd1243dSDimitry Andric         parent_ct, "", record_ct, lldb::eAccessPublic, 0);
387bdd1243dSDimitry Andric     // Mark this record decl as completed.
388bdd1243dSDimitry Andric     DeclStatus status;
389bdd1243dSDimitry Andric     status.resolved = true;
390bdd1243dSDimitry Andric     status.uid = pdb->anonymous_id--;
391bdd1243dSDimitry Andric     m_decl_to_status.insert({record_decl, status});
392bdd1243dSDimitry Andric     break;
393bdd1243dSDimitry Andric   };
394bdd1243dSDimitry Andric   }
395bdd1243dSDimitry Andric   // FIXME: Add a PdbSymUid namespace for field list members and update
396bdd1243dSDimitry Andric   // the m_uid_to_decl map with this decl.
397bdd1243dSDimitry Andric   parent_layout.field_offsets.insert({field_decl, bit_offset});
398bdd1243dSDimitry Andric   return bit_size;
399bdd1243dSDimitry Andric }
400bdd1243dSDimitry Andric 
FinishRecord()401bdd1243dSDimitry Andric void UdtRecordCompleter::FinishRecord() {
402bdd1243dSDimitry Andric   TypeSystemClang &clang = m_ast_builder.clang();
403bdd1243dSDimitry Andric   clang::DeclContext *decl_ctx =
404bdd1243dSDimitry Andric       m_ast_builder.GetOrCreateDeclContextForUid(m_id);
405bdd1243dSDimitry Andric   m_record.ConstructRecord();
406bdd1243dSDimitry Andric   // Maybe we should check the construsted record size with the size in pdb. If
407bdd1243dSDimitry Andric   // they mismatch, it might be pdb has fields info missing.
408bdd1243dSDimitry Andric   for (const auto &field : m_record.record.fields) {
409bdd1243dSDimitry Andric     AddMember(clang, field.get(), field->bit_offset, m_derived_ct, m_layout,
410bdd1243dSDimitry Andric              decl_ctx);
411bdd1243dSDimitry Andric   }
412bdd1243dSDimitry Andric }
413bdd1243dSDimitry Andric 
CollectMember(llvm::StringRef name,uint64_t offset,uint64_t field_size,clang::QualType qt,lldb::AccessType access,uint64_t bitfield_width)414bdd1243dSDimitry Andric void UdtRecordCompleter::Record::CollectMember(
415bdd1243dSDimitry Andric     llvm::StringRef name, uint64_t offset, uint64_t field_size,
416bdd1243dSDimitry Andric     clang::QualType qt, lldb::AccessType access, uint64_t bitfield_width) {
417bdd1243dSDimitry Andric   fields_map[offset].push_back(std::make_unique<Member>(
418bdd1243dSDimitry Andric       name, offset, field_size, qt, access, bitfield_width));
419bdd1243dSDimitry Andric   if (start_offset > offset)
420bdd1243dSDimitry Andric     start_offset = offset;
421bdd1243dSDimitry Andric }
422bdd1243dSDimitry Andric 
ConstructRecord()423bdd1243dSDimitry Andric void UdtRecordCompleter::Record::ConstructRecord() {
424bdd1243dSDimitry Andric   // For anonymous unions in a struct, msvc generated pdb doesn't have the
425bdd1243dSDimitry Andric   // entity for that union. So, we need to construct anonymous union and struct
426bdd1243dSDimitry Andric   // based on field offsets. The final AST is likely not matching the exact
427bdd1243dSDimitry Andric   // original AST, but the memory layout is preseved.
428bdd1243dSDimitry Andric   // After we collecting all fields in visitKnownMember, we have all fields in
429bdd1243dSDimitry Andric   // increasing offset order in m_fields. Since we are iterating in increase
430bdd1243dSDimitry Andric   // offset order, if the current offset is equal to m_start_offset, we insert
431bdd1243dSDimitry Andric   // it as direct field of top level record. If the current offset is greater
432bdd1243dSDimitry Andric   // than m_start_offset, we should be able to find a field in end_offset_map
433bdd1243dSDimitry Andric   // whose end offset is less than or equal to current offset. (if not, it might
434bdd1243dSDimitry Andric   // be missing field info. We will ignore the field in this case. e.g. Field A
435bdd1243dSDimitry Andric   // starts at 0 with size 4 bytes, and Field B starts at 2 with size 4 bytes.
436bdd1243dSDimitry Andric   // Normally, there must be something which ends at/before 2.) Then we will
437bdd1243dSDimitry Andric   // append current field to the end of parent record. If parent is struct, we
438bdd1243dSDimitry Andric   // can just grow it. If parent is a field, it's a field inside an union. We
439bdd1243dSDimitry Andric   // convert it into an anonymous struct containing old field and new field.
440bdd1243dSDimitry Andric 
441bdd1243dSDimitry Andric   // The end offset to a vector of field/struct that ends at the offset.
442bdd1243dSDimitry Andric   std::map<uint64_t, std::vector<Member *>> end_offset_map;
443bdd1243dSDimitry Andric   for (auto &pair : fields_map) {
444bdd1243dSDimitry Andric     uint64_t offset = pair.first;
445bdd1243dSDimitry Andric     auto &fields = pair.second;
446bdd1243dSDimitry Andric     lldbassert(offset >= start_offset);
447bdd1243dSDimitry Andric     Member *parent = &record;
448bdd1243dSDimitry Andric     if (offset > start_offset) {
449bdd1243dSDimitry Andric       // Find the field with largest end offset that is <= offset. If it's less
450bdd1243dSDimitry Andric       // than offset, it indicates there are padding bytes between end offset
451bdd1243dSDimitry Andric       // and offset.
452bdd1243dSDimitry Andric       lldbassert(!end_offset_map.empty());
453bdd1243dSDimitry Andric       auto iter = end_offset_map.lower_bound(offset);
454bdd1243dSDimitry Andric       if (iter == end_offset_map.end())
455bdd1243dSDimitry Andric         --iter;
456bdd1243dSDimitry Andric       else if (iter->first > offset) {
457bdd1243dSDimitry Andric         if (iter == end_offset_map.begin())
458bdd1243dSDimitry Andric           continue;
459bdd1243dSDimitry Andric         --iter;
460bdd1243dSDimitry Andric       }
461bdd1243dSDimitry Andric       if (iter->second.empty())
462bdd1243dSDimitry Andric         continue;
463bdd1243dSDimitry Andric       parent = iter->second.back();
464bdd1243dSDimitry Andric       iter->second.pop_back();
465bdd1243dSDimitry Andric     }
466bdd1243dSDimitry Andric     // If it's a field, then the field is inside a union, so we can safely
467bdd1243dSDimitry Andric     // increase its size by converting it to a struct to hold multiple fields.
468bdd1243dSDimitry Andric     if (parent->kind == Member::Field)
469bdd1243dSDimitry Andric       parent->ConvertToStruct();
470bdd1243dSDimitry Andric 
471bdd1243dSDimitry Andric     if (fields.size() == 1) {
472bdd1243dSDimitry Andric       uint64_t end_offset = offset + fields.back()->bit_size;
473bdd1243dSDimitry Andric       parent->fields.push_back(std::move(fields.back()));
474bdd1243dSDimitry Andric       if (parent->kind == Member::Struct) {
475bdd1243dSDimitry Andric         end_offset_map[end_offset].push_back(parent);
476bdd1243dSDimitry Andric       } else {
477bdd1243dSDimitry Andric         lldbassert(parent == &record &&
478bdd1243dSDimitry Andric                    "If parent is union, it must be the top level record.");
479bdd1243dSDimitry Andric         end_offset_map[end_offset].push_back(parent->fields.back().get());
480bdd1243dSDimitry Andric       }
481bdd1243dSDimitry Andric     } else {
482bdd1243dSDimitry Andric       if (parent->kind == Member::Struct) {
483bdd1243dSDimitry Andric         parent->fields.push_back(std::make_unique<Member>(Member::Union));
484bdd1243dSDimitry Andric         parent = parent->fields.back().get();
485bdd1243dSDimitry Andric         parent->bit_offset = offset;
486bdd1243dSDimitry Andric       } else {
487bdd1243dSDimitry Andric         lldbassert(parent == &record &&
488bdd1243dSDimitry Andric                    "If parent is union, it must be the top level record.");
489bdd1243dSDimitry Andric       }
490bdd1243dSDimitry Andric       for (auto &field : fields) {
491bdd1243dSDimitry Andric         int64_t bit_size = field->bit_size;
492bdd1243dSDimitry Andric         parent->fields.push_back(std::move(field));
493bdd1243dSDimitry Andric         end_offset_map[offset + bit_size].push_back(
494bdd1243dSDimitry Andric             parent->fields.back().get());
495bdd1243dSDimitry Andric       }
496bdd1243dSDimitry Andric     }
4970b57cec5SDimitry Andric   }
4980b57cec5SDimitry Andric }
499