blob: 5a8115639d3f7e4e6cbbdcf5ce7c37778186e2c1 [file] [log] [blame]
Daniel Dunbar23ee4b72010-03-31 00:11:27 +00001//===--- CGRecordLayoutBuilder.cpp - CGRecordLayout builder ----*- C++ -*-===//
Anders Carlsson307846f2009-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 Dunbar23ee4b72010-03-31 00:11:27 +000010// Builder implementation for CGRecordLayout objects.
Anders Carlsson307846f2009-07-23 03:17:50 +000011//
12//===----------------------------------------------------------------------===//
13
Daniel Dunbar072d0bb2010-03-30 22:26:10 +000014#include "CGRecordLayout.h"
Anders Carlsson307846f2009-07-23 03:17:50 +000015#include "clang/AST/ASTContext.h"
16#include "clang/AST/Attr.h"
Anders Carlsson4131f002010-11-24 22:50:27 +000017#include "clang/AST/CXXInheritance.h"
Anders Carlsson307846f2009-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 McCall614dbdc2010-08-22 21:01:12 +000022#include "CGCXXABI.h"
Anders Carlsson307846f2009-07-23 03:17:50 +000023#include "llvm/DerivedTypes.h"
Daniel Dunbarb97bff92010-04-12 18:14:18 +000024#include "llvm/Type.h"
Daniel Dunbar2ba67442010-04-21 19:10:49 +000025#include "llvm/Support/Debug.h"
Daniel Dunbarb97bff92010-04-12 18:14:18 +000026#include "llvm/Support/raw_ostream.h"
Anders Carlsson307846f2009-07-23 03:17:50 +000027#include "llvm/Target/TargetData.h"
Anders Carlsson307846f2009-07-23 03:17:50 +000028using namespace clang;
29using namespace CodeGen;
30
John McCallbcd38212010-11-30 23:17:27 +000031namespace {
Daniel Dunbar23ee4b72010-03-31 00:11:27 +000032
33class CGRecordLayoutBuilder {
34public:
35 /// FieldTypes - Holds the LLVM types that the struct is created from.
John McCall0217dfc22011-02-15 06:40:56 +000036 ///
Anders Carlssonb6d31e72011-04-17 21:32:41 +000037 llvm::SmallVector<const llvm::Type *, 16> FieldTypes;
Daniel Dunbar23ee4b72010-03-31 00:11:27 +000038
John McCall0217dfc22011-02-15 06:40:56 +000039 /// BaseSubobjectType - Holds the LLVM type for the non-virtual part
Anders Carlssonc1351ca2010-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 McCall0217dfc22011-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 Carlssonc1351ca2010-11-09 05:25:47 +000055
John McCall0217dfc22011-02-15 06:40:56 +000056 /// FieldInfo - Holds a field and its corresponding LLVM field number.
57 llvm::DenseMap<const FieldDecl *, unsigned> Fields;
Daniel Dunbar23ee4b72010-03-31 00:11:27 +000058
John McCall0217dfc22011-02-15 06:40:56 +000059 /// BitFieldInfo - Holds location and size information about a bit field.
60 llvm::DenseMap<const FieldDecl *, CGBitFieldInfo> BitFields;
Daniel Dunbar23ee4b72010-03-31 00:11:27 +000061
John McCall0217dfc22011-02-15 06:40:56 +000062 llvm::DenseMap<const CXXRecordDecl *, unsigned> NonVirtualBases;
63 llvm::DenseMap<const CXXRecordDecl *, unsigned> VirtualBases;
Anders Carlsson4131f002010-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 Carlssona459adb2010-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 McCall614dbdc2010-08-22 21:01:12 +000073 /// IsZeroInitializable - Whether this struct can be C++
74 /// zero-initialized with an LLVM zeroinitializer.
75 bool IsZeroInitializable;
John McCall0217dfc22011-02-15 06:40:56 +000076 bool IsZeroInitializableAsBase;
Daniel Dunbar23ee4b72010-03-31 00:11:27 +000077
78 /// Packed - Whether the resulting LLVM struct will be packed or not.
79 bool Packed;
80
81private:
82 CodeGenTypes &Types;
83
Anders Carlssonfcaaa692011-04-17 21:56:13 +000084 /// LastLaidOutBaseInfo - Contains the offset and non-virtual size of the
85 /// last base laid out. Used so that we can replace the last laid out base
86 /// type with an i8 array if needed.
87 struct LastLaidOutBaseInfo {
88 CharUnits Offset;
89 CharUnits NonVirtualSize;
90
91 bool isValid() const { return !NonVirtualSize.isZero(); }
92 void invalidate() { NonVirtualSize = CharUnits::Zero(); }
93
94 } LastLaidOutBase;
95
Daniel Dunbar23ee4b72010-03-31 00:11:27 +000096 /// Alignment - Contains the alignment of the RecordDecl.
John McCall4d9f1422011-02-15 22:21:29 +000097 CharUnits Alignment;
Daniel Dunbar23ee4b72010-03-31 00:11:27 +000098
Daniel Dunbar23ee4b72010-03-31 00:11:27 +000099 /// BitsAvailableInLastField - If a bit field spans only part of a LLVM field,
100 /// this will have the number of bits still available in the field.
101 char BitsAvailableInLastField;
102
John McCall4d9f1422011-02-15 22:21:29 +0000103 /// NextFieldOffset - Holds the next field offset.
104 CharUnits NextFieldOffset;
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000105
Anders Carlsson1de2f572010-04-17 20:49:27 +0000106 /// LayoutUnionField - Will layout a field in an union and return the type
107 /// that the field will have.
108 const llvm::Type *LayoutUnionField(const FieldDecl *Field,
109 const ASTRecordLayout &Layout);
110
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000111 /// LayoutUnion - Will layout a union RecordDecl.
112 void LayoutUnion(const RecordDecl *D);
113
114 /// LayoutField - try to layout all fields in the record decl.
115 /// Returns false if the operation failed because the struct is not packed.
116 bool LayoutFields(const RecordDecl *D);
117
Anders Carlssona518b2a2010-12-04 23:59:48 +0000118 /// Layout a single base, virtual or non-virtual
John McCall4d9f1422011-02-15 22:21:29 +0000119 void LayoutBase(const CXXRecordDecl *base,
120 const CGRecordLayout &baseLayout,
121 CharUnits baseOffset);
Anders Carlssona518b2a2010-12-04 23:59:48 +0000122
Anders Carlsson1f95ee32010-11-25 01:59:35 +0000123 /// LayoutVirtualBase - layout a single virtual base.
John McCall4d9f1422011-02-15 22:21:29 +0000124 void LayoutVirtualBase(const CXXRecordDecl *base,
125 CharUnits baseOffset);
Anders Carlsson1f95ee32010-11-25 01:59:35 +0000126
Anders Carlssona459adb2010-11-28 19:18:44 +0000127 /// LayoutVirtualBases - layout the virtual bases of a record decl.
128 void LayoutVirtualBases(const CXXRecordDecl *RD,
129 const ASTRecordLayout &Layout);
130
Anders Carlssonaf9e5af2010-05-18 05:12:20 +0000131 /// LayoutNonVirtualBase - layout a single non-virtual base.
John McCall4d9f1422011-02-15 22:21:29 +0000132 void LayoutNonVirtualBase(const CXXRecordDecl *base,
133 CharUnits baseOffset);
Anders Carlssonaf9e5af2010-05-18 05:12:20 +0000134
Anders Carlssona459adb2010-11-28 19:18:44 +0000135 /// LayoutNonVirtualBases - layout the virtual bases of a record decl.
Anders Carlssonaf9e5af2010-05-18 05:12:20 +0000136 void LayoutNonVirtualBases(const CXXRecordDecl *RD,
137 const ASTRecordLayout &Layout);
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000138
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000139 /// ComputeNonVirtualBaseType - Compute the non-virtual base field types.
Argyrios Kyrtzidis648fcbe2010-12-10 00:11:00 +0000140 bool ComputeNonVirtualBaseType(const CXXRecordDecl *RD);
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000141
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000142 /// LayoutField - layout a single field. Returns false if the operation failed
143 /// because the current struct is not packed.
144 bool LayoutField(const FieldDecl *D, uint64_t FieldOffset);
145
146 /// LayoutBitField - layout a single bit field.
147 void LayoutBitField(const FieldDecl *D, uint64_t FieldOffset);
148
149 /// AppendField - Appends a field with the given offset and type.
John McCall4d9f1422011-02-15 22:21:29 +0000150 void AppendField(CharUnits fieldOffset, const llvm::Type *FieldTy);
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000151
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000152 /// AppendPadding - Appends enough padding bytes so that the total
153 /// struct size is a multiple of the field alignment.
John McCall4d9f1422011-02-15 22:21:29 +0000154 void AppendPadding(CharUnits fieldOffset, CharUnits fieldAlignment);
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000155
Anders Carlssonfcaaa692011-04-17 21:56:13 +0000156 /// ResizeLastBaseFieldIfNecessary - Fields and bases can be laid out in the
157 /// tail padding of a previous base. If this happens, the type of the previous
158 /// base needs to be changed to an array of i8. Returns true if the last
159 /// laid out base was resized.
160 bool ResizeLastBaseFieldIfNecessary(CharUnits offset);
161
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000162 /// getByteArrayType - Returns a byte array type with the given number of
163 /// elements.
John McCall4d9f1422011-02-15 22:21:29 +0000164 const llvm::Type *getByteArrayType(CharUnits NumBytes);
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000165
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000166 /// AppendBytes - Append a given number of bytes to the record.
John McCall4d9f1422011-02-15 22:21:29 +0000167 void AppendBytes(CharUnits numBytes);
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000168
169 /// AppendTailPadding - Append enough tail padding so that the type will have
170 /// the passed size.
171 void AppendTailPadding(uint64_t RecordSize);
172
John McCall4d9f1422011-02-15 22:21:29 +0000173 CharUnits getTypeAlignment(const llvm::Type *Ty) const;
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000174
Anders Carlssonacf877b2010-11-28 23:06:23 +0000175 /// getAlignmentAsLLVMStruct - Returns the maximum alignment of all the
176 /// LLVM element types.
John McCall4d9f1422011-02-15 22:21:29 +0000177 CharUnits getAlignmentAsLLVMStruct() const;
Anders Carlssonacf877b2010-11-28 23:06:23 +0000178
John McCall614dbdc2010-08-22 21:01:12 +0000179 /// CheckZeroInitializable - Check if the given type contains a pointer
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000180 /// to data member.
John McCall614dbdc2010-08-22 21:01:12 +0000181 void CheckZeroInitializable(QualType T);
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000182
183public:
184 CGRecordLayoutBuilder(CodeGenTypes &Types)
John McCall0217dfc22011-02-15 06:40:56 +0000185 : BaseSubobjectType(0),
186 IsZeroInitializable(true), IsZeroInitializableAsBase(true),
John McCall4d9f1422011-02-15 22:21:29 +0000187 Packed(false), Types(Types), BitsAvailableInLastField(0) { }
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000188
189 /// Layout - Will layout a RecordDecl.
190 void Layout(const RecordDecl *D);
191};
192
193}
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000194
Anders Carlsson307846f2009-07-23 03:17:50 +0000195void CGRecordLayoutBuilder::Layout(const RecordDecl *D) {
John McCall4d9f1422011-02-15 22:21:29 +0000196 Alignment = Types.getContext().getASTRecordLayout(D).getAlignment();
Anders Carlsson09a37742009-09-02 17:51:33 +0000197 Packed = D->hasAttr<PackedAttr>();
Anders Carlsson28a5fa22009-08-08 19:38:24 +0000198
Anders Carlsson697f6592009-07-23 03:43:54 +0000199 if (D->isUnion()) {
200 LayoutUnion(D);
201 return;
202 }
Anders Carlsson68e0b682009-08-08 18:23:56 +0000203
Anders Carlsson307846f2009-07-23 03:17:50 +0000204 if (LayoutFields(D))
205 return;
Mike Stump11289f42009-09-09 15:08:12 +0000206
Anders Carlsson307846f2009-07-23 03:17:50 +0000207 // We weren't able to layout the struct. Try again with a packed struct
Anders Carlssond78fc892009-07-23 17:24:40 +0000208 Packed = true;
Anders Carlssonfcaaa692011-04-17 21:56:13 +0000209 LastLaidOutBase.invalidate();
John McCall4d9f1422011-02-15 22:21:29 +0000210 NextFieldOffset = CharUnits::Zero();
Anders Carlsson307846f2009-07-23 03:17:50 +0000211 FieldTypes.clear();
John McCall0217dfc22011-02-15 06:40:56 +0000212 Fields.clear();
213 BitFields.clear();
214 NonVirtualBases.clear();
215 VirtualBases.clear();
Mike Stump11289f42009-09-09 15:08:12 +0000216
Anders Carlsson307846f2009-07-23 03:17:50 +0000217 LayoutFields(D);
218}
219
Daniel Dunbarc7f9bba2010-09-02 23:53:28 +0000220CGBitFieldInfo CGBitFieldInfo::MakeInfo(CodeGenTypes &Types,
221 const FieldDecl *FD,
222 uint64_t FieldOffset,
223 uint64_t FieldSize,
224 uint64_t ContainingTypeSizeInBits,
225 unsigned ContainingTypeAlign) {
Daniel Dunbarf9c24f82010-04-12 21:01:28 +0000226 const llvm::Type *Ty = Types.ConvertTypeForMemRecursive(FD->getType());
John McCall8a3c5552011-02-26 08:41:59 +0000227 CharUnits TypeSizeInBytes =
228 CharUnits::fromQuantity(Types.getTargetData().getTypeAllocSize(Ty));
229 uint64_t TypeSizeInBits = Types.getContext().toBits(TypeSizeInBytes);
Daniel Dunbarf9c24f82010-04-12 21:01:28 +0000230
231 bool IsSigned = FD->getType()->isSignedIntegerType();
Daniel Dunbarf9c24f82010-04-12 21:01:28 +0000232
Anders Carlssonbe6f3182010-04-16 16:23:02 +0000233 if (FieldSize > TypeSizeInBits) {
Anders Carlssond5f27b02010-04-17 22:54:57 +0000234 // We have a wide bit-field. The extra bits are only used for padding, so
235 // if we have a bitfield of type T, with size N:
236 //
237 // T t : N;
238 //
239 // We can just assume that it's:
240 //
241 // T t : sizeof(T);
242 //
243 FieldSize = TypeSizeInBits;
Anders Carlssonbe6f3182010-04-16 16:23:02 +0000244 }
245
Chris Lattnerfb59c7c2011-02-17 22:09:58 +0000246 // in big-endian machines the first fields are in higher bit positions,
247 // so revert the offset. The byte offsets are reversed(back) later.
248 if (Types.getTargetData().isBigEndian()) {
249 FieldOffset = ((ContainingTypeSizeInBits)-FieldOffset-FieldSize);
250 }
251
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000252 // Compute the access components. The policy we use is to start by attempting
253 // to access using the width of the bit-field type itself and to always access
254 // at aligned indices of that type. If such an access would fail because it
255 // extends past the bound of the type, then we reduce size to the next smaller
256 // power of two and retry. The current algorithm assumes pow2 sized types,
257 // although this is easy to fix.
258 //
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000259 assert(llvm::isPowerOf2_32(TypeSizeInBits) && "Unexpected type size!");
260 CGBitFieldInfo::AccessInfo Components[3];
261 unsigned NumComponents = 0;
Nick Lewyckyd2348d82011-03-22 17:35:47 +0000262 unsigned AccessedTargetBits = 0; // The number of target bits accessed.
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000263 unsigned AccessWidth = TypeSizeInBits; // The current access width to attempt.
Anders Carlssonbe6f3182010-04-16 16:23:02 +0000264
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000265 // Round down from the field offset to find the first access position that is
266 // at an aligned offset of the initial access type.
Daniel Dunbar59813772010-04-22 15:22:33 +0000267 uint64_t AccessStart = FieldOffset - (FieldOffset % AccessWidth);
268
269 // Adjust initial access size to fit within record.
John McCall8a3c5552011-02-26 08:41:59 +0000270 while (AccessWidth > Types.getTarget().getCharWidth() &&
Daniel Dunbar59813772010-04-22 15:22:33 +0000271 AccessStart + AccessWidth > ContainingTypeSizeInBits) {
272 AccessWidth >>= 1;
273 AccessStart = FieldOffset - (FieldOffset % AccessWidth);
274 }
Daniel Dunbar9c78d632010-04-15 05:09:32 +0000275
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000276 while (AccessedTargetBits < FieldSize) {
277 // Check that we can access using a type of this size, without reading off
278 // the end of the structure. This can occur with packed structures and
279 // -fno-bitfield-type-align, for example.
280 if (AccessStart + AccessWidth > ContainingTypeSizeInBits) {
281 // If so, reduce access size to the next smaller power-of-two and retry.
282 AccessWidth >>= 1;
John McCall8a3c5552011-02-26 08:41:59 +0000283 assert(AccessWidth >= Types.getTarget().getCharWidth()
284 && "Cannot access under byte size!");
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000285 continue;
286 }
Daniel Dunbarb935b932010-04-13 20:58:55 +0000287
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000288 // Otherwise, add an access component.
Daniel Dunbarb935b932010-04-13 20:58:55 +0000289
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000290 // First, compute the bits inside this access which are part of the
291 // target. We are reading bits [AccessStart, AccessStart + AccessWidth); the
292 // intersection with [FieldOffset, FieldOffset + FieldSize) gives the bits
293 // in the target that we are reading.
Daniel Dunbar59813772010-04-22 15:22:33 +0000294 assert(FieldOffset < AccessStart + AccessWidth && "Invalid access start!");
295 assert(AccessStart < FieldOffset + FieldSize && "Invalid access start!");
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000296 uint64_t AccessBitsInFieldStart = std::max(AccessStart, FieldOffset);
297 uint64_t AccessBitsInFieldSize =
Daniel Dunbar59813772010-04-22 15:22:33 +0000298 std::min(AccessWidth + AccessStart,
299 FieldOffset + FieldSize) - AccessBitsInFieldStart;
Daniel Dunbar5d6c07e2010-04-22 14:56:10 +0000300
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000301 assert(NumComponents < 3 && "Unexpected number of components!");
302 CGBitFieldInfo::AccessInfo &AI = Components[NumComponents++];
303 AI.FieldIndex = 0;
304 // FIXME: We still follow the old access pattern of only using the field
305 // byte offset. We should switch this once we fix the struct layout to be
306 // pretty.
Chris Lattnerfb59c7c2011-02-17 22:09:58 +0000307
308 // on big-endian machines we reverted the bit offset because first fields are
309 // in higher bits. But this also reverts the bytes, so fix this here by reverting
310 // the byte offset on big-endian machines.
311 if (Types.getTargetData().isBigEndian()) {
312 AI.FieldByteOffset = (ContainingTypeSizeInBits - AccessStart - AccessWidth )/8;
313 } else {
314 AI.FieldByteOffset = AccessStart / 8;
315 }
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000316 AI.FieldBitStart = AccessBitsInFieldStart - AccessStart;
317 AI.AccessWidth = AccessWidth;
Daniel Dunbarfc66e0e2010-04-22 03:17:04 +0000318 AI.AccessAlignment = llvm::MinAlign(ContainingTypeAlign, AccessStart) / 8;
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000319 AI.TargetBitOffset = AccessedTargetBits;
320 AI.TargetBitWidth = AccessBitsInFieldSize;
321
322 AccessStart += AccessWidth;
323 AccessedTargetBits += AI.TargetBitWidth;
Daniel Dunbarb935b932010-04-13 20:58:55 +0000324 }
325
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000326 assert(AccessedTargetBits == FieldSize && "Invalid bit-field access!");
Daniel Dunbar9c78d632010-04-15 05:09:32 +0000327 return CGBitFieldInfo(FieldSize, NumComponents, Components, IsSigned);
Daniel Dunbarf9c24f82010-04-12 21:01:28 +0000328}
329
Daniel Dunbarc7f9bba2010-09-02 23:53:28 +0000330CGBitFieldInfo CGBitFieldInfo::MakeInfo(CodeGenTypes &Types,
331 const FieldDecl *FD,
332 uint64_t FieldOffset,
333 uint64_t FieldSize) {
334 const RecordDecl *RD = FD->getParent();
335 const ASTRecordLayout &RL = Types.getContext().getASTRecordLayout(RD);
Ken Dyckb0fcc592011-02-11 01:54:29 +0000336 uint64_t ContainingTypeSizeInBits = Types.getContext().toBits(RL.getSize());
Ken Dyck7ad11e72011-02-15 02:32:40 +0000337 unsigned ContainingTypeAlign = Types.getContext().toBits(RL.getAlignment());
Daniel Dunbarc7f9bba2010-09-02 23:53:28 +0000338
339 return MakeInfo(Types, FD, FieldOffset, FieldSize, ContainingTypeSizeInBits,
340 ContainingTypeAlign);
341}
342
Anders Carlsson307846f2009-07-23 03:17:50 +0000343void CGRecordLayoutBuilder::LayoutBitField(const FieldDecl *D,
John McCall4d9f1422011-02-15 22:21:29 +0000344 uint64_t fieldOffset) {
345 uint64_t fieldSize =
Anders Carlsson307846f2009-07-23 03:17:50 +0000346 D->getBitWidth()->EvaluateAsInt(Types.getContext()).getZExtValue();
Mike Stump11289f42009-09-09 15:08:12 +0000347
John McCall4d9f1422011-02-15 22:21:29 +0000348 if (fieldSize == 0)
Anders Carlsson307846f2009-07-23 03:17:50 +0000349 return;
350
John McCall8a3c5552011-02-26 08:41:59 +0000351 uint64_t nextFieldOffsetInBits = Types.getContext().toBits(NextFieldOffset);
John McCall4d9f1422011-02-15 22:21:29 +0000352 unsigned numBytesToAppend;
Mike Stump11289f42009-09-09 15:08:12 +0000353
Anders Carlssonfcaaa692011-04-17 21:56:13 +0000354 if (fieldOffset < nextFieldOffsetInBits && !BitsAvailableInLastField) {
355 assert(fieldOffset % 8 == 0 && "Field offset not aligned correctly");
356
357 CharUnits fieldOffsetInCharUnits =
358 Types.getContext().toCharUnitsFromBits(fieldOffset);
359
360 // Try to resize the last base field.
361 if (ResizeLastBaseFieldIfNecessary(fieldOffsetInCharUnits))
362 nextFieldOffsetInBits = Types.getContext().toBits(NextFieldOffset);
363 }
364
John McCall4d9f1422011-02-15 22:21:29 +0000365 if (fieldOffset < nextFieldOffsetInBits) {
Anders Carlsson307846f2009-07-23 03:17:50 +0000366 assert(BitsAvailableInLastField && "Bitfield size mismatch!");
John McCall4d9f1422011-02-15 22:21:29 +0000367 assert(!NextFieldOffset.isZero() && "Must have laid out at least one byte");
Mike Stump11289f42009-09-09 15:08:12 +0000368
Anders Carlsson307846f2009-07-23 03:17:50 +0000369 // The bitfield begins in the previous bit-field.
John McCall4d9f1422011-02-15 22:21:29 +0000370 numBytesToAppend =
371 llvm::RoundUpToAlignment(fieldSize - BitsAvailableInLastField, 8) / 8;
Anders Carlsson307846f2009-07-23 03:17:50 +0000372 } else {
John McCall4d9f1422011-02-15 22:21:29 +0000373 assert(fieldOffset % 8 == 0 && "Field offset not aligned correctly");
Anders Carlsson307846f2009-07-23 03:17:50 +0000374
375 // Append padding if necessary.
John McCall4d9f1422011-02-15 22:21:29 +0000376 AppendPadding(CharUnits::fromQuantity(fieldOffset / 8), CharUnits::One());
Mike Stump11289f42009-09-09 15:08:12 +0000377
John McCall4d9f1422011-02-15 22:21:29 +0000378 numBytesToAppend = llvm::RoundUpToAlignment(fieldSize, 8) / 8;
Mike Stump11289f42009-09-09 15:08:12 +0000379
John McCall4d9f1422011-02-15 22:21:29 +0000380 assert(numBytesToAppend && "No bytes to append!");
Anders Carlsson307846f2009-07-23 03:17:50 +0000381 }
382
Daniel Dunbarf9c24f82010-04-12 21:01:28 +0000383 // Add the bit field info.
John McCall0217dfc22011-02-15 06:40:56 +0000384 BitFields.insert(std::make_pair(D,
John McCall4d9f1422011-02-15 22:21:29 +0000385 CGBitFieldInfo::MakeInfo(Types, D, fieldOffset, fieldSize)));
Mike Stump11289f42009-09-09 15:08:12 +0000386
John McCall4d9f1422011-02-15 22:21:29 +0000387 AppendBytes(CharUnits::fromQuantity(numBytesToAppend));
Mike Stump11289f42009-09-09 15:08:12 +0000388
Mike Stump11289f42009-09-09 15:08:12 +0000389 BitsAvailableInLastField =
John McCall4d9f1422011-02-15 22:21:29 +0000390 NextFieldOffset.getQuantity() * 8 - (fieldOffset + fieldSize);
Anders Carlsson307846f2009-07-23 03:17:50 +0000391}
392
393bool CGRecordLayoutBuilder::LayoutField(const FieldDecl *D,
John McCall4d9f1422011-02-15 22:21:29 +0000394 uint64_t fieldOffset) {
Anders Carlsson307846f2009-07-23 03:17:50 +0000395 // If the field is packed, then we need a packed struct.
Anders Carlsson68e0b682009-08-08 18:23:56 +0000396 if (!Packed && D->hasAttr<PackedAttr>())
Anders Carlsson307846f2009-07-23 03:17:50 +0000397 return false;
398
399 if (D->isBitField()) {
400 // We must use packed structs for unnamed bit fields since they
401 // don't affect the struct alignment.
Anders Carlssond78fc892009-07-23 17:24:40 +0000402 if (!Packed && !D->getDeclName())
Anders Carlsson307846f2009-07-23 03:17:50 +0000403 return false;
Mike Stump11289f42009-09-09 15:08:12 +0000404
John McCall4d9f1422011-02-15 22:21:29 +0000405 LayoutBitField(D, fieldOffset);
Anders Carlsson307846f2009-07-23 03:17:50 +0000406 return true;
407 }
Mike Stump11289f42009-09-09 15:08:12 +0000408
John McCall614dbdc2010-08-22 21:01:12 +0000409 CheckZeroInitializable(D->getType());
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000410
John McCall8a3c5552011-02-26 08:41:59 +0000411 assert(fieldOffset % Types.getTarget().getCharWidth() == 0
412 && "field offset is not on a byte boundary!");
413 CharUnits fieldOffsetInBytes
414 = Types.getContext().toCharUnitsFromBits(fieldOffset);
Mike Stump11289f42009-09-09 15:08:12 +0000415
Anders Carlsson19702bb2009-08-04 16:29:15 +0000416 const llvm::Type *Ty = Types.ConvertTypeForMemRecursive(D->getType());
John McCall4d9f1422011-02-15 22:21:29 +0000417 CharUnits typeAlignment = getTypeAlignment(Ty);
Anders Carlsson19702bb2009-08-04 16:29:15 +0000418
Anders Carlsson28a5fa22009-08-08 19:38:24 +0000419 // If the type alignment is larger then the struct alignment, we must use
420 // a packed struct.
John McCall4d9f1422011-02-15 22:21:29 +0000421 if (typeAlignment > Alignment) {
Anders Carlsson28a5fa22009-08-08 19:38:24 +0000422 assert(!Packed && "Alignment is wrong even with packed struct!");
423 return false;
424 }
Mike Stump11289f42009-09-09 15:08:12 +0000425
John McCall4d9f1422011-02-15 22:21:29 +0000426 if (!Packed) {
427 if (const RecordType *RT = D->getType()->getAs<RecordType>()) {
428 const RecordDecl *RD = cast<RecordDecl>(RT->getDecl());
429 if (const MaxFieldAlignmentAttr *MFAA =
430 RD->getAttr<MaxFieldAlignmentAttr>()) {
John McCall8a3c5552011-02-26 08:41:59 +0000431 if (MFAA->getAlignment() != Types.getContext().toBits(typeAlignment))
John McCall4d9f1422011-02-15 22:21:29 +0000432 return false;
433 }
Anders Carlsson28a5fa22009-08-08 19:38:24 +0000434 }
435 }
436
Anders Carlsson19702bb2009-08-04 16:29:15 +0000437 // Round up the field offset to the alignment of the field type.
John McCall4d9f1422011-02-15 22:21:29 +0000438 CharUnits alignedNextFieldOffsetInBytes =
439 NextFieldOffset.RoundUpToAlignment(typeAlignment);
Anders Carlsson19702bb2009-08-04 16:29:15 +0000440
John McCall4d9f1422011-02-15 22:21:29 +0000441 if (fieldOffsetInBytes < alignedNextFieldOffsetInBytes) {
Anders Carlssonfcaaa692011-04-17 21:56:13 +0000442 // Try to resize the last base field.
443 if (ResizeLastBaseFieldIfNecessary(fieldOffsetInBytes)) {
444 alignedNextFieldOffsetInBytes =
445 NextFieldOffset.RoundUpToAlignment(typeAlignment);
446 }
447 }
448
449 if (fieldOffsetInBytes < alignedNextFieldOffsetInBytes) {
Anders Carlsson19702bb2009-08-04 16:29:15 +0000450 assert(!Packed && "Could not place field even with packed struct!");
451 return false;
452 }
Mike Stump11289f42009-09-09 15:08:12 +0000453
John McCall4d9f1422011-02-15 22:21:29 +0000454 AppendPadding(fieldOffsetInBytes, typeAlignment);
Mike Stump11289f42009-09-09 15:08:12 +0000455
Anders Carlsson307846f2009-07-23 03:17:50 +0000456 // Now append the field.
John McCall0217dfc22011-02-15 06:40:56 +0000457 Fields[D] = FieldTypes.size();
John McCall4d9f1422011-02-15 22:21:29 +0000458 AppendField(fieldOffsetInBytes, Ty);
Mike Stump11289f42009-09-09 15:08:12 +0000459
Anders Carlssonfcaaa692011-04-17 21:56:13 +0000460 LastLaidOutBase.invalidate();
Anders Carlsson307846f2009-07-23 03:17:50 +0000461 return true;
462}
463
Anders Carlsson1de2f572010-04-17 20:49:27 +0000464const llvm::Type *
465CGRecordLayoutBuilder::LayoutUnionField(const FieldDecl *Field,
466 const ASTRecordLayout &Layout) {
467 if (Field->isBitField()) {
468 uint64_t FieldSize =
469 Field->getBitWidth()->EvaluateAsInt(Types.getContext()).getZExtValue();
470
471 // Ignore zero sized bit fields.
472 if (FieldSize == 0)
473 return 0;
474
Daniel Dunbar20b551a2010-04-20 17:52:30 +0000475 const llvm::Type *FieldTy = llvm::Type::getInt8Ty(Types.getLLVMContext());
476 unsigned NumBytesToAppend =
477 llvm::RoundUpToAlignment(FieldSize, 8) / 8;
Anders Carlsson2295f132010-04-17 21:04:52 +0000478
Daniel Dunbar20b551a2010-04-20 17:52:30 +0000479 if (NumBytesToAppend > 1)
480 FieldTy = llvm::ArrayType::get(FieldTy, NumBytesToAppend);
Anders Carlsson2295f132010-04-17 21:04:52 +0000481
Anders Carlsson1de2f572010-04-17 20:49:27 +0000482 // Add the bit field info.
John McCall0217dfc22011-02-15 06:40:56 +0000483 BitFields.insert(std::make_pair(Field,
484 CGBitFieldInfo::MakeInfo(Types, Field, 0, FieldSize)));
Anders Carlsson2295f132010-04-17 21:04:52 +0000485 return FieldTy;
Anders Carlsson1de2f572010-04-17 20:49:27 +0000486 }
Daniel Dunbar20b551a2010-04-20 17:52:30 +0000487
Anders Carlsson1de2f572010-04-17 20:49:27 +0000488 // This is a regular union field.
John McCall0217dfc22011-02-15 06:40:56 +0000489 Fields[Field] = 0;
Anders Carlsson1de2f572010-04-17 20:49:27 +0000490 return Types.ConvertTypeForMemRecursive(Field->getType());
491}
492
Anders Carlsson697f6592009-07-23 03:43:54 +0000493void CGRecordLayoutBuilder::LayoutUnion(const RecordDecl *D) {
494 assert(D->isUnion() && "Can't call LayoutUnion on a non-union record!");
Mike Stump11289f42009-09-09 15:08:12 +0000495
John McCall4d9f1422011-02-15 22:21:29 +0000496 const ASTRecordLayout &layout = Types.getContext().getASTRecordLayout(D);
Mike Stump11289f42009-09-09 15:08:12 +0000497
John McCall4d9f1422011-02-15 22:21:29 +0000498 const llvm::Type *unionType = 0;
499 CharUnits unionSize = CharUnits::Zero();
500 CharUnits unionAlign = CharUnits::Zero();
Mike Stump11289f42009-09-09 15:08:12 +0000501
John McCall4d9f1422011-02-15 22:21:29 +0000502 bool hasOnlyZeroSizedBitFields = true;
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000503
John McCall4d9f1422011-02-15 22:21:29 +0000504 unsigned fieldNo = 0;
505 for (RecordDecl::field_iterator field = D->field_begin(),
506 fieldEnd = D->field_end(); field != fieldEnd; ++field, ++fieldNo) {
507 assert(layout.getFieldOffset(fieldNo) == 0 &&
Anders Carlsson697f6592009-07-23 03:43:54 +0000508 "Union field offset did not start at the beginning of record!");
John McCall4d9f1422011-02-15 22:21:29 +0000509 const llvm::Type *fieldType = LayoutUnionField(*field, layout);
Anders Carlssonf814ee62009-07-23 04:00:39 +0000510
John McCall4d9f1422011-02-15 22:21:29 +0000511 if (!fieldType)
Anders Carlsson1de2f572010-04-17 20:49:27 +0000512 continue;
Mike Stump11289f42009-09-09 15:08:12 +0000513
John McCall4d9f1422011-02-15 22:21:29 +0000514 hasOnlyZeroSizedBitFields = false;
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000515
John McCall4d9f1422011-02-15 22:21:29 +0000516 CharUnits fieldAlign = CharUnits::fromQuantity(
517 Types.getTargetData().getABITypeAlignment(fieldType));
518 CharUnits fieldSize = CharUnits::fromQuantity(
519 Types.getTargetData().getTypeAllocSize(fieldType));
Mike Stump11289f42009-09-09 15:08:12 +0000520
John McCall4d9f1422011-02-15 22:21:29 +0000521 if (fieldAlign < unionAlign)
Anders Carlsson697f6592009-07-23 03:43:54 +0000522 continue;
Mike Stump11289f42009-09-09 15:08:12 +0000523
John McCall4d9f1422011-02-15 22:21:29 +0000524 if (fieldAlign > unionAlign || fieldSize > unionSize) {
525 unionType = fieldType;
526 unionAlign = fieldAlign;
527 unionSize = fieldSize;
Anders Carlsson697f6592009-07-23 03:43:54 +0000528 }
529 }
Mike Stump11289f42009-09-09 15:08:12 +0000530
Anders Carlsson697f6592009-07-23 03:43:54 +0000531 // Now add our field.
John McCall4d9f1422011-02-15 22:21:29 +0000532 if (unionType) {
533 AppendField(CharUnits::Zero(), unionType);
Anders Carlsson0e912752009-09-03 22:56:02 +0000534
John McCall4d9f1422011-02-15 22:21:29 +0000535 if (getTypeAlignment(unionType) > layout.getAlignment()) {
Anders Carlsson0e912752009-09-03 22:56:02 +0000536 // We need a packed struct.
537 Packed = true;
John McCall4d9f1422011-02-15 22:21:29 +0000538 unionAlign = CharUnits::One();
Anders Carlsson0e912752009-09-03 22:56:02 +0000539 }
540 }
John McCall4d9f1422011-02-15 22:21:29 +0000541 if (unionAlign.isZero()) {
542 assert(hasOnlyZeroSizedBitFields &&
Anders Carlssonb1ef9912010-01-28 18:22:03 +0000543 "0-align record did not have all zero-sized bit-fields!");
John McCall4d9f1422011-02-15 22:21:29 +0000544 unionAlign = CharUnits::One();
Fariborz Jahaniane8e631c2009-11-06 20:47:40 +0000545 }
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000546
Anders Carlsson697f6592009-07-23 03:43:54 +0000547 // Append tail padding.
John McCall4d9f1422011-02-15 22:21:29 +0000548 CharUnits recordSize = layout.getSize();
549 if (recordSize > unionSize)
550 AppendPadding(recordSize, unionAlign);
Anders Carlsson697f6592009-07-23 03:43:54 +0000551}
552
John McCall0217dfc22011-02-15 06:40:56 +0000553void CGRecordLayoutBuilder::LayoutBase(const CXXRecordDecl *base,
John McCall4d9f1422011-02-15 22:21:29 +0000554 const CGRecordLayout &baseLayout,
555 CharUnits baseOffset) {
Anders Carlssonfcaaa692011-04-17 21:56:13 +0000556 ResizeLastBaseFieldIfNecessary(baseOffset);
557
John McCall4d9f1422011-02-15 22:21:29 +0000558 AppendPadding(baseOffset, CharUnits::One());
Anders Carlssona518b2a2010-12-04 23:59:48 +0000559
John McCall0217dfc22011-02-15 06:40:56 +0000560 const ASTRecordLayout &baseASTLayout
561 = Types.getContext().getASTRecordLayout(base);
562
Anders Carlssonfcaaa692011-04-17 21:56:13 +0000563 LastLaidOutBase.Offset = NextFieldOffset;
564 LastLaidOutBase.NonVirtualSize = baseASTLayout.getNonVirtualSize();
565
John McCall4d9f1422011-02-15 22:21:29 +0000566 // Fields and bases can be laid out in the tail padding of previous
567 // bases. If this happens, we need to allocate the base as an i8
568 // array; otherwise, we can use the subobject type. However,
569 // actually doing that would require knowledge of what immediately
570 // follows this base in the layout, so instead we do a conservative
571 // approximation, which is to use the base subobject type if it
572 // has the same LLVM storage size as the nvsize.
573
John McCall4d9f1422011-02-15 22:21:29 +0000574 const llvm::StructType *subobjectType = baseLayout.getBaseSubobjectLLVMType();
Anders Carlssonfcaaa692011-04-17 21:56:13 +0000575 AppendField(baseOffset, subobjectType);
John McCall4d9f1422011-02-15 22:21:29 +0000576
Anders Carlssonfcaaa692011-04-17 21:56:13 +0000577 Types.addBaseSubobjectTypeName(base, baseLayout);
John McCall0217dfc22011-02-15 06:40:56 +0000578}
579
580void CGRecordLayoutBuilder::LayoutNonVirtualBase(const CXXRecordDecl *base,
John McCall4d9f1422011-02-15 22:21:29 +0000581 CharUnits baseOffset) {
John McCall0217dfc22011-02-15 06:40:56 +0000582 // Ignore empty bases.
583 if (base->isEmpty()) return;
584
585 const CGRecordLayout &baseLayout = Types.getCGRecordLayout(base);
586 if (IsZeroInitializableAsBase) {
587 assert(IsZeroInitializable &&
588 "class zero-initializable as base but not as complete object");
589
590 IsZeroInitializable = IsZeroInitializableAsBase =
591 baseLayout.isZeroInitializableAsBase();
592 }
593
John McCall4d9f1422011-02-15 22:21:29 +0000594 LayoutBase(base, baseLayout, baseOffset);
John McCall0217dfc22011-02-15 06:40:56 +0000595 NonVirtualBases[base] = (FieldTypes.size() - 1);
Anders Carlssona518b2a2010-12-04 23:59:48 +0000596}
597
Anders Carlsson1f95ee32010-11-25 01:59:35 +0000598void
John McCall0217dfc22011-02-15 06:40:56 +0000599CGRecordLayoutBuilder::LayoutVirtualBase(const CXXRecordDecl *base,
John McCall4d9f1422011-02-15 22:21:29 +0000600 CharUnits baseOffset) {
Anders Carlsson1f95ee32010-11-25 01:59:35 +0000601 // Ignore empty bases.
John McCall0217dfc22011-02-15 06:40:56 +0000602 if (base->isEmpty()) return;
Anders Carlsson1f95ee32010-11-25 01:59:35 +0000603
John McCall0217dfc22011-02-15 06:40:56 +0000604 const CGRecordLayout &baseLayout = Types.getCGRecordLayout(base);
605 if (IsZeroInitializable)
606 IsZeroInitializable = baseLayout.isZeroInitializableAsBase();
Anders Carlsson1f95ee32010-11-25 01:59:35 +0000607
John McCall4d9f1422011-02-15 22:21:29 +0000608 LayoutBase(base, baseLayout, baseOffset);
John McCall0217dfc22011-02-15 06:40:56 +0000609 VirtualBases[base] = (FieldTypes.size() - 1);
Anders Carlsson1f95ee32010-11-25 01:59:35 +0000610}
611
Anders Carlssona459adb2010-11-28 19:18:44 +0000612/// LayoutVirtualBases - layout the non-virtual bases of a record decl.
613void
614CGRecordLayoutBuilder::LayoutVirtualBases(const CXXRecordDecl *RD,
615 const ASTRecordLayout &Layout) {
616 for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
617 E = RD->bases_end(); I != E; ++I) {
618 const CXXRecordDecl *BaseDecl =
619 cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
620
621 // We only want to lay out virtual bases that aren't indirect primary bases
622 // of some other base.
623 if (I->isVirtual() && !IndirectPrimaryBases.count(BaseDecl)) {
624 // Only lay out the base once.
625 if (!LaidOutVirtualBases.insert(BaseDecl))
626 continue;
627
John McCall4d9f1422011-02-15 22:21:29 +0000628 CharUnits vbaseOffset = Layout.getVBaseClassOffset(BaseDecl);
629 LayoutVirtualBase(BaseDecl, vbaseOffset);
Anders Carlssona459adb2010-11-28 19:18:44 +0000630 }
631
632 if (!BaseDecl->getNumVBases()) {
633 // This base isn't interesting since it doesn't have any virtual bases.
634 continue;
635 }
636
637 LayoutVirtualBases(BaseDecl, Layout);
638 }
639}
640
Anders Carlssonaf9e5af2010-05-18 05:12:20 +0000641void
642CGRecordLayoutBuilder::LayoutNonVirtualBases(const CXXRecordDecl *RD,
643 const ASTRecordLayout &Layout) {
644 const CXXRecordDecl *PrimaryBase = Layout.getPrimaryBase();
645
646 // Check if we need to add a vtable pointer.
647 if (RD->isDynamicClass()) {
648 if (!PrimaryBase) {
649 const llvm::Type *FunctionType =
650 llvm::FunctionType::get(llvm::Type::getInt32Ty(Types.getLLVMContext()),
651 /*isVarArg=*/true);
652 const llvm::Type *VTableTy = FunctionType->getPointerTo();
653
John McCall4d9f1422011-02-15 22:21:29 +0000654 assert(NextFieldOffset.isZero() &&
Anders Carlssonaf9e5af2010-05-18 05:12:20 +0000655 "VTable pointer must come first!");
John McCall4d9f1422011-02-15 22:21:29 +0000656 AppendField(CharUnits::Zero(), VTableTy->getPointerTo());
Anders Carlssonaf9e5af2010-05-18 05:12:20 +0000657 } else {
Anders Carlsson7f95cd12010-11-24 23:12:57 +0000658 if (!Layout.isPrimaryBaseVirtual())
John McCall4d9f1422011-02-15 22:21:29 +0000659 LayoutNonVirtualBase(PrimaryBase, CharUnits::Zero());
Anders Carlsson1f95ee32010-11-25 01:59:35 +0000660 else
John McCall4d9f1422011-02-15 22:21:29 +0000661 LayoutVirtualBase(PrimaryBase, CharUnits::Zero());
Anders Carlssonaf9e5af2010-05-18 05:12:20 +0000662 }
663 }
664
665 // Layout the non-virtual bases.
666 for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
667 E = RD->bases_end(); I != E; ++I) {
668 if (I->isVirtual())
669 continue;
670
671 const CXXRecordDecl *BaseDecl =
672 cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
673
674 // We've already laid out the primary base.
Anders Carlsson7f95cd12010-11-24 23:12:57 +0000675 if (BaseDecl == PrimaryBase && !Layout.isPrimaryBaseVirtual())
Anders Carlssonaf9e5af2010-05-18 05:12:20 +0000676 continue;
677
John McCall4d9f1422011-02-15 22:21:29 +0000678 LayoutNonVirtualBase(BaseDecl, Layout.getBaseClassOffset(BaseDecl));
Anders Carlssond681a292009-12-16 17:27:20 +0000679 }
680}
681
Argyrios Kyrtzidis648fcbe2010-12-10 00:11:00 +0000682bool
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000683CGRecordLayoutBuilder::ComputeNonVirtualBaseType(const CXXRecordDecl *RD) {
684 const ASTRecordLayout &Layout = Types.getContext().getASTRecordLayout(RD);
685
Ken Dyckbec02852011-02-08 02:02:47 +0000686 CharUnits NonVirtualSize = Layout.getNonVirtualSize();
687 CharUnits NonVirtualAlign = Layout.getNonVirtualAlign();
John McCall4d9f1422011-02-15 22:21:29 +0000688 CharUnits AlignedNonVirtualTypeSize =
689 NonVirtualSize.RoundUpToAlignment(NonVirtualAlign);
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000690
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000691 // First check if we can use the same fields as for the complete class.
John McCall4d9f1422011-02-15 22:21:29 +0000692 CharUnits RecordSize = Layout.getSize();
John McCall0217dfc22011-02-15 06:40:56 +0000693 if (AlignedNonVirtualTypeSize == RecordSize)
Argyrios Kyrtzidis648fcbe2010-12-10 00:11:00 +0000694 return true;
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000695
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000696 // Check if we need padding.
John McCall4d9f1422011-02-15 22:21:29 +0000697 CharUnits AlignedNextFieldOffset =
698 NextFieldOffset.RoundUpToAlignment(getAlignmentAsLLVMStruct());
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000699
John McCall0217dfc22011-02-15 06:40:56 +0000700 if (AlignedNextFieldOffset > AlignedNonVirtualTypeSize) {
701 assert(!Packed && "cannot layout even as packed struct");
Argyrios Kyrtzidis648fcbe2010-12-10 00:11:00 +0000702 return false; // Needs packing.
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000703 }
704
John McCall0217dfc22011-02-15 06:40:56 +0000705 bool needsPadding = (AlignedNonVirtualTypeSize != AlignedNextFieldOffset);
706 if (needsPadding) {
John McCall4d9f1422011-02-15 22:21:29 +0000707 CharUnits NumBytes = AlignedNonVirtualTypeSize - AlignedNextFieldOffset;
John McCall0217dfc22011-02-15 06:40:56 +0000708 FieldTypes.push_back(getByteArrayType(NumBytes));
709 }
710
711 BaseSubobjectType = llvm::StructType::get(Types.getLLVMContext(),
712 FieldTypes, Packed);
713
714 if (needsPadding) {
715 // Pull the padding back off.
716 FieldTypes.pop_back();
717 }
718
Argyrios Kyrtzidis648fcbe2010-12-10 00:11:00 +0000719 return true;
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000720}
721
Anders Carlsson307846f2009-07-23 03:17:50 +0000722bool CGRecordLayoutBuilder::LayoutFields(const RecordDecl *D) {
723 assert(!D->isUnion() && "Can't call LayoutFields on a union!");
John McCall4d9f1422011-02-15 22:21:29 +0000724 assert(!Alignment.isZero() && "Did not set alignment!");
Mike Stump11289f42009-09-09 15:08:12 +0000725
Anders Carlsson697f6592009-07-23 03:43:54 +0000726 const ASTRecordLayout &Layout = Types.getContext().getASTRecordLayout(D);
Mike Stump11289f42009-09-09 15:08:12 +0000727
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000728 const CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(D);
729 if (RD)
Anders Carlssonaf9e5af2010-05-18 05:12:20 +0000730 LayoutNonVirtualBases(RD, Layout);
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000731
Anders Carlsson307846f2009-07-23 03:17:50 +0000732 unsigned FieldNo = 0;
Fariborz Jahanian7b2b1ec2009-07-27 20:57:45 +0000733
Mike Stump11289f42009-09-09 15:08:12 +0000734 for (RecordDecl::field_iterator Field = D->field_begin(),
Anders Carlsson307846f2009-07-23 03:17:50 +0000735 FieldEnd = D->field_end(); Field != FieldEnd; ++Field, ++FieldNo) {
736 if (!LayoutField(*Field, Layout.getFieldOffset(FieldNo))) {
Mike Stump11289f42009-09-09 15:08:12 +0000737 assert(!Packed &&
Anders Carlsson307846f2009-07-23 03:17:50 +0000738 "Could not layout fields even with a packed LLVM struct!");
739 return false;
740 }
741 }
742
Anders Carlsson1f95ee32010-11-25 01:59:35 +0000743 if (RD) {
Anders Carlssona459adb2010-11-28 19:18:44 +0000744 // We've laid out the non-virtual bases and the fields, now compute the
745 // non-virtual base field types.
Argyrios Kyrtzidis648fcbe2010-12-10 00:11:00 +0000746 if (!ComputeNonVirtualBaseType(RD)) {
747 assert(!Packed && "Could not layout even with a packed LLVM struct!");
748 return false;
749 }
Anders Carlsson1f95ee32010-11-25 01:59:35 +0000750
Anders Carlssona459adb2010-11-28 19:18:44 +0000751 // And lay out the virtual bases.
752 RD->getIndirectPrimaryBases(IndirectPrimaryBases);
753 if (Layout.isPrimaryBaseVirtual())
754 IndirectPrimaryBases.insert(Layout.getPrimaryBase());
755 LayoutVirtualBases(RD, Layout);
756 }
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000757
Anders Carlsson307846f2009-07-23 03:17:50 +0000758 // Append tail padding if necessary.
Ken Dyckb0fcc592011-02-11 01:54:29 +0000759 AppendTailPadding(Types.getContext().toBits(Layout.getSize()));
Mike Stump11289f42009-09-09 15:08:12 +0000760
Anders Carlsson307846f2009-07-23 03:17:50 +0000761 return true;
762}
763
Anders Carlssonb97a3ec2009-07-27 14:55:54 +0000764void CGRecordLayoutBuilder::AppendTailPadding(uint64_t RecordSize) {
765 assert(RecordSize % 8 == 0 && "Invalid record size!");
Mike Stump11289f42009-09-09 15:08:12 +0000766
John McCall8a3c5552011-02-26 08:41:59 +0000767 CharUnits RecordSizeInBytes =
768 Types.getContext().toCharUnitsFromBits(RecordSize);
Anders Carlssonfcaaa692011-04-17 21:56:13 +0000769 ResizeLastBaseFieldIfNecessary(RecordSizeInBytes);
770
John McCall4d9f1422011-02-15 22:21:29 +0000771 assert(NextFieldOffset <= RecordSizeInBytes && "Size mismatch!");
Mike Stump11289f42009-09-09 15:08:12 +0000772
John McCall4d9f1422011-02-15 22:21:29 +0000773 CharUnits AlignedNextFieldOffset =
774 NextFieldOffset.RoundUpToAlignment(getAlignmentAsLLVMStruct());
Anders Carlsson220bf4f2009-12-08 01:24:23 +0000775
776 if (AlignedNextFieldOffset == RecordSizeInBytes) {
777 // We don't need any padding.
778 return;
779 }
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000780
John McCall4d9f1422011-02-15 22:21:29 +0000781 CharUnits NumPadBytes = RecordSizeInBytes - NextFieldOffset;
Anders Carlssonb97a3ec2009-07-27 14:55:54 +0000782 AppendBytes(NumPadBytes);
783}
784
John McCall4d9f1422011-02-15 22:21:29 +0000785void CGRecordLayoutBuilder::AppendField(CharUnits fieldOffset,
786 const llvm::Type *fieldType) {
787 CharUnits fieldSize =
788 CharUnits::fromQuantity(Types.getTargetData().getTypeAllocSize(fieldType));
Anders Carlsson6e853bf2009-07-24 02:45:50 +0000789
John McCall4d9f1422011-02-15 22:21:29 +0000790 FieldTypes.push_back(fieldType);
Anders Carlsson307846f2009-07-23 03:17:50 +0000791
John McCall4d9f1422011-02-15 22:21:29 +0000792 NextFieldOffset = fieldOffset + fieldSize;
Anders Carlsson307846f2009-07-23 03:17:50 +0000793 BitsAvailableInLastField = 0;
794}
795
John McCall4d9f1422011-02-15 22:21:29 +0000796void CGRecordLayoutBuilder::AppendPadding(CharUnits fieldOffset,
797 CharUnits fieldAlignment) {
798 assert(NextFieldOffset <= fieldOffset &&
Anders Carlsson307846f2009-07-23 03:17:50 +0000799 "Incorrect field layout!");
Mike Stump11289f42009-09-09 15:08:12 +0000800
Anders Carlsson307846f2009-07-23 03:17:50 +0000801 // Round up the field offset to the alignment of the field type.
John McCall4d9f1422011-02-15 22:21:29 +0000802 CharUnits alignedNextFieldOffset =
803 NextFieldOffset.RoundUpToAlignment(fieldAlignment);
Anders Carlsson307846f2009-07-23 03:17:50 +0000804
John McCall4d9f1422011-02-15 22:21:29 +0000805 if (alignedNextFieldOffset < fieldOffset) {
Anders Carlsson307846f2009-07-23 03:17:50 +0000806 // Even with alignment, the field offset is not at the right place,
807 // insert padding.
John McCall4d9f1422011-02-15 22:21:29 +0000808 CharUnits padding = fieldOffset - NextFieldOffset;
Anders Carlsson307846f2009-07-23 03:17:50 +0000809
John McCall4d9f1422011-02-15 22:21:29 +0000810 AppendBytes(padding);
Anders Carlsson307846f2009-07-23 03:17:50 +0000811 }
812}
813
Anders Carlssonfcaaa692011-04-17 21:56:13 +0000814bool CGRecordLayoutBuilder::ResizeLastBaseFieldIfNecessary(CharUnits offset) {
815 // Check if we have a base to resize.
816 if (!LastLaidOutBase.isValid())
817 return false;
818
819 // This offset does not overlap with the tail padding.
820 if (offset >= NextFieldOffset)
821 return false;
822
823 // Restore the field offset and append an i8 array instead.
824 FieldTypes.pop_back();
825 NextFieldOffset = LastLaidOutBase.Offset;
826 AppendBytes(LastLaidOutBase.NonVirtualSize);
827 LastLaidOutBase.invalidate();
828
829 return true;
830}
831
John McCall4d9f1422011-02-15 22:21:29 +0000832const llvm::Type *CGRecordLayoutBuilder::getByteArrayType(CharUnits numBytes) {
833 assert(!numBytes.isZero() && "Empty byte arrays aren't allowed.");
Mike Stump11289f42009-09-09 15:08:12 +0000834
Owen Anderson41a75022009-08-13 21:57:51 +0000835 const llvm::Type *Ty = llvm::Type::getInt8Ty(Types.getLLVMContext());
John McCall4d9f1422011-02-15 22:21:29 +0000836 if (numBytes > CharUnits::One())
837 Ty = llvm::ArrayType::get(Ty, numBytes.getQuantity());
Mike Stump11289f42009-09-09 15:08:12 +0000838
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000839 return Ty;
840}
841
John McCall4d9f1422011-02-15 22:21:29 +0000842void CGRecordLayoutBuilder::AppendBytes(CharUnits numBytes) {
843 if (numBytes.isZero())
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000844 return;
845
Anders Carlsson307846f2009-07-23 03:17:50 +0000846 // Append the padding field
John McCall4d9f1422011-02-15 22:21:29 +0000847 AppendField(NextFieldOffset, getByteArrayType(numBytes));
Anders Carlsson307846f2009-07-23 03:17:50 +0000848}
849
John McCall4d9f1422011-02-15 22:21:29 +0000850CharUnits CGRecordLayoutBuilder::getTypeAlignment(const llvm::Type *Ty) const {
Anders Carlssond78fc892009-07-23 17:24:40 +0000851 if (Packed)
John McCall4d9f1422011-02-15 22:21:29 +0000852 return CharUnits::One();
Mike Stump11289f42009-09-09 15:08:12 +0000853
John McCall4d9f1422011-02-15 22:21:29 +0000854 return CharUnits::fromQuantity(Types.getTargetData().getABITypeAlignment(Ty));
Anders Carlsson307846f2009-07-23 03:17:50 +0000855}
856
John McCall4d9f1422011-02-15 22:21:29 +0000857CharUnits CGRecordLayoutBuilder::getAlignmentAsLLVMStruct() const {
Anders Carlssonacf877b2010-11-28 23:06:23 +0000858 if (Packed)
John McCall4d9f1422011-02-15 22:21:29 +0000859 return CharUnits::One();
Anders Carlssonacf877b2010-11-28 23:06:23 +0000860
John McCall4d9f1422011-02-15 22:21:29 +0000861 CharUnits maxAlignment = CharUnits::One();
Anders Carlssonacf877b2010-11-28 23:06:23 +0000862 for (size_t i = 0; i != FieldTypes.size(); ++i)
John McCall4d9f1422011-02-15 22:21:29 +0000863 maxAlignment = std::max(maxAlignment, getTypeAlignment(FieldTypes[i]));
Anders Carlssonacf877b2010-11-28 23:06:23 +0000864
John McCall4d9f1422011-02-15 22:21:29 +0000865 return maxAlignment;
Anders Carlssonacf877b2010-11-28 23:06:23 +0000866}
867
John McCall0217dfc22011-02-15 06:40:56 +0000868/// Merge in whether a field of the given type is zero-initializable.
John McCall614dbdc2010-08-22 21:01:12 +0000869void CGRecordLayoutBuilder::CheckZeroInitializable(QualType T) {
Anders Carlssond606de72009-08-23 01:25:01 +0000870 // This record already contains a member pointer.
John McCall0217dfc22011-02-15 06:40:56 +0000871 if (!IsZeroInitializableAsBase)
Anders Carlssond606de72009-08-23 01:25:01 +0000872 return;
Mike Stump11289f42009-09-09 15:08:12 +0000873
Anders Carlssond606de72009-08-23 01:25:01 +0000874 // Can only have member pointers if we're compiling C++.
875 if (!Types.getContext().getLangOptions().CPlusPlus)
876 return;
Mike Stump11289f42009-09-09 15:08:12 +0000877
John McCall0217dfc22011-02-15 06:40:56 +0000878 const Type *elementType = T->getBaseElementTypeUnsafe();
Mike Stump11289f42009-09-09 15:08:12 +0000879
John McCall0217dfc22011-02-15 06:40:56 +0000880 if (const MemberPointerType *MPT = elementType->getAs<MemberPointerType>()) {
John McCall614dbdc2010-08-22 21:01:12 +0000881 if (!Types.getCXXABI().isZeroInitializable(MPT))
John McCall0217dfc22011-02-15 06:40:56 +0000882 IsZeroInitializable = IsZeroInitializableAsBase = false;
883 } else if (const RecordType *RT = elementType->getAs<RecordType>()) {
Anders Carlssone8bfe412010-02-02 05:17:25 +0000884 const CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
John McCall0217dfc22011-02-15 06:40:56 +0000885 const CGRecordLayout &Layout = Types.getCGRecordLayout(RD);
886 if (!Layout.isZeroInitializable())
887 IsZeroInitializable = IsZeroInitializableAsBase = false;
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000888 }
Anders Carlssond606de72009-08-23 01:25:01 +0000889}
890
Daniel Dunbar23ee4b72010-03-31 00:11:27 +0000891CGRecordLayout *CodeGenTypes::ComputeRecordLayout(const RecordDecl *D) {
892 CGRecordLayoutBuilder Builder(*this);
Mike Stump11289f42009-09-09 15:08:12 +0000893
Anders Carlsson307846f2009-07-23 03:17:50 +0000894 Builder.Layout(D);
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000895
Anders Carlsson36e2fa82010-11-24 19:37:16 +0000896 const llvm::StructType *Ty = llvm::StructType::get(getLLVMContext(),
897 Builder.FieldTypes,
898 Builder.Packed);
Mike Stump11289f42009-09-09 15:08:12 +0000899
John McCall0217dfc22011-02-15 06:40:56 +0000900 // If we're in C++, compute the base subobject type.
Anders Carlsson36e2fa82010-11-24 19:37:16 +0000901 const llvm::StructType *BaseTy = 0;
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000902 if (isa<CXXRecordDecl>(D)) {
John McCall0217dfc22011-02-15 06:40:56 +0000903 BaseTy = Builder.BaseSubobjectType;
904 if (!BaseTy) BaseTy = Ty;
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000905 }
906
Daniel Dunbar034299e2010-03-31 01:09:11 +0000907 CGRecordLayout *RL =
John McCall0217dfc22011-02-15 06:40:56 +0000908 new CGRecordLayout(Ty, BaseTy, Builder.IsZeroInitializable,
909 Builder.IsZeroInitializableAsBase);
Daniel Dunbar034299e2010-03-31 01:09:11 +0000910
John McCall0217dfc22011-02-15 06:40:56 +0000911 RL->NonVirtualBases.swap(Builder.NonVirtualBases);
912 RL->CompleteObjectVirtualBases.swap(Builder.VirtualBases);
Anders Carlsson061ca522010-05-18 05:22:06 +0000913
Anders Carlsson307846f2009-07-23 03:17:50 +0000914 // Add all the field numbers.
John McCall0217dfc22011-02-15 06:40:56 +0000915 RL->FieldInfo.swap(Builder.Fields);
Anders Carlsson307846f2009-07-23 03:17:50 +0000916
917 // Add bitfield info.
John McCall0217dfc22011-02-15 06:40:56 +0000918 RL->BitFields.swap(Builder.BitFields);
Mike Stump11289f42009-09-09 15:08:12 +0000919
Daniel Dunbar2ea51832010-04-19 20:44:47 +0000920 // Dump the layout, if requested.
Daniel Dunbarb935b932010-04-13 20:58:55 +0000921 if (getContext().getLangOptions().DumpRecordLayouts) {
Daniel Dunbarccabe482010-04-19 20:44:53 +0000922 llvm::errs() << "\n*** Dumping IRgen Record Layout\n";
Daniel Dunbarb935b932010-04-13 20:58:55 +0000923 llvm::errs() << "Record: ";
924 D->dump();
925 llvm::errs() << "\nLayout: ";
Daniel Dunbarb97bff92010-04-12 18:14:18 +0000926 RL->dump();
Daniel Dunbarb935b932010-04-13 20:58:55 +0000927 }
Daniel Dunbarb97bff92010-04-12 18:14:18 +0000928
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000929#ifndef NDEBUG
Daniel Dunbar2ea51832010-04-19 20:44:47 +0000930 // Verify that the computed LLVM struct size matches the AST layout size.
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000931 const ASTRecordLayout &Layout = getContext().getASTRecordLayout(D);
932
Ken Dyckb0fcc592011-02-11 01:54:29 +0000933 uint64_t TypeSizeInBits = getContext().toBits(Layout.getSize());
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000934 assert(TypeSizeInBits == getTargetData().getTypeAllocSizeInBits(Ty) &&
Daniel Dunbar2ea51832010-04-19 20:44:47 +0000935 "Type size mismatch!");
936
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000937 if (BaseTy) {
Ken Dyckbec02852011-02-08 02:02:47 +0000938 CharUnits NonVirtualSize = Layout.getNonVirtualSize();
939 CharUnits NonVirtualAlign = Layout.getNonVirtualAlign();
940 CharUnits AlignedNonVirtualTypeSize =
941 NonVirtualSize.RoundUpToAlignment(NonVirtualAlign);
942
943 uint64_t AlignedNonVirtualTypeSizeInBits =
Ken Dyckb0fcc592011-02-11 01:54:29 +0000944 getContext().toBits(AlignedNonVirtualTypeSize);
Anders Carlssonc1351ca2010-11-09 05:25:47 +0000945
946 assert(AlignedNonVirtualTypeSizeInBits ==
947 getTargetData().getTypeAllocSizeInBits(BaseTy) &&
948 "Type size mismatch!");
949 }
950
Daniel Dunbar2ba67442010-04-21 19:10:49 +0000951 // Verify that the LLVM and AST field offsets agree.
Daniel Dunbar2ba67442010-04-21 19:10:49 +0000952 const llvm::StructType *ST =
953 dyn_cast<llvm::StructType>(RL->getLLVMType());
954 const llvm::StructLayout *SL = getTargetData().getStructLayout(ST);
955
956 const ASTRecordLayout &AST_RL = getContext().getASTRecordLayout(D);
957 RecordDecl::field_iterator it = D->field_begin();
958 for (unsigned i = 0, e = AST_RL.getFieldCount(); i != e; ++i, ++it) {
959 const FieldDecl *FD = *it;
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000960
961 // For non-bit-fields, just check that the LLVM struct offset matches the
962 // AST offset.
963 if (!FD->isBitField()) {
Daniel Dunbar2ba67442010-04-21 19:10:49 +0000964 unsigned FieldNo = RL->getLLVMFieldNo(FD);
965 assert(AST_RL.getFieldOffset(i) == SL->getElementOffsetInBits(FieldNo) &&
966 "Invalid field offset!");
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000967 continue;
968 }
969
970 // Ignore unnamed bit-fields.
971 if (!FD->getDeclName())
972 continue;
973
974 const CGBitFieldInfo &Info = RL->getBitFieldInfo(FD);
975 for (unsigned i = 0, e = Info.getNumComponents(); i != e; ++i) {
976 const CGBitFieldInfo::AccessInfo &AI = Info.getComponent(i);
977
978 // Verify that every component access is within the structure.
979 uint64_t FieldOffset = SL->getElementOffsetInBits(AI.FieldIndex);
John McCall8a3c5552011-02-26 08:41:59 +0000980 uint64_t AccessBitOffset = FieldOffset +
981 getContext().toBits(CharUnits::fromQuantity(AI.FieldByteOffset));
Daniel Dunbar488f55c2010-04-22 02:35:46 +0000982 assert(AccessBitOffset + AI.AccessWidth <= TypeSizeInBits &&
983 "Invalid bit-field access (out of range)!");
Daniel Dunbar2ba67442010-04-21 19:10:49 +0000984 }
985 }
986#endif
Daniel Dunbar2ea51832010-04-19 20:44:47 +0000987
Daniel Dunbar034299e2010-03-31 01:09:11 +0000988 return RL;
Anders Carlsson307846f2009-07-23 03:17:50 +0000989}
Daniel Dunbarb97bff92010-04-12 18:14:18 +0000990
991void CGRecordLayout::print(llvm::raw_ostream &OS) const {
992 OS << "<CGRecordLayout\n";
John McCall0217dfc22011-02-15 06:40:56 +0000993 OS << " LLVMType:" << *CompleteObjectType << "\n";
994 if (BaseSubobjectType)
995 OS << " NonVirtualBaseLLVMType:" << *BaseSubobjectType << "\n";
John McCall614dbdc2010-08-22 21:01:12 +0000996 OS << " IsZeroInitializable:" << IsZeroInitializable << "\n";
Daniel Dunbarb97bff92010-04-12 18:14:18 +0000997 OS << " BitFields:[\n";
Daniel Dunbarb6f4b052010-04-22 02:35:36 +0000998
999 // Print bit-field infos in declaration order.
1000 std::vector<std::pair<unsigned, const CGBitFieldInfo*> > BFIs;
Daniel Dunbarb97bff92010-04-12 18:14:18 +00001001 for (llvm::DenseMap<const FieldDecl*, CGBitFieldInfo>::const_iterator
1002 it = BitFields.begin(), ie = BitFields.end();
1003 it != ie; ++it) {
Daniel Dunbarb6f4b052010-04-22 02:35:36 +00001004 const RecordDecl *RD = it->first->getParent();
1005 unsigned Index = 0;
1006 for (RecordDecl::field_iterator
1007 it2 = RD->field_begin(); *it2 != it->first; ++it2)
1008 ++Index;
1009 BFIs.push_back(std::make_pair(Index, &it->second));
1010 }
1011 llvm::array_pod_sort(BFIs.begin(), BFIs.end());
1012 for (unsigned i = 0, e = BFIs.size(); i != e; ++i) {
Daniel Dunbarb935b932010-04-13 20:58:55 +00001013 OS.indent(4);
Daniel Dunbarb6f4b052010-04-22 02:35:36 +00001014 BFIs[i].second->print(OS);
Daniel Dunbarb97bff92010-04-12 18:14:18 +00001015 OS << "\n";
1016 }
Daniel Dunbarb6f4b052010-04-22 02:35:36 +00001017
Daniel Dunbarb97bff92010-04-12 18:14:18 +00001018 OS << "]>\n";
1019}
1020
1021void CGRecordLayout::dump() const {
1022 print(llvm::errs());
1023}
1024
1025void CGBitFieldInfo::print(llvm::raw_ostream &OS) const {
1026 OS << "<CGBitFieldInfo";
Daniel Dunbarb97bff92010-04-12 18:14:18 +00001027 OS << " Size:" << Size;
Daniel Dunbarb935b932010-04-13 20:58:55 +00001028 OS << " IsSigned:" << IsSigned << "\n";
1029
1030 OS.indent(4 + strlen("<CGBitFieldInfo"));
1031 OS << " NumComponents:" << getNumComponents();
1032 OS << " Components: [";
1033 if (getNumComponents()) {
1034 OS << "\n";
1035 for (unsigned i = 0, e = getNumComponents(); i != e; ++i) {
1036 const AccessInfo &AI = getComponent(i);
1037 OS.indent(8);
1038 OS << "<AccessInfo"
1039 << " FieldIndex:" << AI.FieldIndex
1040 << " FieldByteOffset:" << AI.FieldByteOffset
1041 << " FieldBitStart:" << AI.FieldBitStart
1042 << " AccessWidth:" << AI.AccessWidth << "\n";
1043 OS.indent(8 + strlen("<AccessInfo"));
1044 OS << " AccessAlignment:" << AI.AccessAlignment
1045 << " TargetBitOffset:" << AI.TargetBitOffset
1046 << " TargetBitWidth:" << AI.TargetBitWidth
1047 << ">\n";
1048 }
1049 OS.indent(4);
1050 }
1051 OS << "]>";
Daniel Dunbarb97bff92010-04-12 18:14:18 +00001052}
1053
1054void CGBitFieldInfo::dump() const {
1055 print(llvm::errs());
1056}