Commit Graph
10 Commits
Author SHA1 Message Date
Liu JiaandGitHub 704aa3e7e5 modify macro related to simde when WASM_OP_SELECT_128 (#4461)
* remove macro of fast interpreter when WASM_OP_SELECT_128
* Modified some macros related to SIMDE
2025-07-17 08:04:41 +08:00
Liu JiaandGitHub c8f7a7fc1a fix regression running_config.json (#4477) 2025-07-14 13:08:58 +08:00
Liu JiaandGitHub 903a5c1f8c improve logic of heap_type validation when ref.null (#4372)
* Follow-up to PR #4300: prevent potential overflow

PR #4300 introduced the rationale for validating heap_type.
This patch moves the validation before the computation of
type1 to prevent potential overflow.
2025-07-10 08:27:11 +08:00
Liu JiaandGitHub 8949797c84 Improve run.py of regression (#4417)
* Improve run.py of regression
1. Fix script interruption on case failure
2. improve statistics logic
3. enable select specific issue ids
2025-07-01 10:44:53 +08:00
Liu JiaandGitHub 535004dedc Fix handling of non-nullable global_type during global import (#4408) 2025-06-26 06:59:57 +08:00
Liu JiaandGitHub 7bbdbf5212 add validation for array type in load_init_expr(GC only) (#4370) 2025-06-17 11:01:38 +08:00
Liu JiaandGitHub 928598f1ce add heap-type check for GC when ref.null (#4300)
- According to [Link 1](https://webassembly.github.io/gc/core/valid/instructions.html#xref-syntax-instructions-syntax-instr-ref-mathsf-ref-null-mathit-ht), we must ensure that the heap type is valid when ref.null.
- According to [Link 2](https://webassembly.github.io/gc/core/valid/types.html#heap-types), a heap type is considered valid if it is either a concrete heap type or an abstract heap type.

However, in this function, the check for abstract heap types (absheaptype) was clearly missing, so this condition needs to be added explicitly in the if statement.

- When GC is disabled, no change is needed.
- When GC is enabled, heap types in WAMR are LEB-encoded values ([Link 3](https://webassembly.github.io/gc/core/appendix/index-types.html)). Therefore, we must use read_leb_int32 to parse the heap type correctly. And we can compute the original type1 using type1 = (uint8)((int32)0x80 + heap_type);.
2025-06-12 09:31:17 +08:00
Liu JiaandGitHub 14d09bfb66 Fixed unit tests on X86_32 (#4279)
* fix unit tests on x86_32
* enbale wasm-c-api unit test on X86_32
* enable aot-stack-frame unit test on X86_32
* add ci: unit tests on X86_32
2025-05-19 10:32:07 +08:00
Liu JiaandGitHub 9773390537 set default value of WAMR_BUILD_REF_TYPES to 1 in standalone cases (#4227)
- set default value of WAMR_BUILD_REF_TYPES to 1 in CMakeLists.txt
2025-04-30 14:10:56 +08:00
Liu JiaandGitHub af2a2040db fix print_help when libc wasi is enabled (#4218) 2025-04-25 16:46:37 +08:00