CodeGenTypes.cpp revision 8330ceeebb3bfac31116b387b90ff2ce3cef85e4
15f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===--- CodeGenTypes.cpp - Type translation for LLVM CodeGen -------------===//
25f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
35f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//                     The LLVM Compiler Infrastructure
45f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source
60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details.
75f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
85f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===//
95f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// This is the code that handles AST -> LLVM type lowering.
115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===//
135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "CodeGenTypes.h"
15de7fb8413b13651fd85b7125d08b3c9ac2816d9dDaniel Dunbar#include "clang/AST/ASTContext.h"
16c4a1dea2dc56bd1357ec91b829a0b9e68229a13eDaniel Dunbar#include "clang/AST/DeclObjC.h"
17de7fb8413b13651fd85b7125d08b3c9ac2816d9dDaniel Dunbar#include "clang/AST/Expr.h"
1819cc4abea06a9b49e0e16a50d335c064cd723572Anders Carlsson#include "clang/AST/RecordLayout.h"
195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "llvm/DerivedTypes.h"
204e533287e6a9adac78c9ac370612581aad9b8c5eAnders Carlsson#include "llvm/Module.h"
21d9e9ede6b1703849da739629904dad197306e527Devang Patel#include "llvm/Target/TargetData.h"
225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
2345c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar#include "CGCall.h"
2445372a6fdcd2b0840704569478db456822e02baeAnders Carlsson#include "CGRecordLayoutBuilder.h"
2545c25ba11cbf8c9a461def5b03f6ee9481e06769Daniel Dunbar
265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerusing namespace clang;
275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerusing namespace CodeGen;
285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
29057afddf0fab91d979d6a750667d56a345225c96Devang Patelnamespace {
3088a981b47c7face1b1fdaa9074256245107b9ca9Devang Patel  /// RecordOrganizer - This helper class, used by CGRecordLayout, layouts
31057afddf0fab91d979d6a750667d56a345225c96Devang Patel  /// structs and unions. It manages transient information used during layout.
324c4635c6cd8114bfa3ee20628fa1f03e67ac1e55Devang Patel  /// FIXME : Handle field aligments. Handle packed structs.
33057afddf0fab91d979d6a750667d56a345225c96Devang Patel  class RecordOrganizer {
34057afddf0fab91d979d6a750667d56a345225c96Devang Patel  public:
35cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman    explicit RecordOrganizer(CodeGenTypes &Types, const RecordDecl& Record) :
36cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman      CGT(Types), RD(Record), STy(NULL) {}
370bd41f2cea0639395e8ab7ef8fd6df2c1999b6aeDevang Patel
3886522b9e84d0c39f09b54e888538ad64e89788c4Devang Patel    /// layoutStructFields - Do the actual work and lay out all fields. Create
39057afddf0fab91d979d6a750667d56a345225c96Devang Patel    /// corresponding llvm struct type.  This should be invoked only after
40057afddf0fab91d979d6a750667d56a345225c96Devang Patel    /// all fields are added.
4188a981b47c7face1b1fdaa9074256245107b9ca9Devang Patel    void layoutStructFields(const ASTRecordLayout &RL);
4286522b9e84d0c39f09b54e888538ad64e89788c4Devang Patel
4386522b9e84d0c39f09b54e888538ad64e89788c4Devang Patel    /// layoutUnionFields - Do the actual work and lay out all fields. Create
4486522b9e84d0c39f09b54e888538ad64e89788c4Devang Patel    /// corresponding llvm struct type.  This should be invoked only after
4586522b9e84d0c39f09b54e888538ad64e89788c4Devang Patel    /// all fields are added.
46cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman    void layoutUnionFields(const ASTRecordLayout &RL);
47057afddf0fab91d979d6a750667d56a345225c96Devang Patel
48057afddf0fab91d979d6a750667d56a345225c96Devang Patel    /// getLLVMType - Return associated llvm struct type. This may be NULL
49057afddf0fab91d979d6a750667d56a345225c96Devang Patel    /// if fields are not laid out.
50057afddf0fab91d979d6a750667d56a345225c96Devang Patel    llvm::Type *getLLVMType() const {
51057afddf0fab91d979d6a750667d56a345225c96Devang Patel      return STy;
52057afddf0fab91d979d6a750667d56a345225c96Devang Patel    }
53057afddf0fab91d979d6a750667d56a345225c96Devang Patel
54eae1560d4fb99b9df814bc12c0419825996156cdDevang Patel    llvm::SmallSet<unsigned, 8> &getPaddingFields() {
555bfc1a7ecb853cf87d10e720a07b9fbcd2a223eeDevang Patel      return PaddingFields;
565bfc1a7ecb853cf87d10e720a07b9fbcd2a223eeDevang Patel    }
575bfc1a7ecb853cf87d10e720a07b9fbcd2a223eeDevang Patel
58057afddf0fab91d979d6a750667d56a345225c96Devang Patel  private:
59f9fef925644a6c40b344a43ab9ebdb08a707de53Devang Patel    CodeGenTypes &CGT;
60cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman    const RecordDecl& RD;
61057afddf0fab91d979d6a750667d56a345225c96Devang Patel    llvm::Type *STy;
62eae1560d4fb99b9df814bc12c0419825996156cdDevang Patel    llvm::SmallSet<unsigned, 8> PaddingFields;
63057afddf0fab91d979d6a750667d56a345225c96Devang Patel  };
64057afddf0fab91d979d6a750667d56a345225c96Devang Patel}
65057afddf0fab91d979d6a750667d56a345225c96Devang Patel
667a4718e813e5e99d478567a482217c7eef8572c5Devang PatelCodeGenTypes::CodeGenTypes(ASTContext &Ctx, llvm::Module& M,
677a4718e813e5e99d478567a482217c7eef8572c5Devang Patel                           const llvm::TargetData &TD)
686b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar  : Context(Ctx), Target(Ctx.Target), TheModule(M), TheTargetData(TD),
696b1da0ea19c12346192f5ea4d70872c13bfcc82aDaniel Dunbar    TheABIInfo(0) {
70d2d2a11a91d7ddf468bfb70f66362d24806ed601Chris Lattner}
715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
72b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang PatelCodeGenTypes::~CodeGenTypes() {
73efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar  for(llvm::DenseMap<const Type *, CGRecordLayout *>::iterator
7488a981b47c7face1b1fdaa9074256245107b9ca9Devang Patel        I = CGRecordLayouts.begin(), E = CGRecordLayouts.end();
75b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel      I != E; ++I)
76b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel    delete I->second;
7788a981b47c7face1b1fdaa9074256245107b9ca9Devang Patel  CGRecordLayouts.clear();
78b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel}
79b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel
805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ConvertType - Convert the specified type to its LLVM form.
815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerconst llvm::Type *CodeGenTypes::ConvertType(QualType T) {
82fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner  llvm::PATypeHolder Result = ConvertTypeRecursive(T);
83fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner
84fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner  // Any pointers that were converted defered evaluation of their pointee type,
85fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner  // creating an opaque type instead.  This is in order to avoid problems with
86fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner  // circular types.  Loop through all these defered pointees, if any, and
87fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner  // resolve them now.
88fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner  while (!PointersToResolve.empty()) {
896aeae7fa9cfaacba3a4077d62c01c2531d88a63eDaniel Dunbar    std::pair<QualType, llvm::OpaqueType*> P =
90fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner      PointersToResolve.back();
91fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner    PointersToResolve.pop_back();
92fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner    // We can handle bare pointers here because we know that the only pointers
93fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner    // to the Opaque type are P.second and from other types.  Refining the
94fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner    // opqaue type away will invalidate P.second, but we don't mind :).
9557a84fb51de4f3de50debcf12dd194af8c6aaa58Eli Friedman    const llvm::Type *NT = ConvertTypeForMemRecursive(P.first);
96fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner    P.second->refineAbstractTypeTo(NT);
97fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner  }
98fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner
99fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner  return Result;
100fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner}
101fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner
102fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattnerconst llvm::Type *CodeGenTypes::ConvertTypeRecursive(QualType T) {
10309dc6660487fc2f4a4bb2032e30123d3e0da7230Chris Lattner  T = Context.getCanonicalType(T);
1049619662a1d42e2008b865d3459c0677e149dad1bChris Lattner
10530ec9972be5a5af1f7a2277360dfa3aa1540b4faDevang Patel  // See if type is already cached.
1060ffe89ab1e4890899e0e11a6f68223567a69b38aDevang Patel  llvm::DenseMap<Type *, llvm::PATypeHolder>::iterator
1079619662a1d42e2008b865d3459c0677e149dad1bChris Lattner    I = TypeCache.find(T.getTypePtr());
1083c40085b373d8e6e4523812e06f73a0cb9d5142cDevang Patel  // If type is found in map and this is not a definition for a opaque
109fae6e2994a51d8ec1e61b6eb68765247c83b1ccfChris Lattner  // place holder type then use it. Otherwise, convert type T.
1104581fff8af09a156a9dcc4de62587385c5da9574Chris Lattner  if (I != TypeCache.end())
11147c87b4b160d45285b24b1b7f4e3cbaaed3dc464Devang Patel    return I->second.get();
11230ec9972be5a5af1f7a2277360dfa3aa1540b4faDevang Patel
11330ec9972be5a5af1f7a2277360dfa3aa1540b4faDevang Patel  const llvm::Type *ResultType = ConvertNewType(T);
1149619662a1d42e2008b865d3459c0677e149dad1bChris Lattner  TypeCache.insert(std::make_pair(T.getTypePtr(),
1154581fff8af09a156a9dcc4de62587385c5da9574Chris Lattner                                  llvm::PATypeHolder(ResultType)));
11630ec9972be5a5af1f7a2277360dfa3aa1540b4faDevang Patel  return ResultType;
11730ec9972be5a5af1f7a2277360dfa3aa1540b4faDevang Patel}
11830ec9972be5a5af1f7a2277360dfa3aa1540b4faDevang Patel
11957a84fb51de4f3de50debcf12dd194af8c6aaa58Eli Friedmanconst llvm::Type *CodeGenTypes::ConvertTypeForMemRecursive(QualType T) {
12057a84fb51de4f3de50debcf12dd194af8c6aaa58Eli Friedman  const llvm::Type *ResultType = ConvertTypeRecursive(T);
12157a84fb51de4f3de50debcf12dd194af8c6aaa58Eli Friedman  if (ResultType == llvm::Type::Int1Ty)
12257a84fb51de4f3de50debcf12dd194af8c6aaa58Eli Friedman    return llvm::IntegerType::get((unsigned)Context.getTypeSize(T));
12357a84fb51de4f3de50debcf12dd194af8c6aaa58Eli Friedman  return ResultType;
12457a84fb51de4f3de50debcf12dd194af8c6aaa58Eli Friedman}
12557a84fb51de4f3de50debcf12dd194af8c6aaa58Eli Friedman
1264581fff8af09a156a9dcc4de62587385c5da9574Chris Lattner/// ConvertTypeForMem - Convert type T into a llvm::Type.  This differs from
1274581fff8af09a156a9dcc4de62587385c5da9574Chris Lattner/// ConvertType in that it is used to convert to the memory representation for
1284581fff8af09a156a9dcc4de62587385c5da9574Chris Lattner/// a type.  For example, the scalar representation for _Bool is i1, but the
1294581fff8af09a156a9dcc4de62587385c5da9574Chris Lattner/// memory representation is usually i8 or i32, depending on the target.
13019009e6fe7e0f51d2e49f4c94928a048c11c5281Chris Lattnerconst llvm::Type *CodeGenTypes::ConvertTypeForMem(QualType T) {
13119009e6fe7e0f51d2e49f4c94928a048c11c5281Chris Lattner  const llvm::Type *R = ConvertType(T);
13219009e6fe7e0f51d2e49f4c94928a048c11c5281Chris Lattner
13319009e6fe7e0f51d2e49f4c94928a048c11c5281Chris Lattner  // If this is a non-bool type, don't map it.
13419009e6fe7e0f51d2e49f4c94928a048c11c5281Chris Lattner  if (R != llvm::Type::Int1Ty)
13519009e6fe7e0f51d2e49f4c94928a048c11c5281Chris Lattner    return R;
13619009e6fe7e0f51d2e49f4c94928a048c11c5281Chris Lattner
13719009e6fe7e0f51d2e49f4c94928a048c11c5281Chris Lattner  // Otherwise, return an integer of the target-specified size.
13898be4943e8dc4f3905629a7102668960873cf863Chris Lattner  return llvm::IntegerType::get((unsigned)Context.getTypeSize(T));
13919009e6fe7e0f51d2e49f4c94928a048c11c5281Chris Lattner
14019009e6fe7e0f51d2e49f4c94928a048c11c5281Chris Lattner}
14119009e6fe7e0f51d2e49f4c94928a048c11c5281Chris Lattner
142b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman// Code to verify a given function type is complete, i.e. the return type
143b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman// and all of the argument types are complete.
144b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedmanstatic const TagType *VerifyFuncTypeComplete(const Type* T) {
145b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman  const FunctionType *FT = cast<FunctionType>(T);
14635366a67baa970c287c714c957cf78a4131cf60dTed Kremenek  if (const TagType* TT = FT->getResultType()->getAsTagType())
147b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman    if (!TT->getDecl()->isDefinition())
148b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      return TT;
149b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman  if (const FunctionProtoType *FPT = dyn_cast<FunctionProtoType>(T))
150b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman    for (unsigned i = 0; i < FPT->getNumArgs(); i++)
15135366a67baa970c287c714c957cf78a4131cf60dTed Kremenek      if (const TagType* TT = FPT->getArgType(i)->getAsTagType())
152b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman        if (!TT->getDecl()->isDefinition())
153b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman          return TT;
154b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman  return 0;
155b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman}
156b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman
157c5b8806cda286cf41866176ef98011fdaa68da01Chris Lattner/// UpdateCompletedType - When we find the full definition for a TagDecl,
158c5b8806cda286cf41866176ef98011fdaa68da01Chris Lattner/// replace the 'opaque' type we previously made for it if applicable.
159c5b8806cda286cf41866176ef98011fdaa68da01Chris Lattnervoid CodeGenTypes::UpdateCompletedType(const TagDecl *TD) {
160efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar  const Type *Key =
161efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar    Context.getTagDeclType(const_cast<TagDecl*>(TD)).getTypePtr();
162efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar  llvm::DenseMap<const Type*, llvm::PATypeHolder>::iterator TDTI =
163efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar    TagDeclTypes.find(Key);
1646ef58e36bbbfa232fe8b50309361e841985abfc6Chris Lattner  if (TDTI == TagDeclTypes.end()) return;
1656ef58e36bbbfa232fe8b50309361e841985abfc6Chris Lattner
1666ef58e36bbbfa232fe8b50309361e841985abfc6Chris Lattner  // Remember the opaque LLVM type for this tagdecl.
167d86e6bc7ab4388a578daf46e7c76be9122a25072Chris Lattner  llvm::PATypeHolder OpaqueHolder = TDTI->second;
168d86e6bc7ab4388a578daf46e7c76be9122a25072Chris Lattner  assert(isa<llvm::OpaqueType>(OpaqueHolder.get()) &&
1696ef58e36bbbfa232fe8b50309361e841985abfc6Chris Lattner         "Updating compilation of an already non-opaque type?");
170d86e6bc7ab4388a578daf46e7c76be9122a25072Chris Lattner
171d86e6bc7ab4388a578daf46e7c76be9122a25072Chris Lattner  // Remove it from TagDeclTypes so that it will be regenerated.
172d86e6bc7ab4388a578daf46e7c76be9122a25072Chris Lattner  TagDeclTypes.erase(TDTI);
173d86e6bc7ab4388a578daf46e7c76be9122a25072Chris Lattner
1748fb1dd005f4cb530bca11d622362d39727294420Chris Lattner  // Generate the new type.
1758fb1dd005f4cb530bca11d622362d39727294420Chris Lattner  const llvm::Type *NT = ConvertTagDeclType(TD);
176d86e6bc7ab4388a578daf46e7c76be9122a25072Chris Lattner
1778fb1dd005f4cb530bca11d622362d39727294420Chris Lattner  // Refine the old opaque type to its new definition.
1788fb1dd005f4cb530bca11d622362d39727294420Chris Lattner  cast<llvm::OpaqueType>(OpaqueHolder.get())->refineAbstractTypeTo(NT);
179b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman
180b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman  // Since we just completed a tag type, check to see if any function types
181b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman  // were completed along with the tag type.
182b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman  // FIXME: This is very inefficient; if we track which function types depend
183b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman  // on which tag types, though, it should be reasonably efficient.
184b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman  llvm::DenseMap<const Type*, llvm::PATypeHolder>::iterator i;
185b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman  for (i = FunctionTypes.begin(); i != FunctionTypes.end(); ++i) {
186b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman    if (const TagType* TT = VerifyFuncTypeComplete(i->first)) {
187b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      // This function type still depends on an incomplete tag type; make sure
188b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      // that tag type has an associated opaque type.
189b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      ConvertTagDeclType(TT->getDecl());
190b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman    } else {
191b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      // This function no longer depends on an incomplete tag type; create the
192b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      // function type, and refine the opaque type to the new function type.
193b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      llvm::PATypeHolder OpaqueHolder = i->second;
194b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      const llvm::Type *NFT = ConvertNewType(QualType(i->first, 0));
195b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      cast<llvm::OpaqueType>(OpaqueHolder.get())->refineAbstractTypeTo(NFT);
196b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      FunctionTypes.erase(i);
197b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman    }
198b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman  }
199d86e6bc7ab4388a578daf46e7c76be9122a25072Chris Lattner}
200d86e6bc7ab4388a578daf46e7c76be9122a25072Chris Lattner
201b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattnerstatic const llvm::Type* getTypeForFormat(const llvm::fltSemantics &format) {
202b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner  if (&format == &llvm::APFloat::IEEEsingle)
203f6a943e047f541619a2202f9e43b20b3d7c0a96dEli Friedman    return llvm::Type::FloatTy;
204b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner  if (&format == &llvm::APFloat::IEEEdouble)
205f6a943e047f541619a2202f9e43b20b3d7c0a96dEli Friedman    return llvm::Type::DoubleTy;
206b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner  if (&format == &llvm::APFloat::IEEEquad)
207f6a943e047f541619a2202f9e43b20b3d7c0a96dEli Friedman    return llvm::Type::FP128Ty;
208b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner  if (&format == &llvm::APFloat::PPCDoubleDouble)
209f6a943e047f541619a2202f9e43b20b3d7c0a96dEli Friedman    return llvm::Type::PPC_FP128Ty;
210b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner  if (&format == &llvm::APFloat::x87DoubleExtended)
211f6a943e047f541619a2202f9e43b20b3d7c0a96dEli Friedman    return llvm::Type::X86_FP80Ty;
212b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner  assert(0 && "Unknown float format!");
213f6a943e047f541619a2202f9e43b20b3d7c0a96dEli Friedman  return 0;
214f6a943e047f541619a2202f9e43b20b3d7c0a96dEli Friedman}
215f6a943e047f541619a2202f9e43b20b3d7c0a96dEli Friedman
21630ec9972be5a5af1f7a2277360dfa3aa1540b4faDevang Patelconst llvm::Type *CodeGenTypes::ConvertNewType(QualType T) {
2179619662a1d42e2008b865d3459c0677e149dad1bChris Lattner  const clang::Type &Ty = *Context.getCanonicalType(T);
2185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
2195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  switch (Ty.getTypeClass()) {
22072564e73277e29f6db3305d1f27ba408abb7ed88Douglas Gregor#define TYPE(Class, Base)
22172564e73277e29f6db3305d1f27ba408abb7ed88Douglas Gregor#define ABSTRACT_TYPE(Class, Base)
22272564e73277e29f6db3305d1f27ba408abb7ed88Douglas Gregor#define NON_CANONICAL_TYPE(Class, Base) case Type::Class:
22372564e73277e29f6db3305d1f27ba408abb7ed88Douglas Gregor#define DEPENDENT_TYPE(Class, Base) case Type::Class:
22472564e73277e29f6db3305d1f27ba408abb7ed88Douglas Gregor#include "clang/AST/TypeNodes.def"
22572564e73277e29f6db3305d1f27ba408abb7ed88Douglas Gregor    assert(false && "Non-canonical or dependent types aren't possible.");
22672564e73277e29f6db3305d1f27ba408abb7ed88Douglas Gregor    break;
22772564e73277e29f6db3305d1f27ba408abb7ed88Douglas Gregor
2285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case Type::Builtin: {
2295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    switch (cast<BuiltinType>(Ty).getKind()) {
230afef76e43a30380b3c612a674738f2f574c8f166Argyrios Kyrtzidis    default: assert(0 && "Unknown builtin type!");
2315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case BuiltinType::Void:
232de2e22d33afec98324a66a358dfe0951b3c7259aSteve Naroff    case BuiltinType::ObjCId:
233de2e22d33afec98324a66a358dfe0951b3c7259aSteve Naroff    case BuiltinType::ObjCClass:
2345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      // LLVM void type can only be used as the result of a function call.  Just
2355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      // map to the same as char.
236d2d2a11a91d7ddf468bfb70f66362d24806ed601Chris Lattner      return llvm::IntegerType::get(8);
2375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
2385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case BuiltinType::Bool:
23919009e6fe7e0f51d2e49f4c94928a048c11c5281Chris Lattner      // Note that we always return bool as i1 for use as a scalar type.
2405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      return llvm::Type::Int1Ty;
2415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
242d2d2a11a91d7ddf468bfb70f66362d24806ed601Chris Lattner    case BuiltinType::Char_S:
243d2d2a11a91d7ddf468bfb70f66362d24806ed601Chris Lattner    case BuiltinType::Char_U:
244d2d2a11a91d7ddf468bfb70f66362d24806ed601Chris Lattner    case BuiltinType::SChar:
245d2d2a11a91d7ddf468bfb70f66362d24806ed601Chris Lattner    case BuiltinType::UChar:
2465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case BuiltinType::Short:
2475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case BuiltinType::UShort:
2485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case BuiltinType::Int:
2495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case BuiltinType::UInt:
2505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case BuiltinType::Long:
2515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case BuiltinType::ULong:
2525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case BuiltinType::LongLong:
2535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case BuiltinType::ULongLong:
254afef76e43a30380b3c612a674738f2f574c8f166Argyrios Kyrtzidis    case BuiltinType::WChar:
255f5c209d23b20ada4a9b6235db50317239cbf6ae1Alisdair Meredith    case BuiltinType::Char16:
256f5c209d23b20ada4a9b6235db50317239cbf6ae1Alisdair Meredith    case BuiltinType::Char32:
25747f7dbf7c0b25505ad093a317983a9b39efe0610Chris Lattner      return llvm::IntegerType::get(
25898be4943e8dc4f3905629a7102668960873cf863Chris Lattner        static_cast<unsigned>(Context.getTypeSize(T)));
2595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
260f6a943e047f541619a2202f9e43b20b3d7c0a96dEli Friedman    case BuiltinType::Float:
261c8b1227fa8c17d9881815e40c04e19334be536f8Nate Begeman    case BuiltinType::Double:
2625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case BuiltinType::LongDouble:
263b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner      return getTypeForFormat(Context.getFloatTypeSemantics(T));
2642df9ced9fd1e8c7d7b38443db07e0e811de22571Chris Lattner
2652df9ced9fd1e8c7d7b38443db07e0e811de22571Chris Lattner    case BuiltinType::UInt128:
2662df9ced9fd1e8c7d7b38443db07e0e811de22571Chris Lattner    case BuiltinType::Int128:
2672df9ced9fd1e8c7d7b38443db07e0e811de22571Chris Lattner      return llvm::IntegerType::get(128);
2685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    }
2695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    break;
2705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
271f98aba35e6c3da5aae61843fc01334939e4e12ecEli Friedman  case Type::FixedWidthInt:
272f98aba35e6c3da5aae61843fc01334939e4e12ecEli Friedman    return llvm::IntegerType::get(cast<FixedWidthIntType>(T)->getWidth());
2735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case Type::Complex: {
274572cf09ae8a78af1c56d40b016ec4cf1837163acChris Lattner    const llvm::Type *EltTy =
275fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner      ConvertTypeRecursive(cast<ComplexType>(Ty).getElementType());
276572cf09ae8a78af1c56d40b016ec4cf1837163acChris Lattner    return llvm::StructType::get(EltTy, EltTy, NULL);
2775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
2787c80bd64032e610c0dbd74fc0ef6ea334447f2fdSebastian Redl  case Type::LValueReference:
2797c80bd64032e610c0dbd74fc0ef6ea334447f2fdSebastian Redl  case Type::RValueReference: {
2806aeae7fa9cfaacba3a4077d62c01c2531d88a63eDaniel Dunbar    const ReferenceType &RTy = cast<ReferenceType>(Ty);
2816aeae7fa9cfaacba3a4077d62c01c2531d88a63eDaniel Dunbar    QualType ETy = RTy.getPointeeType();
2826aeae7fa9cfaacba3a4077d62c01c2531d88a63eDaniel Dunbar    llvm::OpaqueType *PointeeType = llvm::OpaqueType::get();
2836aeae7fa9cfaacba3a4077d62c01c2531d88a63eDaniel Dunbar    PointersToResolve.push_back(std::make_pair(ETy, PointeeType));
2846aeae7fa9cfaacba3a4077d62c01c2531d88a63eDaniel Dunbar    return llvm::PointerType::get(PointeeType, ETy.getAddressSpace());
2856aeae7fa9cfaacba3a4077d62c01c2531d88a63eDaniel Dunbar  }
2865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case Type::Pointer: {
2876aeae7fa9cfaacba3a4077d62c01c2531d88a63eDaniel Dunbar    const PointerType &PTy = cast<PointerType>(Ty);
288fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner    QualType ETy = PTy.getPointeeType();
289fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner    llvm::OpaqueType *PointeeType = llvm::OpaqueType::get();
2906aeae7fa9cfaacba3a4077d62c01c2531d88a63eDaniel Dunbar    PointersToResolve.push_back(std::make_pair(ETy, PointeeType));
291fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner    return llvm::PointerType::get(PointeeType, ETy.getAddressSpace());
2925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
2935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
294fb22d96692c5240fb8d611290dbf7eeed3759c73Steve Naroff  case Type::VariableArray: {
295fb22d96692c5240fb8d611290dbf7eeed3759c73Steve Naroff    const VariableArrayType &A = cast<VariableArrayType>(Ty);
296c5773c4b8ce1ed6ed5c7112c9020c954a47dce96Eli Friedman    assert(A.getIndexTypeQualifier() == 0 &&
2975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer           "FIXME: We only handle trivial array types so far!");
298c5773c4b8ce1ed6ed5c7112c9020c954a47dce96Eli Friedman    // VLAs resolve to the innermost element type; this matches
299c5773c4b8ce1ed6ed5c7112c9020c954a47dce96Eli Friedman    // the return of alloca, and there isn't any obviously better choice.
30057a84fb51de4f3de50debcf12dd194af8c6aaa58Eli Friedman    return ConvertTypeForMemRecursive(A.getElementType());
301c5773c4b8ce1ed6ed5c7112c9020c954a47dce96Eli Friedman  }
302c5773c4b8ce1ed6ed5c7112c9020c954a47dce96Eli Friedman  case Type::IncompleteArray: {
303c5773c4b8ce1ed6ed5c7112c9020c954a47dce96Eli Friedman    const IncompleteArrayType &A = cast<IncompleteArrayType>(Ty);
304c5773c4b8ce1ed6ed5c7112c9020c954a47dce96Eli Friedman    assert(A.getIndexTypeQualifier() == 0 &&
305c5773c4b8ce1ed6ed5c7112c9020c954a47dce96Eli Friedman           "FIXME: We only handle trivial array types so far!");
306c5773c4b8ce1ed6ed5c7112c9020c954a47dce96Eli Friedman    // int X[] -> [0 x int]
30757a84fb51de4f3de50debcf12dd194af8c6aaa58Eli Friedman    return llvm::ArrayType::get(ConvertTypeForMemRecursive(A.getElementType()), 0);
3085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
309fb22d96692c5240fb8d611290dbf7eeed3759c73Steve Naroff  case Type::ConstantArray: {
310fb22d96692c5240fb8d611290dbf7eeed3759c73Steve Naroff    const ConstantArrayType &A = cast<ConstantArrayType>(Ty);
31157a84fb51de4f3de50debcf12dd194af8c6aaa58Eli Friedman    const llvm::Type *EltTy = ConvertTypeForMemRecursive(A.getElementType());
312fb22d96692c5240fb8d611290dbf7eeed3759c73Steve Naroff    return llvm::ArrayType::get(EltTy, A.getSize().getZExtValue());
313fb22d96692c5240fb8d611290dbf7eeed3759c73Steve Naroff  }
314213541a68a3e137d11d2cefb612c6cdb410d7e8eNate Begeman  case Type::ExtVector:
3155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case Type::Vector: {
3165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    const VectorType &VT = cast<VectorType>(Ty);
317fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner    return llvm::VectorType::get(ConvertTypeRecursive(VT.getElementType()),
3185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer                                 VT.getNumElements());
3195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
3205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case Type::FunctionNoProto:
321bb36d331f439f49859efcfb4435c61762fbba6f9Daniel Dunbar  case Type::FunctionProto: {
322b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman    // First, check whether we can build the full function type.
323b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman    if (const TagType* TT = VerifyFuncTypeComplete(&Ty)) {
324b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      // This function's type depends on an incomplete tag type; make sure
325b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      // we have an opaque type corresponding to the tag type.
326b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      ConvertTagDeclType(TT->getDecl());
327b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      // Create an opaque type for this function type, save it, and return it.
328b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      llvm::Type *ResultType = llvm::OpaqueType::get();
329b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      FunctionTypes.insert(std::make_pair(&Ty, ResultType));
330b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      return ResultType;
331b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman    }
332b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman    // The function type can be built; call the appropriate routines to
333b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman    // build it.
3349a1a9c41cf7e2735f059bb0c1d85f3207f637b22Chris Lattner    if (const FunctionProtoType *FPT = dyn_cast<FunctionProtoType>(&Ty))
335b3b6b9b27ab8bdb2a435a5a92ce62e74e3399377Eli Friedman      return GetFunctionType(getFunctionInfo(FPT), FPT->isVariadic());
3369a1a9c41cf7e2735f059bb0c1d85f3207f637b22Chris Lattner
3379a1a9c41cf7e2735f059bb0c1d85f3207f637b22Chris Lattner    const FunctionNoProtoType *FNPT = cast<FunctionNoProtoType>(&Ty);
3389a1a9c41cf7e2735f059bb0c1d85f3207f637b22Chris Lattner    return GetFunctionType(getFunctionInfo(FNPT), true);
339bb36d331f439f49859efcfb4435c61762fbba6f9Daniel Dunbar  }
340ebb97e98c03f8d7034bd3748a10e35f39a95c289Christopher Lamb
341f11284ac87daa613bc7b30db9f54bd716d123222Fariborz Jahanian  case Type::ExtQual:
342fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner    return
343f11284ac87daa613bc7b30db9f54bd716d123222Fariborz Jahanian      ConvertTypeRecursive(QualType(cast<ExtQualType>(Ty).getBaseType(), 0));
344b1776cb8d35dfa80bfd8606e58b8ade30dcd2438Chris Lattner
345391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner  case Type::ObjCInterface: {
346412f59b23fc502b199b9ca96c72ef5d5ad21d62bDaniel Dunbar    // Objective-C interfaces are always opaque (outside of the
347412f59b23fc502b199b9ca96c72ef5d5ad21d62bDaniel Dunbar    // runtime, which can do whatever it likes); we never refine
348412f59b23fc502b199b9ca96c72ef5d5ad21d62bDaniel Dunbar    // these.
349412f59b23fc502b199b9ca96c72ef5d5ad21d62bDaniel Dunbar    const llvm::Type *&T = InterfaceTypes[cast<ObjCInterfaceType>(&Ty)];
350412f59b23fc502b199b9ca96c72ef5d5ad21d62bDaniel Dunbar    if (!T)
351412f59b23fc502b199b9ca96c72ef5d5ad21d62bDaniel Dunbar        T = llvm::OpaqueType::get();
352412f59b23fc502b199b9ca96c72ef5d5ad21d62bDaniel Dunbar    return T;
353391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner  }
354e37882ad335896dedf345102bb425383e6221c37Fariborz Jahanian
35514108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff  case Type::ObjCObjectPointer: {
35628e478010eb4d789da85c6378dbfa9d66b95830bDaniel Dunbar    // Protocol qualifications do not influence the LLVM type, we just return a
35728e478010eb4d789da85c6378dbfa9d66b95830bDaniel Dunbar    // pointer to the underlying interface type. We don't need to worry about
35828e478010eb4d789da85c6378dbfa9d66b95830bDaniel Dunbar    // recursive conversion.
35928e478010eb4d789da85c6378dbfa9d66b95830bDaniel Dunbar    const llvm::Type *T =
36028e478010eb4d789da85c6378dbfa9d66b95830bDaniel Dunbar      ConvertTypeRecursive(cast<ObjCObjectPointerType>(Ty).getPointeeType());
36128e478010eb4d789da85c6378dbfa9d66b95830bDaniel Dunbar    return llvm::PointerType::getUnqual(T);
36214108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff  }
36328e478010eb4d789da85c6378dbfa9d66b95830bDaniel Dunbar
36472564e73277e29f6db3305d1f27ba408abb7ed88Douglas Gregor  case Type::Record:
36572564e73277e29f6db3305d1f27ba408abb7ed88Douglas Gregor  case Type::Enum: {
366de0efb3b6eac36bdeae0e60f753a974cc4118a31Chris Lattner    const TagDecl *TD = cast<TagType>(Ty).getDecl();
3678fb1dd005f4cb530bca11d622362d39727294420Chris Lattner    const llvm::Type *Res = ConvertTagDeclType(TD);
368de0efb3b6eac36bdeae0e60f753a974cc4118a31Chris Lattner
369de0efb3b6eac36bdeae0e60f753a974cc4118a31Chris Lattner    std::string TypeName(TD->getKindName());
370de0efb3b6eac36bdeae0e60f753a974cc4118a31Chris Lattner    TypeName += '.';
371de0efb3b6eac36bdeae0e60f753a974cc4118a31Chris Lattner
372de0efb3b6eac36bdeae0e60f753a974cc4118a31Chris Lattner    // Name the codegen type after the typedef name
373de0efb3b6eac36bdeae0e60f753a974cc4118a31Chris Lattner    // if there is no tag type name available
374de0efb3b6eac36bdeae0e60f753a974cc4118a31Chris Lattner    if (TD->getIdentifier())
375d9d22dd9c94618490dbffb0e2caf222530ca39d3Chris Lattner      TypeName += TD->getNameAsString();
376de0efb3b6eac36bdeae0e60f753a974cc4118a31Chris Lattner    else if (const TypedefType *TdT = dyn_cast<TypedefType>(T))
377d9d22dd9c94618490dbffb0e2caf222530ca39d3Chris Lattner      TypeName += TdT->getDecl()->getNameAsString();
378de0efb3b6eac36bdeae0e60f753a974cc4118a31Chris Lattner    else
379de0efb3b6eac36bdeae0e60f753a974cc4118a31Chris Lattner      TypeName += "anon";
380de0efb3b6eac36bdeae0e60f753a974cc4118a31Chris Lattner
381de0efb3b6eac36bdeae0e60f753a974cc4118a31Chris Lattner    TheModule.addTypeName(TypeName, Res);
382de0efb3b6eac36bdeae0e60f753a974cc4118a31Chris Lattner    return Res;
383de0efb3b6eac36bdeae0e60f753a974cc4118a31Chris Lattner  }
3849048891ff983d0681c116c6e8f1073aa31bdd6e8Daniel Dunbar
3859048891ff983d0681c116c6e8f1073aa31bdd6e8Daniel Dunbar  case Type::BlockPointer: {
3864e174f1b1e95faacc21da2eac70f7853807f3ea3Daniel Dunbar    const QualType FTy = cast<BlockPointerType>(Ty).getPointeeType();
387209bb438042ef7652b2b046e43d4ffb5a00d9725Fariborz Jahanian    llvm::OpaqueType *PointeeType = llvm::OpaqueType::get();
388209bb438042ef7652b2b046e43d4ffb5a00d9725Fariborz Jahanian    PointersToResolve.push_back(std::make_pair(FTy, PointeeType));
389209bb438042ef7652b2b046e43d4ffb5a00d9725Fariborz Jahanian    return llvm::PointerType::get(PointeeType, FTy.getAddressSpace());
3909048891ff983d0681c116c6e8f1073aa31bdd6e8Daniel Dunbar  }
391424c51d3d4bea87291919b75e73ca59386702ad5Sebastian Redl
3920e650017acdbbeb0c590e77bbea88c200ea1caefAnders Carlsson  case Type::MemberPointer: {
3930e650017acdbbeb0c590e77bbea88c200ea1caefAnders Carlsson    // FIXME: This is ABI dependent. We use the Itanium C++ ABI.
3940e650017acdbbeb0c590e77bbea88c200ea1caefAnders Carlsson    // http://www.codesourcery.com/public/cxx-abi/abi.html#member-pointers
3950e650017acdbbeb0c590e77bbea88c200ea1caefAnders Carlsson    // If we ever want to support other ABIs this needs to be abstracted.
3960e650017acdbbeb0c590e77bbea88c200ea1caefAnders Carlsson
3970e650017acdbbeb0c590e77bbea88c200ea1caefAnders Carlsson    QualType ETy = cast<MemberPointerType>(Ty).getPointeeType();
3980e650017acdbbeb0c590e77bbea88c200ea1caefAnders Carlsson    if (ETy->isFunctionType()) {
3990e650017acdbbeb0c590e77bbea88c200ea1caefAnders Carlsson      return llvm::StructType::get(ConvertType(Context.getPointerDiffType()),
4000e650017acdbbeb0c590e77bbea88c200ea1caefAnders Carlsson                                   ConvertType(Context.getPointerDiffType()),
4010e650017acdbbeb0c590e77bbea88c200ea1caefAnders Carlsson                                   NULL);
4020e650017acdbbeb0c590e77bbea88c200ea1caefAnders Carlsson    } else
4030e650017acdbbeb0c590e77bbea88c200ea1caefAnders Carlsson      return ConvertType(Context.getPointerDiffType());
4040e650017acdbbeb0c590e77bbea88c200ea1caefAnders Carlsson  }
4057532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor
4067532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor  case Type::TemplateSpecialization:
4077532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor    assert(false && "Dependent types can't get here");
4085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
4095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
4105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // FIXME: implement.
4115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  return llvm::OpaqueType::get();
4125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
4135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
414fc3b8e9c1381d5e6ec361591d649c56a870ff971Chris Lattner/// ConvertTagDeclType - Lay out a tagged decl type like struct or union or
415fc3b8e9c1381d5e6ec361591d649c56a870ff971Chris Lattner/// enum.
4168fb1dd005f4cb530bca11d622362d39727294420Chris Lattnerconst llvm::Type *CodeGenTypes::ConvertTagDeclType(const TagDecl *TD) {
417efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar  // TagDecl's are not necessarily unique, instead use the (clang)
418efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar  // type connected to the decl.
419efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar  const Type *Key =
420efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar    Context.getTagDeclType(const_cast<TagDecl*>(TD)).getTypePtr();
421efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar  llvm::DenseMap<const Type*, llvm::PATypeHolder>::iterator TDTI =
422efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar    TagDeclTypes.find(Key);
423fc3b8e9c1381d5e6ec361591d649c56a870ff971Chris Lattner
4245de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  // If we've already compiled this tag type, use the previous definition.
4255de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  if (TDTI != TagDeclTypes.end())
426fc3b8e9c1381d5e6ec361591d649c56a870ff971Chris Lattner    return TDTI->second;
427fc3b8e9c1381d5e6ec361591d649c56a870ff971Chris Lattner
4285de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  // If this is still a forward definition, just define an opaque type to use
4295de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  // for this tagged decl.
430fc3b8e9c1381d5e6ec361591d649c56a870ff971Chris Lattner  if (!TD->isDefinition()) {
4315de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner    llvm::Type *ResultType = llvm::OpaqueType::get();
432efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar    TagDeclTypes.insert(std::make_pair(Key, ResultType));
4335de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner    return ResultType;
4345de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  }
4355de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner
4365de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  // Okay, this is a definition of a type.  Compile the implementation now.
4375de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner
43839ba4aeca296b1c9f04bde7d9d3cbbf129f1abd3Argyrios Kyrtzidis  if (TD->isEnum()) {
439fc3b8e9c1381d5e6ec361591d649c56a870ff971Chris Lattner    // Don't bother storing enums in TagDeclTypes.
440fce71b8ea53b6eb9c1630da24659289bc848f837Chris Lattner    return ConvertTypeRecursive(cast<EnumDecl>(TD)->getIntegerType());
4415de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  }
4425de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner
4435de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  // This decl could well be recursive.  In this case, insert an opaque
4445de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  // definition of this type, which the recursive uses will get.  We will then
4455de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  // refine this opaque version later.
4465de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner
4475de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  // Create new OpaqueType now for later use in case this is a recursive
4485de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  // type.  This will later be refined to the actual type.
4495de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  llvm::PATypeHolder ResultHolder = llvm::OpaqueType::get();
450efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar  TagDeclTypes.insert(std::make_pair(Key, ResultHolder));
4515de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner
4525de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  const llvm::Type *ResultType;
4535de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  const RecordDecl *RD = cast<const RecordDecl>(TD);
454ae287239879386b9abf6da50a67bbb7fe81897f1Daniel Dunbar
455ae287239879386b9abf6da50a67bbb7fe81897f1Daniel Dunbar  // There isn't any extra information for empty structures/unions.
45617945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis  if (RD->field_empty()) {
457ae287239879386b9abf6da50a67bbb7fe81897f1Daniel Dunbar    ResultType = llvm::StructType::get(std::vector<const llvm::Type*>());
458ae287239879386b9abf6da50a67bbb7fe81897f1Daniel Dunbar  } else {
459fc3b8e9c1381d5e6ec361591d649c56a870ff971Chris Lattner    // Layout fields.
46045372a6fdcd2b0840704569478db456822e02baeAnders Carlsson    CGRecordLayout *Layout =
46145372a6fdcd2b0840704569478db456822e02baeAnders Carlsson      CGRecordLayoutBuilder::ComputeLayout(*this, RD);
462fc3b8e9c1381d5e6ec361591d649c56a870ff971Chris Lattner
46345372a6fdcd2b0840704569478db456822e02baeAnders Carlsson    if (!Layout) {
46445372a6fdcd2b0840704569478db456822e02baeAnders Carlsson      // Layout fields.
46545372a6fdcd2b0840704569478db456822e02baeAnders Carlsson      RecordOrganizer RO(*this, *RD);
46645372a6fdcd2b0840704569478db456822e02baeAnders Carlsson
46745372a6fdcd2b0840704569478db456822e02baeAnders Carlsson      if (TD->isStruct() || TD->isClass())
46845372a6fdcd2b0840704569478db456822e02baeAnders Carlsson        RO.layoutStructFields(Context.getASTRecordLayout(RD));
46945372a6fdcd2b0840704569478db456822e02baeAnders Carlsson      else {
47045372a6fdcd2b0840704569478db456822e02baeAnders Carlsson        assert(TD->isUnion() && "unknown tag decl kind!");
47145372a6fdcd2b0840704569478db456822e02baeAnders Carlsson        RO.layoutUnionFields(Context.getASTRecordLayout(RD));
47245372a6fdcd2b0840704569478db456822e02baeAnders Carlsson      }
47345372a6fdcd2b0840704569478db456822e02baeAnders Carlsson
47445372a6fdcd2b0840704569478db456822e02baeAnders Carlsson      Layout = new CGRecordLayout(RO.getLLVMType(),
47545372a6fdcd2b0840704569478db456822e02baeAnders Carlsson                                  RO.getPaddingFields());
476ae287239879386b9abf6da50a67bbb7fe81897f1Daniel Dunbar    }
477fc3b8e9c1381d5e6ec361591d649c56a870ff971Chris Lattner
4785de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner    // Get llvm::StructType.
479efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar    const Type *Key =
480efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar      Context.getTagDeclType(const_cast<TagDecl*>(TD)).getTypePtr();
48145372a6fdcd2b0840704569478db456822e02baeAnders Carlsson
48245372a6fdcd2b0840704569478db456822e02baeAnders Carlsson    CGRecordLayouts[Key] = Layout;
48345372a6fdcd2b0840704569478db456822e02baeAnders Carlsson    ResultType = Layout->getLLVMType();
484fc3b8e9c1381d5e6ec361591d649c56a870ff971Chris Lattner  }
485fc3b8e9c1381d5e6ec361591d649c56a870ff971Chris Lattner
4865de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  // Refine our Opaque type to ResultType.  This can invalidate ResultType, so
4875de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  // make sure to read the result out of the holder.
4885de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  cast<llvm::OpaqueType>(ResultHolder.get())
4895de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner    ->refineAbstractTypeTo(ResultType);
4905de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner
4915de00fcf7c923a14bb79bdbaabb2faeb5633d85aChris Lattner  return ResultHolder.get();
492fc3b8e9c1381d5e6ec361591d649c56a870ff971Chris Lattner}
493fc3b8e9c1381d5e6ec361591d649c56a870ff971Chris Lattner
494b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel/// getLLVMFieldNo - Return llvm::StructType element number
495b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel/// that corresponds to the field FD.
496b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patelunsigned CodeGenTypes::getLLVMFieldNo(const FieldDecl *FD) {
4978330ceeebb3bfac31116b387b90ff2ce3cef85e4Anders Carlsson  assert(!FD->isBitField() && "Don't use getLLVMFieldNo on bit fields!");
4988330ceeebb3bfac31116b387b90ff2ce3cef85e4Anders Carlsson
499ce5605ecf76d8cde6372138f830bb144d174ced9Chris Lattner  llvm::DenseMap<const FieldDecl*, unsigned>::iterator I = FieldInfo.find(FD);
50021fdf416723e8c475812a0324a1f9fafc949c25fHartmut Kaiser  assert (I != FieldInfo.end()  && "Unable to find field info");
501391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner  return I->second;
502391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner}
503391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner
504c4c429a1a5947ba9be64d3070741d98362872265Devang Patel/// addFieldInfo - Assign field number to field FD.
5052c46ce8de96787aa8e040690a80896f1148c29b0Lauro Ramos Venanciovoid CodeGenTypes::addFieldInfo(const FieldDecl *FD, unsigned No) {
5062c46ce8de96787aa8e040690a80896f1148c29b0Lauro Ramos Venancio  FieldInfo[FD] = No;
5072c46ce8de96787aa8e040690a80896f1148c29b0Lauro Ramos Venancio}
5082c46ce8de96787aa8e040690a80896f1148c29b0Lauro Ramos Venancio
5092c46ce8de96787aa8e040690a80896f1148c29b0Lauro Ramos Venancio/// getBitFieldInfo - Return the BitFieldInfo  that corresponds to the field FD.
5102c46ce8de96787aa8e040690a80896f1148c29b0Lauro Ramos VenancioCodeGenTypes::BitFieldInfo CodeGenTypes::getBitFieldInfo(const FieldDecl *FD) {
5112c46ce8de96787aa8e040690a80896f1148c29b0Lauro Ramos Venancio  llvm::DenseMap<const FieldDecl *, BitFieldInfo>::iterator
5122c46ce8de96787aa8e040690a80896f1148c29b0Lauro Ramos Venancio    I = BitFields.find(FD);
5132c46ce8de96787aa8e040690a80896f1148c29b0Lauro Ramos Venancio  assert (I != BitFields.end()  && "Unable to find bitfield info");
5142c46ce8de96787aa8e040690a80896f1148c29b0Lauro Ramos Venancio  return I->second;
5152c46ce8de96787aa8e040690a80896f1148c29b0Lauro Ramos Venancio}
5162c46ce8de96787aa8e040690a80896f1148c29b0Lauro Ramos Venancio
5172c46ce8de96787aa8e040690a80896f1148c29b0Lauro Ramos Venancio/// addBitFieldInfo - Assign a start bit and a size to field FD.
5188330ceeebb3bfac31116b387b90ff2ce3cef85e4Anders Carlssonvoid CodeGenTypes::addBitFieldInfo(const FieldDecl *FD, unsigned FieldNo,
5198330ceeebb3bfac31116b387b90ff2ce3cef85e4Anders Carlsson                                   unsigned Start, unsigned Size) {
5208330ceeebb3bfac31116b387b90ff2ce3cef85e4Anders Carlsson  BitFields.insert(std::make_pair(FD, BitFieldInfo(FieldNo, Start, Size)));
521b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel}
522b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel
52388a981b47c7face1b1fdaa9074256245107b9ca9Devang Patel/// getCGRecordLayout - Return record layout info for the given llvm::Type.
52488a981b47c7face1b1fdaa9074256245107b9ca9Devang Patelconst CGRecordLayout *
525af31913e48c96fddb45a0fd33f25617546502cbbChris LattnerCodeGenTypes::getCGRecordLayout(const TagDecl *TD) const {
526efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar  const Type *Key =
527efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar    Context.getTagDeclType(const_cast<TagDecl*>(TD)).getTypePtr();
528efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar  llvm::DenseMap<const Type*, CGRecordLayout *>::iterator I
529efb6d0dc3eafbcf4f8cd053138bd1abed1dda8d4Daniel Dunbar    = CGRecordLayouts.find(Key);
53088a981b47c7face1b1fdaa9074256245107b9ca9Devang Patel  assert (I != CGRecordLayouts.end()
531b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel          && "Unable to find record layout information for type");
532b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel  return I->second;
533b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel}
534b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel
53586522b9e84d0c39f09b54e888538ad64e89788c4Devang Patel/// layoutStructFields - Do the actual work and lay out all fields. Create
536cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman/// corresponding llvm struct type.
537cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman/// Note that this doesn't actually try to do struct layout; it depends on
538cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman/// the layout built by the AST.  (We have to do struct layout to do Sema,
539cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman/// and there's no point to duplicating the work.)
54088a981b47c7face1b1fdaa9074256245107b9ca9Devang Patelvoid RecordOrganizer::layoutStructFields(const ASTRecordLayout &RL) {
541e36a3c8b5c7db4916342e4381caa2fdc93eb5745Eli Friedman  // FIXME: This code currently always generates packed structures.
542e36a3c8b5c7db4916342e4381caa2fdc93eb5745Eli Friedman  // Unpacked structures are more readable, and sometimes more efficient!
543e36a3c8b5c7db4916342e4381caa2fdc93eb5745Eli Friedman  // (But note that any changes here are likely to impact CGExprConstant,
544e36a3c8b5c7db4916342e4381caa2fdc93eb5745Eli Friedman  // which makes some messy assumptions.)
545cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman  uint64_t llvmSize = 0;
546e36a3c8b5c7db4916342e4381caa2fdc93eb5745Eli Friedman  // FIXME: Make this a SmallVector
547cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman  std::vector<const llvm::Type*> LLVMFields;
548cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman
54944b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor  unsigned curField = 0;
55017945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis  for (RecordDecl::field_iterator Field = RD.field_begin(),
55117945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis                               FieldEnd = RD.field_end();
55244b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor       Field != FieldEnd; ++Field) {
553cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman    uint64_t offset = RL.getFieldOffset(curField);
55457a84fb51de4f3de50debcf12dd194af8c6aaa58Eli Friedman    const llvm::Type *Ty = CGT.ConvertTypeForMemRecursive(Field->getType());
5559408c45009b417e758749b3d95cdfb87dcb68ea9Duncan Sands    uint64_t size = CGT.getTargetData().getTypeAllocSizeInBits(Ty);
556cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman
55744b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor    if (Field->isBitField()) {
558070eff4df45a810f0fb3a50e932f6d95713875d4Eli Friedman      uint64_t BitFieldSize =
559070eff4df45a810f0fb3a50e932f6d95713875d4Eli Friedman          Field->getBitWidth()->EvaluateAsInt(CGT.getContext()).getZExtValue();
560cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman
561cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman      // Bitfield field info is different from other field info;
562cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman      // it actually ignores the underlying LLVM struct because
563cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman      // there isn't any convenient mapping.
5648330ceeebb3bfac31116b387b90ff2ce3cef85e4Anders Carlsson      CGT.addBitFieldInfo(*Field, offset / size, offset % size, BitFieldSize);
565cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman    } else {
566cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman      // Put the element into the struct. This would be simpler
567cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman      // if we didn't bother, but it seems a bit too strange to
568cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman      // allocate all structs as i8 arrays.
569cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman      while (llvmSize < offset) {
570cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman        LLVMFields.push_back(llvm::Type::Int8Ty);
571cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman        llvmSize += 8;
572d8ecd3c8f7716124e1efb278a46b6747c697668dDevang Patel      }
5736e8df736939325bc2355eeb1e138ecf8b2605616Devang Patel
574cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman      llvmSize += size;
57544b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor      CGT.addFieldInfo(*Field, LLVMFields.size());
576cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman      LLVMFields.push_back(Ty);
577cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman    }
57844b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor    ++curField;
579cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman  }
580f9fef925644a6c40b344a43ab9ebdb08a707de53Devang Patel
581cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman  while (llvmSize < RL.getSize()) {
582cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman    LLVMFields.push_back(llvm::Type::Int8Ty);
583cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman    llvmSize += 8;
5842c46ce8de96787aa8e040690a80896f1148c29b0Lauro Ramos Venancio  }
585159e3300f938ae05c0bf249508714e621cc89de5Devang Patel
5860408f6805c164f317937e97d7bc222781164bfebEli Friedman  STy = llvm::StructType::get(LLVMFields, true);
5879408c45009b417e758749b3d95cdfb87dcb68ea9Duncan Sands  assert(CGT.getTargetData().getTypeAllocSizeInBits(STy) == RL.getSize());
588b84a06e68ffd71da22e3c75b6e4bbdba37816413Devang Patel}
589c4c429a1a5947ba9be64d3070741d98362872265Devang Patel
59086522b9e84d0c39f09b54e888538ad64e89788c4Devang Patel/// layoutUnionFields - Do the actual work and lay out all fields. Create
59186522b9e84d0c39f09b54e888538ad64e89788c4Devang Patel/// corresponding llvm struct type.  This should be invoked only after
59286522b9e84d0c39f09b54e888538ad64e89788c4Devang Patel/// all fields are added.
593cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedmanvoid RecordOrganizer::layoutUnionFields(const ASTRecordLayout &RL) {
59444b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor  unsigned curField = 0;
59517945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis  for (RecordDecl::field_iterator Field = RD.field_begin(),
59617945a0f64fe03ff6ec0c2146005a87636e3ac12Argyrios Kyrtzidis                               FieldEnd = RD.field_end();
59744b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor       Field != FieldEnd; ++Field) {
598cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman    // The offset should usually be zero, but bitfields could be strange
599cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman    uint64_t offset = RL.getFieldOffset(curField);
60034e7946831a63f96d3ba3478c74ca8e25ee52d7eDouglas Gregor    CGT.ConvertTypeRecursive(Field->getType());
601cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman
60244b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor    if (Field->isBitField()) {
60344b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor      Expr *BitWidth = Field->getBitWidth();
60432442bbc98bafa512fa42d46fedf60ed7d79f574Daniel Dunbar      uint64_t BitFieldSize =
6059a901bb63990574ff0bcc12ff851d7a71cff8ddbEli Friedman        BitWidth->EvaluateAsInt(CGT.getContext()).getZExtValue();
60686522b9e84d0c39f09b54e888538ad64e89788c4Devang Patel
6078330ceeebb3bfac31116b387b90ff2ce3cef85e4Anders Carlsson      CGT.addBitFieldInfo(*Field, 0, offset, BitFieldSize);
608cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman    } else {
60944b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor      CGT.addFieldInfo(*Field, 0);
610cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman    }
61144b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor    ++curField;
61286522b9e84d0c39f09b54e888538ad64e89788c4Devang Patel  }
61386522b9e84d0c39f09b54e888538ad64e89788c4Devang Patel
614cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman  // This looks stupid, but it is correct in the sense that
615cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman  // it works no matter how complicated the sizes and alignments
616cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman  // of the union elements are. The natural alignment
617cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman  // of the result doesn't matter because anyone allocating
618cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman  // structures should be aligning them appropriately anyway.
619cbadaf6ced6d664015ee409f62ab1bc20ae0bf73Eli Friedman  // FIXME: We can be a bit more intuitive in a lot of cases.
620fd6f08525f9292255249b2434af4c6b2bc02ee93Eli Friedman  // FIXME: Make this a struct type to work around PR2399; the
621fd6f08525f9292255249b2434af4c6b2bc02ee93Eli Friedman  // C backend doesn't like structs using array types.
622fd6f08525f9292255249b2434af4c6b2bc02ee93Eli Friedman  std::vector<const llvm::Type*> LLVMFields;
623fd6f08525f9292255249b2434af4c6b2bc02ee93Eli Friedman  LLVMFields.push_back(llvm::ArrayType::get(llvm::Type::Int8Ty,
624fd6f08525f9292255249b2434af4c6b2bc02ee93Eli Friedman                                            RL.getSize() / 8));
625fd6f08525f9292255249b2434af4c6b2bc02ee93Eli Friedman  STy = llvm::StructType::get(LLVMFields, true);
6269408c45009b417e758749b3d95cdfb87dcb68ea9Duncan Sands  assert(CGT.getTargetData().getTypeAllocSizeInBits(STy) == RL.getSize());
627382c64365247fa01e2711da27ef4bef0653afca4Devang Patel}
628