blob: ba67ed41d3e28820e3ef2a28d0baeead87e3b968 [file] [log] [blame]
John McCall358d0562011-03-27 09:00:25 +00001//===--- CGVTables.h - Emit LLVM Code for C++ vtables -----------*- C++ -*-===//
Anders Carlsson2bb27f52009-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 Collingbourne66c3a832011-09-26 01:56:16 +000017#include "clang/AST/BaseSubobject.h"
Ken Dyck16ffcac2011-03-24 01:21:01 +000018#include "clang/AST/CharUnits.h"
Peter Collingbourneee781d52011-06-14 04:02:39 +000019#include "clang/AST/GlobalDecl.h"
Peter Collingbournecfd23562011-09-26 01:57:12 +000020#include "clang/AST/VTableBuilder.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000021#include "clang/Basic/ABI.h"
22#include "llvm/ADT/DenseMap.h"
Chandler Carruthffd55512013-01-02 11:45:17 +000023#include "llvm/IR/GlobalVariable.h"
Anders Carlsson2bb27f52009-10-11 22:13:54 +000024
25namespace clang {
Anders Carlsson2bb27f52009-10-11 22:13:54 +000026 class CXXRecordDecl;
Benjamin Kramer334af992009-11-26 13:09:03 +000027
Anders Carlsson2bb27f52009-10-11 22:13:54 +000028namespace CodeGen {
29 class CodeGenModule;
Anders Carlssonc7785402009-11-26 02:32:05 +000030
Peter Collingbournea8341662011-09-26 01:56:30 +000031class CodeGenVTables {
32 CodeGenModule &CGM;
33
Reid Kleckner96f8f932014-02-05 17:27:08 +000034 VTableContextBase *VTContext;
35
Anders Carlssona208b392010-03-26 03:56:54 +000036 /// VTableAddressPointsMapTy - Address points for a single vtable.
37 typedef llvm::DenseMap<BaseSubobject, uint64_t> VTableAddressPointsMapTy;
38
Peter Collingbourne5ee9ee42011-09-26 01:56:41 +000039 typedef std::pair<const CXXRecordDecl *, BaseSubobject> BaseSubobjectPairTy;
Anders Carlsson8bdbb5b2010-05-03 00:55:11 +000040 typedef llvm::DenseMap<BaseSubobjectPairTy, uint64_t> SubVTTIndiciesMapTy;
Anders Carlssonf1a994c2010-03-26 04:23:58 +000041
42 /// SubVTTIndicies - Contains indices into the various sub-VTTs.
43 SubVTTIndiciesMapTy SubVTTIndicies;
44
Anders Carlsson8bdbb5b2010-05-03 00:55:11 +000045 typedef llvm::DenseMap<BaseSubobjectPairTy, uint64_t>
Anders Carlssonf1a994c2010-03-26 04:23:58 +000046 SecondaryVirtualPointerIndicesMapTy;
47
48 /// SecondaryVirtualPointerIndices - Contains the secondary virtual pointer
49 /// indices.
50 SecondaryVirtualPointerIndicesMapTy SecondaryVirtualPointerIndices;
Anders Carlssone36a6b32010-01-02 01:01:18 +000051
Timur Iskhodzhanovad9d3b82013-10-09 09:23:58 +000052 /// emitThunk - Emit a single thunk.
53 void emitThunk(GlobalDecl GD, const ThunkInfo &Thunk, bool ForVTable);
Anders Carlsson8b021832011-02-06 18:31:40 +000054
Timur Iskhodzhanovad9d3b82013-10-09 09:23:58 +000055 /// maybeEmitThunkForVTable - Emit the given thunk for the vtable if needed by
56 /// the ABI.
57 void maybeEmitThunkForVTable(GlobalDecl GD, const ThunkInfo &Thunk);
Anders Carlsson8b021832011-02-06 18:31:40 +000058
Timur Iskhodzhanov8b5987e2013-09-27 14:48:01 +000059public:
Anders Carlssona4147142010-03-25 15:26:28 +000060 /// CreateVTableInitializer - Create a vtable initializer for the given record
61 /// decl.
62 /// \param Components - The vtable components; this is really an array of
63 /// VTableComponents.
64 llvm::Constant *CreateVTableInitializer(const CXXRecordDecl *RD,
Peter Collingbourneaffe1112011-09-26 01:56:50 +000065 const VTableComponent *Components,
Anders Carlssona4147142010-03-25 15:26:28 +000066 unsigned NumComponents,
Peter Collingbourneaffe1112011-09-26 01:56:50 +000067 const VTableLayout::VTableThunkTy *VTableThunks,
68 unsigned NumVTableThunks);
Anders Carlssona208b392010-03-26 03:56:54 +000069
Peter Collingbournea8341662011-09-26 01:56:30 +000070 CodeGenVTables(CodeGenModule &CGM);
71
Reid Klecknerb60a3d52013-12-20 23:58:52 +000072 ItaniumVTableContext &getItaniumVTableContext() {
Reid Kleckner96f8f932014-02-05 17:27:08 +000073 return *cast<ItaniumVTableContext>(VTContext);
Reid Klecknerb60a3d52013-12-20 23:58:52 +000074 }
Anders Carlsson2bb27f52009-10-11 22:13:54 +000075
Timur Iskhodzhanov58776632013-11-05 15:54:58 +000076 MicrosoftVTableContext &getMicrosoftVTableContext() {
Reid Kleckner96f8f932014-02-05 17:27:08 +000077 return *cast<MicrosoftVTableContext>(VTContext);
Timur Iskhodzhanov58776632013-11-05 15:54:58 +000078 }
Timur Iskhodzhanov88fd4392013-08-21 06:25:03 +000079
Anders Carlssone36a6b32010-01-02 01:01:18 +000080 /// getSubVTTIndex - Return the index of the sub-VTT for the base class of the
81 /// given record decl.
Anders Carlsson859b3062010-05-02 23:53:25 +000082 uint64_t getSubVTTIndex(const CXXRecordDecl *RD, BaseSubobject Base);
Anders Carlssone36a6b32010-01-02 01:01:18 +000083
Anders Carlssonf1a994c2010-03-26 04:23:58 +000084 /// getSecondaryVirtualPointerIndex - Return the index in the VTT where the
85 /// virtual pointer for the given subobject is located.
86 uint64_t getSecondaryVirtualPointerIndex(const CXXRecordDecl *RD,
87 BaseSubobject Base);
88
Anders Carlssonf6f24c62010-03-29 02:08:26 +000089 /// getAddressPoint - Get the address point of the given subobject in the
90 /// class decl.
91 uint64_t getAddressPoint(BaseSubobject Base, const CXXRecordDecl *RD);
92
Anders Carlsson0534b022010-03-25 00:35:49 +000093 /// GenerateConstructionVTable - Generate a construction vtable for the given
94 /// base subobject.
95 llvm::GlobalVariable *
96 GenerateConstructionVTable(const CXXRecordDecl *RD, const BaseSubobject &Base,
97 bool BaseIsVirtual,
John McCall358d0562011-03-27 09:00:25 +000098 llvm::GlobalVariable::LinkageTypes Linkage,
Anders Carlssona208b392010-03-26 03:56:54 +000099 VTableAddressPointsMapTy& AddressPoints);
Anders Carlsson883fc722011-01-29 19:16:51 +0000100
101
Hans Wennborgfebdcb02014-06-02 18:50:54 +0000102 /// GetAddrOfVTT - Get the address of the VTT for the given record decl.
Anders Carlsson883fc722011-01-29 19:16:51 +0000103 llvm::GlobalVariable *GetAddrOfVTT(const CXXRecordDecl *RD);
104
105 /// EmitVTTDefinition - Emit the definition of the given vtable.
106 void EmitVTTDefinition(llvm::GlobalVariable *VTT,
107 llvm::GlobalVariable::LinkageTypes Linkage,
108 const CXXRecordDecl *RD);
Rafael Espindolae7113ca2010-03-10 02:19:29 +0000109
Douglas Gregor88d292c2010-05-13 16:44:06 +0000110 /// EmitThunks - Emit the associated thunks for the given global decl.
111 void EmitThunks(GlobalDecl GD);
112
John McCall6bd2a892013-01-25 22:31:03 +0000113 /// GenerateClassData - Generate all the class data required to be
114 /// generated upon definition of a KeyFunction. This includes the
115 /// vtable, the RTTI data structure (if RTTI is enabled) and the VTT
116 /// (if the class has virtual bases).
117 void GenerateClassData(const CXXRecordDecl *RD);
118
119 bool isVTableExternal(const CXXRecordDecl *RD);
Anders Carlsson2bb27f52009-10-11 22:13:54 +0000120};
Benjamin Kramer334af992009-11-26 13:09:03 +0000121
Anders Carlsson5f9a8812010-01-14 02:29:07 +0000122} // end namespace CodeGen
123} // end namespace clang
Anders Carlsson2bb27f52009-10-11 22:13:54 +0000124#endif