a182926a73
Refactor the layout of interpreter and AOT module instance: - Unify the interp/AOT module instance, use the same WASMModuleInstance/ WASMMemoryInstance/WASMTableInstance data structures for both interpreter and AOT - Make the offset of most fields the same in module instance for both interpreter and AOT, append memory instance structure, global data and table instances to the end of module instance for interpreter mode (like AOT mode) - For extra fields in WASM module instance, use WASMModuleInstanceExtra to create a field `e` for interpreter - Change the LLVM JIT module instance creating process, LLVM JIT uses the WASM module and module instance same as interpreter/Fast-JIT mode. So that Fast JIT and LLVM JIT can access the same data structures, and make it possible to implement the Multi-tier JIT (tier-up from Fast JIT to LLVM JIT) in the future - Unify some APIs: merge some APIs for module instance and memory instance's related operations (only implement one copy) Note that the AOT ABI is same, the AOT file format, AOT relocation types, how AOT code accesses the AOT module instance and so on are kept unchanged. Refer to: https://github.com/bytecodealliance/wasm-micro-runtime/issues/1384
331 lines
7.0 KiB
C
331 lines
7.0 KiB
C
/*
|
|
* Copyright (C) 2019 Intel Corporation. All rights reserved.
|
|
* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
*/
|
|
|
|
#ifndef _AOT_H_
|
|
#define _AOT_H_
|
|
|
|
#include "bh_platform.h"
|
|
#include "bh_assert.h"
|
|
#include "../common/wasm_runtime_common.h"
|
|
#include "../interpreter/wasm.h"
|
|
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif
|
|
|
|
#ifndef AOT_FUNC_PREFIX
|
|
#define AOT_FUNC_PREFIX "aot_func#"
|
|
#endif
|
|
|
|
typedef InitializerExpression AOTInitExpr;
|
|
typedef WASMType AOTFuncType;
|
|
typedef WASMExport AOTExport;
|
|
|
|
#if WASM_ENABLE_DEBUG_AOT != 0
|
|
typedef void *dwar_extractor_handle_t;
|
|
#endif
|
|
|
|
typedef enum AOTIntCond {
|
|
INT_EQZ = 0,
|
|
INT_EQ,
|
|
INT_NE,
|
|
INT_LT_S,
|
|
INT_LT_U,
|
|
INT_GT_S,
|
|
INT_GT_U,
|
|
INT_LE_S,
|
|
INT_LE_U,
|
|
INT_GE_S,
|
|
INT_GE_U
|
|
} AOTIntCond;
|
|
|
|
typedef enum AOTFloatCond {
|
|
FLOAT_EQ = 0,
|
|
FLOAT_NE,
|
|
FLOAT_LT,
|
|
FLOAT_GT,
|
|
FLOAT_LE,
|
|
FLOAT_GE,
|
|
FLOAT_UNO
|
|
} AOTFloatCond;
|
|
|
|
/**
|
|
* Import memory
|
|
*/
|
|
typedef struct AOTImportMemory {
|
|
char *module_name;
|
|
char *memory_name;
|
|
uint32 memory_flags;
|
|
uint32 num_bytes_per_page;
|
|
uint32 mem_init_page_count;
|
|
uint32 mem_max_page_count;
|
|
} AOTImportMemory;
|
|
|
|
/**
|
|
* Memory information
|
|
*/
|
|
typedef struct AOTMemory {
|
|
/* memory info */
|
|
uint32 memory_flags;
|
|
uint32 num_bytes_per_page;
|
|
uint32 mem_init_page_count;
|
|
uint32 mem_max_page_count;
|
|
} AOTMemory;
|
|
|
|
/**
|
|
* A segment of memory init data
|
|
*/
|
|
typedef struct AOTMemInitData {
|
|
#if WASM_ENABLE_BULK_MEMORY != 0
|
|
/* Passive flag */
|
|
bool is_passive;
|
|
/* memory index */
|
|
uint32 memory_index;
|
|
#endif
|
|
/* Start address of init data */
|
|
AOTInitExpr offset;
|
|
/* Byte count */
|
|
uint32 byte_count;
|
|
/* Byte array */
|
|
uint8 bytes[1];
|
|
} AOTMemInitData;
|
|
|
|
/**
|
|
* Import table
|
|
*/
|
|
typedef struct AOTImportTable {
|
|
char *module_name;
|
|
char *table_name;
|
|
uint32 elem_type;
|
|
uint32 table_flags;
|
|
uint32 table_init_size;
|
|
uint32 table_max_size;
|
|
bool possible_grow;
|
|
} AOTImportTable;
|
|
|
|
/**
|
|
* Table
|
|
*/
|
|
typedef struct AOTTable {
|
|
uint32 elem_type;
|
|
uint32 table_flags;
|
|
uint32 table_init_size;
|
|
uint32 table_max_size;
|
|
bool possible_grow;
|
|
} AOTTable;
|
|
|
|
/**
|
|
* A segment of table init data
|
|
*/
|
|
typedef struct AOTTableInitData {
|
|
/* 0 to 7 */
|
|
uint32 mode;
|
|
/* funcref or externref, elemkind will be considered as funcref */
|
|
uint32 elem_type;
|
|
bool is_dropped;
|
|
/* optional, only for active */
|
|
uint32 table_index;
|
|
/* Start address of init data */
|
|
AOTInitExpr offset;
|
|
/* Function index count */
|
|
uint32 func_index_count;
|
|
/* Function index array */
|
|
uint32 func_indexes[1];
|
|
} AOTTableInitData;
|
|
|
|
/**
|
|
* Import global variable
|
|
*/
|
|
typedef struct AOTImportGlobal {
|
|
char *module_name;
|
|
char *global_name;
|
|
/* VALUE_TYPE_I32/I64/F32/F64 */
|
|
uint8 type;
|
|
bool is_mutable;
|
|
uint32 size;
|
|
/* The data offset of current global in global data */
|
|
uint32 data_offset;
|
|
/* global data after linked */
|
|
WASMValue global_data_linked;
|
|
} AOTImportGlobal;
|
|
|
|
/**
|
|
* Global variable
|
|
*/
|
|
typedef struct AOTGlobal {
|
|
/* VALUE_TYPE_I32/I64/F32/F64 */
|
|
uint8 type;
|
|
bool is_mutable;
|
|
uint32 size;
|
|
/* The data offset of current global in global data */
|
|
uint32 data_offset;
|
|
AOTInitExpr init_expr;
|
|
} AOTGlobal;
|
|
|
|
/**
|
|
* Import function
|
|
*/
|
|
typedef struct AOTImportFunc {
|
|
char *module_name;
|
|
char *func_name;
|
|
AOTFuncType *func_type;
|
|
uint32 func_type_index;
|
|
/* function pointer after linked */
|
|
void *func_ptr_linked;
|
|
/* signature from registered native symbols */
|
|
const char *signature;
|
|
/* attachment */
|
|
void *attachment;
|
|
bool call_conv_raw;
|
|
bool call_conv_wasm_c_api;
|
|
bool wasm_c_api_with_env;
|
|
} AOTImportFunc;
|
|
|
|
/**
|
|
* Function
|
|
*/
|
|
typedef struct AOTFunc {
|
|
AOTFuncType *func_type;
|
|
uint32 func_type_index;
|
|
uint32 local_count;
|
|
uint8 *local_types;
|
|
uint16 param_cell_num;
|
|
uint16 local_cell_num;
|
|
uint32 code_size;
|
|
uint8 *code;
|
|
} AOTFunc;
|
|
|
|
typedef struct AOTCompData {
|
|
/* Import memories */
|
|
uint32 import_memory_count;
|
|
AOTImportMemory *import_memories;
|
|
|
|
/* Memories */
|
|
uint32 memory_count;
|
|
AOTMemory *memories;
|
|
|
|
/* Memory init data info */
|
|
uint32 mem_init_data_count;
|
|
AOTMemInitData **mem_init_data_list;
|
|
|
|
/* Import tables */
|
|
uint32 import_table_count;
|
|
AOTImportTable *import_tables;
|
|
|
|
/* Tables */
|
|
uint32 table_count;
|
|
AOTTable *tables;
|
|
|
|
/* Table init data info */
|
|
uint32 table_init_data_count;
|
|
AOTTableInitData **table_init_data_list;
|
|
|
|
/* Import globals */
|
|
uint32 import_global_count;
|
|
AOTImportGlobal *import_globals;
|
|
|
|
/* Globals */
|
|
uint32 global_count;
|
|
AOTGlobal *globals;
|
|
|
|
/* Function types */
|
|
uint32 func_type_count;
|
|
AOTFuncType **func_types;
|
|
|
|
/* Import functions */
|
|
uint32 import_func_count;
|
|
AOTImportFunc *import_funcs;
|
|
|
|
/* Functions */
|
|
uint32 func_count;
|
|
AOTFunc **funcs;
|
|
|
|
/* Custom name sections */
|
|
const uint8 *name_section_buf;
|
|
const uint8 *name_section_buf_end;
|
|
uint8 *aot_name_section_buf;
|
|
uint32 aot_name_section_size;
|
|
|
|
uint32 global_data_size;
|
|
|
|
uint32 start_func_index;
|
|
uint32 malloc_func_index;
|
|
uint32 free_func_index;
|
|
uint32 retain_func_index;
|
|
|
|
uint32 aux_data_end_global_index;
|
|
uint32 aux_data_end;
|
|
uint32 aux_heap_base_global_index;
|
|
uint32 aux_heap_base;
|
|
uint32 aux_stack_top_global_index;
|
|
uint32 aux_stack_bottom;
|
|
uint32 aux_stack_size;
|
|
|
|
WASMModule *wasm_module;
|
|
#if WASM_ENABLE_DEBUG_AOT != 0
|
|
dwar_extractor_handle_t extractor;
|
|
#endif
|
|
} AOTCompData;
|
|
|
|
typedef struct AOTNativeSymbol {
|
|
bh_list_link link;
|
|
char symbol[32];
|
|
int32 index;
|
|
} AOTNativeSymbol;
|
|
|
|
AOTCompData *
|
|
aot_create_comp_data(WASMModule *module);
|
|
|
|
void
|
|
aot_destroy_comp_data(AOTCompData *comp_data);
|
|
|
|
char *
|
|
aot_get_last_error();
|
|
|
|
void
|
|
aot_set_last_error(const char *error);
|
|
|
|
void
|
|
aot_set_last_error_v(const char *format, ...);
|
|
|
|
#if BH_DEBUG != 0
|
|
#define HANDLE_FAILURE(callee) \
|
|
do { \
|
|
aot_set_last_error_v("call %s failed in %s:%d", (callee), \
|
|
__FUNCTION__, __LINE__); \
|
|
} while (0)
|
|
#else
|
|
#define HANDLE_FAILURE(callee) \
|
|
do { \
|
|
aot_set_last_error_v("call %s failed", (callee)); \
|
|
} while (0)
|
|
#endif
|
|
|
|
static inline uint32
|
|
aot_get_imp_tbl_data_slots(const AOTImportTable *tbl, bool is_jit_mode)
|
|
{
|
|
#if WASM_ENABLE_MULTI_MODULE != 0
|
|
if (is_jit_mode)
|
|
return tbl->table_max_size;
|
|
#endif
|
|
return tbl->possible_grow ? tbl->table_max_size : tbl->table_init_size;
|
|
}
|
|
|
|
static inline uint32
|
|
aot_get_tbl_data_slots(const AOTTable *tbl, bool is_jit_mode)
|
|
{
|
|
#if WASM_ENABLE_MULTI_MODULE != 0
|
|
if (is_jit_mode)
|
|
return tbl->table_max_size;
|
|
#endif
|
|
return tbl->possible_grow ? tbl->table_max_size : tbl->table_init_size;
|
|
}
|
|
|
|
#ifdef __cplusplus
|
|
} /* end of extern "C" */
|
|
#endif
|
|
|
|
#endif /* end of _AOT_H_ */
|