1//===--- Record.cpp - struct and class metadata for the VM ------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9#include "Record.h"
10#include "clang/AST/ASTContext.h"
11
12using namespace clang;
13using namespace clang::interp;
14
15Record::Record(const RecordDecl *Decl, BaseList &&SrcBases,
16 FieldList &&SrcFields, VirtualBaseList &&SrcVirtualBases,
17 unsigned VirtualSize, unsigned BaseSize, bool HasPtrField)
18 : Decl(Decl), Bases(std::move(SrcBases)), Fields(std::move(SrcFields)),
19 BaseSize(BaseSize), VirtualSize(VirtualSize), IsUnion(Decl->isUnion()),
20 IsAnonymousUnion(IsUnion && Decl->isAnonymousStructOrUnion()),
21 HasPtrField(HasPtrField) {
22 for (Base &V : SrcVirtualBases)
23 VirtualBases.emplace_back(Args&: V.Decl, Args&: V.Desc, Args&: V.R, Args: V.Offset + BaseSize);
24
25 for (Base &B : Bases) {
26 BaseMap[B.Decl] = &B;
27 if (!this->HasPtrField)
28 this->HasPtrField |= B.R->hasPtrField();
29 }
30 for (Base &V : VirtualBases) {
31 VirtualBaseMap[V.Decl] = &V;
32 if (!this->HasPtrField)
33 this->HasPtrField |= V.R->hasPtrField();
34 }
35}
36
37std::string Record::getName() const {
38 std::string Ret;
39 llvm::raw_string_ostream OS(Ret);
40 Decl->getNameForDiagnostic(OS, Policy: Decl->getASTContext().getPrintingPolicy(),
41 /*Qualified=*/true);
42 return Ret;
43}
44
45bool Record::hasTrivialDtor() const {
46 if (isAnonymousUnion())
47 return true;
48 const CXXDestructorDecl *Dtor = getDestructor();
49 return !Dtor || Dtor->isTrivial();
50}
51
52const Record::Field *Record::findField(unsigned Offset) const {
53 if (auto It = llvm::find_if(
54 Range: Fields,
55 P: [=](const Record::Field &F) -> bool { return F.Offset == Offset; });
56 It != Fields.end())
57 return &*It;
58 return nullptr;
59}
60
61const Record::Base *Record::getBase(const RecordDecl *RD) const {
62 auto It = BaseMap.find(Val: RD);
63 assert(It != BaseMap.end() && "Missing base");
64 return It->second;
65}
66
67const Record::Base *Record::getBaseOrNull(const RecordDecl *RD) const {
68 return BaseMap.lookup(Val: RD);
69}
70
71const Record::Base *Record::getBase(QualType T) const {
72 if (auto *RD = T->getAsCXXRecordDecl())
73 return BaseMap.lookup(Val: RD);
74 return nullptr;
75}
76
77const Record::Base *Record::findBase(unsigned Offset) const {
78 if (auto It = llvm::find_if(
79 Range: Bases,
80 P: [=](const Record::Base &B) -> bool { return B.Offset == Offset; });
81 It != Bases.end())
82 return &*It;
83 return nullptr;
84}
85
86const Record::Base *Record::getVirtualBase(const RecordDecl *FD) const {
87 auto It = VirtualBaseMap.find(Val: FD);
88 if (It == VirtualBaseMap.end())
89 return nullptr;
90 return It->second;
91}
92