Eugene Zelenko | 3d77571 | 2017-12-01 22:04:49 +0000 | [diff] [blame] | 1 | //===- VTTBuilder.cpp - C++ VTT layout builder ----------------------------===// |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 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 |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
| 9 | // This contains code dealing with generation of the layout of virtual table |
| 10 | // tables (VTT). |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "clang/AST/VTTBuilder.h" |
Benjamin Kramer | 2ef3031 | 2012-07-04 18:45:14 +0000 | [diff] [blame] | 15 | #include "clang/AST/ASTContext.h" |
Eugene Zelenko | 3d77571 | 2017-12-01 22:04:49 +0000 | [diff] [blame] | 16 | #include "clang/AST/BaseSubobject.h" |
| 17 | #include "clang/AST/CharUnits.h" |
| 18 | #include "clang/AST/Decl.h" |
| 19 | #include "clang/AST/DeclCXX.h" |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 20 | #include "clang/AST/RecordLayout.h" |
Eugene Zelenko | 3d77571 | 2017-12-01 22:04:49 +0000 | [diff] [blame] | 21 | #include "clang/AST/Type.h" |
| 22 | #include "clang/Basic/LLVM.h" |
| 23 | #include "llvm/Support/Casting.h" |
| 24 | #include <cassert> |
| 25 | #include <cstdint> |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 26 | |
| 27 | using namespace clang; |
| 28 | |
| 29 | #define DUMP_OVERRIDERS 0 |
| 30 | |
| 31 | VTTBuilder::VTTBuilder(ASTContext &Ctx, |
| 32 | const CXXRecordDecl *MostDerivedClass, |
| 33 | bool GenerateDefinition) |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 34 | : Ctx(Ctx), MostDerivedClass(MostDerivedClass), |
Eugene Zelenko | 3d77571 | 2017-12-01 22:04:49 +0000 | [diff] [blame] | 35 | MostDerivedClassLayout(Ctx.getASTRecordLayout(MostDerivedClass)), |
| 36 | GenerateDefinition(GenerateDefinition) { |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 37 | // Lay out this VTT. |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 38 | LayoutVTT(BaseSubobject(MostDerivedClass, CharUnits::Zero()), |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 39 | /*BaseIsVirtual=*/false); |
| 40 | } |
| 41 | |
| 42 | void VTTBuilder::AddVTablePointer(BaseSubobject Base, uint64_t VTableIndex, |
| 43 | const CXXRecordDecl *VTableClass) { |
| 44 | // Store the vtable pointer index if we're generating the primary VTT. |
| 45 | if (VTableClass == MostDerivedClass) { |
| 46 | assert(!SecondaryVirtualPointerIndices.count(Base) && |
| 47 | "A virtual pointer index already exists for this base subobject!"); |
| 48 | SecondaryVirtualPointerIndices[Base] = VTTComponents.size(); |
| 49 | } |
| 50 | |
| 51 | if (!GenerateDefinition) { |
| 52 | VTTComponents.push_back(VTTComponent()); |
| 53 | return; |
| 54 | } |
| 55 | |
| 56 | VTTComponents.push_back(VTTComponent(VTableIndex, Base)); |
| 57 | } |
| 58 | |
| 59 | void VTTBuilder::LayoutSecondaryVTTs(BaseSubobject Base) { |
| 60 | const CXXRecordDecl *RD = Base.getBase(); |
| 61 | |
Eugene Zelenko | 3d77571 | 2017-12-01 22:04:49 +0000 | [diff] [blame] | 62 | for (const auto &I : RD->bases()) { |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 63 | // Don't layout virtual bases. |
Aaron Ballman | 574705e | 2014-03-13 15:41:46 +0000 | [diff] [blame] | 64 | if (I.isVirtual()) |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 65 | continue; |
| 66 | |
| 67 | const CXXRecordDecl *BaseDecl = |
Aaron Ballman | 574705e | 2014-03-13 15:41:46 +0000 | [diff] [blame] | 68 | cast<CXXRecordDecl>(I.getType()->getAs<RecordType>()->getDecl()); |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 69 | |
| 70 | const ASTRecordLayout &Layout = Ctx.getASTRecordLayout(RD); |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 71 | CharUnits BaseOffset = Base.getBaseOffset() + |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 72 | Layout.getBaseClassOffset(BaseDecl); |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 73 | |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 74 | // Layout the VTT for this base. |
| 75 | LayoutVTT(BaseSubobject(BaseDecl, BaseOffset), /*BaseIsVirtual=*/false); |
| 76 | } |
| 77 | } |
| 78 | |
| 79 | void |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 80 | VTTBuilder::LayoutSecondaryVirtualPointers(BaseSubobject Base, |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 81 | bool BaseIsMorallyVirtual, |
| 82 | uint64_t VTableIndex, |
| 83 | const CXXRecordDecl *VTableClass, |
| 84 | VisitedVirtualBasesSetTy &VBases) { |
| 85 | const CXXRecordDecl *RD = Base.getBase(); |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 86 | |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 87 | // We're not interested in bases that don't have virtual bases, and not |
| 88 | // morally virtual bases. |
| 89 | if (!RD->getNumVBases() && !BaseIsMorallyVirtual) |
| 90 | return; |
| 91 | |
Aaron Ballman | 574705e | 2014-03-13 15:41:46 +0000 | [diff] [blame] | 92 | for (const auto &I : RD->bases()) { |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 93 | const CXXRecordDecl *BaseDecl = |
Aaron Ballman | 574705e | 2014-03-13 15:41:46 +0000 | [diff] [blame] | 94 | cast<CXXRecordDecl>(I.getType()->getAs<RecordType>()->getDecl()); |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 95 | |
| 96 | // Itanium C++ ABI 2.6.2: |
| 97 | // Secondary virtual pointers are present for all bases with either |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 98 | // virtual bases or virtual function declarations overridden along a |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 99 | // virtual path. |
| 100 | // |
| 101 | // If the base class is not dynamic, we don't want to add it, nor any |
| 102 | // of its base classes. |
| 103 | if (!BaseDecl->isDynamicClass()) |
| 104 | continue; |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 105 | |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 106 | bool BaseDeclIsMorallyVirtual = BaseIsMorallyVirtual; |
| 107 | bool BaseDeclIsNonVirtualPrimaryBase = false; |
| 108 | CharUnits BaseOffset; |
Aaron Ballman | 574705e | 2014-03-13 15:41:46 +0000 | [diff] [blame] | 109 | if (I.isVirtual()) { |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 110 | // Ignore virtual bases that we've already visited. |
David Blaikie | 82e95a3 | 2014-11-19 07:49:47 +0000 | [diff] [blame] | 111 | if (!VBases.insert(BaseDecl).second) |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 112 | continue; |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 113 | |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 114 | BaseOffset = MostDerivedClassLayout.getVBaseClassOffset(BaseDecl); |
| 115 | BaseDeclIsMorallyVirtual = true; |
| 116 | } else { |
| 117 | const ASTRecordLayout &Layout = Ctx.getASTRecordLayout(RD); |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 118 | |
| 119 | BaseOffset = Base.getBaseOffset() + |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 120 | Layout.getBaseClassOffset(BaseDecl); |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 121 | |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 122 | if (!Layout.isPrimaryBaseVirtual() && |
| 123 | Layout.getPrimaryBase() == BaseDecl) |
| 124 | BaseDeclIsNonVirtualPrimaryBase = true; |
| 125 | } |
| 126 | |
| 127 | // Itanium C++ ABI 2.6.2: |
| 128 | // Secondary virtual pointers: for each base class X which (a) has virtual |
| 129 | // bases or is reachable along a virtual path from D, and (b) is not a |
| 130 | // non-virtual primary base, the address of the virtual table for X-in-D |
| 131 | // or an appropriate construction virtual table. |
| 132 | if (!BaseDeclIsNonVirtualPrimaryBase && |
| 133 | (BaseDecl->getNumVBases() || BaseDeclIsMorallyVirtual)) { |
| 134 | // Add the vtable pointer. |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 135 | AddVTablePointer(BaseSubobject(BaseDecl, BaseOffset), VTableIndex, |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 136 | VTableClass); |
| 137 | } |
| 138 | |
| 139 | // And lay out the secondary virtual pointers for the base class. |
| 140 | LayoutSecondaryVirtualPointers(BaseSubobject(BaseDecl, BaseOffset), |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 141 | BaseDeclIsMorallyVirtual, VTableIndex, |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 142 | VTableClass, VBases); |
| 143 | } |
| 144 | } |
| 145 | |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 146 | void |
| 147 | VTTBuilder::LayoutSecondaryVirtualPointers(BaseSubobject Base, |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 148 | uint64_t VTableIndex) { |
| 149 | VisitedVirtualBasesSetTy VBases; |
| 150 | LayoutSecondaryVirtualPointers(Base, /*BaseIsMorallyVirtual=*/false, |
| 151 | VTableIndex, Base.getBase(), VBases); |
| 152 | } |
| 153 | |
| 154 | void VTTBuilder::LayoutVirtualVTTs(const CXXRecordDecl *RD, |
| 155 | VisitedVirtualBasesSetTy &VBases) { |
Aaron Ballman | 574705e | 2014-03-13 15:41:46 +0000 | [diff] [blame] | 156 | for (const auto &I : RD->bases()) { |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 157 | const CXXRecordDecl *BaseDecl = |
Aaron Ballman | 574705e | 2014-03-13 15:41:46 +0000 | [diff] [blame] | 158 | cast<CXXRecordDecl>(I.getType()->getAs<RecordType>()->getDecl()); |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 159 | |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 160 | // Check if this is a virtual base. |
Aaron Ballman | 574705e | 2014-03-13 15:41:46 +0000 | [diff] [blame] | 161 | if (I.isVirtual()) { |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 162 | // Check if we've seen this base before. |
David Blaikie | 82e95a3 | 2014-11-19 07:49:47 +0000 | [diff] [blame] | 163 | if (!VBases.insert(BaseDecl).second) |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 164 | continue; |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 165 | |
| 166 | CharUnits BaseOffset = |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 167 | MostDerivedClassLayout.getVBaseClassOffset(BaseDecl); |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 168 | |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 169 | LayoutVTT(BaseSubobject(BaseDecl, BaseOffset), /*BaseIsVirtual=*/true); |
| 170 | } |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 171 | |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 172 | // We only need to layout virtual VTTs for this base if it actually has |
| 173 | // virtual bases. |
| 174 | if (BaseDecl->getNumVBases()) |
| 175 | LayoutVirtualVTTs(BaseDecl, VBases); |
| 176 | } |
| 177 | } |
| 178 | |
| 179 | void VTTBuilder::LayoutVTT(BaseSubobject Base, bool BaseIsVirtual) { |
| 180 | const CXXRecordDecl *RD = Base.getBase(); |
| 181 | |
| 182 | // Itanium C++ ABI 2.6.2: |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 183 | // An array of virtual table addresses, called the VTT, is declared for |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 184 | // each class type that has indirect or direct virtual base classes. |
| 185 | if (RD->getNumVBases() == 0) |
| 186 | return; |
| 187 | |
| 188 | bool IsPrimaryVTT = Base.getBase() == MostDerivedClass; |
| 189 | |
| 190 | if (!IsPrimaryVTT) { |
| 191 | // Remember the sub-VTT index. |
| 192 | SubVTTIndicies[Base] = VTTComponents.size(); |
| 193 | } |
| 194 | |
| 195 | uint64_t VTableIndex = VTTVTables.size(); |
| 196 | VTTVTables.push_back(VTTVTable(Base, BaseIsVirtual)); |
| 197 | |
| 198 | // Add the primary vtable pointer. |
| 199 | AddVTablePointer(Base, VTableIndex, RD); |
| 200 | |
| 201 | // Add the secondary VTTs. |
| 202 | LayoutSecondaryVTTs(Base); |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 203 | |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 204 | // Add the secondary virtual pointers. |
| 205 | LayoutSecondaryVirtualPointers(Base, VTableIndex); |
Fangrui Song | 6907ce2 | 2018-07-30 19:24:48 +0000 | [diff] [blame] | 206 | |
Peter Collingbourne | 2d25952 | 2011-09-26 01:56:24 +0000 | [diff] [blame] | 207 | // If this is the primary VTT, we want to lay out virtual VTTs as well. |
| 208 | if (IsPrimaryVTT) { |
| 209 | VisitedVirtualBasesSetTy VBases; |
| 210 | LayoutVirtualVTTs(Base.getBase(), VBases); |
| 211 | } |
| 212 | } |