xref: /openbsd/gnu/llvm/clang/lib/AST/RecordLayout.cpp (revision a9ac8606)
1e5dd7070Spatrick //===- RecordLayout.cpp - Layout information for a struct/union -----------===//
2e5dd7070Spatrick //
3e5dd7070Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e5dd7070Spatrick // See https://llvm.org/LICENSE.txt for license information.
5e5dd7070Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6e5dd7070Spatrick //
7e5dd7070Spatrick //===----------------------------------------------------------------------===//
8e5dd7070Spatrick //
9e5dd7070Spatrick //  This file defines the RecordLayout interface.
10e5dd7070Spatrick //
11e5dd7070Spatrick //===----------------------------------------------------------------------===//
12e5dd7070Spatrick 
13e5dd7070Spatrick #include "clang/AST/RecordLayout.h"
14e5dd7070Spatrick #include "clang/AST/ASTContext.h"
15e5dd7070Spatrick #include "clang/Basic/TargetCXXABI.h"
16e5dd7070Spatrick #include "clang/Basic/TargetInfo.h"
17e5dd7070Spatrick #include <cassert>
18e5dd7070Spatrick 
19e5dd7070Spatrick using namespace clang;
20e5dd7070Spatrick 
Destroy(ASTContext & Ctx)21e5dd7070Spatrick void ASTRecordLayout::Destroy(ASTContext &Ctx) {
22e5dd7070Spatrick   if (CXXInfo) {
23e5dd7070Spatrick     CXXInfo->~CXXRecordLayoutInfo();
24e5dd7070Spatrick     Ctx.Deallocate(CXXInfo);
25e5dd7070Spatrick   }
26e5dd7070Spatrick   this->~ASTRecordLayout();
27e5dd7070Spatrick   Ctx.Deallocate(this);
28e5dd7070Spatrick }
29e5dd7070Spatrick 
ASTRecordLayout(const ASTContext & Ctx,CharUnits size,CharUnits alignment,CharUnits preferredAlignment,CharUnits unadjustedAlignment,CharUnits requiredAlignment,CharUnits datasize,ArrayRef<uint64_t> fieldoffsets)30e5dd7070Spatrick ASTRecordLayout::ASTRecordLayout(const ASTContext &Ctx, CharUnits size,
31e5dd7070Spatrick                                  CharUnits alignment,
32*a9ac8606Spatrick                                  CharUnits preferredAlignment,
33e5dd7070Spatrick                                  CharUnits unadjustedAlignment,
34e5dd7070Spatrick                                  CharUnits requiredAlignment,
35e5dd7070Spatrick                                  CharUnits datasize,
36e5dd7070Spatrick                                  ArrayRef<uint64_t> fieldoffsets)
37e5dd7070Spatrick     : Size(size), DataSize(datasize), Alignment(alignment),
38*a9ac8606Spatrick       PreferredAlignment(preferredAlignment),
39e5dd7070Spatrick       UnadjustedAlignment(unadjustedAlignment),
40e5dd7070Spatrick       RequiredAlignment(requiredAlignment) {
41e5dd7070Spatrick   FieldOffsets.append(Ctx, fieldoffsets.begin(), fieldoffsets.end());
42e5dd7070Spatrick }
43e5dd7070Spatrick 
44e5dd7070Spatrick // Constructor for C++ records.
ASTRecordLayout(const ASTContext & Ctx,CharUnits size,CharUnits alignment,CharUnits preferredAlignment,CharUnits unadjustedAlignment,CharUnits requiredAlignment,bool hasOwnVFPtr,bool hasExtendableVFPtr,CharUnits vbptroffset,CharUnits datasize,ArrayRef<uint64_t> fieldoffsets,CharUnits nonvirtualsize,CharUnits nonvirtualalignment,CharUnits preferrednvalignment,CharUnits SizeOfLargestEmptySubobject,const CXXRecordDecl * PrimaryBase,bool IsPrimaryBaseVirtual,const CXXRecordDecl * BaseSharingVBPtr,bool EndsWithZeroSizedObject,bool LeadsWithZeroSizedBase,const BaseOffsetsMapTy & BaseOffsets,const VBaseOffsetsMapTy & VBaseOffsets)45*a9ac8606Spatrick ASTRecordLayout::ASTRecordLayout(
46*a9ac8606Spatrick     const ASTContext &Ctx, CharUnits size, CharUnits alignment,
47*a9ac8606Spatrick     CharUnits preferredAlignment, CharUnits unadjustedAlignment,
48*a9ac8606Spatrick     CharUnits requiredAlignment, bool hasOwnVFPtr, bool hasExtendableVFPtr,
49*a9ac8606Spatrick     CharUnits vbptroffset, CharUnits datasize, ArrayRef<uint64_t> fieldoffsets,
50*a9ac8606Spatrick     CharUnits nonvirtualsize, CharUnits nonvirtualalignment,
51*a9ac8606Spatrick     CharUnits preferrednvalignment, CharUnits SizeOfLargestEmptySubobject,
52*a9ac8606Spatrick     const CXXRecordDecl *PrimaryBase, bool IsPrimaryBaseVirtual,
53*a9ac8606Spatrick     const CXXRecordDecl *BaseSharingVBPtr, bool EndsWithZeroSizedObject,
54*a9ac8606Spatrick     bool LeadsWithZeroSizedBase, const BaseOffsetsMapTy &BaseOffsets,
55e5dd7070Spatrick     const VBaseOffsetsMapTy &VBaseOffsets)
56e5dd7070Spatrick     : Size(size), DataSize(datasize), Alignment(alignment),
57*a9ac8606Spatrick       PreferredAlignment(preferredAlignment),
58e5dd7070Spatrick       UnadjustedAlignment(unadjustedAlignment),
59*a9ac8606Spatrick       RequiredAlignment(requiredAlignment),
60*a9ac8606Spatrick       CXXInfo(new (Ctx) CXXRecordLayoutInfo) {
61e5dd7070Spatrick   FieldOffsets.append(Ctx, fieldoffsets.begin(), fieldoffsets.end());
62e5dd7070Spatrick 
63e5dd7070Spatrick   CXXInfo->PrimaryBase.setPointer(PrimaryBase);
64e5dd7070Spatrick   CXXInfo->PrimaryBase.setInt(IsPrimaryBaseVirtual);
65e5dd7070Spatrick   CXXInfo->NonVirtualSize = nonvirtualsize;
66e5dd7070Spatrick   CXXInfo->NonVirtualAlignment = nonvirtualalignment;
67*a9ac8606Spatrick   CXXInfo->PreferredNVAlignment = preferrednvalignment;
68e5dd7070Spatrick   CXXInfo->SizeOfLargestEmptySubobject = SizeOfLargestEmptySubobject;
69e5dd7070Spatrick   CXXInfo->BaseOffsets = BaseOffsets;
70e5dd7070Spatrick   CXXInfo->VBaseOffsets = VBaseOffsets;
71e5dd7070Spatrick   CXXInfo->HasOwnVFPtr = hasOwnVFPtr;
72e5dd7070Spatrick   CXXInfo->VBPtrOffset = vbptroffset;
73e5dd7070Spatrick   CXXInfo->HasExtendableVFPtr = hasExtendableVFPtr;
74e5dd7070Spatrick   CXXInfo->BaseSharingVBPtr = BaseSharingVBPtr;
75e5dd7070Spatrick   CXXInfo->EndsWithZeroSizedObject = EndsWithZeroSizedObject;
76e5dd7070Spatrick   CXXInfo->LeadsWithZeroSizedBase = LeadsWithZeroSizedBase;
77e5dd7070Spatrick 
78e5dd7070Spatrick #ifndef NDEBUG
79e5dd7070Spatrick     if (const CXXRecordDecl *PrimaryBase = getPrimaryBase()) {
80e5dd7070Spatrick       if (isPrimaryBaseVirtual()) {
81e5dd7070Spatrick         if (Ctx.getTargetInfo().getCXXABI().hasPrimaryVBases()) {
82e5dd7070Spatrick           assert(getVBaseClassOffset(PrimaryBase).isZero() &&
83e5dd7070Spatrick                  "Primary virtual base must be at offset 0!");
84e5dd7070Spatrick         }
85e5dd7070Spatrick       } else {
86e5dd7070Spatrick         assert(getBaseClassOffset(PrimaryBase).isZero() &&
87e5dd7070Spatrick                "Primary base must be at offset 0!");
88e5dd7070Spatrick       }
89e5dd7070Spatrick     }
90e5dd7070Spatrick #endif
91e5dd7070Spatrick }
92