• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===--- RecordLayout.h - Layout information for a struct/union -*- C++ -*-===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 //  This file defines the RecordLayout interface.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef LLVM_CLANG_AST_LAYOUTINFO_H
15 #define LLVM_CLANG_AST_LAYOUTINFO_H
16 
17 #include "clang/AST/CharUnits.h"
18 #include "clang/AST/DeclCXX.h"
19 #include "llvm/ADT/DenseMap.h"
20 
21 namespace clang {
22   class ASTContext;
23   class FieldDecl;
24   class RecordDecl;
25   class CXXRecordDecl;
26 
27 /// ASTRecordLayout -
28 /// This class contains layout information for one RecordDecl,
29 /// which is a struct/union/class.  The decl represented must be a definition,
30 /// not a forward declaration.
31 /// This class is also used to contain layout information for one
32 /// ObjCInterfaceDecl. FIXME - Find appropriate name.
33 /// These objects are managed by ASTContext.
34 class ASTRecordLayout {
35 public:
36   struct VBaseInfo {
37     /// The offset to this virtual base in the complete-object layout
38     /// of this class.
39     CharUnits VBaseOffset;
40 
41   private:
42     /// Whether this virtual base requires a vtordisp field in the
43     /// Microsoft ABI.  These fields are required for certain operations
44     /// in constructors and destructors.
45     bool HasVtorDisp;
46 
47   public:
hasVtorDispVBaseInfo48     bool hasVtorDisp() const { return HasVtorDisp; }
49 
VBaseInfoVBaseInfo50     VBaseInfo() : HasVtorDisp(false) {}
51 
VBaseInfoVBaseInfo52     VBaseInfo(CharUnits VBaseOffset, bool hasVtorDisp) :
53      VBaseOffset(VBaseOffset), HasVtorDisp(hasVtorDisp) {}
54   };
55 
56   typedef llvm::DenseMap<const CXXRecordDecl *, VBaseInfo>
57     VBaseOffsetsMapTy;
58 
59 private:
60   /// Size - Size of record in characters.
61   CharUnits Size;
62 
63   /// DataSize - Size of record in characters without tail padding.
64   CharUnits DataSize;
65 
66   // Alignment - Alignment of record in characters.
67   CharUnits Alignment;
68 
69   /// FieldOffsets - Array of field offsets in bits.
70   uint64_t *FieldOffsets;
71 
72   // FieldCount - Number of fields.
73   unsigned FieldCount;
74 
75   /// CXXRecordLayoutInfo - Contains C++ specific layout information.
76   struct CXXRecordLayoutInfo {
77     /// NonVirtualSize - The non-virtual size (in chars) of an object, which is
78     /// the size of the object without virtual bases.
79     CharUnits NonVirtualSize;
80 
81     /// NonVirtualAlign - The non-virtual alignment (in chars) of an object,
82     /// which is the alignment of the object without virtual bases.
83     CharUnits NonVirtualAlign;
84 
85     /// SizeOfLargestEmptySubobject - The size of the largest empty subobject
86     /// (either a base or a member). Will be zero if the class doesn't contain
87     /// any empty subobjects.
88     CharUnits SizeOfLargestEmptySubobject;
89 
90     /// VBPtrOffset - Virtual base table offset (Microsoft-only).
91     CharUnits VBPtrOffset;
92 
93     /// HasOwnVFPtr - Does this class provide a virtual function table
94     /// (vtable in Itanium, vftbl in Microsoft) that is independent from
95     /// its base classes?
96     bool HasOwnVFPtr; // TODO: stash this somewhere more efficient
97 
98     /// PrimaryBase - The primary base info for this record.
99     llvm::PointerIntPair<const CXXRecordDecl *, 1, bool> PrimaryBase;
100 
101     /// FIXME: This should really use a SmallPtrMap, once we have one in LLVM :)
102     typedef llvm::DenseMap<const CXXRecordDecl *, CharUnits> BaseOffsetsMapTy;
103 
104     /// BaseOffsets - Contains a map from base classes to their offset.
105     BaseOffsetsMapTy BaseOffsets;
106 
107     /// VBaseOffsets - Contains a map from vbase classes to their offset.
108     VBaseOffsetsMapTy VBaseOffsets;
109   };
110 
111   /// CXXInfo - If the record layout is for a C++ record, this will have
112   /// C++ specific information about the record.
113   CXXRecordLayoutInfo *CXXInfo;
114 
115   friend class ASTContext;
116 
117   ASTRecordLayout(const ASTContext &Ctx, CharUnits size, CharUnits alignment,
118                   CharUnits datasize, const uint64_t *fieldoffsets,
119                   unsigned fieldcount);
120 
121   // Constructor for C++ records.
122   typedef CXXRecordLayoutInfo::BaseOffsetsMapTy BaseOffsetsMapTy;
123   ASTRecordLayout(const ASTContext &Ctx,
124                   CharUnits size, CharUnits alignment,
125                   bool hasOwnVFPtr, CharUnits vbptroffset,
126                   CharUnits datasize,
127                   const uint64_t *fieldoffsets, unsigned fieldcount,
128                   CharUnits nonvirtualsize, CharUnits nonvirtualalign,
129                   CharUnits SizeOfLargestEmptySubobject,
130                   const CXXRecordDecl *PrimaryBase,
131                   bool IsPrimaryBaseVirtual,
132                   const BaseOffsetsMapTy& BaseOffsets,
133                   const VBaseOffsetsMapTy& VBaseOffsets);
134 
~ASTRecordLayout()135   ~ASTRecordLayout() {}
136 
137   void Destroy(ASTContext &Ctx);
138 
139   ASTRecordLayout(const ASTRecordLayout &) LLVM_DELETED_FUNCTION;
140   void operator=(const ASTRecordLayout &) LLVM_DELETED_FUNCTION;
141 public:
142 
143   /// getAlignment - Get the record alignment in characters.
getAlignment()144   CharUnits getAlignment() const { return Alignment; }
145 
146   /// getSize - Get the record size in characters.
getSize()147   CharUnits getSize() const { return Size; }
148 
149   /// getFieldCount - Get the number of fields in the layout.
getFieldCount()150   unsigned getFieldCount() const { return FieldCount; }
151 
152   /// getFieldOffset - Get the offset of the given field index, in
153   /// bits.
getFieldOffset(unsigned FieldNo)154   uint64_t getFieldOffset(unsigned FieldNo) const {
155     assert (FieldNo < FieldCount && "Invalid Field No");
156     return FieldOffsets[FieldNo];
157   }
158 
159   /// getDataSize() - Get the record data size, which is the record size
160   /// without tail padding, in characters.
getDataSize()161   CharUnits getDataSize() const {
162     return DataSize;
163   }
164 
165   /// getNonVirtualSize - Get the non-virtual size (in chars) of an object,
166   /// which is the size of the object without virtual bases.
getNonVirtualSize()167   CharUnits getNonVirtualSize() const {
168     assert(CXXInfo && "Record layout does not have C++ specific info!");
169 
170     return CXXInfo->NonVirtualSize;
171   }
172 
173   /// getNonVirtualSize - Get the non-virtual alignment (in chars) of an object,
174   /// which is the alignment of the object without virtual bases.
getNonVirtualAlign()175   CharUnits getNonVirtualAlign() const {
176     assert(CXXInfo && "Record layout does not have C++ specific info!");
177 
178     return CXXInfo->NonVirtualAlign;
179   }
180 
181   /// getPrimaryBase - Get the primary base for this record.
getPrimaryBase()182   const CXXRecordDecl *getPrimaryBase() const {
183     assert(CXXInfo && "Record layout does not have C++ specific info!");
184 
185     return CXXInfo->PrimaryBase.getPointer();
186   }
187 
188   /// isPrimaryBaseVirtual - Get whether the primary base for this record
189   /// is virtual or not.
isPrimaryBaseVirtual()190   bool isPrimaryBaseVirtual() const {
191     assert(CXXInfo && "Record layout does not have C++ specific info!");
192 
193     return CXXInfo->PrimaryBase.getInt();
194   }
195 
196   /// getBaseClassOffset - Get the offset, in chars, for the given base class.
getBaseClassOffset(const CXXRecordDecl * Base)197   CharUnits getBaseClassOffset(const CXXRecordDecl *Base) const {
198     assert(CXXInfo && "Record layout does not have C++ specific info!");
199     assert(CXXInfo->BaseOffsets.count(Base) && "Did not find base!");
200 
201     return CXXInfo->BaseOffsets[Base];
202   }
203 
204   /// getVBaseClassOffset - Get the offset, in chars, for the given base class.
getVBaseClassOffset(const CXXRecordDecl * VBase)205   CharUnits getVBaseClassOffset(const CXXRecordDecl *VBase) const {
206     assert(CXXInfo && "Record layout does not have C++ specific info!");
207     assert(CXXInfo->VBaseOffsets.count(VBase) && "Did not find base!");
208 
209     return CXXInfo->VBaseOffsets[VBase].VBaseOffset;
210   }
211 
getSizeOfLargestEmptySubobject()212   CharUnits getSizeOfLargestEmptySubobject() const {
213     assert(CXXInfo && "Record layout does not have C++ specific info!");
214     return CXXInfo->SizeOfLargestEmptySubobject;
215   }
216 
217   /// hasOwnVFPtr - Does this class provide its own virtual-function
218   /// table pointer, rather than inheriting one from a primary base
219   /// class?  If so, it is at offset zero.
220   ///
221   /// This implies that the ABI has no primary base class, meaning
222   /// that it has no base classes that are suitable under the conditions
223   /// of the ABI.
hasOwnVFPtr()224   bool hasOwnVFPtr() const {
225     assert(CXXInfo && "Record layout does not have C++ specific info!");
226     return CXXInfo->HasOwnVFPtr;
227   }
228 
229   /// getVBPtrOffset - Get the offset for virtual base table pointer.
230   /// This is only meaningful with the Microsoft ABI.
getVBPtrOffset()231   CharUnits getVBPtrOffset() const {
232     assert(CXXInfo && "Record layout does not have C++ specific info!");
233     return CXXInfo->VBPtrOffset;
234   }
235 
getVBaseOffsetsMap()236   const VBaseOffsetsMapTy &getVBaseOffsetsMap() const {
237     assert(CXXInfo && "Record layout does not have C++ specific info!");
238     return CXXInfo->VBaseOffsets;
239   }
240 };
241 
242 }  // end namespace clang
243 
244 #endif
245