1474 Commits

Author	SHA1	Message	Date
liang.he	753a348b1f	Fix a compilation error about calling os_atomic_cmpxchg (#4822) ... ``` /workspaces/wasm-micro-runtime/core/iwasm/aot/aot_runtime.c:4701:30: error: expected expression return os_atomic_cmpxchg(_Atomic(void *)ptr, &old_val, new_val); ^ /workspaces/wasm-micro-runtime/core/shared/utils/../platform/include/platform_api_extension.h:135:27: note: expanded from macro 'os_atomic_cmpxchg' ```	2026-02-03 13:56:59 +08:00
TianlongLiang	733ac3f19d	Collective fix (#4808) ... * fix a bug in zephyr platform file api * fix a bug in bh queue * fix a bug in shared heap malloc when it's memory64	2026-01-28 15:55:19 +08:00
Zhenwei Jin	04abbbcfbe	gc: complete common heap type coverage in wasm_is_refheaptype_common() (#4801) ... Signed-off-by: zhenweijin <zhenwei.jin@intel.com>	2026-01-28 13:03:20 +08:00
TianlongLiang	8d7d93d9b9	Correct some error handling path in libc_emcc (#4803)	2026-01-26 17:15:26 +08:00
TianlongLiang	d58586a927	fix code and comment typo (#4802)	2026-01-26 14:44:47 +08:00
Zhenwei Jin	432ba8b3e0	Fix memcpy overlap issue in RECOVER_BR_INFO for i64/v128 copy (#4797) ... When copying single i64 or V128 values in RECOVER_BR_INFO, source and destination memory regions may overlap, causing memcpy-param-overlap errors Use temporary variables to separate read and write operations, preventing the overlap issue. This fix references the approach used in the other path (when arity != 1), which calls copy_stack_values, that function explicitly handles memcpy overlap. Signed-off-by: zhenweijin <zhenwei.jin@intel.com>	2026-01-26 09:59:34 +08:00
Zhenwei Jin	9a23968fda	Fix potential memory leak when discarding FreeMachineFunction (#4796) ... Signed-off-by: zhenweijin <zhenwei.jin@intel.com>	2026-01-21 11:02:33 +08:00
Zhenwei Jin	7b750d1652	Fix alignment calculation for large offsets (#4791) ... Signed-off-by: zhenweijin <zhenwei.jin@intel.com>	2026-01-20 09:37:29 +08:00
linear0211	a7fd6539dc	Add bh_strtok_r function (#4790)	2026-01-20 09:13:22 +08:00
Zhenwei Jin	23df0d4e55	fix: correct boundary check in dynamic_offset check (#4788) ... correct boundary check in check_dynamic_offset_pop when dynamic_offset is 0. When dynamic_offset = 0, check_dynamic_offset_pop will always return true, which may wrongly update dynamic_offset. also include a typo fix in SET_OPERAND_REF Signed-off-by: zhenweijin <zhenwei.jin@intel.com>	2026-01-20 08:53:11 +08:00
Steven	29767f6b51	fix(aot): reserve x18 register on macOS ARM64 (#4775) ... * fix(aot): reserve x18 register on macOS ARM64 Apple reserves CPU register x18 for TLS on ARM64. When generating AOT code for aarch64 on macOS, LLVM may use x18, causing crashes when the AOT code runs on macOS ARM64 (M1/M2/M3). This patch: 1. Detects darwin/macho ABI and sets correct vendor string 2. Detects darwin/apple in default triple for platform detection 3. Adds +reserve-x18 to LLVM target features for aarch64 on macOS The fix only applies when compiling on macOS ARM64 hosts, ensuring generated AOT code is compatible with Apple's platform requirements. * test(aot): add x18 register reservation test for macOS ARM64 Add a standalone test to verify that the +reserve-x18 LLVM flag is correctly applied when compiling AOT for macOS ARM64. On macOS ARM64, x18 is reserved by Apple for TLS (Thread Local Storage). Without the +reserve-x18 flag, LLVM may generate code that uses x18, causing random SIGSEGV crashes (~80% crash rate in testing). The test: - Creates a WASM module with 24 local variables to stress register allocation - Compiles to AOT with -O3 optimization (which would use x18 without the fix) - Runs 1000 iterations to verify no crashes occur - Only runs on macOS ARM64 (skipped on other platforms) Test results: - Without fix: 82/100 crash rate - With fix: 0/100 crash rate (1000 iterations verified)	2026-01-20 07:30:58 +08:00
Steven	5664589daa	fix: clear exec_env_tls when destroying exec_env (#4774) ... * fix: clear exec_env_tls when destroying exec_env When an exec_env is destroyed, check if it matches the current thread's exec_env_tls and clear it to avoid dangling pointer issues. Without this fix, in daemon-style execution where the same thread runs multiple WASM modules sequentially (like Cloudflare Workers), the exec_env_tls can point to freed memory after an exec_env is destroyed, causing crashes on subsequent executions when the signal handler tries to access it. This is critical for AOT mode with hardware bounds checking enabled, where signal handlers rely on exec_env_tls to handle SIGSEGV properly. * test(exec_env): add reproducer for exec_env_tls dangling pointer bug Add test case that reproduces the bug where exec_env_tls is not cleared on early return paths in invoke_native_with_hw_bound_check. The test triggers native stack overflow check failure, which causes wasm_runtime_call_wasm to return early after setting exec_env_tls but without clearing it. This leaves exec_env_tls pointing to a destroyed exec_env, causing subsequent calls to fail with "invalid exec env". Test confirms the fix in wasm_exec_env_destroy correctly clears exec_env_tls when destroying the exec_env it points to. * fix(runtime): clear exec_env_tls on early return from stack overflow check Move the fix to clear exec_env_tls at the source - in the early return path of invoke_native_with_hw_bound_check when native stack overflow check fails.	2026-01-20 07:09:26 +08:00
石博文	3c337dc3ab	fix: Wrong compiler parameter on MSVC (#4778) ... * fix: Wrong compiler parameter on MSVC * refactor: Move gcc flags to common build script. * refactor: Add both C/CXX flags	2026-01-08 09:10:07 +08:00
Huang Qi	b9159101cf	aot: avoid forcing mmap low addresses on NuttX (#4776) ... Signed-off-by: Huang Qi <huangqi3@xiaomi.com>	2026-01-05 10:57:18 +08:00
linear0211	07466407ba	Ensure --addr-pool mask accepts numbers only (#4619) ... * Ensure --addr-pool mask accepts numbers only * Add mask validation * Replace mask assignment position * Use a thread-safe function and free allocated memory Co-authored-by: liang.he <liang.he@intel.com>	2025-12-22 07:55:42 +08:00
TianlongLiang	f8448b6d79	Add a runtime API for reset shared heap(chain) (#4740) ... * add new runtime api for reset shared heap(chain) * add new unit test case	2025-12-15 09:56:55 +08:00
Krisztian	69446f4abb	Add missing functions from thumb arch (#4718) ... Signed-off-by: Krisztian Szilvasi <34309983+kr-t@users.noreply.github.com>	2025-11-28 17:08:24 +08:00
TianlongLiang	3c01e2ae0c	fix double promotion warning (#4731)	2025-11-28 11:06:43 +08:00
YAMAMOTO Takashi	912c2a6e31	add a set of apis to configure wasi via InstantiationArgs2 (#4707) ... * track if WASIArguments is configured by user i plan to use this to decide which wasi arguments (the one from module or the one from InstantiationArgs2) to use. * add WASIArguments to InstantiationArgs2 * use wasi configuration from InstantiationArgs2 if any fallback to the via-module configuration for now. * add a few api to configure wasi via InstantiationArgs2 * configure wasi via InstantiationArgs2 for platforms using libc_wasi.c * rt-thread: migrate to libc_wasi_set_init_args * common/libc_wasi.c: retire libc_wasi_init * fix build without wasi	2025-11-24 19:20:21 +08:00
Huang Qi	1d255ce0b5	refactor: Improve debug experience with CFI directives and proper label naming in Thumb invokeNative (#4719) ... This change enhances debugging support and improves assembly code quality: 1. Add CFI (Call Frame Information) directives (.cfi_startproc, .cfi_def_cfa_offset, .cfi_offset, .cfi_endproc) to provide proper call frame information for debuggers 2. Improve label naming by using dot-prefixed conventions (.Lreturn, .Lcall_func, etc.) following assembly best practices These improvements enhance debugging capabilities and code maintainability while preserving functionality. Signed-off-by: Huang Qi <huangqi3@xiaomi.com>	2025-11-24 19:19:18 +08:00
liang.he	53ffe451d0	Fast-interp should report unsupported opcode (#4723) ... when meeting simd opcode on non-posix platforms	2025-11-24 15:48:29 +08:00
liang.he	071e2aaed5	Merge commit from fork ... * fix: remove SIMD prefix handling from interpreter and update opcode definitions * test: add case for classic interpreter handling of unsupported SIMD opcodes	2025-11-24 14:37:46 +08:00
Zhenwei Jin	33fdc4a671	Merge commit from fork	2025-11-24 14:23:04 +08:00
Huang Qi	e2da849f11	wamr/arm: Add CFI directives to Thumb VFP assembly for better debugging (#4697) ... Add Call Frame Information (CFI) directives to invokeNative_thumb_vfp.s to improve stack unwinding and debugging capabilities on ARM platforms. This enables better backtrace generation and crash analysis. Changes include: - Add .cfi_startproc/.cfi_endproc directives for proper frame tracking - Add .cfi_def_cfa_offset and .cfi_def_cfa to track stack pointer changes - Add .cfi_offset directives to track saved register locations - Convert local labels to use .L prefix following assembly conventions These CFI directives allow debuggers and exception handlers to properly unwind the stack through native function calls, improving the debugging experience for WAMR applications on ARM targets. Signed-off-by: Huang Qi <huangqi3@xiaomi.com>	2025-11-17 17:55:05 +08:00
TianlongLiang	7898af9f21	fix bug and add unit test case for runtime api when shared heap is enabled (#4695)	2025-11-11 16:22:45 +08:00
Joe Polny	4b42cfdbce	fix: remove stack size check from exec_env_check (#4688) ... As per [this blogpost](https://bytecodealliance.github.io/wamr.dev/blog/understand-the-wamr-stacks/) WAMR does not require a WASM stack in AoT/JIT mode, but `wasm_runtime_exec_env_check` still always expects the size to be > 0	2025-11-05 08:10:02 +08:00
Joe Polny	238f45dddc	docs: clarify that * in signatures does address conversion (#4681) ... docs: clarify that * and $ in signatures does address conversion It was non-obvious that `*` means the runtime does the app to native conversion automatically. With the current docstring, one might assume that the runtime only does boundary checks and not address conversion. Under this assumption, passing the already-native address to `wasm_runtime_addr_app_to_native` will lead to unexpected behavior	2025-10-31 15:41:35 +08:00
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
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
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
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
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