1389 Commits

Author	SHA1	Message	Date
a seven	fc78d67e15	Fix the error of AOT mode on the "i386-windows-msvc" platform (#4183) ... * Fix errors on the "i386-windows-msvc" platform * Refactor symbol name handling for AOT COFF32 binary format * Fix preprocessor directive placement for Windows compatibility in aot_reloc_x86_32.c --------- Co-authored-by: liang.he@intel.com <liang.he@intel.com>	2025-04-17 00:04:27 +08:00
liang.he	d085d1ccf7	Keep fix the CMake compatibility issue (#4180) ... ``` CMake Error at CMakeLists.txt:4 (cmake_minimum_required): Compatibility with CMake < 3.5 has been removed from CMake. Update the VERSION argument <min> value. Or, use the <min>...<max> syntax to tell CMake that the project requires at least <min> but has been updated to work with policies introduced by <max> or earlier. Or, add -DCMAKE_POLICY_VERSION_MINIMUM=3.5 to try configuring anyway. ```	2025-04-15 12:51:19 +08:00
YAMAMOTO Takashi	46ec863da3	fix false native stack overflow detections with HW_BOUND_CHECK (#4196) ... In call_wasm_with_hw_bound_check/call_native_with_hw_bound_check, ensure to set up the stack boundary (wasm_exec_env_set_thread_info) before checking the overflow. It seems that the problem was introduced by: https://github.com/bytecodealliance/wasm-micro-runtime/pull/2940	2025-04-15 11:48:48 +08:00
Huang Qi	cc1903603d	fix: Remove unused variables in SIMD_v128_const case (#4197) ... Fix compiler warnings about unused variables `high` and `low` in the `SIMD_v128_const` case. These variables are only needed inside the `WASM_ENABLE_FAST_INTERP != 0` conditional block, but were incorrectly declared outside of it, causing unused variable warnings. Signed-off-by: Huang Qi <huangqi3@xiaomi.com>	2025-04-15 09:47:18 +08:00
liang.he	751cdcf073	improve variable naming and code clarity in SIMD operations (#4157) ... Fix compilation warning about shadow, like ```sh declaration of ‘val’ shadows a previous local [-Wshadow] ```	2025-04-10 14:36:20 +08:00
liang.he	9aaf3599ec	prevent frame_offset underflow in wasm_loader (#4165)	2025-04-10 12:06:06 +08:00
liang.he	793135b41c	Fix few integer overflowing (#4161) ... - fix(interpreter): correct offset calculations in wasm_loader_get_const_offset function - fix(mem-alloc): update offset calculation in gc_migrate for memory migration - add pointer-overflow sanitizer	2025-04-10 12:04:56 +08:00
TianlongLiang	8fe98f64c1	Add import memory/table flag assert check for miniloader (#4179)	2025-04-10 12:00:23 +08:00
liang.he	2a2632444b	Refactor Dockerfile and update .dockerignore for wasi-nn tests; adjust map-dir parameters in smoke test script (#4158)	2025-04-10 11:59:59 +08:00
Raul Hernandez	8245aefc77	aot: add new u64 intrinsics (#4168)	2025-04-09 15:19:48 +08:00
dongsheng28849455	4e50d2191c	Remove indirect-load for constants on Xtensa Target to improve performance (#4162) ... * Remove indirect-load for constants on Xtensa Target to improve performance * Remove const intrinsics flags for xtensa instead of adding too much #ifdef * Add AOT_INTRINSIC_FLAG_F32_CONST for xtensa frontend, because espressif xtensa llvm backend does not support float-point immediate for now --------- Co-authored-by: zhanheng1 <Zhanheng.Qin@sony.com>	2025-04-02 14:39:03 +08:00
James Ring	6424122d6b	fix format specifier warning on 32bit builds (#4177)	2025-04-02 12:30:45 +08:00
liang.he	159b69da38	Update cmake min to 3.14 (#4175) ... 3.14 is used and tested by linux mini-product to fix ``` CMake Error at CMakeLists.txt:4 (cmake_minimum_required): Compatibility with CMake < 3.5 has been removed from CMake. Update the VERSION argument <min> value. Or, use the <min>...<max> syntax to tell CMake that the project requires at least <min> but has been updated to work with policies introduced by <max> or earlier. Or, add -DCMAKE_POLICY_VERSION_MINIMUM=3.5 to try configuring anyway. ```	2025-04-02 07:13:53 +08:00
TianlongLiang	b8dde7246d	dwarf_extractor.cpp: use macro control to be compatible with lower version toolchain (#4169)	2025-04-01 12:05:13 +08:00
peter-tatrai	1f14f4ec0a	Fix build issues when compiling WAMRC as a cross-compiler (#4112) ... * Use CMAKE_INSTALL_BINDIR for wamrc installation * Fix wamrc build failure for 32bit non-x86 targets * Handle PIC flags by cmake in wamrc * Use dummy AOT reloc functions when building wamrc AOT reloc functions are used only when loading AOT WebAssembly modules on target, not during AOT compilation. Original code led to build issues when building wamrc as cross-compiler, using arm header on x86 build. * Add option to turn off SIMD support in wamrc	2025-03-20 14:24:30 +08:00
Marcin Kolny	efa8019bdb	Merge dev/simd for fast-interp (#4131) ... * Implement the first few SIMD opcodes for fast interpreter (v128.const, v128.any_true) (#3818) Tested on the following code: ``` (module (import "wasi_snapshot_preview1" "proc_exit" (func $proc_exit (param i32))) (memory (export "memory") 1) ;; WASI entry point (func $main (export "_start") v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 v128.any_true if unreachable end v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 v128.any_true i32.const 0 i32.eq if unreachable end i32.const 0 call $proc_exit ) ) ``` * implement POP_V128() This is to simplify the simd implementation for fast interpreter * Add all SIMD operations into wasm_interp_fast switch * Add V128 comparison operations Tested using ``` (module (import "wasi_snapshot_preview1" "proc_exit" (func $proc_exit (param i32))) (memory (export "memory") 1) (func $assert_true (param v128) local.get 0 v128.any_true i32.eqz if unreachable end ) (func $main (export "_start") ;; Test v128.not v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 v128.not v128.const i8x16 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 i8x16.eq call $assert_true ;; Test v128.and v128.const i8x16 255 255 255 255 0 0 0 0 255 255 255 255 0 0 0 0 v128.const i8x16 255 255 0 0 255 255 0 0 255 255 0 0 255 255 0 0 v128.and v128.const i8x16 255 255 0 0 0 0 0 0 255 255 0 0 0 0 0 0 i8x16.eq call $assert_true ;; Test v128.andnot v128.const i8x16 255 255 255 255 0 0 0 0 255 255 255 255 0 0 0 0 v128.const i8x16 255 255 0 0 255 255 0 0 255 255 0 0 255 255 0 0 v128.andnot v128.const i8x16 0 0 255 255 0 0 0 0 0 0 255 255 0 0 0 0 i8x16.eq call $assert_true ;; Test v128.or v128.const i8x16 255 255 0 0 0 0 255 255 255 255 0 0 0 0 255 0 v128.const i8x16 0 0 255 255 255 255 0 0 0 0 255 255 255 255 0 0 v128.or v128.const i8x16 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 0 i8x16.eq call $assert_true ;; Test v128.xor v128.const i8x16 255 255 0 0 255 255 0 0 255 255 0 0 255 255 0 0 v128.const i8x16 255 255 255 255 0 0 0 0 255 255 255 255 0 0 0 0 v128.xor v128.const i8x16 0 0 255 255 255 255 0 0 0 0 255 255 255 255 0 0 i8x16.eq call $assert_true i32.const 0 call $proc_exit ) ) ``` * Add first NEON SIMD opcode implementations to fast interpreter (#3859) Add some implementations of SIMD opcodes using NEON instructions. Tested using: ```wast (module (import "wasi_snapshot_preview1" "proc_exit" (func $proc_exit (param i32))) (memory (export "memory") 1) (func $assert_true (param v128) local.get 0 v128.any_true i32.eqz if unreachable end ) (func $main (export "_start") i32.const 0 i32.const 32 memory.grow drop i32.const 0 v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 v128.store i32.const 0 v128.load v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 i8x16.eq call $assert_true i32.const 16 v128.const i8x16 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 v128.store i32.const 16 v128.load v128.const i8x16 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 i8x16.eq call $assert_true i32.const 0 v128.load v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 i8x16.eq call $assert_true drop i32.const 0 i32.const 1 memory.grow drop i32.const 0 i64.const 0x7F80FF017E02FE80 i64.store i32.const 0 v128.load8x8_s v128.const i16x8 127 -128 -1 1 126 2 -2 -128 i16x8.eq call $assert_true i32.const 0 i64.const 0x80FE027E01FF807F i64.store i32.const 0 v128.load8x8_u v128.const i16x8 128 254 2 126 1 255 128 127 i16x8.eq call $assert_true i32.const 0 i64.const 0x8000FFFE7FFF0001 i64.store i32.const 0 v128.load16x4_s v128.const i32x4 -32768 -2 32767 1 i32x4.eq call $assert_true i32.const 0 i64.const 0x8000FFFE7FFF0001 i64.store i32.const 0 v128.load16x4_u v128.const i32x4 32768 65534 32767 1 i32x4.eq call $assert_true i32.const 0 i64.const 0x8000000000000001 i64.store i32.const 0 v128.load32x2_s v128.const i64x2 -2147483648 1 i64x2.eq call $assert_true i32.const 0 i64.const 0x8000000000000001 i64.store i32.const 0 v128.load32x2_u v128.const i64x2 2147483648 1 i64x2.eq call $assert_true call $proc_exit ) ) ``` * Emit imm for lane extract and replace (#3906) * Fix replacement value not being correct (#3919) * Implement load lanes opcodes for wasm (#3942) * Implement final SIMD opcodes: store lane (#4001) * Fix load/store (#4054) * Correctly use unsigned functions (#4055) * implement local and function calls for v128 in the fast interpreter * Fix splat opcodes, add V128 handling in preserve_referenced_local and reserve_block_ret * Fix incorrect memory overflow values + SIMD ifdefs * Fix load/load_splat macros * correct endif wasm loader * Update core/iwasm/interpreter/wasm_opcode.h * Fix spec tests when WASM_CPU_SUPPORTS_UNALIGNED_ADDR_ACCESS is 0 * Resolve merge conflicts arising from main -> dev/simd_for_interp and implement fast interpreter const offset loader support for V128 * Enable SIMDe tests on CI * Document WAMR_BUILD_LIB_SIMDE --------- Co-authored-by: James Marsh <mrshnja@amazon.co.uk> Co-authored-by: jammar1 <108334558+jammar1@users.noreply.github.com> Co-authored-by: Maks Litskevich <makslit@amazon.com> Co-authored-by: Marcin Kolny <marcin.kolny@gmail.com> Co-authored-by: Wenyong Huang <wenyong.huang@intel.com>	2025-03-20 14:23:20 +08:00
liang.he	e27e5380c6	Fix iwasm build error when WAMR_BUILD_WASI_NN enabled (#4138)	2025-03-14 13:38:17 +08:00
Zhen Kong	dde6477fa5	Fix iwasm build error when WAMR_BUILD_WASI_NN enabled ... A recent change on ./product-mini/platforms/linux/CMakeLists.txt renamed libiwasm to vmlib, but wasi-nn.cmake still wants to link libiwasm.so. Replace libiwasm with vmlib in wasi-nn.cmake to resolve iwasm build error when WAMR_BUILD_WASI_NN enabled.	2025-03-13 17:08:22 +00:00
liang.he	c6f934434b	Merge pull request #4124 from swankjesse/WAMR_BUILD_GC_HEAP_SIZE_DEFAULT ... Expose WAMR_BUILD_GC_HEAP_SIZE_DEFAULT as a CMake option	2025-03-12 14:55:27 +08:00
liang.he	766f378590	Merge pull request #4033 from g0djan/godjan/iterate_callstack ... Copy callstack API	2025-03-11 10:31:56 +08:00
Huang Qi	412631ac13	fix: correct typos and improve comments across multiple files by codespell (#4116) ... Signed-off-by: Huang Qi <huangqi3@xiaomi.com>	2025-03-07 08:21:54 +08:00
Georgii Rylov	e488345607	fix bug for return value when skip_n is passed	2025-03-05 11:47:56 +00:00
Georgii Rylov	811f35bf7d	identation	2025-03-05 10:23:57 +00:00
Georgii Rylov	56bb7e715b	last fixes	2025-03-05 09:11:21 +00:00
Jesse Wilson	d609acf1ee	Move the default heap size initialization	2025-03-04 18:43:30 -05:00
jia xiang	73998e4c85	fix: fix load aarch64 aot failed (#4114) ... Co-authored-by: xiangjia.xj <xiangjia.xj@alibaba-inc.com>	2025-03-04 16:45:47 +08:00
Jesse Wilson	de82d1946f	Address code review feedback	2025-03-03 20:45:59 -05:00
Georgii Rylov	6166788c33	spare lines	2025-03-03 15:17:57 +00:00
Georgii Rylov	32d0f5503e	spare line	2025-03-03 14:06:45 +00:00
Georgii Rylov	ffcc1579ea	clang format	2025-03-03 13:41:35 +00:00
Georgii Rylov	bc00b3e492	address comments	2025-03-03 13:36:05 +00:00
Jesse Wilson	beb34c3675	Expose WAMR_BUILD_GC_HEAP_SIZE_DEFAULT as a CMake option ... This is wired through to the GC_HEAP_SIZE_DEFAULT constant. Also honor this value when configuring the engine with the wasm_c_api.	2025-03-02 23:32:04 -05:00
TianlongLiang	e693608476	log warning instaed of assertion (#4119)	2025-03-01 16:46:41 +08:00
Georgii Rylov	0b5084cb63	remove spare diff line	2025-02-27 15:06:31 +00:00
Georgii Rylov	bda012e990	formatting	2025-02-27 14:35:53 +00:00
Georgii Rylov	fc3077b74d	address comments	2025-02-27 14:32:17 +00:00
Georgii Rylov	99cb6ec27e	formatting	2025-02-26 11:22:31 +00:00
Georgii Rylov	a5d8c0b477	define if not defined	2025-02-26 11:11:17 +00:00
Georgii Rylov	857e6b73c8	formatting	2025-02-26 10:57:50 +00:00
liang.he	f2e3348305	wasm_loader allocates more spaces for elements (#4099) ... - allocate memory for array initialization based on length - update reference type mapping for struct initialization	2025-02-26 12:58:45 +08:00
jia xiang	968b7d4ea0	fix: add dispose of the debug information builder when destroying compilation context (#4105) ... Co-authored-by: xiangjia.xj <xiangjia.xj@alibaba-inc.com>	2025-02-26 12:57:46 +08:00
Georgii Rylov	188eb1c941	remove unnecessary includes	2025-02-25 17:42:06 +00:00
jia xiang	1252f723c2	feat: use C linkage in aot_comp_option.h for C++ embeding (#4106) ... Co-authored-by: xiangjia.xj <xiangjia.xj@alibaba-inc.com>	2025-02-25 07:01:16 +08:00
TL	f1ffbb5b37	cr suggestions	2025-02-24 21:20:07 +00:00
TL	dfcadc6202	prevent data overflow on 32 bit platform for memory.grow	2025-02-24 21:20:07 +00:00
Georgii Rylov :slightly_smiling_face	cc3f0a096b	Cleaning up	2025-02-24 17:33:14 +00:00
Georgii Rylov :slightly_smiling_face	32338bb7d6	Copy read only API behind a flag instead of using user defined callback	2025-02-24 17:22:05 +00:00
eric	d9c01b39d1	fix: when load aot init expr,no type_idx set. (#4094) ... Fix an assertion from *gc_object.c line 91* `bh_assert(rtt_type->type_flag == WASM_TYPE_STRUCT;`	2025-02-21 15:33:36 +08:00
liang.he	d0e2a7271c	fix(aot_emit_aot_file): prevent buffer emission for zero byte_count (#4095) ... if using a debug building of wamrc to run spec test. there will be: core/iwasm/compilation/aot_emit_aot_file.c:1794:13: runtime error: null pointer passed as argument 2, which is declared to never be null	2025-02-21 07:46:20 +08:00
liang.he	964037c9b5	feat: add support for EXTERNREF value type and enable AOT validator in fuzz tests (#4083)	2025-02-17 13:34:18 +08:00
Jérôme Vouillon	159f5890a6	[gc] Subtyping fix (#4075)	2025-02-17 11:55:58 +08:00
yangkun27	71bc3c2d15	Add a conditional check for the macro __STDC_VERSION__ (#4080)	2025-02-14 16:13:15 +08:00
liang.he	7b724e2382	fix(aot): ensure value_cmp does not exceed br_count in branch table compilation (#4065)	2025-02-06 20:05:33 +08:00
TianlongLiang	e6a47d5cee	In wasm32, fix potential conversion overflow when enlarging 65536 pages (#4064) ... fix enlarge 65536 pages conversion overflow in wasm32	2025-02-06 14:48:53 +08:00
liang.he	376385c608	Update memory allocation functions to use allocator user data (#4043)	2025-02-06 13:15:00 +08:00
Georgii Rylov	267379c2e8	Merge branch 'main' into godjan/iterate_callstack	2025-02-05 10:59:19 +00:00
Viacheslav Palchikov	67cd5043d3	initial	2025-02-05 09:48:21 +00:00
liang.he	c6712b4033	add a validator for aot module (#3995) ... - Add AOT module validation to ensure memory constraints are met - Enable AOT validator in build configuration and update related source files	2025-02-05 15:21:49 +08:00
Marcin Kolny	b2c7cb2375	Use wasm32-wasip1 instead of wasm32-wasi target for rust code (#4057) ... Rust compiler previously deprecated, and now removed the wasm32-wasi target and replaced it with wasm32-wasip1. This change updates all the occurrences of wasm32-wasi in the context of Rust compilation. covers the wasi-nn/test.	2025-02-05 11:31:49 +08:00
Georgii Rylov	f7204bddfb	standard frame is not supported when GC is enabled	2025-01-28 16:33:52 +00:00
Georgii Rylov	fb6c05e349	add correct frame size for aot standard frames	2025-01-28 16:14:01 +00:00
Georgii Rylov	b9039f986e	Merge branch 'main' into godjan/iterate_callstack	2025-01-28 13:35:47 +00:00
Georgii Rylov	478b373cda	update signature	2025-01-28 13:27:01 +00:00
Georgii Rylov	5bfbfd5f58	update typo in the comment	2025-01-28 11:36:59 +00:00
Georgii Rylov	b6daacb836	ignore frames with no function	2025-01-28 11:25:45 +00:00
Georgii Rylov	6bfc08849a	Calculate func_index instead of adding an extra field to wasm frame	2025-01-28 11:09:32 +00:00
Georgii Rylov	9ff8052329	format	2025-01-27 15:08:58 +00:00
Georgii Rylov	c8b8731831	support standard frames as well	2025-01-27 15:08:03 +00:00
Georgii Rylov	bf6b15521a	format	2025-01-27 11:42:12 +00:00
Georgii Rylov	813831de0e	keep devs notes out of public API	2025-01-27 11:39:53 +00:00
Georgii Rylov	1b82cccff3	meaning of the return bool type in the callback	2025-01-27 11:35:56 +00:00
Georgii Rylov	1f4d3dd4d4	clang-format	2025-01-27 11:31:02 +00:00
Georgii Rylov	d0c6da10ff	wamr bool type	2025-01-27 11:28:30 +00:00
TianlongLiang	b6dea221a6	Fix wasm loader check data segment count (#4039) ... correctly report error when datacount section has non-zero data segment count while the data section is not present	2025-01-21 13:08:09 +08:00
liang.he	e3ddbd58f7	Synchronize the GC spec tests to the commit from December 9. 2024. (#4022) ... - Synchronize the GC spec tests to the commit from December 9. 2024. - Revise the error messages to be consistent with the spec test cases. - bypass gc spec test on the nuttx platform as a workaround	2025-01-20 09:41:47 +08:00
Wenyong Huang	831e4bbfd5	Refine getting const offsets in wasm loader of fast-interp (#4012) ... - Refine const offsets in loader for fast-interp - handle const cell num overflow - Use const array, remove list	2025-01-20 09:39:32 +08:00
Georgii Rylov	68e4534822	Iterate callstack API	2025-01-17 16:16:45 +00:00
Wenyong Huang	9c3807e124	Refine read leb int wasm loader of fast interpreter (#4017)	2025-01-14 17:43:29 +08:00
liang.he	53da420c41	Enable shrunk memory by default and add related configurations (#4008) ... - Enable shrunk memory by default and add related configurations - Improve error messages for memory access alignment checks - Add documentation for WAMR shrunk memory build option - Update NuttX workflow to disable shrunk memory build option	2025-01-13 07:09:04 +08:00
liang.he	02683d2eed	Improve stack consistency by ensuring sufficient space for dummy offsets (#4011) ... One more corner case: if the `frame_offset` increases and becomes equal to the `frame_offset_boundary` after the last assignment within the for loop.	2025-01-09 13:11:25 +08:00
TianlongLiang	a653746b7b	Check whether related table has funcref elem in opcode call_indirect (#3999) ... * check whether table has funcref elem in call_indirect * check whether table has funcref elem in call_indirect when gc is enabled	2025-01-06 13:55:43 +08:00
liang.he	9989b1cc1b	[fuzzing] Use software bound-check during fuzzing (#4003) ... * Update CMakeLists.txt of fuzzing - enable software bound-check - enable wasi - disable libc builtin and multiple modules * Fix off-by-one error in result offset calculation for function calls	2025-01-06 11:36:11 +08:00
liang.he	1958808a24	Fix table index calculations in wasm_loader and wasm_mini_loader (#4004)	2025-01-05 15:27:40 +08:00
liang.he	099056b076	Ensure __heap_base and __data_end global indices are validated against import count (#3996)	2025-01-03 14:37:09 +08:00
Marcin Kolny	31ff576edf	Error message improvement (#4000) ... Improve error message in the scenario where the runtime was built with ref types disabled but the module uses reference types feature.	2025-01-03 10:44:25 +08:00
liang.he	7f3e0df21c	Handle a new scenario where an item is both exported and imported. (#3984)	2024-12-29 15:52:12 +08:00
Huang Qi	24ecee83ff	Merge pull request #3987 from no1wudi/fix ... Break aot_create_comp_data into small functions	2024-12-28 20:25:19 +08:00
Huang Qi	38cf274292	Optimize memory initialization handling in AOT loader (#3983) ... Save memory if the file buffer is always exist before exit. Signed-off-by: Huang Qi <huangqi3@xiaomi.com>	2024-12-26 15:15:25 +08:00
Huang Qi	9b807660d5	Break aot_create_comp_data into small functions ... Signed-off-by: Huang Qi <huangqi3@xiaomi.com>	2024-12-26 09:32:16 +08:00
Xavier Del Campo	9598611e35	CMakeLists.txt: Do not require C++ (#3956) ... By default, the project() CMake command defaults to C and C++. [1] Therefore, CMake might perform tests for both C and C++ compilers as part of the configuration phase. However, this has the consequence of the configuration phase to fail if the system does not have a C++ toolchain installed, even if C++ is not really used by the top-level project under the default settings. Some configurations might still require a C++ toolchain, so enable_language is selectively called under such circumstances. [1]: https://cmake.org/cmake/help/latest/command/project.html	2024-12-20 13:05:50 +08:00
Xavier Del Campo	296c3cc69d	wasm_export.h: Use "default" visibility for gcc and clang (#3957) ... Since the top-level CMakelists.txt is appending `-fvisibility=hidden` to the compile options, no public symbols are exported by default. This forbids users from linking against the shared library. Using `gcc/clang` attributes [1], it is possible to override the definition for `WASM_RUNTIME_API_EXTERN` so that only required symbols are correctly exported. [1]: https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html#Common-Function-Attributes	2024-12-19 08:49:13 +08:00
TianlongLiang	9563909d6c	set alignment 4 when loading multi return value (#3955) ... set alignment 4 when loading multi return value for all call opcodes	2024-12-12 20:33:46 +08:00
Wenyong Huang	bebdd4ad17	Fix aot table instantiate (#3946)	2024-12-10 20:26:32 +08:00
liang.he	591b740571	Consume the placeholders that were put when emitting table info (#3940)	2024-12-10 20:26:14 +08:00
kk	c32a6ceae1	Refactor SConscript and add file checks in iwasm.c (#3945)	2024-12-06 14:54:37 +08:00
James Ring	838dd81e68	don't return an uninitialized trap if argv_to_results fails (#3935) ... Currently, if argv_to_results fails (e.g. because an unsupported type is encountered), an non-null trap with an uninitialized message is returned.	2024-11-28 11:50:44 +08:00
James Ring	e09613c722	support WASM_FUNCREF return type in argv_to_results (#3936)	2024-11-28 11:50:16 +08:00
TianlongLiang	1d111a38d6	Fix loader small bug (#3928)	2024-11-26 10:08:51 +08:00
WenLY1	b0c6d5c23a	add testcases for shared heap and fix POP_MEM_OFFSET of memory64 (#3916) ... - add testcases for shared_heap - fix POP_MEM_OFFSET and POP_TBL_ELEM_IDX of memory64 Signed-off-by: wenlingyun1 <wenlingyun1@xiaomi.com>	2024-11-24 11:34:38 +08:00
James Ring	dbdf3df60b	Use plain assignment rather than bh_memcpy_s (#3924)	2024-11-24 11:32:34 +08:00
Dylan Johnston	9d8150efae	Fix WASI Path Mapping Processing (#3923) ... Filesystem paths can be mapped from the host path to a guest path using the format `<guest-path>::<host-path>`. Previously `strtok` was used to find the `::` delimiter. Unfortunately `strtok` processes each delimiter character individually. This meant that the code was ~equivalent to `strtok(mapping_copy, ":")` which breaks with Windows-style paths (E.g. `C:\my_path\`). To fix this `strstr` is used to search for the exact delimiter.	2024-11-24 11:31:55 +08:00
James Ring	00c2aa10a8	Drop declarative elements on module instantiation (#3922)	2024-11-24 11:30:00 +08:00
TianlongLiang	62aca17279	Check possible integer overflow in aot memory boundary check (#3920) ... Check possible integer overflow in aot memory boundary check when the wasm memory is 64-bit.	2024-11-22 16:01:24 +08:00
TianlongLiang	f2b87d773e	Support external toolchain on Windows for aot compiler (#3911) ... allowing custom ARC toolchain on Windows	2024-11-19 17:47:05 +08:00
liang.he	0119b17526	Correct the table index calculation in aot_instantiation (#3903) ... `module_inst->table_count = module->import_table_count + module->table_count`, using it as an index will go through `module->import_tables` and `module->tables`, but aot init data is only available for non-import tables.	2024-11-18 20:01:00 +08:00
TianlongLiang	0e4dffc479	Fix a leak in wasm_loader_emit_br_info (#3900) ... Reference Info: 377955855 wamr:wasm_mutator_fuzz_loader: Direct-leak in wasm_loader_emit_br_info https://issues.oss-fuzz.com/issues/377955855	2024-11-13 15:16:13 +08:00
James Ring	226bf22f9e	GlobalValueSet was moved to IRPartitionLayer recently, but we have a local definition anyway (#3899)	2024-11-13 15:11:33 +08:00
James Ring	fdda259d36	Fix linked global initialization in multimodule (#3905) ... While resolving linked globals in multi-module mode, WAMR tries to copy the linked global's initial value into the destination global in the current module. However, a bug in the implementation causes the copy to be done from the InitializerExpression struct, not from its WASMValue field. This did not come up in WAMR's spec test runner because those are built with WASM_ENABLE_SPEC_TEST, which means these globals are resolved as builtins, not linked globals, which goes through a different (presumably not faulty) path.	2024-11-13 14:52:27 +08:00
TianlongLiang	bf78863c56	Wasm loader enhancement: check code size in code entry (#3892) ... add wasm loader check: in code entry, the code size should match the size of vec(locals) + expr, and expr should end with opcode end	2024-11-07 13:38:42 +08:00
liang.he	e352f0ab10	Refactor AOT loader to support compatible versions (#3891) ... This commit refactors the AOT loader in `aot_loader.c` to support compatible versions of the AOT_CURRENT_VERSION constant. Previously, the loader only accepted the exact AOT_CURRENT_VERSION value, but now it also accepts version 3. This change ensures that the runtime can load modules AoT-compiled with different versions of wamrc as long as they have compatible AOT_CURRENT_VERSION values. Related to #3880.	2024-11-01 10:16:24 +08:00
liang.he	c7b2683f17	Fix out of bounds issue in is_native_addr_in_shared_heap function (#3886) ... When checking for integer overflow, you may often write tests like p + i < p. This works fine if p and i are unsigned integers, since any overflow in the addition will cause the value to simply "wrap around." However, using this pattern when p is a pointer is problematic because pointer overflow has undefined behavior according to the C and C++ standards. If the addition overflows and has an undefined result, the comparison will likewise be undefined; it may produce an unintended result, or may be deleted entirely by an optimizing compiler.	2024-10-31 12:44:55 +08:00
liang.he	1138435455	Fix mmap flags for AOT loader on non-Linux SGX platforms (#3890)	2024-10-30 13:18:54 +08:00
Wenyong Huang	a3960c834d	Refine looking up aot function with index (#3882) ... * Refine looking up aot function with index * refine the code	2024-10-29 10:58:11 +08:00
Maks Litskevich	6426fc4993	Fix out of bounds issues after memory.grow on non-aot non-threads builds (#3872) ... Co-authored-by: Deniz Sokmen <dsokmen@amazon.com>	2024-10-23 14:48:40 +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	74d2427fdc	Allow to set native stack boundary to exec_env (#3862) ... Add runtime API wasm_runtime_set_native_stack_boundary. p.s. https://github.com/bytecodealliance/wasm-micro-runtime/issues/3816	2024-10-18 12:49:57 +08:00
TianlongLiang	1af474099b	Add Windows wamrc and iwasm build in release CI (#3857) ... - For Windows, llvm libs need to cache more directories, so use a multi-line environment variable for paths - Remove conditionally build directories `win32build`, just use `build` for all platform - Add Windows wamrc and iwasm(disable lib pthread semaphore and fast jit for now) build in release CI	2024-10-17 10:01:56 +08:00
Wenyong Huang	327374cfee	Fix some compile warnings and typos (#3854) ... - Clear some compile warnings - Fix some typos - Fix llvm LICENSE link error - Remove unused aot file and binarydump bin - Add checks when loading AOT exports	2024-10-15 16:04:58 +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
Wenyong Huang	b16b6044ee	Enable libc-wasi for windows msvc build (#3852) ... The default iwasm building in Windows MSVC enables libc-uvwasi because libc-wasi isn't supported at the beginning. Since libc-wasi had been refactored and is supported in Windows msys2 building, and libc-wasi supports more functionalities(e.g. sockets) than libc-uvwasi, this PR fixes some issues to enable libc-wasi in windows MSVC buidlings.	2024-10-14 09:52:25 +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
Benbuck Nason	2b5e2d9c2c	libc-emcc: Use alternate method to check getrandom support (#3848)	2024-10-10 10:57:47 +08:00
WenLY1	19160f0e1d	Fix issues of destroy_shared_heaps (#3847) ... Set shared_heap_list to NULL with lock, and destroy shared_heap_list_lock. Signed-off-by: wenlingyun1 <wenlingyun1@xiaomi.com>	2024-10-10 10:56:36 +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
liang.he	30539bf50c	Fix compilation error found in tflite test (#3820) ... ps. https://github.com/bytecodealliance/wasm-micro-runtime/pull/3817	2024-10-08 09:54:39 +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
James Ring	0c4b2da048	aot_comp_option.h: Add missing stdint.h header (#3834)	2024-10-08 06:35:46 +08:00
Benbuck Nason	72872cbd44	Fix mac build of libc_emcc_wrapper.c (#3836)	2024-10-05 15:46:23 +08:00
Wenyong Huang	9ba36e284c	Implement shared heap for AOT (#3815)	2024-09-29 12:50:59 +08:00
Kvencc	438b81bd04	Fix missing symbols when using aot mode on riscv platforms (#3812) ... Add symbol __atomic_compare_exchange_4 and __atomic_store_4.	2024-09-28 21:55:09 +08:00
palchikov	86926aa9d2	Fix unused param warning when GC is enabled (#3814)	2024-09-25 16:59:52 +08:00
Wenyong Huang	e87f7a920d	Fix Windows compile error when uvwasi is enabled (#3810) ... No need to compile win_file.c when uvwasi is enabled.	2024-09-25 16:43:00 +08:00
Wenyong Huang	c4aa1deda5	Add shared heap sample (#3806)	2024-09-20 16:13:20 +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
Liangyu Zhang	51a71092bf	Support dynamic aot debug (#3788) ... Enable dynamic aot debug feature which debugs the aot file and is able to set the break point and do single step. Refer to the README for the detailed steps. Signed-off-by: zhangliangyu3 <zhangliangyu3@xiaomi.com>	2024-09-18 11:02:10 +08:00
Anders Bakken	79e695e1a3	Fix a compile warning in aot_emit_function.c (#3793) ... This just fixes an unused variable warning when WASM_ENABLE_AOT_STACK_FRAME is != 0.	2024-09-18 09:37:57 +08:00
Benbuck Nason	d64a3ab6ec	Fix aot multi export memory support (#3791)	2024-09-14 10:53:01 +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
Marcin Kolny	9c2083a27f	Implement option for skipping function index in the callstack (#3785) ... Also add a script that converts instruction pointers to function indexes (or function names). https://github.com/bytecodealliance/wasm-micro-runtime/issues/3758	2024-09-11 16:08:37 +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
liang.he	0599351262	wasi-nn: Add a new target for llama.cpp as a wasi-nn backend (#3709) ... Minimum support: - [x] accept (WasmEdge) customized model parameters. metadata. - [x] Target [wasmedge-ggml examples](https://github.com/second-state/WasmEdge-WASINN-examples/tree/master/wasmedge-ggml) - [x] basic - [x] chatml - [x] gemma - [x] llama - [x] qwen --- In the future, to support if required: - [ ] Target [wasmedge-ggml examples](https://github.com/second-state/WasmEdge-WASINN-examples/tree/master/wasmedge-ggml) - [ ] command-r. (>70G memory requirement) - [ ] embedding. (embedding mode) - [ ] grammar. (use the grammar option to constrain the model to generate the JSON output) - [ ] llama-stream. (new APIS `compute_single`, `get_output_single`, `fini_single`) - [ ] llava. (image representation) - [ ] llava-base64-stream. (image representation) - [ ] multimodel. (image representation) - [ ] Target [llamaedge](https://github.com/LlamaEdge/LlamaEdge)	2024-09-10 08:45:18 +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