xref: /openbsd-src/gnu/llvm/clang/lib/AST/VTTBuilder.cpp (revision e5dd70708596ae51455a0ffa086a00c5b29f8583)
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