[codeview] Emit vftable records

[rnk]

Summary

Works towards fixing PR28150

Adds a custom DWARF tag so that we can represent this information in our
DI metadata. VFTable information appears in the elements list of
complete DICompositeTypes and looks like this:

DIDerivedType(
  tag: DW_TAG_LLVM_vftable,
  scope: !<CompositeType>,
  baseType: !<OverriddenVFTable>,
  offset: <VFPtrOffset>,
  name: <VFTableName>,
  extraData: !<MethodList>,
  flags: DIFlagArtificial)

The OverriddenVFTable slot references the vftable from the base class.

[majnemer]

test/DebugInfo/COFF/types-data-members.ll

389–422

Might be good to use FileCheck regexes here so that we don't have to update quite so much in the future.

[amccarth]

lib/CodeGen/AsmPrinter/CodeViewDebug.cpp

2096

Just a rant about this pattern ... I don't see an easy way to fix this and be consistent with existing code.

The comment says this loop _emits_ stuff, but the loop looks like it just looks up type indices and drops them on the floor. In reality, we're calling this "get..." function for its side effects. The function name doesn't even hint at the side effects. Many people expect methods like "getFoo" to be const accessor methods. And if they're not const, it's probably because there's a little caching involved. But the side effects here involve more than caching.

This seems to be a pervasive anti-pattern in the bits of LLVM I've seen, a pattern that makes it hard (for me, at least) to understand the code. Without that comment, I'd be lost. With it, I at least know I have to go study the guts of what looks like an accessor method to figure out the side effect. It's especially confusing, since many methods have verbs like emit in them.

Anyway, just a rant. I don't expect you to make any changes.

[rnk]

lib/CodeGen/AsmPrinter/CodeViewDebug.cpp

2096

Actually, it might be worth rewriting this code a bit. The vftable records refer to each other, so we do need some kind of map from metadata pointer to type index. However, they form a DAG, so we could topologically sort the vftables and then emit them in order and be confident that we will emit a vftable before it is referenced. I was just lazy and used memoized recursion instead, but a topological sort would make the output more understandable.

test/DebugInfo/COFF/types-data-members.ll

389–422

I could go either way, I liked having one "total output" golden test that exercises a variety of stuff.

[rnk]

test/DebugInfo/COFF/vftables.ll

45

I asked Microsoft about these records, and it turns out that they are completely unused for debugging. They only exist to power link-time devirtualization. In fact, they are never included in the final linked PDB.

So, I'm going to revert most of this patch, and do something more minimal to get the VFPtr records in the field list.

[rnk]

Superseded by rL280254, which was much less involved.

include/llvm/IR/DIBuilder.h

public:
     /// \param Flags        Flags to encode member attribute, e.g. private
     /// \param Ty           Parent type.
     DIDerivedType *createMemberType(DIScope *Scope, StringRef Name,
                                     DIFile *File, unsigned LineNo,
                                     uint64_t SizeInBits, uint64_t AlignInBits,
                                     uint64_t OffsetInBits, unsigned Flags,
                                     DIType *Ty);
 
+    /// Create debug info describing MS ABI vftables. Primarily used when
+    /// emitting CodeView, as DWARF debuggers do not know about this tag.
+    /// \param Scope             The complete class
+    /// \param Name              The linkage name of the vftable
+    /// \param VFPtrOffsetInBits Offset of vfptr in the complete class type
+    /// \param OverriddenVFTable VFTable overridden from base class or null
+    /// \param Methods           Linkage names of methods in the vftable
+    /// \param Flags             Member flags
+    DIDerivedType *createMSVFTable(DIScope *Scope, StringRef Name,
+                                   uint64_t VFPtrOffsetInBits,
+                                   DIType *OverriddenVFTable,
+                                   MDStringArray Methods, unsigned Flags);
+
     /// Create debugging information entry for a bit field member.
     /// \param Scope               Member scope.
     /// \param Name                Member name.
     /// \param File                File where this member is defined.
     /// \param LineNo              Line number.
     /// \param SizeInBits          Member size.
     /// \param AlignInBits         Member alignment.
     /// \param OffsetInBits        Member offset.

include/llvm/Support/Dwarf.def

 HANDLE_DW_TAG(0x4107, GNU_template_parameter_pack)
 HANDLE_DW_TAG(0x4108, GNU_formal_parameter_pack)
 HANDLE_DW_TAG(0x4200, APPLE_property)
 HANDLE_DW_TAG(0xb000, BORLAND_property)
 HANDLE_DW_TAG(0xb001, BORLAND_Delphi_string)
 HANDLE_DW_TAG(0xb002, BORLAND_Delphi_dynamic_array)
 HANDLE_DW_TAG(0xb003, BORLAND_Delphi_set)
 HANDLE_DW_TAG(0xb004, BORLAND_Delphi_variant)
+HANDLE_DW_TAG(0xc000, LLVM_msvftable) // Only used in LLVM IR
 
 HANDLE_DW_OP(0x03, addr)
 HANDLE_DW_OP(0x06, deref)
 HANDLE_DW_OP(0x08, const1u)
 HANDLE_DW_OP(0x09, const1s)
 HANDLE_DW_OP(0x0a, const2u)
 HANDLE_DW_OP(0x0b, const2s)
 HANDLE_DW_OP(0x0c, const4u)

lib/CodeGen/AsmPrinter/CodeViewDebug.h

class LLVM_LIBRARY_VISIBILITY CodeViewDebug : public DebugHandlerBase {
   /// Map from DICompositeType* to complete type index. Non-record types are
   /// always looked up in the normal TypeIndices map.
   DenseMap<const DICompositeType *, codeview::TypeIndex> CompleteTypeIndices;
 
   /// Complete record types to emit after all active type lowerings are
   /// finished.
   SmallVector<const DICompositeType *, 4> DeferredCompleteTypes;
 
+  /// LLVM vftable types. These reference complete type indices, so we have to
+  /// emit them last.
+  SmallVector<const DIDerivedType *, 4> DeferredVFTables;
+
   /// Number of type lowering frames active on the stack.
   unsigned TypeEmissionLevel = 0;
 
   codeview::TypeIndex VBPType;
 
+  /// VFPtr types, indexed by number of virtual call slots in the table.
+  SmallVector<codeview::TypeIndex, 4> VFPTypes;
+
   const DISubprogram *CurrentSubprogram = nullptr;
 
   // The UDTs we have seen while processing types; each entry is a pair of type
   // index and type name.
   std::vector<std::pair<std::string, codeview::TypeIndex>> LocalUDTs,
       GlobalUDTs;
 
   typedef std::map<const DIFile *, std::string> FileToFilepathMapTy;
class LLVM_LIBRARY_VISIBILITY CodeViewDebug : public DebugHandlerBase {
 
   codeview::TypeIndex getMemberFunctionType(const DISubprogram *SP,
                                             const DICompositeType *Class);
 
   codeview::TypeIndex getScopeIndex(const DIScope *Scope);
 
   codeview::TypeIndex getVBPTypeIndex();
 
+  codeview::TypeIndex getVFPTypeIndex(unsigned VSlotCount);
+
+  codeview::TypeIndex getMSVFTableTypeIndex(const DIDerivedType *VFTTy);
+
   void addToUDTs(const DIType *Ty, codeview::TypeIndex TI);
 
   codeview::TypeIndex lowerType(const DIType *Ty, const DIType *ClassTy);
   codeview::TypeIndex lowerTypeAlias(const DIDerivedType *Ty);
   codeview::TypeIndex lowerTypeArray(const DICompositeType *Ty);
   codeview::TypeIndex lowerTypeBasic(const DIBasicType *Ty);
   codeview::TypeIndex lowerTypePointer(const DIDerivedType *Ty);
   codeview::TypeIndex lowerTypeMemberPointer(const DIDerivedType *Ty);

lib/CodeGen/AsmPrinter/CodeViewDebug.cpp

struct llvm::ClassInfo {
 
   typedef TinyPtrVector<const DISubprogram *> MethodsList;
   // MethodName -> MethodsList
   typedef MapVector<MDString *, MethodsList> MethodsMap;
 
   /// Base classes.
   std::vector<const DIDerivedType *> Inheritance;
 
+  unsigned PrimaryVFTableSize = 0;
+
   /// Direct members.
   MemberList Members;
   // Direct overloaded methods gathered by name.
   MethodsMap Methods;
 
   std::vector<const DICompositeType *> NestedClasses;
 };
 
for (auto *Element : Elements) {
     } else if (auto *DDTy = dyn_cast<DIDerivedType>(Element)) {
       if (DDTy->getTag() == dwarf::DW_TAG_member) {
         collectMemberInfo(Info, DDTy);
       } else if (DDTy->getTag() == dwarf::DW_TAG_inheritance) {
         Info.Inheritance.push_back(DDTy);
       } else if (DDTy->getTag() == dwarf::DW_TAG_friend) {
         // Ignore friend members. It appears that MSVC emitted info about
         // friends in the past, but modern versions do not.
+      } else if (DDTy->getTag() == dwarf::DW_TAG_LLVM_msvftable) {
+        // Look at the primary vftable to get the shape of the VFPtr member
+        // record. The primary vftable lacks an overridden vftable stored in the
+        // baseType field.
+        if (!DDTy->getBaseType()) {
+          assert(Info.PrimaryVFTableSize == 0 &&
+                 "expected one primary vftable");
+          Info.PrimaryVFTableSize =
+              cast<MDTuple>(DDTy->getExtraData())->getNumOperands();
+          assert(Info.PrimaryVFTableSize > 0 && "empty vftable");
+        }
+        // Defer emission of vftables until the end of the TU.
+        DeferredVFTables.push_back(DDTy);
       }
-      // FIXME: Get Clang to emit function virtual table here and handle it.
     } else if (auto *Composite = dyn_cast<DICompositeType>(Element)) {
       Info.NestedClasses.push_back(Composite);
     }
     // Skip other unrecognized kinds of elements.
   }
   return Info;
 }
 
