mirror of
https://github.com/bytecodealliance/wasm-micro-runtime.git
synced 2024-11-26 23:42:05 +00:00
16a4d71b34
Implement the GC (Garbage Collection) feature for interpreter mode, AOT mode and LLVM-JIT mode, and support most features of the latest spec proposal, and also enable the stringref feature. Use `cmake -DWAMR_BUILD_GC=1/0` to enable/disable the feature, and `wamrc --enable-gc` to generate the AOT file with GC supported. And update the AOT file version from 2 to 3 since there are many AOT ABI breaks, including the changes of AOT file format, the changes of AOT module/memory instance layouts, the AOT runtime APIs for the AOT code to invoke and so on.
123 lines
3.1 KiB
C
123 lines
3.1 KiB
C
/*
|
|
* Copyright (C) 2019 Intel Corporation. All rights reserved.
|
|
* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
*/
|
|
|
|
#ifndef _WASM_INTERP_H
|
|
#define _WASM_INTERP_H
|
|
|
|
#include "wasm.h"
|
|
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif
|
|
|
|
struct WASMModuleInstance;
|
|
struct WASMFunctionInstance;
|
|
struct WASMExecEnv;
|
|
|
|
typedef struct WASMInterpFrame {
|
|
/* The frame of the caller that are calling the current function. */
|
|
struct WASMInterpFrame *prev_frame;
|
|
|
|
/* The current WASM function. */
|
|
struct WASMFunctionInstance *function;
|
|
|
|
/* Instruction pointer of the bytecode array. */
|
|
uint8 *ip;
|
|
|
|
#if WASM_ENABLE_FAST_JIT != 0
|
|
uint8 *jitted_return_addr;
|
|
#endif
|
|
|
|
#if WASM_ENABLE_PERF_PROFILING != 0
|
|
uint64 time_started;
|
|
#endif
|
|
|
|
#if WASM_ENABLE_EXCE_HANDLING != 0
|
|
/* set to true if the callee returns an exception rather than
|
|
* result values on the stack
|
|
*/
|
|
bool exception_raised;
|
|
uint32 tag_index;
|
|
#endif
|
|
|
|
#if WASM_ENABLE_FAST_INTERP != 0
|
|
/* Return offset of the first return value of current frame,
|
|
the callee will put return values here continuously */
|
|
uint32 ret_offset;
|
|
uint32 *lp;
|
|
#if WASM_ENABLE_GC != 0
|
|
uint8 *frame_ref;
|
|
#endif
|
|
uint32 operand[1];
|
|
#else /* else of WASM_ENABLE_FAST_INTERP != 0 */
|
|
/* Operand stack top pointer of the current frame. The bottom of
|
|
the stack is the next cell after the last local variable. */
|
|
uint32 *sp_bottom;
|
|
uint32 *sp_boundary;
|
|
uint32 *sp;
|
|
|
|
WASMBranchBlock *csp_bottom;
|
|
WASMBranchBlock *csp_boundary;
|
|
WASMBranchBlock *csp;
|
|
|
|
/**
|
|
* Frame data, the layout is:
|
|
* lp: parameters and local variables
|
|
* sp_bottom to sp_boundary: wasm operand stack
|
|
* csp_bottom to csp_boundary: wasm label stack
|
|
* frame ref flags: only available for GC
|
|
* whether each cell in local and stack area is a GC obj
|
|
* jit spill cache: only available for fast jit
|
|
*/
|
|
uint32 lp[1];
|
|
#endif /* end of WASM_ENABLE_FAST_INTERP != 0 */
|
|
} WASMInterpFrame;
|
|
|
|
/**
|
|
* Calculate the size of interpreter area of frame of a function.
|
|
*
|
|
* @param all_cell_num number of all cells including local variables
|
|
* and the working stack slots
|
|
*
|
|
* @return the size of interpreter area of the frame
|
|
*/
|
|
static inline unsigned
|
|
wasm_interp_interp_frame_size(unsigned all_cell_num)
|
|
{
|
|
unsigned frame_size;
|
|
|
|
#if WASM_ENABLE_FAST_INTERP == 0
|
|
#if WASM_ENABLE_GC == 0
|
|
frame_size = (uint32)offsetof(WASMInterpFrame, lp) + all_cell_num * 4;
|
|
#else
|
|
frame_size =
|
|
(uint32)offsetof(WASMInterpFrame, lp) + align_uint(all_cell_num * 5, 4);
|
|
#endif
|
|
#else
|
|
frame_size = (uint32)offsetof(WASMInterpFrame, operand) + all_cell_num * 4;
|
|
#endif
|
|
return align_uint(frame_size, 4);
|
|
}
|
|
|
|
void
|
|
wasm_interp_call_wasm(struct WASMModuleInstance *module_inst,
|
|
struct WASMExecEnv *exec_env,
|
|
struct WASMFunctionInstance *function, uint32 argc,
|
|
uint32 argv[]);
|
|
|
|
#if WASM_ENABLE_GC != 0
|
|
bool
|
|
wasm_interp_traverse_gc_rootset(struct WASMExecEnv *exec_env, void *heap);
|
|
|
|
uint8 *
|
|
wasm_interp_get_frame_ref(WASMInterpFrame *frame);
|
|
#endif
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|
|
|
|
#endif /* end of _WASM_INTERP_H */
|