1686 Commits

Author	SHA1	Message	Date
YAMAMOTO Takashi	3b8b265f1f	Pass InstantiationArgs2 down to aot_instantiate/wasm_instantiate (#4594) ... This is a preparation for https://github.com/bytecodealliance/wasm-micro-runtime/issues/4364 No functional changes are intended.	2025-10-23 15:57:50 +08:00
Xenia Lu	4c371e655a	fix: false OOB in array.fill for interp (#4645) ... * cherry-pick gc spec test case * Fix false OOB in array.fill	2025-10-23 13:15:42 +08:00
TianlongLiang	25c5d575a1	fix warning sign-compare and macro-redefined on Zephyr platform (#4668)	2025-10-23 13:15:35 +08:00
liang.he	34c6fc94e9	Bump version number to 2.4.3 (#4671)	2025-10-23 13:15:25 +08:00
Liu Jia	0ecaf8c7da	add validation of dynamic_offset (#4563) ... * add check_dynamic_offset_pop	2025-10-23 11:27:30 +08:00
Xenia Lu	3bf08a0eda	loader: fix block/loop ref params type checking (#4647) ... * loader: fix block/loop ref params type checking	2025-10-16 10:20:50 +08:00
Xenia Lu	d25fdc3709	fix: typo in AOT stack dump with GC (#4657)	2025-10-16 10:20:16 +08:00
liang.he	826ae6eb01	Prevent BuildPhi from encountering a null llvm_entry_block (#4663) ... There is a scenario where `aot_compile_op_block()` does not prepare a block for `if`. As a result, the return value of `LLVMBuildPhi()` in `push_aot_block_to_stack_and_pass_params()` will be dangling, leading to a memory leak as it cannot be released.	2025-10-16 10:19:44 +08:00
William Furr	7aff7372e2	Merge version update to 2.4.2 back into main branch (#4661) ... * Add release notes for WAMR-2.4.2 (#4624) * bump version to 2.4.2 (#4626)	2025-10-15 10:39:05 +08:00
Liu Jia	d7b6bc5aca	Add a watchdog to prevent the similar crash in AOT mode (#4625)	2025-10-12 20:18:25 +08:00
Aiden Grossman	df908048de	Switch from deprecated overload of createTargetMachine (#4650) ... The overload accepting the string version of a triple will be removed soon, so switch over to the one that accepts a triple object. https://github.com/llvm/llvm-project/pull/161053	2025-10-09 13:33:11 +08:00
Hiroshi Hatake	1b9542830e	Implement invokeNative asm code for armasm64 assembler on ARM64 Windows (#4636) ... * Implement invokeNative asm code for armasm64 assembler on ARM64 Windows * Use more solid wrapper for armasm64 executable Signed-off-by: Hiroshi Hatake <cosmo0920.oucc@gmail.com>	2025-10-09 12:09:00 +08:00
Zhenwei Jin	74cdf0b8c1	Add import functions callback (#4606) ... Signed-off-by: zhenweijin <zhenwei.jin@intel.com>	2025-10-09 12:04:29 +08:00
Liu Jia	326eeec615	Add new cases in ARC relocation of AOT (#4653) ... * add new case for arc relocation. R_ARC_S21H_PCREL, R_ARC_S21W_PCREL	2025-10-09 11:35:12 +08:00
Kiyoshi Nakao	49ac85472d	Fix memory grow on SGX platform (#4651) ... * SGX: zero-initialize reserved memory in os_mmap after allocation * Add SGX-specific os_mremap to zero-clear remaining memory after memcpy * Modify core/shared/platform/linux-sgx/shared_platform.cmake not to include platform_api_memory.cmake * Modify core/shared/platform/linux-sgx/shared_platform.cmake to remove unnecessary PLATFORM_COMMON_MEMORY_SOURCE	2025-10-09 11:24:12 +08:00
James Marsh	5ba1b331c3	Add missing condition for V128 in WASM_OP_TEE_LOCAL	2025-09-24 13:29:15 +01:00
Liu Jia	95f506a6e7	Merge commit from fork ... * fix overflow in check_bulk_memory_overflow * add comment	2025-09-15 15:19:51 +08:00
Zhenwei Jin	e6fe6060e4	add micro AMR_BUILD_LIME1 to enable minimal lime1 feature set (#4571) ... Signed-off-by: zhenweijin <zhenwei.jin@intel.com>	2025-09-14 14:08:27 +08:00
YAMAMOTO Takashi	5e779b3d7b	libc-wasi: add missing pointer validations to socket functions (#4611) ... cf. https://github.com/bytecodealliance/wasm-micro-runtime/issues/4463 the fix for sock_addr_resolve is incomplete. cf. https://github.com/bytecodealliance/wasm-micro-runtime/issues/4610	2025-09-14 14:02:48 +08:00
YAMAMOTO Takashi	4f86468670	wasi-nn: retire is_model_loaded flag (#4613) ... this flag doesn't make much sense anymore because: - backends validate given graph/ctx by themselves - some of them support loading multiple models for a context	2025-09-14 14:01:55 +08:00
liang.he	ad21524573	fix: few CI errors caused by recently enabled compilation flags (#4620) ... - add missing warning for incompatible pointer types in CMake configuration - fix a shadow warning	2025-09-12 16:00:23 +08:00
TianlongLiang	d7afa4c0cf	Enable -Wdouble-promotion by default and fix related warnings (#4603) ... - fix float to double implicit conversion - add isnanf and signbitf macros, map them to existing double version when float versions are absent - enable -Wdouble-promotion by default - define isnan as macro for platform use core\sahred\platform\common\math.c	2025-09-12 08:44:42 +08:00
Lukas Döllerer	0d3b5caff0	Add support for metadata.code.branch_hint section (#4460) ... Add support for metadata.code.branch_hint section	2025-09-12 08:42:48 +08:00
liang.he	e2cf59cc26	Fix an undefined reference problem (#4612) ... The issue was previously covered by WAMR_BUILD_LIBC_BUILTIN and WAMR_BUILD_LIBC_WASI. Reproduced by ``` $ cmake -S . -B build -DWAMR_BUILD_SHARE_HEAP=1 -DWAMR_BUILD_LIBC_BUILTIN=0 -DWAMR_BUILD_LIBC_WASI=0 $ cmake --build build ```	2025-09-11 06:32:15 +08:00
TianlongLiang	0264686eea	fix the source_all override in platform_api_math.cmake for alios, riot, rt-thread, zephyr platform (#4604)	2025-09-11 06:31:51 +08:00
YAMAMOTO Takashi	7263a04e43	wasi-nn: add a missing address validation for get_output (#4535) ... cf. https://github.com/bytecodealliance/wasm-micro-runtime/issues/4533	2025-09-11 06:31:22 +08:00
YAMAMOTO Takashi	6253bd1b52	Reduce the code duplication a bit (#4596) ... This is a preparation for https://github.com/bytecodealliance/wasm-micro-runtime/issues/4364 No functional changes are intended.	2025-09-04 10:58:09 +08:00
Zhenwei Jin	d55852d992	fix potential overflow in memory size calculation (#4549) ... Signed-off-by: zhenweijin <zhenwei.jin@intel.com>	2025-09-02 08:33:06 +08:00
liang.he	9cb1cc4af6	fix: cast file descriptor to size_t for comparison in fd_prestats functions (#4582) ... ``` comparison of integer expressions of different signedness: ‘__wasi_fd_t’ {aka ‘int’} and ‘size_t’ {aka ‘long unsigned int’} [-Werror=sign-compare] 288 | if (fd >= pt->size) ```	2025-08-27 07:15:08 +08:00
liang.he	0b97d0cb14	Merge dev/zephyr_file_socket into main (#4347) ... zephyr: Enable WASI support for file system and sockets on zephyr (#3633) This work also implements the WASI support on Zephyr. * Added os_is_* methods for stdin/stdout/stderr. Fixed issues in os_renameat * Zephyr platform fixes for WASI sockets Addressed numerous of build warnings on Zephyr * Updated `os_writev` to use `fwrite` for STDOUT/STDERR * Temporarily reverted change to `writev` to work around an issue. * Fixes: fstat, fstatat, and unlink * Add initial support for directories in os_openat. Partial implementation — just avoids a hard fault. * Directory support WIP. readdir works but I think we have a memory leak somewhere * Fix: always use standard stream fds. Fix unlinkat and renameat. fd 0, 1, and 2 will always be supplied for standard streams. Unlinkat and renameat work exclusively based on supplied paths. * Fix: use macro for free() * Added a temporary workaround for issue identified in PR#4377 * Fixed reference to file descriptor and cleaned up dead/commented code. Note that some comments haven't been addressed and will be fixed in the further patches. Signed-off-by: Stephen Berard <stephen.berard@outlook.com> Co-authored-by: Lucas Abad <149054121+lucasAbadFr@users.noreply.github.com> Co-authored-by: Stephen Berard <srberard@users.noreply.github.com> Co-authored-by: Dan Kouba <dan@atym.io>	2025-08-25 16:55:23 +08:00
Marcin Kolny	58fae578e7	Merge pull request #4568 from yamt/nn-51 ... core/iwasm/libraries/wasi-nn/test/build.sh: set -e	2025-08-20 20:53:35 +02:00
James Marsh	9ee44bf2d0	Add Android macro check for indirect mode	2025-08-20 13:13:56 +01:00
YAMAMOTO Takashi	735b510437	core/iwasm/libraries/wasi-nn/test/build.sh: set -e	2025-08-19 14:58:27 +09:00
Liu Jia	b0dae624a1	add comments about AOT crash when calling unlinked import func (#4559)	2025-08-19 08:53:51 +08:00
Zhenwei Jin	be3f1f88fe	remove duplicate parent type index validation (#4556) ... Signed-off-by: zhenweijin <zhenwei.jin@intel.com>	2025-08-19 08:53:44 +08:00
Zhenwei Jin	ab2ff4a56d	add rec idx and rec count validation in aot loader (#4555) ... Signed-off-by: zhenweijin <zhenwei.jin@intel.com>	2025-08-19 08:53:37 +08:00
Zhenwei Jin	d0c636bd80	fix integer overflow in gc threshold calculation (#4546) ... Signed-off-by: zhenweijin <zhenwei.jin@intel.com>	2025-08-19 08:53:28 +08:00
YAMAMOTO Takashi	c661592edd	wasi_nn_onnx.cpp: fix debug build (#4564)	2025-08-19 08:23:00 +08:00
dongsheng28849455	14ced7c86c	Add onnxruntime as wasi-nn backend (#4485) ... * Add onnxruntime as wasi-nn backend * remove global context * put checks under the lock * tensor type will not support legacy wasi-nn abi * Manually set the imported target with name space	2025-08-15 09:48:37 +08:00
Liu Jia	cbb6d03337	add validtion for parent_type_idx (#4550)	2025-08-13 11:05:06 +08:00
Zhenwei Jin	feecaf602e	add bounds checking to prevent ref_type_map_count (#4548) ... Signed-off-by: zhenweijin <zhenwei.jin@intel.com>	2025-08-13 08:17:42 +08:00
YAMAMOTO Takashi	bbf571e5af	wasi_socket_ext.c: fix a typo in a comment (#4552)	2025-08-13 08:14:58 +08:00
TianlongLiang	d95b0e3d46	add new relocation type (#4500)	2025-08-11 15:09:33 +08:00
Zhenwei Jin	2d05aece1a	add validation for struct field type (#4536)	2025-08-11 15:07:15 +08:00
YAMAMOTO Takashi	6b51c61f5e	wasi-nn: fix set_input memory address validation for the legacy abi (#4534) ... cf. https://github.com/bytecodealliance/wasm-micro-runtime/issues/3223	2025-08-06 10:40:56 +08:00
YAMAMOTO Takashi	5b63f3526d	core/iwasm/libraries/lib-socket/test/nslookup.c: use gai_strerror (#4532)	2025-08-05 08:39:35 +08:00
YAMAMOTO Takashi	29d465b44e	wasi_nn_tensorflowlite.cpp: make this compatible with wasmedge (#4517) ... for wasi_ephemeral_nn, * implement u8 input * stop dealing with quantization. * wasi-nn doesn't have a concept of quantization or pre/post-processing. i can't think of any ways to make the backend perform zero-point/scale processing without risking to break other applications. * there seems to be applications which just use u8 inputs/outputs for a quantized model. (see [1] for an example.) for certain kinds of inputs/outputs, it usually just works. this commit keeps the legacy wasi_nn logic intact for now. tested with [1] with [2] applied. WAMR with this patch: ``` Read graph weights, size in bytes: 3561598 [wasi_nn.c:297 WARNING] load_by_name_with_config() not found [wasi_nn_tensorflowlite.cpp:272 WARNING] Default encoding is CPU. Loaded graph into wasi-nn with ID: Graph#0 Read input tensor, size in bytes: 150528 1.) [166](198)Aix galericulata 2.) [34](1)Gallus gallus domesticus 3.) [158](1)Coccothraustes coccothraustes 4.) [778](1)Sitta europaea 5.) [819](1)Anas platyrhynchos ``` wasmedge: ``` Read graph weights, size in bytes: 3561598 Loaded graph into wasi-nn with ID: Graph#0 Read input tensor, size in bytes: 150528 1.) [166](198)Aix galericulata 2.) [34](1)Gallus gallus domesticus 3.) [158](1)Coccothraustes coccothraustes 4.) [778](1)Sitta europaea 5.) [819](1)Anas platyrhynchos ``` and "Aix galericulata" seems like a reasonable classification of the image to my eyes. [1] 67f174bab5/tflite-birds_v1-image [2] https://github.com/second-state/WasmEdge-WASINN-examples/pull/204 Related: https://github.com/bytecodealliance/wasm-micro-runtime/issues/3555 https://github.com/bytecodealliance/wasm-micro-runtime/issues/2611	2025-08-01 14:31:02 +08:00
Jaco Kroon	272a41dc80	Avoid executable stack by marking that it's not required. (#4418) ... Also refer to: https://github.com/fluent/fluent-bit/issues/10513 Signed-off-by: Jaco Kroon <jaco@uls.co.za>	2025-08-01 14:30:39 +08:00
Zhenwei Jin	378320b886	loader: add type index checking (#4521)	2025-08-01 08:58:26 +08:00
Zhenwei Jin	33eff933c0	add validation for rec indices in aot loader (#4520)	2025-08-01 08:45:57 +08:00