414 Commits

Author	SHA1	Message	Date
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
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
James Marsh	9ee44bf2d0	Add Android macro check for indirect mode	2025-08-20 13:13:56 +01: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
Liu Jia	cbb6d03337	add validtion for parent_type_idx (#4550)	2025-08-13 11:05:06 +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
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
YAMAMOTO Takashi	d298a66d38	bump AOT_CURRENT_VERSION for extended-const (#4511) ... cf. https://github.com/bytecodealliance/wasm-micro-runtime/issues/4504	2025-07-27 14:39:35 +08:00
YAMAMOTO Takashi	933e49df18	appease a few compiler warnings (-Wstrict-prototypes) (#4465)	2025-07-10 08:28:00 +08:00
TianlongLiang	7d05dbc988	Support extended constant expressions (#4432) ... * implement extended const expr (#4318) * add a toggle to enable extended const on wamrc (#4412)	2025-07-07 13:34:02 +08:00
TianlongLiang	8a55a1e7a1	Shared heap enhancements for Interpreter and AOT (#4400) ... Propose two enhancements: - Shared heap created from preallocated memory buffer: The user can create a shared heap from a pre-allocated buffer and see that memory region as one large chunk; there's no need to dynamically manage it(malloc/free). The user needs to make sure the native address and size of that memory region are valid. - Introduce shared heap chain: The user can create a shared heap chain, from the wasm app point of view, it's still a continuous memory region in wasm app's point of view while in the native it can consist of multiple shared heaps (each of which is a continuous memory region). For example, one 500MB shared heap 1 and one 500 MB shared heap 2 form a chain, in Wasm's point of view, it's one 1GB shared heap. After these enhancements, the data sharing between wasm apps, and between hosts can be more efficient and flexible. Admittedly shared heap management can be more complex for users, but it's similar to the zero-overhead principle. No overhead will be imposed for the users who don't use the shared heap enhancement or don't use the shared heap at all.	2025-07-04 10:44:51 +08:00
liang.he	c7148a6823	Fix potential integer overflow issues (#4429) ... It is reported as "Multiplication result converted to larger type". And "Multiplication result may overflow 'Type A' before it is converted to 'Type B'." Type A is a larger type than Type B. Since the conversion applies after the multiplication, arithmetic overflow may still occur. > The rule flags every multiplication of two non-constant integer expressions > that is (explicitly or implicitly) converted to a larger integer type. The > conversion is an indication that the expression would produce a result that > would be too large to fit in the smaller integer type.	2025-07-01 13:39:30 +08:00
Zhenwei Jin	1e41519977	loader: add type index checking (#4402)	2025-06-24 20:38:39 +08:00
liang.he	e414a327a0	Refactor copy callstack feature (#4401) ... - Change `WAMR_ENABLE_COPY_CALLSTACK` to `WAMR_BUILD_COPY_CALL_STACK`, as `WAMR_BUILD` is the prefix for a command line option. - Change `WAMR_ENABLE_COPY_CALLSTACK` to `WASM_ENABLE_COPY_CALL_STACK`, as `WASM_ENABLE` is the prefix for a macro in the source code. - Change `CALLSTACK` to `CALL_STACK` to align with the existing `DUMP_CALL_STACK` feature. - Continue using `WASMCApiFrame` instead of `wasm_frame_t` outside of *wasm_c_api.xxx* to avoid a typedef redefinition warning, which is identified by Clang.	2025-06-24 20:38:30 +08:00
Liu Jia	7bbdbf5212	add validation for array type in load_init_expr(GC only) (#4370)	2025-06-17 11:01:38 +08:00
TianlongLiang	0343aaf8c3	Modify AOT static PGO to conform to llvm-18 and add a CI job to test static PGO on the coremark benchmark (#4345) ... * static PGO compatible with llvm18 and add CI job to test static PGO on coremark benchmark * update comments and warning info, bitmaps section in llvm profdata shouldn't be used in PGO	2025-06-12 16:57:11 +08:00
liang.he	207da7b22f	updating WASI stdio handle initialization and build options for UVWASI (#4260)	2025-05-30 07:42:39 +08:00
liang.he	216404d7cb	initialize WASI stdio handles to invalid for better error handling (#4092) ... * initialize WASI stdio handles to invalid for better error handling * implement os_invalid_raw_handle function for consistent invalid handle representation	2025-05-08 08:47:07 +08:00
YAMAMOTO Takashi	bb36a43fa4	riscv: avoid llvm.cttz.i32/i64 for xip (#4248) ... LLVM 16 and later expands cttz intrinsic to a table lookup, which involves some relocations. (unless ZBB is available, in which case the native instructions are preferred over the table-based lowering.) cf. https://reviews.llvm.org/D128911	2025-05-07 09:42:51 +08:00
YAMAMOTO Takashi	4735956eeb	fix return types of our 64-bit clz/ctz/popcount intrinsics (#4238) ... the corresponding LLVM intrinsics' return types are same as their first argument. eg. i64 for llvm.cttz.i64. cf. https://llvm.org/docs/LangRef.html#llvm-cttz-intrinsic this commit changes the return types of our versions of the intrinsics to match llvm versions as our aot compiler, specifically __call_llvm_intrinsic, assumes. strictly speaking, this is a potential AOT ABI change. however, I suppose it isn't a problem for many of 64-bit ABIs out there, where (lower half of) a 64-bit register is used to return a 32-bit value anyway. (for such ABIs, this commit would fix the upper 32-bit value of the register.)	2025-05-06 10:15:00 +08:00
YAMAMOTO Takashi	3232bdf2f7	teach aot emitter/loader about .srodata and .srodata.cst* sections (#4240) ... LLVM 19 and later started to use srodata ("small read only data") sections for RISCV. cf. https://github.com/llvm/llvm-project/pull/82214 this commit makes our aot emitter/loader deal with those sections. an alternative would be to disable small data sections completely by setting the "SmallDataLimit" module attribute to zero. however, i feel this commit is more straightforward and consisitent as we are already dealing with sdata sections.	2025-05-06 06:55:35 +08:00
liang.he	ecb47d9326	Add missing casts and improve error handling in performance map functions (#4202) ... Wrong type of arguments to formatting function.	2025-04-17 15:22:23 +08:00
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
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
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
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
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
Georgii Rylov	6166788c33	spare lines	2025-03-03 15:17:57 +00:00
Georgii Rylov	bc00b3e492	address comments	2025-03-03 13:36:05 +00:00
TianlongLiang	e693608476	log warning instaed of assertion (#4119)	2025-03-01 16:46:41 +08: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	857e6b73c8	formatting	2025-02-26 10:57:50 +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