RecordLayoutBuilder.cpp revision 9ed9a250180f19b2c44df83a196fc3a2ac82f817
19392fa63e45716e32061d05673fa28909f325b02Anders Carlsson//=== RecordLayoutBuilder.cpp - Helper class for building record layouts ---==//
2bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson//
3bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson//                     The LLVM Compiler Infrastructure
4bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson//
5bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson// This file is distributed under the University of Illinois Open Source
6bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson// License. See LICENSE.TXT for details.
7bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson//
8bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson//===----------------------------------------------------------------------===//
9bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson
10bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson#include "clang/AST/Attr.h"
11245656ec65ec600ef1ab05f4c8d9f780542d689dAnders Carlsson#include "clang/AST/CXXInheritance.h"
12bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson#include "clang/AST/Decl.h"
1374cbe226207fd101623638dadfa7fbada04ff2a6Anders Carlsson#include "clang/AST/DeclCXX.h"
1493fab9d67ca62e3e291803e5a1309473d6e00344Anders Carlsson#include "clang/AST/DeclObjC.h"
15bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson#include "clang/AST/Expr.h"
169392fa63e45716e32061d05673fa28909f325b02Anders Carlsson#include "clang/AST/RecordLayout.h"
17bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson#include "clang/Basic/TargetInfo.h"
1878a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis#include "clang/Sema/SemaDiagnostic.h"
19bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar#include "llvm/Support/Format.h"
20bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar#include "llvm/ADT/SmallSet.h"
21bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar#include "llvm/Support/MathExtras.h"
229392fa63e45716e32061d05673fa28909f325b02Anders Carlsson#include <map>
23bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson
24bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlssonusing namespace clang;
25bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson
267e220286410422ed1dc0409a9cb9708fe50e3df0Benjamin Kramernamespace {
276a91c0328c81fe1be4e5380fb0e586cafee53b26Anders Carlsson
28ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson/// BaseSubobjectInfo - Represents a single base subobject in a complete class.
29ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson/// For a class hierarchy like
30ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson///
31ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson/// class A { };
32ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson/// class B : A { };
33ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson/// class C : A, B { };
34ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson///
35ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson/// The BaseSubobjectInfo graph for C will have three BaseSubobjectInfo
36ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson/// instances, one for B and two for A.
37ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson///
38ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson/// If a base is virtual, it will only have one BaseSubobjectInfo allocated.
39ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlssonstruct BaseSubobjectInfo {
40ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson  /// Class - The class for this base info.
414a25799760982b3363f3c4eb6df953d70e35e37dAnders Carlsson  const CXXRecordDecl *Class;
42ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson
43ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson  /// IsVirtual - Whether the BaseInfo represents a virtual base or not.
444a25799760982b3363f3c4eb6df953d70e35e37dAnders Carlsson  bool IsVirtual;
454a25799760982b3363f3c4eb6df953d70e35e37dAnders Carlsson
46ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson  /// Bases - Information about the base subobjects.
47ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson  llvm::SmallVector<BaseSubobjectInfo*, 4> Bases;
48ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson
496e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  /// PrimaryVirtualBaseInfo - Holds the base info for the primary virtual base
506e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  /// of this base info (if one exists).
516e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  BaseSubobjectInfo *PrimaryVirtualBaseInfo;
52ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson
53ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson  // FIXME: Document.
54ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson  const BaseSubobjectInfo *Derived;
554a25799760982b3363f3c4eb6df953d70e35e37dAnders Carlsson};
564a25799760982b3363f3c4eb6df953d70e35e37dAnders Carlsson
576a91c0328c81fe1be4e5380fb0e586cafee53b26Anders Carlsson/// EmptySubobjectMap - Keeps track of which empty subobjects exist at different
586a91c0328c81fe1be4e5380fb0e586cafee53b26Anders Carlsson/// offsets while laying out a C++ class.
596a91c0328c81fe1be4e5380fb0e586cafee53b26Anders Carlssonclass EmptySubobjectMap {
604ba2a17694148e16eaa8d3917f657ffcd3667be4Jay Foad  const ASTContext &Context;
618c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson  uint64_t CharWidth;
628c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson
636a91c0328c81fe1be4e5380fb0e586cafee53b26Anders Carlsson  /// Class - The class whose empty entries we're keeping track of.
646a91c0328c81fe1be4e5380fb0e586cafee53b26Anders Carlsson  const CXXRecordDecl *Class;
650aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
6658b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson  /// EmptyClassOffsets - A map from offsets to empty record decls.
6758b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson  typedef llvm::SmallVector<const CXXRecordDecl *, 1> ClassVectorTy;
68d8da76365f40a0c12c7d802a0da2aaacf4b2cf99Anders Carlsson  typedef llvm::DenseMap<CharUnits, ClassVectorTy> EmptyClassOffsetsMapTy;
6958b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson  EmptyClassOffsetsMapTy EmptyClassOffsets;
7058b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson
71c8cb462e57ac13518a170fe52b77bb8656234b35Anders Carlsson  /// MaxEmptyClassOffset - The highest offset known to contain an empty
72c8cb462e57ac13518a170fe52b77bb8656234b35Anders Carlsson  /// base subobject.
73fe5ef73149514e513a231a1df1a5938f3ad1545aAnders Carlsson  CharUnits MaxEmptyClassOffset;
74c8cb462e57ac13518a170fe52b77bb8656234b35Anders Carlsson
750aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar  /// ComputeEmptySubobjectSizes - Compute the size of the largest base or
760c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson  /// member subobject that is empty.
770c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson  void ComputeEmptySubobjectSizes();
7858b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson
79fe5ef73149514e513a231a1df1a5938f3ad1545aAnders Carlsson  void AddSubobjectAtOffset(const CXXRecordDecl *RD, CharUnits Offset);
80812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
81ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson  void UpdateEmptyBaseSubobjects(const BaseSubobjectInfo *Info,
82a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson                                 CharUnits Offset, bool PlacingEmptyBase);
8358b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson
84812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  void UpdateEmptyFieldSubobjects(const CXXRecordDecl *RD,
85812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson                                  const CXXRecordDecl *Class,
86a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson                                  CharUnits Offset);
87a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson  void UpdateEmptyFieldSubobjects(const FieldDecl *FD, CharUnits Offset);
88812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
89c8cb462e57ac13518a170fe52b77bb8656234b35Anders Carlsson  /// AnyEmptySubobjectsBeyondOffset - Returns whether there are any empty
90c8cb462e57ac13518a170fe52b77bb8656234b35Anders Carlsson  /// subobjects beyond the given offset.
91fe5ef73149514e513a231a1df1a5938f3ad1545aAnders Carlsson  bool AnyEmptySubobjectsBeyondOffset(CharUnits Offset) const {
92c8cb462e57ac13518a170fe52b77bb8656234b35Anders Carlsson    return Offset <= MaxEmptyClassOffset;
93c8cb462e57ac13518a170fe52b77bb8656234b35Anders Carlsson  }
94c8cb462e57ac13518a170fe52b77bb8656234b35Anders Carlsson
958c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson  CharUnits
968c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson  getFieldOffset(const ASTRecordLayout &Layout, unsigned FieldNo) const {
978c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson    uint64_t FieldOffset = Layout.getFieldOffset(FieldNo);
988c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson    assert(FieldOffset % CharWidth == 0 &&
998c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson           "Field offset not at char boundary!");
1008c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson
101ff3a5174d1f6e7dc98de348aecfdfe1d2fb7cd53Ken Dyck    return Context.toCharUnitsFromBits(FieldOffset);
102d8da76365f40a0c12c7d802a0da2aaacf4b2cf99Anders Carlsson  }
103d8da76365f40a0c12c7d802a0da2aaacf4b2cf99Anders Carlsson
104c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davisprotected:
105fe5ef73149514e513a231a1df1a5938f3ad1545aAnders Carlsson  bool CanPlaceSubobjectAtOffset(const CXXRecordDecl *RD,
106fe5ef73149514e513a231a1df1a5938f3ad1545aAnders Carlsson                                 CharUnits Offset) const;
107c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis
108c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis  bool CanPlaceBaseSubobjectAtOffset(const BaseSubobjectInfo *Info,
109a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson                                     CharUnits Offset);
110c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis
111c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis  bool CanPlaceFieldSubobjectAtOffset(const CXXRecordDecl *RD,
112c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis                                      const CXXRecordDecl *Class,
113a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson                                      CharUnits Offset) const;
114c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis  bool CanPlaceFieldSubobjectAtOffset(const FieldDecl *FD,
1158c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson                                      CharUnits Offset) const;
116c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis
1176a91c0328c81fe1be4e5380fb0e586cafee53b26Anders Carlssonpublic:
1180c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson  /// This holds the size of the largest empty subobject (either a base
1190aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar  /// or a member). Will be zero if the record being built doesn't contain
1200c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson  /// any empty classes.
121a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson  CharUnits SizeOfLargestEmptySubobject;
1220aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
1234ba2a17694148e16eaa8d3917f657ffcd3667be4Jay Foad  EmptySubobjectMap(const ASTContext &Context, const CXXRecordDecl *Class)
124a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson  : Context(Context), CharWidth(Context.getCharWidth()), Class(Class) {
125261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson      ComputeEmptySubobjectSizes();
126261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson  }
127261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson
128261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson  /// CanPlaceBaseAtOffset - Return whether the given base class can be placed
129261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson  /// at the given offset.
1300aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar  /// Returns false if placing the record will result in two components
131261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson  /// (direct or indirect) of the same type having the same offset.
132c8cb462e57ac13518a170fe52b77bb8656234b35Anders Carlsson  bool CanPlaceBaseAtOffset(const BaseSubobjectInfo *Info,
133a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson                            CharUnits Offset);
134812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
135812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  /// CanPlaceFieldAtOffset - Return whether a field can be placed at the given
136812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  /// offset.
137a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson  bool CanPlaceFieldAtOffset(const FieldDecl *FD, CharUnits Offset);
1386a91c0328c81fe1be4e5380fb0e586cafee53b26Anders Carlsson};
1390c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson
1400c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlssonvoid EmptySubobjectMap::ComputeEmptySubobjectSizes() {
1410c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson  // Check the bases.
1420c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson  for (CXXRecordDecl::base_class_const_iterator I = Class->bases_begin(),
1430c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson       E = Class->bases_end(); I != E; ++I) {
1440c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson    const CXXRecordDecl *BaseDecl =
1450c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson      cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
1460c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson
147a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson    CharUnits EmptySize;
1480c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson    const ASTRecordLayout &Layout = Context.getASTRecordLayout(BaseDecl);
1490c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson    if (BaseDecl->isEmpty()) {
1500c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson      // If the class decl is empty, get its size.
1515f022d82696c84e4d127c558871d68ac6273274eKen Dyck      EmptySize = Layout.getSize();
1520c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson    } else {
1530c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson      // Otherwise, we get the largest empty subobject for the decl.
1540c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson      EmptySize = Layout.getSizeOfLargestEmptySubobject();
1550c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson    }
1560aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
157a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson    if (EmptySize > SizeOfLargestEmptySubobject)
158a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson      SizeOfLargestEmptySubobject = EmptySize;
1590c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson  }
1600aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
1610c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson  // Check the fields.
1620c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson  for (CXXRecordDecl::field_iterator I = Class->field_begin(),
1630c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson       E = Class->field_end(); I != E; ++I) {
1640c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson    const FieldDecl *FD = *I;
1650aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
1660aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar    const RecordType *RT =
1670c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson      Context.getBaseElementType(FD->getType())->getAs<RecordType>();
1680aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
1690c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson    // We only care about record types.
1700c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson    if (!RT)
1710c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson      continue;
1720c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson
173a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson    CharUnits EmptySize;
1740c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson    const CXXRecordDecl *MemberDecl = cast<CXXRecordDecl>(RT->getDecl());
1750c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson    const ASTRecordLayout &Layout = Context.getASTRecordLayout(MemberDecl);
1760c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson    if (MemberDecl->isEmpty()) {
1770c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson      // If the class decl is empty, get its size.
1785f022d82696c84e4d127c558871d68ac6273274eKen Dyck      EmptySize = Layout.getSize();
1790c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson    } else {
1800c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson      // Otherwise, we get the largest empty subobject for the decl.
1810c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson      EmptySize = Layout.getSizeOfLargestEmptySubobject();
1820c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson    }
1830aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
184a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson    if (EmptySize > SizeOfLargestEmptySubobject)
185a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson      SizeOfLargestEmptySubobject = EmptySize;
1860c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson  }
1870c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson}
1880c54fc91322faaa78422c3aaec261a26e45d7f8cAnders Carlsson
1890aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbarbool
190812a3456b63708a5972f712e9e4b54d3cc436378Anders CarlssonEmptySubobjectMap::CanPlaceSubobjectAtOffset(const CXXRecordDecl *RD,
191fe5ef73149514e513a231a1df1a5938f3ad1545aAnders Carlsson                                             CharUnits Offset) const {
192812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  // We only need to check empty bases.
193812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  if (!RD->isEmpty())
194812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    return true;
195812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
196fe5ef73149514e513a231a1df1a5938f3ad1545aAnders Carlsson  EmptyClassOffsetsMapTy::const_iterator I = EmptyClassOffsets.find(Offset);
197812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  if (I == EmptyClassOffsets.end())
198812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    return true;
199812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
200812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  const ClassVectorTy& Classes = I->second;
201812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  if (std::find(Classes.begin(), Classes.end(), RD) == Classes.end())
202812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    return true;
203812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
204812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  // There is already an empty class of the same type at this offset.
205812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  return false;
206812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson}
207812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
208812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlssonvoid EmptySubobjectMap::AddSubobjectAtOffset(const CXXRecordDecl *RD,
209fe5ef73149514e513a231a1df1a5938f3ad1545aAnders Carlsson                                             CharUnits Offset) {
210812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  // We only care about empty bases.
211812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  if (!RD->isEmpty())
212812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    return;
213812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
214272324bc881450a71873d2f4e72f17837d8998dfRafael Espindola  // If we have empty structures inside an union, we can assign both
215272324bc881450a71873d2f4e72f17837d8998dfRafael Espindola  // the same offset. Just avoid pushing them twice in the list.
216fe5ef73149514e513a231a1df1a5938f3ad1545aAnders Carlsson  ClassVectorTy& Classes = EmptyClassOffsets[Offset];
217272324bc881450a71873d2f4e72f17837d8998dfRafael Espindola  if (std::find(Classes.begin(), Classes.end(), RD) != Classes.end())
218272324bc881450a71873d2f4e72f17837d8998dfRafael Espindola    return;
219272324bc881450a71873d2f4e72f17837d8998dfRafael Espindola
220812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  Classes.push_back(RD);
221c8cb462e57ac13518a170fe52b77bb8656234b35Anders Carlsson
222c8cb462e57ac13518a170fe52b77bb8656234b35Anders Carlsson  // Update the empty class offset.
223fe5ef73149514e513a231a1df1a5938f3ad1545aAnders Carlsson  if (Offset > MaxEmptyClassOffset)
224fe5ef73149514e513a231a1df1a5938f3ad1545aAnders Carlsson    MaxEmptyClassOffset = Offset;
225812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson}
226812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
227812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlssonbool
228a3d4380d6662a373bc78f915947e5bc06e985e91Anders CarlssonEmptySubobjectMap::CanPlaceBaseSubobjectAtOffset(const BaseSubobjectInfo *Info,
229a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson                                                 CharUnits Offset) {
2302177ab7be5256e691a115356fcb8f3eef9c9733fAnders Carlsson  // We don't have to keep looking past the maximum offset that's known to
2312177ab7be5256e691a115356fcb8f3eef9c9733fAnders Carlsson  // contain an empty class.
232a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson  if (!AnyEmptySubobjectsBeyondOffset(Offset))
2332177ab7be5256e691a115356fcb8f3eef9c9733fAnders Carlsson    return true;
2342177ab7be5256e691a115356fcb8f3eef9c9733fAnders Carlsson
235a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson  if (!CanPlaceSubobjectAtOffset(Info->Class, Offset))
236812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    return false;
237812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
23858b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson  // Traverse all non-virtual bases.
2394137d517700a1b0f834535545c3f1676f40abcfbAnders Carlsson  const ASTRecordLayout &Layout = Context.getASTRecordLayout(Info->Class);
24058b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson  for (unsigned I = 0, E = Info->Bases.size(); I != E; ++I) {
241ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson    BaseSubobjectInfo* Base = Info->Bases[I];
24258b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson    if (Base->IsVirtual)
24358b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson      continue;
24458b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson
2456a3567442307864eac52bb84ce41465753513635Anders Carlsson    CharUnits BaseOffset = Offset + Layout.getBaseClassOffset(Base->Class);
24658b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson
24758b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson    if (!CanPlaceBaseSubobjectAtOffset(Base, BaseOffset))
24858b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson      return false;
24958b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson  }
25058b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson
2516e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  if (Info->PrimaryVirtualBaseInfo) {
2526e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    BaseSubobjectInfo *PrimaryVirtualBaseInfo = Info->PrimaryVirtualBaseInfo;
25358b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson
25458b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson    if (Info == PrimaryVirtualBaseInfo->Derived) {
25558b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson      if (!CanPlaceBaseSubobjectAtOffset(PrimaryVirtualBaseInfo, Offset))
25658b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson        return false;
25758b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson    }
25858b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson  }
25958b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson
260812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  // Traverse all member variables.
261812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  unsigned FieldNo = 0;
262812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  for (CXXRecordDecl::field_iterator I = Info->Class->field_begin(),
263812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson       E = Info->Class->field_end(); I != E; ++I, ++FieldNo) {
264812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    const FieldDecl *FD = *I;
2658c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson    if (FD->isBitField())
2668c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson      continue;
2678c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson
268a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson    CharUnits FieldOffset = Offset + getFieldOffset(Layout, FieldNo);
269812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    if (!CanPlaceFieldSubobjectAtOffset(FD, FieldOffset))
270812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson      return false;
271812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  }
272812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
27358b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson  return true;
27458b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson}
27558b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson
276ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlssonvoid EmptySubobjectMap::UpdateEmptyBaseSubobjects(const BaseSubobjectInfo *Info,
277a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson                                                  CharUnits Offset,
278e3362bc104f401564a68ef2e0e5fd89f440cf4fcAnders Carlsson                                                  bool PlacingEmptyBase) {
279e3362bc104f401564a68ef2e0e5fd89f440cf4fcAnders Carlsson  if (!PlacingEmptyBase && Offset >= SizeOfLargestEmptySubobject) {
280e3362bc104f401564a68ef2e0e5fd89f440cf4fcAnders Carlsson    // We know that the only empty subobjects that can conflict with empty
281e3362bc104f401564a68ef2e0e5fd89f440cf4fcAnders Carlsson    // subobject of non-empty bases, are empty bases that can be placed at
282e3362bc104f401564a68ef2e0e5fd89f440cf4fcAnders Carlsson    // offset zero. Because of this, we only need to keep track of empty base
283e3362bc104f401564a68ef2e0e5fd89f440cf4fcAnders Carlsson    // subobjects with offsets less than the size of the largest empty
284e3362bc104f401564a68ef2e0e5fd89f440cf4fcAnders Carlsson    // subobject for our class.
285e3362bc104f401564a68ef2e0e5fd89f440cf4fcAnders Carlsson    return;
286e3362bc104f401564a68ef2e0e5fd89f440cf4fcAnders Carlsson  }
287e3362bc104f401564a68ef2e0e5fd89f440cf4fcAnders Carlsson
288a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson  AddSubobjectAtOffset(Info->Class, Offset);
2894137d517700a1b0f834535545c3f1676f40abcfbAnders Carlsson
29058b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson  // Traverse all non-virtual bases.
2914137d517700a1b0f834535545c3f1676f40abcfbAnders Carlsson  const ASTRecordLayout &Layout = Context.getASTRecordLayout(Info->Class);
29258b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson  for (unsigned I = 0, E = Info->Bases.size(); I != E; ++I) {
293ea2f41c584b9741a591e11c83819b31856f5bc18Anders Carlsson    BaseSubobjectInfo* Base = Info->Bases[I];
29458b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson    if (Base->IsVirtual)
29558b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson      continue;
2964137d517700a1b0f834535545c3f1676f40abcfbAnders Carlsson
2976a3567442307864eac52bb84ce41465753513635Anders Carlsson    CharUnits BaseOffset = Offset + Layout.getBaseClassOffset(Base->Class);
298e3362bc104f401564a68ef2e0e5fd89f440cf4fcAnders Carlsson    UpdateEmptyBaseSubobjects(Base, BaseOffset, PlacingEmptyBase);
29958b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson  }
30058b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson
3016e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  if (Info->PrimaryVirtualBaseInfo) {
3026e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    BaseSubobjectInfo *PrimaryVirtualBaseInfo = Info->PrimaryVirtualBaseInfo;
30358b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson
30458b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson    if (Info == PrimaryVirtualBaseInfo->Derived)
305e3362bc104f401564a68ef2e0e5fd89f440cf4fcAnders Carlsson      UpdateEmptyBaseSubobjects(PrimaryVirtualBaseInfo, Offset,
306e3362bc104f401564a68ef2e0e5fd89f440cf4fcAnders Carlsson                                PlacingEmptyBase);
30758b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson  }
308812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
309812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  // Traverse all member variables.
310812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  unsigned FieldNo = 0;
311812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  for (CXXRecordDecl::field_iterator I = Info->Class->field_begin(),
312812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson       E = Info->Class->field_end(); I != E; ++I, ++FieldNo) {
313812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    const FieldDecl *FD = *I;
3148c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson    if (FD->isBitField())
3158c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson      continue;
3164137d517700a1b0f834535545c3f1676f40abcfbAnders Carlsson
317a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson    CharUnits FieldOffset = Offset + getFieldOffset(Layout, FieldNo);
318a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson    UpdateEmptyFieldSubobjects(FD, FieldOffset);
319812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  }
32058b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson}
32158b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson
3225b1319c78061e76d70cca50fb3343b25928e001bAnders Carlssonbool EmptySubobjectMap::CanPlaceBaseAtOffset(const BaseSubobjectInfo *Info,
323a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson                                             CharUnits Offset) {
324261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson  // If we know this class doesn't have any empty subobjects we don't need to
325261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson  // bother checking.
326a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson  if (SizeOfLargestEmptySubobject.isZero())
327261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson    return true;
328261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson
32958b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson  if (!CanPlaceBaseSubobjectAtOffset(Info, Offset))
33058b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson    return false;
331812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
332812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  // We are able to place the base at this offset. Make sure to update the
333812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  // empty base subobject map.
334e3362bc104f401564a68ef2e0e5fd89f440cf4fcAnders Carlsson  UpdateEmptyBaseSubobjects(Info, Offset, Info->Class->isEmpty());
335261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson  return true;
336261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson}
337261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson
338812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlssonbool
339812a3456b63708a5972f712e9e4b54d3cc436378Anders CarlssonEmptySubobjectMap::CanPlaceFieldSubobjectAtOffset(const CXXRecordDecl *RD,
340812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson                                                  const CXXRecordDecl *Class,
341a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson                                                  CharUnits Offset) const {
3422177ab7be5256e691a115356fcb8f3eef9c9733fAnders Carlsson  // We don't have to keep looking past the maximum offset that's known to
3432177ab7be5256e691a115356fcb8f3eef9c9733fAnders Carlsson  // contain an empty class.
344a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson  if (!AnyEmptySubobjectsBeyondOffset(Offset))
3452177ab7be5256e691a115356fcb8f3eef9c9733fAnders Carlsson    return true;
3462177ab7be5256e691a115356fcb8f3eef9c9733fAnders Carlsson
347a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson  if (!CanPlaceSubobjectAtOffset(RD, Offset))
348812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    return false;
349812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
350812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  const ASTRecordLayout &Layout = Context.getASTRecordLayout(RD);
351812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
352812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  // Traverse all non-virtual bases.
353812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
354812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson       E = RD->bases_end(); I != E; ++I) {
355812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    if (I->isVirtual())
356812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson      continue;
357812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
358812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    const CXXRecordDecl *BaseDecl =
359812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson      cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
360812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
3616a3567442307864eac52bb84ce41465753513635Anders Carlsson    CharUnits BaseOffset = Offset + Layout.getBaseClassOffset(BaseDecl);
362812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    if (!CanPlaceFieldSubobjectAtOffset(BaseDecl, Class, BaseOffset))
363812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson      return false;
364812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  }
365812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
36645f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson  if (RD == Class) {
36745f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson    // This is the most derived class, traverse virtual bases as well.
36845f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson    for (CXXRecordDecl::base_class_const_iterator I = RD->vbases_begin(),
36945f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson         E = RD->vbases_end(); I != E; ++I) {
37045f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson      const CXXRecordDecl *VBaseDecl =
37145f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson        cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
37245f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson
3733069a0d28637ad0ad583d9fdd7bc6bc6aa677fb5Anders Carlsson      CharUnits VBaseOffset = Offset + Layout.getVBaseClassOffset(VBaseDecl);
37445f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson      if (!CanPlaceFieldSubobjectAtOffset(VBaseDecl, Class, VBaseOffset))
37545f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson        return false;
37645f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson    }
37745f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson  }
37845f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson
379812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  // Traverse all member variables.
380812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  unsigned FieldNo = 0;
381812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  for (CXXRecordDecl::field_iterator I = RD->field_begin(), E = RD->field_end();
382812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson       I != E; ++I, ++FieldNo) {
383812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    const FieldDecl *FD = *I;
3848c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson    if (FD->isBitField())
3858c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson      continue;
3868c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson
387a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson    CharUnits FieldOffset = Offset + getFieldOffset(Layout, FieldNo);
388812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
389812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    if (!CanPlaceFieldSubobjectAtOffset(FD, FieldOffset))
390812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson      return false;
391812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  }
392812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
393812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  return true;
394812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson}
395812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
3968c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlssonbool
3978c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders CarlssonEmptySubobjectMap::CanPlaceFieldSubobjectAtOffset(const FieldDecl *FD,
3988c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson                                                  CharUnits Offset) const {
3992177ab7be5256e691a115356fcb8f3eef9c9733fAnders Carlsson  // We don't have to keep looking past the maximum offset that's known to
4002177ab7be5256e691a115356fcb8f3eef9c9733fAnders Carlsson  // contain an empty class.
4018c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson  if (!AnyEmptySubobjectsBeyondOffset(Offset))
4022177ab7be5256e691a115356fcb8f3eef9c9733fAnders Carlsson    return true;
4032177ab7be5256e691a115356fcb8f3eef9c9733fAnders Carlsson
404812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  QualType T = FD->getType();
405812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  if (const RecordType *RT = T->getAs<RecordType>()) {
406812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    const CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
407a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson    return CanPlaceFieldSubobjectAtOffset(RD, RD, Offset);
408812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  }
409812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
410812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  // If we have an array type we need to look at every element.
411812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  if (const ConstantArrayType *AT = Context.getAsConstantArrayType(T)) {
412812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    QualType ElemTy = Context.getBaseElementType(AT);
413812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    const RecordType *RT = ElemTy->getAs<RecordType>();
414812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    if (!RT)
415812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson      return true;
416812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
417812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    const CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
418812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    const ASTRecordLayout &Layout = Context.getASTRecordLayout(RD);
419812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
420812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    uint64_t NumElements = Context.getConstantArrayElementCount(AT);
4218c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson    CharUnits ElementOffset = Offset;
422812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    for (uint64_t I = 0; I != NumElements; ++I) {
4232177ab7be5256e691a115356fcb8f3eef9c9733fAnders Carlsson      // We don't have to keep looking past the maximum offset that's known to
4242177ab7be5256e691a115356fcb8f3eef9c9733fAnders Carlsson      // contain an empty class.
4258c6acc6be0fbd4127d16c1c0e12a9362462e6e0cAnders Carlsson      if (!AnyEmptySubobjectsBeyondOffset(ElementOffset))
4262177ab7be5256e691a115356fcb8f3eef9c9733fAnders Carlsson        return true;
4272177ab7be5256e691a115356fcb8f3eef9c9733fAnders Carlsson
428a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson      if (!CanPlaceFieldSubobjectAtOffset(RD, RD, ElementOffset))
429812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson        return false;
430812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
4315f022d82696c84e4d127c558871d68ac6273274eKen Dyck      ElementOffset += Layout.getSize();
432812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    }
433812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  }
434812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
435812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  return true;
436812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson}
437812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
438812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlssonbool
439a3d4380d6662a373bc78f915947e5bc06e985e91Anders CarlssonEmptySubobjectMap::CanPlaceFieldAtOffset(const FieldDecl *FD,
440a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson                                         CharUnits Offset) {
441a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson  if (!CanPlaceFieldSubobjectAtOffset(FD, Offset))
442812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    return false;
443812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
444812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  // We are able to place the member variable at this offset.
445812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  // Make sure to update the empty base subobject map.
446812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  UpdateEmptyFieldSubobjects(FD, Offset);
447812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  return true;
448812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson}
449812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
450812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlssonvoid EmptySubobjectMap::UpdateEmptyFieldSubobjects(const CXXRecordDecl *RD,
451812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson                                                   const CXXRecordDecl *Class,
452a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson                                                   CharUnits Offset) {
4535ccfdd8d215c7bf324a14523c71ed328325c2bc8Anders Carlsson  // We know that the only empty subobjects that can conflict with empty
454e3362bc104f401564a68ef2e0e5fd89f440cf4fcAnders Carlsson  // field subobjects are subobjects of empty bases that can be placed at offset
4555ccfdd8d215c7bf324a14523c71ed328325c2bc8Anders Carlsson  // zero. Because of this, we only need to keep track of empty field
4565ccfdd8d215c7bf324a14523c71ed328325c2bc8Anders Carlsson  // subobjects with offsets less than the size of the largest empty
4575ccfdd8d215c7bf324a14523c71ed328325c2bc8Anders Carlsson  // subobject for our class.
4585ccfdd8d215c7bf324a14523c71ed328325c2bc8Anders Carlsson  if (Offset >= SizeOfLargestEmptySubobject)
4595ccfdd8d215c7bf324a14523c71ed328325c2bc8Anders Carlsson    return;
4605ccfdd8d215c7bf324a14523c71ed328325c2bc8Anders Carlsson
461a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson  AddSubobjectAtOffset(RD, Offset);
462812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
463812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  const ASTRecordLayout &Layout = Context.getASTRecordLayout(RD);
464812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
465812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  // Traverse all non-virtual bases.
466812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
467812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson       E = RD->bases_end(); I != E; ++I) {
468812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    if (I->isVirtual())
469812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson      continue;
470812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
471812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    const CXXRecordDecl *BaseDecl =
472812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson      cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
473812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
4746a3567442307864eac52bb84ce41465753513635Anders Carlsson    CharUnits BaseOffset = Offset + Layout.getBaseClassOffset(BaseDecl);
475812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    UpdateEmptyFieldSubobjects(BaseDecl, Class, BaseOffset);
476812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  }
477812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
47845f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson  if (RD == Class) {
47945f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson    // This is the most derived class, traverse virtual bases as well.
48045f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson    for (CXXRecordDecl::base_class_const_iterator I = RD->vbases_begin(),
48145f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson         E = RD->vbases_end(); I != E; ++I) {
48245f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson      const CXXRecordDecl *VBaseDecl =
48345f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson      cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
48445f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson
4853069a0d28637ad0ad583d9fdd7bc6bc6aa677fb5Anders Carlsson      CharUnits VBaseOffset = Offset + Layout.getVBaseClassOffset(VBaseDecl);
48645f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson      UpdateEmptyFieldSubobjects(VBaseDecl, Class, VBaseOffset);
48745f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson    }
48845f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson  }
48945f5b54d67215639ae6585d12df5133e99180c2bAnders Carlsson
490812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  // Traverse all member variables.
491812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  unsigned FieldNo = 0;
492812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  for (CXXRecordDecl::field_iterator I = RD->field_begin(), E = RD->field_end();
493812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson       I != E; ++I, ++FieldNo) {
494812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    const FieldDecl *FD = *I;
495fa84fbad4863e030b149febc88288514efca34b2Anders Carlsson    if (FD->isBitField())
496fa84fbad4863e030b149febc88288514efca34b2Anders Carlsson      continue;
497fa84fbad4863e030b149febc88288514efca34b2Anders Carlsson
498a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson    CharUnits FieldOffset = Offset + getFieldOffset(Layout, FieldNo);
499812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
500a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson    UpdateEmptyFieldSubobjects(FD, FieldOffset);
501812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  }
502812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson}
503812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
504812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlssonvoid EmptySubobjectMap::UpdateEmptyFieldSubobjects(const FieldDecl *FD,
505a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson                                                   CharUnits Offset) {
506812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  QualType T = FD->getType();
507812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  if (const RecordType *RT = T->getAs<RecordType>()) {
508812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    const CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
509812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    UpdateEmptyFieldSubobjects(RD, RD, Offset);
510812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    return;
511812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  }
512812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
513812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  // If we have an array type we need to update every element.
514812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  if (const ConstantArrayType *AT = Context.getAsConstantArrayType(T)) {
515812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    QualType ElemTy = Context.getBaseElementType(AT);
516812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    const RecordType *RT = ElemTy->getAs<RecordType>();
517812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    if (!RT)
518812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson      return;
519812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
520812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    const CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
521812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    const ASTRecordLayout &Layout = Context.getASTRecordLayout(RD);
522812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
523812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    uint64_t NumElements = Context.getConstantArrayElementCount(AT);
524a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson    CharUnits ElementOffset = Offset;
525812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
526812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    for (uint64_t I = 0; I != NumElements; ++I) {
5275ccfdd8d215c7bf324a14523c71ed328325c2bc8Anders Carlsson      // We know that the only empty subobjects that can conflict with empty
528e3362bc104f401564a68ef2e0e5fd89f440cf4fcAnders Carlsson      // field subobjects are subobjects of empty bases that can be placed at
5295ccfdd8d215c7bf324a14523c71ed328325c2bc8Anders Carlsson      // offset zero. Because of this, we only need to keep track of empty field
5305ccfdd8d215c7bf324a14523c71ed328325c2bc8Anders Carlsson      // subobjects with offsets less than the size of the largest empty
5315ccfdd8d215c7bf324a14523c71ed328325c2bc8Anders Carlsson      // subobject for our class.
5325ccfdd8d215c7bf324a14523c71ed328325c2bc8Anders Carlsson      if (ElementOffset >= SizeOfLargestEmptySubobject)
5335ccfdd8d215c7bf324a14523c71ed328325c2bc8Anders Carlsson        return;
5345ccfdd8d215c7bf324a14523c71ed328325c2bc8Anders Carlsson
535812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson      UpdateEmptyFieldSubobjects(RD, RD, ElementOffset);
5365f022d82696c84e4d127c558871d68ac6273274eKen Dyck      ElementOffset += Layout.getSize();
537812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson    }
538812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson  }
539812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson}
540812a3456b63708a5972f712e9e4b54d3cc436378Anders Carlsson
5417d0918acd134ab93b7d3eb6add93dfde37b1f7b3Anders Carlssonclass RecordLayoutBuilder {
542c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davisprotected:
5439392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  // FIXME: Remove this and make the appropriate fields public.
5449392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  friend class clang::ASTContext;
5450aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
5464ba2a17694148e16eaa8d3917f657ffcd3667be4Jay Foad  const ASTContext &Context;
5479392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
5486a91c0328c81fe1be4e5380fb0e586cafee53b26Anders Carlsson  EmptySubobjectMap *EmptySubobjects;
5490aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
5509392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// Size - The current size of the record layout.
5519392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  uint64_t Size;
5520aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
5539392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// Alignment - The current alignment of the record layout.
554ea7f6c2c53127b875ed432fd1793d48270d8ba6bKen Dyck  CharUnits Alignment;
5550aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
55678a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  /// \brief The alignment if attribute packed is not used.
5576feb4bb3defce7e5efc05a69c6bd7dfc9c59fa45Ken Dyck  CharUnits UnpackedAlignment;
55878a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis
5599392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  llvm::SmallVector<uint64_t, 16> FieldOffsets;
5609392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
5619392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// Packed - Whether the record is packed or not.
562c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar  unsigned Packed : 1;
563c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar
564c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar  unsigned IsUnion : 1;
565c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar
566c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar  unsigned IsMac68kAlign : 1;
5679392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
5689392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// UnfilledBitsInLastByte - If the last field laid out was a bitfield,
5699392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// this contains the number of bits in the last byte that can be used for
5709392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// an adjacent bitfield if necessary.
5719392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  unsigned char UnfilledBitsInLastByte;
5720aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
5739392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// MaxFieldAlignment - The maximum allowed field alignment. This is set by
5740aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar  /// #pragma pack.
575834945c19cfb87fc21dfb6980a0980618655d79dKen Dyck  CharUnits MaxFieldAlignment;
5760aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
5779392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// DataSize - The data size of the record being laid out.
5789392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  uint64_t DataSize;
5790aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
580a1fdb0bc09aa0d17841cdbdd8c52cd1368251cbfKen Dyck  CharUnits NonVirtualSize;
581df205382dae666b011d857402114e4f4acd56c81Ken Dyck  CharUnits NonVirtualAlignment;
5820aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
5839392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// PrimaryBase - the primary base class (if one exists) of the class
5849392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// we're laying out.
5859392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  const CXXRecordDecl *PrimaryBase;
5860aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
5879392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// PrimaryBaseIsVirtual - Whether the primary base of the class we're laying
5889392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// out is virtual.
5899392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  bool PrimaryBaseIsVirtual;
5909392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
591376bda924ac92462a22d6a22ea65d8c1bb8f26f3Anders Carlsson  typedef llvm::DenseMap<const CXXRecordDecl *, CharUnits> BaseOffsetsMapTy;
5920aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
5939392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// Bases - base classes and their offsets in the record.
5949392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  BaseOffsetsMapTy Bases;
5950aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
5969392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  // VBases - virtual base classes and their offsets in the record.
5979392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  BaseOffsetsMapTy VBases;
5989392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
5999392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// IndirectPrimaryBases - Virtual base classes, direct or indirect, that are
6009392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// primary base classes for some other direct or indirect base class.
601245656ec65ec600ef1ab05f4c8d9f780542d689dAnders Carlsson  CXXIndirectPrimaryBaseSet IndirectPrimaryBases;
6020aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
6039392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// FirstNearlyEmptyVBase - The first nearly empty virtual base class in
6049392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// inheritance graph order. Used for determining the primary base class.
6059392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  const CXXRecordDecl *FirstNearlyEmptyVBase;
6069392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
6079392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// VisitedVirtualBases - A set of all the visited virtual bases, used to
6089392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// avoid visiting virtual bases more than once.
6099392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  llvm::SmallPtrSet<const CXXRecordDecl *, 4> VisitedVirtualBases;
6100aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
6114ba2a17694148e16eaa8d3917f657ffcd3667be4Jay Foad  RecordLayoutBuilder(const ASTContext &Context, EmptySubobjectMap
6124ba2a17694148e16eaa8d3917f657ffcd3667be4Jay Foad                      *EmptySubobjects)
613ea7f6c2c53127b875ed432fd1793d48270d8ba6bKen Dyck    : Context(Context), EmptySubobjects(EmptySubobjects), Size(0),
6146feb4bb3defce7e5efc05a69c6bd7dfc9c59fa45Ken Dyck      Alignment(CharUnits::One()), UnpackedAlignment(Alignment),
615ea7f6c2c53127b875ed432fd1793d48270d8ba6bKen Dyck      Packed(false), IsUnion(false), IsMac68kAlign(false),
616834945c19cfb87fc21dfb6980a0980618655d79dKen Dyck      UnfilledBitsInLastByte(0), MaxFieldAlignment(CharUnits::Zero()),
617834945c19cfb87fc21dfb6980a0980618655d79dKen Dyck      DataSize(0), NonVirtualSize(CharUnits::Zero()),
618834945c19cfb87fc21dfb6980a0980618655d79dKen Dyck      NonVirtualAlignment(CharUnits::One()), PrimaryBase(0),
619834945c19cfb87fc21dfb6980a0980618655d79dKen Dyck      PrimaryBaseIsVirtual(false), FirstNearlyEmptyVBase(0) { }
6200aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
6219392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  void Layout(const RecordDecl *D);
622c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  void Layout(const CXXRecordDecl *D);
6239392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  void Layout(const ObjCInterfaceDecl *D);
6249392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
6259392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  void LayoutFields(const RecordDecl *D);
6269392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  void LayoutField(const FieldDecl *D);
62778a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  void LayoutWideBitField(uint64_t FieldSize, uint64_t TypeSize,
62878a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis                          bool FieldPacked, const FieldDecl *D);
6299392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  void LayoutBitField(const FieldDecl *D);
6309392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
6316e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  /// BaseSubobjectInfoAllocator - Allocator for BaseSubobjectInfo objects.
6326e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  llvm::SpecificBumpPtrAllocator<BaseSubobjectInfo> BaseSubobjectInfoAllocator;
6336e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
6346e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  typedef llvm::DenseMap<const CXXRecordDecl *, BaseSubobjectInfo *>
6356e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    BaseSubobjectInfoMapTy;
6366e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
6376e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  /// VirtualBaseInfo - Map from all the (direct or indirect) virtual bases
6386e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  /// of the class we're laying out to their base subobject info.
6396e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  BaseSubobjectInfoMapTy VirtualBaseInfo;
6406e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
6416e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  /// NonVirtualBaseInfo - Map from all the direct non-virtual bases of the
6426e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  /// class we're laying out to their base subobject info.
6436e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  BaseSubobjectInfoMapTy NonVirtualBaseInfo;
6446e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
6456e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  /// ComputeBaseSubobjectInfo - Compute the base subobject information for the
6466e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  /// bases of the given class.
6476e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  void ComputeBaseSubobjectInfo(const CXXRecordDecl *RD);
6486e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
6496e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  /// ComputeBaseSubobjectInfo - Compute the base subobject information for a
6506e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  /// single class and all of its base classes.
6516e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  BaseSubobjectInfo *ComputeBaseSubobjectInfo(const CXXRecordDecl *RD,
6526e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson                                              bool IsVirtual,
6536e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson                                              BaseSubobjectInfo *Derived);
6549392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
6559392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// DeterminePrimaryBase - Determine the primary base of the given class.
6569392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  void DeterminePrimaryBase(const CXXRecordDecl *RD);
6579392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
6589392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  void SelectPrimaryVBase(const CXXRecordDecl *RD);
6590aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
660c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis  virtual uint64_t GetVirtualPointersSize(const CXXRecordDecl *RD) const;
661c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis
6620aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar  /// LayoutNonVirtualBases - Determines the primary base class (if any) and
6639392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// lays it out. Will then proceed to lay out all non-virtual base clasess.
6649392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  void LayoutNonVirtualBases(const CXXRecordDecl *RD);
6659392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
6669392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// LayoutNonVirtualBase - Lays out a single non-virtual base.
66707cebc57123db6a50c7c293e44a9647ce069952bAnders Carlsson  void LayoutNonVirtualBase(const BaseSubobjectInfo *Base);
6689392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
669a2311513524ecef954d2b438bfbe09aa9511b660Anders Carlsson  void AddPrimaryVirtualBaseOffsets(const BaseSubobjectInfo *Info,
670a2311513524ecef954d2b438bfbe09aa9511b660Anders Carlsson                                    CharUnits Offset);
6719392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
6729392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// LayoutVirtualBases - Lays out all the virtual bases.
6739392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  void LayoutVirtualBases(const CXXRecordDecl *RD,
6749392fa63e45716e32061d05673fa28909f325b02Anders Carlsson                          const CXXRecordDecl *MostDerivedClass);
6759392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
6769392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// LayoutVirtualBase - Lays out a single virtual base.
677276b491b44b473d91610432aa335927b2c7ad152Anders Carlsson  void LayoutVirtualBase(const BaseSubobjectInfo *Base);
6789392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
6790aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar  /// LayoutBase - Will lay out a base and return the offset where it was
680a2311513524ecef954d2b438bfbe09aa9511b660Anders Carlsson  /// placed, in chars.
681a2311513524ecef954d2b438bfbe09aa9511b660Anders Carlsson  CharUnits LayoutBase(const BaseSubobjectInfo *Base);
6829392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
683c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  /// InitializeLayout - Initialize record layout for the given record decl.
684c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar  void InitializeLayout(const Decl *D);
685c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson
6869392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// FinishLayout - Finalize record layout. Adjust record size based on the
6879392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  /// alignment.
68878a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  void FinishLayout(const NamedDecl *D);
68978a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis
6903263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck  void UpdateAlignment(CharUnits NewAlignment, CharUnits UnpackedNewAlignment);
6913263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck  void UpdateAlignment(CharUnits NewAlignment) {
69278a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    UpdateAlignment(NewAlignment, NewAlignment);
69378a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  }
69478a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis
69578a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  void CheckFieldPadding(uint64_t Offset, uint64_t UnpaddedOffset,
69678a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis                          uint64_t UnpackedOffset, unsigned UnpackedAlign,
69778a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis                          bool isPacked, const FieldDecl *D);
6989392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
69978a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  DiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID);
7009392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
701c83d2d7d8914a0fe00d679a262f2bdae7689f16dArgyrios Kyrtzidis  RecordLayoutBuilder(const RecordLayoutBuilder&);   // DO NOT IMPLEMENT
702c83d2d7d8914a0fe00d679a262f2bdae7689f16dArgyrios Kyrtzidis  void operator=(const RecordLayoutBuilder&); // DO NOT IMPLEMENT
7039392fa63e45716e32061d05673fa28909f325b02Anders Carlssonpublic:
7049392fa63e45716e32061d05673fa28909f325b02Anders Carlsson  static const CXXMethodDecl *ComputeKeyFunction(const CXXRecordDecl *RD);
705cfe17e5c82762cc854012e472b66f4278f0a4a2aArgyrios Kyrtzidis
706cfe17e5c82762cc854012e472b66f4278f0a4a2aArgyrios Kyrtzidis  virtual ~RecordLayoutBuilder() { }
7079392fa63e45716e32061d05673fa28909f325b02Anders Carlsson};
7087e220286410422ed1dc0409a9cb9708fe50e3df0Benjamin Kramer} // end anonymous namespace
7099392fa63e45716e32061d05673fa28909f325b02Anders Carlsson
7103f066522342538509cf0aa4f381503b43fbdb68bAnders Carlssonvoid
7117d0918acd134ab93b7d3eb6add93dfde37b1f7b3Anders CarlssonRecordLayoutBuilder::SelectPrimaryVBase(const CXXRecordDecl *RD) {
712584e1dfaf6ab682cebe4fe51f55f0ae3215d303fAnders Carlsson  for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
713bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar         E = RD->bases_end(); I != E; ++I) {
714584e1dfaf6ab682cebe4fe51f55f0ae3215d303fAnders Carlsson    assert(!I->getType()->isDependentType() &&
7159994a34f6cf842721ba7723edc0b9036229fe387Sebastian Redl           "Cannot layout class with dependent bases.");
716bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
7171eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    const CXXRecordDecl *Base =
718584e1dfaf6ab682cebe4fe51f55f0ae3215d303fAnders Carlsson      cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
719200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson
720584e1dfaf6ab682cebe4fe51f55f0ae3215d303fAnders Carlsson    // Check if this is a nearly empty virtual base.
721dae0cb52e4e3d46bbfc9a4510909522197a92e54Anders Carlsson    if (I->isVirtual() && Context.isNearlyEmpty(Base)) {
722584e1dfaf6ab682cebe4fe51f55f0ae3215d303fAnders Carlsson      // If it's not an indirect primary base, then we've found our primary
723584e1dfaf6ab682cebe4fe51f55f0ae3215d303fAnders Carlsson      // base.
7243f066522342538509cf0aa4f381503b43fbdb68bAnders Carlsson      if (!IndirectPrimaryBases.count(Base)) {
72528fdd0a8b450c1329b3303e5cf8e8a788a0ef85aAnders Carlsson        PrimaryBase = Base;
72628fdd0a8b450c1329b3303e5cf8e8a788a0ef85aAnders Carlsson        PrimaryBaseIsVirtual = true;
727d76264e0b20470267249660ab947197cf6d6e31fMike Stump        return;
728d76264e0b20470267249660ab947197cf6d6e31fMike Stump      }
729bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
730584e1dfaf6ab682cebe4fe51f55f0ae3215d303fAnders Carlsson      // Is this the first nearly empty virtual base?
731584e1dfaf6ab682cebe4fe51f55f0ae3215d303fAnders Carlsson      if (!FirstNearlyEmptyVBase)
732584e1dfaf6ab682cebe4fe51f55f0ae3215d303fAnders Carlsson        FirstNearlyEmptyVBase = Base;
733d76264e0b20470267249660ab947197cf6d6e31fMike Stump    }
734bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
735200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson    SelectPrimaryVBase(Base);
73628fdd0a8b450c1329b3303e5cf8e8a788a0ef85aAnders Carlsson    if (PrimaryBase)
73794ba380b820cde3fb9d97d5f07ac709ebbb6ac1eZhongxing Xu      return;
738d76264e0b20470267249660ab947197cf6d6e31fMike Stump  }
739d76264e0b20470267249660ab947197cf6d6e31fMike Stump}
740d76264e0b20470267249660ab947197cf6d6e31fMike Stump
741c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davisuint64_t
742c9f8aece7e111f90265dfad9a81f3f517be948deCharles DavisRecordLayoutBuilder::GetVirtualPointersSize(const CXXRecordDecl *RD) const {
743c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis  return Context.Target.getPointerWidth(0);
744c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis}
745c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis
746200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson/// DeterminePrimaryBase - Determine the primary base of the given class.
7477d0918acd134ab93b7d3eb6add93dfde37b1f7b3Anders Carlssonvoid RecordLayoutBuilder::DeterminePrimaryBase(const CXXRecordDecl *RD) {
748200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  // If the class isn't dynamic, it won't have a primary base.
749200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  if (!RD->isDynamicClass())
750200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson    return;
751bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
7523f066522342538509cf0aa4f381503b43fbdb68bAnders Carlsson  // Compute all the primary virtual bases for all of our direct and
7530880e75541899bc1cdd73c50eb549110b5916c59Mike Stump  // indirect bases, and record all their primary virtual base classes.
754245656ec65ec600ef1ab05f4c8d9f780542d689dAnders Carlsson  RD->getIndirectPrimaryBases(IndirectPrimaryBases);
7550880e75541899bc1cdd73c50eb549110b5916c59Mike Stump
756bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  // If the record has a dynamic base class, attempt to choose a primary base
757bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  // class. It is the first (in direct base class order) non-virtual dynamic
7583f066522342538509cf0aa4f381503b43fbdb68bAnders Carlsson  // base class, if one exists.
7596f376336138ea719e3c4757ae046a5768043b276Mike Stump  for (CXXRecordDecl::base_class_const_iterator i = RD->bases_begin(),
760bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar         e = RD->bases_end(); i != e; ++i) {
761ce2009ab2f59894dbcc847e25e05abe78c296e95Anders Carlsson    // Ignore virtual bases.
762ce2009ab2f59894dbcc847e25e05abe78c296e95Anders Carlsson    if (i->isVirtual())
763ce2009ab2f59894dbcc847e25e05abe78c296e95Anders Carlsson      continue;
764bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
765ce2009ab2f59894dbcc847e25e05abe78c296e95Anders Carlsson    const CXXRecordDecl *Base =
766ce2009ab2f59894dbcc847e25e05abe78c296e95Anders Carlsson      cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
767ce2009ab2f59894dbcc847e25e05abe78c296e95Anders Carlsson
768ce2009ab2f59894dbcc847e25e05abe78c296e95Anders Carlsson    if (Base->isDynamicClass()) {
769ce2009ab2f59894dbcc847e25e05abe78c296e95Anders Carlsson      // We found it.
77028fdd0a8b450c1329b3303e5cf8e8a788a0ef85aAnders Carlsson      PrimaryBase = Base;
77128fdd0a8b450c1329b3303e5cf8e8a788a0ef85aAnders Carlsson      PrimaryBaseIsVirtual = false;
772ce2009ab2f59894dbcc847e25e05abe78c296e95Anders Carlsson      return;
7736f376336138ea719e3c4757ae046a5768043b276Mike Stump    }
7746f376336138ea719e3c4757ae046a5768043b276Mike Stump  }
7756f376336138ea719e3c4757ae046a5768043b276Mike Stump
7766f376336138ea719e3c4757ae046a5768043b276Mike Stump  // Otherwise, it is the first nearly empty virtual base that is not an
77749520944c688a9d5fc78d0c2af544b825873477bMike Stump  // indirect primary virtual base class, if one exists.
778200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  if (RD->getNumVBases() != 0) {
779200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson    SelectPrimaryVBase(RD);
78028fdd0a8b450c1329b3303e5cf8e8a788a0ef85aAnders Carlsson    if (PrimaryBase)
781200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson      return;
782200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  }
7836f376336138ea719e3c4757ae046a5768043b276Mike Stump
784200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  // Otherwise, it is the first nearly empty virtual base that is not an
785200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  // indirect primary virtual base class, if one exists.
786200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  if (FirstNearlyEmptyVBase) {
78728fdd0a8b450c1329b3303e5cf8e8a788a0ef85aAnders Carlsson    PrimaryBase = FirstNearlyEmptyVBase;
78828fdd0a8b450c1329b3303e5cf8e8a788a0ef85aAnders Carlsson    PrimaryBaseIsVirtual = true;
7896f376336138ea719e3c4757ae046a5768043b276Mike Stump    return;
790200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  }
791bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
792200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  // Otherwise there is no primary base class.
79328fdd0a8b450c1329b3303e5cf8e8a788a0ef85aAnders Carlsson  assert(!PrimaryBase && "Should not get here with a primary base!");
794200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson
795200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  // Allocate the virtual table pointer at offset zero.
796200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  assert(DataSize == 0 && "Vtable pointer must be at offset zero!");
797bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
798200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  // Update the size.
799c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis  Size += GetVirtualPointersSize(RD);
800200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  DataSize = Size;
801200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson
8023263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck  CharUnits UnpackedBaseAlign =
8033263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck    Context.toCharUnitsFromBits(Context.Target.getPointerAlign(0));
8043263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck  CharUnits BaseAlign = (Packed) ? CharUnits::One() : UnpackedBaseAlign;
8055a821198203bdd469175408c4c4c805cc3240159Argyrios Kyrtzidis
8065a821198203bdd469175408c4c4c805cc3240159Argyrios Kyrtzidis  // The maximum field alignment overrides base align.
807834945c19cfb87fc21dfb6980a0980618655d79dKen Dyck  if (!MaxFieldAlignment.isZero()) {
8083263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck    BaseAlign = std::min(BaseAlign, MaxFieldAlignment);
8093263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck    UnpackedBaseAlign = std::min(UnpackedBaseAlign, MaxFieldAlignment);
8105a821198203bdd469175408c4c4c805cc3240159Argyrios Kyrtzidis  }
8115a821198203bdd469175408c4c4c805cc3240159Argyrios Kyrtzidis
812200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  // Update the alignment.
8135a821198203bdd469175408c4c4c805cc3240159Argyrios Kyrtzidis  UpdateAlignment(BaseAlign, UnpackedBaseAlign);
8146f376336138ea719e3c4757ae046a5768043b276Mike Stump}
8156f376336138ea719e3c4757ae046a5768043b276Mike Stump
8166e26454ecceb20938b866717dc8a72c6d37d224dAnders CarlssonBaseSubobjectInfo *
8176e26454ecceb20938b866717dc8a72c6d37d224dAnders CarlssonRecordLayoutBuilder::ComputeBaseSubobjectInfo(const CXXRecordDecl *RD,
8186e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson                                              bool IsVirtual,
8196e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson                                              BaseSubobjectInfo *Derived) {
8206e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  BaseSubobjectInfo *Info;
8216e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
8226e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  if (IsVirtual) {
8236e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    // Check if we already have info about this virtual base.
8246e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    BaseSubobjectInfo *&InfoSlot = VirtualBaseInfo[RD];
8256e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    if (InfoSlot) {
8266e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      assert(InfoSlot->Class == RD && "Wrong class for virtual base info!");
8276e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      return InfoSlot;
8286e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    }
8296e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
8306e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    // We don't, create it.
8316e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    InfoSlot = new (BaseSubobjectInfoAllocator.Allocate()) BaseSubobjectInfo;
8326e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    Info = InfoSlot;
8336e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  } else {
8346e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    Info = new (BaseSubobjectInfoAllocator.Allocate()) BaseSubobjectInfo;
8356e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  }
8366e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
8376e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  Info->Class = RD;
8386e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  Info->IsVirtual = IsVirtual;
8396e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  Info->Derived = 0;
8406e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  Info->PrimaryVirtualBaseInfo = 0;
8416e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
8426e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  const CXXRecordDecl *PrimaryVirtualBase = 0;
8436e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  BaseSubobjectInfo *PrimaryVirtualBaseInfo = 0;
8446e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
8456e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  // Check if this base has a primary virtual base.
8466e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  if (RD->getNumVBases()) {
8476e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    const ASTRecordLayout &Layout = Context.getASTRecordLayout(RD);
848c9e814ba193f38a7b08268612248f63beb279bb3Anders Carlsson    if (Layout.isPrimaryBaseVirtual()) {
8496e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      // This base does have a primary virtual base.
8506e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      PrimaryVirtualBase = Layout.getPrimaryBase();
8516e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      assert(PrimaryVirtualBase && "Didn't have a primary virtual base!");
8526e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
8536e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      // Now check if we have base subobject info about this primary base.
8546e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      PrimaryVirtualBaseInfo = VirtualBaseInfo.lookup(PrimaryVirtualBase);
8556e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
8566e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      if (PrimaryVirtualBaseInfo) {
8576e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson        if (PrimaryVirtualBaseInfo->Derived) {
8586e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson          // We did have info about this primary base, and it turns out that it
8596e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson          // has already been claimed as a primary virtual base for another
8606e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson          // base.
8616e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson          PrimaryVirtualBase = 0;
8626e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson        } else {
8636e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson          // We can claim this base as our primary base.
8646e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson          Info->PrimaryVirtualBaseInfo = PrimaryVirtualBaseInfo;
8656e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson          PrimaryVirtualBaseInfo->Derived = Info;
8666e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson        }
8676e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      }
8686e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    }
8696e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  }
8706e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
8716e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  // Now go through all direct bases.
8726e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
8736e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson       E = RD->bases_end(); I != E; ++I) {
8746e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    bool IsVirtual = I->isVirtual();
8756e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
8766e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    const CXXRecordDecl *BaseDecl =
8776e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
8786e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
8796e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    Info->Bases.push_back(ComputeBaseSubobjectInfo(BaseDecl, IsVirtual, Info));
8806e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  }
8816e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
8826e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  if (PrimaryVirtualBase && !PrimaryVirtualBaseInfo) {
8836e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    // Traversing the bases must have created the base info for our primary
8846e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    // virtual base.
8856e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    PrimaryVirtualBaseInfo = VirtualBaseInfo.lookup(PrimaryVirtualBase);
8866e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    assert(PrimaryVirtualBaseInfo &&
8876e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson           "Did not create a primary virtual base!");
8886e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
8896e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    // Claim the primary virtual base as our primary virtual base.
8906e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    Info->PrimaryVirtualBaseInfo = PrimaryVirtualBaseInfo;
8916e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    PrimaryVirtualBaseInfo->Derived = Info;
8926e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  }
8936e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
8946e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  return Info;
8956e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson}
8966e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
8976e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlssonvoid RecordLayoutBuilder::ComputeBaseSubobjectInfo(const CXXRecordDecl *RD) {
8986e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
8996e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson       E = RD->bases_end(); I != E; ++I) {
9006e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    bool IsVirtual = I->isVirtual();
9016e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
9026e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    const CXXRecordDecl *BaseDecl =
9036e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
9046e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
9056e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    // Compute the base subobject info for this base.
9066e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    BaseSubobjectInfo *Info = ComputeBaseSubobjectInfo(BaseDecl, IsVirtual, 0);
9076e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
9086e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    if (IsVirtual) {
9096e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      // ComputeBaseInfo has already added this base for us.
9106e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      assert(VirtualBaseInfo.count(BaseDecl) &&
9116e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson             "Did not add virtual base!");
9126e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    } else {
9136e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      // Add the base info to the map of non-virtual bases.
9146e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      assert(!NonVirtualBaseInfo.count(BaseDecl) &&
9156e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson             "Non-virtual base already exists!");
9166e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      NonVirtualBaseInfo.insert(std::make_pair(BaseDecl, Info));
9176e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson    }
9186e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  }
9196e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson}
9206e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
921e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlssonvoid
9227d0918acd134ab93b7d3eb6add93dfde37b1f7b3Anders CarlssonRecordLayoutBuilder::LayoutNonVirtualBases(const CXXRecordDecl *RD) {
9236e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  // Then, determine the primary base class.
924200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  DeterminePrimaryBase(RD);
925bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
9266e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  // Compute base subobject info.
9276e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson  ComputeBaseSubobjectInfo(RD);
9286e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
929200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  // If we have a primary base class, lay it out.
93028fdd0a8b450c1329b3303e5cf8e8a788a0ef85aAnders Carlsson  if (PrimaryBase) {
93128fdd0a8b450c1329b3303e5cf8e8a788a0ef85aAnders Carlsson    if (PrimaryBaseIsVirtual) {
9326e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      // If the primary virtual base was a primary virtual base of some other
9336e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      // base class we'll have to steal it.
9346e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      BaseSubobjectInfo *PrimaryBaseInfo = VirtualBaseInfo.lookup(PrimaryBase);
9356e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson      PrimaryBaseInfo->Derived = 0;
9366e26454ecceb20938b866717dc8a72c6d37d224dAnders Carlsson
937200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson      // We have a virtual primary base, insert it as an indirect primary base.
93828fdd0a8b450c1329b3303e5cf8e8a788a0ef85aAnders Carlsson      IndirectPrimaryBases.insert(PrimaryBase);
93937147ea14f39a8522e32e3ba4d043a2a33fff90cAnders Carlsson
9400aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar      assert(!VisitedVirtualBases.count(PrimaryBase) &&
94128fdd0a8b450c1329b3303e5cf8e8a788a0ef85aAnders Carlsson             "vbase already visited!");
94228fdd0a8b450c1329b3303e5cf8e8a788a0ef85aAnders Carlsson      VisitedVirtualBases.insert(PrimaryBase);
9430aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
944276b491b44b473d91610432aa335927b2c7ad152Anders Carlsson      LayoutVirtualBase(PrimaryBaseInfo);
94507cebc57123db6a50c7c293e44a9647ce069952bAnders Carlsson    } else {
94607cebc57123db6a50c7c293e44a9647ce069952bAnders Carlsson      BaseSubobjectInfo *PrimaryBaseInfo =
94707cebc57123db6a50c7c293e44a9647ce069952bAnders Carlsson        NonVirtualBaseInfo.lookup(PrimaryBase);
94807cebc57123db6a50c7c293e44a9647ce069952bAnders Carlsson      assert(PrimaryBaseInfo &&
94907cebc57123db6a50c7c293e44a9647ce069952bAnders Carlsson             "Did not find base info for non-virtual primary base!");
95007cebc57123db6a50c7c293e44a9647ce069952bAnders Carlsson
95107cebc57123db6a50c7c293e44a9647ce069952bAnders Carlsson      LayoutNonVirtualBase(PrimaryBaseInfo);
95207cebc57123db6a50c7c293e44a9647ce069952bAnders Carlsson    }
953200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  }
954bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
955200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  // Now lay out the non-virtual bases.
956200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson  for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
957bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar         E = RD->bases_end(); I != E; ++I) {
958200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson
959200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson    // Ignore virtual bases.
960200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson    if (I->isVirtual())
961200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson      continue;
962200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson
96307cebc57123db6a50c7c293e44a9647ce069952bAnders Carlsson    const CXXRecordDecl *BaseDecl =
964200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson      cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
965200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson
966200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson    // Skip the primary base.
96707cebc57123db6a50c7c293e44a9647ce069952bAnders Carlsson    if (BaseDecl == PrimaryBase && !PrimaryBaseIsVirtual)
968200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson      continue;
969200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson
970200c5c2d9488165626925235ff918e3d744d785aAnders Carlsson    // Lay out the base.
97107cebc57123db6a50c7c293e44a9647ce069952bAnders Carlsson    BaseSubobjectInfo *BaseInfo = NonVirtualBaseInfo.lookup(BaseDecl);
97207cebc57123db6a50c7c293e44a9647ce069952bAnders Carlsson    assert(BaseInfo && "Did not find base info for non-virtual base!");
97307cebc57123db6a50c7c293e44a9647ce069952bAnders Carlsson
97407cebc57123db6a50c7c293e44a9647ce069952bAnders Carlsson    LayoutNonVirtualBase(BaseInfo);
975e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson  }
976e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson}
977e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson
97807cebc57123db6a50c7c293e44a9647ce069952bAnders Carlssonvoid RecordLayoutBuilder::LayoutNonVirtualBase(const BaseSubobjectInfo *Base) {
979e3bdbee47059839d5e24acab5ee7b925285f573eAnders Carlsson  // Layout the base.
980a2311513524ecef954d2b438bfbe09aa9511b660Anders Carlsson  CharUnits Offset = LayoutBase(Base);
981bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
982e3bdbee47059839d5e24acab5ee7b925285f573eAnders Carlsson  // Add its base class offset.
98307cebc57123db6a50c7c293e44a9647ce069952bAnders Carlsson  assert(!Bases.count(Base->Class) && "base offset already exists!");
984a2311513524ecef954d2b438bfbe09aa9511b660Anders Carlsson  Bases.insert(std::make_pair(Base->Class, Offset));
9853cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson
9863cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson  AddPrimaryVirtualBaseOffsets(Base, Offset);
987e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson}
988968db3364611a475909b5e76969d2f5472e65597Mike Stump
989bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbarvoid
9903cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders CarlssonRecordLayoutBuilder::AddPrimaryVirtualBaseOffsets(const BaseSubobjectInfo *Info,
991a2311513524ecef954d2b438bfbe09aa9511b660Anders Carlsson                                                  CharUnits Offset) {
9923cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson  // This base isn't interesting, it has no virtual bases.
9933cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson  if (!Info->Class->getNumVBases())
9943cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson    return;
9953cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson
9963cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson  // First, check if we have a virtual primary base to add offsets for.
9973cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson  if (Info->PrimaryVirtualBaseInfo) {
9983cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson    assert(Info->PrimaryVirtualBaseInfo->IsVirtual &&
9993cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson           "Primary virtual base is not virtual!");
10003cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson    if (Info->PrimaryVirtualBaseInfo->Derived == Info) {
10013cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson      // Add the offset.
10023cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson      assert(!VBases.count(Info->PrimaryVirtualBaseInfo->Class) &&
10033cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson             "primary vbase offset already exists!");
10043cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson      VBases.insert(std::make_pair(Info->PrimaryVirtualBaseInfo->Class,
1005a2311513524ecef954d2b438bfbe09aa9511b660Anders Carlsson                                   Offset));
10063cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson
10073cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson      // Traverse the primary virtual base.
10083cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson      AddPrimaryVirtualBaseOffsets(Info->PrimaryVirtualBaseInfo, Offset);
10093cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson    }
101097913576dbe624971bf18726899983d211d742c0Anders Carlsson  }
101197913576dbe624971bf18726899983d211d742c0Anders Carlsson
10123cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson  // Now go through all direct non-virtual bases.
10133cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson  const ASTRecordLayout &Layout = Context.getASTRecordLayout(Info->Class);
10143cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson  for (unsigned I = 0, E = Info->Bases.size(); I != E; ++I) {
10153cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson    const BaseSubobjectInfo *Base = Info->Bases[I];
10163cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson    if (Base->IsVirtual)
101797913576dbe624971bf18726899983d211d742c0Anders Carlsson      continue;
10180aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
10196a3567442307864eac52bb84ce41465753513635Anders Carlsson    CharUnits BaseOffset = Offset + Layout.getBaseClassOffset(Base->Class);
10203cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson    AddPrimaryVirtualBaseOffsets(Base, BaseOffset);
102197913576dbe624971bf18726899983d211d742c0Anders Carlsson  }
102297913576dbe624971bf18726899983d211d742c0Anders Carlsson}
102397913576dbe624971bf18726899983d211d742c0Anders Carlsson
102497913576dbe624971bf18726899983d211d742c0Anders Carlssonvoid
10257d0918acd134ab93b7d3eb6add93dfde37b1f7b3Anders CarlssonRecordLayoutBuilder::LayoutVirtualBases(const CXXRecordDecl *RD,
102697913576dbe624971bf18726899983d211d742c0Anders Carlsson                                        const CXXRecordDecl *MostDerivedClass) {
102788f4296e85d49e4ea63cda729cd5f696824c67ceAnders Carlsson  const CXXRecordDecl *PrimaryBase;
1028bdda6c1788dfdb890e1eccd13b949b1cc875eeaaAnders Carlsson  bool PrimaryBaseIsVirtual;
102937147ea14f39a8522e32e3ba4d043a2a33fff90cAnders Carlsson
1030bdda6c1788dfdb890e1eccd13b949b1cc875eeaaAnders Carlsson  if (MostDerivedClass == RD) {
103128fdd0a8b450c1329b3303e5cf8e8a788a0ef85aAnders Carlsson    PrimaryBase = this->PrimaryBase;
103228fdd0a8b450c1329b3303e5cf8e8a788a0ef85aAnders Carlsson    PrimaryBaseIsVirtual = this->PrimaryBaseIsVirtual;
1033bdda6c1788dfdb890e1eccd13b949b1cc875eeaaAnders Carlsson  } else {
10340f0e9b0ace2a970d31ac31811f07e0b1d93501d6Anders Carlsson    const ASTRecordLayout &Layout = Context.getASTRecordLayout(RD);
103588f4296e85d49e4ea63cda729cd5f696824c67ceAnders Carlsson    PrimaryBase = Layout.getPrimaryBase();
1036c9e814ba193f38a7b08268612248f63beb279bb3Anders Carlsson    PrimaryBaseIsVirtual = Layout.isPrimaryBaseVirtual();
1037bdda6c1788dfdb890e1eccd13b949b1cc875eeaaAnders Carlsson  }
1038bdda6c1788dfdb890e1eccd13b949b1cc875eeaaAnders Carlsson
1039622e2477d0698d734671523389277e10d8566e26Anders Carlsson  for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
1040622e2477d0698d734671523389277e10d8566e26Anders Carlsson         E = RD->bases_end(); I != E; ++I) {
1041622e2477d0698d734671523389277e10d8566e26Anders Carlsson    assert(!I->getType()->isDependentType() &&
10429994a34f6cf842721ba7723edc0b9036229fe387Sebastian Redl           "Cannot layout class with dependent bases.");
1043bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1044276b491b44b473d91610432aa335927b2c7ad152Anders Carlsson    const CXXRecordDecl *BaseDecl =
1045622e2477d0698d734671523389277e10d8566e26Anders Carlsson      cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
1046622e2477d0698d734671523389277e10d8566e26Anders Carlsson
1047622e2477d0698d734671523389277e10d8566e26Anders Carlsson    if (I->isVirtual()) {
1048276b491b44b473d91610432aa335927b2c7ad152Anders Carlsson      if (PrimaryBase != BaseDecl || !PrimaryBaseIsVirtual) {
1049276b491b44b473d91610432aa335927b2c7ad152Anders Carlsson        bool IndirectPrimaryBase = IndirectPrimaryBases.count(BaseDecl);
1050bdda6c1788dfdb890e1eccd13b949b1cc875eeaaAnders Carlsson
1051bdda6c1788dfdb890e1eccd13b949b1cc875eeaaAnders Carlsson        // Only lay out the virtual base if it's not an indirect primary base.
1052bdda6c1788dfdb890e1eccd13b949b1cc875eeaaAnders Carlsson        if (!IndirectPrimaryBase) {
1053bdda6c1788dfdb890e1eccd13b949b1cc875eeaaAnders Carlsson          // Only visit virtual bases once.
1054276b491b44b473d91610432aa335927b2c7ad152Anders Carlsson          if (!VisitedVirtualBases.insert(BaseDecl))
1055bdda6c1788dfdb890e1eccd13b949b1cc875eeaaAnders Carlsson            continue;
10560aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
1057276b491b44b473d91610432aa335927b2c7ad152Anders Carlsson          const BaseSubobjectInfo *BaseInfo = VirtualBaseInfo.lookup(BaseDecl);
1058276b491b44b473d91610432aa335927b2c7ad152Anders Carlsson          assert(BaseInfo && "Did not find virtual base info!");
1059276b491b44b473d91610432aa335927b2c7ad152Anders Carlsson          LayoutVirtualBase(BaseInfo);
1060147b5ddc6c8618a9d70a83f90de409e444ae705bAnders Carlsson        }
1061968db3364611a475909b5e76969d2f5472e65597Mike Stump      }
1062fe3010d09cec5cd06e31a3d57fe188a04d9bfa17Mike Stump    }
1063bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1064276b491b44b473d91610432aa335927b2c7ad152Anders Carlsson    if (!BaseDecl->getNumVBases()) {
1065622e2477d0698d734671523389277e10d8566e26Anders Carlsson      // This base isn't interesting since it doesn't have any virtual bases.
1066622e2477d0698d734671523389277e10d8566e26Anders Carlsson      continue;
1067622e2477d0698d734671523389277e10d8566e26Anders Carlsson    }
1068622e2477d0698d734671523389277e10d8566e26Anders Carlsson
1069276b491b44b473d91610432aa335927b2c7ad152Anders Carlsson    LayoutVirtualBases(BaseDecl, MostDerivedClass);
1070eb19fa948173502f47c26357c2ec41aa4be197b4Mike Stump  }
1071eb19fa948173502f47c26357c2ec41aa4be197b4Mike Stump}
1072eb19fa948173502f47c26357c2ec41aa4be197b4Mike Stump
1073276b491b44b473d91610432aa335927b2c7ad152Anders Carlssonvoid RecordLayoutBuilder::LayoutVirtualBase(const BaseSubobjectInfo *Base) {
10743cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson  assert(!Base->Derived && "Trying to lay out a primary virtual base!");
10753cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson
1076e3bdbee47059839d5e24acab5ee7b925285f573eAnders Carlsson  // Layout the base.
1077a2311513524ecef954d2b438bfbe09aa9511b660Anders Carlsson  CharUnits Offset = LayoutBase(Base);
1078e3bdbee47059839d5e24acab5ee7b925285f573eAnders Carlsson
1079e3bdbee47059839d5e24acab5ee7b925285f573eAnders Carlsson  // Add its base class offset.
1080276b491b44b473d91610432aa335927b2c7ad152Anders Carlsson  assert(!VBases.count(Base->Class) && "vbase offset already exists!");
1081a2311513524ecef954d2b438bfbe09aa9511b660Anders Carlsson  VBases.insert(std::make_pair(Base->Class, Offset));
10823cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson
10833cd09ccbb1a750a7b40593a7b0a2d95ee2a0ba0eAnders Carlsson  AddPrimaryVirtualBaseOffsets(Base, Offset);
1084e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson}
1085e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson
1086a2311513524ecef954d2b438bfbe09aa9511b660Anders CarlssonCharUnits RecordLayoutBuilder::LayoutBase(const BaseSubobjectInfo *Base) {
1087b1d880b15f6b254349bd7a700e6b4f2ec1c24f5bAnders Carlsson  const ASTRecordLayout &Layout = Context.getASTRecordLayout(Base->Class);
1088e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson
1089e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson  // If we have an empty base class, try to place it at offset 0.
1090b1d880b15f6b254349bd7a700e6b4f2ec1c24f5bAnders Carlsson  if (Base->Class->isEmpty() &&
1091a3d4380d6662a373bc78f915947e5bc06e985e91Anders Carlsson      EmptySubobjects->CanPlaceBaseAtOffset(Base, CharUnits::Zero())) {
1092dd76a9ab9ea675671200f94b18ce95766841952bKen Dyck    uint64_t RecordSizeInBits = Context.toBits(Layout.getSize());
1093dd76a9ab9ea675671200f94b18ce95766841952bKen Dyck    Size = std::max(Size, RecordSizeInBits);
1094e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson
1095a2311513524ecef954d2b438bfbe09aa9511b660Anders Carlsson    return CharUnits::Zero();
1096e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson  }
1097bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
10983263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck  CharUnits UnpackedBaseAlign = Layout.getNonVirtualAlign();
10993263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck  CharUnits BaseAlign = (Packed) ? CharUnits::One() : UnpackedBaseAlign;
110043ddd9f2027bdd9c36336a342e9c0dd2aa13f836Argyrios Kyrtzidis
110143ddd9f2027bdd9c36336a342e9c0dd2aa13f836Argyrios Kyrtzidis  // The maximum field alignment overrides base align.
1102834945c19cfb87fc21dfb6980a0980618655d79dKen Dyck  if (!MaxFieldAlignment.isZero()) {
11033263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck    BaseAlign = std::min(BaseAlign, MaxFieldAlignment);
11043263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck    UnpackedBaseAlign = std::min(UnpackedBaseAlign, MaxFieldAlignment);
110543ddd9f2027bdd9c36336a342e9c0dd2aa13f836Argyrios Kyrtzidis  }
1106bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1107e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson  // Round up the current record size to the base's alignment boundary.
11083263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck  uint64_t Offset =
11093263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck    llvm::RoundUpToAlignment(DataSize, Context.toBits(BaseAlign));
1110bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1111e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson  // Try to place the base.
1112ff3a5174d1f6e7dc98de348aecfdfe1d2fb7cd53Ken Dyck  while (!EmptySubobjects->CanPlaceBaseAtOffset(Base,
1113ff3a5174d1f6e7dc98de348aecfdfe1d2fb7cd53Ken Dyck                                          Context.toCharUnitsFromBits(Offset)))
11143263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck    Offset += Context.toBits(BaseAlign);
1115e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson
1116b1d880b15f6b254349bd7a700e6b4f2ec1c24f5bAnders Carlsson  if (!Base->Class->isEmpty()) {
1117e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson    // Update the data size.
1118dd76a9ab9ea675671200f94b18ce95766841952bKen Dyck    DataSize = Offset + Context.toBits(Layout.getNonVirtualSize());
1119e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson
1120e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson    Size = std::max(Size, DataSize);
1121e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson  } else
1122dd76a9ab9ea675671200f94b18ce95766841952bKen Dyck    Size = std::max(Size, Offset + Context.toBits(Layout.getSize()));
1123e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson
1124e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson  // Remember max struct/class alignment.
112543ddd9f2027bdd9c36336a342e9c0dd2aa13f836Argyrios Kyrtzidis  UpdateAlignment(BaseAlign, UnpackedBaseAlign);
1126e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson
1127ff3a5174d1f6e7dc98de348aecfdfe1d2fb7cd53Ken Dyck  return Context.toCharUnitsFromBits(Offset);
1128e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson}
1129e239b9d5da3bdc722d29c276b261c136ca9f4eaaAnders Carlsson
1130c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbarvoid RecordLayoutBuilder::InitializeLayout(const Decl *D) {
1131c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar  if (const RecordDecl *RD = dyn_cast<RecordDecl>(D))
1132c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar    IsUnion = RD->isUnion();
11330aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
1134a5dd722bdf2f74a1a249fe6661d96a7236aee0f0Anders Carlsson  Packed = D->hasAttr<PackedAttr>();
11350aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
1136c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar  // mac68k alignment supersedes maximum field alignment and attribute aligned,
1137c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar  // and forces all structures to have 2-byte alignment. The IBM docs on it
1138c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar  // allude to additional (more complicated) semantics, especially with regard
1139c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar  // to bit-fields, but gcc appears not to follow that.
1140c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar  if (D->hasAttr<AlignMac68kAttr>()) {
1141c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar    IsMac68kAlign = true;
1142834945c19cfb87fc21dfb6980a0980618655d79dKen Dyck    MaxFieldAlignment = CharUnits::fromQuantity(2);
1143ea7f6c2c53127b875ed432fd1793d48270d8ba6bKen Dyck    Alignment = CharUnits::fromQuantity(2);
1144c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar  } else {
1145c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar    if (const MaxFieldAlignmentAttr *MFAA = D->getAttr<MaxFieldAlignmentAttr>())
1146834945c19cfb87fc21dfb6980a0980618655d79dKen Dyck      MaxFieldAlignment = Context.toCharUnitsFromBits(MFAA->getAlignment());
11470aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
1148cf807c4dfdb23e8fa3f400e0b24ef5b79db7a530Sean Hunt    if (unsigned MaxAlign = D->getMaxAlignment())
11493263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck      UpdateAlignment(Context.toCharUnitsFromBits(MaxAlign));
1150c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar  }
1151c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson}
115274cbe226207fd101623638dadfa7fbada04ff2a6Anders Carlsson
1153c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlssonvoid RecordLayoutBuilder::Layout(const RecordDecl *D) {
1154c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  InitializeLayout(D);
1155a2df41c107d3c5f5bff2d090fab77734e0da735dAnders Carlsson  LayoutFields(D);
11561eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
1157c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  // Finally, round the size of the total struct up to the alignment of the
1158c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  // struct itself.
115978a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  FinishLayout(D);
1160c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson}
1161c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson
1162c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlssonvoid RecordLayoutBuilder::Layout(const CXXRecordDecl *RD) {
1163c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  InitializeLayout(RD);
1164c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson
1165c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  // Lay out the vtable and the non-virtual bases.
1166c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  LayoutNonVirtualBases(RD);
1167c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson
1168c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  LayoutFields(RD);
1169c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson
1170a1fdb0bc09aa0d17841cdbdd8c52cd1368251cbfKen Dyck  NonVirtualSize = Context.toCharUnitsFromBits(Size);
1171ea7f6c2c53127b875ed432fd1793d48270d8ba6bKen Dyck  NonVirtualAlignment = Alignment;
11723dee6efcad9ad56d14f7edd1c29924f0b876a7f9Mike Stump
1173c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  // Lay out the virtual bases and add the primary virtual base offsets.
1174c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  LayoutVirtualBases(RD, RD);
117597913576dbe624971bf18726899983d211d742c0Anders Carlsson
1176c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  VisitedVirtualBases.clear();
1177eb19fa948173502f47c26357c2ec41aa4be197b4Mike Stump
1178bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson  // Finally, round the size of the total struct up to the alignment of the
1179bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson  // struct itself.
118078a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  FinishLayout(RD);
1181c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson
1182a1e87162d36f94d3dc58ff3f0743d6026635a0c6Anders Carlsson#ifndef NDEBUG
1183c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  // Check that we have base offsets for all bases.
1184c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
1185c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson       E = RD->bases_end(); I != E; ++I) {
1186c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson    if (I->isVirtual())
1187c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson      continue;
11880aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
1189c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson    const CXXRecordDecl *BaseDecl =
1190c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson      cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
1191c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson
1192c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson    assert(Bases.count(BaseDecl) && "Did not find base offset!");
1193c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  }
11940aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
1195c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  // And all virtual bases.
1196c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson  for (CXXRecordDecl::base_class_const_iterator I = RD->vbases_begin(),
1197c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson       E = RD->vbases_end(); I != E; ++I) {
1198c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson    const CXXRecordDecl *BaseDecl =
1199c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson      cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
12000aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
1201c6cab68ae1f8ebdcabaf51391dba09bfbad02e4fAnders Carlsson    assert(VBases.count(BaseDecl) && "Did not find base offset!");
1202a1e87162d36f94d3dc58ff3f0743d6026635a0c6Anders Carlsson  }
1203a1e87162d36f94d3dc58ff3f0743d6026635a0c6Anders Carlsson#endif
1204bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson}
1205bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson
12067d0918acd134ab93b7d3eb6add93dfde37b1f7b3Anders Carlssonvoid RecordLayoutBuilder::Layout(const ObjCInterfaceDecl *D) {
120793fab9d67ca62e3e291803e5a1309473d6e00344Anders Carlsson  if (ObjCInterfaceDecl *SD = D->getSuperClass()) {
12080f0e9b0ace2a970d31ac31811f07e0b1d93501d6Anders Carlsson    const ASTRecordLayout &SL = Context.getASTObjCInterfaceLayout(SD);
120993fab9d67ca62e3e291803e5a1309473d6e00344Anders Carlsson
12103263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck    UpdateAlignment(SL.getAlignment());
12111eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
121293fab9d67ca62e3e291803e5a1309473d6e00344Anders Carlsson    // We start laying out ivars not at the end of the superclass
121393fab9d67ca62e3e291803e5a1309473d6e00344Anders Carlsson    // structure, but at the next byte following the last field.
1214ec2990351335f163601b98e39b52425e2e9f931eKen Dyck    Size = Context.toBits(SL.getDataSize());
1215a223935e5cf82e939e1ca1da4111d63025a04e39Anders Carlsson    DataSize = Size;
121693fab9d67ca62e3e291803e5a1309473d6e00344Anders Carlsson  }
12171eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
1218c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar  InitializeLayout(D);
12198a2c92cab213bd7e28ff669577e815cd70bafbe3Daniel Dunbar
122093fab9d67ca62e3e291803e5a1309473d6e00344Anders Carlsson  // Layout each ivar sequentially.
122193fab9d67ca62e3e291803e5a1309473d6e00344Anders Carlsson  llvm::SmallVector<ObjCIvarDecl*, 16> Ivars;
12220f0e9b0ace2a970d31ac31811f07e0b1d93501d6Anders Carlsson  Context.ShallowCollectObjCIvars(D, Ivars);
122393fab9d67ca62e3e291803e5a1309473d6e00344Anders Carlsson  for (unsigned i = 0, e = Ivars.size(); i != e; ++i)
122493fab9d67ca62e3e291803e5a1309473d6e00344Anders Carlsson    LayoutField(Ivars[i]);
12251eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
122693fab9d67ca62e3e291803e5a1309473d6e00344Anders Carlsson  // Finally, round the size of the total struct up to the alignment of the
122793fab9d67ca62e3e291803e5a1309473d6e00344Anders Carlsson  // struct itself.
122878a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  FinishLayout(D);
122993fab9d67ca62e3e291803e5a1309473d6e00344Anders Carlsson}
123093fab9d67ca62e3e291803e5a1309473d6e00344Anders Carlsson
12317d0918acd134ab93b7d3eb6add93dfde37b1f7b3Anders Carlssonvoid RecordLayoutBuilder::LayoutFields(const RecordDecl *D) {
1232a2df41c107d3c5f5bff2d090fab77734e0da735dAnders Carlsson  // Layout each field, for now, just sequentially, respecting alignment.  In
1233a2df41c107d3c5f5bff2d090fab77734e0da735dAnders Carlsson  // the future, this will need to be tweakable by targets.
12341eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  for (RecordDecl::field_iterator Field = D->field_begin(),
1235bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar         FieldEnd = D->field_end(); Field != FieldEnd; ++Field)
1236a2df41c107d3c5f5bff2d090fab77734e0da735dAnders Carlsson    LayoutField(*Field);
1237a2df41c107d3c5f5bff2d090fab77734e0da735dAnders Carlsson}
1238a2df41c107d3c5f5bff2d090fab77734e0da735dAnders Carlsson
12390aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbarvoid RecordLayoutBuilder::LayoutWideBitField(uint64_t FieldSize,
124078a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis                                             uint64_t TypeSize,
124178a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis                                             bool FieldPacked,
124278a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis                                             const FieldDecl *D) {
12434cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  assert(Context.getLangOptions().CPlusPlus &&
12444cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson         "Can only have wide bit-fields in C++!");
12450aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
12464cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  // Itanium C++ ABI 2.4:
12470aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar  //   If sizeof(T)*8 < n, let T' be the largest integral POD type with
12484cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  //   sizeof(T')*8 <= n.
12490aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
12504cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  QualType IntegralPODTypes[] = {
12510aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar    Context.UnsignedCharTy, Context.UnsignedShortTy, Context.UnsignedIntTy,
12524cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson    Context.UnsignedLongTy, Context.UnsignedLongLongTy
12534cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  };
12544cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson
12554cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  QualType Type;
12564cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  for (unsigned I = 0, E = llvm::array_lengthof(IntegralPODTypes);
12574cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson       I != E; ++I) {
12584cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson    uint64_t Size = Context.getTypeSize(IntegralPODTypes[I]);
12594cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson
12604cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson    if (Size > FieldSize)
12614cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson      break;
12624cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson
12634cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson    Type = IntegralPODTypes[I];
12644cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  }
12654cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  assert(!Type.isNull() && "Did not find a type!");
12660aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
12674cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  unsigned TypeAlign = Context.getTypeAlign(Type);
12684cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson
12694cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  // We're not going to use any of the unfilled bits in the last byte.
12704cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  UnfilledBitsInLastByte = 0;
12714cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson
1272de9f153b2348f590151504888c22cb937134cd27Anders Carlsson  uint64_t FieldOffset;
127378a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  uint64_t UnpaddedFieldOffset = DataSize - UnfilledBitsInLastByte;
12740aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
12754cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  if (IsUnion) {
12764cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson    DataSize = std::max(DataSize, FieldSize);
1277de9f153b2348f590151504888c22cb937134cd27Anders Carlsson    FieldOffset = 0;
12784cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  } else {
1279de9f153b2348f590151504888c22cb937134cd27Anders Carlsson    // The bitfield is allocated starting at the next offset aligned appropriately
12800aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar    // for T', with length n bits.
1281de9f153b2348f590151504888c22cb937134cd27Anders Carlsson    FieldOffset = llvm::RoundUpToAlignment(DataSize, TypeAlign);
12820aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
12834cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson    uint64_t NewSizeInBits = FieldOffset + FieldSize;
12840aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
12854cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson    DataSize = llvm::RoundUpToAlignment(NewSizeInBits, 8);
12864cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson    UnfilledBitsInLastByte = DataSize - NewSizeInBits;
12874cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  }
12884cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson
12894cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  // Place this field at the current location.
12904cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  FieldOffsets.push_back(FieldOffset);
12914cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson
129278a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  CheckFieldPadding(FieldOffset, UnpaddedFieldOffset, FieldOffset,
129378a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis                    TypeAlign, FieldPacked, D);
129478a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis
12954cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  // Update the size.
12964cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  Size = std::max(Size, DataSize);
12970aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
12984cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  // Remember max struct/class alignment.
12993263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck  UpdateAlignment(Context.toCharUnitsFromBits(TypeAlign));
13004cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson}
13014cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson
13027d0918acd134ab93b7d3eb6add93dfde37b1f7b3Anders Carlssonvoid RecordLayoutBuilder::LayoutBitField(const FieldDecl *D) {
130342dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  bool FieldPacked = Packed || D->hasAttr<PackedAttr>();
130478a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  uint64_t UnpaddedFieldOffset = DataSize - UnfilledBitsInLastByte;
130578a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  uint64_t FieldOffset = IsUnion ? 0 : UnpaddedFieldOffset;
13060f0e9b0ace2a970d31ac31811f07e0b1d93501d6Anders Carlsson  uint64_t FieldSize = D->getBitWidth()->EvaluateAsInt(Context).getZExtValue();
1307bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
13080f0e9b0ace2a970d31ac31811f07e0b1d93501d6Anders Carlsson  std::pair<uint64_t, unsigned> FieldInfo = Context.getTypeInfo(D->getType());
130942dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  uint64_t TypeSize = FieldInfo.first;
131042dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  unsigned FieldAlign = FieldInfo.second;
1311bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
13124cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  if (FieldSize > TypeSize) {
131378a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    LayoutWideBitField(FieldSize, TypeSize, FieldPacked, D);
13144cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson    return;
13154cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson  }
13164cf6f5fdc529f0b4412505e2e6af099370a479b3Anders Carlsson
131778a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  // The align if the field is not packed. This is to check if the attribute
131878a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  // was unnecessary (-Wpacked).
131978a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  unsigned UnpackedFieldAlign = FieldAlign;
132078a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  uint64_t UnpackedFieldOffset = FieldOffset;
132178a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  if (!Context.Target.useBitFieldTypeAlignment())
132278a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    UnpackedFieldAlign = 1;
132378a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis
13240f0e9b0ace2a970d31ac31811f07e0b1d93501d6Anders Carlsson  if (FieldPacked || !Context.Target.useBitFieldTypeAlignment())
132542dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson    FieldAlign = 1;
1326cf807c4dfdb23e8fa3f400e0b24ef5b79db7a530Sean Hunt  FieldAlign = std::max(FieldAlign, D->getMaxAlignment());
132778a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  UnpackedFieldAlign = std::max(UnpackedFieldAlign, D->getMaxAlignment());
13281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
132942dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  // The maximum field alignment overrides the aligned attribute.
1330834945c19cfb87fc21dfb6980a0980618655d79dKen Dyck  if (!MaxFieldAlignment.isZero()) {
1331834945c19cfb87fc21dfb6980a0980618655d79dKen Dyck    unsigned MaxFieldAlignmentInBits = Context.toBits(MaxFieldAlignment);
1332834945c19cfb87fc21dfb6980a0980618655d79dKen Dyck    FieldAlign = std::min(FieldAlign, MaxFieldAlignmentInBits);
1333834945c19cfb87fc21dfb6980a0980618655d79dKen Dyck    UnpackedFieldAlign = std::min(UnpackedFieldAlign, MaxFieldAlignmentInBits);
133478a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  }
1335bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1336b6a169395c1b30c76daffebcbd2164b6247a5d21Daniel Dunbar  // Check if we need to add padding to give the field the correct alignment.
133742dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  if (FieldSize == 0 || (FieldOffset & (FieldAlign-1)) + FieldSize > TypeSize)
133884b0316f720bd089d87acb21ec0002b2da33e6c9Daniel Dunbar    FieldOffset = llvm::RoundUpToAlignment(FieldOffset, FieldAlign);
1339bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
134078a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  if (FieldSize == 0 ||
134178a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis      (UnpackedFieldOffset & (UnpackedFieldAlign-1)) + FieldSize > TypeSize)
134278a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    UnpackedFieldOffset = llvm::RoundUpToAlignment(UnpackedFieldOffset,
134378a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis                                                   UnpackedFieldAlign);
134478a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis
1345b6a169395c1b30c76daffebcbd2164b6247a5d21Daniel Dunbar  // Padding members don't affect overall alignment.
134642dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  if (!D->getIdentifier())
134778a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    FieldAlign = UnpackedFieldAlign = 1;
1348bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
134942dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  // Place this field at the current location.
135042dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  FieldOffsets.push_back(FieldOffset);
1351bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
135278a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  CheckFieldPadding(FieldOffset, UnpaddedFieldOffset, UnpackedFieldOffset,
135378a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis                    UnpackedFieldAlign, FieldPacked, D);
135478a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis
1355e4fc0d97420e13d13c9664a3c27c17aa7c1e47b9Anders Carlsson  // Update DataSize to include the last byte containing (part of) the bitfield.
1356e4fc0d97420e13d13c9664a3c27c17aa7c1e47b9Anders Carlsson  if (IsUnion) {
1357e4fc0d97420e13d13c9664a3c27c17aa7c1e47b9Anders Carlsson    // FIXME: I think FieldSize should be TypeSize here.
1358e4fc0d97420e13d13c9664a3c27c17aa7c1e47b9Anders Carlsson    DataSize = std::max(DataSize, FieldSize);
1359e4fc0d97420e13d13c9664a3c27c17aa7c1e47b9Anders Carlsson  } else {
1360e4fc0d97420e13d13c9664a3c27c17aa7c1e47b9Anders Carlsson    uint64_t NewSizeInBits = FieldOffset + FieldSize;
1361bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1362e4fc0d97420e13d13c9664a3c27c17aa7c1e47b9Anders Carlsson    DataSize = llvm::RoundUpToAlignment(NewSizeInBits, 8);
1363e4fc0d97420e13d13c9664a3c27c17aa7c1e47b9Anders Carlsson    UnfilledBitsInLastByte = DataSize - NewSizeInBits;
1364e4fc0d97420e13d13c9664a3c27c17aa7c1e47b9Anders Carlsson  }
1365bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1366e4fc0d97420e13d13c9664a3c27c17aa7c1e47b9Anders Carlsson  // Update the size.
1367e4fc0d97420e13d13c9664a3c27c17aa7c1e47b9Anders Carlsson  Size = std::max(Size, DataSize);
1368bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
136942dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  // Remember max struct/class alignment.
13703263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck  UpdateAlignment(Context.toCharUnitsFromBits(FieldAlign),
13713263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck                  Context.toCharUnitsFromBits(UnpackedFieldAlign));
137242dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson}
13731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
13747d0918acd134ab93b7d3eb6add93dfde37b1f7b3Anders Carlssonvoid RecordLayoutBuilder::LayoutField(const FieldDecl *D) {
137542dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  if (D->isBitField()) {
137642dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson    LayoutBitField(D);
137742dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson    return;
137842dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  }
13791eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
138078a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  uint64_t UnpaddedFieldOffset = DataSize - UnfilledBitsInLastByte;
138178a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis
1382e4fc0d97420e13d13c9664a3c27c17aa7c1e47b9Anders Carlsson  // Reset the unfilled bits.
1383e4fc0d97420e13d13c9664a3c27c17aa7c1e47b9Anders Carlsson  UnfilledBitsInLastByte = 0;
1384e4fc0d97420e13d13c9664a3c27c17aa7c1e47b9Anders Carlsson
138542dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  bool FieldPacked = Packed || D->hasAttr<PackedAttr>();
13869ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck  CharUnits FieldOffset =
13879ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck    IsUnion ? CharUnits::Zero() : Context.toCharUnitsFromBits(DataSize);
13889ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck  CharUnits FieldSize;
13899ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck  CharUnits FieldAlign;
1390bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
139142dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  if (D->getType()->isIncompleteArrayType()) {
139242dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson    // This is a flexible array member; we can't directly
139342dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson    // query getTypeInfo about these, so we figure it out here.
139442dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson    // Flexible array members don't have any size, but they
139542dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson    // have to be aligned appropriately for their element type.
13969ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck    FieldSize = CharUnits::Zero();
13970f0e9b0ace2a970d31ac31811f07e0b1d93501d6Anders Carlsson    const ArrayType* ATy = Context.getAsArrayType(D->getType());
13989ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck    FieldAlign = Context.getTypeAlignInChars(ATy->getElementType());
139942dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  } else if (const ReferenceType *RT = D->getType()->getAs<ReferenceType>()) {
140042dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson    unsigned AS = RT->getPointeeType().getAddressSpace();
14019ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck    FieldSize =
14029ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck      Context.toCharUnitsFromBits(Context.Target.getPointerWidth(AS));
14039ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck    FieldAlign =
14049ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck      Context.toCharUnitsFromBits(Context.Target.getPointerAlign(AS));
140542dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  } else {
14069ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck    std::pair<CharUnits, CharUnits> FieldInfo =
14079ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck      Context.getTypeInfoInChars(D->getType());
140842dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson    FieldSize = FieldInfo.first;
1409bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson    FieldAlign = FieldInfo.second;
14106f75550e40a9177db9979fc130ce3ece026b137dDouglas Gregor
14116f75550e40a9177db9979fc130ce3ece026b137dDouglas Gregor    if (Context.getLangOptions().MSBitfields) {
14126f75550e40a9177db9979fc130ce3ece026b137dDouglas Gregor      // If MS bitfield layout is required, figure out what type is being
14136f75550e40a9177db9979fc130ce3ece026b137dDouglas Gregor      // laid out and align the field to the width of that type.
14146f75550e40a9177db9979fc130ce3ece026b137dDouglas Gregor
14156f75550e40a9177db9979fc130ce3ece026b137dDouglas Gregor      // Resolve all typedefs down to their base type and round up the field
14166f75550e40a9177db9979fc130ce3ece026b137dDouglas Gregor      // alignment if necessary.
14176f75550e40a9177db9979fc130ce3ece026b137dDouglas Gregor      QualType T = Context.getBaseElementType(D->getType());
14186f75550e40a9177db9979fc130ce3ece026b137dDouglas Gregor      if (const BuiltinType *BTy = T->getAs<BuiltinType>()) {
14199ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck        CharUnits TypeSize = Context.getTypeSizeInChars(BTy);
14206f75550e40a9177db9979fc130ce3ece026b137dDouglas Gregor        if (TypeSize > FieldAlign)
14216f75550e40a9177db9979fc130ce3ece026b137dDouglas Gregor          FieldAlign = TypeSize;
14226f75550e40a9177db9979fc130ce3ece026b137dDouglas Gregor      }
14236f75550e40a9177db9979fc130ce3ece026b137dDouglas Gregor    }
142442dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  }
14251eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
142678a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  // The align if the field is not packed. This is to check if the attribute
142778a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  // was unnecessary (-Wpacked).
14289ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck  CharUnits UnpackedFieldAlign = FieldAlign;
14299ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck  CharUnits UnpackedFieldOffset = FieldOffset;
143078a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis
143142dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  if (FieldPacked)
14329ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck    FieldAlign = CharUnits::One();
14339ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck  CharUnits MaxAlignmentInChars =
14349ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck    Context.toCharUnitsFromBits(D->getMaxAlignment());
14359ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck  FieldAlign = std::max(FieldAlign, MaxAlignmentInChars);
14369ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck  UnpackedFieldAlign = std::max(UnpackedFieldAlign, MaxAlignmentInChars);
14371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
143842dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  // The maximum field alignment overrides the aligned attribute.
1439834945c19cfb87fc21dfb6980a0980618655d79dKen Dyck  if (!MaxFieldAlignment.isZero()) {
14409ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck    FieldAlign = std::min(FieldAlign, MaxFieldAlignment);
14419ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck    UnpackedFieldAlign = std::min(UnpackedFieldAlign, MaxFieldAlignment);
144278a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  }
14431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
144442dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson  // Round up the current record size to the field's alignment boundary.
14459ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck  FieldOffset = FieldOffset.RoundUpToAlignment(FieldAlign);
14469ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck  UnpackedFieldOffset =
14479ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck    UnpackedFieldOffset.RoundUpToAlignment(UnpackedFieldAlign);
1448bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
144983a45e7dab892e9efd3515eca4eb5b81bc3f2126Anders Carlsson  if (!IsUnion && EmptySubobjects) {
145083a45e7dab892e9efd3515eca4eb5b81bc3f2126Anders Carlsson    // Check if we can place the field at this offset.
14519ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck    while (!EmptySubobjects->CanPlaceFieldAtOffset(D, FieldOffset)) {
145242dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson      // We couldn't place the field at the offset. Try again at a new offset.
145342dbcc4d8f0c483693befc76f37ca6dc4e0844e1Anders Carlsson      FieldOffset += FieldAlign;
14546026504302763f74102592602b392cecd5ced3aeAnders Carlsson    }
1455bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson  }
1456bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1457bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson  // Place this field at the current location.
14589ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck  FieldOffsets.push_back(Context.toBits(FieldOffset));
14591eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
14609ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck  CheckFieldPadding(Context.toBits(FieldOffset), UnpaddedFieldOffset,
14619ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck                    Context.toBits(UnpackedFieldOffset),
14629ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck                    Context.toBits(UnpackedFieldAlign), FieldPacked, D);
146378a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis
1464bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson  // Reserve space for this field.
14659ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck  uint64_t FieldSizeInBits = Context.toBits(FieldSize);
1466bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson  if (IsUnion)
14679ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck    Size = std::max(Size, FieldSizeInBits);
1468bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson  else
14699ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck    Size = Context.toBits(FieldOffset) + FieldSizeInBits;
14701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
1471a223935e5cf82e939e1ca1da4111d63025a04e39Anders Carlsson  // Update the data size.
1472a223935e5cf82e939e1ca1da4111d63025a04e39Anders Carlsson  DataSize = Size;
14731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
1474bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson  // Remember max struct/class alignment.
14759ed9a250180f19b2c44df83a196fc3a2ac82f817Ken Dyck  UpdateAlignment(FieldAlign, UnpackedFieldAlign);
1476bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson}
1477bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson
147878a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidisvoid RecordLayoutBuilder::FinishLayout(const NamedDecl *D) {
1479bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson  // In C++, records cannot be of size 0.
1480adf082e829eb71871b6043009888df3b79055dbaFariborz Jahanian  if (Context.getLangOptions().CPlusPlus && Size == 0) {
1481adf082e829eb71871b6043009888df3b79055dbaFariborz Jahanian    if (const CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(D)) {
1482adf082e829eb71871b6043009888df3b79055dbaFariborz Jahanian      // Compatibility with gcc requires a class (pod or non-pod)
1483adf082e829eb71871b6043009888df3b79055dbaFariborz Jahanian      // which is not empty but of size 0; such as having fields of
1484adf082e829eb71871b6043009888df3b79055dbaFariborz Jahanian      // array of zero-length, remains of Size 0
1485adf082e829eb71871b6043009888df3b79055dbaFariborz Jahanian      if (RD->isEmpty())
1486adf082e829eb71871b6043009888df3b79055dbaFariborz Jahanian        Size = 8;
1487adf082e829eb71871b6043009888df3b79055dbaFariborz Jahanian    }
1488adf082e829eb71871b6043009888df3b79055dbaFariborz Jahanian    else
1489adf082e829eb71871b6043009888df3b79055dbaFariborz Jahanian      Size = 8;
1490adf082e829eb71871b6043009888df3b79055dbaFariborz Jahanian  }
1491bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson  // Finally, round the size of the record up to the alignment of the
1492bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson  // record itself.
149378a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  uint64_t UnpaddedSize = Size - UnfilledBitsInLastByte;
14946feb4bb3defce7e5efc05a69c6bd7dfc9c59fa45Ken Dyck  uint64_t UnpackedSize =
14956feb4bb3defce7e5efc05a69c6bd7dfc9c59fa45Ken Dyck    llvm::RoundUpToAlignment(Size, Context.toBits(UnpackedAlignment));
1496ea7f6c2c53127b875ed432fd1793d48270d8ba6bKen Dyck  Size = llvm::RoundUpToAlignment(Size, Context.toBits(Alignment));
149778a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis
149878a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  unsigned CharBitNum = Context.Target.getCharWidth();
149978a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  if (const RecordDecl *RD = dyn_cast<RecordDecl>(D)) {
150078a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    // Warn if padding was introduced to the struct/class/union.
150178a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    if (Size > UnpaddedSize) {
150278a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis      unsigned PadSize = Size - UnpaddedSize;
150378a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis      bool InBits = true;
150478a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis      if (PadSize % CharBitNum == 0) {
150578a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis        PadSize = PadSize / CharBitNum;
150678a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis        InBits = false;
150778a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis      }
150878a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis      Diag(RD->getLocation(), diag::warn_padded_struct_size)
150978a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis          << Context.getTypeDeclType(RD)
151078a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis          << PadSize
151178a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis          << (InBits ? 1 : 0) /*(byte|bit)*/ << (PadSize > 1); // plural or not
151278a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    }
151378a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis
151478a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    // Warn if we packed it unnecessarily. If the alignment is 1 byte don't
151578a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    // bother since there won't be alignment issues.
15166feb4bb3defce7e5efc05a69c6bd7dfc9c59fa45Ken Dyck    if (Packed && UnpackedAlignment > CharUnits::One() && Size == UnpackedSize)
151778a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis      Diag(D->getLocation(), diag::warn_unnecessary_packed)
151878a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis          << Context.getTypeDeclType(RD);
151978a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  }
1520bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson}
1521bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson
15223263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyckvoid RecordLayoutBuilder::UpdateAlignment(CharUnits NewAlignment,
15233263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck                                          CharUnits UnpackedNewAlignment) {
1524c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar  // The alignment is not modified when using 'mac68k' alignment.
1525c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar  if (IsMac68kAlign)
1526c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar    return;
1527c6082fe347a414a2e19f2ad8fe41720f10733296Daniel Dunbar
15283263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck  if (NewAlignment > Alignment) {
15293263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck    assert(llvm::isPowerOf2_32(NewAlignment.getQuantity() &&
15303263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck           "Alignment not a power of 2"));
15313263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck    Alignment = NewAlignment;
153278a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  }
153378a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis
15343263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck  if (UnpackedNewAlignment > UnpackedAlignment) {
15353263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck    assert(llvm::isPowerOf2_32(UnpackedNewAlignment.getQuantity() &&
153678a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis           "Alignment not a power of 2"));
15373263e09c8e0925edaa541d0d4bb995b4bfb454e7Ken Dyck    UnpackedAlignment = UnpackedNewAlignment;
153878a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  }
153978a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis}
154078a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis
154178a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidisvoid RecordLayoutBuilder::CheckFieldPadding(uint64_t Offset,
154278a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis                                            uint64_t UnpaddedOffset,
154378a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis                                            uint64_t UnpackedOffset,
154478a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis                                            unsigned UnpackedAlign,
154578a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis                                            bool isPacked,
154678a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis                                            const FieldDecl *D) {
154778a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  // We let objc ivars without warning, objc interfaces generally are not used
154878a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  // for padding tricks.
154978a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  if (isa<ObjCIvarDecl>(D))
1550bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson    return;
15511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
155278a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  unsigned CharBitNum = Context.Target.getCharWidth();
15531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
155478a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  // Warn if padding was introduced to the struct/class.
155578a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  if (!IsUnion && Offset > UnpaddedOffset) {
155678a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    unsigned PadSize = Offset - UnpaddedOffset;
155778a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    bool InBits = true;
155878a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    if (PadSize % CharBitNum == 0) {
155978a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis      PadSize = PadSize / CharBitNum;
156078a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis      InBits = false;
156178a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    }
156278a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    if (D->getIdentifier())
156378a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis      Diag(D->getLocation(), diag::warn_padded_struct_field)
156478a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis          << (D->getParent()->isStruct() ? 0 : 1) // struct|class
156578a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis          << Context.getTypeDeclType(D->getParent())
156678a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis          << PadSize
156778a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis          << (InBits ? 1 : 0) /*(byte|bit)*/ << (PadSize > 1) // plural or not
156878a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis          << D->getIdentifier();
156978a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    else
157078a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis      Diag(D->getLocation(), diag::warn_padded_struct_anon_field)
157178a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis          << (D->getParent()->isStruct() ? 0 : 1) // struct|class
157278a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis          << Context.getTypeDeclType(D->getParent())
157378a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis          << PadSize
157478a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis          << (InBits ? 1 : 0) /*(byte|bit)*/ << (PadSize > 1); // plural or not
157578a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  }
157678a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis
157778a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  // Warn if we packed it unnecessarily. If the alignment is 1 byte don't
157878a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  // bother since there won't be alignment issues.
157978a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis  if (isPacked && UnpackedAlign > CharBitNum && Offset == UnpackedOffset)
158078a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis    Diag(D->getLocation(), diag::warn_unnecessary_packed)
158178a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis        << D->getIdentifier();
1582bda4c1015e27ac82d31afb4519dd53586e61a51aAnders Carlsson}
15831eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
1584f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlssonconst CXXMethodDecl *
15857d0918acd134ab93b7d3eb6add93dfde37b1f7b3Anders CarlssonRecordLayoutBuilder::ComputeKeyFunction(const CXXRecordDecl *RD) {
15868d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar  // If a class isn't polymorphic it doesn't have a key function.
1587f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson  if (!RD->isPolymorphic())
1588f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson    return 0;
158961eab8872168af6eb1e0047a82901096cf145e27Eli Friedman
159061eab8872168af6eb1e0047a82901096cf145e27Eli Friedman  // A class inside an anonymous namespace doesn't have a key function.  (Or
159161eab8872168af6eb1e0047a82901096cf145e27Eli Friedman  // at least, there's no point to assigning a key function to such a class;
159261eab8872168af6eb1e0047a82901096cf145e27Eli Friedman  // this doesn't affect the ABI.)
159361eab8872168af6eb1e0047a82901096cf145e27Eli Friedman  if (RD->isInAnonymousNamespace())
159461eab8872168af6eb1e0047a82901096cf145e27Eli Friedman    return 0;
159561eab8872168af6eb1e0047a82901096cf145e27Eli Friedman
15963bd5b6c3c2ad1d5a6f88cf21f627e8d4f03c4df4Argyrios Kyrtzidis  // Template instantiations don't have key functions,see Itanium C++ ABI 5.2.6.
15973bd5b6c3c2ad1d5a6f88cf21f627e8d4f03c4df4Argyrios Kyrtzidis  // Same behavior as GCC.
15983bd5b6c3c2ad1d5a6f88cf21f627e8d4f03c4df4Argyrios Kyrtzidis  TemplateSpecializationKind TSK = RD->getTemplateSpecializationKind();
15993bd5b6c3c2ad1d5a6f88cf21f627e8d4f03c4df4Argyrios Kyrtzidis  if (TSK == TSK_ImplicitInstantiation ||
16003bd5b6c3c2ad1d5a6f88cf21f627e8d4f03c4df4Argyrios Kyrtzidis      TSK == TSK_ExplicitInstantiationDefinition)
16013bd5b6c3c2ad1d5a6f88cf21f627e8d4f03c4df4Argyrios Kyrtzidis    return 0;
16023bd5b6c3c2ad1d5a6f88cf21f627e8d4f03c4df4Argyrios Kyrtzidis
1603bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  for (CXXRecordDecl::method_iterator I = RD->method_begin(),
1604bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar         E = RD->method_end(); I != E; ++I) {
1605f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson    const CXXMethodDecl *MD = *I;
1606bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1607f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson    if (!MD->isVirtual())
1608f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson      continue;
1609bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1610f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson    if (MD->isPure())
1611f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson      continue;
161261eab8872168af6eb1e0047a82901096cf145e27Eli Friedman
1613f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson    // Ignore implicit member functions, they are always marked as inline, but
1614f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson    // they don't have a body until they're defined.
1615f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson    if (MD->isImplicit())
1616f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson      continue;
1617bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1618bd6d6197fcfc98356ea60e816365eb0648b69556Douglas Gregor    if (MD->isInlineSpecified())
1619bd6d6197fcfc98356ea60e816365eb0648b69556Douglas Gregor      continue;
1620f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson
1621f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson    if (MD->hasInlineBody())
1622f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson      continue;
1623bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1624f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson    // We found it.
1625f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson    return MD;
1626f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson  }
1627bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1628f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson  return 0;
1629f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson}
1630f53df2398e07d13be9962b95aebc19b31706fa33Anders Carlsson
163178a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios KyrtzidisDiagnosticBuilder
163278a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios KyrtzidisRecordLayoutBuilder::Diag(SourceLocation Loc, unsigned DiagID) {
163333e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  return Context.getDiagnostics().Report(Loc, DiagID);
163478a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis}
163578a916ec5ff5b66adec3c499e1b9af7b87668309Argyrios Kyrtzidis
1636cb9c07418b699bd2b8384d31ff4392df7d76eb7cBenjamin Kramernamespace {
1637cb9c07418b699bd2b8384d31ff4392df7d76eb7cBenjamin Kramer  // This class implements layout specific to the Microsoft ABI.
1638cb9c07418b699bd2b8384d31ff4392df7d76eb7cBenjamin Kramer  class MSRecordLayoutBuilder : public RecordLayoutBuilder {
1639cb9c07418b699bd2b8384d31ff4392df7d76eb7cBenjamin Kramer  public:
16404ba2a17694148e16eaa8d3917f657ffcd3667be4Jay Foad    MSRecordLayoutBuilder(const ASTContext& Ctx,
16414ba2a17694148e16eaa8d3917f657ffcd3667be4Jay Foad                          EmptySubobjectMap *EmptySubobjects) :
1642cb9c07418b699bd2b8384d31ff4392df7d76eb7cBenjamin Kramer      RecordLayoutBuilder(Ctx, EmptySubobjects) {}
1643cb9c07418b699bd2b8384d31ff4392df7d76eb7cBenjamin Kramer
1644cb9c07418b699bd2b8384d31ff4392df7d76eb7cBenjamin Kramer    virtual uint64_t GetVirtualPointersSize(const CXXRecordDecl *RD) const;
1645cb9c07418b699bd2b8384d31ff4392df7d76eb7cBenjamin Kramer  };
1646cb9c07418b699bd2b8384d31ff4392df7d76eb7cBenjamin Kramer}
1647c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis
1648c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davisuint64_t
1649c9f8aece7e111f90265dfad9a81f3f517be948deCharles DavisMSRecordLayoutBuilder::GetVirtualPointersSize(const CXXRecordDecl *RD) const {
1650c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis  // We should reserve space for two pointers if the class has both
1651c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis  // virtual functions and virtual bases.
1652c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis  if (RD->isPolymorphic() && RD->getNumVBases() > 0)
1653c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis    return 2 * Context.Target.getPointerWidth(0);
1654c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis  return Context.Target.getPointerWidth(0);
1655c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis}
1656c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis
16571e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson/// getASTRecordLayout - Get or compute information about the layout of the
16581e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson/// specified record (struct/union/class), which indicates its size and field
16591e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson/// position information.
16604ba2a17694148e16eaa8d3917f657ffcd3667be4Jay Foadconst ASTRecordLayout &
16614ba2a17694148e16eaa8d3917f657ffcd3667be4Jay FoadASTContext::getASTRecordLayout(const RecordDecl *D) const {
16621e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  D = D->getDefinition();
16631e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  assert(D && "Cannot get layout of forward declarations!");
16641e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson
16651e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  // Look up this layout, if already laid out, return what we have.
16661e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  // Note that we can't save a reference to the entry because this function
16671e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  // is recursive.
16681e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  const ASTRecordLayout *Entry = ASTRecordLayouts[D];
16691e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  if (Entry) return *Entry;
16701e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson
16712f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson  const ASTRecordLayout *NewEntry;
16722f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson
16732f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson  if (const CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(D)) {
1674261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson    EmptySubobjectMap EmptySubobjects(*this, RD);
167558b16b6e46716e24f1cdaa0a5e1253415c4e30b3Anders Carlsson
1676c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis    // When compiling for Microsoft, use the special MS builder.
1677cfe17e5c82762cc854012e472b66f4278f0a4a2aArgyrios Kyrtzidis    llvm::OwningPtr<RecordLayoutBuilder> Builder;
167820cf717034ba1f20fc47c025ecb72ed9b631ad13Charles Davis    switch (Target.getCXXABI()) {
167920cf717034ba1f20fc47c025ecb72ed9b631ad13Charles Davis    default:
1680cfe17e5c82762cc854012e472b66f4278f0a4a2aArgyrios Kyrtzidis      Builder.reset(new RecordLayoutBuilder(*this, &EmptySubobjects));
168120cf717034ba1f20fc47c025ecb72ed9b631ad13Charles Davis      break;
168220cf717034ba1f20fc47c025ecb72ed9b631ad13Charles Davis    case CXXABI_Microsoft:
1683cfe17e5c82762cc854012e472b66f4278f0a4a2aArgyrios Kyrtzidis      Builder.reset(new MSRecordLayoutBuilder(*this, &EmptySubobjects));
168420cf717034ba1f20fc47c025ecb72ed9b631ad13Charles Davis    }
1685c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis    Builder->Layout(RD);
16862f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson
16872f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson    // FIXME: This is not always correct. See the part about bitfields at
16882f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson    // http://www.codesourcery.com/public/cxx-abi/abi.html#POD for more info.
16892f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson    // FIXME: IsPODForThePurposeOfLayout should be stored in the record layout.
16902f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson    bool IsPODForThePurposeOfLayout = cast<CXXRecordDecl>(D)->isPOD();
16912f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson
16922f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson    // FIXME: This should be done in FinalizeLayout.
16932f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson    uint64_t DataSize =
1694c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis      IsPODForThePurposeOfLayout ? Builder->Size : Builder->DataSize;
1695a1fdb0bc09aa0d17841cdbdd8c52cd1368251cbfKen Dyck    CharUnits NonVirtualSize =
1696a1fdb0bc09aa0d17841cdbdd8c52cd1368251cbfKen Dyck      IsPODForThePurposeOfLayout ?
1697a1fdb0bc09aa0d17841cdbdd8c52cd1368251cbfKen Dyck        toCharUnitsFromBits(DataSize) : Builder->NonVirtualSize;
16982f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson
16995f022d82696c84e4d127c558871d68ac6273274eKen Dyck    CharUnits RecordSize = toCharUnitsFromBits(Builder->Size);
17000aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar    NewEntry =
1701dac54c124e302d6f028ea5723c425b7f66fc7c71Ken Dyck      new (*this) ASTRecordLayout(*this, RecordSize,
1702ea7f6c2c53127b875ed432fd1793d48270d8ba6bKen Dyck                                  Builder->Alignment,
1703ec2990351335f163601b98e39b52425e2e9f931eKen Dyck                                  toCharUnitsFromBits(DataSize),
1704ec2990351335f163601b98e39b52425e2e9f931eKen Dyck                                  Builder->FieldOffsets.data(),
1705c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis                                  Builder->FieldOffsets.size(),
1706a1fdb0bc09aa0d17841cdbdd8c52cd1368251cbfKen Dyck                                  NonVirtualSize,
1707df205382dae666b011d857402114e4f4acd56c81Ken Dyck                                  Builder->NonVirtualAlignment,
1708261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson                                  EmptySubobjects.SizeOfLargestEmptySubobject,
1709c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis                                  Builder->PrimaryBase,
1710c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis                                  Builder->PrimaryBaseIsVirtual,
1711c9f8aece7e111f90265dfad9a81f3f517be948deCharles Davis                                  Builder->Bases, Builder->VBases);
17122f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson  } else {
1713261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson    RecordLayoutBuilder Builder(*this, /*EmptySubobjects=*/0);
17142f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson    Builder.Layout(D);
17150aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
17165f022d82696c84e4d127c558871d68ac6273274eKen Dyck    CharUnits RecordSize = toCharUnitsFromBits(Builder.Size);
17175f022d82696c84e4d127c558871d68ac6273274eKen Dyck
17182f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson    NewEntry =
1719dac54c124e302d6f028ea5723c425b7f66fc7c71Ken Dyck      new (*this) ASTRecordLayout(*this, RecordSize,
1720ea7f6c2c53127b875ed432fd1793d48270d8ba6bKen Dyck                                  Builder.Alignment,
1721ec2990351335f163601b98e39b52425e2e9f931eKen Dyck                                  toCharUnitsFromBits(Builder.Size),
17222f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson                                  Builder.FieldOffsets.data(),
17232f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson                                  Builder.FieldOffsets.size());
17242f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson  }
17252f64e377d1aa733b81a4c5e78e32a62c41426626Anders Carlsson
17261e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  ASTRecordLayouts[D] = NewEntry;
17271e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson
17281e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  if (getLangOptions().DumpRecordLayouts) {
17291e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson    llvm::errs() << "\n*** Dumping AST Record Layout\n";
17301e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson    DumpRecordLayout(D, llvm::errs());
17311e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  }
17321e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson
17331e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  return *NewEntry;
17341e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson}
17351e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson
17361e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlssonconst CXXMethodDecl *ASTContext::getKeyFunction(const CXXRecordDecl *RD) {
17371e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  RD = cast<CXXRecordDecl>(RD->getDefinition());
17381e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  assert(RD && "Cannot get key function for forward declarations!");
17390aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
17401e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  const CXXMethodDecl *&Entry = KeyFunctions[RD];
17410aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar  if (!Entry)
17427d0918acd134ab93b7d3eb6add93dfde37b1f7b3Anders Carlsson    Entry = RecordLayoutBuilder::ComputeKeyFunction(RD);
17430aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
17441e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  return Entry;
17451e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson}
17461e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson
17471e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson/// getInterfaceLayoutImpl - Get or compute information about the
17481e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson/// layout of the given interface.
17491e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson///
17501e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson/// \param Impl - If given, also include the layout of the interface's
17511e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson/// implementation. This may differ by including synthesized ivars.
17521e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlssonconst ASTRecordLayout &
17531e641ce1c169b4b0cac3d7ad6da44b323453049cAnders CarlssonASTContext::getObjCLayout(const ObjCInterfaceDecl *D,
17544ba2a17694148e16eaa8d3917f657ffcd3667be4Jay Foad                          const ObjCImplementationDecl *Impl) const {
17551e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  assert(!D->isForwardDecl() && "Invalid interface decl!");
17561e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson
17571e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  // Look up this layout, if already laid out, return what we have.
17581e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  ObjCContainerDecl *Key =
17591e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson    Impl ? (ObjCContainerDecl*) Impl : (ObjCContainerDecl*) D;
17601e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  if (const ASTRecordLayout *Entry = ObjCLayouts[Key])
17611e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson    return *Entry;
17621e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson
17631e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  // Add in synthesized ivar count if laying out an implementation.
17641e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  if (Impl) {
17651e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson    unsigned SynthCount = CountNonClassIvars(D);
17661e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson    // If there aren't any sythesized ivars then reuse the interface
17671e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson    // entry. Note we can't cache this because we simply free all
17681e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson    // entries later; however we shouldn't look up implementations
17691e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson    // frequently.
17701e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson    if (SynthCount == 0)
17711e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson      return getObjCLayout(D, 0);
17721e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  }
17731e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson
1774261febd091cd05325ae202b7d388a2d266bbf126Anders Carlsson  RecordLayoutBuilder Builder(*this, /*EmptySubobjects=*/0);
177536cdc61b98460c06ee07710f77b911675fdce6a7Anders Carlsson  Builder.Layout(D);
177636cdc61b98460c06ee07710f77b911675fdce6a7Anders Carlsson
17775f022d82696c84e4d127c558871d68ac6273274eKen Dyck  CharUnits RecordSize = toCharUnitsFromBits(Builder.Size);
17785f022d82696c84e4d127c558871d68ac6273274eKen Dyck
17791e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  const ASTRecordLayout *NewEntry =
1780dac54c124e302d6f028ea5723c425b7f66fc7c71Ken Dyck    new (*this) ASTRecordLayout(*this, RecordSize,
1781ea7f6c2c53127b875ed432fd1793d48270d8ba6bKen Dyck                                Builder.Alignment,
1782ec2990351335f163601b98e39b52425e2e9f931eKen Dyck                                toCharUnitsFromBits(Builder.DataSize),
178336cdc61b98460c06ee07710f77b911675fdce6a7Anders Carlsson                                Builder.FieldOffsets.data(),
178436cdc61b98460c06ee07710f77b911675fdce6a7Anders Carlsson                                Builder.FieldOffsets.size());
17850aa7edbc1f579787c4f69144fd1b04e777d89391Daniel Dunbar
17861e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  ObjCLayouts[Key] = NewEntry;
17871e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson
17881e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson  return *NewEntry;
17891e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson}
17901e641ce1c169b4b0cac3d7ad6da44b323453049cAnders Carlsson
1791bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbarstatic void PrintOffset(llvm::raw_ostream &OS,
17923069a0d28637ad0ad583d9fdd7bc6bc6aa677fb5Anders Carlsson                        CharUnits Offset, unsigned IndentLevel) {
17933069a0d28637ad0ad583d9fdd7bc6bc6aa677fb5Anders Carlsson  OS << llvm::format("%4d | ", Offset.getQuantity());
1794bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  OS.indent(IndentLevel * 2);
1795bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar}
1796bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1797bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbarstatic void DumpCXXRecordLayout(llvm::raw_ostream &OS,
17984ba2a17694148e16eaa8d3917f657ffcd3667be4Jay Foad                                const CXXRecordDecl *RD, const ASTContext &C,
17993069a0d28637ad0ad583d9fdd7bc6bc6aa677fb5Anders Carlsson                                CharUnits Offset,
1800bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar                                unsigned IndentLevel,
1801bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar                                const char* Description,
1802bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar                                bool IncludeVirtualBases) {
18033069a0d28637ad0ad583d9fdd7bc6bc6aa677fb5Anders Carlsson  const ASTRecordLayout &Layout = C.getASTRecordLayout(RD);
1804bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1805bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  PrintOffset(OS, Offset, IndentLevel);
1806cb421fa690da545b58a720abe5f1c49b166dbde7Dan Gohman  OS << C.getTypeDeclType(const_cast<CXXRecordDecl *>(RD)).getAsString();
1807bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  if (Description)
1808bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar    OS << ' ' << Description;
1809bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  if (RD->isEmpty())
1810bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar    OS << " (empty)";
1811bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  OS << '\n';
1812bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1813bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  IndentLevel++;
1814bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
18153069a0d28637ad0ad583d9fdd7bc6bc6aa677fb5Anders Carlsson  const CXXRecordDecl *PrimaryBase = Layout.getPrimaryBase();
1816bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1817bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  // Vtable pointer.
1818bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  if (RD->isDynamicClass() && !PrimaryBase) {
1819bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar    PrintOffset(OS, Offset, IndentLevel);
1820900fc6388e803868a34b9483510c345e9b49d7ebBenjamin Kramer    OS << '(' << RD << " vtable pointer)\n";
1821bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  }
1822bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  // Dump (non-virtual) bases
1823bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
1824bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar         E = RD->bases_end(); I != E; ++I) {
1825bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar    assert(!I->getType()->isDependentType() &&
1826bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar           "Cannot layout class with dependent bases.");
1827bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar    if (I->isVirtual())
1828bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar      continue;
1829bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1830bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar    const CXXRecordDecl *Base =
1831bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar      cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
1832bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
18333069a0d28637ad0ad583d9fdd7bc6bc6aa677fb5Anders Carlsson    CharUnits BaseOffset = Offset + Layout.getBaseClassOffset(Base);
1834bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1835bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar    DumpCXXRecordLayout(OS, Base, C, BaseOffset, IndentLevel,
1836bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar                        Base == PrimaryBase ? "(primary base)" : "(base)",
1837bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar                        /*IncludeVirtualBases=*/false);
1838bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  }
1839bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1840bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  // Dump fields.
1841bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  uint64_t FieldNo = 0;
1842bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  for (CXXRecordDecl::field_iterator I = RD->field_begin(),
1843bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar         E = RD->field_end(); I != E; ++I, ++FieldNo) {
1844bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar    const FieldDecl *Field = *I;
18453069a0d28637ad0ad583d9fdd7bc6bc6aa677fb5Anders Carlsson    CharUnits FieldOffset = Offset +
1846fb1e3bc29b667f4275e1d5a43d64ec173f4f9a7dKen Dyck      C.toCharUnitsFromBits(Layout.getFieldOffset(FieldNo));
1847bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1848bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar    if (const RecordType *RT = Field->getType()->getAs<RecordType>()) {
1849bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar      if (const CXXRecordDecl *D = dyn_cast<CXXRecordDecl>(RT->getDecl())) {
1850bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar        DumpCXXRecordLayout(OS, D, C, FieldOffset, IndentLevel,
18514087f27e5416c799bcb6be072f905be752acb61cDaniel Dunbar                            Field->getName().data(),
1852bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar                            /*IncludeVirtualBases=*/true);
1853bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar        continue;
1854bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar      }
1855bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar    }
1856bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1857bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar    PrintOffset(OS, FieldOffset, IndentLevel);
1858900fc6388e803868a34b9483510c345e9b49d7ebBenjamin Kramer    OS << Field->getType().getAsString() << ' ' << Field << '\n';
1859bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  }
1860bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1861bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  if (!IncludeVirtualBases)
1862bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar    return;
1863bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
1864bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  // Dump virtual bases.
1865bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  for (CXXRecordDecl::base_class_const_iterator I = RD->vbases_begin(),
1866bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar         E = RD->vbases_end(); I != E; ++I) {
1867bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar    assert(I->isVirtual() && "Found non-virtual class!");
1868bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar    const CXXRecordDecl *VBase =
1869bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar      cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
1870bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
18713069a0d28637ad0ad583d9fdd7bc6bc6aa677fb5Anders Carlsson    CharUnits VBaseOffset = Offset + Layout.getVBaseClassOffset(VBase);
1872bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar    DumpCXXRecordLayout(OS, VBase, C, VBaseOffset, IndentLevel,
1873bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar                        VBase == PrimaryBase ?
1874bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar                        "(primary virtual base)" : "(virtual base)",
1875bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar                        /*IncludeVirtualBases=*/false);
1876bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  }
1877bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar
18785f022d82696c84e4d127c558871d68ac6273274eKen Dyck  OS << "  sizeof=" << Layout.getSize().getQuantity();
1879ec2990351335f163601b98e39b52425e2e9f931eKen Dyck  OS << ", dsize=" << Layout.getDataSize().getQuantity();
1880dac54c124e302d6f028ea5723c425b7f66fc7c71Ken Dyck  OS << ", align=" << Layout.getAlignment().getQuantity() << '\n';
18815c3633fa57f27b0909ab5767715c4e66b8920165Ken Dyck  OS << "  nvsize=" << Layout.getNonVirtualSize().getQuantity();
188268cf1a5a01ba43ed56a8624632fd65e0804430acKen Dyck  OS << ", nvalign=" << Layout.getNonVirtualAlign().getQuantity() << '\n';
1883bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar  OS << '\n';
1884bf9e48cbaaa23d990dbedf9489513500bd0b9751Daniel Dunbar}
18858d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar
18868d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbarvoid ASTContext::DumpRecordLayout(const RecordDecl *RD,
18874ba2a17694148e16eaa8d3917f657ffcd3667be4Jay Foad                                  llvm::raw_ostream &OS) const {
18888d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar  const ASTRecordLayout &Info = getASTRecordLayout(RD);
18898d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar
18908d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar  if (const CXXRecordDecl *CXXRD = dyn_cast<CXXRecordDecl>(RD))
18913069a0d28637ad0ad583d9fdd7bc6bc6aa677fb5Anders Carlsson    return DumpCXXRecordLayout(OS, CXXRD, *this, CharUnits(), 0, 0,
18928d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar                               /*IncludeVirtualBases=*/true);
18938d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar
18948d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar  OS << "Type: " << getTypeDeclType(RD).getAsString() << "\n";
18958d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar  OS << "Record: ";
18968d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar  RD->dump();
18978d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar  OS << "\nLayout: ";
18988d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar  OS << "<ASTRecordLayout\n";
1899dd76a9ab9ea675671200f94b18ce95766841952bKen Dyck  OS << "  Size:" << toBits(Info.getSize()) << "\n";
1900ec2990351335f163601b98e39b52425e2e9f931eKen Dyck  OS << "  DataSize:" << toBits(Info.getDataSize()) << "\n";
1901dac54c124e302d6f028ea5723c425b7f66fc7c71Ken Dyck  OS << "  Alignment:" << toBits(Info.getAlignment()) << "\n";
19028d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar  OS << "  FieldOffsets: [";
19038d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar  for (unsigned i = 0, e = Info.getFieldCount(); i != e; ++i) {
19048d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar    if (i) OS << ", ";
19058d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar    OS << Info.getFieldOffset(i);
19068d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar  }
19078d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar  OS << "]>\n";
19088d8ab749f6f8bb63ea2cd2b589c0f050b67fc5ccDaniel Dunbar}
1909