blob: b2426833a2ec688e26da7203c90a4d638c2d6864 [file] [log] [blame]
Anders Carlsson79474332009-07-18 20:20:21 +00001//=== ASTRecordLayoutBuilder.cpp - Helper class for building record layouts ==//
2//
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#include "RecordLayoutBuilder.h"
11
12#include "clang/AST/Attr.h"
13#include "clang/AST/Decl.h"
Anders Carlsson6d9f6f32009-07-19 00:18:47 +000014#include "clang/AST/DeclCXX.h"
Anders Carlsson4f516282009-07-18 20:50:59 +000015#include "clang/AST/DeclObjC.h"
Anders Carlsson79474332009-07-18 20:20:21 +000016#include "clang/AST/Expr.h"
Anders Carlsson79474332009-07-18 20:20:21 +000017#include "clang/Basic/TargetInfo.h"
Daniel Dunbaraa423af2010-04-08 02:59:49 +000018#include "llvm/Support/Format.h"
19#include "llvm/ADT/SmallSet.h"
20#include "llvm/Support/MathExtras.h"
Anders Carlsson79474332009-07-18 20:20:21 +000021
22using namespace clang;
23
Mike Stump11289f42009-09-09 15:08:12 +000024ASTRecordLayoutBuilder::ASTRecordLayoutBuilder(ASTContext &Ctx)
Anders Carlssonba958402009-11-22 19:13:51 +000025 : Ctx(Ctx), Size(0), Alignment(8), Packed(false), UnfilledBitsInLastByte(0),
Daniel Dunbaraa423af2010-04-08 02:59:49 +000026 MaxFieldAlignment(0), DataSize(0), IsUnion(false), NonVirtualSize(0),
27 NonVirtualAlignment(8), FirstNearlyEmptyVBase(0) { }
Mike Stump3dc7eb92009-07-30 00:22:38 +000028
Mike Stumpd8fe7b22009-08-05 22:37:18 +000029/// IsNearlyEmpty - Indicates when a class has a vtable pointer, but
30/// no other data.
Anders Carlsson81430692009-09-22 03:02:06 +000031bool ASTRecordLayoutBuilder::IsNearlyEmpty(const CXXRecordDecl *RD) const {
Mike Stumpd8fe7b22009-08-05 22:37:18 +000032 // FIXME: Audit the corners
33 if (!RD->isDynamicClass())
34 return false;
35 const ASTRecordLayout &BaseInfo = Ctx.getASTRecordLayout(RD);
36 if (BaseInfo.getNonVirtualSize() == Ctx.Target.getPointerWidth(0))
37 return true;
38 return false;
39}
40
Anders Carlsson81430692009-09-22 03:02:06 +000041void ASTRecordLayoutBuilder::IdentifyPrimaryBases(const CXXRecordDecl *RD) {
Daniel Dunbaraa423af2010-04-08 02:59:49 +000042 const ASTRecordLayout::PrimaryBaseInfo &BaseInfo =
Anders Carlsson03ff3792009-11-27 22:05:05 +000043 Ctx.getASTRecordLayout(RD).getPrimaryBaseInfo();
Daniel Dunbaraa423af2010-04-08 02:59:49 +000044
Anders Carlsson81430692009-09-22 03:02:06 +000045 // If the record has a primary base class that is virtual, add it to the set
46 // of primary bases.
Anders Carlssona30c0d32009-11-27 22:14:40 +000047 if (BaseInfo.isVirtual())
48 IndirectPrimaryBases.insert(BaseInfo.getBase());
Daniel Dunbaraa423af2010-04-08 02:59:49 +000049
Anders Carlsson81430692009-09-22 03:02:06 +000050 // Now traverse all bases and find primary bases for them.
Mike Stumpd8fe7b22009-08-05 22:37:18 +000051 for (CXXRecordDecl::base_class_const_iterator i = RD->bases_begin(),
Daniel Dunbaraa423af2010-04-08 02:59:49 +000052 e = RD->bases_end(); i != e; ++i) {
Sebastian Redl1054fae2009-10-25 17:03:50 +000053 assert(!i->getType()->isDependentType() &&
54 "Cannot layout class with dependent bases.");
Mike Stump11289f42009-09-09 15:08:12 +000055 const CXXRecordDecl *Base =
Mike Stump78696a72009-08-11 04:03:59 +000056 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
Daniel Dunbaraa423af2010-04-08 02:59:49 +000057
Mike Stump78696a72009-08-11 04:03:59 +000058 // Only bases with virtual bases participate in computing the
59 // indirect primary virtual base classes.
Mike Stumpc2f591b2009-08-13 22:53:07 +000060 if (Base->getNumVBases())
Anders Carlsson81430692009-09-22 03:02:06 +000061 IdentifyPrimaryBases(Base);
Mike Stumpd8fe7b22009-08-05 22:37:18 +000062 }
63}
64
Anders Carlsson81430692009-09-22 03:02:06 +000065void
Anders Carlsson8630b5b2010-03-11 00:15:35 +000066ASTRecordLayoutBuilder::SelectPrimaryVBase(const CXXRecordDecl *RD) {
Anders Carlssonf2fa75b2010-03-11 03:39:12 +000067 for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
Daniel Dunbaraa423af2010-04-08 02:59:49 +000068 E = RD->bases_end(); I != E; ++I) {
Anders Carlssonf2fa75b2010-03-11 03:39:12 +000069 assert(!I->getType()->isDependentType() &&
Sebastian Redl1054fae2009-10-25 17:03:50 +000070 "Cannot layout class with dependent bases.");
Daniel Dunbaraa423af2010-04-08 02:59:49 +000071
Mike Stump11289f42009-09-09 15:08:12 +000072 const CXXRecordDecl *Base =
Anders Carlssonf2fa75b2010-03-11 03:39:12 +000073 cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
Anders Carlsson8630b5b2010-03-11 00:15:35 +000074
Anders Carlssonf2fa75b2010-03-11 03:39:12 +000075 // Check if this is a nearly empty virtual base.
76 if (I->isVirtual() && IsNearlyEmpty(Base)) {
77 // If it's not an indirect primary base, then we've found our primary
78 // base.
Anders Carlsson81430692009-09-22 03:02:06 +000079 if (!IndirectPrimaryBases.count(Base)) {
Anders Carlsson8630b5b2010-03-11 00:15:35 +000080 PrimaryBase = ASTRecordLayout::PrimaryBaseInfo(Base,
81 /*IsVirtual=*/true);
Mike Stump6f3793b2009-08-12 21:50:08 +000082 return;
83 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +000084
Anders Carlssonf2fa75b2010-03-11 03:39:12 +000085 // Is this the first nearly empty virtual base?
86 if (!FirstNearlyEmptyVBase)
87 FirstNearlyEmptyVBase = Base;
Mike Stump6f3793b2009-08-12 21:50:08 +000088 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +000089
Anders Carlsson8630b5b2010-03-11 00:15:35 +000090 SelectPrimaryVBase(Base);
Zhongxing Xuec345b72010-02-15 04:28:35 +000091 if (PrimaryBase.getBase())
92 return;
Mike Stump6f3793b2009-08-12 21:50:08 +000093 }
94}
95
Anders Carlsson8630b5b2010-03-11 00:15:35 +000096/// DeterminePrimaryBase - Determine the primary base of the given class.
97void ASTRecordLayoutBuilder::DeterminePrimaryBase(const CXXRecordDecl *RD) {
98 // If the class isn't dynamic, it won't have a primary base.
99 if (!RD->isDynamicClass())
100 return;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000101
Anders Carlsson81430692009-09-22 03:02:06 +0000102 // Compute all the primary virtual bases for all of our direct and
Mike Stump590a7c72009-08-13 23:26:06 +0000103 // indirect bases, and record all their primary virtual base classes.
Mike Stump590a7c72009-08-13 23:26:06 +0000104 for (CXXRecordDecl::base_class_const_iterator i = RD->bases_begin(),
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000105 e = RD->bases_end(); i != e; ++i) {
Sebastian Redl1054fae2009-10-25 17:03:50 +0000106 assert(!i->getType()->isDependentType() &&
Anders Carlsson8630b5b2010-03-11 00:15:35 +0000107 "Cannot lay out class with dependent bases.");
Mike Stump11289f42009-09-09 15:08:12 +0000108 const CXXRecordDecl *Base =
Mike Stump590a7c72009-08-13 23:26:06 +0000109 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
Anders Carlsson81430692009-09-22 03:02:06 +0000110 IdentifyPrimaryBases(Base);
Mike Stump590a7c72009-08-13 23:26:06 +0000111 }
112
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000113 // If the record has a dynamic base class, attempt to choose a primary base
114 // class. It is the first (in direct base class order) non-virtual dynamic
Anders Carlsson81430692009-09-22 03:02:06 +0000115 // base class, if one exists.
Mike Stumpd8fe7b22009-08-05 22:37:18 +0000116 for (CXXRecordDecl::base_class_const_iterator i = RD->bases_begin(),
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000117 e = RD->bases_end(); i != e; ++i) {
Anders Carlsson03ff3792009-11-27 22:05:05 +0000118 // Ignore virtual bases.
119 if (i->isVirtual())
120 continue;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000121
Anders Carlsson03ff3792009-11-27 22:05:05 +0000122 const CXXRecordDecl *Base =
123 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
124
125 if (Base->isDynamicClass()) {
126 // We found it.
127 PrimaryBase = ASTRecordLayout::PrimaryBaseInfo(Base, /*IsVirtual=*/false);
128 return;
Mike Stumpd8fe7b22009-08-05 22:37:18 +0000129 }
130 }
131
132 // Otherwise, it is the first nearly empty virtual base that is not an
Mike Stump78696a72009-08-11 04:03:59 +0000133 // indirect primary virtual base class, if one exists.
Anders Carlsson8630b5b2010-03-11 00:15:35 +0000134 if (RD->getNumVBases() != 0) {
135 SelectPrimaryVBase(RD);
136 if (PrimaryBase.getBase())
137 return;
138 }
Mike Stumpd8fe7b22009-08-05 22:37:18 +0000139
Anders Carlsson8630b5b2010-03-11 00:15:35 +0000140 // Otherwise, it is the first nearly empty virtual base that is not an
141 // indirect primary virtual base class, if one exists.
142 if (FirstNearlyEmptyVBase) {
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000143 PrimaryBase = ASTRecordLayout::PrimaryBaseInfo(FirstNearlyEmptyVBase,
Anders Carlssonf2fa75b2010-03-11 03:39:12 +0000144 /*IsVirtual=*/true);
Mike Stumpd8fe7b22009-08-05 22:37:18 +0000145 return;
Anders Carlsson8630b5b2010-03-11 00:15:35 +0000146 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000147
Anders Carlsson8630b5b2010-03-11 00:15:35 +0000148 // Otherwise there is no primary base class.
149 assert(!PrimaryBase.getBase() && "Should not get here with a primary base!");
Mike Stumpd8fe7b22009-08-05 22:37:18 +0000150
Anders Carlsson8630b5b2010-03-11 00:15:35 +0000151 // Allocate the virtual table pointer at offset zero.
152 assert(DataSize == 0 && "Vtable pointer must be at offset zero!");
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000153
Anders Carlsson8630b5b2010-03-11 00:15:35 +0000154 // Update the size.
155 Size += Ctx.Target.getPointerWidth(0);
156 DataSize = Size;
157
158 // Update the alignment.
159 UpdateAlignment(Ctx.Target.getPointerAlign(0));
Mike Stumpd8fe7b22009-08-05 22:37:18 +0000160}
161
Anders Carlsson09ffa322010-03-10 22:21:28 +0000162void
163ASTRecordLayoutBuilder::LayoutNonVirtualBases(const CXXRecordDecl *RD) {
Anders Carlsson8630b5b2010-03-11 00:15:35 +0000164 // First, determine the primary base class.
165 DeterminePrimaryBase(RD);
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000166
Anders Carlsson8630b5b2010-03-11 00:15:35 +0000167 // If we have a primary base class, lay it out.
168 if (const CXXRecordDecl *Base = PrimaryBase.getBase()) {
Anders Carlsson8630b5b2010-03-11 00:15:35 +0000169 if (PrimaryBase.isVirtual()) {
170 // We have a virtual primary base, insert it as an indirect primary base.
171 IndirectPrimaryBases.insert(Base);
Anders Carlssonfe900962010-03-11 05:42:17 +0000172
Anders Carlsson291279e2010-04-10 18:42:27 +0000173 assert(!VisitedVirtualBases.count(Base) && "vbase already visited!");
174 VisitedVirtualBases.insert(Base);
175
Anders Carlsson8630b5b2010-03-11 00:15:35 +0000176 LayoutVirtualBase(Base);
177 } else
178 LayoutNonVirtualBase(Base);
179 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000180
Anders Carlsson8630b5b2010-03-11 00:15:35 +0000181 // Now lay out the non-virtual bases.
182 for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000183 E = RD->bases_end(); I != E; ++I) {
Anders Carlsson8630b5b2010-03-11 00:15:35 +0000184
185 // Ignore virtual bases.
186 if (I->isVirtual())
187 continue;
188
189 const CXXRecordDecl *Base =
190 cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
191
192 // Skip the primary base.
193 if (Base == PrimaryBase.getBase() && !PrimaryBase.isVirtual())
194 continue;
195
196 // Lay out the base.
197 LayoutNonVirtualBase(Base);
Anders Carlsson09ffa322010-03-10 22:21:28 +0000198 }
199}
200
201void ASTRecordLayoutBuilder::LayoutNonVirtualBase(const CXXRecordDecl *RD) {
Anders Carlsson0d0b5882010-03-10 22:26:24 +0000202 // Layout the base.
203 uint64_t Offset = LayoutBase(RD);
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000204
Anders Carlsson0d0b5882010-03-10 22:26:24 +0000205 // Add its base class offset.
Anders Carlsson6a848892010-03-11 04:10:39 +0000206 if (!Bases.insert(std::make_pair(RD, Offset)).second)
207 assert(false && "Added same base offset more than once!");
Anders Carlsson09ffa322010-03-10 22:21:28 +0000208}
Mike Stump2b84dd32009-11-05 04:02:15 +0000209
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000210void
Anders Carlssonde710c92010-03-11 04:33:54 +0000211ASTRecordLayoutBuilder::LayoutVirtualBases(const CXXRecordDecl *RD,
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000212 uint64_t Offset,
213 const CXXRecordDecl *MostDerivedClass) {
Anders Carlssonde710c92010-03-11 04:33:54 +0000214 const CXXRecordDecl *PrimaryBase;
Anders Carlsson291279e2010-04-10 18:42:27 +0000215 bool PrimaryBaseIsVirtual;
Anders Carlssonfe900962010-03-11 05:42:17 +0000216
Anders Carlsson291279e2010-04-10 18:42:27 +0000217 if (MostDerivedClass == RD) {
Anders Carlssonde710c92010-03-11 04:33:54 +0000218 PrimaryBase = this->PrimaryBase.getBase();
Anders Carlsson291279e2010-04-10 18:42:27 +0000219 PrimaryBaseIsVirtual = this->PrimaryBase.isVirtual();
220 } else {
Anders Carlssonde710c92010-03-11 04:33:54 +0000221 const ASTRecordLayout &Layout = Ctx.getASTRecordLayout(RD);
222 PrimaryBase = Layout.getPrimaryBase();
Anders Carlsson291279e2010-04-10 18:42:27 +0000223 PrimaryBaseIsVirtual = Layout.getPrimaryBaseWasVirtual();
224 }
225
226 // Check the primary base first.
227 if (PrimaryBase && PrimaryBaseIsVirtual &&
228 VisitedVirtualBases.insert(PrimaryBase)) {
229 assert(!VBases.count(PrimaryBase) && "vbase offset already exists!");
230
231 VBases.insert(std::make_pair(PrimaryBase, Offset));
Anders Carlssonde710c92010-03-11 04:33:54 +0000232 }
233
Anders Carlssonf7b7a1e2010-03-11 04:24:02 +0000234 for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
235 E = RD->bases_end(); I != E; ++I) {
236 assert(!I->getType()->isDependentType() &&
Sebastian Redl1054fae2009-10-25 17:03:50 +0000237 "Cannot layout class with dependent bases.");
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000238
Mike Stump11289f42009-09-09 15:08:12 +0000239 const CXXRecordDecl *Base =
Anders Carlssonf7b7a1e2010-03-11 04:24:02 +0000240 cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
241
242 if (I->isVirtual()) {
Anders Carlsson291279e2010-04-10 18:42:27 +0000243 if (PrimaryBase != Base || !PrimaryBaseIsVirtual) {
244 bool IndirectPrimaryBase = IndirectPrimaryBases.count(Base);
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000245
Anders Carlsson291279e2010-04-10 18:42:27 +0000246 // Only lay out the virtual base if it's not an indirect primary base.
247 if (!IndirectPrimaryBase) {
248 // Only visit virtual bases once.
249 if (!VisitedVirtualBases.insert(Base))
250 continue;
251
Anders Carlssonfe900962010-03-11 05:42:17 +0000252 LayoutVirtualBase(Base);
Anders Carlsson6a848892010-03-11 04:10:39 +0000253 }
Mike Stump2b84dd32009-11-05 04:02:15 +0000254 }
Mike Stumpc2f591b2009-08-13 22:53:07 +0000255 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000256
Anders Carlssonf7b7a1e2010-03-11 04:24:02 +0000257 if (!Base->getNumVBases()) {
258 // This base isn't interesting since it doesn't have any virtual bases.
259 continue;
Mike Stump996576f32009-08-16 19:04:13 +0000260 }
Anders Carlssonf7b7a1e2010-03-11 04:24:02 +0000261
262 // Compute the offset of this base.
263 uint64_t BaseOffset;
264
265 if (I->isVirtual()) {
266 // We want the vbase offset from the class we're currently laying out.
267 assert(VBases.count(Base) && "Did not find virtual base!");
268 BaseOffset = VBases[Base];
Anders Carlssonde710c92010-03-11 04:33:54 +0000269 } else if (RD == MostDerivedClass) {
Anders Carlssonf7b7a1e2010-03-11 04:24:02 +0000270 // We want the base offset from the class we're currently laying out.
271 assert(Bases.count(Base) && "Did not find base!");
272 BaseOffset = Bases[Base];
273 } else {
274 const ASTRecordLayout &Layout = Ctx.getASTRecordLayout(RD);
275 BaseOffset = Offset + Layout.getBaseClassOffset(Base);
276 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000277
Anders Carlssonde710c92010-03-11 04:33:54 +0000278 LayoutVirtualBases(Base, BaseOffset, MostDerivedClass);
Mike Stump6b2556f2009-08-06 13:41:24 +0000279 }
280}
281
Anders Carlsson09ffa322010-03-10 22:21:28 +0000282void ASTRecordLayoutBuilder::LayoutVirtualBase(const CXXRecordDecl *RD) {
Anders Carlsson0d0b5882010-03-10 22:26:24 +0000283 // Layout the base.
284 uint64_t Offset = LayoutBase(RD);
285
286 // Add its base class offset.
Anders Carlsson6a848892010-03-11 04:10:39 +0000287 if (!VBases.insert(std::make_pair(RD, Offset)).second)
288 assert(false && "Added same vbase offset more than once!");
Anders Carlsson09ffa322010-03-10 22:21:28 +0000289}
290
291uint64_t ASTRecordLayoutBuilder::LayoutBase(const CXXRecordDecl *RD) {
292 const ASTRecordLayout &BaseInfo = Ctx.getASTRecordLayout(RD);
293
294 // If we have an empty base class, try to place it at offset 0.
295 if (RD->isEmpty() && canPlaceRecordAtOffset(RD, 0)) {
296 // We were able to place the class at offset 0.
297 UpdateEmptyClassOffsets(RD, 0);
298
299 Size = std::max(Size, BaseInfo.getSize());
300
301 return 0;
302 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000303
Anders Carlsson09ffa322010-03-10 22:21:28 +0000304 unsigned BaseAlign = BaseInfo.getNonVirtualAlign();
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000305
Anders Carlsson09ffa322010-03-10 22:21:28 +0000306 // Round up the current record size to the base's alignment boundary.
307 uint64_t Offset = llvm::RoundUpToAlignment(DataSize, BaseAlign);
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000308
Anders Carlsson09ffa322010-03-10 22:21:28 +0000309 // Try to place the base.
310 while (true) {
311 if (canPlaceRecordAtOffset(RD, Offset))
312 break;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000313
Anders Carlsson09ffa322010-03-10 22:21:28 +0000314 Offset += BaseAlign;
315 }
316
317 if (!RD->isEmpty()) {
318 // Update the data size.
319 DataSize = Offset + BaseInfo.getNonVirtualSize();
320
321 Size = std::max(Size, DataSize);
322 } else
323 Size = std::max(Size, Offset + BaseInfo.getSize());
324
325 // Remember max struct/class alignment.
326 UpdateAlignment(BaseAlign);
327
328 UpdateEmptyClassOffsets(RD, Offset);
329 return Offset;
330}
331
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000332bool ASTRecordLayoutBuilder::canPlaceRecordAtOffset(const CXXRecordDecl *RD,
Anders Carlsson6522b052009-09-24 03:13:30 +0000333 uint64_t Offset) const {
Anders Carlssonf24b18f2009-09-24 03:22:10 +0000334 // Look for an empty class with the same type at the same offset.
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000335 for (EmptyClassOffsetsTy::const_iterator I =
336 EmptyClassOffsets.lower_bound(Offset),
337 E = EmptyClassOffsets.upper_bound(Offset); I != E; ++I) {
338
Anders Carlssonf24b18f2009-09-24 03:22:10 +0000339 if (I->second == RD)
340 return false;
341 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000342
Anders Carlssonbb66bc82009-09-24 05:21:31 +0000343 const ASTRecordLayout &Info = Ctx.getASTRecordLayout(RD);
344
345 // Check bases.
346 for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000347 E = RD->bases_end(); I != E; ++I) {
Sebastian Redl1054fae2009-10-25 17:03:50 +0000348 assert(!I->getType()->isDependentType() &&
349 "Cannot layout class with dependent bases.");
Anders Carlssonbb66bc82009-09-24 05:21:31 +0000350 if (I->isVirtual())
351 continue;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000352
Anders Carlssonbb66bc82009-09-24 05:21:31 +0000353 const CXXRecordDecl *Base =
354 cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
355
356 uint64_t BaseClassOffset = Info.getBaseClassOffset(Base);
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000357
Anders Carlssonbb66bc82009-09-24 05:21:31 +0000358 if (!canPlaceRecordAtOffset(Base, Offset + BaseClassOffset))
359 return false;
360 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000361
Anders Carlssond7d358a2009-09-25 15:39:00 +0000362 // Check fields.
363 unsigned FieldNo = 0;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000364 for (CXXRecordDecl::field_iterator I = RD->field_begin(), E = RD->field_end();
Anders Carlssond7d358a2009-09-25 15:39:00 +0000365 I != E; ++I, ++FieldNo) {
366 const FieldDecl *FD = *I;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000367
Anders Carlssond7d358a2009-09-25 15:39:00 +0000368 uint64_t FieldOffset = Info.getFieldOffset(FieldNo);
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000369
Anders Carlssond7d358a2009-09-25 15:39:00 +0000370 if (!canPlaceFieldAtOffset(FD, Offset + FieldOffset))
371 return false;
372 }
373
Anders Carlssonbb66bc82009-09-24 05:21:31 +0000374 // FIXME: virtual bases.
Anders Carlsson6522b052009-09-24 03:13:30 +0000375 return true;
376}
377
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000378bool ASTRecordLayoutBuilder::canPlaceFieldAtOffset(const FieldDecl *FD,
Anders Carlsson6f95c702009-09-25 00:02:51 +0000379 uint64_t Offset) const {
Anders Carlsson4bf82142009-09-25 01:23:32 +0000380 QualType T = FD->getType();
381 if (const RecordType *RT = T->getAs<RecordType>()) {
Anders Carlsson6f95c702009-09-25 00:02:51 +0000382 if (const CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(RT->getDecl()))
383 return canPlaceRecordAtOffset(RD, Offset);
384 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000385
Anders Carlsson4bf82142009-09-25 01:23:32 +0000386 if (const ConstantArrayType *AT = Ctx.getAsConstantArrayType(T)) {
387 QualType ElemTy = Ctx.getBaseElementType(AT);
388 const RecordType *RT = ElemTy->getAs<RecordType>();
389 if (!RT)
390 return true;
391 const CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(RT->getDecl());
392 if (!RD)
393 return true;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000394
Anders Carlsson4bf82142009-09-25 01:23:32 +0000395 const ASTRecordLayout &Info = Ctx.getASTRecordLayout(RD);
396
397 uint64_t NumElements = Ctx.getConstantArrayElementCount(AT);
Mike Stump2b84dd32009-11-05 04:02:15 +0000398 uint64_t ElementOffset = Offset;
Anders Carlsson4bf82142009-09-25 01:23:32 +0000399 for (uint64_t I = 0; I != NumElements; ++I) {
400 if (!canPlaceRecordAtOffset(RD, ElementOffset))
401 return false;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000402
Anders Carlsson4bf82142009-09-25 01:23:32 +0000403 ElementOffset += Info.getSize();
404 }
405 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000406
Anders Carlsson6f95c702009-09-25 00:02:51 +0000407 return true;
408}
409
Anders Carlsson6522b052009-09-24 03:13:30 +0000410void ASTRecordLayoutBuilder::UpdateEmptyClassOffsets(const CXXRecordDecl *RD,
411 uint64_t Offset) {
Anders Carlssonf24b18f2009-09-24 03:22:10 +0000412 if (RD->isEmpty())
413 EmptyClassOffsets.insert(std::make_pair(Offset, RD));
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000414
Anders Carlssonbb66bc82009-09-24 05:21:31 +0000415 const ASTRecordLayout &Info = Ctx.getASTRecordLayout(RD);
416
417 // Update bases.
418 for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000419 E = RD->bases_end(); I != E; ++I) {
Sebastian Redl1054fae2009-10-25 17:03:50 +0000420 assert(!I->getType()->isDependentType() &&
421 "Cannot layout class with dependent bases.");
Anders Carlssonbb66bc82009-09-24 05:21:31 +0000422 if (I->isVirtual())
423 continue;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000424
Anders Carlssonbb66bc82009-09-24 05:21:31 +0000425 const CXXRecordDecl *Base =
426 cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000427
Anders Carlssonbb66bc82009-09-24 05:21:31 +0000428 uint64_t BaseClassOffset = Info.getBaseClassOffset(Base);
429 UpdateEmptyClassOffsets(Base, Offset + BaseClassOffset);
430 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000431
Anders Carlssond7d358a2009-09-25 15:39:00 +0000432 // Update fields.
433 unsigned FieldNo = 0;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000434 for (CXXRecordDecl::field_iterator I = RD->field_begin(), E = RD->field_end();
Anders Carlssond7d358a2009-09-25 15:39:00 +0000435 I != E; ++I, ++FieldNo) {
436 const FieldDecl *FD = *I;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000437
Anders Carlssond7d358a2009-09-25 15:39:00 +0000438 uint64_t FieldOffset = Info.getFieldOffset(FieldNo);
439 UpdateEmptyClassOffsets(FD, Offset + FieldOffset);
440 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000441
Anders Carlssond7d358a2009-09-25 15:39:00 +0000442 // FIXME: Update virtual bases.
Anders Carlsson6522b052009-09-24 03:13:30 +0000443}
444
Anders Carlssone1883102009-09-25 01:54:38 +0000445void
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000446ASTRecordLayoutBuilder::UpdateEmptyClassOffsets(const FieldDecl *FD,
Anders Carlssone1883102009-09-25 01:54:38 +0000447 uint64_t Offset) {
448 QualType T = FD->getType();
449
450 if (const RecordType *RT = T->getAs<RecordType>()) {
451 if (const CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(RT->getDecl())) {
452 UpdateEmptyClassOffsets(RD, Offset);
453 return;
454 }
455 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000456
Anders Carlssone1883102009-09-25 01:54:38 +0000457 if (const ConstantArrayType *AT = Ctx.getAsConstantArrayType(T)) {
458 QualType ElemTy = Ctx.getBaseElementType(AT);
459 const RecordType *RT = ElemTy->getAs<RecordType>();
460 if (!RT)
461 return;
462 const CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(RT->getDecl());
463 if (!RD)
464 return;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000465
Anders Carlssone1883102009-09-25 01:54:38 +0000466 const ASTRecordLayout &Info = Ctx.getASTRecordLayout(RD);
467
468 uint64_t NumElements = Ctx.getConstantArrayElementCount(AT);
Mike Stump2b84dd32009-11-05 04:02:15 +0000469 uint64_t ElementOffset = Offset;
Anders Carlssone1883102009-09-25 01:54:38 +0000470
471 for (uint64_t I = 0; I != NumElements; ++I) {
472 UpdateEmptyClassOffsets(RD, ElementOffset);
473 ElementOffset += Info.getSize();
474 }
475 }
476}
477
Anders Carlsson79474332009-07-18 20:20:21 +0000478void ASTRecordLayoutBuilder::Layout(const RecordDecl *D) {
479 IsUnion = D->isUnion();
Anders Carlsson68e0b682009-08-08 18:23:56 +0000480
Anders Carlsson28a5fa22009-08-08 19:38:24 +0000481 Packed = D->hasAttr<PackedAttr>();
482
483 // The #pragma pack attribute specifies the maximum field alignment.
Anders Carlsson68e0b682009-08-08 18:23:56 +0000484 if (const PragmaPackAttr *PPA = D->getAttr<PragmaPackAttr>())
Anders Carlsson28a5fa22009-08-08 19:38:24 +0000485 MaxFieldAlignment = PPA->getAlignment();
Mike Stump11289f42009-09-09 15:08:12 +0000486
Anders Carlsson79474332009-07-18 20:20:21 +0000487 if (const AlignedAttr *AA = D->getAttr<AlignedAttr>())
Alexis Hunt96d5c762009-11-21 08:43:09 +0000488 UpdateAlignment(AA->getMaxAlignment());
Anders Carlsson6d9f6f32009-07-19 00:18:47 +0000489
Mike Stump22ea1f82009-08-16 01:46:26 +0000490 // If this is a C++ class, lay out the vtable and the non-virtual bases.
Mike Stump6b2556f2009-08-06 13:41:24 +0000491 const CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(D);
Anders Carlsson8630b5b2010-03-11 00:15:35 +0000492 if (RD)
Mike Stump3dc7eb92009-07-30 00:22:38 +0000493 LayoutNonVirtualBases(RD);
Anders Carlsson6d9f6f32009-07-19 00:18:47 +0000494
Anders Carlsson118ce162009-07-18 21:48:39 +0000495 LayoutFields(D);
Mike Stump11289f42009-09-09 15:08:12 +0000496
Anders Carlssonfc8cfa82009-07-28 19:24:15 +0000497 NonVirtualSize = Size;
498 NonVirtualAlignment = Alignment;
Mike Stump3dc7eb92009-07-30 00:22:38 +0000499
Anders Carlssonfe900962010-03-11 05:42:17 +0000500 // If this is a C++ class, lay out its virtual bases.
Anders Carlssonde710c92010-03-11 04:33:54 +0000501 if (RD)
502 LayoutVirtualBases(RD, 0, RD);
Mike Stump6b2556f2009-08-06 13:41:24 +0000503
Anders Carlsson79474332009-07-18 20:20:21 +0000504 // Finally, round the size of the total struct up to the alignment of the
505 // struct itself.
506 FinishLayout();
Anders Carlsson5b441d72010-04-10 21:24:48 +0000507
508#ifndef NDEBUG
509 if (RD) {
510 // Check that we have base offsets for all bases.
511 for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
512 E = RD->bases_end(); I != E; ++I) {
513 if (I->isVirtual())
514 continue;
515
516 const CXXRecordDecl *BaseDecl =
517 cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
518
519 assert(Bases.count(BaseDecl) && "Did not find base offset!");
520 }
521
522 // And all virtual bases.
523 for (CXXRecordDecl::base_class_const_iterator I = RD->vbases_begin(),
524 E = RD->vbases_end(); I != E; ++I) {
525 const CXXRecordDecl *BaseDecl =
526 cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
527
528 assert(VBases.count(BaseDecl) && "Did not find base offset!");
529 }
530 }
531#endif
Anders Carlsson79474332009-07-18 20:20:21 +0000532}
533
Fariborz Jahanianaef66222010-02-19 00:31:17 +0000534// FIXME. Impl is no longer needed.
Anders Carlsson4f516282009-07-18 20:50:59 +0000535void ASTRecordLayoutBuilder::Layout(const ObjCInterfaceDecl *D,
536 const ObjCImplementationDecl *Impl) {
537 if (ObjCInterfaceDecl *SD = D->getSuperClass()) {
538 const ASTRecordLayout &SL = Ctx.getASTObjCInterfaceLayout(SD);
539
540 UpdateAlignment(SL.getAlignment());
Mike Stump11289f42009-09-09 15:08:12 +0000541
Anders Carlsson4f516282009-07-18 20:50:59 +0000542 // We start laying out ivars not at the end of the superclass
543 // structure, but at the next byte following the last field.
Anders Carlsson27b50132009-07-18 21:26:44 +0000544 Size = llvm::RoundUpToAlignment(SL.getDataSize(), 8);
Anders Carlsson47680d82009-09-26 01:34:51 +0000545 DataSize = Size;
Anders Carlsson4f516282009-07-18 20:50:59 +0000546 }
Mike Stump11289f42009-09-09 15:08:12 +0000547
Anders Carlsson28a5fa22009-08-08 19:38:24 +0000548 Packed = D->hasAttr<PackedAttr>();
Mike Stump11289f42009-09-09 15:08:12 +0000549
Anders Carlsson28a5fa22009-08-08 19:38:24 +0000550 // The #pragma pack attribute specifies the maximum field alignment.
551 if (const PragmaPackAttr *PPA = D->getAttr<PragmaPackAttr>())
552 MaxFieldAlignment = PPA->getAlignment();
Mike Stump11289f42009-09-09 15:08:12 +0000553
Anders Carlsson4f516282009-07-18 20:50:59 +0000554 if (const AlignedAttr *AA = D->getAttr<AlignedAttr>())
Alexis Hunt96d5c762009-11-21 08:43:09 +0000555 UpdateAlignment(AA->getMaxAlignment());
Anders Carlsson4f516282009-07-18 20:50:59 +0000556 // Layout each ivar sequentially.
557 llvm::SmallVector<ObjCIvarDecl*, 16> Ivars;
Fariborz Jahanianaef66222010-02-19 00:31:17 +0000558 Ctx.ShallowCollectObjCIvars(D, Ivars);
Anders Carlsson4f516282009-07-18 20:50:59 +0000559 for (unsigned i = 0, e = Ivars.size(); i != e; ++i)
560 LayoutField(Ivars[i]);
Mike Stump11289f42009-09-09 15:08:12 +0000561
Anders Carlsson4f516282009-07-18 20:50:59 +0000562 // Finally, round the size of the total struct up to the alignment of the
563 // struct itself.
564 FinishLayout();
565}
566
Anders Carlsson118ce162009-07-18 21:48:39 +0000567void ASTRecordLayoutBuilder::LayoutFields(const RecordDecl *D) {
568 // Layout each field, for now, just sequentially, respecting alignment. In
569 // the future, this will need to be tweakable by targets.
Mike Stump11289f42009-09-09 15:08:12 +0000570 for (RecordDecl::field_iterator Field = D->field_begin(),
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000571 FieldEnd = D->field_end(); Field != FieldEnd; ++Field)
Anders Carlsson118ce162009-07-18 21:48:39 +0000572 LayoutField(*Field);
573}
574
Anders Carlsson07209442009-11-22 17:37:31 +0000575void ASTRecordLayoutBuilder::LayoutBitField(const FieldDecl *D) {
576 bool FieldPacked = Packed || D->hasAttr<PackedAttr>();
Anders Carlssonba958402009-11-22 19:13:51 +0000577 uint64_t FieldOffset = IsUnion ? 0 : (DataSize - UnfilledBitsInLastByte);
Anders Carlsson07209442009-11-22 17:37:31 +0000578 uint64_t FieldSize = D->getBitWidth()->EvaluateAsInt(Ctx).getZExtValue();
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000579
Anders Carlsson07209442009-11-22 17:37:31 +0000580 std::pair<uint64_t, unsigned> FieldInfo = Ctx.getTypeInfo(D->getType());
581 uint64_t TypeSize = FieldInfo.first;
582 unsigned FieldAlign = FieldInfo.second;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000583
Anders Carlsson07209442009-11-22 17:37:31 +0000584 if (FieldPacked)
585 FieldAlign = 1;
586 if (const AlignedAttr *AA = D->getAttr<AlignedAttr>())
587 FieldAlign = std::max(FieldAlign, AA->getMaxAlignment());
588
589 // The maximum field alignment overrides the aligned attribute.
590 if (MaxFieldAlignment)
591 FieldAlign = std::min(FieldAlign, MaxFieldAlignment);
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000592
Anders Carlsson07209442009-11-22 17:37:31 +0000593 // Check if we need to add padding to give the field the correct
594 // alignment.
595 if (FieldSize == 0 || (FieldOffset & (FieldAlign-1)) + FieldSize > TypeSize)
596 FieldOffset = (FieldOffset + (FieldAlign-1)) & ~(FieldAlign-1);
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000597
Anders Carlsson07209442009-11-22 17:37:31 +0000598 // Padding members don't affect overall alignment
599 if (!D->getIdentifier())
600 FieldAlign = 1;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000601
Anders Carlsson07209442009-11-22 17:37:31 +0000602 // Place this field at the current location.
603 FieldOffsets.push_back(FieldOffset);
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000604
Anders Carlssonba958402009-11-22 19:13:51 +0000605 // Update DataSize to include the last byte containing (part of) the bitfield.
606 if (IsUnion) {
607 // FIXME: I think FieldSize should be TypeSize here.
608 DataSize = std::max(DataSize, FieldSize);
609 } else {
610 uint64_t NewSizeInBits = FieldOffset + FieldSize;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000611
Anders Carlssonba958402009-11-22 19:13:51 +0000612 DataSize = llvm::RoundUpToAlignment(NewSizeInBits, 8);
613 UnfilledBitsInLastByte = DataSize - NewSizeInBits;
614 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000615
Anders Carlssonba958402009-11-22 19:13:51 +0000616 // Update the size.
617 Size = std::max(Size, DataSize);
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000618
Anders Carlsson07209442009-11-22 17:37:31 +0000619 // Remember max struct/class alignment.
620 UpdateAlignment(FieldAlign);
621}
622
Anders Carlsson79474332009-07-18 20:20:21 +0000623void ASTRecordLayoutBuilder::LayoutField(const FieldDecl *D) {
Anders Carlsson07209442009-11-22 17:37:31 +0000624 if (D->isBitField()) {
625 LayoutBitField(D);
626 return;
627 }
628
Anders Carlssonba958402009-11-22 19:13:51 +0000629 // Reset the unfilled bits.
630 UnfilledBitsInLastByte = 0;
631
Anders Carlsson07209442009-11-22 17:37:31 +0000632 bool FieldPacked = Packed || D->hasAttr<PackedAttr>();
Anders Carlsson47680d82009-09-26 01:34:51 +0000633 uint64_t FieldOffset = IsUnion ? 0 : DataSize;
Anders Carlsson79474332009-07-18 20:20:21 +0000634 uint64_t FieldSize;
635 unsigned FieldAlign;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000636
Anders Carlsson07209442009-11-22 17:37:31 +0000637 if (D->getType()->isIncompleteArrayType()) {
638 // This is a flexible array member; we can't directly
639 // query getTypeInfo about these, so we figure it out here.
640 // Flexible array members don't have any size, but they
641 // have to be aligned appropriately for their element type.
642 FieldSize = 0;
643 const ArrayType* ATy = Ctx.getAsArrayType(D->getType());
644 FieldAlign = Ctx.getTypeAlign(ATy->getElementType());
645 } else if (const ReferenceType *RT = D->getType()->getAs<ReferenceType>()) {
646 unsigned AS = RT->getPointeeType().getAddressSpace();
647 FieldSize = Ctx.Target.getPointerWidth(AS);
648 FieldAlign = Ctx.Target.getPointerAlign(AS);
Anders Carlsson79474332009-07-18 20:20:21 +0000649 } else {
Anders Carlsson07209442009-11-22 17:37:31 +0000650 std::pair<uint64_t, unsigned> FieldInfo = Ctx.getTypeInfo(D->getType());
651 FieldSize = FieldInfo.first;
652 FieldAlign = FieldInfo.second;
Anders Carlsson79474332009-07-18 20:20:21 +0000653 }
Mike Stump11289f42009-09-09 15:08:12 +0000654
Anders Carlsson07209442009-11-22 17:37:31 +0000655 if (FieldPacked)
656 FieldAlign = 8;
657 if (const AlignedAttr *AA = D->getAttr<AlignedAttr>())
658 FieldAlign = std::max(FieldAlign, AA->getMaxAlignment());
659
660 // The maximum field alignment overrides the aligned attribute.
661 if (MaxFieldAlignment)
662 FieldAlign = std::min(FieldAlign, MaxFieldAlignment);
663
664 // Round up the current record size to the field's alignment boundary.
665 FieldOffset = llvm::RoundUpToAlignment(FieldOffset, FieldAlign);
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000666
Anders Carlsson07209442009-11-22 17:37:31 +0000667 if (!IsUnion) {
668 while (true) {
669 // Check if we can place the field at this offset.
670 if (canPlaceFieldAtOffset(D, FieldOffset))
671 break;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000672
Anders Carlsson07209442009-11-22 17:37:31 +0000673 // We couldn't place the field at the offset. Try again at a new offset.
674 FieldOffset += FieldAlign;
675 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000676
Anders Carlsson07209442009-11-22 17:37:31 +0000677 UpdateEmptyClassOffsets(D, FieldOffset);
678 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000679
Anders Carlsson79474332009-07-18 20:20:21 +0000680 // Place this field at the current location.
681 FieldOffsets.push_back(FieldOffset);
Mike Stump11289f42009-09-09 15:08:12 +0000682
Anders Carlsson79474332009-07-18 20:20:21 +0000683 // Reserve space for this field.
684 if (IsUnion)
685 Size = std::max(Size, FieldSize);
686 else
687 Size = FieldOffset + FieldSize;
Mike Stump11289f42009-09-09 15:08:12 +0000688
Anders Carlsson47680d82009-09-26 01:34:51 +0000689 // Update the data size.
690 DataSize = Size;
Mike Stump11289f42009-09-09 15:08:12 +0000691
Anders Carlsson79474332009-07-18 20:20:21 +0000692 // Remember max struct/class alignment.
693 UpdateAlignment(FieldAlign);
694}
695
696void ASTRecordLayoutBuilder::FinishLayout() {
697 // In C++, records cannot be of size 0.
698 if (Ctx.getLangOptions().CPlusPlus && Size == 0)
699 Size = 8;
700 // Finally, round the size of the record up to the alignment of the
701 // record itself.
Anders Carlsson07209442009-11-22 17:37:31 +0000702 Size = llvm::RoundUpToAlignment(Size, Alignment);
Anders Carlsson79474332009-07-18 20:20:21 +0000703}
704
705void ASTRecordLayoutBuilder::UpdateAlignment(unsigned NewAlignment) {
706 if (NewAlignment <= Alignment)
707 return;
Mike Stump11289f42009-09-09 15:08:12 +0000708
Anders Carlsson79474332009-07-18 20:20:21 +0000709 assert(llvm::isPowerOf2_32(NewAlignment && "Alignment not a power of 2"));
Mike Stump11289f42009-09-09 15:08:12 +0000710
Anders Carlsson79474332009-07-18 20:20:21 +0000711 Alignment = NewAlignment;
712}
Mike Stump11289f42009-09-09 15:08:12 +0000713
Anders Carlsson5ebf8b42009-12-07 04:35:11 +0000714const ASTRecordLayout *
715ASTRecordLayoutBuilder::ComputeLayout(ASTContext &Ctx,
716 const RecordDecl *D) {
717 ASTRecordLayoutBuilder Builder(Ctx);
718
719 Builder.Layout(D);
720
721 if (!isa<CXXRecordDecl>(D))
Ted Kremenekc3015a92010-03-08 20:56:29 +0000722 return new (Ctx) ASTRecordLayout(Ctx, Builder.Size, Builder.Alignment,
723 Builder.Size,
724 Builder.FieldOffsets.data(),
725 Builder.FieldOffsets.size());
Anders Carlsson5ebf8b42009-12-07 04:35:11 +0000726
727 // FIXME: This is not always correct. See the part about bitfields at
728 // http://www.codesourcery.com/public/cxx-abi/abi.html#POD for more info.
729 // FIXME: IsPODForThePurposeOfLayout should be stored in the record layout.
730 bool IsPODForThePurposeOfLayout = cast<CXXRecordDecl>(D)->isPOD();
731
732 // FIXME: This should be done in FinalizeLayout.
733 uint64_t DataSize =
734 IsPODForThePurposeOfLayout ? Builder.Size : Builder.DataSize;
735 uint64_t NonVirtualSize =
736 IsPODForThePurposeOfLayout ? DataSize : Builder.NonVirtualSize;
737
Ted Kremenekc3015a92010-03-08 20:56:29 +0000738 return new (Ctx) ASTRecordLayout(Ctx, Builder.Size, Builder.Alignment,
739 DataSize, Builder.FieldOffsets.data(),
740 Builder.FieldOffsets.size(),
741 NonVirtualSize,
742 Builder.NonVirtualAlignment,
743 Builder.PrimaryBase,
Anders Carlsson6a848892010-03-11 04:10:39 +0000744 Builder.Bases, Builder.VBases);
Anders Carlsson5ebf8b42009-12-07 04:35:11 +0000745}
746
747const ASTRecordLayout *
748ASTRecordLayoutBuilder::ComputeLayout(ASTContext &Ctx,
749 const ObjCInterfaceDecl *D,
750 const ObjCImplementationDecl *Impl) {
751 ASTRecordLayoutBuilder Builder(Ctx);
752
753 Builder.Layout(D, Impl);
754
Ted Kremenekc3015a92010-03-08 20:56:29 +0000755 return new (Ctx) ASTRecordLayout(Ctx, Builder.Size, Builder.Alignment,
756 Builder.DataSize,
757 Builder.FieldOffsets.data(),
758 Builder.FieldOffsets.size());
Anders Carlsson5ebf8b42009-12-07 04:35:11 +0000759}
760
761const CXXMethodDecl *
762ASTRecordLayoutBuilder::ComputeKeyFunction(const CXXRecordDecl *RD) {
763 assert(RD->isDynamicClass() && "Class does not have any virtual methods!");
764
765 // If a class isnt' polymorphic it doesn't have a key function.
766 if (!RD->isPolymorphic())
Anders Carlssonb1d3f7c2009-11-30 23:41:22 +0000767 return 0;
Eli Friedmanf2c79b62009-12-08 03:56:49 +0000768
769 // A class inside an anonymous namespace doesn't have a key function. (Or
770 // at least, there's no point to assigning a key function to such a class;
771 // this doesn't affect the ABI.)
772 if (RD->isInAnonymousNamespace())
773 return 0;
774
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000775 for (CXXRecordDecl::method_iterator I = RD->method_begin(),
776 E = RD->method_end(); I != E; ++I) {
Anders Carlssonb1d3f7c2009-11-30 23:41:22 +0000777 const CXXMethodDecl *MD = *I;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000778
Anders Carlssonb1d3f7c2009-11-30 23:41:22 +0000779 if (!MD->isVirtual())
780 continue;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000781
Anders Carlssonb1d3f7c2009-11-30 23:41:22 +0000782 if (MD->isPure())
783 continue;
Eli Friedmanf2c79b62009-12-08 03:56:49 +0000784
Anders Carlssonf98849e2009-12-02 17:15:43 +0000785 // Ignore implicit member functions, they are always marked as inline, but
786 // they don't have a body until they're defined.
787 if (MD->isImplicit())
788 continue;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000789
Douglas Gregora318efd2010-01-05 19:06:31 +0000790 if (MD->isInlineSpecified())
791 continue;
Eli Friedman71a26d82009-12-06 20:50:05 +0000792
793 if (MD->hasInlineBody())
Anders Carlssonb1d3f7c2009-11-30 23:41:22 +0000794 continue;
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000795
Anders Carlssonb1d3f7c2009-11-30 23:41:22 +0000796 // We found it.
797 return MD;
798 }
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000799
Anders Carlssonb1d3f7c2009-11-30 23:41:22 +0000800 return 0;
801}
802
Daniel Dunbaraa423af2010-04-08 02:59:49 +0000803static void PrintOffset(llvm::raw_ostream &OS,
804 uint64_t Offset, unsigned IndentLevel) {
805 OS << llvm::format("%4d | ", Offset);
806 OS.indent(IndentLevel * 2);
807}
808
809static void DumpCXXRecordLayout(llvm::raw_ostream &OS,
810 const CXXRecordDecl *RD, ASTContext &C,
811 uint64_t Offset,
812 unsigned IndentLevel,
813 const char* Description,
814 bool IncludeVirtualBases) {
815 const ASTRecordLayout &Info = C.getASTRecordLayout(RD);
816
817 PrintOffset(OS, Offset, IndentLevel);
818 OS << C.getTypeDeclType((CXXRecordDecl *)RD).getAsString();
819 if (Description)
820 OS << ' ' << Description;
821 if (RD->isEmpty())
822 OS << " (empty)";
823 OS << '\n';
824
825 IndentLevel++;
826
827 const CXXRecordDecl *PrimaryBase = Info.getPrimaryBase();
828
829 // Vtable pointer.
830 if (RD->isDynamicClass() && !PrimaryBase) {
831 PrintOffset(OS, Offset, IndentLevel);
832 OS << '(' << RD->getNameAsString() << " vtable pointer)\n";
833 }
834 // Dump (non-virtual) bases
835 for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
836 E = RD->bases_end(); I != E; ++I) {
837 assert(!I->getType()->isDependentType() &&
838 "Cannot layout class with dependent bases.");
839 if (I->isVirtual())
840 continue;
841
842 const CXXRecordDecl *Base =
843 cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
844
845 uint64_t BaseOffset = Offset + Info.getBaseClassOffset(Base) / 8;
846
847 DumpCXXRecordLayout(OS, Base, C, BaseOffset, IndentLevel,
848 Base == PrimaryBase ? "(primary base)" : "(base)",
849 /*IncludeVirtualBases=*/false);
850 }
851
852 // Dump fields.
853 uint64_t FieldNo = 0;
854 for (CXXRecordDecl::field_iterator I = RD->field_begin(),
855 E = RD->field_end(); I != E; ++I, ++FieldNo) {
856 const FieldDecl *Field = *I;
857 uint64_t FieldOffset = Offset + Info.getFieldOffset(FieldNo) / 8;
858
859 if (const RecordType *RT = Field->getType()->getAs<RecordType>()) {
860 if (const CXXRecordDecl *D = dyn_cast<CXXRecordDecl>(RT->getDecl())) {
861 DumpCXXRecordLayout(OS, D, C, FieldOffset, IndentLevel,
862 Field->getNameAsCString(),
863 /*IncludeVirtualBases=*/true);
864 continue;
865 }
866 }
867
868 PrintOffset(OS, FieldOffset, IndentLevel);
869 OS << Field->getType().getAsString() << ' ';
870 OS << Field->getNameAsString() << '\n';
871 }
872
873 if (!IncludeVirtualBases)
874 return;
875
876 // Dump virtual bases.
877 for (CXXRecordDecl::base_class_const_iterator I = RD->vbases_begin(),
878 E = RD->vbases_end(); I != E; ++I) {
879 assert(I->isVirtual() && "Found non-virtual class!");
880 const CXXRecordDecl *VBase =
881 cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
882
883 uint64_t VBaseOffset = Offset + Info.getVBaseClassOffset(VBase) / 8;
884 DumpCXXRecordLayout(OS, VBase, C, VBaseOffset, IndentLevel,
885 VBase == PrimaryBase ?
886 "(primary virtual base)" : "(virtual base)",
887 /*IncludeVirtualBases=*/false);
888 }
889}
890
891void ASTContext::DumpRecordLayout(const RecordDecl *RD,
892 llvm::raw_ostream &OS) {
893 const ASTRecordLayout &Info = getASTRecordLayout(RD);
894
895 if (const CXXRecordDecl *CXXRD = dyn_cast<CXXRecordDecl>(RD))
896 DumpCXXRecordLayout(OS, CXXRD, *this, 0, 0, 0,
897 /*IncludeVirtualBases=*/true);
898 else
899 OS << getTypeDeclType((RecordDecl *)RD).getAsString();
900
901 OS << " sizeof=" << Info.getSize() / 8;
902 OS << ", dsize=" << Info.getDataSize() / 8;
903 OS << ", align=" << Info.getAlignment() / 8 << '\n';
904 OS << " nvsize=" << Info.getNonVirtualSize() / 8;
905 OS << ", nvalign=" << Info.getNonVirtualAlign() / 8 << '\n';
906 OS << '\n';
907}