clang 17.0.0git
CGVTables.h
Go to the documentation of this file.
1//===--- CGVTables.h - Emit LLVM Code for C++ vtables -----------*- 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 C++ code generation of virtual tables.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_CLANG_LIB_CODEGEN_CGVTABLES_H
14#define LLVM_CLANG_LIB_CODEGEN_CGVTABLES_H
15
17#include "clang/AST/CharUnits.h"
20#include "clang/Basic/ABI.h"
21#include "llvm/ADT/DenseMap.h"
22#include "llvm/IR/GlobalVariable.h"
23
24namespace clang {
25 class CXXRecordDecl;
26
27namespace CodeGen {
28 class CodeGenModule;
29 class ConstantArrayBuilder;
30 class ConstantStructBuilder;
31
33 CodeGenModule &CGM;
34
35 VTableContextBase *VTContext;
36
37 /// VTableAddressPointsMapTy - Address points for a single vtable.
38 typedef VTableLayout::AddressPointsMapTy VTableAddressPointsMapTy;
39
40 typedef std::pair<const CXXRecordDecl *, BaseSubobject> BaseSubobjectPairTy;
41 typedef llvm::DenseMap<BaseSubobjectPairTy, uint64_t> SubVTTIndiciesMapTy;
42
43 /// SubVTTIndicies - Contains indices into the various sub-VTTs.
44 SubVTTIndiciesMapTy SubVTTIndicies;
45
46 typedef llvm::DenseMap<BaseSubobjectPairTy, uint64_t>
47 SecondaryVirtualPointerIndicesMapTy;
48
49 /// SecondaryVirtualPointerIndices - Contains the secondary virtual pointer
50 /// indices.
51 SecondaryVirtualPointerIndicesMapTy SecondaryVirtualPointerIndices;
52
53 /// Cache for the pure virtual member call function.
54 llvm::Constant *PureVirtualFn = nullptr;
55
56 /// Cache for the deleted virtual member call function.
57 llvm::Constant *DeletedVirtualFn = nullptr;
58
59 /// Get the address of a thunk and emit it if necessary.
60 llvm::Constant *maybeEmitThunk(GlobalDecl GD,
61 const ThunkInfo &ThunkAdjustments,
62 bool ForVTable);
63
64 void addVTableComponent(ConstantArrayBuilder &builder,
65 const VTableLayout &layout, unsigned componentIndex,
66 llvm::Constant *rtti, unsigned &nextVTableThunkIndex,
67 unsigned vtableAddressPoint,
68 bool vtableHasLocalLinkage);
69
70 /// Add a 32-bit offset to a component relative to the vtable when using the
71 /// relative vtables ABI. The array builder points to the start of the vtable.
72 void addRelativeComponent(ConstantArrayBuilder &builder,
73 llvm::Constant *component,
74 unsigned vtableAddressPoint,
75 bool vtableHasLocalLinkage,
76 bool isCompleteDtor) const;
77
78 /// Create a dso_local stub that will be used for a relative reference in the
79 /// relative vtable layout. This stub will just be a tail call to the original
80 /// function and propagate any function attributes from the original. If the
81 /// original function is already dso_local, the original is returned instead
82 /// and a stub is not created.
83 llvm::Function *
84 getOrCreateRelativeStub(llvm::Function *func,
85 llvm::GlobalValue::LinkageTypes stubLinkage,
86 bool isCompleteDtor) const;
87
88 bool useRelativeLayout() const;
89
90 llvm::Type *getVTableComponentType() const;
91
92public:
93 /// Add vtable components for the given vtable layout to the given
94 /// global initializer.
96 const VTableLayout &layout, llvm::Constant *rtti,
97 bool vtableHasLocalLinkage);
98
100
102 return *cast<ItaniumVTableContext>(VTContext);
103 }
104
106 return *cast<ItaniumVTableContext>(VTContext);
107 }
108
110 return *cast<MicrosoftVTableContext>(VTContext);
111 }
112
113 /// getSubVTTIndex - Return the index of the sub-VTT for the base class of the
114 /// given record decl.
115 uint64_t getSubVTTIndex(const CXXRecordDecl *RD, BaseSubobject Base);
116
117 /// getSecondaryVirtualPointerIndex - Return the index in the VTT where the
118 /// virtual pointer for the given subobject is located.
121
122 /// GenerateConstructionVTable - Generate a construction vtable for the given
123 /// base subobject.
124 llvm::GlobalVariable *
126 bool BaseIsVirtual,
127 llvm::GlobalVariable::LinkageTypes Linkage,
128 VTableAddressPointsMapTy& AddressPoints);
129
130
131 /// GetAddrOfVTT - Get the address of the VTT for the given record decl.
132 llvm::GlobalVariable *GetAddrOfVTT(const CXXRecordDecl *RD);
133
134 /// EmitVTTDefinition - Emit the definition of the given vtable.
135 void EmitVTTDefinition(llvm::GlobalVariable *VTT,
136 llvm::GlobalVariable::LinkageTypes Linkage,
137 const CXXRecordDecl *RD);
138
139 /// EmitThunks - Emit the associated thunks for the given global decl.
140 void EmitThunks(GlobalDecl GD);
141
142 /// GenerateClassData - Generate all the class data required to be
143 /// generated upon definition of a KeyFunction. This includes the
144 /// vtable, the RTTI data structure (if RTTI is enabled) and the VTT
145 /// (if the class has virtual bases).
146 void GenerateClassData(const CXXRecordDecl *RD);
147
148 bool isVTableExternal(const CXXRecordDecl *RD);
149
150 /// Returns the type of a vtable with the given layout. Normally a struct of
151 /// arrays of pointers, with one struct element for each vtable in the vtable
152 /// group.
153 llvm::Type *getVTableType(const VTableLayout &layout);
154
155 /// Generate a public facing alias for the vtable and make the vtable either
156 /// hidden or private. The alias will have the original linkage and visibility
157 /// of the vtable. This is used for cases under the relative vtables ABI
158 /// when a vtable may not be dso_local.
159 void GenerateRelativeVTableAlias(llvm::GlobalVariable *VTable,
160 llvm::StringRef AliasNameRef);
161
162 /// Specify a global should not be instrumented with hwasan.
163 void RemoveHwasanMetadata(llvm::GlobalValue *GV) const;
164};
165
166} // end namespace CodeGen
167} // end namespace clang
168#endif
Enums/classes describing ABI related information about constructors, destructors and thunks.
Represents a C++ struct/union/class.
Definition: DeclCXX.h:254
This class organizes the cross-function state that is used while generating LLVM code.
llvm::GlobalVariable * GetAddrOfVTT(const CXXRecordDecl *RD)
GetAddrOfVTT - Get the address of the VTT for the given record decl.
Definition: CGVTT.cpp:101
void createVTableInitializer(ConstantStructBuilder &builder, const VTableLayout &layout, llvm::Constant *rtti, bool vtableHasLocalLinkage)
Add vtable components for the given vtable layout to the given global initializer.
Definition: CGVTables.cpp:848
const ItaniumVTableContext & getItaniumVTableContext() const
Definition: CGVTables.h:105
void GenerateClassData(const CXXRecordDecl *RD)
GenerateClassData - Generate all the class data required to be generated upon definition of a KeyFunc...
Definition: CGVTables.cpp:1128
void GenerateRelativeVTableAlias(llvm::GlobalVariable *VTable, llvm::StringRef AliasNameRef)
Generate a public facing alias for the vtable and make the vtable either hidden or private.
Definition: CGVTables.cpp:971
uint64_t getSubVTTIndex(const CXXRecordDecl *RD, BaseSubobject Base)
getSubVTTIndex - Return the index of the sub-VTT for the base class of the given record decl.
Definition: CGVTT.cpp:126
ItaniumVTableContext & getItaniumVTableContext()
Definition: CGVTables.h:101
llvm::GlobalVariable * GenerateConstructionVTable(const CXXRecordDecl *RD, const BaseSubobject &Base, bool BaseIsVirtual, llvm::GlobalVariable::LinkageTypes Linkage, VTableAddressPointsMapTy &AddressPoints)
GenerateConstructionVTable - Generate a construction vtable for the given base subobject.
Definition: CGVTables.cpp:872
llvm::Type * getVTableType(const VTableLayout &layout)
Returns the type of a vtable with the given layout.
Definition: CGVTables.cpp:839
uint64_t getSecondaryVirtualPointerIndex(const CXXRecordDecl *RD, BaseSubobject Base)
getSecondaryVirtualPointerIndex - Return the index in the VTT where the virtual pointer for the given...
Definition: CGVTT.cpp:152
bool isVTableExternal(const CXXRecordDecl *RD)
At this point in the translation unit, does it appear that can we rely on the vtable being defined el...
Definition: CGVTables.cpp:1148
MicrosoftVTableContext & getMicrosoftVTableContext()
Definition: CGVTables.h:109
void RemoveHwasanMetadata(llvm::GlobalValue *GV) const
Specify a global should not be instrumented with hwasan.
Definition: CGVTables.cpp:955
void EmitThunks(GlobalDecl GD)
EmitThunks - Emit the associated thunks for the given global decl.
Definition: CGVTables.cpp:607
void EmitVTTDefinition(llvm::GlobalVariable *VTT, llvm::GlobalVariable::LinkageTypes Linkage, const CXXRecordDecl *RD)
EmitVTTDefinition - Emit the definition of the given vtable.
Definition: CGVTT.cpp:41
A helper class of ConstantInitBuilder, used for building constant array initializers.
A helper class of ConstantInitBuilder, used for building constant struct initializers.
GlobalDecl - represents a global declaration.
Definition: GlobalDecl.h:56
llvm::DenseMap< BaseSubobject, AddressPointLocation > AddressPointsMapTy
Linkage
Describes the different kinds of linkage (C++ [basic.link], C99 6.2.2) that an entity may have.
Definition: Linkage.h:23
The this pointer adjustment as well as an optional return adjustment for a thunk.
Definition: Thunk.h:156