18998f10eSEugene Zelenko //===- RecordLayout.cpp - Layout information for a struct/union -----------===//
2c3015a91STed Kremenek //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6c3015a91STed Kremenek //
7c3015a91STed Kremenek //===----------------------------------------------------------------------===//
8c3015a91STed Kremenek //
9c3015a91STed Kremenek // This file defines the RecordLayout interface.
10c3015a91STed Kremenek //
11c3015a91STed Kremenek //===----------------------------------------------------------------------===//
12c3015a91STed Kremenek
13c3015a91STed Kremenek #include "clang/AST/RecordLayout.h"
148998f10eSEugene Zelenko #include "clang/AST/ASTContext.h"
158998f10eSEugene Zelenko #include "clang/Basic/TargetCXXABI.h"
1684d2d3a9SEli Friedman #include "clang/Basic/TargetInfo.h"
178998f10eSEugene Zelenko #include <cassert>
18c3015a91STed Kremenek
19c3015a91STed Kremenek using namespace clang;
20c3015a91STed Kremenek
Destroy(ASTContext & Ctx)21c3015a91STed Kremenek void ASTRecordLayout::Destroy(ASTContext &Ctx) {
2296dbfa2eSArgyrios Kyrtzidis if (CXXInfo) {
2396dbfa2eSArgyrios Kyrtzidis CXXInfo->~CXXRecordLayoutInfo();
24188cafb0SYaron Keren Ctx.Deallocate(CXXInfo);
2596dbfa2eSArgyrios Kyrtzidis }
26c3015a91STed Kremenek this->~ASTRecordLayout();
27c3015a91STed Kremenek Ctx.Deallocate(this);
28c3015a91STed Kremenek }
29c3015a91STed Kremenek
ASTRecordLayout(const ASTContext & Ctx,CharUnits size,CharUnits alignment,CharUnits preferredAlignment,CharUnits unadjustedAlignment,CharUnits requiredAlignment,CharUnits datasize,ArrayRef<uint64_t> fieldoffsets)30c8ae5505SKen Dyck ASTRecordLayout::ASTRecordLayout(const ASTContext &Ctx, CharUnits size,
317b252d24SWarren Hunt CharUnits alignment,
32*05ad8e94SXiangling Liao CharUnits preferredAlignment,
3320208cc0SMomchil Velikov CharUnits unadjustedAlignment,
347b252d24SWarren Hunt CharUnits requiredAlignment,
357b252d24SWarren Hunt CharUnits datasize,
3697276c8bSDavid Majnemer ArrayRef<uint64_t> fieldoffsets)
377b252d24SWarren Hunt : Size(size), DataSize(datasize), Alignment(alignment),
38*05ad8e94SXiangling Liao PreferredAlignment(preferredAlignment),
3920208cc0SMomchil Velikov UnadjustedAlignment(unadjustedAlignment),
408998f10eSEugene Zelenko RequiredAlignment(requiredAlignment) {
4197276c8bSDavid Majnemer FieldOffsets.append(Ctx, fieldoffsets.begin(), fieldoffsets.end());
42c3015a91STed Kremenek }
43c3015a91STed Kremenek
44c3015a91STed Kremenek // 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*05ad8e94SXiangling Liao ASTRecordLayout::ASTRecordLayout(
46*05ad8e94SXiangling Liao const ASTContext &Ctx, CharUnits size, CharUnits alignment,
47*05ad8e94SXiangling Liao CharUnits preferredAlignment, CharUnits unadjustedAlignment,
48*05ad8e94SXiangling Liao CharUnits requiredAlignment, bool hasOwnVFPtr, bool hasExtendableVFPtr,
49*05ad8e94SXiangling Liao CharUnits vbptroffset, CharUnits datasize, ArrayRef<uint64_t> fieldoffsets,
50*05ad8e94SXiangling Liao CharUnits nonvirtualsize, CharUnits nonvirtualalignment,
51*05ad8e94SXiangling Liao CharUnits preferrednvalignment, CharUnits SizeOfLargestEmptySubobject,
52*05ad8e94SXiangling Liao const CXXRecordDecl *PrimaryBase, bool IsPrimaryBaseVirtual,
53*05ad8e94SXiangling Liao const CXXRecordDecl *BaseSharingVBPtr, bool EndsWithZeroSizedObject,
54*05ad8e94SXiangling Liao bool LeadsWithZeroSizedBase, const BaseOffsetsMapTy &BaseOffsets,
55e42a3366SJohn McCall const VBaseOffsetsMapTy &VBaseOffsets)
567b252d24SWarren Hunt : Size(size), DataSize(datasize), Alignment(alignment),
57*05ad8e94SXiangling Liao PreferredAlignment(preferredAlignment),
5820208cc0SMomchil Velikov UnadjustedAlignment(unadjustedAlignment),
59*05ad8e94SXiangling Liao RequiredAlignment(requiredAlignment),
60*05ad8e94SXiangling Liao CXXInfo(new (Ctx) CXXRecordLayoutInfo) {
6197276c8bSDavid Majnemer FieldOffsets.append(Ctx, fieldoffsets.begin(), fieldoffsets.end());
62c3015a91STed Kremenek
6319bda8afSAnders Carlsson CXXInfo->PrimaryBase.setPointer(PrimaryBase);
6419bda8afSAnders Carlsson CXXInfo->PrimaryBase.setInt(IsPrimaryBaseVirtual);
65c3015a91STed Kremenek CXXInfo->NonVirtualSize = nonvirtualsize;
66d640d7d9SWarren Hunt CXXInfo->NonVirtualAlignment = nonvirtualalignment;
67*05ad8e94SXiangling Liao CXXInfo->PreferredNVAlignment = preferrednvalignment;
682357bfd9SAnders Carlsson CXXInfo->SizeOfLargestEmptySubobject = SizeOfLargestEmptySubobject;
696a84889dSAnders Carlsson CXXInfo->BaseOffsets = BaseOffsets;
706a84889dSAnders Carlsson CXXInfo->VBaseOffsets = VBaseOffsets;
71e42a3366SJohn McCall CXXInfo->HasOwnVFPtr = hasOwnVFPtr;
7284d2d3a9SEli Friedman CXXInfo->VBPtrOffset = vbptroffset;
73486e7146SWarren Hunt CXXInfo->HasExtendableVFPtr = hasExtendableVFPtr;
742c9341f9STimur Iskhodzhanov CXXInfo->BaseSharingVBPtr = BaseSharingVBPtr;
75cd3ebfe2SDavid Majnemer CXXInfo->EndsWithZeroSizedObject = EndsWithZeroSizedObject;
76049f673dSWarren Hunt CXXInfo->LeadsWithZeroSizedBase = LeadsWithZeroSizedBase;
778f8bad72SWarren Hunt
7809db5370SAnders Carlsson #ifndef NDEBUG
7909db5370SAnders Carlsson if (const CXXRecordDecl *PrimaryBase = getPrimaryBase()) {
8084d2d3a9SEli Friedman if (isPrimaryBaseVirtual()) {
81359b885eSJohn McCall if (Ctx.getTargetInfo().getCXXABI().hasPrimaryVBases()) {
823f018716SAnders Carlsson assert(getVBaseClassOffset(PrimaryBase).isZero() &&
8309db5370SAnders Carlsson "Primary virtual base must be at offset 0!");
8484d2d3a9SEli Friedman }
8584d2d3a9SEli Friedman } else {
862ef30314SBenjamin Kramer assert(getBaseClassOffset(PrimaryBase).isZero() &&
8709db5370SAnders Carlsson "Primary base must be at offset 0!");
8809db5370SAnders Carlsson }
8984d2d3a9SEli Friedman }
9009db5370SAnders Carlsson #endif
91c3015a91STed Kremenek }
92