xref: /freebsd/contrib/llvm-project/clang/include/clang/AST/VTableBuilder.h (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
1 //===--- VTableBuilder.h - C++ vtable layout builder --------------*- C++ -*-=//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This contains code dealing with generation of the layout of virtual tables.
10 //
11 //===----------------------------------------------------------------------===//
12 
13 #ifndef LLVM_CLANG_AST_VTABLEBUILDER_H
14 #define LLVM_CLANG_AST_VTABLEBUILDER_H
15 
16 #include "clang/AST/BaseSubobject.h"
17 #include "clang/AST/CXXInheritance.h"
18 #include "clang/AST/GlobalDecl.h"
19 #include "clang/AST/RecordLayout.h"
20 #include "clang/Basic/ABI.h"
21 #include "clang/Basic/Thunk.h"
22 #include "llvm/ADT/DenseMap.h"
23 #include <memory>
24 #include <utility>
25 
26 namespace clang {
27   class CXXRecordDecl;
28 
29 /// Represents a single component in a vtable.
30 class VTableComponent {
31 public:
32   enum Kind {
33     CK_VCallOffset,
34     CK_VBaseOffset,
35     CK_OffsetToTop,
36     CK_RTTI,
37     CK_FunctionPointer,
38 
39     /// A pointer to the complete destructor.
40     CK_CompleteDtorPointer,
41 
42     /// A pointer to the deleting destructor.
43     CK_DeletingDtorPointer,
44 
45     /// An entry that is never used.
46     ///
47     /// In some cases, a vtable function pointer will end up never being
48     /// called. Such vtable function pointers are represented as a
49     /// CK_UnusedFunctionPointer.
50     CK_UnusedFunctionPointer
51   };
52 
53   VTableComponent() = default;
54 
MakeVCallOffset(CharUnits Offset)55   static VTableComponent MakeVCallOffset(CharUnits Offset) {
56     return VTableComponent(CK_VCallOffset, Offset);
57   }
58 
MakeVBaseOffset(CharUnits Offset)59   static VTableComponent MakeVBaseOffset(CharUnits Offset) {
60     return VTableComponent(CK_VBaseOffset, Offset);
61   }
62 
MakeOffsetToTop(CharUnits Offset)63   static VTableComponent MakeOffsetToTop(CharUnits Offset) {
64     return VTableComponent(CK_OffsetToTop, Offset);
65   }
66 
MakeRTTI(const CXXRecordDecl * RD)67   static VTableComponent MakeRTTI(const CXXRecordDecl *RD) {
68     return VTableComponent(CK_RTTI, reinterpret_cast<uintptr_t>(RD));
69   }
70 
MakeFunction(const CXXMethodDecl * MD)71   static VTableComponent MakeFunction(const CXXMethodDecl *MD) {
72     assert(!isa<CXXDestructorDecl>(MD) &&
73            "Don't use MakeFunction with destructors!");
74 
75     return VTableComponent(CK_FunctionPointer,
76                            reinterpret_cast<uintptr_t>(MD));
77   }
78 
MakeCompleteDtor(const CXXDestructorDecl * DD)79   static VTableComponent MakeCompleteDtor(const CXXDestructorDecl *DD) {
80     return VTableComponent(CK_CompleteDtorPointer,
81                            reinterpret_cast<uintptr_t>(DD));
82   }
83 
MakeDeletingDtor(const CXXDestructorDecl * DD)84   static VTableComponent MakeDeletingDtor(const CXXDestructorDecl *DD) {
85     return VTableComponent(CK_DeletingDtorPointer,
86                            reinterpret_cast<uintptr_t>(DD));
87   }
88 
MakeUnusedFunction(const CXXMethodDecl * MD)89   static VTableComponent MakeUnusedFunction(const CXXMethodDecl *MD) {
90     assert(!isa<CXXDestructorDecl>(MD) &&
91            "Don't use MakeUnusedFunction with destructors!");
92     return VTableComponent(CK_UnusedFunctionPointer,
93                            reinterpret_cast<uintptr_t>(MD));
94   }
95 
96   /// Get the kind of this vtable component.
getKind()97   Kind getKind() const {
98     return (Kind)(Value & 0x7);
99   }
100 
getVCallOffset()101   CharUnits getVCallOffset() const {
102     assert(getKind() == CK_VCallOffset && "Invalid component kind!");
103 
104     return getOffset();
105   }
106 
getVBaseOffset()107   CharUnits getVBaseOffset() const {
108     assert(getKind() == CK_VBaseOffset && "Invalid component kind!");
109 
110     return getOffset();
111   }
112 
getOffsetToTop()113   CharUnits getOffsetToTop() const {
114     assert(getKind() == CK_OffsetToTop && "Invalid component kind!");
115 
116     return getOffset();
117   }
118 
getRTTIDecl()119   const CXXRecordDecl *getRTTIDecl() const {
120     assert(isRTTIKind() && "Invalid component kind!");
121     return reinterpret_cast<CXXRecordDecl *>(getPointer());
122   }
123 
getFunctionDecl()124   const CXXMethodDecl *getFunctionDecl() const {
125     assert(isFunctionPointerKind() && "Invalid component kind!");
126     if (isDestructorKind())
127       return getDestructorDecl();
128     return reinterpret_cast<CXXMethodDecl *>(getPointer());
129   }
130 
getDestructorDecl()131   const CXXDestructorDecl *getDestructorDecl() const {
132     assert(isDestructorKind() && "Invalid component kind!");
133     return reinterpret_cast<CXXDestructorDecl *>(getPointer());
134   }
135 
getUnusedFunctionDecl()136   const CXXMethodDecl *getUnusedFunctionDecl() const {
137     assert(getKind() == CK_UnusedFunctionPointer && "Invalid component kind!");
138     return reinterpret_cast<CXXMethodDecl *>(getPointer());
139   }
140 
isDestructorKind()141   bool isDestructorKind() const { return isDestructorKind(getKind()); }
142 
isUsedFunctionPointerKind()143   bool isUsedFunctionPointerKind() const {
144     return isUsedFunctionPointerKind(getKind());
145   }
146 
isFunctionPointerKind()147   bool isFunctionPointerKind() const {
148     return isFunctionPointerKind(getKind());
149   }
150 
isRTTIKind()151   bool isRTTIKind() const { return isRTTIKind(getKind()); }
152 
getGlobalDecl()153   GlobalDecl getGlobalDecl() const {
154     assert(isUsedFunctionPointerKind() &&
155            "GlobalDecl can be created only from virtual function");
156 
157     auto *DtorDecl = dyn_cast<CXXDestructorDecl>(getFunctionDecl());
158     switch (getKind()) {
159     case CK_FunctionPointer:
160       return GlobalDecl(getFunctionDecl());
161     case CK_CompleteDtorPointer:
162       return GlobalDecl(DtorDecl, CXXDtorType::Dtor_Complete);
163     case CK_DeletingDtorPointer:
164       return GlobalDecl(DtorDecl, CXXDtorType::Dtor_Deleting);
165     case CK_VCallOffset:
166     case CK_VBaseOffset:
167     case CK_OffsetToTop:
168     case CK_RTTI:
169     case CK_UnusedFunctionPointer:
170       llvm_unreachable("Only function pointers kinds");
171     }
172     llvm_unreachable("Should already return");
173   }
174 
175 private:
isFunctionPointerKind(Kind ComponentKind)176   static bool isFunctionPointerKind(Kind ComponentKind) {
177     return isUsedFunctionPointerKind(ComponentKind) ||
178            ComponentKind == CK_UnusedFunctionPointer;
179   }
isUsedFunctionPointerKind(Kind ComponentKind)180   static bool isUsedFunctionPointerKind(Kind ComponentKind) {
181     return ComponentKind == CK_FunctionPointer ||
182            isDestructorKind(ComponentKind);
183   }
isDestructorKind(Kind ComponentKind)184   static bool isDestructorKind(Kind ComponentKind) {
185     return ComponentKind == CK_CompleteDtorPointer ||
186            ComponentKind == CK_DeletingDtorPointer;
187   }
isRTTIKind(Kind ComponentKind)188   static bool isRTTIKind(Kind ComponentKind) {
189     return ComponentKind == CK_RTTI;
190   }
191 
VTableComponent(Kind ComponentKind,CharUnits Offset)192   VTableComponent(Kind ComponentKind, CharUnits Offset) {
193     assert((ComponentKind == CK_VCallOffset ||
194             ComponentKind == CK_VBaseOffset ||
195             ComponentKind == CK_OffsetToTop) && "Invalid component kind!");
196     assert(Offset.getQuantity() < (1LL << 56) && "Offset is too big!");
197     assert(Offset.getQuantity() >= -(1LL << 56) && "Offset is too small!");
198 
199     Value = (uint64_t(Offset.getQuantity()) << 3) | ComponentKind;
200   }
201 
VTableComponent(Kind ComponentKind,uintptr_t Ptr)202   VTableComponent(Kind ComponentKind, uintptr_t Ptr) {
203     assert((isRTTIKind(ComponentKind) || isFunctionPointerKind(ComponentKind)) &&
204            "Invalid component kind!");
205 
206     assert((Ptr & 7) == 0 && "Pointer not sufficiently aligned!");
207 
208     Value = Ptr | ComponentKind;
209   }
210 
getOffset()211   CharUnits getOffset() const {
212     assert((getKind() == CK_VCallOffset || getKind() == CK_VBaseOffset ||
213             getKind() == CK_OffsetToTop) && "Invalid component kind!");
214 
215     return CharUnits::fromQuantity(Value >> 3);
216   }
217 
getPointer()218   uintptr_t getPointer() const {
219     assert((getKind() == CK_RTTI || isFunctionPointerKind()) &&
220            "Invalid component kind!");
221 
222     return static_cast<uintptr_t>(Value & ~7ULL);
223   }
224 
225   /// The kind is stored in the lower 3 bits of the value. For offsets, we
226   /// make use of the facts that classes can't be larger than 2^55 bytes,
227   /// so we store the offset in the lower part of the 61 bits that remain.
228   /// (The reason that we're not simply using a PointerIntPair here is that we
229   /// need the offsets to be 64-bit, even when on a 32-bit machine).
230   int64_t Value;
231 };
232 
233 class VTableLayout {
234 public:
235   typedef std::pair<uint64_t, ThunkInfo> VTableThunkTy;
236   struct AddressPointLocation {
237     unsigned VTableIndex, AddressPointIndex;
238   };
239   typedef llvm::DenseMap<BaseSubobject, AddressPointLocation>
240       AddressPointsMapTy;
241 
242   // Mapping between the VTable index and address point index. This is useful
243   // when you don't care about the base subobjects and only want the address
244   // point for a given vtable index.
245   typedef llvm::SmallVector<unsigned, 4> AddressPointsIndexMapTy;
246 
247 private:
248   // Stores the component indices of the first component of each virtual table in
249   // the virtual table group. To save a little memory in the common case where
250   // the vtable group contains a single vtable, an empty vector here represents
251   // the vector {0}.
252   OwningArrayRef<size_t> VTableIndices;
253 
254   OwningArrayRef<VTableComponent> VTableComponents;
255 
256   /// Contains thunks needed by vtables, sorted by indices.
257   OwningArrayRef<VTableThunkTy> VTableThunks;
258 
259   /// Address points for all vtables.
260   AddressPointsMapTy AddressPoints;
261 
262   /// Address points for all vtable indices.
263   AddressPointsIndexMapTy AddressPointIndices;
264 
265 public:
266   VTableLayout(ArrayRef<size_t> VTableIndices,
267                ArrayRef<VTableComponent> VTableComponents,
268                ArrayRef<VTableThunkTy> VTableThunks,
269                const AddressPointsMapTy &AddressPoints);
270   ~VTableLayout();
271 
vtable_components()272   ArrayRef<VTableComponent> vtable_components() const {
273     return VTableComponents;
274   }
275 
vtable_thunks()276   ArrayRef<VTableThunkTy> vtable_thunks() const {
277     return VTableThunks;
278   }
279 
getAddressPoint(BaseSubobject Base)280   AddressPointLocation getAddressPoint(BaseSubobject Base) const {
281     assert(AddressPoints.count(Base) && "Did not find address point!");
282     return AddressPoints.lookup(Base);
283   }
284 
getAddressPoints()285   const AddressPointsMapTy &getAddressPoints() const {
286     return AddressPoints;
287   }
288 
getAddressPointIndices()289   const AddressPointsIndexMapTy &getAddressPointIndices() const {
290     return AddressPointIndices;
291   }
292 
getNumVTables()293   size_t getNumVTables() const {
294     if (VTableIndices.empty())
295       return 1;
296     return VTableIndices.size();
297   }
298 
getVTableOffset(size_t i)299   size_t getVTableOffset(size_t i) const {
300     if (VTableIndices.empty()) {
301       assert(i == 0);
302       return 0;
303     }
304     return VTableIndices[i];
305   }
306 
getVTableSize(size_t i)307   size_t getVTableSize(size_t i) const {
308     if (VTableIndices.empty()) {
309       assert(i == 0);
310       return vtable_components().size();
311     }
312 
313     size_t thisIndex = VTableIndices[i];
314     size_t nextIndex = (i + 1 == VTableIndices.size())
315                            ? vtable_components().size()
316                            : VTableIndices[i + 1];
317     return nextIndex - thisIndex;
318   }
319 };
320 
321 class VTableContextBase {
322 public:
323   typedef SmallVector<ThunkInfo, 1> ThunkInfoVectorTy;
324 
isMicrosoft()325   bool isMicrosoft() const { return IsMicrosoftABI; }
326 
~VTableContextBase()327   virtual ~VTableContextBase() {}
328 
329 protected:
330   typedef llvm::DenseMap<const CXXMethodDecl *, ThunkInfoVectorTy> ThunksMapTy;
331 
332   /// Contains all thunks that a given method decl will need.
333   ThunksMapTy Thunks;
334 
335   /// Compute and store all vtable related information (vtable layout, vbase
336   /// offset offsets, thunks etc) for the given record decl.
337   virtual void computeVTableRelatedInformation(const CXXRecordDecl *RD) = 0;
338 
VTableContextBase(bool MS)339   VTableContextBase(bool MS) : IsMicrosoftABI(MS) {}
340 
341 public:
getThunkInfo(GlobalDecl GD)342   virtual const ThunkInfoVectorTy *getThunkInfo(GlobalDecl GD) {
343     const CXXMethodDecl *MD = cast<CXXMethodDecl>(GD.getDecl()->getCanonicalDecl());
344     computeVTableRelatedInformation(MD->getParent());
345 
346     // This assumes that all the destructors present in the vtable
347     // use exactly the same set of thunks.
348     ThunksMapTy::const_iterator I = Thunks.find(MD);
349     if (I == Thunks.end()) {
350       // We did not find a thunk for this method.
351       return nullptr;
352     }
353 
354     return &I->second;
355   }
356 
357   bool IsMicrosoftABI;
358 
359   /// Determine whether this function should be assigned a vtable slot.
360   static bool hasVtableSlot(const CXXMethodDecl *MD);
361 };
362 
363 class ItaniumVTableContext : public VTableContextBase {
364 public:
365   typedef llvm::DenseMap<const CXXMethodDecl *, const CXXMethodDecl *>
366       OriginalMethodMapTy;
367 
368 private:
369 
370   /// Contains the index (relative to the vtable address point)
371   /// where the function pointer for a virtual function is stored.
372   typedef llvm::DenseMap<GlobalDecl, int64_t> MethodVTableIndicesTy;
373   MethodVTableIndicesTy MethodVTableIndices;
374 
375   typedef llvm::DenseMap<const CXXRecordDecl *,
376                          std::unique_ptr<const VTableLayout>>
377       VTableLayoutMapTy;
378   VTableLayoutMapTy VTableLayouts;
379 
380   typedef std::pair<const CXXRecordDecl *,
381                     const CXXRecordDecl *> ClassPairTy;
382 
383   /// vtable offsets for offsets of virtual bases of a class.
384   ///
385   /// Contains the vtable offset (relative to the address point) in chars
386   /// where the offsets for virtual bases of a class are stored.
387   typedef llvm::DenseMap<ClassPairTy, CharUnits>
388     VirtualBaseClassOffsetOffsetsMapTy;
389   VirtualBaseClassOffsetOffsetsMapTy VirtualBaseClassOffsetOffsets;
390 
391   /// Map from a virtual method to the nearest method in the primary base class
392   /// chain that it overrides.
393   OriginalMethodMapTy OriginalMethodMap;
394 
395   void computeVTableRelatedInformation(const CXXRecordDecl *RD) override;
396 
397 public:
398   enum VTableComponentLayout {
399     /// Components in the vtable are pointers to other structs/functions.
400     Pointer,
401 
402     /// Components in the vtable are relative offsets between the vtable and the
403     /// other structs/functions.
404     Relative,
405   };
406 
407   ItaniumVTableContext(ASTContext &Context,
408                        VTableComponentLayout ComponentLayout = Pointer);
409   ~ItaniumVTableContext() override;
410 
getVTableLayout(const CXXRecordDecl * RD)411   const VTableLayout &getVTableLayout(const CXXRecordDecl *RD) {
412     computeVTableRelatedInformation(RD);
413     assert(VTableLayouts.count(RD) && "No layout for this record decl!");
414 
415     return *VTableLayouts[RD];
416   }
417 
418   std::unique_ptr<VTableLayout> createConstructionVTableLayout(
419       const CXXRecordDecl *MostDerivedClass, CharUnits MostDerivedClassOffset,
420       bool MostDerivedClassIsVirtual, const CXXRecordDecl *LayoutClass);
421 
422   /// Locate a virtual function in the vtable.
423   ///
424   /// Return the index (relative to the vtable address point) where the
425   /// function pointer for the given virtual function is stored.
426   uint64_t getMethodVTableIndex(GlobalDecl GD);
427 
428   /// Return the offset in chars (relative to the vtable address point) where
429   /// the offset of the virtual base that contains the given base is stored,
430   /// otherwise, if no virtual base contains the given class, return 0.
431   ///
432   /// Base must be a virtual base class or an unambiguous base.
433   CharUnits getVirtualBaseOffsetOffset(const CXXRecordDecl *RD,
434                                        const CXXRecordDecl *VBase);
435 
436   /// Return the method that added the v-table slot that will be used to call
437   /// the given method.
438   ///
439   /// In the Itanium ABI, where overrides always cause methods to be added to
440   /// the primary v-table if they're not already there, this will be the first
441   /// declaration in the primary base class chain for which the return type
442   /// adjustment is trivial.
443   GlobalDecl findOriginalMethod(GlobalDecl GD);
444 
445   const CXXMethodDecl *findOriginalMethodInMap(const CXXMethodDecl *MD) const;
446 
setOriginalMethod(const CXXMethodDecl * Key,const CXXMethodDecl * Val)447   void setOriginalMethod(const CXXMethodDecl *Key, const CXXMethodDecl *Val) {
448     OriginalMethodMap[Key] = Val;
449   }
450 
451   /// This method is reserved for the implementation and shouldn't be used
452   /// directly.
getOriginalMethodMap()453   const OriginalMethodMapTy &getOriginalMethodMap() {
454     return OriginalMethodMap;
455   }
456 
classof(const VTableContextBase * VT)457   static bool classof(const VTableContextBase *VT) {
458     return !VT->isMicrosoft();
459   }
460 
getVTableComponentLayout()461   VTableComponentLayout getVTableComponentLayout() const {
462     return ComponentLayout;
463   }
464 
isPointerLayout()465   bool isPointerLayout() const { return ComponentLayout == Pointer; }
isRelativeLayout()466   bool isRelativeLayout() const { return ComponentLayout == Relative; }
467 
468 private:
469   VTableComponentLayout ComponentLayout;
470 };
471 
472 /// Holds information about the inheritance path to a virtual base or function
473 /// table pointer.  A record may contain as many vfptrs or vbptrs as there are
474 /// base subobjects.
475 struct VPtrInfo {
476   typedef SmallVector<const CXXRecordDecl *, 1> BasePath;
477 
VPtrInfoVPtrInfo478   VPtrInfo(const CXXRecordDecl *RD)
479       : ObjectWithVPtr(RD), IntroducingObject(RD), NextBaseToMangle(RD) {}
480 
481   /// This is the most derived class that has this vptr at offset zero. When
482   /// single inheritance is used, this is always the most derived class. If
483   /// multiple inheritance is used, it may be any direct or indirect base.
484   const CXXRecordDecl *ObjectWithVPtr;
485 
486   /// This is the class that introduced the vptr by declaring new virtual
487   /// methods or virtual bases.
488   const CXXRecordDecl *IntroducingObject;
489 
490   /// IntroducingObject is at this offset from its containing complete object or
491   /// virtual base.
492   CharUnits NonVirtualOffset;
493 
494   /// The bases from the inheritance path that got used to mangle the vbtable
495   /// name.  This is not really a full path like a CXXBasePath.  It holds the
496   /// subset of records that need to be mangled into the vbtable symbol name in
497   /// order to get a unique name.
498   BasePath MangledPath;
499 
500   /// The next base to push onto the mangled path if this path is ambiguous in a
501   /// derived class.  If it's null, then it's already been pushed onto the path.
502   const CXXRecordDecl *NextBaseToMangle;
503 
504   /// The set of possibly indirect vbases that contain this vbtable.  When a
505   /// derived class indirectly inherits from the same vbase twice, we only keep
506   /// vtables and their paths from the first instance.
507   BasePath ContainingVBases;
508 
509   /// This holds the base classes path from the complete type to the first base
510   /// with the given vfptr offset, in the base-to-derived order.  Only used for
511   /// vftables.
512   BasePath PathToIntroducingObject;
513 
514   /// Static offset from the top of the most derived class to this vfptr,
515   /// including any virtual base offset.  Only used for vftables.
516   CharUnits FullOffsetInMDC;
517 
518   /// The vptr is stored inside the non-virtual component of this virtual base.
getVBaseWithVPtrVPtrInfo519   const CXXRecordDecl *getVBaseWithVPtr() const {
520     return ContainingVBases.empty() ? nullptr : ContainingVBases.front();
521   }
522 };
523 
524 typedef SmallVector<std::unique_ptr<VPtrInfo>, 2> VPtrInfoVector;
525 
526 /// All virtual base related information about a given record decl.  Includes
527 /// information on all virtual base tables and the path components that are used
528 /// to mangle them.
529 struct VirtualBaseInfo {
530   /// A map from virtual base to vbtable index for doing a conversion from the
531   /// the derived class to the a base.
532   llvm::DenseMap<const CXXRecordDecl *, unsigned> VBTableIndices;
533 
534   /// Information on all virtual base tables used when this record is the most
535   /// derived class.
536   VPtrInfoVector VBPtrPaths;
537 };
538 
539 struct MethodVFTableLocation {
540   /// If nonzero, holds the vbtable index of the virtual base with the vfptr.
541   uint64_t VBTableIndex;
542 
543   /// If nonnull, holds the last vbase which contains the vfptr that the
544   /// method definition is adjusted to.
545   const CXXRecordDecl *VBase;
546 
547   /// This is the offset of the vfptr from the start of the last vbase, or the
548   /// complete type if there are no virtual bases.
549   CharUnits VFPtrOffset;
550 
551   /// Method's index in the vftable.
552   uint64_t Index;
553 
MethodVFTableLocationMethodVFTableLocation554   MethodVFTableLocation()
555       : VBTableIndex(0), VBase(nullptr), VFPtrOffset(CharUnits::Zero()),
556         Index(0) {}
557 
MethodVFTableLocationMethodVFTableLocation558   MethodVFTableLocation(uint64_t VBTableIndex, const CXXRecordDecl *VBase,
559                         CharUnits VFPtrOffset, uint64_t Index)
560       : VBTableIndex(VBTableIndex), VBase(VBase), VFPtrOffset(VFPtrOffset),
561         Index(Index) {}
562 
563   bool operator<(const MethodVFTableLocation &other) const {
564     if (VBTableIndex != other.VBTableIndex) {
565       assert(VBase != other.VBase);
566       return VBTableIndex < other.VBTableIndex;
567     }
568     return std::tie(VFPtrOffset, Index) <
569            std::tie(other.VFPtrOffset, other.Index);
570   }
571 };
572 
573 class MicrosoftVTableContext : public VTableContextBase {
574 public:
575 
576 private:
577   ASTContext &Context;
578 
579   typedef llvm::DenseMap<GlobalDecl, MethodVFTableLocation>
580     MethodVFTableLocationsTy;
581   MethodVFTableLocationsTy MethodVFTableLocations;
582 
583   typedef llvm::DenseMap<const CXXRecordDecl *, std::unique_ptr<VPtrInfoVector>>
584       VFPtrLocationsMapTy;
585   VFPtrLocationsMapTy VFPtrLocations;
586 
587   typedef std::pair<const CXXRecordDecl *, CharUnits> VFTableIdTy;
588   typedef llvm::DenseMap<VFTableIdTy, std::unique_ptr<const VTableLayout>>
589       VFTableLayoutMapTy;
590   VFTableLayoutMapTy VFTableLayouts;
591 
592   llvm::DenseMap<const CXXRecordDecl *, std::unique_ptr<VirtualBaseInfo>>
593       VBaseInfo;
594 
595   void computeVTableRelatedInformation(const CXXRecordDecl *RD) override;
596 
597   void dumpMethodLocations(const CXXRecordDecl *RD,
598                            const MethodVFTableLocationsTy &NewMethods,
599                            raw_ostream &);
600 
601   const VirtualBaseInfo &
602   computeVBTableRelatedInformation(const CXXRecordDecl *RD);
603 
604   void computeVTablePaths(bool ForVBTables, const CXXRecordDecl *RD,
605                           VPtrInfoVector &Paths);
606 
607 public:
MicrosoftVTableContext(ASTContext & Context)608   MicrosoftVTableContext(ASTContext &Context)
609       : VTableContextBase(/*MS=*/true), Context(Context) {}
610 
611   ~MicrosoftVTableContext() override;
612 
613   const VPtrInfoVector &getVFPtrOffsets(const CXXRecordDecl *RD);
614 
615   const VTableLayout &getVFTableLayout(const CXXRecordDecl *RD,
616                                        CharUnits VFPtrOffset);
617 
618   MethodVFTableLocation getMethodVFTableLocation(GlobalDecl GD);
619 
getThunkInfo(GlobalDecl GD)620   const ThunkInfoVectorTy *getThunkInfo(GlobalDecl GD) override {
621     // Complete destructors don't have a slot in a vftable, so no thunks needed.
622     if (isa<CXXDestructorDecl>(GD.getDecl()) &&
623         GD.getDtorType() == Dtor_Complete)
624       return nullptr;
625     return VTableContextBase::getThunkInfo(GD);
626   }
627 
628   /// Returns the index of VBase in the vbtable of Derived.
629   /// VBase must be a morally virtual base of Derived.
630   /// The vbtable is an array of i32 offsets.  The first entry is a self entry,
631   /// and the rest are offsets from the vbptr to virtual bases.
632   unsigned getVBTableIndex(const CXXRecordDecl *Derived,
633                            const CXXRecordDecl *VBase);
634 
635   const VPtrInfoVector &enumerateVBTables(const CXXRecordDecl *RD);
636 
classof(const VTableContextBase * VT)637   static bool classof(const VTableContextBase *VT) { return VT->isMicrosoft(); }
638 };
639 
640 } // namespace clang
641 
642 #endif
643