439 Commits

Author	SHA1	Message	Date
liang.he	8acce563b4	Merge branch main into dev/instantiate_linking (#4100) ... - fix: when load aot init expr,no type_idx set. (#4094) - Cmake improvements (#4076) - fix(aot_emit_aot_file): prevent buffer emission for zero byte_count (#4095) - fix(unit-test): libc_builtin_test issues (#4073) - feat: add support for EXTERNREF value type and enable AOT validator in fuzz tests (#4083) - [gc] Subtyping fix (#4075) - Add a conditional check for the macro __STDC_VERSION__ (#4080) - Unit test:type matching issue and code redundancy (#4079) - build(deps): Bump github/codeql-action from 3.28.8 to 3.28.9 (#4074) - fix(aot): ensure value_cmp does not exceed br_count in branch table compilation (#4065) - In wasm32, fix potential conversion overflow when enlarging 65536 pages (#4064) - [fuzzing] execute every exported function (#3959) - Update memory allocation functions to use allocator user data (#4043) - Show wasm proposals status during compilation and execution (#3989) - add a validator for aot module (#3995) - Use wasm32-wasip1 instead of wasm32-wasi target for rust code (#4057) - Update Rust target from 'wasm32-wasi' to 'wasm32-wasip1' in CI (#4050) - Fix wasm loader check data segment count (#4039) - Synchronize the GC spec tests to the commit from December 9. 2024. (#4022) - Refine getting const offsets in wasm loader of fast-interp (#4012) - fixes for compiling on windows (#4026) - .github: Add shared lib builds (#3975) - Refine read leb int wasm loader of fast interpreter (#4017) - build(deps): Bump github/codeql-action from 3.28.0 to 3.28.1 (#4020) - build(deps): Bump actions/upload-artifact from 4.5.0 to 4.6.0 (#4021) - Enable shrunk memory by default and add related configurations (#4008) - Add documentation regarding security issues and the status of Wasm proposals (#3972) - Improve stack consistency by ensuring sufficient space for dummy offsets (#4011) - Check whether related table has funcref elem in opcode call_indirect (#3999) - [fuzzing] Use software bound-check during fuzzing (#4003) - Add an example of how to embed WAMR in Zephyr user mode (#3998) - Fix table index calculations in wasm_loader and wasm_mini_loader (#4004) - Ensure __heap_base and __data_end global indices are validated against import count (#3996) - Error message improvement (#4000) - Handle a new scenario where an item is both exported and imported. (#3984) - Optimize memory initialization handling in AOT loader (#3983) - build(deps): Bump actions/upload-artifact from 4.4.3 to 4.5.0 (#3981) - build(deps): Bump github/codeql-action from 3.27.9 to 3.28.0 (#3982) - Add Tianlong into code owners (#3970) - Set thread information earlier in exec_env creation (#3967) - top-level cmake: link llvm libraries to our shared library (#3973) - add reference type support by default for darwin to support WASI-SDK-25 (#3978) - CMakeLists.txt: Do not require C++ (#3956) - [fuzzing] Enable instantiation (#3958) - use a random secret key (#3971) - top-level cmakefile: fix macOS build (#3968) - Only access Zephyr thread stats info when it's available (#3962) - build(deps): Bump github/codeql-action from 3.27.6 to 3.27.9 (#3960) - wasm_export.h: Use "default" visibility for gcc and clang (#3957) - set alignment 4 when loading multi return value (#3955) - Fix aot table instantiate (#3946) - Consume the placeholders that were put when emitting table info (#3940) - Refactor SConscript and add file checks in iwasm.c (#3945) - Improvements for platform thread APIs on Windows and Zephyr (#3941) - Fix incorrect assignment in win_file.c (#3939) - don't return an uninitialized trap if argv_to_results fails (#3935) - support WASM_FUNCREF return type in argv_to_results (#3936) - add thread cpu time for zephyr (#3937) - build(deps): bump github/codeql-action from 3.27.4 to 3.27.5 (#3931) - Update README.md to clarify Windows toolchain support and ESP-IDF reference (#3917) - Enable ref types by default (#3894) - Fix loader small bug (#3928) - add testcases for shared heap and fix POP_MEM_OFFSET of memory64 (#3916) - Use plain assignment rather than bh_memcpy_s (#3924) - Fix WASI Path Mapping Processing (#3923) - Drop declarative elements on module instantiation (#3922) - Check possible integer overflow in aot memory boundary check (#3920) - Fix CI wamr-ide error (#3913) - Support external toolchain on Windows for aot compiler (#3911) - build(deps): bump github/codeql-action from 3.27.1 to 3.27.4 (#3912) - Correct the table index calculation in aot_instantiation (#3903) - Fix a leak in wasm_loader_emit_br_info (#3900) - GlobalValueSet was moved to IRPartitionLayer recently, but we have a local definition anyway (#3899) - build(deps): bump github/codeql-action from 3.27.0 to 3.27.1 (#3902) - Fix linked global initialization in multimodule (#3905) - Wasm loader enhancement: check code size in code entry (#3892) - Refactor AOT loader to support compatible versions (#3891) - Fix out of bounds issue in is_native_addr_in_shared_heap function (#3886) - Fix mmap flags for AOT loader on non-Linux SGX platforms (#3890) - Bump AOT_CURRENT_VERSION for WAMR 2.x (gc, memory64) (#3880) - Refine looking up aot function with index (#3882) - build(deps): bump github/codeql-action from 3.26.13 to 3.27.0 (#3888) - fix(ios): Remove `float-abi` flag (#3889) - Fix out of bounds issues after memory.grow on non-aot non-threads builds (#3872) - Exclude fuzz test python and npm packages in scoreboard scan (#3871) Author: Chris Woods <6069113+woodsmc@users.noreply.github.com> Author: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Author: Dylan Johnston <18252447+dpjohnst@users.noreply.github.com> Author: edoardo <48774736+xdoardo@users.noreply.github.com> Author: eric <chenliuyang_1989@163.com> Author: Fadumina Barre <bafadumi@amazon.com> Author: Huang Qi <huangqi3@xiaomi.com> Author: James Ring <sjr@jdns.org> Author: Jérôme Vouillon <jerome.vouillon@gmail.com> Author: kk <zhkag@foxmail.com> Author: liang.he@intel.com <liang.he@intel.com> Author: liang.he <liang.he@intel.com> Author: Maks Litskevich <makslit@amazon.com> Author: Marcin Kolny <mkolny@amazon.com> Author: peter-tatrai <peter.tatrai.ext@siemens.com> Author: TianlongLiang <111852609+TianlongLiang@users.noreply.github.com> Author: Tomáš Malý <malytomas@users.noreply.github.com> Author: Viacheslav Palchikov <palchikov@gmail.com> Author: WenLY1 <130950131+WenLY1@users.noreply.github.com> Author: Wenyong Huang <wenyong.huang@intel.com> Author: Xavier Del Campo <90845888+midokura-xavi92@users.noreply.github.com> Author: YAMAMOTO Takashi <yamamoto@midokura.com> Author: yangkun27 <yangkun27@xiaomi.com>	2025-03-03 14:07:14 +08:00
liang.he	918b364bbe	[instantiation linking] Optimize aot func inst list (#4018)	2025-02-19 09:31:13 +08:00
liang.he	b18cb3b2cb	[instantiation linking] Create and import WASMGlobalInstance (#3914)	2024-12-19 16:52:29 +08:00
liang.he	23c8be1649	[instantiation linking] refactor wasm_table_inst_t (#3901) ... - refactor wasm_table_inst_t and add functions to retrieve export type by name	2024-12-11 06:41:36 +08:00
liang.he	ee2d60bf62	[instantiation linking] Create and import WASMTableInstance (#3898) ... - Implement import table and table creation - Enhance memory de-instantiation checks and adjust stack size for wasm execution environment - Improve shared memory reference handling and enhance table de-instantiation checks	2024-12-06 10:13:53 +08:00
liang.he	8c48d717fc	[instantiation linking] Refactor wasm_runtime_instantiate() (#3893) ... The main goal is to let existed code run without modification.	2024-11-21 10:16:29 +08:00
Wenyong Huang	534c493328	Merge branch main into dev/instantiate_linking (#3915) ... * Exclude fuzz test python and npm packages in scoreboard scan (#3871) * Fix out of bounds issues after memory.grow on non-aot non-threads builds (#3872) * fix(ios): Remove `float-abi` flag (#3889) * build(deps): bump github/codeql-action from 3.26.13 to 3.27.0 (#3888) * Refine looking up aot function with index (#3882) * Bump AOT_CURRENT_VERSION for WAMR 2.x (gc, memory64) (#3880) * Fix mmap flags for AOT loader on non-Linux SGX platforms (#3890) * Fix out of bounds issue in is_native_addr_in_shared_heap function (#3886) * Refactor AOT loader to support compatible versions (#3891) * Wasm loader enhancement: check code size in code entry (#3892) * Fix linked global initialization in multimodule (#3905) * build(deps): bump github/codeql-action from 3.27.0 to 3.27.1 (#3902) * GlobalValueSet was moved to IRPartitionLayer recently, but we have a local definition anyway (#3899) * Fix a leak in wasm_loader_emit_br_info (#3900) * Correct the table index calculation in aot_instantiation (#3903) * build(deps): bump github/codeql-action from 3.27.1 to 3.27.4 (#3912) * Support external toolchain on Windows for aot compiler (#3911) * Fix CI wamr-ide error (#3913) Co-authored-by: TianlongLiang <111852609+TianlongLiang@users.noreply.github.com> Co-authored-by: Maks Litskevich <makslit@amazon.com> Co-authored-by: Deniz Sokmen <dsokmen@amazon.com> Co-authored-by: edoardo <48774736+xdoardo@users.noreply.github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: YAMAMOTO Takashi <yamamoto@midokura.com> Co-authored-by: liang.he <liang.he@intel.com> Co-authored-by: Fadumina Barre <bafadumi@amazon.com> Co-authored-by: Marcin Kolny <mkolny@amazon.com> Co-authored-by: James Ring <sjr@jdns.org>	2024-11-20 13:21:48 +08:00
liang.he	9b5058c7fe	[instantiation linking] create and import WASMMemoryInstance for aot (#3887)	2024-11-20 11:19:02 +08:00
liang.he	e030350bd7	[instantiation linking] create and import WASMMemoryInstance for interp (#3845) ... APIs to create and import WASMMemoryInstance for Interp - add a demo (sample/linking/raw) for APIs test - new APIs for instances of spawned threads to build imports list from parents'	2024-11-04 15:38:20 +08:00
James Ring	3ad95303d6	Fix quadratic runtime for duplicate export name detection (#3861) ... Previously, the loader would check the name of a new export against all existing exports, leading to a quadratic running time. This change makes the loader parse the entire export section. The exports are then sorted by name, then adjacent exports are checked for uniqueness.	2024-10-21 11:02:30 +08:00
Wenyong Huang	87588caa7f	Fix lookup function issue reported in nightly run (#3868)	2024-10-21 09:57:42 +08:00
Wenyong Huang	48eaa2286a	Refine wasm/aot function instance lookup (#3865) ... Sort the module instance's export functions with the function name, and use binary search to lookup the wasm/aot function.	2024-10-18 15:15:33 +08:00
Wenyong Huang	b038f2721b	Merge pull request #3823 from bytecodealliance/dev/shared_heap ... Implement the shared heap feature for interpreter, aot and llvm jit. Add below runtime APIs: ```C wasm_shared_heap_t wasm_runtime_create_shared_heap(SharedHeapInitArgs *init_args); bool wasm_runtime_attach_shared_heap(wasm_module_inst_t module_inst, wasm_shared_heap_t shared_heap); void wasm_runtime_detach_shared_heap(wasm_module_inst_t module_inst); uint64_t wasm_runtime_shared_heap_malloc(wasm_module_inst_t module_inst, uint64_t size, void **p_native_addr); void wasm_runtime_shared_heap_free(wasm_module_inst_t module_inst, uint64_t ptr); ``` And allow wasm app to call API shared_heap_malloc and shared_heap_free: ```C void *shared_heap_malloc(uint32_t size); void shared_heap_free(void *ptr); ```	2024-10-15 14:26:22 +08:00
TianlongLiang	36d438051e	Support table64 extension in classic-interp and AOT running modes (#3811) ... Add table64 extension(in Memory64 proposal) support in classic-interp and AOT running modes, currently still use uint32 to represent table's initial and maximum size to keep AOT ABI unchanged.	2024-10-11 21:14:56 +08:00
Wenyong Huang	deacb7a8d8	Fix exec_env_tls assertion in module instantiation (#3844) ... The execute_post_instantiate_functions may be triggered by wasm_cluster_spawn_exec_env, in which the exec_env_tls can be NULL and cause the assertion invalid. p.s. https://github.com/bytecodealliance/wasm-micro-runtime/issues/3839.	2024-10-08 10:08:29 +08:00
James Ring	6b4d8aae2a	Emit load_addr and load_size if WAMR_ENABLE_COMPILER is set (#3835) ... Currently, the open-source builds of wamrc set WASM_ENABLE_DUMP_CALL_STACK, which causes these two fields to be emitted. They are required by aot_emit_exception.c. Internally at Google, we don't enable call stack dumps, so we've been using the attached patch to make sure the fields are emitted anyway.	2024-10-08 09:28:24 +08:00
Wenyong Huang	9ba36e284c	Implement shared heap for AOT (#3815)	2024-09-29 12:50:59 +08:00
palchikov	86926aa9d2	Fix unused param warning when GC is enabled (#3814)	2024-09-25 16:59:52 +08:00
Wenyong Huang	1fd422ae6e	Merge branch main into dev/shared_heap	2024-09-20 14:34:00 +08:00
WenLY1	4dacef2d60	shared heap: Fix some issues and add basic unit test case (#3801) ... Fix some issues and add basic unit test case for shared heap feature. Signed-off-by: wenlingyun1 <wenlingyun1@xiaomi.com>	2024-09-20 14:24:38 +08:00
Anders Bakken	21330990a8	Add no_resolve to LoadArgs and wasm_runtime_resolve_symbols (#3790) ... Add no_resolve to LoadArgs and wasm_runtime_resolve_symbols so one can delay resolving of symbols. This is useful for inspecting the module between loading and instantiating.	2024-09-20 08:54:09 +08:00
Wenyong Huang	5e20cf383e	Refactor shared heap feature for interpreter mode (#3794) ... To add test cases and samples.	2024-09-18 14:53:41 +08:00
WenLY1	92852f3719	Implement a first version of shared heap feature (#3789) ... ps. https://github.com/bytecodealliance/wasm-micro-runtime/issues/3546	2024-09-14 10:51:42 +08:00
Benbuck Nason	926f662231	Add memory instance support apis (#3786) ... Now that WAMR supports multiple memory instances, this PR adds some APIs to access them in a standard way. This involves moving some existing utility functions out from the `WASM_ENABLE_MULTI_MODULE` blocks they were nested in, but multi-memory and multi-module seem independent as far as I can tell so I assume that's okay. APIs added: ```C wasm_runtime_lookup_memory wasm_runtime_get_default_memory wasm_runtime_get_memory wasm_memory_get_cur_page_count wasm_memory_get_max_page_count wasm_memory_get_bytes_per_page wasm_memory_get_shared wasm_memory_get_base_address wasm_memory_enlarge ```	2024-09-14 10:31:13 +08:00
Benbuck Nason	c276aca202	Fix compile error when multi-module and tags are enabled (#3781)	2024-09-10 09:55:15 +08:00
YAMAMOTO Takashi	f453d9d5ce	Appease GCC strict prototypes warning (#3775)	2024-09-10 09:42:23 +08:00
Marcin Kolny	cbc2078898	AOT call stack optimizations (#3773) ... - Implement TINY / STANDARD frame modes - tiny mode is only able to keep track on the IP and func idx, STANDARD mode provides more capabilities (parameters, stack pointer etc.). - Implement FRAME_PER_FUNCTION / FRAME_PER_CALL modes - frame per function adds code at the beginning and at the end of each function for allocating / deallocating stack frame, whereas in per-call mode the frame is allocated before each call. The exception is call to the imported function, where frame-per-function mode also allocates the stack before the `call` instruction (as it can't instrument the imported function). At the moment TINY + FRAME_PER_FUNCTION is automatically enabled in case GC and perf profiling are disabled and `values` call stack feature is not requested. In all the other cases STANDARD + FRAME_PER_CALL is used. STANDARD + FRAME_PER_FUNCTION and TINY + FRAME_PER_CALL are currently not implemented but possible, and might be enabled in the future. ps. https://github.com/bytecodealliance/wasm-micro-runtime/issues/3758	2024-09-10 09:05:23 +08:00
Marcin Kolny	6f97822c18	Add wamrc parameter to configure stack frame features (#3763) ... Those parameters can be used to reduce the size of the AOT code. There's going to be more changes related to AOT code size reduction, this is just the initial step. p.s. https://github.com/bytecodealliance/wasm-micro-runtime/issues/3758	2024-09-05 21:44:06 +08:00
TianlongLiang	d1141f6f30	aot compiler: Allow to control stack boundary check when boundary check is enabled (#3754) ... In the AOT compiler, allow the user to control stack boundary check when the boundary check is enabled (e.g. `wamrc --bounds-checks=1`). Now the code logic is: 1. When `--stack-bounds-checks` is not set, it will be the same value as `--bounds-checks`. 2. When `--stack-bounds-checks` is set, it will be the option value no matter what the status of `--bounds-checks` is.	2024-08-29 11:08:39 +08:00
Wenyong Huang	1329e1d3e1	Add support for multi-memory proposal in classic interpreter (#3742) ... Implement multi-memory for classic-interpreter. Support core spec (and bulk memory) opcodes now, and will support atomic opcodes, and add multi-memory export APIs in the future. PS: Multi-memory spec test patched a lot for linking test to adapt for multi-module implementation.	2024-08-21 12:22:23 +08:00
Wenyong Huang	97c95a2e2f	Fix table idx resolving in op call_indirect/return_call_indirect (#3726) ... The table index in the call_indirect/return_call_indirect opcode should be one byte 0x00 when ref-types/GC isn't enabled, and should be treated as leb u32 when ref-types/GC is enabled. And make aot compiler bail out if ref-types/GC is disabled by command line argument while ref-types instructions are used.	2024-08-19 10:57:36 +08:00
Jan Olaf Martin	59f761b58d	aot compiler: Track non-0x00 tableindex as ref types use (#3695) ... Any use of a table index that isn't exactly a null byte (`0x00`) means that the module makes use of the reference types proposal. This is important to track because `aot_compiler.c` will blindly assume that all table indices are a single byte long otherwise. This fixes a crash in WAMR for modules that contain multi-byte encodings of table indices in `call_indirect` but make no other use of reference types features.	2024-08-16 12:37:10 +08:00
Wenyong Huang	da25906ed4	debug-interp: Only add lock when signal_flag is SIG_SINGSTEP (#3704) ... As reported in #3500, when debug interpreter is enabled, the classic interpreter performs a lock operation to read `exec_env->current_status->signal_flag` and do further handling before fetching next opcode, which makes the interpreter run slower. This PR atomic loads the `exec_env->current_status->signal_flag` without mutex lock when 32-bit atomic load is supported, and only adding lock for further handling when the signal_flag is WAMR_SIG_SINGSTEP, which improves the performance.	2024-08-14 09:03:01 +08:00
Marcin Kolny	37d7439ef9	[refactoring] Extract read leb to a separate file, share the code between loader and mini loader (#3701) ... There's probably a number of other places where the bh_leb_read could be used (e.g. aot loader) but I'm making the change as small as possible. Further refactoring can be done later.	2024-08-14 08:46:24 +08:00
YAMAMOTO Takashi	50f28495a1	Remove a few hardcoded spec test knowledge from the core library (#3648) ... Tweak the stack sizes in the spec test runner instead.	2024-07-22 13:30:00 +08:00
Benbuck Nason	501d7d5adf	Add apis to get package version (#3601) ... Add three APIs: - wasm_runtime_get_file_package_version - wasm_runtime_get_module_package_version - wasm_runtime_get_current_package_version	2024-07-16 08:15:59 +08:00
Wenyong Huang	73caf19e69	Fix compile warnings/error reported in Windows (#3616) ... Clear some compile warnings and fix undefined reference error for symbol ffs in Windows platform.	2024-07-12 16:43:22 +08:00
YAMAMOTO Takashi	46695b992c	EH: Use the consistent type for EH handlers (#3619) ... The "handlers" on the interpreter stack is sometimes treated as host pointers and sometimes treated as i64 values. It's quite broken for targets where pointers are not 64-bit. This commit makes them host pointers consistently. (at least for 32-bit and 64-bit pointers. We don't support other pointer sizes anyway.) Fixes https://github.com/bytecodealliance/wasm-micro-runtime/issues/3110	2024-07-12 11:00:55 +08:00
YAMAMOTO Takashi	1b1ec715e9	wasm loader: Reject v128 for interpreters (#3611) ... discussed in: https://github.com/bytecodealliance/wasm-micro-runtime/pull/3592	2024-07-10 13:50:52 +08:00
Benbuck Nason	8aba85825c	Avoid redefining WASMMemoryType (#3602)	2024-07-10 10:05:47 +08:00
Wenyong Huang	0feae05379	wasm loader: Fix several issues in GC and exception handling (#3586) ... Fix several issues of GC and exception handling in wasm loader: - Should restore param_reftype_maps/param_reftype_map_count/param_count in the handling of opcode throw - Should set wasm_ref_type when pushing param types of tag type and block type if the type is a multi-byte type - Should set init_values.data as NULL for opcode struct.new_default in load_init_expr This PR fixes the issues reported in #3411.	2024-07-05 19:15:58 +08:00
Wenyong Huang	1f94cd4ee5	wasm loader: Fix push_frame_offset when pushing v128 type (#3588) ... Fixes issue https://github.com/bytecodealliance/wasm-micro-runtime/issues/3580.	2024-07-03 15:18:42 +08:00
liang.he	f118492b1d	Add integer overflow check for some indices in wasm/aot loader (#3579) ... Check whether the indices overflow UINT32_MAX or not for: - import function count + function count - import global count + global count - import tag count + tag count This PR fixes the issue reported by Oss-fuzz test (#69920).	2024-07-02 15:48:37 +08:00
TianlongLiang	a5753ea920	interp debugger: Fix setting invalid value to step_count (#3583) ... The `exec_env->current_status->step_count` should be set same as the handling when WASM_ENABLE_LABELS_AS_VALUES is not 0. Fixes issue https://github.com/bytecodealliance/wasm-micro-runtime/issues/3475.	2024-07-02 11:03:49 +08:00
Xenia Lu	f7d2826772	Allow missing imports in wasm loader and report error in wasm instantiation instead (#3539) ... The wasm loader is failing when multi-module support is on and the dependent modules are not found; this enforces the AOT compiler integrations to prepare dependent modules while it isn't necessary. This PR allows allows missing imports in wasm loader and report error in wasm instantiation instead, which enables the integrated AOT compiler to work as if the multi-module support isn't turned on.	2024-06-25 10:04:39 +08:00
Wenyong Huang	9b9e938bee	Fix compilation errors (#3549) ... The compilation errors were introduced by #3515 and occur in debug building when wasm mini loader is compiled or GC is enabled. And remove two wasm files in standalone test-running-modes case, which will be generated by run.sh.	2024-06-20 12:33:52 +08:00
Benbuck Nason	3746534010	Add table type API support (#3515) ... Add `wasm_runtime_get_export_table_inst` and `wasm_table_get_func_inst`, and related wasm_table_type_get_xxx APIs.	2024-06-19 14:50:46 +08:00
liang.he	c19bc95391	Validate func type in aot loader (#3535) ... Fix issue reported by Oss-fuzz test (#69629).	2024-06-18 14:23:32 +08:00
Wenyong Huang	d3e89895be	wasm loader: Fix pop invalid offset count when stack top is ANY (#3516) ... In wasm_loader_pop_frame_offset, when the stack is in polymorphic state and the stack top operand is VALUE_TYPE_ANY, if we popping I64/F64 operand, we should pop one offset but not two offsets. The issue was reported in #3513 and #3514.	2024-06-14 16:22:08 +08:00
liang.he	f844b33b2d	Make wasi-nn backends as separated shared libraries (#3509) ... - All files under *core/iwasm/libraries/wasi-nn* are compiled as shared libraries - *wasi-nn.c* is shared between backends - Every backend has a separated shared library - If wasi-nn feature is enabled, iwasm will depend on shared library libiwasm.so instead of linking static library libvmlib.a	2024-06-14 12:06:56 +08:00