blob: a4ac390dd98c20f26ad694aabd75892d41023069 [file] [log] [blame]
Daniel Dunbar270e2032010-03-31 00:11:27 +00001//===--- CGRecordLayoutBuilder.cpp - CGRecordLayout builder ----*- C++ -*-===//
Anders Carlsson45372a62009-07-23 03:17:50 +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//
Daniel Dunbar270e2032010-03-31 00:11:27 +000010// Builder implementation for CGRecordLayout objects.
Anders Carlsson45372a62009-07-23 03:17:50 +000011//
12//===----------------------------------------------------------------------===//
13
Daniel Dunbar2924ade2010-03-30 22:26:10 +000014#include "CGRecordLayout.h"
Anders Carlsson45372a62009-07-23 03:17:50 +000015#include "clang/AST/ASTContext.h"
16#include "clang/AST/Attr.h"
Anders Carlsson46170f92010-11-24 22:50:27 +000017#include "clang/AST/CXXInheritance.h"
Anders Carlsson45372a62009-07-23 03:17:50 +000018#include "clang/AST/DeclCXX.h"
19#include "clang/AST/Expr.h"
20#include "clang/AST/RecordLayout.h"
21#include "CodeGenTypes.h"
John McCallf16aa102010-08-22 21:01:12 +000022#include "CGCXXABI.h"
Anders Carlsson45372a62009-07-23 03:17:50 +000023#include "llvm/DerivedTypes.h"
Daniel Dunbar93c62962010-04-12 18:14:18 +000024#include "llvm/Type.h"
Daniel Dunbar3b2ae7a2010-04-21 19:10:49 +000025#include "llvm/Support/Debug.h"
Daniel Dunbar93c62962010-04-12 18:14:18 +000026#include "llvm/Support/raw_ostream.h"
Anders Carlsson45372a62009-07-23 03:17:50 +000027#include "llvm/Target/TargetData.h"
Anders Carlsson45372a62009-07-23 03:17:50 +000028using namespace clang;
29using namespace CodeGen;
30
John McCalld0de0ce2010-11-30 23:17:27 +000031namespace {
Daniel Dunbar270e2032010-03-31 00:11:27 +000032
33class CGRecordLayoutBuilder {
34public:
35 /// FieldTypes - Holds the LLVM types that the struct is created from.
John McCall9b7da1c2011-02-15 06:40:56 +000036 ///
Anders Carlsson2786a812011-04-17 21:32:41 +000037 llvm::SmallVector<const llvm::Type *, 16> FieldTypes;
Daniel Dunbar270e2032010-03-31 00:11:27 +000038
John McCall9b7da1c2011-02-15 06:40:56 +000039 /// BaseSubobjectType - Holds the LLVM type for the non-virtual part
Anders Carlsson3d155e62010-11-09 05:25:47 +000040 /// of the struct. For example, consider:
41 ///
42 /// struct A { int i; };
43 /// struct B { void *v; };
44 /// struct C : virtual A, B { };
45 ///
46 /// The LLVM type of C will be
47 /// %struct.C = type { i32 (...)**, %struct.A, i32, %struct.B }
48 ///
49 /// And the LLVM type of the non-virtual base struct will be
50 /// %struct.C.base = type { i32 (...)**, %struct.A, i32 }
John McCall9b7da1c2011-02-15 06:40:56 +000051 ///
52 /// This only gets initialized if the base subobject type is
53 /// different from the complete-object type.
54 const llvm::StructType *BaseSubobjectType;
Anders Carlsson3d155e62010-11-09 05:25:47 +000055
John McCall9b7da1c2011-02-15 06:40:56 +000056 /// FieldInfo - Holds a field and its corresponding LLVM field number.
57 llvm::DenseMap<const FieldDecl *, unsigned> Fields;
Daniel Dunbar270e2032010-03-31 00:11:27 +000058
John McCall9b7da1c2011-02-15 06:40:56 +000059 /// BitFieldInfo - Holds location and size information about a bit field.
60 llvm::DenseMap<const FieldDecl *, CGBitFieldInfo> BitFields;
Daniel Dunbar270e2032010-03-31 00:11:27 +000061
John McCall9b7da1c2011-02-15 06:40:56 +000062 llvm::DenseMap<const CXXRecordDecl *, unsigned> NonVirtualBases;
63 llvm::DenseMap<const CXXRecordDecl *, unsigned> VirtualBases;
Anders Carlsson46170f92010-11-24 22:50:27 +000064
65 /// IndirectPrimaryBases - Virtual base classes, direct or indirect, that are
66 /// primary base classes for some other direct or indirect base class.
67 CXXIndirectPrimaryBaseSet IndirectPrimaryBases;
68
Anders Carlsson1d7dc222010-11-28 19:18:44 +000069 /// LaidOutVirtualBases - A set of all laid out virtual bases, used to avoid
70 /// avoid laying out virtual bases more than once.
71 llvm::SmallPtrSet<const CXXRecordDecl *, 4> LaidOutVirtualBases;
72
John McCallf16aa102010-08-22 21:01:12 +000073 /// IsZeroInitializable - Whether this struct can be C++
74 /// zero-initialized with an LLVM zeroinitializer.
75 bool IsZeroInitializable;
John McCall9b7da1c2011-02-15 06:40:56 +000076 bool IsZeroInitializableAsBase;
Daniel Dunbar270e2032010-03-31 00:11:27 +000077
78 /// Packed - Whether the resulting LLVM struct will be packed or not.
79 bool Packed;
Fariborz Jahanian62055b02011-04-26 23:52:16 +000080
81 /// IsMsStruct - Whether ms_struct is in effect or not
82 bool IsMsStruct;
Daniel Dunbar270e2032010-03-31 00:11:27 +000083
84private:
85 CodeGenTypes &Types;
86
Anders Carlssoneb9d81d2011-04-17 21:56:13 +000087 /// LastLaidOutBaseInfo - Contains the offset and non-virtual size of the
88 /// last base laid out. Used so that we can replace the last laid out base
89 /// type with an i8 array if needed.
90 struct LastLaidOutBaseInfo {
91 CharUnits Offset;
92 CharUnits NonVirtualSize;
93
94 bool isValid() const { return !NonVirtualSize.isZero(); }
95 void invalidate() { NonVirtualSize = CharUnits::Zero(); }
96
97 } LastLaidOutBase;
98
Daniel Dunbar270e2032010-03-31 00:11:27 +000099 /// Alignment - Contains the alignment of the RecordDecl.
John McCallfd577d62011-02-15 22:21:29 +0000100 CharUnits Alignment;
Daniel Dunbar270e2032010-03-31 00:11:27 +0000101
Daniel Dunbar270e2032010-03-31 00:11:27 +0000102 /// BitsAvailableInLastField - If a bit field spans only part of a LLVM field,
103 /// this will have the number of bits still available in the field.
104 char BitsAvailableInLastField;
105
John McCallfd577d62011-02-15 22:21:29 +0000106 /// NextFieldOffset - Holds the next field offset.
107 CharUnits NextFieldOffset;
Daniel Dunbar270e2032010-03-31 00:11:27 +0000108
Anders Carlsson86664462010-04-17 20:49:27 +0000109 /// LayoutUnionField - Will layout a field in an union and return the type
110 /// that the field will have.
111 const llvm::Type *LayoutUnionField(const FieldDecl *Field,
112 const ASTRecordLayout &Layout);
113
Daniel Dunbar270e2032010-03-31 00:11:27 +0000114 /// LayoutUnion - Will layout a union RecordDecl.
115 void LayoutUnion(const RecordDecl *D);
116
117 /// LayoutField - try to layout all fields in the record decl.
118 /// Returns false if the operation failed because the struct is not packed.
119 bool LayoutFields(const RecordDecl *D);
120
Anders Carlsson860453c2010-12-04 23:59:48 +0000121 /// Layout a single base, virtual or non-virtual
John McCallfd577d62011-02-15 22:21:29 +0000122 void LayoutBase(const CXXRecordDecl *base,
123 const CGRecordLayout &baseLayout,
124 CharUnits baseOffset);
Anders Carlsson860453c2010-12-04 23:59:48 +0000125
Anders Carlsson8f2c6892010-11-25 01:59:35 +0000126 /// LayoutVirtualBase - layout a single virtual base.
John McCallfd577d62011-02-15 22:21:29 +0000127 void LayoutVirtualBase(const CXXRecordDecl *base,
128 CharUnits baseOffset);
Anders Carlsson8f2c6892010-11-25 01:59:35 +0000129
Anders Carlsson1d7dc222010-11-28 19:18:44 +0000130 /// LayoutVirtualBases - layout the virtual bases of a record decl.
131 void LayoutVirtualBases(const CXXRecordDecl *RD,
132 const ASTRecordLayout &Layout);
133
Anders Carlsson15ddfdc2010-05-18 05:12:20 +0000134 /// LayoutNonVirtualBase - layout a single non-virtual base.
John McCallfd577d62011-02-15 22:21:29 +0000135 void LayoutNonVirtualBase(const CXXRecordDecl *base,
136 CharUnits baseOffset);
Anders Carlsson15ddfdc2010-05-18 05:12:20 +0000137
Anders Carlsson1d7dc222010-11-28 19:18:44 +0000138 /// LayoutNonVirtualBases - layout the virtual bases of a record decl.
Anders Carlsson15ddfdc2010-05-18 05:12:20 +0000139 void LayoutNonVirtualBases(const CXXRecordDecl *RD,
140 const ASTRecordLayout &Layout);
Daniel Dunbar270e2032010-03-31 00:11:27 +0000141
Anders Carlsson3d155e62010-11-09 05:25:47 +0000142 /// ComputeNonVirtualBaseType - Compute the non-virtual base field types.
Argyrios Kyrtzidisdb2b42f2010-12-10 00:11:00 +0000143 bool ComputeNonVirtualBaseType(const CXXRecordDecl *RD);
Anders Carlsson3d155e62010-11-09 05:25:47 +0000144
Daniel Dunbar270e2032010-03-31 00:11:27 +0000145 /// LayoutField - layout a single field. Returns false if the operation failed
146 /// because the current struct is not packed.
147 bool LayoutField(const FieldDecl *D, uint64_t FieldOffset);
148
149 /// LayoutBitField - layout a single bit field.
150 void LayoutBitField(const FieldDecl *D, uint64_t FieldOffset);
151
152 /// AppendField - Appends a field with the given offset and type.
John McCallfd577d62011-02-15 22:21:29 +0000153 void AppendField(CharUnits fieldOffset, const llvm::Type *FieldTy);
Daniel Dunbar270e2032010-03-31 00:11:27 +0000154
Daniel Dunbar270e2032010-03-31 00:11:27 +0000155 /// AppendPadding - Appends enough padding bytes so that the total
156 /// struct size is a multiple of the field alignment.
John McCallfd577d62011-02-15 22:21:29 +0000157 void AppendPadding(CharUnits fieldOffset, CharUnits fieldAlignment);
Daniel Dunbar270e2032010-03-31 00:11:27 +0000158
Anders Carlssoneb9d81d2011-04-17 21:56:13 +0000159 /// ResizeLastBaseFieldIfNecessary - Fields and bases can be laid out in the
160 /// tail padding of a previous base. If this happens, the type of the previous
161 /// base needs to be changed to an array of i8. Returns true if the last
162 /// laid out base was resized.
163 bool ResizeLastBaseFieldIfNecessary(CharUnits offset);
164
Anders Carlsson3d155e62010-11-09 05:25:47 +0000165 /// getByteArrayType - Returns a byte array type with the given number of
166 /// elements.
John McCallfd577d62011-02-15 22:21:29 +0000167 const llvm::Type *getByteArrayType(CharUnits NumBytes);
Anders Carlsson3d155e62010-11-09 05:25:47 +0000168
Daniel Dunbar270e2032010-03-31 00:11:27 +0000169 /// AppendBytes - Append a given number of bytes to the record.
John McCallfd577d62011-02-15 22:21:29 +0000170 void AppendBytes(CharUnits numBytes);
Daniel Dunbar270e2032010-03-31 00:11:27 +0000171
172 /// AppendTailPadding - Append enough tail padding so that the type will have
173 /// the passed size.
Ken Dyck3256de72011-04-24 16:53:44 +0000174 void AppendTailPadding(CharUnits RecordSize);
Daniel Dunbar270e2032010-03-31 00:11:27 +0000175
John McCallfd577d62011-02-15 22:21:29 +0000176 CharUnits getTypeAlignment(const llvm::Type *Ty) const;
Daniel Dunbar270e2032010-03-31 00:11:27 +0000177
Anders Carlssonfc86d552010-11-28 23:06:23 +0000178 /// getAlignmentAsLLVMStruct - Returns the maximum alignment of all the
179 /// LLVM element types.
John McCallfd577d62011-02-15 22:21:29 +0000180 CharUnits getAlignmentAsLLVMStruct() const;
Anders Carlssonfc86d552010-11-28 23:06:23 +0000181
John McCallf16aa102010-08-22 21:01:12 +0000182 /// CheckZeroInitializable - Check if the given type contains a pointer
Daniel Dunbar270e2032010-03-31 00:11:27 +0000183 /// to data member.
John McCallf16aa102010-08-22 21:01:12 +0000184 void CheckZeroInitializable(QualType T);
Daniel Dunbar270e2032010-03-31 00:11:27 +0000185
186public:
187 CGRecordLayoutBuilder(CodeGenTypes &Types)
John McCall9b7da1c2011-02-15 06:40:56 +0000188 : BaseSubobjectType(0),
189 IsZeroInitializable(true), IsZeroInitializableAsBase(true),
Fariborz Jahanian62055b02011-04-26 23:52:16 +0000190 Packed(false), IsMsStruct(false),
191 Types(Types), BitsAvailableInLastField(0) { }
Daniel Dunbar270e2032010-03-31 00:11:27 +0000192
193 /// Layout - Will layout a RecordDecl.
194 void Layout(const RecordDecl *D);
195};
196
197}
Daniel Dunbar270e2032010-03-31 00:11:27 +0000198
Anders Carlsson45372a62009-07-23 03:17:50 +0000199void CGRecordLayoutBuilder::Layout(const RecordDecl *D) {
John McCallfd577d62011-02-15 22:21:29 +0000200 Alignment = Types.getContext().getASTRecordLayout(D).getAlignment();
Anders Carlssond0eb3b92009-09-02 17:51:33 +0000201 Packed = D->hasAttr<PackedAttr>();
Fariborz Jahanian62055b02011-04-26 23:52:16 +0000202
203 IsMsStruct = D->hasAttr<MsStructAttr>();
Anders Carlssona5dd7222009-08-08 19:38:24 +0000204
Anders Carlsson5a6e3982009-07-23 03:43:54 +0000205 if (D->isUnion()) {
206 LayoutUnion(D);
207 return;
208 }
Anders Carlssona860e752009-08-08 18:23:56 +0000209
Anders Carlsson45372a62009-07-23 03:17:50 +0000210 if (LayoutFields(D))
211 return;
Mike Stump1eb44332009-09-09 15:08:12 +0000212
Anders Carlsson45372a62009-07-23 03:17:50 +0000213 // We weren't able to layout the struct. Try again with a packed struct
Anders Carlsson4b5584b2009-07-23 17:24:40 +0000214 Packed = true;
Anders Carlssoneb9d81d2011-04-17 21:56:13 +0000215 LastLaidOutBase.invalidate();
John McCallfd577d62011-02-15 22:21:29 +0000216 NextFieldOffset = CharUnits::Zero();
Anders Carlsson45372a62009-07-23 03:17:50 +0000217 FieldTypes.clear();
John McCall9b7da1c2011-02-15 06:40:56 +0000218 Fields.clear();
219 BitFields.clear();
220 NonVirtualBases.clear();
221 VirtualBases.clear();
Mike Stump1eb44332009-09-09 15:08:12 +0000222
Anders Carlsson45372a62009-07-23 03:17:50 +0000223 LayoutFields(D);
224}
225
Daniel Dunbare7a80bd2010-09-02 23:53:28 +0000226CGBitFieldInfo CGBitFieldInfo::MakeInfo(CodeGenTypes &Types,
227 const FieldDecl *FD,
228 uint64_t FieldOffset,
229 uint64_t FieldSize,
230 uint64_t ContainingTypeSizeInBits,
231 unsigned ContainingTypeAlign) {
Daniel Dunbar9b28daf2010-04-12 21:01:28 +0000232 const llvm::Type *Ty = Types.ConvertTypeForMemRecursive(FD->getType());
John McCall92ee7ca2011-02-26 08:41:59 +0000233 CharUnits TypeSizeInBytes =
234 CharUnits::fromQuantity(Types.getTargetData().getTypeAllocSize(Ty));
235 uint64_t TypeSizeInBits = Types.getContext().toBits(TypeSizeInBytes);
Daniel Dunbar9b28daf2010-04-12 21:01:28 +0000236
237 bool IsSigned = FD->getType()->isSignedIntegerType();
Daniel Dunbar9b28daf2010-04-12 21:01:28 +0000238
Anders Carlsson1c7658f2010-04-16 16:23:02 +0000239 if (FieldSize > TypeSizeInBits) {
Anders Carlsson6ba38152010-04-17 22:54:57 +0000240 // We have a wide bit-field. The extra bits are only used for padding, so
241 // if we have a bitfield of type T, with size N:
242 //
243 // T t : N;
244 //
245 // We can just assume that it's:
246 //
247 // T t : sizeof(T);
248 //
249 FieldSize = TypeSizeInBits;
Anders Carlsson1c7658f2010-04-16 16:23:02 +0000250 }
251
Chris Lattnerd8df5b62011-02-17 22:09:58 +0000252 // in big-endian machines the first fields are in higher bit positions,
253 // so revert the offset. The byte offsets are reversed(back) later.
254 if (Types.getTargetData().isBigEndian()) {
255 FieldOffset = ((ContainingTypeSizeInBits)-FieldOffset-FieldSize);
256 }
257
Daniel Dunbare1467a42010-04-22 02:35:46 +0000258 // Compute the access components. The policy we use is to start by attempting
259 // to access using the width of the bit-field type itself and to always access
260 // at aligned indices of that type. If such an access would fail because it
261 // extends past the bound of the type, then we reduce size to the next smaller
262 // power of two and retry. The current algorithm assumes pow2 sized types,
263 // although this is easy to fix.
264 //
Daniel Dunbare1467a42010-04-22 02:35:46 +0000265 assert(llvm::isPowerOf2_32(TypeSizeInBits) && "Unexpected type size!");
266 CGBitFieldInfo::AccessInfo Components[3];
267 unsigned NumComponents = 0;
Nick Lewyckyc3e49402011-03-22 17:35:47 +0000268 unsigned AccessedTargetBits = 0; // The number of target bits accessed.
Daniel Dunbare1467a42010-04-22 02:35:46 +0000269 unsigned AccessWidth = TypeSizeInBits; // The current access width to attempt.
Anders Carlsson1c7658f2010-04-16 16:23:02 +0000270
Daniel Dunbare1467a42010-04-22 02:35:46 +0000271 // Round down from the field offset to find the first access position that is
272 // at an aligned offset of the initial access type.
Daniel Dunbar52968a12010-04-22 15:22:33 +0000273 uint64_t AccessStart = FieldOffset - (FieldOffset % AccessWidth);
274
275 // Adjust initial access size to fit within record.
John McCall92ee7ca2011-02-26 08:41:59 +0000276 while (AccessWidth > Types.getTarget().getCharWidth() &&
Daniel Dunbar52968a12010-04-22 15:22:33 +0000277 AccessStart + AccessWidth > ContainingTypeSizeInBits) {
278 AccessWidth >>= 1;
279 AccessStart = FieldOffset - (FieldOffset % AccessWidth);
280 }
Daniel Dunbar2df25692010-04-15 05:09:32 +0000281
Daniel Dunbare1467a42010-04-22 02:35:46 +0000282 while (AccessedTargetBits < FieldSize) {
283 // Check that we can access using a type of this size, without reading off
284 // the end of the structure. This can occur with packed structures and
285 // -fno-bitfield-type-align, for example.
286 if (AccessStart + AccessWidth > ContainingTypeSizeInBits) {
287 // If so, reduce access size to the next smaller power-of-two and retry.
288 AccessWidth >>= 1;
John McCall92ee7ca2011-02-26 08:41:59 +0000289 assert(AccessWidth >= Types.getTarget().getCharWidth()
290 && "Cannot access under byte size!");
Daniel Dunbare1467a42010-04-22 02:35:46 +0000291 continue;
292 }
Daniel Dunbarab970f92010-04-13 20:58:55 +0000293
Daniel Dunbare1467a42010-04-22 02:35:46 +0000294 // Otherwise, add an access component.
Daniel Dunbarab970f92010-04-13 20:58:55 +0000295
Daniel Dunbare1467a42010-04-22 02:35:46 +0000296 // First, compute the bits inside this access which are part of the
297 // target. We are reading bits [AccessStart, AccessStart + AccessWidth); the
298 // intersection with [FieldOffset, FieldOffset + FieldSize) gives the bits
299 // in the target that we are reading.
Daniel Dunbar52968a12010-04-22 15:22:33 +0000300 assert(FieldOffset < AccessStart + AccessWidth && "Invalid access start!");
301 assert(AccessStart < FieldOffset + FieldSize && "Invalid access start!");
Daniel Dunbare1467a42010-04-22 02:35:46 +0000302 uint64_t AccessBitsInFieldStart = std::max(AccessStart, FieldOffset);
303 uint64_t AccessBitsInFieldSize =
Daniel Dunbar52968a12010-04-22 15:22:33 +0000304 std::min(AccessWidth + AccessStart,
305 FieldOffset + FieldSize) - AccessBitsInFieldStart;
Daniel Dunbar4651efb2010-04-22 14:56:10 +0000306
Daniel Dunbare1467a42010-04-22 02:35:46 +0000307 assert(NumComponents < 3 && "Unexpected number of components!");
308 CGBitFieldInfo::AccessInfo &AI = Components[NumComponents++];
309 AI.FieldIndex = 0;
310 // FIXME: We still follow the old access pattern of only using the field
311 // byte offset. We should switch this once we fix the struct layout to be
312 // pretty.
Chris Lattnerd8df5b62011-02-17 22:09:58 +0000313
314 // on big-endian machines we reverted the bit offset because first fields are
315 // in higher bits. But this also reverts the bytes, so fix this here by reverting
316 // the byte offset on big-endian machines.
317 if (Types.getTargetData().isBigEndian()) {
Ken Dyck28ebde52011-04-24 10:04:59 +0000318 AI.FieldByteOffset = Types.getContext().toCharUnitsFromBits(
319 ContainingTypeSizeInBits - AccessStart - AccessWidth);
Chris Lattnerd8df5b62011-02-17 22:09:58 +0000320 } else {
Ken Dyck28ebde52011-04-24 10:04:59 +0000321 AI.FieldByteOffset = Types.getContext().toCharUnitsFromBits(AccessStart);
Chris Lattnerd8df5b62011-02-17 22:09:58 +0000322 }
Daniel Dunbare1467a42010-04-22 02:35:46 +0000323 AI.FieldBitStart = AccessBitsInFieldStart - AccessStart;
324 AI.AccessWidth = AccessWidth;
Ken Dyckb9e6b2c2011-04-24 10:13:17 +0000325 AI.AccessAlignment = Types.getContext().toCharUnitsFromBits(
326 llvm::MinAlign(ContainingTypeAlign, AccessStart));
Daniel Dunbare1467a42010-04-22 02:35:46 +0000327 AI.TargetBitOffset = AccessedTargetBits;
328 AI.TargetBitWidth = AccessBitsInFieldSize;
329
330 AccessStart += AccessWidth;
331 AccessedTargetBits += AI.TargetBitWidth;
Daniel Dunbarab970f92010-04-13 20:58:55 +0000332 }
333
Daniel Dunbare1467a42010-04-22 02:35:46 +0000334 assert(AccessedTargetBits == FieldSize && "Invalid bit-field access!");
Daniel Dunbar2df25692010-04-15 05:09:32 +0000335 return CGBitFieldInfo(FieldSize, NumComponents, Components, IsSigned);
Daniel Dunbar9b28daf2010-04-12 21:01:28 +0000336}
337
Daniel Dunbare7a80bd2010-09-02 23:53:28 +0000338CGBitFieldInfo CGBitFieldInfo::MakeInfo(CodeGenTypes &Types,
339 const FieldDecl *FD,
340 uint64_t FieldOffset,
341 uint64_t FieldSize) {
342 const RecordDecl *RD = FD->getParent();
343 const ASTRecordLayout &RL = Types.getContext().getASTRecordLayout(RD);
Ken Dyckdd76a9a2011-02-11 01:54:29 +0000344 uint64_t ContainingTypeSizeInBits = Types.getContext().toBits(RL.getSize());
Ken Dyckdac54c12011-02-15 02:32:40 +0000345 unsigned ContainingTypeAlign = Types.getContext().toBits(RL.getAlignment());
Daniel Dunbare7a80bd2010-09-02 23:53:28 +0000346
347 return MakeInfo(Types, FD, FieldOffset, FieldSize, ContainingTypeSizeInBits,
348 ContainingTypeAlign);
349}
350
Anders Carlsson45372a62009-07-23 03:17:50 +0000351void CGRecordLayoutBuilder::LayoutBitField(const FieldDecl *D,
John McCallfd577d62011-02-15 22:21:29 +0000352 uint64_t fieldOffset) {
353 uint64_t fieldSize =
Anders Carlsson45372a62009-07-23 03:17:50 +0000354 D->getBitWidth()->EvaluateAsInt(Types.getContext()).getZExtValue();
Mike Stump1eb44332009-09-09 15:08:12 +0000355
John McCallfd577d62011-02-15 22:21:29 +0000356 if (fieldSize == 0)
Anders Carlsson45372a62009-07-23 03:17:50 +0000357 return;
358
John McCall92ee7ca2011-02-26 08:41:59 +0000359 uint64_t nextFieldOffsetInBits = Types.getContext().toBits(NextFieldOffset);
Ken Dyckedda6e42011-04-24 16:40:29 +0000360 CharUnits numBytesToAppend;
361 unsigned charAlign = Types.getContext().Target.getCharAlign();
Mike Stump1eb44332009-09-09 15:08:12 +0000362
Anders Carlssoneb9d81d2011-04-17 21:56:13 +0000363 if (fieldOffset < nextFieldOffsetInBits && !BitsAvailableInLastField) {
Ken Dyckedda6e42011-04-24 16:40:29 +0000364 assert(fieldOffset % charAlign == 0 &&
365 "Field offset not aligned correctly");
Anders Carlssoneb9d81d2011-04-17 21:56:13 +0000366
367 CharUnits fieldOffsetInCharUnits =
368 Types.getContext().toCharUnitsFromBits(fieldOffset);
369
370 // Try to resize the last base field.
371 if (ResizeLastBaseFieldIfNecessary(fieldOffsetInCharUnits))
372 nextFieldOffsetInBits = Types.getContext().toBits(NextFieldOffset);
373 }
374
John McCallfd577d62011-02-15 22:21:29 +0000375 if (fieldOffset < nextFieldOffsetInBits) {
Anders Carlsson45372a62009-07-23 03:17:50 +0000376 assert(BitsAvailableInLastField && "Bitfield size mismatch!");
John McCallfd577d62011-02-15 22:21:29 +0000377 assert(!NextFieldOffset.isZero() && "Must have laid out at least one byte");
Mike Stump1eb44332009-09-09 15:08:12 +0000378
Anders Carlsson45372a62009-07-23 03:17:50 +0000379 // The bitfield begins in the previous bit-field.
Ken Dyckedda6e42011-04-24 16:40:29 +0000380 numBytesToAppend = Types.getContext().toCharUnitsFromBits(
381 llvm::RoundUpToAlignment(fieldSize - BitsAvailableInLastField,
382 charAlign));
Anders Carlsson45372a62009-07-23 03:17:50 +0000383 } else {
Ken Dyckedda6e42011-04-24 16:40:29 +0000384 assert(fieldOffset % charAlign == 0 &&
385 "Field offset not aligned correctly");
Anders Carlsson45372a62009-07-23 03:17:50 +0000386
387 // Append padding if necessary.
Ken Dyckedda6e42011-04-24 16:40:29 +0000388 AppendPadding(Types.getContext().toCharUnitsFromBits(fieldOffset),
389 CharUnits::One());
Mike Stump1eb44332009-09-09 15:08:12 +0000390
Ken Dyckedda6e42011-04-24 16:40:29 +0000391 numBytesToAppend = Types.getContext().toCharUnitsFromBits(
392 llvm::RoundUpToAlignment(fieldSize, charAlign));
Mike Stump1eb44332009-09-09 15:08:12 +0000393
Ken Dyckedda6e42011-04-24 16:40:29 +0000394 assert(!numBytesToAppend.isZero() && "No bytes to append!");
Anders Carlsson45372a62009-07-23 03:17:50 +0000395 }
396
Daniel Dunbar9b28daf2010-04-12 21:01:28 +0000397 // Add the bit field info.
John McCall9b7da1c2011-02-15 06:40:56 +0000398 BitFields.insert(std::make_pair(D,
John McCallfd577d62011-02-15 22:21:29 +0000399 CGBitFieldInfo::MakeInfo(Types, D, fieldOffset, fieldSize)));
Mike Stump1eb44332009-09-09 15:08:12 +0000400
Ken Dyckedda6e42011-04-24 16:40:29 +0000401 AppendBytes(numBytesToAppend);
Mike Stump1eb44332009-09-09 15:08:12 +0000402
Mike Stump1eb44332009-09-09 15:08:12 +0000403 BitsAvailableInLastField =
Ken Dyckedda6e42011-04-24 16:40:29 +0000404 Types.getContext().toBits(NextFieldOffset) - (fieldOffset + fieldSize);
Anders Carlsson45372a62009-07-23 03:17:50 +0000405}
406
407bool CGRecordLayoutBuilder::LayoutField(const FieldDecl *D,
John McCallfd577d62011-02-15 22:21:29 +0000408 uint64_t fieldOffset) {
Anders Carlsson45372a62009-07-23 03:17:50 +0000409 // If the field is packed, then we need a packed struct.
Anders Carlssona860e752009-08-08 18:23:56 +0000410 if (!Packed && D->hasAttr<PackedAttr>())
Anders Carlsson45372a62009-07-23 03:17:50 +0000411 return false;
412
413 if (D->isBitField()) {
414 // We must use packed structs for unnamed bit fields since they
415 // don't affect the struct alignment.
Anders Carlsson4b5584b2009-07-23 17:24:40 +0000416 if (!Packed && !D->getDeclName())
Anders Carlsson45372a62009-07-23 03:17:50 +0000417 return false;
Mike Stump1eb44332009-09-09 15:08:12 +0000418
John McCallfd577d62011-02-15 22:21:29 +0000419 LayoutBitField(D, fieldOffset);
Anders Carlsson45372a62009-07-23 03:17:50 +0000420 return true;
421 }
Mike Stump1eb44332009-09-09 15:08:12 +0000422
John McCallf16aa102010-08-22 21:01:12 +0000423 CheckZeroInitializable(D->getType());
Daniel Dunbar270e2032010-03-31 00:11:27 +0000424
John McCall92ee7ca2011-02-26 08:41:59 +0000425 assert(fieldOffset % Types.getTarget().getCharWidth() == 0
426 && "field offset is not on a byte boundary!");
427 CharUnits fieldOffsetInBytes
428 = Types.getContext().toCharUnitsFromBits(fieldOffset);
Mike Stump1eb44332009-09-09 15:08:12 +0000429
Anders Carlssonde9f2c92009-08-04 16:29:15 +0000430 const llvm::Type *Ty = Types.ConvertTypeForMemRecursive(D->getType());
John McCallfd577d62011-02-15 22:21:29 +0000431 CharUnits typeAlignment = getTypeAlignment(Ty);
Anders Carlssonde9f2c92009-08-04 16:29:15 +0000432
Anders Carlssona5dd7222009-08-08 19:38:24 +0000433 // If the type alignment is larger then the struct alignment, we must use
434 // a packed struct.
John McCallfd577d62011-02-15 22:21:29 +0000435 if (typeAlignment > Alignment) {
Anders Carlssona5dd7222009-08-08 19:38:24 +0000436 assert(!Packed && "Alignment is wrong even with packed struct!");
437 return false;
438 }
Mike Stump1eb44332009-09-09 15:08:12 +0000439
John McCallfd577d62011-02-15 22:21:29 +0000440 if (!Packed) {
441 if (const RecordType *RT = D->getType()->getAs<RecordType>()) {
442 const RecordDecl *RD = cast<RecordDecl>(RT->getDecl());
443 if (const MaxFieldAlignmentAttr *MFAA =
444 RD->getAttr<MaxFieldAlignmentAttr>()) {
John McCall92ee7ca2011-02-26 08:41:59 +0000445 if (MFAA->getAlignment() != Types.getContext().toBits(typeAlignment))
John McCallfd577d62011-02-15 22:21:29 +0000446 return false;
447 }
Anders Carlssona5dd7222009-08-08 19:38:24 +0000448 }
449 }
450
Anders Carlssonde9f2c92009-08-04 16:29:15 +0000451 // Round up the field offset to the alignment of the field type.
John McCallfd577d62011-02-15 22:21:29 +0000452 CharUnits alignedNextFieldOffsetInBytes =
453 NextFieldOffset.RoundUpToAlignment(typeAlignment);
Anders Carlssonde9f2c92009-08-04 16:29:15 +0000454
John McCallfd577d62011-02-15 22:21:29 +0000455 if (fieldOffsetInBytes < alignedNextFieldOffsetInBytes) {
Anders Carlssoneb9d81d2011-04-17 21:56:13 +0000456 // Try to resize the last base field.
457 if (ResizeLastBaseFieldIfNecessary(fieldOffsetInBytes)) {
458 alignedNextFieldOffsetInBytes =
459 NextFieldOffset.RoundUpToAlignment(typeAlignment);
460 }
461 }
462
463 if (fieldOffsetInBytes < alignedNextFieldOffsetInBytes) {
Anders Carlssonde9f2c92009-08-04 16:29:15 +0000464 assert(!Packed && "Could not place field even with packed struct!");
465 return false;
466 }
Mike Stump1eb44332009-09-09 15:08:12 +0000467
John McCallfd577d62011-02-15 22:21:29 +0000468 AppendPadding(fieldOffsetInBytes, typeAlignment);
Mike Stump1eb44332009-09-09 15:08:12 +0000469
Anders Carlsson45372a62009-07-23 03:17:50 +0000470 // Now append the field.
John McCall9b7da1c2011-02-15 06:40:56 +0000471 Fields[D] = FieldTypes.size();
John McCallfd577d62011-02-15 22:21:29 +0000472 AppendField(fieldOffsetInBytes, Ty);
Mike Stump1eb44332009-09-09 15:08:12 +0000473
Anders Carlssoneb9d81d2011-04-17 21:56:13 +0000474 LastLaidOutBase.invalidate();
Anders Carlsson45372a62009-07-23 03:17:50 +0000475 return true;
476}
477
Anders Carlsson86664462010-04-17 20:49:27 +0000478const llvm::Type *
479CGRecordLayoutBuilder::LayoutUnionField(const FieldDecl *Field,
480 const ASTRecordLayout &Layout) {
481 if (Field->isBitField()) {
482 uint64_t FieldSize =
483 Field->getBitWidth()->EvaluateAsInt(Types.getContext()).getZExtValue();
484
485 // Ignore zero sized bit fields.
486 if (FieldSize == 0)
487 return 0;
488
Daniel Dunbar8ab78a72010-04-20 17:52:30 +0000489 const llvm::Type *FieldTy = llvm::Type::getInt8Ty(Types.getLLVMContext());
Ken Dyck737978d2011-04-24 16:47:33 +0000490 CharUnits NumBytesToAppend = Types.getContext().toCharUnitsFromBits(
491 llvm::RoundUpToAlignment(FieldSize,
492 Types.getContext().Target.getCharAlign()));
Anders Carlssond62328e2010-04-17 21:04:52 +0000493
Ken Dyck737978d2011-04-24 16:47:33 +0000494 if (NumBytesToAppend > CharUnits::One())
495 FieldTy = llvm::ArrayType::get(FieldTy, NumBytesToAppend.getQuantity());
Anders Carlssond62328e2010-04-17 21:04:52 +0000496
Anders Carlsson86664462010-04-17 20:49:27 +0000497 // Add the bit field info.
John McCall9b7da1c2011-02-15 06:40:56 +0000498 BitFields.insert(std::make_pair(Field,
499 CGBitFieldInfo::MakeInfo(Types, Field, 0, FieldSize)));
Anders Carlssond62328e2010-04-17 21:04:52 +0000500 return FieldTy;
Anders Carlsson86664462010-04-17 20:49:27 +0000501 }
Daniel Dunbar8ab78a72010-04-20 17:52:30 +0000502
Anders Carlsson86664462010-04-17 20:49:27 +0000503 // This is a regular union field.
John McCall9b7da1c2011-02-15 06:40:56 +0000504 Fields[Field] = 0;
Anders Carlsson86664462010-04-17 20:49:27 +0000505 return Types.ConvertTypeForMemRecursive(Field->getType());
506}
507
Anders Carlsson5a6e3982009-07-23 03:43:54 +0000508void CGRecordLayoutBuilder::LayoutUnion(const RecordDecl *D) {
509 assert(D->isUnion() && "Can't call LayoutUnion on a non-union record!");
Mike Stump1eb44332009-09-09 15:08:12 +0000510
John McCallfd577d62011-02-15 22:21:29 +0000511 const ASTRecordLayout &layout = Types.getContext().getASTRecordLayout(D);
Mike Stump1eb44332009-09-09 15:08:12 +0000512
John McCallfd577d62011-02-15 22:21:29 +0000513 const llvm::Type *unionType = 0;
514 CharUnits unionSize = CharUnits::Zero();
515 CharUnits unionAlign = CharUnits::Zero();
Mike Stump1eb44332009-09-09 15:08:12 +0000516
John McCallfd577d62011-02-15 22:21:29 +0000517 bool hasOnlyZeroSizedBitFields = true;
Daniel Dunbar270e2032010-03-31 00:11:27 +0000518
John McCallfd577d62011-02-15 22:21:29 +0000519 unsigned fieldNo = 0;
520 for (RecordDecl::field_iterator field = D->field_begin(),
521 fieldEnd = D->field_end(); field != fieldEnd; ++field, ++fieldNo) {
522 assert(layout.getFieldOffset(fieldNo) == 0 &&
Anders Carlsson5a6e3982009-07-23 03:43:54 +0000523 "Union field offset did not start at the beginning of record!");
John McCallfd577d62011-02-15 22:21:29 +0000524 const llvm::Type *fieldType = LayoutUnionField(*field, layout);
Anders Carlsson2cc8f172009-07-23 04:00:39 +0000525
John McCallfd577d62011-02-15 22:21:29 +0000526 if (!fieldType)
Anders Carlsson86664462010-04-17 20:49:27 +0000527 continue;
Mike Stump1eb44332009-09-09 15:08:12 +0000528
John McCallfd577d62011-02-15 22:21:29 +0000529 hasOnlyZeroSizedBitFields = false;
Daniel Dunbar270e2032010-03-31 00:11:27 +0000530
John McCallfd577d62011-02-15 22:21:29 +0000531 CharUnits fieldAlign = CharUnits::fromQuantity(
532 Types.getTargetData().getABITypeAlignment(fieldType));
533 CharUnits fieldSize = CharUnits::fromQuantity(
534 Types.getTargetData().getTypeAllocSize(fieldType));
Mike Stump1eb44332009-09-09 15:08:12 +0000535
John McCallfd577d62011-02-15 22:21:29 +0000536 if (fieldAlign < unionAlign)
Anders Carlsson5a6e3982009-07-23 03:43:54 +0000537 continue;
Mike Stump1eb44332009-09-09 15:08:12 +0000538
John McCallfd577d62011-02-15 22:21:29 +0000539 if (fieldAlign > unionAlign || fieldSize > unionSize) {
540 unionType = fieldType;
541 unionAlign = fieldAlign;
542 unionSize = fieldSize;
Anders Carlsson5a6e3982009-07-23 03:43:54 +0000543 }
544 }
Mike Stump1eb44332009-09-09 15:08:12 +0000545
Anders Carlsson5a6e3982009-07-23 03:43:54 +0000546 // Now add our field.
John McCallfd577d62011-02-15 22:21:29 +0000547 if (unionType) {
548 AppendField(CharUnits::Zero(), unionType);
Anders Carlsson36620002009-09-03 22:56:02 +0000549
John McCallfd577d62011-02-15 22:21:29 +0000550 if (getTypeAlignment(unionType) > layout.getAlignment()) {
Anders Carlsson36620002009-09-03 22:56:02 +0000551 // We need a packed struct.
552 Packed = true;
John McCallfd577d62011-02-15 22:21:29 +0000553 unionAlign = CharUnits::One();
Anders Carlsson36620002009-09-03 22:56:02 +0000554 }
555 }
John McCallfd577d62011-02-15 22:21:29 +0000556 if (unionAlign.isZero()) {
557 assert(hasOnlyZeroSizedBitFields &&
Anders Carlsson21fd7d72010-01-28 18:22:03 +0000558 "0-align record did not have all zero-sized bit-fields!");
John McCallfd577d62011-02-15 22:21:29 +0000559 unionAlign = CharUnits::One();
Fariborz Jahaniane5041702009-11-06 20:47:40 +0000560 }
Daniel Dunbar270e2032010-03-31 00:11:27 +0000561
Anders Carlsson5a6e3982009-07-23 03:43:54 +0000562 // Append tail padding.
John McCallfd577d62011-02-15 22:21:29 +0000563 CharUnits recordSize = layout.getSize();
564 if (recordSize > unionSize)
565 AppendPadding(recordSize, unionAlign);
Anders Carlsson5a6e3982009-07-23 03:43:54 +0000566}
567
John McCall9b7da1c2011-02-15 06:40:56 +0000568void CGRecordLayoutBuilder::LayoutBase(const CXXRecordDecl *base,
John McCallfd577d62011-02-15 22:21:29 +0000569 const CGRecordLayout &baseLayout,
570 CharUnits baseOffset) {
Anders Carlssoneb9d81d2011-04-17 21:56:13 +0000571 ResizeLastBaseFieldIfNecessary(baseOffset);
572
John McCallfd577d62011-02-15 22:21:29 +0000573 AppendPadding(baseOffset, CharUnits::One());
Anders Carlsson860453c2010-12-04 23:59:48 +0000574
John McCall9b7da1c2011-02-15 06:40:56 +0000575 const ASTRecordLayout &baseASTLayout
576 = Types.getContext().getASTRecordLayout(base);
577
Anders Carlssoneb9d81d2011-04-17 21:56:13 +0000578 LastLaidOutBase.Offset = NextFieldOffset;
579 LastLaidOutBase.NonVirtualSize = baseASTLayout.getNonVirtualSize();
580
John McCallfd577d62011-02-15 22:21:29 +0000581 // Fields and bases can be laid out in the tail padding of previous
582 // bases. If this happens, we need to allocate the base as an i8
583 // array; otherwise, we can use the subobject type. However,
584 // actually doing that would require knowledge of what immediately
585 // follows this base in the layout, so instead we do a conservative
586 // approximation, which is to use the base subobject type if it
587 // has the same LLVM storage size as the nvsize.
588
John McCallfd577d62011-02-15 22:21:29 +0000589 const llvm::StructType *subobjectType = baseLayout.getBaseSubobjectLLVMType();
Anders Carlssoneb9d81d2011-04-17 21:56:13 +0000590 AppendField(baseOffset, subobjectType);
John McCallfd577d62011-02-15 22:21:29 +0000591
Anders Carlssoneb9d81d2011-04-17 21:56:13 +0000592 Types.addBaseSubobjectTypeName(base, baseLayout);
John McCall9b7da1c2011-02-15 06:40:56 +0000593}
594
595void CGRecordLayoutBuilder::LayoutNonVirtualBase(const CXXRecordDecl *base,
John McCallfd577d62011-02-15 22:21:29 +0000596 CharUnits baseOffset) {
John McCall9b7da1c2011-02-15 06:40:56 +0000597 // Ignore empty bases.
598 if (base->isEmpty()) return;
599
600 const CGRecordLayout &baseLayout = Types.getCGRecordLayout(base);
601 if (IsZeroInitializableAsBase) {
602 assert(IsZeroInitializable &&
603 "class zero-initializable as base but not as complete object");
604
605 IsZeroInitializable = IsZeroInitializableAsBase =
606 baseLayout.isZeroInitializableAsBase();
607 }
608
John McCallfd577d62011-02-15 22:21:29 +0000609 LayoutBase(base, baseLayout, baseOffset);
John McCall9b7da1c2011-02-15 06:40:56 +0000610 NonVirtualBases[base] = (FieldTypes.size() - 1);
Anders Carlsson860453c2010-12-04 23:59:48 +0000611}
612
Anders Carlsson8f2c6892010-11-25 01:59:35 +0000613void
John McCall9b7da1c2011-02-15 06:40:56 +0000614CGRecordLayoutBuilder::LayoutVirtualBase(const CXXRecordDecl *base,
John McCallfd577d62011-02-15 22:21:29 +0000615 CharUnits baseOffset) {
Anders Carlsson8f2c6892010-11-25 01:59:35 +0000616 // Ignore empty bases.
John McCall9b7da1c2011-02-15 06:40:56 +0000617 if (base->isEmpty()) return;
Anders Carlsson8f2c6892010-11-25 01:59:35 +0000618
John McCall9b7da1c2011-02-15 06:40:56 +0000619 const CGRecordLayout &baseLayout = Types.getCGRecordLayout(base);
620 if (IsZeroInitializable)
621 IsZeroInitializable = baseLayout.isZeroInitializableAsBase();
Anders Carlsson8f2c6892010-11-25 01:59:35 +0000622
John McCallfd577d62011-02-15 22:21:29 +0000623 LayoutBase(base, baseLayout, baseOffset);
John McCall9b7da1c2011-02-15 06:40:56 +0000624 VirtualBases[base] = (FieldTypes.size() - 1);
Anders Carlsson8f2c6892010-11-25 01:59:35 +0000625}
626
Anders Carlsson1d7dc222010-11-28 19:18:44 +0000627/// LayoutVirtualBases - layout the non-virtual bases of a record decl.
628void
629CGRecordLayoutBuilder::LayoutVirtualBases(const CXXRecordDecl *RD,
630 const ASTRecordLayout &Layout) {
631 for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
632 E = RD->bases_end(); I != E; ++I) {
633 const CXXRecordDecl *BaseDecl =
634 cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
635
636 // We only want to lay out virtual bases that aren't indirect primary bases
637 // of some other base.
638 if (I->isVirtual() && !IndirectPrimaryBases.count(BaseDecl)) {
639 // Only lay out the base once.
640 if (!LaidOutVirtualBases.insert(BaseDecl))
641 continue;
642
John McCallfd577d62011-02-15 22:21:29 +0000643 CharUnits vbaseOffset = Layout.getVBaseClassOffset(BaseDecl);
644 LayoutVirtualBase(BaseDecl, vbaseOffset);
Anders Carlsson1d7dc222010-11-28 19:18:44 +0000645 }
646
647 if (!BaseDecl->getNumVBases()) {
648 // This base isn't interesting since it doesn't have any virtual bases.
649 continue;
650 }
651
652 LayoutVirtualBases(BaseDecl, Layout);
653 }
654}
655
Anders Carlsson15ddfdc2010-05-18 05:12:20 +0000656void
657CGRecordLayoutBuilder::LayoutNonVirtualBases(const CXXRecordDecl *RD,
658 const ASTRecordLayout &Layout) {
659 const CXXRecordDecl *PrimaryBase = Layout.getPrimaryBase();
660
661 // Check if we need to add a vtable pointer.
662 if (RD->isDynamicClass()) {
663 if (!PrimaryBase) {
664 const llvm::Type *FunctionType =
665 llvm::FunctionType::get(llvm::Type::getInt32Ty(Types.getLLVMContext()),
666 /*isVarArg=*/true);
667 const llvm::Type *VTableTy = FunctionType->getPointerTo();
668
John McCallfd577d62011-02-15 22:21:29 +0000669 assert(NextFieldOffset.isZero() &&
Anders Carlsson15ddfdc2010-05-18 05:12:20 +0000670 "VTable pointer must come first!");
John McCallfd577d62011-02-15 22:21:29 +0000671 AppendField(CharUnits::Zero(), VTableTy->getPointerTo());
Anders Carlsson15ddfdc2010-05-18 05:12:20 +0000672 } else {
Anders Carlssonc9e814b2010-11-24 23:12:57 +0000673 if (!Layout.isPrimaryBaseVirtual())
John McCallfd577d62011-02-15 22:21:29 +0000674 LayoutNonVirtualBase(PrimaryBase, CharUnits::Zero());
Anders Carlsson8f2c6892010-11-25 01:59:35 +0000675 else
John McCallfd577d62011-02-15 22:21:29 +0000676 LayoutVirtualBase(PrimaryBase, CharUnits::Zero());
Anders Carlsson15ddfdc2010-05-18 05:12:20 +0000677 }
678 }
679
680 // Layout the non-virtual bases.
681 for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
682 E = RD->bases_end(); I != E; ++I) {
683 if (I->isVirtual())
684 continue;
685
686 const CXXRecordDecl *BaseDecl =
687 cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
688
689 // We've already laid out the primary base.
Anders Carlssonc9e814b2010-11-24 23:12:57 +0000690 if (BaseDecl == PrimaryBase && !Layout.isPrimaryBaseVirtual())
Anders Carlsson15ddfdc2010-05-18 05:12:20 +0000691 continue;
692
John McCallfd577d62011-02-15 22:21:29 +0000693 LayoutNonVirtualBase(BaseDecl, Layout.getBaseClassOffset(BaseDecl));
Anders Carlsson4b3e5be2009-12-16 17:27:20 +0000694 }
695}
696
Argyrios Kyrtzidisdb2b42f2010-12-10 00:11:00 +0000697bool
Anders Carlsson3d155e62010-11-09 05:25:47 +0000698CGRecordLayoutBuilder::ComputeNonVirtualBaseType(const CXXRecordDecl *RD) {
699 const ASTRecordLayout &Layout = Types.getContext().getASTRecordLayout(RD);
700
Ken Dyck68cf1a52011-02-08 02:02:47 +0000701 CharUnits NonVirtualSize = Layout.getNonVirtualSize();
702 CharUnits NonVirtualAlign = Layout.getNonVirtualAlign();
John McCallfd577d62011-02-15 22:21:29 +0000703 CharUnits AlignedNonVirtualTypeSize =
704 NonVirtualSize.RoundUpToAlignment(NonVirtualAlign);
Anders Carlsson3d155e62010-11-09 05:25:47 +0000705
Anders Carlsson3d155e62010-11-09 05:25:47 +0000706 // First check if we can use the same fields as for the complete class.
John McCallfd577d62011-02-15 22:21:29 +0000707 CharUnits RecordSize = Layout.getSize();
John McCall9b7da1c2011-02-15 06:40:56 +0000708 if (AlignedNonVirtualTypeSize == RecordSize)
Argyrios Kyrtzidisdb2b42f2010-12-10 00:11:00 +0000709 return true;
Anders Carlsson3d155e62010-11-09 05:25:47 +0000710
Anders Carlsson3d155e62010-11-09 05:25:47 +0000711 // Check if we need padding.
John McCallfd577d62011-02-15 22:21:29 +0000712 CharUnits AlignedNextFieldOffset =
713 NextFieldOffset.RoundUpToAlignment(getAlignmentAsLLVMStruct());
Anders Carlsson3d155e62010-11-09 05:25:47 +0000714
John McCall9b7da1c2011-02-15 06:40:56 +0000715 if (AlignedNextFieldOffset > AlignedNonVirtualTypeSize) {
716 assert(!Packed && "cannot layout even as packed struct");
Argyrios Kyrtzidisdb2b42f2010-12-10 00:11:00 +0000717 return false; // Needs packing.
Anders Carlsson3d155e62010-11-09 05:25:47 +0000718 }
719
John McCall9b7da1c2011-02-15 06:40:56 +0000720 bool needsPadding = (AlignedNonVirtualTypeSize != AlignedNextFieldOffset);
721 if (needsPadding) {
John McCallfd577d62011-02-15 22:21:29 +0000722 CharUnits NumBytes = AlignedNonVirtualTypeSize - AlignedNextFieldOffset;
John McCall9b7da1c2011-02-15 06:40:56 +0000723 FieldTypes.push_back(getByteArrayType(NumBytes));
724 }
725
726 BaseSubobjectType = llvm::StructType::get(Types.getLLVMContext(),
727 FieldTypes, Packed);
728
729 if (needsPadding) {
730 // Pull the padding back off.
731 FieldTypes.pop_back();
732 }
733
Argyrios Kyrtzidisdb2b42f2010-12-10 00:11:00 +0000734 return true;
Anders Carlsson3d155e62010-11-09 05:25:47 +0000735}
736
Anders Carlsson45372a62009-07-23 03:17:50 +0000737bool CGRecordLayoutBuilder::LayoutFields(const RecordDecl *D) {
738 assert(!D->isUnion() && "Can't call LayoutFields on a union!");
John McCallfd577d62011-02-15 22:21:29 +0000739 assert(!Alignment.isZero() && "Did not set alignment!");
Mike Stump1eb44332009-09-09 15:08:12 +0000740
Anders Carlsson5a6e3982009-07-23 03:43:54 +0000741 const ASTRecordLayout &Layout = Types.getContext().getASTRecordLayout(D);
Mike Stump1eb44332009-09-09 15:08:12 +0000742
Anders Carlsson3d155e62010-11-09 05:25:47 +0000743 const CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(D);
744 if (RD)
Anders Carlsson15ddfdc2010-05-18 05:12:20 +0000745 LayoutNonVirtualBases(RD, Layout);
Daniel Dunbar270e2032010-03-31 00:11:27 +0000746
Anders Carlsson45372a62009-07-23 03:17:50 +0000747 unsigned FieldNo = 0;
Fariborz Jahanian62055b02011-04-26 23:52:16 +0000748 const FieldDecl *LastFD = 0;
749
Mike Stump1eb44332009-09-09 15:08:12 +0000750 for (RecordDecl::field_iterator Field = D->field_begin(),
Anders Carlsson45372a62009-07-23 03:17:50 +0000751 FieldEnd = D->field_end(); Field != FieldEnd; ++Field, ++FieldNo) {
Fariborz Jahanian62055b02011-04-26 23:52:16 +0000752 if (IsMsStruct) {
753 // Zero-length bitfields following non-bitfield members are
754 // ignored:
755 const FieldDecl *FD = (*Field);
Fariborz Jahanian340fa242011-05-02 17:20:56 +0000756 if (Types.getContext().ZeroBitfieldFollowsNonBitfield(FD, LastFD) ||
757 Types.getContext().ZeroBitfieldFollowsBitfield(FD, LastFD)) {
Fariborz Jahanian62055b02011-04-26 23:52:16 +0000758 --FieldNo;
759 continue;
760 }
761 LastFD = FD;
762 }
763
Anders Carlsson45372a62009-07-23 03:17:50 +0000764 if (!LayoutField(*Field, Layout.getFieldOffset(FieldNo))) {
Mike Stump1eb44332009-09-09 15:08:12 +0000765 assert(!Packed &&
Anders Carlsson45372a62009-07-23 03:17:50 +0000766 "Could not layout fields even with a packed LLVM struct!");
767 return false;
768 }
769 }
770
Anders Carlsson8f2c6892010-11-25 01:59:35 +0000771 if (RD) {
Anders Carlsson1d7dc222010-11-28 19:18:44 +0000772 // We've laid out the non-virtual bases and the fields, now compute the
773 // non-virtual base field types.
Argyrios Kyrtzidisdb2b42f2010-12-10 00:11:00 +0000774 if (!ComputeNonVirtualBaseType(RD)) {
775 assert(!Packed && "Could not layout even with a packed LLVM struct!");
776 return false;
777 }
Anders Carlsson8f2c6892010-11-25 01:59:35 +0000778
Anders Carlsson1d7dc222010-11-28 19:18:44 +0000779 // And lay out the virtual bases.
780 RD->getIndirectPrimaryBases(IndirectPrimaryBases);
781 if (Layout.isPrimaryBaseVirtual())
782 IndirectPrimaryBases.insert(Layout.getPrimaryBase());
783 LayoutVirtualBases(RD, Layout);
784 }
Anders Carlsson3d155e62010-11-09 05:25:47 +0000785
Anders Carlsson45372a62009-07-23 03:17:50 +0000786 // Append tail padding if necessary.
Ken Dyck3256de72011-04-24 16:53:44 +0000787 AppendTailPadding(Layout.getSize());
Mike Stump1eb44332009-09-09 15:08:12 +0000788
Anders Carlsson45372a62009-07-23 03:17:50 +0000789 return true;
790}
791
Ken Dyck3256de72011-04-24 16:53:44 +0000792void CGRecordLayoutBuilder::AppendTailPadding(CharUnits RecordSize) {
793 ResizeLastBaseFieldIfNecessary(RecordSize);
Mike Stump1eb44332009-09-09 15:08:12 +0000794
Ken Dyck3256de72011-04-24 16:53:44 +0000795 assert(NextFieldOffset <= RecordSize && "Size mismatch!");
Mike Stump1eb44332009-09-09 15:08:12 +0000796
John McCallfd577d62011-02-15 22:21:29 +0000797 CharUnits AlignedNextFieldOffset =
798 NextFieldOffset.RoundUpToAlignment(getAlignmentAsLLVMStruct());
Anders Carlssonc2456822009-12-08 01:24:23 +0000799
Ken Dyck3256de72011-04-24 16:53:44 +0000800 if (AlignedNextFieldOffset == RecordSize) {
Anders Carlssonc2456822009-12-08 01:24:23 +0000801 // We don't need any padding.
802 return;
803 }
Daniel Dunbar270e2032010-03-31 00:11:27 +0000804
Ken Dyck3256de72011-04-24 16:53:44 +0000805 CharUnits NumPadBytes = RecordSize - NextFieldOffset;
Anders Carlssonc1efe362009-07-27 14:55:54 +0000806 AppendBytes(NumPadBytes);
807}
808
John McCallfd577d62011-02-15 22:21:29 +0000809void CGRecordLayoutBuilder::AppendField(CharUnits fieldOffset,
810 const llvm::Type *fieldType) {
811 CharUnits fieldSize =
812 CharUnits::fromQuantity(Types.getTargetData().getTypeAllocSize(fieldType));
Anders Carlsson728d7cd2009-07-24 02:45:50 +0000813
John McCallfd577d62011-02-15 22:21:29 +0000814 FieldTypes.push_back(fieldType);
Anders Carlsson45372a62009-07-23 03:17:50 +0000815
John McCallfd577d62011-02-15 22:21:29 +0000816 NextFieldOffset = fieldOffset + fieldSize;
Anders Carlsson45372a62009-07-23 03:17:50 +0000817 BitsAvailableInLastField = 0;
818}
819
John McCallfd577d62011-02-15 22:21:29 +0000820void CGRecordLayoutBuilder::AppendPadding(CharUnits fieldOffset,
821 CharUnits fieldAlignment) {
822 assert(NextFieldOffset <= fieldOffset &&
Anders Carlsson45372a62009-07-23 03:17:50 +0000823 "Incorrect field layout!");
Mike Stump1eb44332009-09-09 15:08:12 +0000824
Anders Carlsson45372a62009-07-23 03:17:50 +0000825 // Round up the field offset to the alignment of the field type.
John McCallfd577d62011-02-15 22:21:29 +0000826 CharUnits alignedNextFieldOffset =
827 NextFieldOffset.RoundUpToAlignment(fieldAlignment);
Anders Carlsson45372a62009-07-23 03:17:50 +0000828
John McCallfd577d62011-02-15 22:21:29 +0000829 if (alignedNextFieldOffset < fieldOffset) {
Anders Carlsson45372a62009-07-23 03:17:50 +0000830 // Even with alignment, the field offset is not at the right place,
831 // insert padding.
John McCallfd577d62011-02-15 22:21:29 +0000832 CharUnits padding = fieldOffset - NextFieldOffset;
Anders Carlsson45372a62009-07-23 03:17:50 +0000833
John McCallfd577d62011-02-15 22:21:29 +0000834 AppendBytes(padding);
Anders Carlsson45372a62009-07-23 03:17:50 +0000835 }
836}
837
Anders Carlssoneb9d81d2011-04-17 21:56:13 +0000838bool CGRecordLayoutBuilder::ResizeLastBaseFieldIfNecessary(CharUnits offset) {
839 // Check if we have a base to resize.
840 if (!LastLaidOutBase.isValid())
841 return false;
842
843 // This offset does not overlap with the tail padding.
844 if (offset >= NextFieldOffset)
845 return false;
846
847 // Restore the field offset and append an i8 array instead.
848 FieldTypes.pop_back();
849 NextFieldOffset = LastLaidOutBase.Offset;
850 AppendBytes(LastLaidOutBase.NonVirtualSize);
851 LastLaidOutBase.invalidate();
852
853 return true;
854}
855
John McCallfd577d62011-02-15 22:21:29 +0000856const llvm::Type *CGRecordLayoutBuilder::getByteArrayType(CharUnits numBytes) {
857 assert(!numBytes.isZero() && "Empty byte arrays aren't allowed.");
Mike Stump1eb44332009-09-09 15:08:12 +0000858
Owen Anderson0032b272009-08-13 21:57:51 +0000859 const llvm::Type *Ty = llvm::Type::getInt8Ty(Types.getLLVMContext());
John McCallfd577d62011-02-15 22:21:29 +0000860 if (numBytes > CharUnits::One())
861 Ty = llvm::ArrayType::get(Ty, numBytes.getQuantity());
Mike Stump1eb44332009-09-09 15:08:12 +0000862
Anders Carlsson3d155e62010-11-09 05:25:47 +0000863 return Ty;
864}
865
John McCallfd577d62011-02-15 22:21:29 +0000866void CGRecordLayoutBuilder::AppendBytes(CharUnits numBytes) {
867 if (numBytes.isZero())
Anders Carlsson3d155e62010-11-09 05:25:47 +0000868 return;
869
Anders Carlsson45372a62009-07-23 03:17:50 +0000870 // Append the padding field
John McCallfd577d62011-02-15 22:21:29 +0000871 AppendField(NextFieldOffset, getByteArrayType(numBytes));
Anders Carlsson45372a62009-07-23 03:17:50 +0000872}
873
John McCallfd577d62011-02-15 22:21:29 +0000874CharUnits CGRecordLayoutBuilder::getTypeAlignment(const llvm::Type *Ty) const {
Anders Carlsson4b5584b2009-07-23 17:24:40 +0000875 if (Packed)
John McCallfd577d62011-02-15 22:21:29 +0000876 return CharUnits::One();
Mike Stump1eb44332009-09-09 15:08:12 +0000877
John McCallfd577d62011-02-15 22:21:29 +0000878 return CharUnits::fromQuantity(Types.getTargetData().getABITypeAlignment(Ty));
Anders Carlsson45372a62009-07-23 03:17:50 +0000879}
880
John McCallfd577d62011-02-15 22:21:29 +0000881CharUnits CGRecordLayoutBuilder::getAlignmentAsLLVMStruct() const {
Anders Carlssonfc86d552010-11-28 23:06:23 +0000882 if (Packed)
John McCallfd577d62011-02-15 22:21:29 +0000883 return CharUnits::One();
Anders Carlssonfc86d552010-11-28 23:06:23 +0000884
John McCallfd577d62011-02-15 22:21:29 +0000885 CharUnits maxAlignment = CharUnits::One();
Anders Carlssonfc86d552010-11-28 23:06:23 +0000886 for (size_t i = 0; i != FieldTypes.size(); ++i)
John McCallfd577d62011-02-15 22:21:29 +0000887 maxAlignment = std::max(maxAlignment, getTypeAlignment(FieldTypes[i]));
Anders Carlssonfc86d552010-11-28 23:06:23 +0000888
John McCallfd577d62011-02-15 22:21:29 +0000889 return maxAlignment;
Anders Carlssonfc86d552010-11-28 23:06:23 +0000890}
891
John McCall9b7da1c2011-02-15 06:40:56 +0000892/// Merge in whether a field of the given type is zero-initializable.
John McCallf16aa102010-08-22 21:01:12 +0000893void CGRecordLayoutBuilder::CheckZeroInitializable(QualType T) {
Anders Carlssonfc3eaa42009-08-23 01:25:01 +0000894 // This record already contains a member pointer.
John McCall9b7da1c2011-02-15 06:40:56 +0000895 if (!IsZeroInitializableAsBase)
Anders Carlssonfc3eaa42009-08-23 01:25:01 +0000896 return;
Mike Stump1eb44332009-09-09 15:08:12 +0000897
Anders Carlssonfc3eaa42009-08-23 01:25:01 +0000898 // Can only have member pointers if we're compiling C++.
899 if (!Types.getContext().getLangOptions().CPlusPlus)
900 return;
Mike Stump1eb44332009-09-09 15:08:12 +0000901
John McCall9b7da1c2011-02-15 06:40:56 +0000902 const Type *elementType = T->getBaseElementTypeUnsafe();
Mike Stump1eb44332009-09-09 15:08:12 +0000903
John McCall9b7da1c2011-02-15 06:40:56 +0000904 if (const MemberPointerType *MPT = elementType->getAs<MemberPointerType>()) {
John McCallf16aa102010-08-22 21:01:12 +0000905 if (!Types.getCXXABI().isZeroInitializable(MPT))
John McCall9b7da1c2011-02-15 06:40:56 +0000906 IsZeroInitializable = IsZeroInitializableAsBase = false;
907 } else if (const RecordType *RT = elementType->getAs<RecordType>()) {
Anders Carlsson2c12d032010-02-02 05:17:25 +0000908 const CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
John McCall9b7da1c2011-02-15 06:40:56 +0000909 const CGRecordLayout &Layout = Types.getCGRecordLayout(RD);
910 if (!Layout.isZeroInitializable())
911 IsZeroInitializable = IsZeroInitializableAsBase = false;
Daniel Dunbar270e2032010-03-31 00:11:27 +0000912 }
Anders Carlssonfc3eaa42009-08-23 01:25:01 +0000913}
914
Daniel Dunbar270e2032010-03-31 00:11:27 +0000915CGRecordLayout *CodeGenTypes::ComputeRecordLayout(const RecordDecl *D) {
916 CGRecordLayoutBuilder Builder(*this);
Mike Stump1eb44332009-09-09 15:08:12 +0000917
Anders Carlsson45372a62009-07-23 03:17:50 +0000918 Builder.Layout(D);
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000919
Anders Carlssonba2c2ee2010-11-24 19:37:16 +0000920 const llvm::StructType *Ty = llvm::StructType::get(getLLVMContext(),
921 Builder.FieldTypes,
922 Builder.Packed);
Mike Stump1eb44332009-09-09 15:08:12 +0000923
John McCall9b7da1c2011-02-15 06:40:56 +0000924 // If we're in C++, compute the base subobject type.
Anders Carlssonba2c2ee2010-11-24 19:37:16 +0000925 const llvm::StructType *BaseTy = 0;
Anders Carlsson3d155e62010-11-09 05:25:47 +0000926 if (isa<CXXRecordDecl>(D)) {
John McCall9b7da1c2011-02-15 06:40:56 +0000927 BaseTy = Builder.BaseSubobjectType;
928 if (!BaseTy) BaseTy = Ty;
Anders Carlsson3d155e62010-11-09 05:25:47 +0000929 }
930
Daniel Dunbar198bcb42010-03-31 01:09:11 +0000931 CGRecordLayout *RL =
John McCall9b7da1c2011-02-15 06:40:56 +0000932 new CGRecordLayout(Ty, BaseTy, Builder.IsZeroInitializable,
933 Builder.IsZeroInitializableAsBase);
Daniel Dunbar198bcb42010-03-31 01:09:11 +0000934
John McCall9b7da1c2011-02-15 06:40:56 +0000935 RL->NonVirtualBases.swap(Builder.NonVirtualBases);
936 RL->CompleteObjectVirtualBases.swap(Builder.VirtualBases);
Anders Carlssonc6772ce2010-05-18 05:22:06 +0000937
Anders Carlsson45372a62009-07-23 03:17:50 +0000938 // Add all the field numbers.
John McCall9b7da1c2011-02-15 06:40:56 +0000939 RL->FieldInfo.swap(Builder.Fields);
Anders Carlsson45372a62009-07-23 03:17:50 +0000940
941 // Add bitfield info.
John McCall9b7da1c2011-02-15 06:40:56 +0000942 RL->BitFields.swap(Builder.BitFields);
Mike Stump1eb44332009-09-09 15:08:12 +0000943
Daniel Dunbar2e7b7c22010-04-19 20:44:47 +0000944 // Dump the layout, if requested.
Daniel Dunbarab970f92010-04-13 20:58:55 +0000945 if (getContext().getLangOptions().DumpRecordLayouts) {
Daniel Dunbar8d8ab742010-04-19 20:44:53 +0000946 llvm::errs() << "\n*** Dumping IRgen Record Layout\n";
Daniel Dunbarab970f92010-04-13 20:58:55 +0000947 llvm::errs() << "Record: ";
948 D->dump();
949 llvm::errs() << "\nLayout: ";
Daniel Dunbar93c62962010-04-12 18:14:18 +0000950 RL->dump();
Daniel Dunbarab970f92010-04-13 20:58:55 +0000951 }
Daniel Dunbar93c62962010-04-12 18:14:18 +0000952
Daniel Dunbare1467a42010-04-22 02:35:46 +0000953#ifndef NDEBUG
Daniel Dunbar2e7b7c22010-04-19 20:44:47 +0000954 // Verify that the computed LLVM struct size matches the AST layout size.
Anders Carlsson3d155e62010-11-09 05:25:47 +0000955 const ASTRecordLayout &Layout = getContext().getASTRecordLayout(D);
956
Ken Dyckdd76a9a2011-02-11 01:54:29 +0000957 uint64_t TypeSizeInBits = getContext().toBits(Layout.getSize());
Daniel Dunbare1467a42010-04-22 02:35:46 +0000958 assert(TypeSizeInBits == getTargetData().getTypeAllocSizeInBits(Ty) &&
Daniel Dunbar2e7b7c22010-04-19 20:44:47 +0000959 "Type size mismatch!");
960
Anders Carlsson3d155e62010-11-09 05:25:47 +0000961 if (BaseTy) {
Ken Dyck68cf1a52011-02-08 02:02:47 +0000962 CharUnits NonVirtualSize = Layout.getNonVirtualSize();
963 CharUnits NonVirtualAlign = Layout.getNonVirtualAlign();
964 CharUnits AlignedNonVirtualTypeSize =
965 NonVirtualSize.RoundUpToAlignment(NonVirtualAlign);
966
967 uint64_t AlignedNonVirtualTypeSizeInBits =
Ken Dyckdd76a9a2011-02-11 01:54:29 +0000968 getContext().toBits(AlignedNonVirtualTypeSize);
Anders Carlsson3d155e62010-11-09 05:25:47 +0000969
970 assert(AlignedNonVirtualTypeSizeInBits ==
971 getTargetData().getTypeAllocSizeInBits(BaseTy) &&
972 "Type size mismatch!");
973 }
974
Daniel Dunbar3b2ae7a2010-04-21 19:10:49 +0000975 // Verify that the LLVM and AST field offsets agree.
Daniel Dunbar3b2ae7a2010-04-21 19:10:49 +0000976 const llvm::StructType *ST =
977 dyn_cast<llvm::StructType>(RL->getLLVMType());
978 const llvm::StructLayout *SL = getTargetData().getStructLayout(ST);
979
980 const ASTRecordLayout &AST_RL = getContext().getASTRecordLayout(D);
981 RecordDecl::field_iterator it = D->field_begin();
Fariborz Jahanian62055b02011-04-26 23:52:16 +0000982 const FieldDecl *LastFD = 0;
983 bool IsMsStruct = D->hasAttr<MsStructAttr>();
Daniel Dunbar3b2ae7a2010-04-21 19:10:49 +0000984 for (unsigned i = 0, e = AST_RL.getFieldCount(); i != e; ++i, ++it) {
985 const FieldDecl *FD = *it;
Daniel Dunbare1467a42010-04-22 02:35:46 +0000986
987 // For non-bit-fields, just check that the LLVM struct offset matches the
988 // AST offset.
989 if (!FD->isBitField()) {
Daniel Dunbar3b2ae7a2010-04-21 19:10:49 +0000990 unsigned FieldNo = RL->getLLVMFieldNo(FD);
991 assert(AST_RL.getFieldOffset(i) == SL->getElementOffsetInBits(FieldNo) &&
992 "Invalid field offset!");
Fariborz Jahanian62055b02011-04-26 23:52:16 +0000993 LastFD = FD;
Daniel Dunbare1467a42010-04-22 02:35:46 +0000994 continue;
995 }
996
Fariborz Jahanian62055b02011-04-26 23:52:16 +0000997 if (IsMsStruct) {
998 // Zero-length bitfields following non-bitfield members are
999 // ignored:
Fariborz Jahanian340fa242011-05-02 17:20:56 +00001000 if (getContext().ZeroBitfieldFollowsNonBitfield(FD, LastFD) ||
1001 getContext().ZeroBitfieldFollowsBitfield(FD, LastFD)) {
Fariborz Jahanian62055b02011-04-26 23:52:16 +00001002 --i;
1003 continue;
1004 }
1005 LastFD = FD;
1006 }
1007
Daniel Dunbare1467a42010-04-22 02:35:46 +00001008 // Ignore unnamed bit-fields.
Fariborz Jahanian62055b02011-04-26 23:52:16 +00001009 if (!FD->getDeclName()) {
1010 LastFD = FD;
Daniel Dunbare1467a42010-04-22 02:35:46 +00001011 continue;
Fariborz Jahanian62055b02011-04-26 23:52:16 +00001012 }
1013
Daniel Dunbare1467a42010-04-22 02:35:46 +00001014 const CGBitFieldInfo &Info = RL->getBitFieldInfo(FD);
1015 for (unsigned i = 0, e = Info.getNumComponents(); i != e; ++i) {
1016 const CGBitFieldInfo::AccessInfo &AI = Info.getComponent(i);
1017
1018 // Verify that every component access is within the structure.
1019 uint64_t FieldOffset = SL->getElementOffsetInBits(AI.FieldIndex);
John McCall92ee7ca2011-02-26 08:41:59 +00001020 uint64_t AccessBitOffset = FieldOffset +
Ken Dyck28ebde52011-04-24 10:04:59 +00001021 getContext().toBits(AI.FieldByteOffset);
Daniel Dunbare1467a42010-04-22 02:35:46 +00001022 assert(AccessBitOffset + AI.AccessWidth <= TypeSizeInBits &&
1023 "Invalid bit-field access (out of range)!");
Daniel Dunbar3b2ae7a2010-04-21 19:10:49 +00001024 }
1025 }
1026#endif
Daniel Dunbar2e7b7c22010-04-19 20:44:47 +00001027
Daniel Dunbar198bcb42010-03-31 01:09:11 +00001028 return RL;
Anders Carlsson45372a62009-07-23 03:17:50 +00001029}
Daniel Dunbar93c62962010-04-12 18:14:18 +00001030
1031void CGRecordLayout::print(llvm::raw_ostream &OS) const {
1032 OS << "<CGRecordLayout\n";
John McCall9b7da1c2011-02-15 06:40:56 +00001033 OS << " LLVMType:" << *CompleteObjectType << "\n";
1034 if (BaseSubobjectType)
1035 OS << " NonVirtualBaseLLVMType:" << *BaseSubobjectType << "\n";
John McCallf16aa102010-08-22 21:01:12 +00001036 OS << " IsZeroInitializable:" << IsZeroInitializable << "\n";
Daniel Dunbar93c62962010-04-12 18:14:18 +00001037 OS << " BitFields:[\n";
Daniel Dunbarad759532010-04-22 02:35:36 +00001038
1039 // Print bit-field infos in declaration order.
1040 std::vector<std::pair<unsigned, const CGBitFieldInfo*> > BFIs;
Daniel Dunbar93c62962010-04-12 18:14:18 +00001041 for (llvm::DenseMap<const FieldDecl*, CGBitFieldInfo>::const_iterator
1042 it = BitFields.begin(), ie = BitFields.end();
1043 it != ie; ++it) {
Daniel Dunbarad759532010-04-22 02:35:36 +00001044 const RecordDecl *RD = it->first->getParent();
1045 unsigned Index = 0;
1046 for (RecordDecl::field_iterator
1047 it2 = RD->field_begin(); *it2 != it->first; ++it2)
1048 ++Index;
1049 BFIs.push_back(std::make_pair(Index, &it->second));
1050 }
1051 llvm::array_pod_sort(BFIs.begin(), BFIs.end());
1052 for (unsigned i = 0, e = BFIs.size(); i != e; ++i) {
Daniel Dunbarab970f92010-04-13 20:58:55 +00001053 OS.indent(4);
Daniel Dunbarad759532010-04-22 02:35:36 +00001054 BFIs[i].second->print(OS);
Daniel Dunbar93c62962010-04-12 18:14:18 +00001055 OS << "\n";
1056 }
Daniel Dunbarad759532010-04-22 02:35:36 +00001057
Daniel Dunbar93c62962010-04-12 18:14:18 +00001058 OS << "]>\n";
1059}
1060
1061void CGRecordLayout::dump() const {
1062 print(llvm::errs());
1063}
1064
1065void CGBitFieldInfo::print(llvm::raw_ostream &OS) const {
1066 OS << "<CGBitFieldInfo";
Daniel Dunbar93c62962010-04-12 18:14:18 +00001067 OS << " Size:" << Size;
Daniel Dunbarab970f92010-04-13 20:58:55 +00001068 OS << " IsSigned:" << IsSigned << "\n";
1069
1070 OS.indent(4 + strlen("<CGBitFieldInfo"));
1071 OS << " NumComponents:" << getNumComponents();
1072 OS << " Components: [";
1073 if (getNumComponents()) {
1074 OS << "\n";
1075 for (unsigned i = 0, e = getNumComponents(); i != e; ++i) {
1076 const AccessInfo &AI = getComponent(i);
1077 OS.indent(8);
1078 OS << "<AccessInfo"
1079 << " FieldIndex:" << AI.FieldIndex
Ken Dyck28ebde52011-04-24 10:04:59 +00001080 << " FieldByteOffset:" << AI.FieldByteOffset.getQuantity()
Daniel Dunbarab970f92010-04-13 20:58:55 +00001081 << " FieldBitStart:" << AI.FieldBitStart
1082 << " AccessWidth:" << AI.AccessWidth << "\n";
1083 OS.indent(8 + strlen("<AccessInfo"));
Ken Dyckb9e6b2c2011-04-24 10:13:17 +00001084 OS << " AccessAlignment:" << AI.AccessAlignment.getQuantity()
Daniel Dunbarab970f92010-04-13 20:58:55 +00001085 << " TargetBitOffset:" << AI.TargetBitOffset
1086 << " TargetBitWidth:" << AI.TargetBitWidth
1087 << ">\n";
1088 }
1089 OS.indent(4);
1090 }
1091 OS << "]>";
Daniel Dunbar93c62962010-04-12 18:14:18 +00001092}
1093
1094void CGBitFieldInfo::dump() const {
1095 print(llvm::errs());
1096}