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