blob: bd70b5c35946668e1c66ae81cc91edac12967a77 [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;
Timur Iskhodzhanov635de282013-07-30 09:46:19 +000035 OwningPtr<MicrosoftVFTableContext> VFTContext;
Peter Collingbourne1d2b3172011-09-26 01:56:30 +000036
Anders Carlsson046c2942010-04-17 20:15:18 +000037 /// VTables - All the vtables which have been defined.
38 llvm::DenseMap<const CXXRecordDecl *, llvm::GlobalVariable *> VTables;
Anders Carlssond6b07fb2009-11-27 20:47:55 +000039
Anders Carlsson2c822f12010-03-26 03:56:54 +000040 /// VTableAddressPointsMapTy - Address points for a single vtable.
41 typedef llvm::DenseMap<BaseSubobject, uint64_t> VTableAddressPointsMapTy;
42
Peter Collingbourne84fcc482011-09-26 01:56:41 +000043 typedef std::pair<const CXXRecordDecl *, BaseSubobject> BaseSubobjectPairTy;
Anders Carlsson3855a072010-05-03 00:55:11 +000044 typedef llvm::DenseMap<BaseSubobjectPairTy, uint64_t> SubVTTIndiciesMapTy;
Anders Carlssone1dcc222010-03-26 04:23:58 +000045
46 /// SubVTTIndicies - Contains indices into the various sub-VTTs.
47 SubVTTIndiciesMapTy SubVTTIndicies;
48
Anders Carlsson3855a072010-05-03 00:55:11 +000049 typedef llvm::DenseMap<BaseSubobjectPairTy, uint64_t>
Anders Carlssone1dcc222010-03-26 04:23:58 +000050 SecondaryVirtualPointerIndicesMapTy;
51
52 /// SecondaryVirtualPointerIndices - Contains the secondary virtual pointer
53 /// indices.
54 SecondaryVirtualPointerIndicesMapTy SecondaryVirtualPointerIndices;
Anders Carlssonc997d422010-01-02 01:01:18 +000055
Anders Carlssonfbf6ed42010-03-23 16:36:50 +000056 /// EmitThunk - Emit a single thunk.
Anders Carlsson14e82fd2011-02-06 18:31:40 +000057 void EmitThunk(GlobalDecl GD, const ThunkInfo &Thunk,
58 bool UseAvailableExternallyLinkage);
59
60 /// MaybeEmitThunkAvailableExternally - Try to emit the given thunk with
61 /// available_externally linkage to allow for inlining of thunks.
Sylvestre Ledruf3477c12012-09-27 10:16:10 +000062 /// This will be done iff optimizations are enabled and the member function
Anders Carlsson14e82fd2011-02-06 18:31:40 +000063 /// doesn't contain any incomplete types.
64 void MaybeEmitThunkAvailableExternally(GlobalDecl GD, const ThunkInfo &Thunk);
65
Anders Carlsson0d1407e2010-03-25 15:26:28 +000066 /// CreateVTableInitializer - Create a vtable initializer for the given record
67 /// decl.
68 /// \param Components - The vtable components; this is really an array of
69 /// VTableComponents.
70 llvm::Constant *CreateVTableInitializer(const CXXRecordDecl *RD,
Peter Collingbournee09cdf42011-09-26 01:56:50 +000071 const VTableComponent *Components,
Anders Carlsson0d1407e2010-03-25 15:26:28 +000072 unsigned NumComponents,
Peter Collingbournee09cdf42011-09-26 01:56:50 +000073 const VTableLayout::VTableThunkTy *VTableThunks,
74 unsigned NumVTableThunks);
Anders Carlsson2c822f12010-03-26 03:56:54 +000075
Anders Carlssondbd920c2009-10-11 22:13:54 +000076public:
Peter Collingbourne1d2b3172011-09-26 01:56:30 +000077 CodeGenVTables(CodeGenModule &CGM);
78
79 VTableContext &getVTableContext() { return VTContext; }
Anders Carlssondbd920c2009-10-11 22:13:54 +000080
Anders Carlssonc997d422010-01-02 01:01:18 +000081 /// getSubVTTIndex - Return the index of the sub-VTT for the base class of the
82 /// given record decl.
Anders Carlssonc11bb212010-05-02 23:53:25 +000083 uint64_t getSubVTTIndex(const CXXRecordDecl *RD, BaseSubobject Base);
Anders Carlssonc997d422010-01-02 01:01:18 +000084
Anders Carlssone1dcc222010-03-26 04:23:58 +000085 /// getSecondaryVirtualPointerIndex - Return the index in the VTT where the
86 /// virtual pointer for the given subobject is located.
87 uint64_t getSecondaryVirtualPointerIndex(const CXXRecordDecl *RD,
88 BaseSubobject Base);
89
Anders Carlsson64c9eca2010-03-29 02:08:26 +000090 /// getAddressPoint - Get the address point of the given subobject in the
91 /// class decl.
92 uint64_t getAddressPoint(BaseSubobject Base, const CXXRecordDecl *RD);
93
Anders Carlsson5eea8762010-03-24 05:32:05 +000094 /// GetAddrOfVTable - Get the address of the vtable for the given record decl.
Anders Carlsson9dc338a2010-03-30 03:35:35 +000095 llvm::GlobalVariable *GetAddrOfVTable(const CXXRecordDecl *RD);
Anders Carlsson5c6c1d92010-03-24 03:57:14 +000096
Anders Carlssona7cde3b2010-03-29 03:38:52 +000097 /// EmitVTableDefinition - Emit the definition of the given vtable.
98 void EmitVTableDefinition(llvm::GlobalVariable *VTable,
99 llvm::GlobalVariable::LinkageTypes Linkage,
100 const CXXRecordDecl *RD);
101
Anders Carlssonff143f82010-03-25 00:35:49 +0000102 /// GenerateConstructionVTable - Generate a construction vtable for the given
103 /// base subobject.
104 llvm::GlobalVariable *
105 GenerateConstructionVTable(const CXXRecordDecl *RD, const BaseSubobject &Base,
106 bool BaseIsVirtual,
John McCallbda0d6b2011-03-27 09:00:25 +0000107 llvm::GlobalVariable::LinkageTypes Linkage,
Anders Carlsson2c822f12010-03-26 03:56:54 +0000108 VTableAddressPointsMapTy& AddressPoints);
Anders Carlsson1cbce122011-01-29 19:16:51 +0000109
110
111 /// GetAddrOfVTable - Get the address of the VTT for the given record decl.
112 llvm::GlobalVariable *GetAddrOfVTT(const CXXRecordDecl *RD);
113
114 /// EmitVTTDefinition - Emit the definition of the given vtable.
115 void EmitVTTDefinition(llvm::GlobalVariable *VTT,
116 llvm::GlobalVariable::LinkageTypes Linkage,
117 const CXXRecordDecl *RD);
Rafael Espindolabbf58bb2010-03-10 02:19:29 +0000118
Douglas Gregor6fb745b2010-05-13 16:44:06 +0000119 /// EmitThunks - Emit the associated thunks for the given global decl.
120 void EmitThunks(GlobalDecl GD);
121
John McCalld5617ee2013-01-25 22:31:03 +0000122 /// GenerateClassData - Generate all the class data required to be
123 /// generated upon definition of a KeyFunction. This includes the
124 /// vtable, the RTTI data structure (if RTTI is enabled) and the VTT
125 /// (if the class has virtual bases).
126 void GenerateClassData(const CXXRecordDecl *RD);
127
128 bool isVTableExternal(const CXXRecordDecl *RD);
Anders Carlssondbd920c2009-10-11 22:13:54 +0000129};
Benjamin Kramer39411b92009-11-26 13:09:03 +0000130
Anders Carlsson1bb60992010-01-14 02:29:07 +0000131} // end namespace CodeGen
132} // end namespace clang
Anders Carlssondbd920c2009-10-11 22:13:54 +0000133#endif