1 //===--- VTableBuilder.h - C++ vtable layout builder --------------*- C++ -*-=//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This contains code dealing with generation of the layout of virtual tables.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef LLVM_CLANG_AST_VTABLEBUILDER_H
15 #define LLVM_CLANG_AST_VTABLEBUILDER_H
16 
17 #include "clang/AST/BaseSubobject.h"
18 #include "clang/AST/CXXInheritance.h"
19 #include "clang/AST/GlobalDecl.h"
20 #include "clang/AST/RecordLayout.h"
21 #include "clang/Basic/ABI.h"
22 #include "llvm/ADT/DenseMap.h"
23 #include "llvm/ADT/SetVector.h"
24 #include <memory>
25 #include <utility>
26 
27 namespace clang {
28   class CXXRecordDecl;
29 
30 /// \brief Represents a single component in a vtable.
31 class VTableComponent {
32 public:
33   enum Kind {
34     CK_VCallOffset,
35     CK_VBaseOffset,
36     CK_OffsetToTop,
37     CK_RTTI,
38     CK_FunctionPointer,
39 
40     /// \brief A pointer to the complete destructor.
41     CK_CompleteDtorPointer,
42 
43     /// \brief A pointer to the deleting destructor.
44     CK_DeletingDtorPointer,
45 
46     /// \brief An entry that is never used.
47     ///
48     /// In some cases, a vtable function pointer will end up never being
49     /// called. Such vtable function pointers are represented as a
50     /// CK_UnusedFunctionPointer.
51     CK_UnusedFunctionPointer
52   };
53 
VTableComponent()54   VTableComponent() { }
55 
MakeVCallOffset(CharUnits Offset)56   static VTableComponent MakeVCallOffset(CharUnits Offset) {
57     return VTableComponent(CK_VCallOffset, Offset);
58   }
59 
MakeVBaseOffset(CharUnits Offset)60   static VTableComponent MakeVBaseOffset(CharUnits Offset) {
61     return VTableComponent(CK_VBaseOffset, Offset);
62   }
63 
MakeOffsetToTop(CharUnits Offset)64   static VTableComponent MakeOffsetToTop(CharUnits Offset) {
65     return VTableComponent(CK_OffsetToTop, Offset);
66   }
67 
MakeRTTI(const CXXRecordDecl * RD)68   static VTableComponent MakeRTTI(const CXXRecordDecl *RD) {
69     return VTableComponent(CK_RTTI, reinterpret_cast<uintptr_t>(RD));
70   }
71 
MakeFunction(const CXXMethodDecl * MD)72   static VTableComponent MakeFunction(const CXXMethodDecl *MD) {
73     assert(!isa<CXXDestructorDecl>(MD) &&
74            "Don't use MakeFunction with destructors!");
75 
76     return VTableComponent(CK_FunctionPointer,
77                            reinterpret_cast<uintptr_t>(MD));
78   }
79 
MakeCompleteDtor(const CXXDestructorDecl * DD)80   static VTableComponent MakeCompleteDtor(const CXXDestructorDecl *DD) {
81     return VTableComponent(CK_CompleteDtorPointer,
82                            reinterpret_cast<uintptr_t>(DD));
83   }
84 
MakeDeletingDtor(const CXXDestructorDecl * DD)85   static VTableComponent MakeDeletingDtor(const CXXDestructorDecl *DD) {
86     return VTableComponent(CK_DeletingDtorPointer,
87                            reinterpret_cast<uintptr_t>(DD));
88   }
89 
MakeUnusedFunction(const CXXMethodDecl * MD)90   static VTableComponent MakeUnusedFunction(const CXXMethodDecl *MD) {
91     assert(!isa<CXXDestructorDecl>(MD) &&
92            "Don't use MakeUnusedFunction with destructors!");
93     return VTableComponent(CK_UnusedFunctionPointer,
94                            reinterpret_cast<uintptr_t>(MD));
95   }
96 
getFromOpaqueInteger(uint64_t I)97   static VTableComponent getFromOpaqueInteger(uint64_t I) {
98     return VTableComponent(I);
99   }
100 
101   /// \brief Get the kind of this vtable component.
getKind()102   Kind getKind() const {
103     return (Kind)(Value & 0x7);
104   }
105 
getVCallOffset()106   CharUnits getVCallOffset() const {
107     assert(getKind() == CK_VCallOffset && "Invalid component kind!");
108 
109     return getOffset();
110   }
111 
getVBaseOffset()112   CharUnits getVBaseOffset() const {
113     assert(getKind() == CK_VBaseOffset && "Invalid component kind!");
114 
115     return getOffset();
116   }
117 
getOffsetToTop()118   CharUnits getOffsetToTop() const {
119     assert(getKind() == CK_OffsetToTop && "Invalid component kind!");
120 
121     return getOffset();
122   }
123 
getRTTIDecl()124   const CXXRecordDecl *getRTTIDecl() const {
125     assert(getKind() == CK_RTTI && "Invalid component kind!");
126 
127     return reinterpret_cast<CXXRecordDecl *>(getPointer());
128   }
129 
getFunctionDecl()130   const CXXMethodDecl *getFunctionDecl() const {
131     assert(getKind() == CK_FunctionPointer);
132 
133     return reinterpret_cast<CXXMethodDecl *>(getPointer());
134   }
135 
getDestructorDecl()136   const CXXDestructorDecl *getDestructorDecl() const {
137     assert((getKind() == CK_CompleteDtorPointer ||
138             getKind() == CK_DeletingDtorPointer) && "Invalid component kind!");
139 
140     return reinterpret_cast<CXXDestructorDecl *>(getPointer());
141   }
142 
getUnusedFunctionDecl()143   const CXXMethodDecl *getUnusedFunctionDecl() const {
144     assert(getKind() == CK_UnusedFunctionPointer);
145 
146     return reinterpret_cast<CXXMethodDecl *>(getPointer());
147   }
148 
149 private:
VTableComponent(Kind ComponentKind,CharUnits Offset)150   VTableComponent(Kind ComponentKind, CharUnits Offset) {
151     assert((ComponentKind == CK_VCallOffset ||
152             ComponentKind == CK_VBaseOffset ||
153             ComponentKind == CK_OffsetToTop) && "Invalid component kind!");
154     assert(Offset.getQuantity() < (1LL << 56) && "Offset is too big!");
155     assert(Offset.getQuantity() >= -(1LL << 56) && "Offset is too small!");
156 
157     Value = (uint64_t(Offset.getQuantity()) << 3) | ComponentKind;
158   }
159 
VTableComponent(Kind ComponentKind,uintptr_t Ptr)160   VTableComponent(Kind ComponentKind, uintptr_t Ptr) {
161     assert((ComponentKind == CK_RTTI ||
162             ComponentKind == CK_FunctionPointer ||
163             ComponentKind == CK_CompleteDtorPointer ||
164             ComponentKind == CK_DeletingDtorPointer ||
165             ComponentKind == CK_UnusedFunctionPointer) &&
166             "Invalid component kind!");
167 
168     assert((Ptr & 7) == 0 && "Pointer not sufficiently aligned!");
169 
170     Value = Ptr | ComponentKind;
171   }
172 
getOffset()173   CharUnits getOffset() const {
174     assert((getKind() == CK_VCallOffset || getKind() == CK_VBaseOffset ||
175             getKind() == CK_OffsetToTop) && "Invalid component kind!");
176 
177     return CharUnits::fromQuantity(Value >> 3);
178   }
179 
getPointer()180   uintptr_t getPointer() const {
181     assert((getKind() == CK_RTTI ||
182             getKind() == CK_FunctionPointer ||
183             getKind() == CK_CompleteDtorPointer ||
184             getKind() == CK_DeletingDtorPointer ||
185             getKind() == CK_UnusedFunctionPointer) &&
186            "Invalid component kind!");
187 
188     return static_cast<uintptr_t>(Value & ~7ULL);
189   }
190 
VTableComponent(uint64_t Value)191   explicit VTableComponent(uint64_t Value)
192     : Value(Value) { }
193 
194   /// The kind is stored in the lower 3 bits of the value. For offsets, we
195   /// make use of the facts that classes can't be larger than 2^55 bytes,
196   /// so we store the offset in the lower part of the 61 bits that remain.
197   /// (The reason that we're not simply using a PointerIntPair here is that we
198   /// need the offsets to be 64-bit, even when on a 32-bit machine).
199   int64_t Value;
200 };
201 
202 class VTableLayout {
203 public:
204   typedef std::pair<uint64_t, ThunkInfo> VTableThunkTy;
205 
206   typedef const VTableComponent *vtable_component_iterator;
207   typedef const VTableThunkTy *vtable_thunk_iterator;
208 
209   typedef llvm::DenseMap<BaseSubobject, uint64_t> AddressPointsMapTy;
210 private:
211   uint64_t NumVTableComponents;
212   std::unique_ptr<VTableComponent[]> VTableComponents;
213 
214   /// \brief Contains thunks needed by vtables, sorted by indices.
215   uint64_t NumVTableThunks;
216   std::unique_ptr<VTableThunkTy[]> VTableThunks;
217 
218   /// \brief Address points for all vtables.
219   AddressPointsMapTy AddressPoints;
220 
221   bool IsMicrosoftABI;
222 
223 public:
224   VTableLayout(uint64_t NumVTableComponents,
225                const VTableComponent *VTableComponents,
226                uint64_t NumVTableThunks,
227                const VTableThunkTy *VTableThunks,
228                const AddressPointsMapTy &AddressPoints,
229                bool IsMicrosoftABI);
230   ~VTableLayout();
231 
getNumVTableComponents()232   uint64_t getNumVTableComponents() const {
233     return NumVTableComponents;
234   }
235 
vtable_component_begin()236   vtable_component_iterator vtable_component_begin() const {
237     return VTableComponents.get();
238   }
239 
vtable_component_end()240   vtable_component_iterator vtable_component_end() const {
241     return VTableComponents.get() + NumVTableComponents;
242   }
243 
getNumVTableThunks()244   uint64_t getNumVTableThunks() const { return NumVTableThunks; }
245 
vtable_thunk_begin()246   vtable_thunk_iterator vtable_thunk_begin() const {
247     return VTableThunks.get();
248   }
249 
vtable_thunk_end()250   vtable_thunk_iterator vtable_thunk_end() const {
251     return VTableThunks.get() + NumVTableThunks;
252   }
253 
getAddressPoint(BaseSubobject Base)254   uint64_t getAddressPoint(BaseSubobject Base) const {
255     assert(AddressPoints.count(Base) &&
256            "Did not find address point!");
257 
258     uint64_t AddressPoint = AddressPoints.lookup(Base);
259     assert(AddressPoint != 0 || IsMicrosoftABI);
260     (void)IsMicrosoftABI;
261 
262     return AddressPoint;
263   }
264 
getAddressPoints()265   const AddressPointsMapTy &getAddressPoints() const {
266     return AddressPoints;
267   }
268 };
269 
270 class VTableContextBase {
271 public:
272   typedef SmallVector<ThunkInfo, 1> ThunkInfoVectorTy;
273 
isMicrosoft()274   bool isMicrosoft() const { return IsMicrosoftABI; }
275 
~VTableContextBase()276   virtual ~VTableContextBase() {}
277 
278 protected:
279   typedef llvm::DenseMap<const CXXMethodDecl *, ThunkInfoVectorTy> ThunksMapTy;
280 
281   /// \brief Contains all thunks that a given method decl will need.
282   ThunksMapTy Thunks;
283 
284   /// Compute and store all vtable related information (vtable layout, vbase
285   /// offset offsets, thunks etc) for the given record decl.
286   virtual void computeVTableRelatedInformation(const CXXRecordDecl *RD) = 0;
287 
VTableContextBase(bool MS)288   VTableContextBase(bool MS) : IsMicrosoftABI(MS) {}
289 
290 public:
getThunkInfo(GlobalDecl GD)291   virtual const ThunkInfoVectorTy *getThunkInfo(GlobalDecl GD) {
292     const CXXMethodDecl *MD = cast<CXXMethodDecl>(GD.getDecl()->getCanonicalDecl());
293     computeVTableRelatedInformation(MD->getParent());
294 
295     // This assumes that all the destructors present in the vtable
296     // use exactly the same set of thunks.
297     ThunksMapTy::const_iterator I = Thunks.find(MD);
298     if (I == Thunks.end()) {
299       // We did not find a thunk for this method.
300       return nullptr;
301     }
302 
303     return &I->second;
304   }
305 
306   bool IsMicrosoftABI;
307 };
308 
309 class ItaniumVTableContext : public VTableContextBase {
310 private:
311 
312   /// \brief Contains the index (relative to the vtable address point)
313   /// where the function pointer for a virtual function is stored.
314   typedef llvm::DenseMap<GlobalDecl, int64_t> MethodVTableIndicesTy;
315   MethodVTableIndicesTy MethodVTableIndices;
316 
317   typedef llvm::DenseMap<const CXXRecordDecl *, const VTableLayout *>
318     VTableLayoutMapTy;
319   VTableLayoutMapTy VTableLayouts;
320 
321   typedef std::pair<const CXXRecordDecl *,
322                     const CXXRecordDecl *> ClassPairTy;
323 
324   /// \brief vtable offsets for offsets of virtual bases of a class.
325   ///
326   /// Contains the vtable offset (relative to the address point) in chars
327   /// where the offsets for virtual bases of a class are stored.
328   typedef llvm::DenseMap<ClassPairTy, CharUnits>
329     VirtualBaseClassOffsetOffsetsMapTy;
330   VirtualBaseClassOffsetOffsetsMapTy VirtualBaseClassOffsetOffsets;
331 
332   void computeVTableRelatedInformation(const CXXRecordDecl *RD) override;
333 
334 public:
335   ItaniumVTableContext(ASTContext &Context);
336   ~ItaniumVTableContext() override;
337 
getVTableLayout(const CXXRecordDecl * RD)338   const VTableLayout &getVTableLayout(const CXXRecordDecl *RD) {
339     computeVTableRelatedInformation(RD);
340     assert(VTableLayouts.count(RD) && "No layout for this record decl!");
341 
342     return *VTableLayouts[RD];
343   }
344 
345   VTableLayout *
346   createConstructionVTableLayout(const CXXRecordDecl *MostDerivedClass,
347                                  CharUnits MostDerivedClassOffset,
348                                  bool MostDerivedClassIsVirtual,
349                                  const CXXRecordDecl *LayoutClass);
350 
351   /// \brief Locate a virtual function in the vtable.
352   ///
353   /// Return the index (relative to the vtable address point) where the
354   /// function pointer for the given virtual function is stored.
355   uint64_t getMethodVTableIndex(GlobalDecl GD);
356 
357   /// Return the offset in chars (relative to the vtable address point) where
358   /// the offset of the virtual base that contains the given base is stored,
359   /// otherwise, if no virtual base contains the given class, return 0.
360   ///
361   /// Base must be a virtual base class or an unambiguous base.
362   CharUnits getVirtualBaseOffsetOffset(const CXXRecordDecl *RD,
363                                        const CXXRecordDecl *VBase);
364 
classof(const VTableContextBase * VT)365   static bool classof(const VTableContextBase *VT) {
366     return !VT->isMicrosoft();
367   }
368 };
369 
370 /// Holds information about the inheritance path to a virtual base or function
371 /// table pointer.  A record may contain as many vfptrs or vbptrs as there are
372 /// base subobjects.
373 struct VPtrInfo {
374   typedef SmallVector<const CXXRecordDecl *, 1> BasePath;
375 
VPtrInfoVPtrInfo376   VPtrInfo(const CXXRecordDecl *RD)
377       : ReusingBase(RD), BaseWithVPtr(RD), NextBaseToMangle(RD) {}
378 
379   // Copy constructor.
380   // FIXME: Uncomment when we've moved to C++11.
381   // VPtrInfo(const VPtrInfo &) = default;
382 
383   /// The vtable will hold all of the virtual bases or virtual methods of
384   /// ReusingBase.  This may or may not be the same class as VPtrSubobject.Base.
385   /// A derived class will reuse the vptr of the first non-virtual base
386   /// subobject that has one.
387   const CXXRecordDecl *ReusingBase;
388 
389   /// BaseWithVPtr is at this offset from its containing complete object or
390   /// virtual base.
391   CharUnits NonVirtualOffset;
392 
393   /// The vptr is stored inside this subobject.
394   const CXXRecordDecl *BaseWithVPtr;
395 
396   /// The bases from the inheritance path that got used to mangle the vbtable
397   /// name.  This is not really a full path like a CXXBasePath.  It holds the
398   /// subset of records that need to be mangled into the vbtable symbol name in
399   /// order to get a unique name.
400   BasePath MangledPath;
401 
402   /// The next base to push onto the mangled path if this path is ambiguous in a
403   /// derived class.  If it's null, then it's already been pushed onto the path.
404   const CXXRecordDecl *NextBaseToMangle;
405 
406   /// The set of possibly indirect vbases that contain this vbtable.  When a
407   /// derived class indirectly inherits from the same vbase twice, we only keep
408   /// vtables and their paths from the first instance.
409   BasePath ContainingVBases;
410 
411   /// This holds the base classes path from the complete type to the first base
412   /// with the given vfptr offset, in the base-to-derived order.  Only used for
413   /// vftables.
414   BasePath PathToBaseWithVPtr;
415 
416   /// Static offset from the top of the most derived class to this vfptr,
417   /// including any virtual base offset.  Only used for vftables.
418   CharUnits FullOffsetInMDC;
419 
420   /// The vptr is stored inside the non-virtual component of this virtual base.
getVBaseWithVPtrVPtrInfo421   const CXXRecordDecl *getVBaseWithVPtr() const {
422     return ContainingVBases.empty() ? nullptr : ContainingVBases.front();
423   }
424 };
425 
426 typedef SmallVector<VPtrInfo *, 2> VPtrInfoVector;
427 
428 /// All virtual base related information about a given record decl.  Includes
429 /// information on all virtual base tables and the path components that are used
430 /// to mangle them.
431 struct VirtualBaseInfo {
~VirtualBaseInfoVirtualBaseInfo432   ~VirtualBaseInfo() { llvm::DeleteContainerPointers(VBPtrPaths); }
433 
434   /// A map from virtual base to vbtable index for doing a conversion from the
435   /// the derived class to the a base.
436   llvm::DenseMap<const CXXRecordDecl *, unsigned> VBTableIndices;
437 
438   /// Information on all virtual base tables used when this record is the most
439   /// derived class.
440   VPtrInfoVector VBPtrPaths;
441 };
442 
443 class MicrosoftVTableContext : public VTableContextBase {
444 public:
445   struct MethodVFTableLocation {
446     /// If nonzero, holds the vbtable index of the virtual base with the vfptr.
447     uint64_t VBTableIndex;
448 
449     /// If nonnull, holds the last vbase which contains the vfptr that the
450     /// method definition is adjusted to.
451     const CXXRecordDecl *VBase;
452 
453     /// This is the offset of the vfptr from the start of the last vbase, or the
454     /// complete type if there are no virtual bases.
455     CharUnits VFPtrOffset;
456 
457     /// Method's index in the vftable.
458     uint64_t Index;
459 
MethodVFTableLocationMethodVFTableLocation460     MethodVFTableLocation()
461         : VBTableIndex(0), VBase(nullptr), VFPtrOffset(CharUnits::Zero()),
462           Index(0) {}
463 
MethodVFTableLocationMethodVFTableLocation464     MethodVFTableLocation(uint64_t VBTableIndex, const CXXRecordDecl *VBase,
465                           CharUnits VFPtrOffset, uint64_t Index)
466         : VBTableIndex(VBTableIndex), VBase(VBase),
467           VFPtrOffset(VFPtrOffset), Index(Index) {}
468 
469     bool operator<(const MethodVFTableLocation &other) const {
470       if (VBTableIndex != other.VBTableIndex) {
471         assert(VBase != other.VBase);
472         return VBTableIndex < other.VBTableIndex;
473       }
474       return std::tie(VFPtrOffset, Index) <
475              std::tie(other.VFPtrOffset, other.Index);
476     }
477   };
478 
479 private:
480   ASTContext &Context;
481 
482   typedef llvm::DenseMap<GlobalDecl, MethodVFTableLocation>
483     MethodVFTableLocationsTy;
484   MethodVFTableLocationsTy MethodVFTableLocations;
485 
486   typedef llvm::DenseMap<const CXXRecordDecl *, VPtrInfoVector *>
487     VFPtrLocationsMapTy;
488   VFPtrLocationsMapTy VFPtrLocations;
489 
490   typedef std::pair<const CXXRecordDecl *, CharUnits> VFTableIdTy;
491   typedef llvm::DenseMap<VFTableIdTy, const VTableLayout *> VFTableLayoutMapTy;
492   VFTableLayoutMapTy VFTableLayouts;
493 
494   llvm::DenseMap<const CXXRecordDecl *, VirtualBaseInfo *> VBaseInfo;
495 
496   void enumerateVFPtrs(const CXXRecordDecl *ForClass, VPtrInfoVector &Result);
497 
498   void computeVTableRelatedInformation(const CXXRecordDecl *RD) override;
499 
500   void dumpMethodLocations(const CXXRecordDecl *RD,
501                            const MethodVFTableLocationsTy &NewMethods,
502                            raw_ostream &);
503 
504   const VirtualBaseInfo *
505   computeVBTableRelatedInformation(const CXXRecordDecl *RD);
506 
507   void computeVTablePaths(bool ForVBTables, const CXXRecordDecl *RD,
508                           VPtrInfoVector &Paths);
509 
510 public:
MicrosoftVTableContext(ASTContext & Context)511   MicrosoftVTableContext(ASTContext &Context)
512       : VTableContextBase(/*MS=*/true), Context(Context) {}
513 
514   ~MicrosoftVTableContext() override;
515 
516   const VPtrInfoVector &getVFPtrOffsets(const CXXRecordDecl *RD);
517 
518   const VTableLayout &getVFTableLayout(const CXXRecordDecl *RD,
519                                        CharUnits VFPtrOffset);
520 
521   const MethodVFTableLocation &getMethodVFTableLocation(GlobalDecl GD);
522 
getThunkInfo(GlobalDecl GD)523   const ThunkInfoVectorTy *getThunkInfo(GlobalDecl GD) override {
524     // Complete destructors don't have a slot in a vftable, so no thunks needed.
525     if (isa<CXXDestructorDecl>(GD.getDecl()) &&
526         GD.getDtorType() == Dtor_Complete)
527       return nullptr;
528     return VTableContextBase::getThunkInfo(GD);
529   }
530 
531   /// \brief Returns the index of VBase in the vbtable of Derived.
532   /// VBase must be a morally virtual base of Derived.
533   /// The vbtable is an array of i32 offsets.  The first entry is a self entry,
534   /// and the rest are offsets from the vbptr to virtual bases.
535   unsigned getVBTableIndex(const CXXRecordDecl *Derived,
536                            const CXXRecordDecl *VBase);
537 
538   const VPtrInfoVector &enumerateVBTables(const CXXRecordDecl *RD);
539 
classof(const VTableContextBase * VT)540   static bool classof(const VTableContextBase *VT) { return VT->isMicrosoft(); }
541 };
542 
543 } // namespace clang
544 
545 #endif
546