1*700637cbSDimitry Andric //===--- InterpFrame.cpp - Call Frame implementation for the VM -*- C++ -*-===//
2*700637cbSDimitry Andric //
3*700637cbSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*700637cbSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*700637cbSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*700637cbSDimitry Andric //
7*700637cbSDimitry Andric //===----------------------------------------------------------------------===//
8*700637cbSDimitry Andric
9*700637cbSDimitry Andric #include "InterpFrame.h"
10*700637cbSDimitry Andric #include "Boolean.h"
11*700637cbSDimitry Andric #include "Function.h"
12*700637cbSDimitry Andric #include "InterpStack.h"
13*700637cbSDimitry Andric #include "InterpState.h"
14*700637cbSDimitry Andric #include "MemberPointer.h"
15*700637cbSDimitry Andric #include "Pointer.h"
16*700637cbSDimitry Andric #include "PrimType.h"
17*700637cbSDimitry Andric #include "Program.h"
18*700637cbSDimitry Andric #include "clang/AST/ASTContext.h"
19*700637cbSDimitry Andric #include "clang/AST/DeclCXX.h"
20*700637cbSDimitry Andric #include "clang/AST/ExprCXX.h"
21*700637cbSDimitry Andric
22*700637cbSDimitry Andric using namespace clang;
23*700637cbSDimitry Andric using namespace clang::interp;
24*700637cbSDimitry Andric
InterpFrame(InterpState & S)25*700637cbSDimitry Andric InterpFrame::InterpFrame(InterpState &S)
26*700637cbSDimitry Andric : Caller(nullptr), S(S), Depth(0), Func(nullptr), RetPC(CodePtr()),
27*700637cbSDimitry Andric ArgSize(0), Args(nullptr), FrameOffset(0), IsBottom(true) {}
28*700637cbSDimitry Andric
InterpFrame(InterpState & S,const Function * Func,InterpFrame * Caller,CodePtr RetPC,unsigned ArgSize)29*700637cbSDimitry Andric InterpFrame::InterpFrame(InterpState &S, const Function *Func,
30*700637cbSDimitry Andric InterpFrame *Caller, CodePtr RetPC, unsigned ArgSize)
31*700637cbSDimitry Andric : Caller(Caller), S(S), Depth(Caller ? Caller->Depth + 1 : 0), Func(Func),
32*700637cbSDimitry Andric RetPC(RetPC), ArgSize(ArgSize), Args(static_cast<char *>(S.Stk.top())),
33*700637cbSDimitry Andric FrameOffset(S.Stk.size()), IsBottom(!Caller) {
34*700637cbSDimitry Andric if (!Func)
35*700637cbSDimitry Andric return;
36*700637cbSDimitry Andric
37*700637cbSDimitry Andric unsigned FrameSize = Func->getFrameSize();
38*700637cbSDimitry Andric if (FrameSize == 0)
39*700637cbSDimitry Andric return;
40*700637cbSDimitry Andric
41*700637cbSDimitry Andric Locals = std::make_unique<char[]>(FrameSize);
42*700637cbSDimitry Andric for (auto &Scope : Func->scopes()) {
43*700637cbSDimitry Andric for (auto &Local : Scope.locals()) {
44*700637cbSDimitry Andric new (localBlock(Local.Offset)) Block(S.Ctx.getEvalID(), Local.Desc);
45*700637cbSDimitry Andric // Note that we are NOT calling invokeCtor() here, since that is done
46*700637cbSDimitry Andric // via the InitScope op.
47*700637cbSDimitry Andric new (localInlineDesc(Local.Offset)) InlineDescriptor(Local.Desc);
48*700637cbSDimitry Andric }
49*700637cbSDimitry Andric }
50*700637cbSDimitry Andric }
51*700637cbSDimitry Andric
InterpFrame(InterpState & S,const Function * Func,CodePtr RetPC,unsigned VarArgSize)52*700637cbSDimitry Andric InterpFrame::InterpFrame(InterpState &S, const Function *Func, CodePtr RetPC,
53*700637cbSDimitry Andric unsigned VarArgSize)
54*700637cbSDimitry Andric : InterpFrame(S, Func, S.Current, RetPC, Func->getArgSize() + VarArgSize) {
55*700637cbSDimitry Andric // As per our calling convention, the this pointer is
56*700637cbSDimitry Andric // part of the ArgSize.
57*700637cbSDimitry Andric // If the function has RVO, the RVO pointer is first.
58*700637cbSDimitry Andric // If the fuction has a This pointer, that one is next.
59*700637cbSDimitry Andric // Then follow the actual arguments (but those are handled
60*700637cbSDimitry Andric // in getParamPointer()).
61*700637cbSDimitry Andric if (Func->hasRVO())
62*700637cbSDimitry Andric RVOPtr = stackRef<Pointer>(0);
63*700637cbSDimitry Andric
64*700637cbSDimitry Andric if (Func->hasThisPointer()) {
65*700637cbSDimitry Andric if (Func->hasRVO())
66*700637cbSDimitry Andric This = stackRef<Pointer>(sizeof(Pointer));
67*700637cbSDimitry Andric else
68*700637cbSDimitry Andric This = stackRef<Pointer>(0);
69*700637cbSDimitry Andric }
70*700637cbSDimitry Andric }
71*700637cbSDimitry Andric
~InterpFrame()72*700637cbSDimitry Andric InterpFrame::~InterpFrame() {
73*700637cbSDimitry Andric for (auto &Param : Params)
74*700637cbSDimitry Andric S.deallocate(reinterpret_cast<Block *>(Param.second.get()));
75*700637cbSDimitry Andric
76*700637cbSDimitry Andric // When destroying the InterpFrame, call the Dtor for all block
77*700637cbSDimitry Andric // that haven't been destroyed via a destroy() op yet.
78*700637cbSDimitry Andric // This happens when the execution is interruped midway-through.
79*700637cbSDimitry Andric destroyScopes();
80*700637cbSDimitry Andric }
81*700637cbSDimitry Andric
destroyScopes()82*700637cbSDimitry Andric void InterpFrame::destroyScopes() {
83*700637cbSDimitry Andric if (!Func)
84*700637cbSDimitry Andric return;
85*700637cbSDimitry Andric for (auto &Scope : Func->scopes()) {
86*700637cbSDimitry Andric for (auto &Local : Scope.locals()) {
87*700637cbSDimitry Andric S.deallocate(localBlock(Local.Offset));
88*700637cbSDimitry Andric }
89*700637cbSDimitry Andric }
90*700637cbSDimitry Andric }
91*700637cbSDimitry Andric
initScope(unsigned Idx)92*700637cbSDimitry Andric void InterpFrame::initScope(unsigned Idx) {
93*700637cbSDimitry Andric if (!Func)
94*700637cbSDimitry Andric return;
95*700637cbSDimitry Andric for (auto &Local : Func->getScope(Idx).locals()) {
96*700637cbSDimitry Andric localBlock(Local.Offset)->invokeCtor();
97*700637cbSDimitry Andric }
98*700637cbSDimitry Andric }
99*700637cbSDimitry Andric
destroy(unsigned Idx)100*700637cbSDimitry Andric void InterpFrame::destroy(unsigned Idx) {
101*700637cbSDimitry Andric for (auto &Local : Func->getScope(Idx).locals_reverse()) {
102*700637cbSDimitry Andric S.deallocate(localBlock(Local.Offset));
103*700637cbSDimitry Andric }
104*700637cbSDimitry Andric }
105*700637cbSDimitry Andric
106*700637cbSDimitry Andric template <typename T>
print(llvm::raw_ostream & OS,const T & V,ASTContext & ASTCtx,QualType Ty)107*700637cbSDimitry Andric static void print(llvm::raw_ostream &OS, const T &V, ASTContext &ASTCtx,
108*700637cbSDimitry Andric QualType Ty) {
109*700637cbSDimitry Andric if constexpr (std::is_same_v<Pointer, T>) {
110*700637cbSDimitry Andric if (Ty->isPointerOrReferenceType())
111*700637cbSDimitry Andric V.toAPValue(ASTCtx).printPretty(OS, ASTCtx, Ty);
112*700637cbSDimitry Andric else {
113*700637cbSDimitry Andric if (std::optional<APValue> RValue = V.toRValue(ASTCtx, Ty))
114*700637cbSDimitry Andric RValue->printPretty(OS, ASTCtx, Ty);
115*700637cbSDimitry Andric else
116*700637cbSDimitry Andric OS << "...";
117*700637cbSDimitry Andric }
118*700637cbSDimitry Andric } else {
119*700637cbSDimitry Andric V.toAPValue(ASTCtx).printPretty(OS, ASTCtx, Ty);
120*700637cbSDimitry Andric }
121*700637cbSDimitry Andric }
122*700637cbSDimitry Andric
shouldSkipInBacktrace(const Function * F)123*700637cbSDimitry Andric static bool shouldSkipInBacktrace(const Function *F) {
124*700637cbSDimitry Andric if (F->isLambdaStaticInvoker())
125*700637cbSDimitry Andric return true;
126*700637cbSDimitry Andric
127*700637cbSDimitry Andric const FunctionDecl *FD = F->getDecl();
128*700637cbSDimitry Andric if (FD->getDeclName().getCXXOverloadedOperator() == OO_New ||
129*700637cbSDimitry Andric FD->getDeclName().getCXXOverloadedOperator() == OO_Array_New)
130*700637cbSDimitry Andric return true;
131*700637cbSDimitry Andric return false;
132*700637cbSDimitry Andric }
133*700637cbSDimitry Andric
describe(llvm::raw_ostream & OS) const134*700637cbSDimitry Andric void InterpFrame::describe(llvm::raw_ostream &OS) const {
135*700637cbSDimitry Andric // For lambda static invokers, we would just print __invoke().
136*700637cbSDimitry Andric if (const auto *F = getFunction(); F && shouldSkipInBacktrace(F))
137*700637cbSDimitry Andric return;
138*700637cbSDimitry Andric
139*700637cbSDimitry Andric const Expr *CallExpr = Caller->getExpr(getRetPC());
140*700637cbSDimitry Andric const FunctionDecl *F = getCallee();
141*700637cbSDimitry Andric bool IsMemberCall = isa<CXXMethodDecl>(F) && !isa<CXXConstructorDecl>(F) &&
142*700637cbSDimitry Andric cast<CXXMethodDecl>(F)->isImplicitObjectMemberFunction();
143*700637cbSDimitry Andric if (Func->hasThisPointer() && IsMemberCall) {
144*700637cbSDimitry Andric if (const auto *MCE = dyn_cast_if_present<CXXMemberCallExpr>(CallExpr)) {
145*700637cbSDimitry Andric const Expr *Object = MCE->getImplicitObjectArgument();
146*700637cbSDimitry Andric Object->printPretty(OS, /*Helper=*/nullptr,
147*700637cbSDimitry Andric S.getASTContext().getPrintingPolicy(),
148*700637cbSDimitry Andric /*Indentation=*/0);
149*700637cbSDimitry Andric if (Object->getType()->isPointerType())
150*700637cbSDimitry Andric OS << "->";
151*700637cbSDimitry Andric else
152*700637cbSDimitry Andric OS << ".";
153*700637cbSDimitry Andric } else if (const auto *OCE =
154*700637cbSDimitry Andric dyn_cast_if_present<CXXOperatorCallExpr>(CallExpr)) {
155*700637cbSDimitry Andric OCE->getArg(0)->printPretty(OS, /*Helper=*/nullptr,
156*700637cbSDimitry Andric S.getASTContext().getPrintingPolicy(),
157*700637cbSDimitry Andric /*Indentation=*/0);
158*700637cbSDimitry Andric OS << ".";
159*700637cbSDimitry Andric } else if (const auto *M = dyn_cast<CXXMethodDecl>(F)) {
160*700637cbSDimitry Andric print(OS, This, S.getASTContext(),
161*700637cbSDimitry Andric S.getASTContext().getLValueReferenceType(
162*700637cbSDimitry Andric S.getASTContext().getRecordType(M->getParent())));
163*700637cbSDimitry Andric OS << ".";
164*700637cbSDimitry Andric }
165*700637cbSDimitry Andric }
166*700637cbSDimitry Andric
167*700637cbSDimitry Andric F->getNameForDiagnostic(OS, S.getASTContext().getPrintingPolicy(),
168*700637cbSDimitry Andric /*Qualified=*/false);
169*700637cbSDimitry Andric OS << '(';
170*700637cbSDimitry Andric unsigned Off = 0;
171*700637cbSDimitry Andric
172*700637cbSDimitry Andric Off += Func->hasRVO() ? primSize(PT_Ptr) : 0;
173*700637cbSDimitry Andric Off += Func->hasThisPointer() ? primSize(PT_Ptr) : 0;
174*700637cbSDimitry Andric
175*700637cbSDimitry Andric for (unsigned I = 0, N = F->getNumParams(); I < N; ++I) {
176*700637cbSDimitry Andric QualType Ty = F->getParamDecl(I)->getType();
177*700637cbSDimitry Andric
178*700637cbSDimitry Andric PrimType PrimTy = S.Ctx.classify(Ty).value_or(PT_Ptr);
179*700637cbSDimitry Andric
180*700637cbSDimitry Andric TYPE_SWITCH(PrimTy, print(OS, stackRef<T>(Off), S.getASTContext(), Ty));
181*700637cbSDimitry Andric Off += align(primSize(PrimTy));
182*700637cbSDimitry Andric if (I + 1 != N)
183*700637cbSDimitry Andric OS << ", ";
184*700637cbSDimitry Andric }
185*700637cbSDimitry Andric OS << ")";
186*700637cbSDimitry Andric }
187*700637cbSDimitry Andric
getCaller() const188*700637cbSDimitry Andric Frame *InterpFrame::getCaller() const {
189*700637cbSDimitry Andric if (Caller->Caller)
190*700637cbSDimitry Andric return Caller;
191*700637cbSDimitry Andric return S.getSplitFrame();
192*700637cbSDimitry Andric }
193*700637cbSDimitry Andric
getCallRange() const194*700637cbSDimitry Andric SourceRange InterpFrame::getCallRange() const {
195*700637cbSDimitry Andric if (!Caller->Func) {
196*700637cbSDimitry Andric if (SourceRange NullRange = S.getRange(nullptr, {}); NullRange.isValid())
197*700637cbSDimitry Andric return NullRange;
198*700637cbSDimitry Andric return S.EvalLocation;
199*700637cbSDimitry Andric }
200*700637cbSDimitry Andric return S.getRange(Caller->Func, RetPC - sizeof(uintptr_t));
201*700637cbSDimitry Andric }
202*700637cbSDimitry Andric
getCallee() const203*700637cbSDimitry Andric const FunctionDecl *InterpFrame::getCallee() const {
204*700637cbSDimitry Andric if (!Func)
205*700637cbSDimitry Andric return nullptr;
206*700637cbSDimitry Andric return Func->getDecl();
207*700637cbSDimitry Andric }
208*700637cbSDimitry Andric
getLocalPointer(unsigned Offset) const209*700637cbSDimitry Andric Pointer InterpFrame::getLocalPointer(unsigned Offset) const {
210*700637cbSDimitry Andric assert(Offset < Func->getFrameSize() && "Invalid local offset.");
211*700637cbSDimitry Andric return Pointer(localBlock(Offset));
212*700637cbSDimitry Andric }
213*700637cbSDimitry Andric
getParamPointer(unsigned Off)214*700637cbSDimitry Andric Pointer InterpFrame::getParamPointer(unsigned Off) {
215*700637cbSDimitry Andric // Return the block if it was created previously.
216*700637cbSDimitry Andric if (auto Pt = Params.find(Off); Pt != Params.end())
217*700637cbSDimitry Andric return Pointer(reinterpret_cast<Block *>(Pt->second.get()));
218*700637cbSDimitry Andric
219*700637cbSDimitry Andric // Allocate memory to store the parameter and the block metadata.
220*700637cbSDimitry Andric const auto &Desc = Func->getParamDescriptor(Off);
221*700637cbSDimitry Andric size_t BlockSize = sizeof(Block) + Desc.second->getAllocSize();
222*700637cbSDimitry Andric auto Memory = std::make_unique<char[]>(BlockSize);
223*700637cbSDimitry Andric auto *B = new (Memory.get()) Block(S.Ctx.getEvalID(), Desc.second);
224*700637cbSDimitry Andric B->invokeCtor();
225*700637cbSDimitry Andric
226*700637cbSDimitry Andric // Copy the initial value.
227*700637cbSDimitry Andric TYPE_SWITCH(Desc.first, new (B->data()) T(stackRef<T>(Off)));
228*700637cbSDimitry Andric
229*700637cbSDimitry Andric // Record the param.
230*700637cbSDimitry Andric Params.insert({Off, std::move(Memory)});
231*700637cbSDimitry Andric return Pointer(B);
232*700637cbSDimitry Andric }
233*700637cbSDimitry Andric
funcHasUsableBody(const Function * F)234*700637cbSDimitry Andric static bool funcHasUsableBody(const Function *F) {
235*700637cbSDimitry Andric assert(F);
236*700637cbSDimitry Andric
237*700637cbSDimitry Andric if (F->isConstructor() || F->isDestructor())
238*700637cbSDimitry Andric return true;
239*700637cbSDimitry Andric
240*700637cbSDimitry Andric return !F->getDecl()->isImplicit();
241*700637cbSDimitry Andric }
242*700637cbSDimitry Andric
getSource(CodePtr PC) const243*700637cbSDimitry Andric SourceInfo InterpFrame::getSource(CodePtr PC) const {
244*700637cbSDimitry Andric // Implicitly created functions don't have any code we could point at,
245*700637cbSDimitry Andric // so return the call site.
246*700637cbSDimitry Andric if (Func && !funcHasUsableBody(Func) && Caller)
247*700637cbSDimitry Andric return Caller->getSource(RetPC);
248*700637cbSDimitry Andric
249*700637cbSDimitry Andric // Similarly, if the resulting source location is invalid anyway,
250*700637cbSDimitry Andric // point to the caller instead.
251*700637cbSDimitry Andric SourceInfo Result = S.getSource(Func, PC);
252*700637cbSDimitry Andric if (Result.getLoc().isInvalid() && Caller)
253*700637cbSDimitry Andric return Caller->getSource(RetPC);
254*700637cbSDimitry Andric return Result;
255*700637cbSDimitry Andric }
256*700637cbSDimitry Andric
getExpr(CodePtr PC) const257*700637cbSDimitry Andric const Expr *InterpFrame::getExpr(CodePtr PC) const {
258*700637cbSDimitry Andric if (Func && !funcHasUsableBody(Func) && Caller)
259*700637cbSDimitry Andric return Caller->getExpr(RetPC);
260*700637cbSDimitry Andric
261*700637cbSDimitry Andric return S.getExpr(Func, PC);
262*700637cbSDimitry Andric }
263*700637cbSDimitry Andric
getLocation(CodePtr PC) const264*700637cbSDimitry Andric SourceLocation InterpFrame::getLocation(CodePtr PC) const {
265*700637cbSDimitry Andric if (Func && !funcHasUsableBody(Func) && Caller)
266*700637cbSDimitry Andric return Caller->getLocation(RetPC);
267*700637cbSDimitry Andric
268*700637cbSDimitry Andric return S.getLocation(Func, PC);
269*700637cbSDimitry Andric }
270*700637cbSDimitry Andric
getRange(CodePtr PC) const271*700637cbSDimitry Andric SourceRange InterpFrame::getRange(CodePtr PC) const {
272*700637cbSDimitry Andric if (Func && !funcHasUsableBody(Func) && Caller)
273*700637cbSDimitry Andric return Caller->getRange(RetPC);
274*700637cbSDimitry Andric
275*700637cbSDimitry Andric return S.getRange(Func, PC);
276*700637cbSDimitry Andric }
277*700637cbSDimitry Andric
isStdFunction() const278*700637cbSDimitry Andric bool InterpFrame::isStdFunction() const {
279*700637cbSDimitry Andric if (!Func)
280*700637cbSDimitry Andric return false;
281*700637cbSDimitry Andric for (const DeclContext *DC = Func->getDecl(); DC; DC = DC->getParent())
282*700637cbSDimitry Andric if (DC->isStdNamespace())
283*700637cbSDimitry Andric return true;
284*700637cbSDimitry Andric
285*700637cbSDimitry Andric return false;
286*700637cbSDimitry Andric }
287