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