14514f5e3Sopenharmony_ci/* 24514f5e3Sopenharmony_ci * Copyright (c) 2021-2024 Huawei Device Co., Ltd. 34514f5e3Sopenharmony_ci * Licensed under the Apache License, Version 2.0 (the "License"); 44514f5e3Sopenharmony_ci * you may not use this file except in compliance with the License. 54514f5e3Sopenharmony_ci * You may obtain a copy of the License at 64514f5e3Sopenharmony_ci * 74514f5e3Sopenharmony_ci * http://www.apache.org/licenses/LICENSE-2.0 84514f5e3Sopenharmony_ci * 94514f5e3Sopenharmony_ci * Unless required by applicable law or agreed to in writing, software 104514f5e3Sopenharmony_ci * distributed under the License is distributed on an "AS IS" BASIS, 114514f5e3Sopenharmony_ci * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 124514f5e3Sopenharmony_ci * See the License for the specific language governing permissions and 134514f5e3Sopenharmony_ci * limitations under the License. 144514f5e3Sopenharmony_ci */ 154514f5e3Sopenharmony_ci 164514f5e3Sopenharmony_ci#ifndef ECMASCRIPT_INTERPRETER_FRAME_HANDLER_H 174514f5e3Sopenharmony_ci#define ECMASCRIPT_INTERPRETER_FRAME_HANDLER_H 184514f5e3Sopenharmony_ci 194514f5e3Sopenharmony_ci#include "ecmascript/frames.h" 204514f5e3Sopenharmony_ci#include "ecmascript/js_tagged_value.h" 214514f5e3Sopenharmony_ci#include "ecmascript/js_thread.h" 224514f5e3Sopenharmony_ci#include "ecmascript/mem/heap.h" 234514f5e3Sopenharmony_ci#include "ecmascript/mem/visitor.h" 244514f5e3Sopenharmony_ci#include "ecmascript/method.h" 254514f5e3Sopenharmony_ci 264514f5e3Sopenharmony_cinamespace panda { 274514f5e3Sopenharmony_cinamespace ecmascript { 284514f5e3Sopenharmony_ciclass JSThread; 294514f5e3Sopenharmony_ciclass ConstantPool; 304514f5e3Sopenharmony_cinamespace kungfu { 314514f5e3Sopenharmony_ci class ArkStackMapParser; 324514f5e3Sopenharmony_ci}; 334514f5e3Sopenharmony_ci 344514f5e3Sopenharmony_ciclass FrameHandler { 354514f5e3Sopenharmony_cipublic: 364514f5e3Sopenharmony_ci explicit FrameHandler(const JSThread *thread); 374514f5e3Sopenharmony_ci 384514f5e3Sopenharmony_ci ~FrameHandler() = default; 394514f5e3Sopenharmony_ci 404514f5e3Sopenharmony_ci DEFAULT_COPY_SEMANTIC(FrameHandler); 414514f5e3Sopenharmony_ci DEFAULT_MOVE_SEMANTIC(FrameHandler); 424514f5e3Sopenharmony_ci 434514f5e3Sopenharmony_ci bool HasFrame() const 444514f5e3Sopenharmony_ci { 454514f5e3Sopenharmony_ci return sp_ != nullptr; 464514f5e3Sopenharmony_ci } 474514f5e3Sopenharmony_ci 484514f5e3Sopenharmony_ci inline static FrameType GetFrameType(const JSTaggedType *sp) 494514f5e3Sopenharmony_ci { 504514f5e3Sopenharmony_ci ASSERT(sp != nullptr); 514514f5e3Sopenharmony_ci FrameType *typeAddr = reinterpret_cast<FrameType *>(reinterpret_cast<uintptr_t>(sp) - sizeof(FrameType)); 524514f5e3Sopenharmony_ci return *typeAddr; 534514f5e3Sopenharmony_ci } 544514f5e3Sopenharmony_ci 554514f5e3Sopenharmony_ci inline static bool IsEntryFrame(const uint8_t *pc) 564514f5e3Sopenharmony_ci { 574514f5e3Sopenharmony_ci return pc == nullptr; 584514f5e3Sopenharmony_ci } 594514f5e3Sopenharmony_ci 604514f5e3Sopenharmony_ci bool IsEntryFrame() const 614514f5e3Sopenharmony_ci { 624514f5e3Sopenharmony_ci ASSERT(HasFrame()); 634514f5e3Sopenharmony_ci // The structure of InterpretedFrame, AsmInterpretedFrame, InterpretedEntryFrame is the same, order is pc, base. 644514f5e3Sopenharmony_ci FrameType type = GetFrameType(); 654514f5e3Sopenharmony_ci if (type == FrameType::BUILTIN_ENTRY_FRAME || 664514f5e3Sopenharmony_ci type == FrameType::INTERPRETER_ENTRY_FRAME || 674514f5e3Sopenharmony_ci type == FrameType::ASM_INTERPRETER_ENTRY_FRAME || 684514f5e3Sopenharmony_ci type == FrameType::OPTIMIZED_ENTRY_FRAME) { 694514f5e3Sopenharmony_ci return true; 704514f5e3Sopenharmony_ci } else if (type == FrameType::ASM_INTERPRETER_BRIDGE_FRAME || 714514f5e3Sopenharmony_ci type == FrameType::INTERPRETER_FRAME) { 724514f5e3Sopenharmony_ci FrameIterator it(sp_); 734514f5e3Sopenharmony_ci InterpretedFrame *state = it.GetFrame<InterpretedFrame>(); 744514f5e3Sopenharmony_ci return state->GetPc() == nullptr; 754514f5e3Sopenharmony_ci } 764514f5e3Sopenharmony_ci return false; 774514f5e3Sopenharmony_ci } 784514f5e3Sopenharmony_ci 794514f5e3Sopenharmony_ci bool IsInterpretedFrame() const 804514f5e3Sopenharmony_ci { 814514f5e3Sopenharmony_ci FrameType type = GetFrameType(); 824514f5e3Sopenharmony_ci return IsInterpretedFrame(type); 834514f5e3Sopenharmony_ci } 844514f5e3Sopenharmony_ci 854514f5e3Sopenharmony_ci bool IsInterpretedFrame(FrameType type) const 864514f5e3Sopenharmony_ci { 874514f5e3Sopenharmony_ci return (type >= FrameType::INTERPRETER_FIRST) && (type <= FrameType::INTERPRETER_LAST); 884514f5e3Sopenharmony_ci } 894514f5e3Sopenharmony_ci 904514f5e3Sopenharmony_ci bool IsJSFrame() const 914514f5e3Sopenharmony_ci { 924514f5e3Sopenharmony_ci FrameType type = GetFrameType(); 934514f5e3Sopenharmony_ci return IsJSFrame(type); 944514f5e3Sopenharmony_ci } 954514f5e3Sopenharmony_ci 964514f5e3Sopenharmony_ci bool IsOptimizedJSFunctionFrame() const 974514f5e3Sopenharmony_ci { 984514f5e3Sopenharmony_ci FrameType type = GetFrameType(); 994514f5e3Sopenharmony_ci return type == FrameType::OPTIMIZED_JS_FUNCTION_FRAME || 1004514f5e3Sopenharmony_ci type == FrameType::OPTIMIZED_JS_FAST_CALL_FUNCTION_FRAME; 1014514f5e3Sopenharmony_ci } 1024514f5e3Sopenharmony_ci 1034514f5e3Sopenharmony_ci bool IsJSFrame(FrameType type) const 1044514f5e3Sopenharmony_ci { 1054514f5e3Sopenharmony_ci return IsInterpretedFrame(type) || IsOptimizedJSFunctionFrame(type) || IsFastJitFunctionFrame(type); 1064514f5e3Sopenharmony_ci } 1074514f5e3Sopenharmony_ci 1084514f5e3Sopenharmony_ci bool IsOptimizedJSFunctionFrame(FrameType type) const 1094514f5e3Sopenharmony_ci { 1104514f5e3Sopenharmony_ci return type == FrameType::OPTIMIZED_JS_FUNCTION_FRAME || 1114514f5e3Sopenharmony_ci type == FrameType::OPTIMIZED_JS_FAST_CALL_FUNCTION_FRAME; 1124514f5e3Sopenharmony_ci } 1134514f5e3Sopenharmony_ci 1144514f5e3Sopenharmony_ci bool IsFastJitFunctionFrame(FrameType type) const 1154514f5e3Sopenharmony_ci { 1164514f5e3Sopenharmony_ci return type == FrameType::FASTJIT_FUNCTION_FRAME || 1174514f5e3Sopenharmony_ci type == FrameType::FASTJIT_FAST_CALL_FUNCTION_FRAME; 1184514f5e3Sopenharmony_ci } 1194514f5e3Sopenharmony_ci 1204514f5e3Sopenharmony_ci bool IsAsmInterpretedFrame() const 1214514f5e3Sopenharmony_ci { 1224514f5e3Sopenharmony_ci FrameIterator it(sp_, thread_); 1234514f5e3Sopenharmony_ci FrameType type = it.GetFrameType(); 1244514f5e3Sopenharmony_ci return (type == FrameType::ASM_INTERPRETER_FRAME) || 1254514f5e3Sopenharmony_ci (type == FrameType::INTERPRETER_CONSTRUCTOR_FRAME); 1264514f5e3Sopenharmony_ci } 1274514f5e3Sopenharmony_ci 1284514f5e3Sopenharmony_ci bool IsAsmInterpretedFrame(FrameType type) const 1294514f5e3Sopenharmony_ci { 1304514f5e3Sopenharmony_ci return (type == FrameType::ASM_INTERPRETER_FRAME) || 1314514f5e3Sopenharmony_ci (type == FrameType::INTERPRETER_CONSTRUCTOR_FRAME); 1324514f5e3Sopenharmony_ci } 1334514f5e3Sopenharmony_ci bool IsBuiltinFrame() const 1344514f5e3Sopenharmony_ci { 1354514f5e3Sopenharmony_ci FrameType type = GetFrameType(); 1364514f5e3Sopenharmony_ci return (type >= FrameType::BUILTIN_FIRST) && (type <= FrameType::BUILTIN_LAST); 1374514f5e3Sopenharmony_ci } 1384514f5e3Sopenharmony_ci bool IsBuiltinEntryFrame() const 1394514f5e3Sopenharmony_ci { 1404514f5e3Sopenharmony_ci return (GetFrameType() == FrameType::BUILTIN_ENTRY_FRAME); 1414514f5e3Sopenharmony_ci } 1424514f5e3Sopenharmony_ci 1434514f5e3Sopenharmony_ci bool IsInterpretedEntryFrame() const 1444514f5e3Sopenharmony_ci { 1454514f5e3Sopenharmony_ci if (thread_->IsAsmInterpreter()) { 1464514f5e3Sopenharmony_ci FrameType type = GetFrameType(); 1474514f5e3Sopenharmony_ci return (type == FrameType::ASM_INTERPRETER_ENTRY_FRAME || type == FrameType::ASM_INTERPRETER_BRIDGE_FRAME); 1484514f5e3Sopenharmony_ci } 1494514f5e3Sopenharmony_ci return (GetFrameType() == FrameType::INTERPRETER_ENTRY_FRAME); 1504514f5e3Sopenharmony_ci } 1514514f5e3Sopenharmony_ci 1524514f5e3Sopenharmony_ci bool IsInterpretedEntryFrame(FrameType type) const 1534514f5e3Sopenharmony_ci { 1544514f5e3Sopenharmony_ci if (thread_->IsAsmInterpreter()) { 1554514f5e3Sopenharmony_ci return (type == FrameType::ASM_INTERPRETER_ENTRY_FRAME || type == FrameType::ASM_INTERPRETER_BRIDGE_FRAME); 1564514f5e3Sopenharmony_ci } 1574514f5e3Sopenharmony_ci return (type == FrameType::INTERPRETER_ENTRY_FRAME); 1584514f5e3Sopenharmony_ci } 1594514f5e3Sopenharmony_ci 1604514f5e3Sopenharmony_ci bool IsAsmInterpretedEntryFrame() const 1614514f5e3Sopenharmony_ci { 1624514f5e3Sopenharmony_ci FrameType type = GetFrameType(); 1634514f5e3Sopenharmony_ci return IsAsmInterpretedEntryFrame(type); 1644514f5e3Sopenharmony_ci } 1654514f5e3Sopenharmony_ci 1664514f5e3Sopenharmony_ci bool IsAsmInterpretedEntryFrame(FrameType type) const 1674514f5e3Sopenharmony_ci { 1684514f5e3Sopenharmony_ci return (type == FrameType::ASM_INTERPRETER_ENTRY_FRAME || type == FrameType::ASM_INTERPRETER_BRIDGE_FRAME); 1694514f5e3Sopenharmony_ci } 1704514f5e3Sopenharmony_ci 1714514f5e3Sopenharmony_ci bool IsCInterpretedEntryFrame() const 1724514f5e3Sopenharmony_ci { 1734514f5e3Sopenharmony_ci return (GetFrameType() == FrameType::INTERPRETER_ENTRY_FRAME); 1744514f5e3Sopenharmony_ci } 1754514f5e3Sopenharmony_ci 1764514f5e3Sopenharmony_ci bool IsCInterpretedEntryFrame(FrameType type) const 1774514f5e3Sopenharmony_ci { 1784514f5e3Sopenharmony_ci return (type == FrameType::INTERPRETER_ENTRY_FRAME); 1794514f5e3Sopenharmony_ci } 1804514f5e3Sopenharmony_ci 1814514f5e3Sopenharmony_ci bool IsOptimizedEntryFrame(FrameType type) const 1824514f5e3Sopenharmony_ci { 1834514f5e3Sopenharmony_ci return type == FrameType::OPTIMIZED_ENTRY_FRAME; 1844514f5e3Sopenharmony_ci } 1854514f5e3Sopenharmony_ci 1864514f5e3Sopenharmony_ci bool IsJSEntryFrame(FrameType type) const 1874514f5e3Sopenharmony_ci { 1884514f5e3Sopenharmony_ci return IsAsmInterpretedEntryFrame(type) || IsOptimizedEntryFrame(type); 1894514f5e3Sopenharmony_ci } 1904514f5e3Sopenharmony_ci 1914514f5e3Sopenharmony_ci bool IsLeaveFrame() const 1924514f5e3Sopenharmony_ci { 1934514f5e3Sopenharmony_ci FrameType type = GetFrameType(); 1944514f5e3Sopenharmony_ci return (type == FrameType::LEAVE_FRAME) || (type == FrameType::LEAVE_FRAME_WITH_ARGV); 1954514f5e3Sopenharmony_ci } 1964514f5e3Sopenharmony_ci 1974514f5e3Sopenharmony_ci bool IsInterpreterBuiltinFrame() const 1984514f5e3Sopenharmony_ci { 1994514f5e3Sopenharmony_ci FrameType type = GetFrameType(); 2004514f5e3Sopenharmony_ci return type == FrameType::INTERPRETER_BUILTIN_FRAME; 2014514f5e3Sopenharmony_ci } 2024514f5e3Sopenharmony_ci 2034514f5e3Sopenharmony_ci bool IsBaselineBuiltinFrame(FrameType type) const 2044514f5e3Sopenharmony_ci { 2054514f5e3Sopenharmony_ci return (type == FrameType::BASELINE_BUILTIN_FRAME); 2064514f5e3Sopenharmony_ci } 2074514f5e3Sopenharmony_ci 2084514f5e3Sopenharmony_ci JSTaggedType *GetSp() const 2094514f5e3Sopenharmony_ci { 2104514f5e3Sopenharmony_ci return sp_; 2114514f5e3Sopenharmony_ci } 2124514f5e3Sopenharmony_ci 2134514f5e3Sopenharmony_ci JSTaggedType *GetFp() const 2144514f5e3Sopenharmony_ci { 2154514f5e3Sopenharmony_ci return fp_; 2164514f5e3Sopenharmony_ci } 2174514f5e3Sopenharmony_ci 2184514f5e3Sopenharmony_ci uintptr_t GetBaselineNativePc() const 2194514f5e3Sopenharmony_ci { 2204514f5e3Sopenharmony_ci return baselineNativePc_; 2214514f5e3Sopenharmony_ci } 2224514f5e3Sopenharmony_ci 2234514f5e3Sopenharmony_ci void PrevJSFrame(); 2244514f5e3Sopenharmony_ci JSTaggedType *GetPrevJSFrame(); 2254514f5e3Sopenharmony_ci 2264514f5e3Sopenharmony_ci // for InterpretedFrame. 2274514f5e3Sopenharmony_ci JSTaggedValue GetVRegValue(size_t index) const; 2284514f5e3Sopenharmony_ci void SetVRegValue(size_t index, JSTaggedValue value); 2294514f5e3Sopenharmony_ci 2304514f5e3Sopenharmony_ci // for BaselineBuiltinFrame 2314514f5e3Sopenharmony_ci void FindAndSetBaselineNativePc(FrameIterator it); 2324514f5e3Sopenharmony_ci 2334514f5e3Sopenharmony_ci JSTaggedValue GetEnv() const; 2344514f5e3Sopenharmony_ci JSTaggedValue GetAcc() const; 2354514f5e3Sopenharmony_ci uint32_t GetNumberArgs(); 2364514f5e3Sopenharmony_ci uint32_t GetBytecodeOffset() const; 2374514f5e3Sopenharmony_ci Method *GetMethod() const; 2384514f5e3Sopenharmony_ci const JSPandaFile* GetJSPandaFile() const; 2394514f5e3Sopenharmony_ci std::string GetFileName() const; 2404514f5e3Sopenharmony_ci uint32_t GetAbcId() const; 2414514f5e3Sopenharmony_ci uint32_t GetMethodId() const; 2424514f5e3Sopenharmony_ci Method *CheckAndGetMethod() const; 2434514f5e3Sopenharmony_ci JSTaggedValue GetThis() const; 2444514f5e3Sopenharmony_ci JSTaggedValue GetFunction() const; 2454514f5e3Sopenharmony_ci const uint8_t *GetPc() const; 2464514f5e3Sopenharmony_ci ConstantPool *GetConstpool() const; 2474514f5e3Sopenharmony_ci 2484514f5e3Sopenharmony_ci void DumpStack(std::ostream &os) const; 2494514f5e3Sopenharmony_ci void DumpStack() const 2504514f5e3Sopenharmony_ci { 2514514f5e3Sopenharmony_ci DumpStack(std::cout); 2524514f5e3Sopenharmony_ci } 2534514f5e3Sopenharmony_ci 2544514f5e3Sopenharmony_ci void DumpPC(std::ostream &os, const uint8_t *pc) const; 2554514f5e3Sopenharmony_ci void DumpPC(const uint8_t *pc) const 2564514f5e3Sopenharmony_ci { 2574514f5e3Sopenharmony_ci DumpPC(std::cout, pc); 2584514f5e3Sopenharmony_ci } 2594514f5e3Sopenharmony_ci 2604514f5e3Sopenharmony_ci // for Frame GC. 2614514f5e3Sopenharmony_ci void Iterate(const RootVisitor &visitor, const RootRangeVisitor &rangeVisitor, 2624514f5e3Sopenharmony_ci const RootBaseAndDerivedVisitor &derivedVisitor); 2634514f5e3Sopenharmony_ci void IterateFrameChain(JSTaggedType *start, const RootVisitor &visitor, const RootRangeVisitor &rangeVisitor, 2644514f5e3Sopenharmony_ci const RootBaseAndDerivedVisitor &derivedVisitor) const; 2654514f5e3Sopenharmony_ci void IterateAssembleStack(const RootVisitor &visitor, const RootRangeVisitor &rangeVisitor, 2664514f5e3Sopenharmony_ci const RootBaseAndDerivedVisitor &derivedVisitor); 2674514f5e3Sopenharmony_ci void IterateEcmaRuntimeCallInfo(const RootVisitor &visitor, const RootRangeVisitor &rangeVisitor); 2684514f5e3Sopenharmony_ci 2694514f5e3Sopenharmony_ciprivate: 2704514f5e3Sopenharmony_ci FrameType GetFrameType() const 2714514f5e3Sopenharmony_ci { 2724514f5e3Sopenharmony_ci ASSERT(HasFrame()); 2734514f5e3Sopenharmony_ci FrameType *typeAddr = reinterpret_cast<FrameType *>(reinterpret_cast<uintptr_t>(sp_) - sizeof(FrameType)); 2744514f5e3Sopenharmony_ci return *typeAddr; 2754514f5e3Sopenharmony_ci } 2764514f5e3Sopenharmony_ci 2774514f5e3Sopenharmony_ci void AdvanceToJSFrame(); 2784514f5e3Sopenharmony_ci uintptr_t GetInterpretedFrameEnd(JSTaggedType *prevSp) const; 2794514f5e3Sopenharmony_ciprivate: 2804514f5e3Sopenharmony_ci JSTaggedType *sp_ {nullptr}; 2814514f5e3Sopenharmony_ci JSTaggedType *fp_ {nullptr}; 2824514f5e3Sopenharmony_ci uintptr_t baselineNativePc_ {0}; // For baselineJit upFrame 2834514f5e3Sopenharmony_ci const JSThread *thread_ {nullptr}; 2844514f5e3Sopenharmony_ci const kungfu::ArkStackMapParser *arkStackMapParser_ {nullptr}; 2854514f5e3Sopenharmony_ci}; 2864514f5e3Sopenharmony_ci 2874514f5e3Sopenharmony_ciclass StackAssertScope { 2884514f5e3Sopenharmony_cipublic: 2894514f5e3Sopenharmony_ci explicit StackAssertScope(JSThread *thread) : thread_(thread), oldSp_(thread->GetCurrentSPFrame()) {} 2904514f5e3Sopenharmony_ci 2914514f5e3Sopenharmony_ci ~StackAssertScope() 2924514f5e3Sopenharmony_ci { 2934514f5e3Sopenharmony_ci if (!thread_->HasPendingException()) { 2944514f5e3Sopenharmony_ci DASSERT_PRINT(oldSp_ == thread_->GetCurrentSPFrame(), 2954514f5e3Sopenharmony_ci "StackAssertScope assert failed, sp did not restore as expeted"); 2964514f5e3Sopenharmony_ci } 2974514f5e3Sopenharmony_ci } 2984514f5e3Sopenharmony_ci 2994514f5e3Sopenharmony_ciprivate: 3004514f5e3Sopenharmony_ci JSThread *thread_ {nullptr}; 3014514f5e3Sopenharmony_ci const JSTaggedType *oldSp_ {nullptr}; 3024514f5e3Sopenharmony_ci}; 3034514f5e3Sopenharmony_ci}; // namespace ecmascript 3044514f5e3Sopenharmony_ci} // namespace panda 3054514f5e3Sopenharmony_ci#endif // ECMASCRIPT_INTERPRETER_FRAME_HANDLER_H 306