annotate clang/lib/CodeGen/CGVTables.h @ 221:79ff65ed7e25

LLVM12 Original
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 15 Jun 2021 19:15:29 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //===--- CGVTables.h - Emit LLVM Code for C++ vtables -----------*- C++ -*-===//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8 //
anatofuz
parents:
diff changeset
9 // This contains code dealing with C++ code generation of virtual tables.
anatofuz
parents:
diff changeset
10 //
anatofuz
parents:
diff changeset
11 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 #ifndef LLVM_CLANG_LIB_CODEGEN_CGVTABLES_H
anatofuz
parents:
diff changeset
14 #define LLVM_CLANG_LIB_CODEGEN_CGVTABLES_H
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16 #include "clang/AST/BaseSubobject.h"
anatofuz
parents:
diff changeset
17 #include "clang/AST/CharUnits.h"
anatofuz
parents:
diff changeset
18 #include "clang/AST/GlobalDecl.h"
anatofuz
parents:
diff changeset
19 #include "clang/AST/VTableBuilder.h"
anatofuz
parents:
diff changeset
20 #include "clang/Basic/ABI.h"
anatofuz
parents:
diff changeset
21 #include "llvm/ADT/DenseMap.h"
anatofuz
parents:
diff changeset
22 #include "llvm/IR/GlobalVariable.h"
anatofuz
parents:
diff changeset
23
anatofuz
parents:
diff changeset
24 namespace clang {
anatofuz
parents:
diff changeset
25 class CXXRecordDecl;
anatofuz
parents:
diff changeset
26
anatofuz
parents:
diff changeset
27 namespace CodeGen {
anatofuz
parents:
diff changeset
28 class CodeGenModule;
anatofuz
parents:
diff changeset
29 class ConstantArrayBuilder;
anatofuz
parents:
diff changeset
30 class ConstantStructBuilder;
anatofuz
parents:
diff changeset
31
anatofuz
parents:
diff changeset
32 class CodeGenVTables {
anatofuz
parents:
diff changeset
33 CodeGenModule &CGM;
anatofuz
parents:
diff changeset
34
anatofuz
parents:
diff changeset
35 VTableContextBase *VTContext;
anatofuz
parents:
diff changeset
36
anatofuz
parents:
diff changeset
37 /// VTableAddressPointsMapTy - Address points for a single vtable.
anatofuz
parents:
diff changeset
38 typedef VTableLayout::AddressPointsMapTy VTableAddressPointsMapTy;
anatofuz
parents:
diff changeset
39
anatofuz
parents:
diff changeset
40 typedef std::pair<const CXXRecordDecl *, BaseSubobject> BaseSubobjectPairTy;
anatofuz
parents:
diff changeset
41 typedef llvm::DenseMap<BaseSubobjectPairTy, uint64_t> SubVTTIndiciesMapTy;
anatofuz
parents:
diff changeset
42
anatofuz
parents:
diff changeset
43 /// SubVTTIndicies - Contains indices into the various sub-VTTs.
anatofuz
parents:
diff changeset
44 SubVTTIndiciesMapTy SubVTTIndicies;
anatofuz
parents:
diff changeset
45
anatofuz
parents:
diff changeset
46 typedef llvm::DenseMap<BaseSubobjectPairTy, uint64_t>
anatofuz
parents:
diff changeset
47 SecondaryVirtualPointerIndicesMapTy;
anatofuz
parents:
diff changeset
48
anatofuz
parents:
diff changeset
49 /// SecondaryVirtualPointerIndices - Contains the secondary virtual pointer
anatofuz
parents:
diff changeset
50 /// indices.
anatofuz
parents:
diff changeset
51 SecondaryVirtualPointerIndicesMapTy SecondaryVirtualPointerIndices;
anatofuz
parents:
diff changeset
52
anatofuz
parents:
diff changeset
53 /// Cache for the pure virtual member call function.
anatofuz
parents:
diff changeset
54 llvm::Constant *PureVirtualFn = nullptr;
anatofuz
parents:
diff changeset
55
anatofuz
parents:
diff changeset
56 /// Cache for the deleted virtual member call function.
anatofuz
parents:
diff changeset
57 llvm::Constant *DeletedVirtualFn = nullptr;
anatofuz
parents:
diff changeset
58
anatofuz
parents:
diff changeset
59 /// Get the address of a thunk and emit it if necessary.
anatofuz
parents:
diff changeset
60 llvm::Constant *maybeEmitThunk(GlobalDecl GD,
anatofuz
parents:
diff changeset
61 const ThunkInfo &ThunkAdjustments,
anatofuz
parents:
diff changeset
62 bool ForVTable);
anatofuz
parents:
diff changeset
63
anatofuz
parents:
diff changeset
64 void addVTableComponent(ConstantArrayBuilder &builder,
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
65 const VTableLayout &layout, unsigned componentIndex,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
66 llvm::Constant *rtti, unsigned &nextVTableThunkIndex,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
67 unsigned vtableAddressPoint,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
68 bool vtableHasLocalLinkage);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
69
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
70 /// Add a 32-bit offset to a component relative to the vtable when using the
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
71 /// relative vtables ABI. The array builder points to the start of the vtable.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
72 void addRelativeComponent(ConstantArrayBuilder &builder,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
73 llvm::Constant *component,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
74 unsigned vtableAddressPoint,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
75 bool vtableHasLocalLinkage,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
76 bool isCompleteDtor) const;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
77
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
78 /// Create a dso_local stub that will be used for a relative reference in the
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
79 /// relative vtable layout. This stub will just be a tail call to the original
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
80 /// function and propagate any function attributes from the original. If the
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
81 /// original function is already dso_local, the original is returned instead
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
82 /// and a stub is not created.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
83 llvm::Function *
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
84 getOrCreateRelativeStub(llvm::Function *func,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
85 llvm::GlobalValue::LinkageTypes stubLinkage,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
86 bool isCompleteDtor) const;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
87
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
88 bool useRelativeLayout() const;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
89
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
90 llvm::Type *getVTableComponentType() const;
150
anatofuz
parents:
diff changeset
91
anatofuz
parents:
diff changeset
92 public:
anatofuz
parents:
diff changeset
93 /// Add vtable components for the given vtable layout to the given
anatofuz
parents:
diff changeset
94 /// global initializer.
anatofuz
parents:
diff changeset
95 void createVTableInitializer(ConstantStructBuilder &builder,
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
96 const VTableLayout &layout, llvm::Constant *rtti,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
97 bool vtableHasLocalLinkage);
150
anatofuz
parents:
diff changeset
98
anatofuz
parents:
diff changeset
99 CodeGenVTables(CodeGenModule &CGM);
anatofuz
parents:
diff changeset
100
anatofuz
parents:
diff changeset
101 ItaniumVTableContext &getItaniumVTableContext() {
anatofuz
parents:
diff changeset
102 return *cast<ItaniumVTableContext>(VTContext);
anatofuz
parents:
diff changeset
103 }
anatofuz
parents:
diff changeset
104
anatofuz
parents:
diff changeset
105 MicrosoftVTableContext &getMicrosoftVTableContext() {
anatofuz
parents:
diff changeset
106 return *cast<MicrosoftVTableContext>(VTContext);
anatofuz
parents:
diff changeset
107 }
anatofuz
parents:
diff changeset
108
anatofuz
parents:
diff changeset
109 /// getSubVTTIndex - Return the index of the sub-VTT for the base class of the
anatofuz
parents:
diff changeset
110 /// given record decl.
anatofuz
parents:
diff changeset
111 uint64_t getSubVTTIndex(const CXXRecordDecl *RD, BaseSubobject Base);
anatofuz
parents:
diff changeset
112
anatofuz
parents:
diff changeset
113 /// getSecondaryVirtualPointerIndex - Return the index in the VTT where the
anatofuz
parents:
diff changeset
114 /// virtual pointer for the given subobject is located.
anatofuz
parents:
diff changeset
115 uint64_t getSecondaryVirtualPointerIndex(const CXXRecordDecl *RD,
anatofuz
parents:
diff changeset
116 BaseSubobject Base);
anatofuz
parents:
diff changeset
117
anatofuz
parents:
diff changeset
118 /// GenerateConstructionVTable - Generate a construction vtable for the given
anatofuz
parents:
diff changeset
119 /// base subobject.
anatofuz
parents:
diff changeset
120 llvm::GlobalVariable *
anatofuz
parents:
diff changeset
121 GenerateConstructionVTable(const CXXRecordDecl *RD, const BaseSubobject &Base,
anatofuz
parents:
diff changeset
122 bool BaseIsVirtual,
anatofuz
parents:
diff changeset
123 llvm::GlobalVariable::LinkageTypes Linkage,
anatofuz
parents:
diff changeset
124 VTableAddressPointsMapTy& AddressPoints);
anatofuz
parents:
diff changeset
125
anatofuz
parents:
diff changeset
126
anatofuz
parents:
diff changeset
127 /// GetAddrOfVTT - Get the address of the VTT for the given record decl.
anatofuz
parents:
diff changeset
128 llvm::GlobalVariable *GetAddrOfVTT(const CXXRecordDecl *RD);
anatofuz
parents:
diff changeset
129
anatofuz
parents:
diff changeset
130 /// EmitVTTDefinition - Emit the definition of the given vtable.
anatofuz
parents:
diff changeset
131 void EmitVTTDefinition(llvm::GlobalVariable *VTT,
anatofuz
parents:
diff changeset
132 llvm::GlobalVariable::LinkageTypes Linkage,
anatofuz
parents:
diff changeset
133 const CXXRecordDecl *RD);
anatofuz
parents:
diff changeset
134
anatofuz
parents:
diff changeset
135 /// EmitThunks - Emit the associated thunks for the given global decl.
anatofuz
parents:
diff changeset
136 void EmitThunks(GlobalDecl GD);
anatofuz
parents:
diff changeset
137
anatofuz
parents:
diff changeset
138 /// GenerateClassData - Generate all the class data required to be
anatofuz
parents:
diff changeset
139 /// generated upon definition of a KeyFunction. This includes the
anatofuz
parents:
diff changeset
140 /// vtable, the RTTI data structure (if RTTI is enabled) and the VTT
anatofuz
parents:
diff changeset
141 /// (if the class has virtual bases).
anatofuz
parents:
diff changeset
142 void GenerateClassData(const CXXRecordDecl *RD);
anatofuz
parents:
diff changeset
143
anatofuz
parents:
diff changeset
144 bool isVTableExternal(const CXXRecordDecl *RD);
anatofuz
parents:
diff changeset
145
anatofuz
parents:
diff changeset
146 /// Returns the type of a vtable with the given layout. Normally a struct of
anatofuz
parents:
diff changeset
147 /// arrays of pointers, with one struct element for each vtable in the vtable
anatofuz
parents:
diff changeset
148 /// group.
anatofuz
parents:
diff changeset
149 llvm::Type *getVTableType(const VTableLayout &layout);
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
150
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
151 /// Generate a public facing alias for the vtable and make the vtable either
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
152 /// hidden or private. The alias will have the original linkage and visibility
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
153 /// of the vtable. This is used for cases under the relative vtables ABI
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
154 /// when a vtable may not be dso_local.
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
155 void GenerateRelativeVTableAlias(llvm::GlobalVariable *VTable,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
156 llvm::StringRef AliasNameRef);
150
anatofuz
parents:
diff changeset
157 };
anatofuz
parents:
diff changeset
158
anatofuz
parents:
diff changeset
159 } // end namespace CodeGen
anatofuz
parents:
diff changeset
160 } // end namespace clang
anatofuz
parents:
diff changeset
161 #endif