blob: bd3bdb13583d5dc4310e1b38e442c7ea1ac5854d [file] [log] [blame]
John McCallbda0d6b2011-03-27 09:00:25 +00001//===--- CGVTables.h - Emit LLVM Code for C++ vtables -----------*- C++ -*-===//
Anders Carlssondbd920c2009-10-11 22:13:54 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This contains code dealing with C++ code generation of virtual tables.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef CLANG_CODEGEN_CGVTABLE_H
15#define CLANG_CODEGEN_CGVTABLE_H
16
Peter Collingbourne33446f12011-09-26 01:56:16 +000017#include "clang/AST/BaseSubobject.h"
Ken Dyck4230d522011-03-24 01:21:01 +000018#include "clang/AST/CharUnits.h"
Peter Collingbournefd05ca02011-06-14 04:02:39 +000019#include "clang/AST/GlobalDecl.h"
Peter Collingbourne24018462011-09-26 01:57:12 +000020#include "clang/AST/VTableBuilder.h"
Chandler Carruth55fc8732012-12-04 09:13:33 +000021#include "clang/Basic/ABI.h"
22#include "llvm/ADT/DenseMap.h"
Chandler Carruth3b844ba2013-01-02 11:45:17 +000023#include "llvm/IR/GlobalVariable.h"
Anders Carlssondbd920c2009-10-11 22:13:54 +000024
25namespace clang {
Anders Carlssondbd920c2009-10-11 22:13:54 +000026 class CXXRecordDecl;
Benjamin Kramer39411b92009-11-26 13:09:03 +000027
Anders Carlssondbd920c2009-10-11 22:13:54 +000028namespace CodeGen {
29 class CodeGenModule;
Anders Carlssona94822e2009-11-26 02:32:05 +000030
Peter Collingbourne1d2b3172011-09-26 01:56:30 +000031class CodeGenVTables {
32 CodeGenModule &CGM;
33
34 VTableContext VTContext;
35
Anders Carlsson046c2942010-04-17 20:15:18 +000036 /// VTables - All the vtables which have been defined.
37 llvm::DenseMap<const CXXRecordDecl *, llvm::GlobalVariable *> VTables;
Anders Carlssond6b07fb2009-11-27 20:47:55 +000038
Anders Carlsson2c822f12010-03-26 03:56:54 +000039 /// VTableAddressPointsMapTy - Address points for a single vtable.
40 typedef llvm::DenseMap<BaseSubobject, uint64_t> VTableAddressPointsMapTy;
41
Peter Collingbourne84fcc482011-09-26 01:56:41 +000042 typedef std::pair<const CXXRecordDecl *, BaseSubobject> BaseSubobjectPairTy;
Anders Carlsson3855a072010-05-03 00:55:11 +000043 typedef llvm::DenseMap<BaseSubobjectPairTy, uint64_t> SubVTTIndiciesMapTy;
Anders Carlssone1dcc222010-03-26 04:23:58 +000044
45 /// SubVTTIndicies - Contains indices into the various sub-VTTs.
46 SubVTTIndiciesMapTy SubVTTIndicies;
47
Anders Carlsson3855a072010-05-03 00:55:11 +000048 typedef llvm::DenseMap<BaseSubobjectPairTy, uint64_t>
Anders Carlssone1dcc222010-03-26 04:23:58 +000049 SecondaryVirtualPointerIndicesMapTy;
50
51 /// SecondaryVirtualPointerIndices - Contains the secondary virtual pointer
52 /// indices.
53 SecondaryVirtualPointerIndicesMapTy SecondaryVirtualPointerIndices;
Anders Carlssonc997d422010-01-02 01:01:18 +000054
Anders Carlssonfbf6ed42010-03-23 16:36:50 +000055 /// EmitThunk - Emit a single thunk.
Anders Carlsson14e82fd2011-02-06 18:31:40 +000056 void EmitThunk(GlobalDecl GD, const ThunkInfo &Thunk,
57 bool UseAvailableExternallyLinkage);
58
59 /// MaybeEmitThunkAvailableExternally - Try to emit the given thunk with
60 /// available_externally linkage to allow for inlining of thunks.
Sylvestre Ledruf3477c12012-09-27 10:16:10 +000061 /// This will be done iff optimizations are enabled and the member function
Anders Carlsson14e82fd2011-02-06 18:31:40 +000062 /// doesn't contain any incomplete types.
63 void MaybeEmitThunkAvailableExternally(GlobalDecl GD, const ThunkInfo &Thunk);
64
Anders Carlsson0d1407e2010-03-25 15:26:28 +000065 /// CreateVTableInitializer - Create a vtable initializer for the given record
66 /// decl.
67 /// \param Components - The vtable components; this is really an array of
68 /// VTableComponents.
69 llvm::Constant *CreateVTableInitializer(const CXXRecordDecl *RD,
Peter Collingbournee09cdf42011-09-26 01:56:50 +000070 const VTableComponent *Components,
Anders Carlsson0d1407e2010-03-25 15:26:28 +000071 unsigned NumComponents,
Peter Collingbournee09cdf42011-09-26 01:56:50 +000072 const VTableLayout::VTableThunkTy *VTableThunks,
73 unsigned NumVTableThunks);
Anders Carlsson2c822f12010-03-26 03:56:54 +000074
Anders Carlssondbd920c2009-10-11 22:13:54 +000075public:
Peter Collingbourne1d2b3172011-09-26 01:56:30 +000076 CodeGenVTables(CodeGenModule &CGM);
77
78 VTableContext &getVTableContext() { return VTContext; }
Anders Carlssondbd920c2009-10-11 22:13:54 +000079
Anders Carlssonc997d422010-01-02 01:01:18 +000080 /// needsVTTParameter - Return whether the given global decl needs a VTT
81 /// parameter, which it does if it's a base constructor or destructor with
82 /// virtual bases.
83 static bool needsVTTParameter(GlobalDecl GD);
84
85 /// getSubVTTIndex - Return the index of the sub-VTT for the base class of the
86 /// given record decl.
Anders Carlssonc11bb212010-05-02 23:53:25 +000087 uint64_t getSubVTTIndex(const CXXRecordDecl *RD, BaseSubobject Base);
Anders Carlssonc997d422010-01-02 01:01:18 +000088
Anders Carlssone1dcc222010-03-26 04:23:58 +000089 /// getSecondaryVirtualPointerIndex - Return the index in the VTT where the
90 /// virtual pointer for the given subobject is located.
91 uint64_t getSecondaryVirtualPointerIndex(const CXXRecordDecl *RD,
92 BaseSubobject Base);
93
Anders Carlsson64c9eca2010-03-29 02:08:26 +000094 /// getAddressPoint - Get the address point of the given subobject in the
95 /// class decl.
96 uint64_t getAddressPoint(BaseSubobject Base, const CXXRecordDecl *RD);
97
Anders Carlsson5eea8762010-03-24 05:32:05 +000098 /// GetAddrOfVTable - Get the address of the vtable for the given record decl.
Anders Carlsson9dc338a2010-03-30 03:35:35 +000099 llvm::GlobalVariable *GetAddrOfVTable(const CXXRecordDecl *RD);
Anders Carlsson5c6c1d92010-03-24 03:57:14 +0000100
Anders Carlssona7cde3b2010-03-29 03:38:52 +0000101 /// EmitVTableDefinition - Emit the definition of the given vtable.
102 void EmitVTableDefinition(llvm::GlobalVariable *VTable,
103 llvm::GlobalVariable::LinkageTypes Linkage,
104 const CXXRecordDecl *RD);
105
Anders Carlssonff143f82010-03-25 00:35:49 +0000106 /// GenerateConstructionVTable - Generate a construction vtable for the given
107 /// base subobject.
108 llvm::GlobalVariable *
109 GenerateConstructionVTable(const CXXRecordDecl *RD, const BaseSubobject &Base,
110 bool BaseIsVirtual,
John McCallbda0d6b2011-03-27 09:00:25 +0000111 llvm::GlobalVariable::LinkageTypes Linkage,
Anders Carlsson2c822f12010-03-26 03:56:54 +0000112 VTableAddressPointsMapTy& AddressPoints);
Anders Carlsson1cbce122011-01-29 19:16:51 +0000113
114
115 /// GetAddrOfVTable - Get the address of the VTT for the given record decl.
116 llvm::GlobalVariable *GetAddrOfVTT(const CXXRecordDecl *RD);
117
118 /// EmitVTTDefinition - Emit the definition of the given vtable.
119 void EmitVTTDefinition(llvm::GlobalVariable *VTT,
120 llvm::GlobalVariable::LinkageTypes Linkage,
121 const CXXRecordDecl *RD);
Rafael Espindolabbf58bb2010-03-10 02:19:29 +0000122
Douglas Gregor6fb745b2010-05-13 16:44:06 +0000123 /// EmitThunks - Emit the associated thunks for the given global decl.
124 void EmitThunks(GlobalDecl GD);
125
John McCalld5617ee2013-01-25 22:31:03 +0000126 /// GenerateClassData - Generate all the class data required to be
127 /// generated upon definition of a KeyFunction. This includes the
128 /// vtable, the RTTI data structure (if RTTI is enabled) and the VTT
129 /// (if the class has virtual bases).
130 void GenerateClassData(const CXXRecordDecl *RD);
131
132 bool isVTableExternal(const CXXRecordDecl *RD);
Anders Carlssondbd920c2009-10-11 22:13:54 +0000133};
Benjamin Kramer39411b92009-11-26 13:09:03 +0000134
Anders Carlsson1bb60992010-01-14 02:29:07 +0000135} // end namespace CodeGen
136} // end namespace clang
Anders Carlssondbd920c2009-10-11 22:13:54 +0000137#endif