CodeViewDebug::lowerRecordFieldList(const DICompositeType *Ty) {
   // contributes to this count, even though the overload group is a single field
   // list record.
   unsigned MemberCount = 0;
   ClassInfo Info = collectClassInfo(Ty);
   FieldListRecordBuilder Fields;
 
   // Create base classes.
   for (const DIDerivedType *I : Info.Inheritance) {
+    MemberCount++;
     if (I->getFlags() & DINode::FlagVirtual) {
       // Virtual base.
       // FIXME: Emit VBPtrOffset when the frontend provides it.
       unsigned VBPtrOffset = 0;
       // FIXME: Despite the accessor name, the offset is really in bytes.
       unsigned VBTableIndex = I->getOffsetInBits() / 4;
       Fields.writeVirtualBaseClass(VirtualBaseClassRecord(
           translateAccessFlags(Ty->getTag(), I->getFlags()),
           getTypeIndex(I->getBaseType()), getVBPTypeIndex(), VBPtrOffset,
           VBTableIndex));
     } else {
       assert(I->getOffsetInBits() % 8 == 0 &&
              "bases must be on byte boundaries");
       Fields.writeBaseClass(BaseClassRecord(
           translateAccessFlags(Ty->getTag(), I->getFlags()),
           getTypeIndex(I->getBaseType()), I->getOffsetInBits() / 8));
     }
   }
 
   // Create members.
   for (ClassInfo::MemberInfo &MemberInfo : Info.Members) {
+    MemberCount++;
     const DIDerivedType *Member = MemberInfo.MemberTypeNode;
     TypeIndex MemberBaseType = getTypeIndex(Member->getBaseType());
     StringRef MemberName = Member->getName();
     MemberAccess Access =
         translateAccessFlags(Ty->getTag(), Member->getFlags());
 
+    // The vtable pointer is represented as an artificial field.
+    if (Member->getFlags() & DINode::FlagArtificial &&
+        Member->getName().startswith("_vptr$")) {
+      Fields.writeVFPtr(VFPtrRecord(getVFPTypeIndex(Info.PrimaryVFTableSize)));
+      continue;
+    }
+
     if (Member->isStaticMember()) {
       Fields.writeStaticDataMember(
           StaticDataMemberRecord(Access, MemberBaseType, MemberName));
-      MemberCount++;
       continue;
     }
 
     // Data member.
     uint64_t MemberOffsetInBits =
         Member->getOffsetInBits() + MemberInfo.BaseOffset;
     if (Member->isBitField()) {
       uint64_t StartBitOffset = MemberOffsetInBits;
       if (const auto *CI =
               dyn_cast_or_null<ConstantInt>(Member->getStorageOffsetInBits())) {
         MemberOffsetInBits = CI->getZExtValue() + MemberInfo.BaseOffset;
       }
       StartBitOffset -= MemberOffsetInBits;
       MemberBaseType = TypeTable.writeBitField(BitFieldRecord(
           MemberBaseType, Member->getSizeInBits(), StartBitOffset));
     }
     uint64_t MemberOffsetInBytes = MemberOffsetInBits / 8;
     Fields.writeDataMember(DataMemberRecord(Access, MemberBaseType,
                                             MemberOffsetInBytes, MemberName));
-    MemberCount++;
   }
 
   // Create methods
   for (auto &MethodItr : Info.Methods) {
     StringRef Name = MethodItr.first->getString();
 
     std::vector<OneMethodRecord> Methods;
     for (const DISubprogram *SP : MethodItr.second) {
if (!VBPType.getIndex()) {
     PointerRecord PR(ModifiedTI, PK, PM, PO, getPointerSizeInBytes());
 
     VBPType = TypeTable.writePointer(PR);
   }
 
   return VBPType;
 }
 
+TypeIndex CodeViewDebug::getVFPTypeIndex(unsigned VSlotCount) {
+  // If we didn't find any VFTables in the DICompositeType elements, just
+  // pretend the vtable has one virtual method slot.
+  if (VSlotCount == 0)
+    VSlotCount = 1;
+
+  // There are no empty vtables, so the type index in slot zero points to a
+  // vftable shape with one virtual method slot.
+  unsigned Idx = VSlotCount - 1;
+  if (Idx >= VFPTypes.size())
+    VFPTypes.resize(Idx + 1);
+  if (VFPTypes[Idx].getIndex() != 0)
+    return VFPTypes[Idx];
+
+  SmallVector<VFTableSlotKind, 4> Slots(VSlotCount, VFTableSlotKind::Near);
+  TypeIndex VShapeTI = TypeTable.writeVFTableShape(VFTableShapeRecord(Slots));
+
+  PointerKind PK =
+      getPointerSizeInBytes() == 8 ? PointerKind::Near64 : PointerKind::Near32;
+  PointerMode PM = PointerMode::Pointer;
+  PointerOptions PO = PointerOptions::None;
+  TypeIndex TI = TypeTable.writePointer(
+      PointerRecord(VShapeTI, PK, PM, PO, getPointerSizeInBytes()));
+  VFPTypes[Idx] = TI;
+  return TI;
+}
+
 TypeIndex CodeViewDebug::getTypeIndex(DITypeRef TypeRef, DITypeRef ClassTyRef) {
   const DIType *Ty = TypeRef.resolve();
   const DIType *ClassTy = ClassTyRef.resolve();
 
   // The null DIType is the void type. Don't try to hash it.
   if (!Ty)
     return TypeIndex::Void();
 
void CodeViewDebug::emitDebugInfoForRetainedTypes() {
   for (const MDNode *Node : CUs->operands()) {
     for (auto *Ty : cast<DICompileUnit>(Node)->getRetainedTypes()) {
       if (DIType *RT = dyn_cast<DIType>(Ty)) {
         getTypeIndex(RT);
         // FIXME: Add to global/local DTU list.
       }
     }
   }
+
+  // Pass 1: Compute complete type indices for every vftable.
+  for (const DIDerivedType *VFT : DeferredVFTables)
+    getCompleteTypeIndex(cast<DICompositeType>(VFT->getScope()));
+
+  // Pass 2: Emit all vftables.
+  for (const DIDerivedType *VFT : DeferredVFTables)
+    getMSVFTableTypeIndex(VFT);
+}
+
+TypeIndex CodeViewDebug::getMSVFTableTypeIndex(const DIDerivedType *VFT) {
+  // VFTables reference each other and may not be topologically sorted, so check
+  // the cache first.
+  auto I = TypeIndices.find({VFT, nullptr});
+  if (I != TypeIndices.end())
+    return I->second;
+
+  // Get the *complete* type index, not the forward decl.
+  TypeIndex ClassTI =
+      CompleteTypeIndices[cast<DICompositeType>(VFT->getScope())];
+
+  // Get the overridden vftable type index.
+  TypeIndex OverriddenTI;
+  if (const auto *OverriddenVFT =
+          cast_or_null<DIDerivedType>(VFT->getBaseType()))
+    OverriddenTI = getMSVFTableTypeIndex(OverriddenVFT);
+
+  // Get the method names out of the MDStringArray in extra data.
+  std::vector<StringRef> MethodNames;
+  MDStringArray Methods(cast<MDTuple>(VFT->getExtraData()));
+  for (MDString *MethodName : Methods)
+    MethodNames.push_back(MethodName->getString());
+  TypeIndex TI = TypeTable.writeVFTable(
+      VFTableRecord(ClassTI, OverriddenTI, VFT->getOffsetInBits() / 8,
+                    VFT->getName(), MethodNames));
+
+  // Cache this index in the map.
+  TypeIndices[{VFT, nullptr}] = TI;
+  return TI;
 }
 
 void CodeViewDebug::emitDebugInfoForGlobal(const DIGlobalVariable *DIGV,
                                            MCSymbol *GVSym) {
   // DataSym record, see SymbolRecord.h for more info.
   // FIXME: Thread local data, etc
   MCSymbol *DataBegin = MMI->getContext().createTempSymbol(),
            *DataEnd = MMI->getContext().createTempSymbol();

lib/IR/DIBuilder.cpp

DIDerivedType *DIBuilder::createMemberType(DIScope *Scope, StringRef Name,
                                            uint64_t AlignInBits,
                                            uint64_t OffsetInBits,
                                            unsigned Flags, DIType *Ty) {
   return DIDerivedType::get(VMContext, dwarf::DW_TAG_member, Name, File,
                             LineNumber, getNonCompileUnitScope(Scope), Ty,
                             SizeInBits, AlignInBits, OffsetInBits, Flags);
 }
 
+DIDerivedType *DIBuilder::createMSVFTable(DIScope *Scope, StringRef Name,
+                                          uint64_t VFPtrOffsetInBits,
+                                          DIType *OverriddenVFTable,
+                                          MDStringArray Methods,
+                                          unsigned Flags) {
+  return DIDerivedType::get(VMContext, dwarf::DW_TAG_LLVM_msvftable, Name,
+                            nullptr, 0, getNonCompileUnitScope(Scope),
+                            OverriddenVFTable, 0, 0, VFPtrOffsetInBits, Flags,
+                            Methods.get());
+}
+
 static ConstantAsMetadata *getConstantOrNull(Constant *C) {
   if (C)
     return ConstantAsMetadata::get(C);
   return nullptr;
 }
 
 DIDerivedType *DIBuilder::createBitFieldMemberType(
     DIScope *Scope, StringRef Name, DIFile *File, unsigned LineNumber,

lib/IR/Verifier.cpp

AssertDI(N.getTag() == dwarf::DW_TAG_typedef ||
                N.getTag() == dwarf::DW_TAG_ptr_to_member_type ||
                N.getTag() == dwarf::DW_TAG_reference_type ||
                N.getTag() == dwarf::DW_TAG_rvalue_reference_type ||
                N.getTag() == dwarf::DW_TAG_const_type ||
                N.getTag() == dwarf::DW_TAG_volatile_type ||
                N.getTag() == dwarf::DW_TAG_restrict_type ||
                N.getTag() == dwarf::DW_TAG_member ||
                N.getTag() == dwarf::DW_TAG_inheritance ||
+               N.getTag() == dwarf::DW_TAG_LLVM_msvftable ||
                N.getTag() == dwarf::DW_TAG_friend,
            "invalid tag", &N);
   if (N.getTag() == dwarf::DW_TAG_ptr_to_member_type) {
     AssertDI(isType(N.getRawExtraData()), "invalid pointer to member type", &N,
              N.getRawExtraData());
   }
 
   AssertDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope());

test/DebugInfo/COFF/types-data-members.ll

 ; CHECK:     PtrType: Near64 (0xC)
 ; CHECK:     PtrMode: Pointer (0x0)
 ; CHECK:     IsFlat: 0
 ; CHECK:     IsConst: 0
 ; CHECK:     IsVolatile: 0
 ; CHECK:     IsUnaligned: 0
 ; CHECK:     SizeOf: 8
 ; CHECK:   }
-; CHECK:   FieldList (0x1016) {
+; CHECK:   VFTableShape (0x1016) {
+; CHECK:     TypeLeafKind: LF_VTSHAPE (0xA)
+; CHECK:     VFEntryCount: 1
+; CHECK:   }
+; CHECK:   Pointer (0x1017) {
+; CHECK:     TypeLeafKind: LF_POINTER (0x1002)
+; CHECK:     PointeeType: 0x1016
+; CHECK:     PointerAttributes: 0x1000C
+; CHECK:     PtrType: Near64 (0xC)
+; CHECK:     PtrMode: Pointer (0x0)
+; CHECK:     IsFlat: 0
+; CHECK:     IsConst: 0
+; CHECK:     IsVolatile: 0
+; CHECK:     IsUnaligned: 0
+; CHECK:     SizeOf: 8
+; CHECK:   }
+; CHECK:   FieldList (0x1018) {
 ; CHECK:     TypeLeafKind: LF_FIELDLIST (0x1203)
 ; CHECK:     BaseClass {
 ; CHECK:       AccessSpecifier: Public (0x3)
 ; CHECK:       BaseType: Struct (0x1003)
 ; CHECK:       BaseOffset: 0x0
 ; CHECK:     }
 ; CHECK:     VirtualBaseClass {
 ; CHECK:       AccessSpecifier: Public (0x3)
 ; CHECK:       BaseType: Class (0x100D)
 ; CHECK:       VBPtrType: const int* (0x1012)
 ; CHECK:       VBPtrOffset: 0x0
 ; CHECK:       VBTableIndex: 0x1
 ; CHECK:     }
-; CHECK:     DataMember {
-; CHECK:       AccessSpecifier: Public (0x3)
-; CHECK:       Type: int ()** (0x1015)
-; CHECK:       FieldOffset: 0x0
-; CHECK:       Name: _vptr$DerivedClass
+; CHECK:     VFPtr {
+; CHECK:       Type: * (0x1017)
 ; CHECK:     }
 ; CHECK:     DataMember {
 ; CHECK:       AccessSpecifier: Public (0x3)
 ; CHECK:       Type: int (0x74)
 ; CHECK:       FieldOffset: 0x18
 ; CHECK:       Name: d
 ; CHECK:     }
 ; CHECK:   }
-; CHECK:   Struct (0x1017) {
+; CHECK:   Struct (0x1019) {
 ; CHECK:     TypeLeafKind: LF_STRUCTURE (0x1505)
-; CHECK:     MemberCount: 2
+; CHECK:     MemberCount: 4
 ; CHECK:     Properties [ (0x200)
 ; CHECK:       HasUniqueName (0x200)
 ; CHECK:     ]
-; CHECK:     FieldList: <field list> (0x1016)
+; CHECK:     FieldList: <field list> (0x1018)
 ; CHECK:     DerivedFrom: 0x0
 ; CHECK:     VShape: 0x0
 ; CHECK:     SizeOf: 48
 ; CHECK:     Name: DerivedClass
 ; CHECK:     LinkageName: .?AUDerivedClass@@
 ; CHECK:   }
-; CHECK:   UdtSourceLine (0x1018) {
+; CHECK:   UdtSourceLine (0x101A) {
 ; CHECK:     TypeLeafKind: LF_UDT_SRC_LINE (0x1606)
-; CHECK:     UDT: DerivedClass (0x1017)
+; CHECK:     UDT: DerivedClass (0x1019)
 ; CHECK:     SourceFile: D:\src\llvm\build\t.cpp (0x1007)
 ; CHECK:     LineNumber: 20
 ; CHECK:   }
-; CHECK:   Struct (0x1019) {
+; CHECK:   Struct (0x101B) {
 ; CHECK:     TypeLeafKind: LF_STRUCTURE (0x1505)
 ; CHECK:     MemberCount: 0
 ; CHECK:     Properties [ (0x288)
 ; CHECK:       ForwardReference (0x80)
 ; CHECK:       HasUniqueName (0x200)
 ; CHECK:       Nested (0x8)
 ; CHECK:     ]
 ; CHECK:     FieldList: 0x0
 ; CHECK:     DerivedFrom: 0x0
 ; CHECK:     VShape: 0x0
 ; CHECK:     SizeOf: 0
 ; CHECK:     Name: Class::Nested
 ; CHECK:     LinkageName: .?AUNested@Class@@
 ; CHECK:   }
-; CHECK:   FieldList (0x101A) {
+; CHECK:   FieldList (0x101C) {
 ; CHECK:     TypeLeafKind: LF_FIELDLIST (0x1203)
 ; CHECK:     DataMember {
 ; CHECK:       AccessSpecifier: Public (0x3)
 ; CHECK:       Type: int (0x74)
 ; CHECK:       FieldOffset: 0x0
 ; CHECK:       Name: n
 ; CHECK:     }
 ; CHECK:   }
-; CHECK:   Struct (0x101B) {
+; CHECK:   Struct (0x101D) {
 ; CHECK:     TypeLeafKind: LF_STRUCTURE (0x1505)
 ; CHECK:     MemberCount: 1
 ; CHECK:     Properties [ (0x208)
 ; CHECK:       HasUniqueName (0x200)
 ; CHECK:       Nested (0x8)
 ; CHECK:     ]
-; CHECK:     FieldList: <field list> (0x101A)
+; CHECK:     FieldList: <field list> (0x101C)
 ; CHECK:     DerivedFrom: 0x0
 ; CHECK:     VShape: 0x0
 ; CHECK:     SizeOf: 4
 ; CHECK:     Name: Class::Nested
 ; CHECK:     LinkageName: .?AUNested@Class@@
 ; CHECK:   }
-; CHECK:   UdtSourceLine (0x101C) {
+; CHECK:   UdtSourceLine (0x101E) {
 ; CHECK:     TypeLeafKind: LF_UDT_SRC_LINE (0x1606)
-; CHECK:     UDT: Class::Nested (0x101B)
+; CHECK:     UDT: Class::Nested (0x101D)
 ; CHECK:     SourceFile: D:\src\llvm\build\t.cpp (0x1007)
 ; CHECK:     LineNumber: 23
 ; CHECK:   }
-; CHECK:   Pointer (0x101D) {
+; CHECK:   Pointer (0x101F) {
 ; CHECK:     TypeLeafKind: LF_POINTER (0x1002)
 ; CHECK:     PointeeType: DerivedClass (0x1011)
 ; CHECK:     PointerAttributes: 0x1000C
 ; CHECK:     PtrType: Near64 (0xC)
 ; CHECK:     PtrMode: Pointer (0x0)
 ; CHECK:     IsFlat: 0
 ; CHECK:     IsConst: 0
 ; CHECK:     IsVolatile: 0
 ; CHECK:     IsUnaligned: 0
 ; CHECK:     SizeOf: 8
 ; CHECK:   }
-; CHECK:   MemberFunction (0x101E) {
+; CHECK:   MemberFunction (0x1020) {
 ; CHECK:     TypeLeafKind: LF_MFUNCTION (0x1009)
 ; CHECK:     ReturnType: void (0x3)
 ; CHECK:     ClassType: DerivedClass (0x1011)
-; CHECK:     ThisType: DerivedClass* (0x101D)
+; CHECK:     ThisType: DerivedClass* (0x101F)
 ; CHECK:     CallingConvention: NearC (0x0)
 ; CHECK:     FunctionOptions [ (0x0)
 ; CHECK:     ]
 ; CHECK:     NumParameters: 0
 ; CHECK:     ArgListType: () (0x1000)
 ; CHECK:     ThisAdjustment: 0
 ; CHECK:   }
-; CHECK:   MemberFuncId (0x101F) {
+; CHECK:   MemberFuncId (0x1021) {
 ; CHECK:     TypeLeafKind: LF_MFUNC_ID (0x1602)
 ; CHECK:     ClassType: DerivedClass (0x1011)
-; CHECK:     FunctionType: void DerivedClass::() (0x101E)
+; CHECK:     FunctionType: void DerivedClass::() (0x1020)
 ; CHECK:     Name: DerivedClass::DerivedClass
 ; CHECK:   }
 ; CHECK: ]
 
 ; ModuleID = 't.cpp'
 source_filename = "t.cpp"
 target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
 target triple = "x86_64-pc-windows-msvc19.0.23918"

test/DebugInfo/COFF/vftables.ll

+; RUN: llc < %s -filetype=obj | llvm-readobj - -codeview | FileCheck %s
+
+; C++ source to regenerate:
+; struct A {
+;   virtual void f();
+;   virtual void g();
+;   int a = 0;
+; };
+; struct B {
+;   virtual void g();
+;   virtual void f();
+;   int b = 0;
+; };
+; struct C : A, B {
+;   virtual void g();
+;   virtual void f();
+;   int c = 0;
+; };
+; struct D : C {
+;   virtual void g();
+;   virtual void f();
+;   int d = 0;
+; };
+; void h() { D d; }
+
+; CHECK:  VFTableShape (0x{{[A-Z0-9]+}}) {
+; CHECK:    TypeLeafKind: LF_VTSHAPE (0xA)
+; CHECK:    VFEntryCount: 2
+; CHECK:  }
+
+; CHECK:   Struct ([[a_complete:0x[A-Z0-9]+]]) {
+; CHECK:     TypeLeafKind: LF_STRUCTURE (0x1505)
+; CHECK:     MemberCount: 4
+; CHECK:     Properties [ (0x200)
+; CHECK:       HasUniqueName (0x200)
+; CHECK:     ]
+; CHECK:     FieldList: <field list>
+; CHECK:     DerivedFrom: 0x0
+; CHECK:     VShape: 0x0
+; CHECK:     SizeOf: 16
+; CHECK:     Name: A
+; CHECK:     LinkageName: .?AUA@@
+; CHECK:   }
+
+; CHECK:  VFTable ([[a_vftable:0x[A-Z0-9]+]]) {
+; CHECK:    TypeLeafKind: LF_VFTABLE (0x151D)
+; CHECK:    CompleteClass: A ([[a_complete]])
+; CHECK:    OverriddenVFTable: 0x0
+; CHECK:    VFPtrOffset: 0x0
+; CHECK:    VFTableName: ??_7A@@6B@
+; CHECK:    MethodName: ?f@A@@UEAAXXZ
+; CHECK:    MethodName: ?g@A@@UEAAXXZ
+; CHECK:  }
+
+; CHECK:  VFTable ([[c_a_vftable:0x[A-Z0-9]+]]) {
+; CHECK:    TypeLeafKind: LF_VFTABLE (0x151D)
+; CHECK:    CompleteClass: C
+; CHECK:    OverriddenVFTable: ??_7A@@6B@ ([[a_vftable]])
+; CHECK:    VFPtrOffset: 0x0
+; CHECK:    VFTableName: ??_7C@@6BA@@@
+; CHECK:    MethodName: ?f@C@@UEAAXXZ
+; CHECK:    MethodName: ?g@C@@UEAAXXZ
+; CHECK:  }
+
+; CHECK:  VFTable ({{.*}}) {
+; CHECK:    TypeLeafKind: LF_VFTABLE (0x151D)
+; CHECK:    CompleteClass: D
+; CHECK:    OverriddenVFTable: ??_7C@@6BA@@@ ([[c_a_vftable]])
+; CHECK:    VFPtrOffset: 0x0
+; CHECK:    VFTableName: ??_7D@@6BA@@@
+; CHECK:    MethodName: ?f@D@@UEAAXXZ
+; CHECK:    MethodName: ?g@D@@UEAAXXZ
+; CHECK:  }
+
+; CHECK:  VFTable ([[b_vftable:0x[A-Z0-9]+]]) {
+; CHECK:    TypeLeafKind: LF_VFTABLE (0x151D)
+; CHECK:    CompleteClass: B
+; CHECK:    OverriddenVFTable: 0x0
+; CHECK:    VFPtrOffset: 0x0
+; CHECK:    VFTableName: ??_7B@@6B@
+; CHECK:    MethodName: ?g@B@@UEAAXXZ
+; CHECK:    MethodName: ?f@B@@UEAAXXZ
+; CHECK:  }
+
+; CHECK:  VFTable ([[c_b_vftable:0x[A-Z0-9]+]]) {
+; CHECK:    TypeLeafKind: LF_VFTABLE (0x151D)
+; CHECK:    CompleteClass: C
+; CHECK:    OverriddenVFTable: ??_7B@@6B@ ([[b_vftable]])
+; CHECK:    VFPtrOffset: 0x10
+; CHECK:    VFTableName: ??_7C@@6BB@@@
+; CHECK:    MethodName: ?g@C@@WBA@EAAXXZ
+; CHECK:    MethodName: ?f@C@@WBA@EAAXXZ
+; CHECK:  }
+
+; CHECK:  VFTable ({{.*}}) {
+; CHECK:    TypeLeafKind: LF_VFTABLE (0x151D)
+; CHECK:    CompleteClass: D
+; CHECK:    OverriddenVFTable: ??_7C@@6BB@@@ ([[c_b_vftable]])
+; CHECK:    VFPtrOffset: 0x10
+; CHECK:    VFTableName: ??_7D@@6BB@@@
+; CHECK:    MethodName: ?g@D@@WBA@EAAXXZ
+; CHECK:    MethodName: ?f@D@@WBA@EAAXXZ
+; CHECK:  }
+
+; ModuleID = 't.cpp'
+source_filename = "t.cpp"
+target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-pc-windows-msvc"
+
+%rtti.CompleteObjectLocator = type { i32, i32, i32, i32, i32, i32 }
+%rtti.TypeDescriptor7 = type { i8**, i8*, [8 x i8] }
+%rtti.ClassHierarchyDescriptor = type { i32, i32, i32, i32 }
+%rtti.BaseClassDescriptor = type { i32, i32, i32, i32, i32, i32, i32 }
+%struct.D = type { %struct.C, i32 }
+%struct.C = type { %struct.A, %struct.B, i32 }
+%struct.A = type { i32 (...)**, i32 }
+%struct.B = type { i32 (...)**, i32 }
+
+$"\01??0D@@QEAA@XZ" = comdat any
+
+$"\01??0C@@QEAA@XZ" = comdat any
+
+$"\01?g@D@@WBA@EAAXXZ" = comdat any
+
+$"\01?f@D@@WBA@EAAXXZ" = comdat any
+
+$"\01??0A@@QEAA@XZ" = comdat any
+
+$"\01??0B@@QEAA@XZ" = comdat any
+
+$"\01?g@C@@WBA@EAAXXZ" = comdat any
+
+$"\01?f@C@@WBA@EAAXXZ" = comdat any
+
+$"\01??_7D@@6BA@@@" = comdat largest
+
+$"\01??_7D@@6BB@@@" = comdat largest
+
+$"\01??_R4D@@6BA@@@" = comdat any
+
+$"\01??_R0?AUD@@@8" = comdat any
+
+$"\01??_R3D@@8" = comdat any
+
+$"\01??_R2D@@8" = comdat any
+
+$"\01??_R1A@?0A@EA@D@@8" = comdat any
+
+$"\01??_R1A@?0A@EA@C@@8" = comdat any
+
+$"\01??_R0?AUC@@@8" = comdat any
+
+$"\01??_R3C@@8" = comdat any
+
+$"\01??_R2C@@8" = comdat any
+
+$"\01??_R1A@?0A@EA@A@@8" = comdat any
+
+$"\01??_R0?AUA@@@8" = comdat any
+
+$"\01??_R3A@@8" = comdat any
+
+$"\01??_R2A@@8" = comdat any
+
+$"\01??_R1BA@?0A@EA@B@@8" = comdat any
+
+$"\01??_R0?AUB@@@8" = comdat any
+
+$"\01??_R3B@@8" = comdat any
+
+$"\01??_R2B@@8" = comdat any
+
+$"\01??_R1A@?0A@EA@B@@8" = comdat any
+
+$"\01??_R4D@@6BB@@@" = comdat any
+
+$"\01??_7C@@6BA@@@" = comdat largest
+
+$"\01??_7C@@6BB@@@" = comdat largest
+
+$"\01??_R4C@@6BA@@@" = comdat any
+
+$"\01??_R4C@@6BB@@@" = comdat any
+
+$"\01??_7A@@6B@" = comdat largest
+
+$"\01??_R4A@@6B@" = comdat any
+
+$"\01??_7B@@6B@" = comdat largest
+
+$"\01??_R4B@@6B@" = comdat any
+
+@0 = private unnamed_addr constant [3 x i8*] [i8* bitcast (%rtti.CompleteObjectLocator* @"\01??_R4D@@6BA@@@" to i8*), i8* bitcast (void (%struct.D*)* @"\01?f@D@@UEAAXXZ" to i8*), i8* bitcast (void (%struct.D*)* @"\01?g@D@@UEAAXXZ" to i8*)], comdat($"\01??_7D@@6BA@@@")
+@1 = private unnamed_addr constant [3 x i8*] [i8* bitcast (%rtti.CompleteObjectLocator* @"\01??_R4D@@6BB@@@" to i8*), i8* bitcast (void (%struct.D*)* @"\01?g@D@@WBA@EAAXXZ" to i8*), i8* bitcast (void (%struct.D*)* @"\01?f@D@@WBA@EAAXXZ" to i8*)], comdat($"\01??_7D@@6BB@@@")
+@"\01??_R4D@@6BA@@@" = linkonce_odr constant %rtti.CompleteObjectLocator { i32 1, i32 0, i32 0, i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.TypeDescriptor7* @"\01??_R0?AUD@@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.ClassHierarchyDescriptor* @"\01??_R3D@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.CompleteObjectLocator* @"\01??_R4D@@6BA@@@" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32) }, comdat
+@"\01??_7type_info@@6B@" = external constant i8*
+@"\01??_R0?AUD@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { i8** @"\01??_7type_info@@6B@", i8* null, [8 x i8] c".?AUD@@\00" }, comdat
+@__ImageBase = external constant i8
+@"\01??_R3D@@8" = linkonce_odr constant %rtti.ClassHierarchyDescriptor { i32 0, i32 1, i32 4, i32 trunc (i64 sub nuw nsw (i64 ptrtoint ([5 x i32]* @"\01??_R2D@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32) }, comdat
+@"\01??_R2D@@8" = linkonce_odr constant [5 x i32] [i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.BaseClassDescriptor* @"\01??_R1A@?0A@EA@D@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.BaseClassDescriptor* @"\01??_R1A@?0A@EA@C@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.BaseClassDescriptor* @"\01??_R1A@?0A@EA@A@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.BaseClassDescriptor* @"\01??_R1BA@?0A@EA@B@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 0], comdat
+@"\01??_R1A@?0A@EA@D@@8" = linkonce_odr constant %rtti.BaseClassDescriptor { i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.TypeDescriptor7* @"\01??_R0?AUD@@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 3, i32 0, i32 -1, i32 0, i32 64, i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.ClassHierarchyDescriptor* @"\01??_R3D@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32) }, comdat
+@"\01??_R1A@?0A@EA@C@@8" = linkonce_odr constant %rtti.BaseClassDescriptor { i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.TypeDescriptor7* @"\01??_R0?AUC@@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 2, i32 0, i32 -1, i32 0, i32 64, i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.ClassHierarchyDescriptor* @"\01??_R3C@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32) }, comdat
+@"\01??_R0?AUC@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { i8** @"\01??_7type_info@@6B@", i8* null, [8 x i8] c".?AUC@@\00" }, comdat
+@"\01??_R3C@@8" = linkonce_odr constant %rtti.ClassHierarchyDescriptor { i32 0, i32 1, i32 3, i32 trunc (i64 sub nuw nsw (i64 ptrtoint ([4 x i32]* @"\01??_R2C@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32) }, comdat
+@"\01??_R2C@@8" = linkonce_odr constant [4 x i32] [i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.BaseClassDescriptor* @"\01??_R1A@?0A@EA@C@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.BaseClassDescriptor* @"\01??_R1A@?0A@EA@A@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.BaseClassDescriptor* @"\01??_R1BA@?0A@EA@B@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 0], comdat
+@"\01??_R1A@?0A@EA@A@@8" = linkonce_odr constant %rtti.BaseClassDescriptor { i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.TypeDescriptor7* @"\01??_R0?AUA@@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 0, i32 0, i32 -1, i32 0, i32 64, i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.ClassHierarchyDescriptor* @"\01??_R3A@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32) }, comdat
+@"\01??_R0?AUA@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { i8** @"\01??_7type_info@@6B@", i8* null, [8 x i8] c".?AUA@@\00" }, comdat
+@"\01??_R3A@@8" = linkonce_odr constant %rtti.ClassHierarchyDescriptor { i32 0, i32 0, i32 1, i32 trunc (i64 sub nuw nsw (i64 ptrtoint ([2 x i32]* @"\01??_R2A@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32) }, comdat
+@"\01??_R2A@@8" = linkonce_odr constant [2 x i32] [i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.BaseClassDescriptor* @"\01??_R1A@?0A@EA@A@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 0], comdat
+@"\01??_R1BA@?0A@EA@B@@8" = linkonce_odr constant %rtti.BaseClassDescriptor { i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.TypeDescriptor7* @"\01??_R0?AUB@@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 0, i32 16, i32 -1, i32 0, i32 64, i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.ClassHierarchyDescriptor* @"\01??_R3B@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32) }, comdat
+@"\01??_R0?AUB@@@8" = linkonce_odr global %rtti.TypeDescriptor7 { i8** @"\01??_7type_info@@6B@", i8* null, [8 x i8] c".?AUB@@\00" }, comdat
+@"\01??_R3B@@8" = linkonce_odr constant %rtti.ClassHierarchyDescriptor { i32 0, i32 0, i32 1, i32 trunc (i64 sub nuw nsw (i64 ptrtoint ([2 x i32]* @"\01??_R2B@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32) }, comdat
+@"\01??_R2B@@8" = linkonce_odr constant [2 x i32] [i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.BaseClassDescriptor* @"\01??_R1A@?0A@EA@B@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 0], comdat
+@"\01??_R1A@?0A@EA@B@@8" = linkonce_odr constant %rtti.BaseClassDescriptor { i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.TypeDescriptor7* @"\01??_R0?AUB@@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 0, i32 0, i32 -1, i32 0, i32 64, i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.ClassHierarchyDescriptor* @"\01??_R3B@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32) }, comdat
+@"\01??_R4D@@6BB@@@" = linkonce_odr constant %rtti.CompleteObjectLocator { i32 1, i32 16, i32 0, i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.TypeDescriptor7* @"\01??_R0?AUD@@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.ClassHierarchyDescriptor* @"\01??_R3D@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.CompleteObjectLocator* @"\01??_R4D@@6BB@@@" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32) }, comdat
+@2 = private unnamed_addr constant [3 x i8*] [i8* bitcast (%rtti.CompleteObjectLocator* @"\01??_R4C@@6BA@@@" to i8*), i8* bitcast (void (%struct.C*)* @"\01?f@C@@UEAAXXZ" to i8*), i8* bitcast (void (%struct.C*)* @"\01?g@C@@UEAAXXZ" to i8*)], comdat($"\01??_7C@@6BA@@@")
+@3 = private unnamed_addr constant [3 x i8*] [i8* bitcast (%rtti.CompleteObjectLocator* @"\01??_R4C@@6BB@@@" to i8*), i8* bitcast (void (%struct.C*)* @"\01?g@C@@WBA@EAAXXZ" to i8*), i8* bitcast (void (%struct.C*)* @"\01?f@C@@WBA@EAAXXZ" to i8*)], comdat($"\01??_7C@@6BB@@@")
+@"\01??_R4C@@6BA@@@" = linkonce_odr constant %rtti.CompleteObjectLocator { i32 1, i32 0, i32 0, i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.TypeDescriptor7* @"\01??_R0?AUC@@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.ClassHierarchyDescriptor* @"\01??_R3C@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.CompleteObjectLocator* @"\01??_R4C@@6BA@@@" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32) }, comdat
+@"\01??_R4C@@6BB@@@" = linkonce_odr constant %rtti.CompleteObjectLocator { i32 1, i32 16, i32 0, i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.TypeDescriptor7* @"\01??_R0?AUC@@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.ClassHierarchyDescriptor* @"\01??_R3C@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.CompleteObjectLocator* @"\01??_R4C@@6BB@@@" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32) }, comdat
+@4 = private unnamed_addr constant [3 x i8*] [i8* bitcast (%rtti.CompleteObjectLocator* @"\01??_R4A@@6B@" to i8*), i8* bitcast (void (%struct.A*)* @"\01?f@A@@UEAAXXZ" to i8*), i8* bitcast (void (%struct.A*)* @"\01?g@A@@UEAAXXZ" to i8*)], comdat($"\01??_7A@@6B@")
+@"\01??_R4A@@6B@" = linkonce_odr constant %rtti.CompleteObjectLocator { i32 1, i32 0, i32 0, i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.TypeDescriptor7* @"\01??_R0?AUA@@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.ClassHierarchyDescriptor* @"\01??_R3A@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.CompleteObjectLocator* @"\01??_R4A@@6B@" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32) }, comdat
+@5 = private unnamed_addr constant [3 x i8*] [i8* bitcast (%rtti.CompleteObjectLocator* @"\01??_R4B@@6B@" to i8*), i8* bitcast (void (%struct.B*)* @"\01?g@B@@UEAAXXZ" to i8*), i8* bitcast (void (%struct.B*)* @"\01?f@B@@UEAAXXZ" to i8*)], comdat($"\01??_7B@@6B@")
+@"\01??_R4B@@6B@" = linkonce_odr constant %rtti.CompleteObjectLocator { i32 1, i32 0, i32 0, i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.TypeDescriptor7* @"\01??_R0?AUB@@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.ClassHierarchyDescriptor* @"\01??_R3B@@8" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32), i32 trunc (i64 sub nuw nsw (i64 ptrtoint (%rtti.CompleteObjectLocator* @"\01??_R4B@@6B@" to i64), i64 ptrtoint (i8* @__ImageBase to i64)) to i32) }, comdat
+
+@"\01??_7D@@6BA@@@" = unnamed_addr alias i8*, getelementptr inbounds ([3 x i8*], [3 x i8*]* @0, i32 0, i32 1)
+@"\01??_7D@@6BB@@@" = unnamed_addr alias i8*, getelementptr inbounds ([3 x i8*], [3 x i8*]* @1, i32 0, i32 1)
+@"\01??_7C@@6BA@@@" = unnamed_addr alias i8*, getelementptr inbounds ([3 x i8*], [3 x i8*]* @2, i32 0, i32 1)
+@"\01??_7C@@6BB@@@" = unnamed_addr alias i8*, getelementptr inbounds ([3 x i8*], [3 x i8*]* @3, i32 0, i32 1)
+@"\01??_7A@@6B@" = unnamed_addr alias i8*, getelementptr inbounds ([3 x i8*], [3 x i8*]* @4, i32 0, i32 1)
+@"\01??_7B@@6B@" = unnamed_addr alias i8*, getelementptr inbounds ([3 x i8*], [3 x i8*]* @5, i32 0, i32 1)
+
+; Function Attrs: nounwind
+define void @"\01?h@@YAXXZ"() #0 !dbg !6 {
+entry:
+  %d = alloca %struct.D, align 8
+  call void @llvm.dbg.declare(metadata %struct.D* %d, metadata !10, metadata !65), !dbg !66
+  %call = call %struct.D* @"\01??0D@@QEAA@XZ"(%struct.D* %d) #4, !dbg !66
+  ret void, !dbg !66
+}
+
+; Function Attrs: nounwind readnone
+declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
+
+; Function Attrs: inlinehint nounwind
+define linkonce_odr %struct.D* @"\01??0D@@QEAA@XZ"(%struct.D* returned %this) unnamed_addr #2 comdat align 2 !dbg !67 {
+entry:
+  %this.addr = alloca %struct.D*, align 8
+  store %struct.D* %this, %struct.D** %this.addr, align 8
+  call void @llvm.dbg.declare(metadata %struct.D** %this.addr, metadata !69, metadata !65), !dbg !71
+  %this1 = load %struct.D*, %struct.D** %this.addr, align 8
+  %0 = bitcast %struct.D* %this1 to %struct.C*, !dbg !72
+  %call = call %struct.C* @"\01??0C@@QEAA@XZ"(%struct.C* %0) #4, !dbg !72
+  %1 = bitcast %struct.D* %this1 to i32 (...)***, !dbg !72
+  store i32 (...)** bitcast (i8** @"\01??_7D@@6BA@@@" to i32 (...)**), i32 (...)*** %1, align 8, !dbg !72
+  %2 = bitcast %struct.D* %this1 to i8*, !dbg !72
+  %add.ptr = getelementptr inbounds i8, i8* %2, i64 16, !dbg !72
+  %3 = bitcast i8* %add.ptr to i32 (...)***, !dbg !72
+  store i32 (...)** bitcast (i8** @"\01??_7D@@6BB@@@" to i32 (...)**), i32 (...)*** %3, align 8, !dbg !72
+  %d = getelementptr inbounds %struct.D, %struct.D* %this1, i32 0, i32 1, !dbg !73
+  store i32 0, i32* %d, align 8, !dbg !73
+  ret %struct.D* %this1, !dbg !72
+}
+
+; Function Attrs: inlinehint nounwind
+define linkonce_odr %struct.C* @"\01??0C@@QEAA@XZ"(%struct.C* returned %this) unnamed_addr #2 comdat align 2 !dbg !74 {
+entry:
+  %this.addr = alloca %struct.C*, align 8
+  store %struct.C* %this, %struct.C** %this.addr, align 8
+  call void @llvm.dbg.declare(metadata %struct.C** %this.addr, metadata !76, metadata !65), !dbg !78
+  %this1 = load %struct.C*, %struct.C** %this.addr, align 8
+  %0 = bitcast %struct.C* %this1 to %struct.A*, !dbg !79
+  %call = call %struct.A* @"\01??0A@@QEAA@XZ"(%struct.A* %0) #4, !dbg !79
+  %1 = bitcast %struct.C* %this1 to i8*, !dbg !79
+  %2 = getelementptr inbounds i8, i8* %1, i64 16, !dbg !79
+  %3 = bitcast i8* %2 to %struct.B*, !dbg !79
+  %call2 = call %struct.B* @"\01??0B@@QEAA@XZ"(%struct.B* %3) #4, !dbg !79
+  %4 = bitcast %struct.C* %this1 to i32 (...)***, !dbg !79
+  store i32 (...)** bitcast (i8** @"\01??_7C@@6BA@@@" to i32 (...)**), i32 (...)*** %4, align 8, !dbg !79
+  %5 = bitcast %struct.C* %this1 to i8*, !dbg !79
+  %add.ptr = getelementptr inbounds i8, i8* %5, i64 16, !dbg !79
+  %6 = bitcast i8* %add.ptr to i32 (...)***, !dbg !79
+  store i32 (...)** bitcast (i8** @"\01??_7C@@6BB@@@" to i32 (...)**), i32 (...)*** %6, align 8, !dbg !79
+  %c = getelementptr inbounds %struct.C, %struct.C* %this1, i32 0, i32 2, !dbg !80
+  store i32 0, i32* %c, align 8, !dbg !80
+  ret %struct.C* %this1, !dbg !79
+}
+
+declare void @"\01?f@D@@UEAAXXZ"(%struct.D*) unnamed_addr #3
+
+declare void @"\01?g@D@@UEAAXXZ"(%struct.D*) unnamed_addr #3
+
+; Function Attrs: nounwind
+define linkonce_odr void @"\01?g@D@@WBA@EAAXXZ"(%struct.D* %this) unnamed_addr #0 comdat align 2 !dbg !81 {
+entry:
+  %this.addr = alloca %struct.D*, align 8
+  store %struct.D* %this, %struct.D** %this.addr, align 8
+  call void @llvm.dbg.declare(metadata %struct.D** %this.addr, metadata !83, metadata !65), !dbg !84
+  %this1 = load %struct.D*, %struct.D** %this.addr, align 8, !dbg !85
+  %0 = bitcast %struct.D* %this1 to i8*, !dbg !85
+  %1 = getelementptr i8, i8* %0, i32 -16, !dbg !85
+  %2 = bitcast i8* %1 to %struct.D*, !dbg !85
+  tail call void @"\01?g@D@@UEAAXXZ"(%struct.D* %2), !dbg !85
+  ret void, !dbg !85
+}
+
+; Function Attrs: nounwind
+define linkonce_odr void @"\01?f@D@@WBA@EAAXXZ"(%struct.D* %this) unnamed_addr #0 comdat align 2 !dbg !86 {
+entry:
+  %this.addr = alloca %struct.D*, align 8
+  store %struct.D* %this, %struct.D** %this.addr, align 8
+  call void @llvm.dbg.declare(metadata %struct.D** %this.addr, metadata !87, metadata !65), !dbg !88
+  %this1 = load %struct.D*, %struct.D** %this.addr, align 8, !dbg !89
+  %0 = bitcast %struct.D* %this1 to i8*, !dbg !89
+  %1 = getelementptr i8, i8* %0, i32 -16, !dbg !89
+  %2 = bitcast i8* %1 to %struct.D*, !dbg !89
+  tail call void @"\01?f@D@@UEAAXXZ"(%struct.D* %2), !dbg !89
+  ret void, !dbg !89
+}
+
+; Function Attrs: inlinehint nounwind
+define linkonce_odr %struct.A* @"\01??0A@@QEAA@XZ"(%struct.A* returned %this) unnamed_addr #2 comdat align 2 !dbg !90 {
+entry:
+  %this.addr = alloca %struct.A*, align 8
+  store %struct.A* %this, %struct.A** %this.addr, align 8
+  call void @llvm.dbg.declare(metadata %struct.A** %this.addr, metadata !92, metadata !65), !dbg !94
+  %this1 = load %struct.A*, %struct.A** %this.addr, align 8
+  %0 = bitcast %struct.A* %this1 to i32 (...)***, !dbg !95
+  store i32 (...)** bitcast (i8** @"\01??_7A@@6B@" to i32 (...)**), i32 (...)*** %0, align 8, !dbg !95
+  %a = getelementptr inbounds %struct.A, %struct.A* %this1, i32 0, i32 1, !dbg !96
+  store i32 0, i32* %a, align 8, !dbg !96
+  ret %struct.A* %this1, !dbg !95
+}
+
+; Function Attrs: inlinehint nounwind
+define linkonce_odr %struct.B* @"\01??0B@@QEAA@XZ"(%struct.B* returned %this) unnamed_addr #2 comdat align 2 !dbg !97 {
+entry:
+  %this.addr = alloca %struct.B*, align 8
+  store %struct.B* %this, %struct.B** %this.addr, align 8
+  call void @llvm.dbg.declare(metadata %struct.B** %this.addr, metadata !99, metadata !65), !dbg !101
+  %this1 = load %struct.B*, %struct.B** %this.addr, align 8
+  %0 = bitcast %struct.B* %this1 to i32 (...)***, !dbg !102
+  store i32 (...)** bitcast (i8** @"\01??_7B@@6B@" to i32 (...)**), i32 (...)*** %0, align 8, !dbg !102
+  %b = getelementptr inbounds %struct.B, %struct.B* %this1, i32 0, i32 1, !dbg !103
+  store i32 0, i32* %b, align 8, !dbg !103
+  ret %struct.B* %this1, !dbg !102
+}
+
+declare void @"\01?f@C@@UEAAXXZ"(%struct.C*) unnamed_addr #3
+
+declare void @"\01?g@C@@UEAAXXZ"(%struct.C*) unnamed_addr #3
+
+; Function Attrs: nounwind
+define linkonce_odr void @"\01?g@C@@WBA@EAAXXZ"(%struct.C* %this) unnamed_addr #0 comdat align 2 !dbg !104 {
+entry:
+  %this.addr = alloca %struct.C*, align 8
+  store %struct.C* %this, %struct.C** %this.addr, align 8
+  call void @llvm.dbg.declare(metadata %struct.C** %this.addr, metadata !105, metadata !65), !dbg !106
+  %this1 = load %struct.C*, %struct.C** %this.addr, align 8, !dbg !107
+  %0 = bitcast %struct.C* %this1 to i8*, !dbg !107
+  %1 = getelementptr i8, i8* %0, i32 -16, !dbg !107
+  %2 = bitcast i8* %1 to %struct.C*, !dbg !107
+  tail call void @"\01?g@C@@UEAAXXZ"(%struct.C* %2), !dbg !107
+  ret void, !dbg !107
+}
+
+; Function Attrs: nounwind
+define linkonce_odr void @"\01?f@C@@WBA@EAAXXZ"(%struct.C* %this) unnamed_addr #0 comdat align 2 !dbg !108 {
+entry:
+  %this.addr = alloca %struct.C*, align 8
+  store %struct.C* %this, %struct.C** %this.addr, align 8
+  call void @llvm.dbg.declare(metadata %struct.C** %this.addr, metadata !109, metadata !65), !dbg !110
+  %this1 = load %struct.C*, %struct.C** %this.addr, align 8, !dbg !111
+  %0 = bitcast %struct.C* %this1 to i8*, !dbg !111
+  %1 = getelementptr i8, i8* %0, i32 -16, !dbg !111
+  %2 = bitcast i8* %1 to %struct.C*, !dbg !111
+  tail call void @"\01?f@C@@UEAAXXZ"(%struct.C* %2), !dbg !111
+  ret void, !dbg !111
+}
+
+declare void @"\01?f@A@@UEAAXXZ"(%struct.A*) unnamed_addr #3
+
+declare void @"\01?g@A@@UEAAXXZ"(%struct.A*) unnamed_addr #3
+
+declare void @"\01?g@B@@UEAAXXZ"(%struct.B*) unnamed_addr #3
+
+declare void @"\01?f@B@@UEAAXXZ"(%struct.B*) unnamed_addr #3
+
+attributes #0 = { nounwind "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "stack-protector-buffer-size"="8" "target-features"="+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
+attributes #1 = { nounwind readnone }
+attributes #2 = { inlinehint nounwind "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "stack-protector-buffer-size"="8" "target-features"="+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
+attributes #3 = { "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "stack-protector-buffer-size"="8" "target-features"="+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
+attributes #4 = { nounwind }
+
+!llvm.dbg.cu = !{!0}
+!llvm.module.flags = !{!3, !4}
+!llvm.ident = !{!5}
+
+!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 4.0.0 ", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2)
+!1 = !DIFile(filename: "<stdin>", directory: "D:\5Csrc\5Cllvm\5Cbuild")
+!2 = !{}
+!3 = !{i32 2, !"CodeView", i32 1}
+!4 = !{i32 2, !"Debug Info Version", i32 3}
+!5 = !{!"clang version 4.0.0 "}
+!6 = distinct !DISubprogram(name: "h", linkageName: "\01?h@@YAXXZ", scope: !7, file: !7, line: 21, type: !8, isLocal: false, isDefinition: true, scopeLine: 21, flags: DIFlagPrototyped, isOptimized: false, unit: !0, variables: !2)
+!7 = !DIFile(filename: "t.cpp", directory: "D:\5Csrc\5Cllvm\5Cbuild")
+!8 = !DISubroutineType(types: !9)
+!9 = !{null}
+!10 = !DILocalVariable(name: "d", scope: !6, file: !7, line: 21, type: !11)
+!11 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "D", file: !7, line: 16, size: 384, align: 64, elements: !12, vtableHolder: !17, identifier: ".?AUD@@")
+!12 = !{!13, !55, !57, !59, !60, !64}
+!13 = !DIDerivedType(tag: DW_TAG_inheritance, scope: !11, baseType: !14)
+!14 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "C", file: !7, line: 11, size: 320, align: 64, elements: !15, vtableHolder: !17, identifier: ".?AUC@@")
+!15 = !{!16, !33, !45, !47, !49, !50, !54}
+!16 = !DIDerivedType(tag: DW_TAG_inheritance, scope: !14, baseType: !17)
+!17 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "A", file: !7, line: 1, size: 128, align: 64, elements: !18, vtableHolder: !17, identifier: ".?AUA@@")
+!18 = !{!19, !21, !27, !28, !32}
+!19 = !DIDerivedType(tag: DW_TAG_LLVM_msvftable, name: "??_7A@@6B@", scope: !17, baseType: null, extraData: !20)
+!20 = !{!"?f@A@@UEAAXXZ", !"?g@A@@UEAAXXZ"}
+!21 = !DIDerivedType(tag: DW_TAG_member, name: "_vptr$A", scope: !7, file: !7, baseType: !22, size: 64, flags: DIFlagArtificial)
+!22 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !23, size: 64)
+!23 = !DIDerivedType(tag: DW_TAG_pointer_type, name: "__vtbl_ptr_type", baseType: !24, size: 64)
+!24 = !DISubroutineType(types: !25)
+!25 = !{!26}
+!26 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
+!27 = !DIDerivedType(tag: DW_TAG_member, name: "a", scope: !17, file: !7, line: 4, baseType: !26, size: 32, align: 32, offset: 64)
+!28 = !DISubprogram(name: "f", linkageName: "\01?f@A@@UEAAXXZ", scope: !17, file: !7, line: 2, type: !29, isLocal: false, isDefinition: false, scopeLine: 2, containingType: !17, virtuality: DW_VIRTUALITY_virtual, virtualIndex: 0, flags: DIFlagPrototyped | DIFlagIntroducedVirtual, isOptimized: false)
+!29 = !DISubroutineType(types: !30)
+!30 = !{null, !31}
+!31 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !17, size: 64, align: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
+!32 = !DISubprogram(name: "g", linkageName: "\01?g@A@@UEAAXXZ", scope: !17, file: !7, line: 3, type: !29, isLocal: false, isDefinition: false, scopeLine: 3, containingType: !17, virtuality: DW_VIRTUALITY_virtual, virtualIndex: 1, flags: DIFlagPrototyped | DIFlagIntroducedVirtual, isOptimized: false)
+!33 = !DIDerivedType(tag: DW_TAG_inheritance, scope: !14, baseType: !34, offset: 128)
+!34 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "B", file: !7, line: 6, size: 128, align: 64, elements: !35, vtableHolder: !34, identifier: ".?AUB@@")
+!35 = !{!36, !38, !39, !40, !44}
+!36 = !DIDerivedType(tag: DW_TAG_LLVM_msvftable, name: "??_7B@@6B@", scope: !34, baseType: null, extraData: !37)
+!37 = !{!"?g@B@@UEAAXXZ", !"?f@B@@UEAAXXZ"}
+!38 = !DIDerivedType(tag: DW_TAG_member, name: "_vptr$B", scope: !7, file: !7, baseType: !22, size: 64, flags: DIFlagArtificial)
+!39 = !DIDerivedType(tag: DW_TAG_member, name: "b", scope: !34, file: !7, line: 9, baseType: !26, size: 32, align: 32, offset: 64)
+!40 = !DISubprogram(name: "g", linkageName: "\01?g@B@@UEAAXXZ", scope: !34, file: !7, line: 7, type: !41, isLocal: false, isDefinition: false, scopeLine: 7, containingType: !34, virtuality: DW_VIRTUALITY_virtual, virtualIndex: 0, flags: DIFlagPrototyped | DIFlagIntroducedVirtual, isOptimized: false)
+!41 = !DISubroutineType(types: !42)
+!42 = !{null, !43}
+!43 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !34, size: 64, align: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
+!44 = !DISubprogram(name: "f", linkageName: "\01?f@B@@UEAAXXZ", scope: !34, file: !7, line: 8, type: !41, isLocal: false, isDefinition: false, scopeLine: 8, containingType: !34, virtuality: DW_VIRTUALITY_virtual, virtualIndex: 1, flags: DIFlagPrototyped | DIFlagIntroducedVirtual, isOptimized: false)
+!45 = !DIDerivedType(tag: DW_TAG_LLVM_msvftable, name: "??_7C@@6BA@@@", scope: !14, baseType: !19, extraData: !46)
+!46 = !{!"?f@C@@UEAAXXZ", !"?g@C@@UEAAXXZ"}
+!47 = !DIDerivedType(tag: DW_TAG_LLVM_msvftable, name: "??_7C@@6BB@@@", scope: !14, baseType: !36, offset: 128, extraData: !48)
+!48 = !{!"?g@C@@WBA@EAAXXZ", !"?f@C@@WBA@EAAXXZ"}
+!49 = !DIDerivedType(tag: DW_TAG_member, name: "c", scope: !14, file: !7, line: 14, baseType: !26, size: 32, align: 32, offset: 256)
+!50 = !DISubprogram(name: "g", linkageName: "\01?g@C@@UEAAXXZ", scope: !14, file: !7, line: 12, type: !51, isLocal: false, isDefinition: false, scopeLine: 12, containingType: !14, virtuality: DW_VIRTUALITY_virtual, virtualIndex: 1, flags: DIFlagPrototyped, isOptimized: false)
+!51 = !DISubroutineType(types: !52)
+!52 = !{null, !53}
+!53 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !14, size: 64, align: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
+!54 = !DISubprogram(name: "f", linkageName: "\01?f@C@@UEAAXXZ", scope: !14, file: !7, line: 13, type: !51, isLocal: false, isDefinition: false, scopeLine: 13, containingType: !14, virtuality: DW_VIRTUALITY_virtual, virtualIndex: 0, flags: DIFlagPrototyped, isOptimized: false)
+!55 = !DIDerivedType(tag: DW_TAG_LLVM_msvftable, name: "??_7D@@6BA@@@", scope: !11, baseType: !45, extraData: !56)
+!56 = !{!"?f@D@@UEAAXXZ", !"?g@D@@UEAAXXZ"}
+!57 = !DIDerivedType(tag: DW_TAG_LLVM_msvftable, name: "??_7D@@6BB@@@", scope: !11, baseType: !47, offset: 128, extraData: !58)
+!58 = !{!"?g@D@@WBA@EAAXXZ", !"?f@D@@WBA@EAAXXZ"}
+!59 = !DIDerivedType(tag: DW_TAG_member, name: "d", scope: !11, file: !7, line: 19, baseType: !26, size: 32, align: 32, offset: 320)
+!60 = !DISubprogram(name: "g", linkageName: "\01?g@D@@UEAAXXZ", scope: !11, file: !7, line: 17, type: !61, isLocal: false, isDefinition: false, scopeLine: 17, containingType: !11, virtuality: DW_VIRTUALITY_virtual, virtualIndex: 1, flags: DIFlagPrototyped, isOptimized: false)
+!61 = !DISubroutineType(types: !62)
+!62 = !{null, !63}
+!63 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !11, size: 64, align: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
+!64 = !DISubprogram(name: "f", linkageName: "\01?f@D@@UEAAXXZ", scope: !11, file: !7, line: 18, type: !61, isLocal: false, isDefinition: false, scopeLine: 18, containingType: !11, virtuality: DW_VIRTUALITY_virtual, virtualIndex: 0, flags: DIFlagPrototyped, isOptimized: false)
+!65 = !DIExpression()
+!66 = !DILocation(line: 21, scope: !6)
+!67 = distinct !DISubprogram(name: "D", linkageName: "\01??0D@@QEAA@XZ", scope: !11, file: !7, line: 16, type: !61, isLocal: false, isDefinition: true, scopeLine: 16, flags: DIFlagArtificial | DIFlagPrototyped, isOptimized: false, unit: !0, declaration: !68, variables: !2)
+!68 = !DISubprogram(name: "D", scope: !11, type: !61, isLocal: false, isDefinition: false, flags: DIFlagArtificial | DIFlagPrototyped, isOptimized: false)
+!69 = !DILocalVariable(name: "this", arg: 1, scope: !67, type: !70, flags: DIFlagArtificial | DIFlagObjectPointer)
+!70 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !11, size: 64, align: 64)
+!71 = !DILocation(line: 0, scope: !67)
+!72 = !DILocation(line: 16, scope: !67)
+!73 = !DILocation(line: 19, scope: !67)
+!74 = distinct !DISubprogram(name: "C", linkageName: "\01??0C@@QEAA@XZ", scope: !14, file: !7, line: 11, type: !51, isLocal: false, isDefinition: true, scopeLine: 11, flags: DIFlagArtificial | DIFlagPrototyped, isOptimized: false, unit: !0, declaration: !75, variables: !2)
+!75 = !DISubprogram(name: "C", scope: !14, type: !51, isLocal: false, isDefinition: false, flags: DIFlagArtificial | DIFlagPrototyped, isOptimized: false)
+!76 = !DILocalVariable(name: "this", arg: 1, scope: !74, type: !77, flags: DIFlagArtificial | DIFlagObjectPointer)
+!77 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !14, size: 64, align: 64)
+!78 = !DILocation(line: 0, scope: !74)
+!79 = !DILocation(line: 11, scope: !74)
+!80 = !DILocation(line: 14, scope: !74)
+!81 = distinct !DISubprogram(linkageName: "\01?g@D@@WBA@EAAXXZ", scope: !7, file: !7, line: 17, type: !82, isLocal: false, isDefinition: true, scopeLine: 17, flags: DIFlagArtificial, isOptimized: false, unit: !0, variables: !2)
+!82 = !DISubroutineType(types: !2)
+!83 = !DILocalVariable(name: "this", arg: 1, scope: !81, type: !70, flags: DIFlagArtificial | DIFlagObjectPointer)
+!84 = !DILocation(line: 0, scope: !81)
+!85 = !DILocation(line: 17, scope: !81)
+!86 = distinct !DISubprogram(linkageName: "\01?f@D@@WBA@EAAXXZ", scope: !7, file: !7, line: 18, type: !82, isLocal: false, isDefinition: true, scopeLine: 18, flags: DIFlagArtificial, isOptimized: false, unit: !0, variables: !2)
+!87 = !DILocalVariable(name: "this", arg: 1, scope: !86, type: !70, flags: DIFlagArtificial | DIFlagObjectPointer)
+!88 = !DILocation(line: 0, scope: !86)
+!89 = !DILocation(line: 18, scope: !86)
+!90 = distinct !DISubprogram(name: "A", linkageName: "\01??0A@@QEAA@XZ", scope: !17, file: !7, line: 1, type: !29, isLocal: false, isDefinition: true, scopeLine: 1, flags: DIFlagArtificial | DIFlagPrototyped, isOptimized: false, unit: !0, declaration: !91, variables: !2)
+!91 = !DISubprogram(name: "A", scope: !17, type: !29, isLocal: false, isDefinition: false, flags: DIFlagArtificial | DIFlagPrototyped, isOptimized: false)
+!92 = !DILocalVariable(name: "this", arg: 1, scope: !90, type: !93, flags: DIFlagArtificial | DIFlagObjectPointer)
+!93 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !17, size: 64, align: 64)
+!94 = !DILocation(line: 0, scope: !90)
+!95 = !DILocation(line: 1, scope: !90)
+!96 = !DILocation(line: 4, scope: !90)
+!97 = distinct !DISubprogram(name: "B", linkageName: "\01??0B@@QEAA@XZ", scope: !34, file: !7, line: 6, type: !41, isLocal: false, isDefinition: true, scopeLine: 6, flags: DIFlagArtificial | DIFlagPrototyped, isOptimized: false, unit: !0, declaration: !98, variables: !2)
+!98 = !DISubprogram(name: "B", scope: !34, type: !41, isLocal: false, isDefinition: false, flags: DIFlagArtificial | DIFlagPrototyped, isOptimized: false)
+!99 = !DILocalVariable(name: "this", arg: 1, scope: !97, type: !100, flags: DIFlagArtificial | DIFlagObjectPointer)
+!100 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !34, size: 64, align: 64)
+!101 = !DILocation(line: 0, scope: !97)
+!102 = !DILocation(line: 6, scope: !97)
+!103 = !DILocation(line: 9, scope: !97)
+!104 = distinct !DISubprogram(linkageName: "\01?g@C@@WBA@EAAXXZ", scope: !7, file: !7, line: 12, type: !82, isLocal: false, isDefinition: true, scopeLine: 12, flags: DIFlagArtificial, isOptimized: false, unit: !0, variables: !2)
+!105 = !DILocalVariable(name: "this", arg: 1, scope: !104, type: !77, flags: DIFlagArtificial | DIFlagObjectPointer)
+!106 = !DILocation(line: 0, scope: !104)
+!107 = !DILocation(line: 12, scope: !104)
+!108 = distinct !DISubprogram(linkageName: "\01?f@C@@WBA@EAAXXZ", scope: !7, file: !7, line: 13, type: !82, isLocal: false, isDefinition: true, scopeLine: 13, flags: DIFlagArtificial, isOptimized: false, unit: !0, variables: !2)
+!109 = !DILocalVariable(name: "this", arg: 1, scope: !108, type: !77, flags: DIFlagArtificial | DIFlagObjectPointer)
+!110 = !DILocation(line: 0, scope: !108)
+!111 = !DILocation(line: 13, scope: !108)