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