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