47 Commits

Author	SHA1	Message	Date
liang.he	fc1527eacd	Raise CI runner to ubuntu 22.04 (#4191) ... update workflows and scripts for Ubuntu 22.04 compatibility. It includes - install Intel SGX SDK 2.25 - use a reusable action to install sgx required - keep improve error handling in AOT compilation process in runtest.py add a workaround to fix receiving a shutdown signal problem. Refers to https://github.com/actions/runner-images/issues/6680 and https://github.com/actions/runner-images/discussions/7188	2025-04-17 15:07:46 +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
liang.he	06ea960e76	fix(runtest.py): A workaround to bypass errors that occur when deleting temporary files (#4093) ... - Replace sys.exit with exceptions for better error handling in test assertions - Update exception handling in compile_wast_to_wasm to catch all exceptions - Improve error messages and logging - Use `--ignore-whitespace` option for git apply in spec_test function - Use raw string notation for regex patterns. *The "SyntaxWarning: invalid escape sequence" in Python The warning has been upgraded to SyntaxWarning since Python 3.12, and it is expected to become a SyntaxError in future versions.* - Add early return for non-loadable AOT compilation to prevent unnecessary assertions - Redirect stderr to stdout in test_case for unified output - Update `create_tmpfiles()` to improve clarity and handling of temporary files	2025-03-20 14:25:13 +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
Wenyong Huang	1329e1d3e1	Add support for multi-memory proposal in classic interpreter (#3742) ... Implement multi-memory for classic-interpreter. Support core spec (and bulk memory) opcodes now, and will support atomic opcodes, and add multi-memory export APIs in the future. PS: Multi-memory spec test patched a lot for linking test to adapt for multi-module implementation.	2024-08-21 12:22:23 +08:00
Huang Qi	67c33a29e3	CI: Enable XIP spectest for RISCV32 ILP32F (#3727)	2024-08-19 09:52:38 +08:00
Huang Qi	a44c487632	runtest.py: Normallize option handling for XIP mode (#3722)	2024-08-16 11:33:51 +08:00
TianlongLiang	4e31bd63b7	wamr-test-suites: Clean up generated tmp files after spec test (#3700) ... Add all possible generated tmp files to the list, those not actually generated will be simply ignored in the deletion process.	2024-08-13 08:38:15 +08:00
YAMAMOTO Takashi	3ce242b5db	spec-test-script/runtest.py: Use wamrc --xip option for xip (#3683)	2024-08-02 21:26:18 +08:00
YAMAMOTO Takashi	4dfdbbb5a5	spec-test-script: Use -mtext-section-literals for xtensa xip (#3666)	2024-07-26 09:40:22 +08:00
YAMAMOTO Takashi	83b36558a7	spec-test-script: Skip a few tests for xtensa qemu (#3664) ... Because these test cases require more memory than what nuttx on esp32s3 qemu can afford.	2024-07-25 11:59:31 +08:00
YAMAMOTO Takashi	79dacfcead	spec-test-script/runtest.py: Reduce stack size for aot w/o gc (#3653)	2024-07-23 23:08:26 +08:00
YAMAMOTO Takashi	50f28495a1	Remove a few hardcoded spec test knowledge from the core library (#3648) ... Tweak the stack sizes in the spec test runner instead.	2024-07-22 13:30:00 +08:00
YAMAMOTO Takashi	b05fdfd3ba	spec-test-script/runtest.py: Use a shorter timeout when expected to fail (#3647) ... This is a band-aid fix; ideally we should wait for the expected failure message directly with a timeout, not the successful prompt as we currently do.	2024-07-22 13:20:08 +08:00
Huang Qi	0d8ffebd39	spec-test-script/runtest.py: Move "--size-level=1" to common place for RISCV64 (#3644)	2024-07-19 11:45:55 +08:00
YAMAMOTO Takashi	583fa52226	spec-test-script: Add xtensa case (#3643)	2024-07-18 20:15:12 +08:00
YAMAMOTO Takashi	7c9686df5f	spec-test-script/runtest.py: Avoid specifying -v=0 unnecessarily (#3642) ... The -v=n option is not always available. Note: WASM_ENABLE_LOG is off by default on NuttX.	2024-07-18 14:49:57 +08:00
YAMAMOTO Takashi	7c6fc70aea	spec-test-script/runtest.py: Don't assume the tmp dir path (#3632) ... The current coding assumes the tmp file is created in /tmp. However, * It's somewhere under /var/folders/... by default on macOS. * A user can set TMPDIR.	2024-07-18 10:05:24 +08:00
liang.he	b2eb7d838d	Update spec test to latest commit (#3293) ... - Update spec test cases to commit bc76fd79cfe61033d7f4ad4a7e8fc4f996dc5ba8 on Apr. 3 - Update wabt binary to 1.0.34 to support newer spec cases - Add comparison between table declared elem type and table elem segment value type - Add a function to decide whether to execute test cases in a running mode - Keep using interpreter in GC spec because wat2wasm in wabt can't compile if.wast w/o errors - Re-factoring threads spec test case processing - Since wabt 1.0.34 release isn't compatible with ubuntu 20.04, compile it from source code - Disable CI to run aot multi-module temporarily, and will enable it in another PR	2024-05-17 10:40:47 +08:00
Marcin Kolny	fe5e7a9981	Implement Memory64 support for AOT (#3362) ... Refer to: https://github.com/bytecodealliance/wasm-micro-runtime/pull/3266 https://github.com/bytecodealliance/wasm-micro-runtime/issues/3091	2024-05-13 11:03:38 +08:00
Wenyong Huang	a23fa9f86c	Implement memory64 for classic interpreter (#3266) ... Adding a new cmake flag (cache variable) `WAMR_BUILD_MEMORY64` to enable the memory64 feature, it can only be enabled on the 64-bit platform/target and can only use software boundary check. And when it is enabled, it can support both i32 and i64 linear memory types. The main modifications are: - wasm loader & mini-loader: loading and bytecode validating process - wasm runtime: memory instantiating process - classic-interpreter: wasm code executing process - Support memory64 memory in related runtime APIs - Modify main function type check when it's memory64 wasm file - Modify `wasm_runtime_invoke_native` and `wasm_runtime_invoke_native_raw` to handle registered native function pointer argument when memory64 is enabled - memory64 classic-interpreter spec test in `test_wamr.sh` and in CI Currently, it supports memory64 memory wasm file that uses core spec (including bulk memory proposal) opcodes and threads opcodes. ps. https://github.com/bytecodealliance/wasm-micro-runtime/issues/3091 https://github.com/bytecodealliance/wasm-micro-runtime/pull/3240 https://github.com/bytecodealliance/wasm-micro-runtime/pull/3260	2024-04-02 15:22:07 +08:00
Wenyong Huang	16a4d71b34	Implement GC (Garbage Collection) feature for interpreter, AOT and LLVM-JIT (#3125) ... Implement the GC (Garbage Collection) feature for interpreter mode, AOT mode and LLVM-JIT mode, and support most features of the latest spec proposal, and also enable the stringref feature. Use `cmake -DWAMR_BUILD_GC=1/0` to enable/disable the feature, and `wamrc --enable-gc` to generate the AOT file with GC supported. And update the AOT file version from 2 to 3 since there are many AOT ABI breaks, including the changes of AOT file format, the changes of AOT module/memory instance layouts, the AOT runtime APIs for the AOT code to invoke and so on.	2024-02-06 20:47:11 +08:00
Wenyong Huang	af318bac81	Implement Exception Handling for classic interpreter (#3096) ... This PR adds the initial support for WASM exception handling: * Inside the classic interpreter only: * Initial handling of Tags * Initial handling of Exceptions based on W3C Exception Proposal * Import and Export of Exceptions and Tags * Add `cmake -DWAMR_BUILD_EXCE_HANDLING=1/0` option to enable/disable the feature, and by default it is disabled * Update the wamr-test-suites scripts to test the feature * Additional CI/CD changes to validate the exception spec proposal cases Refer to: https://github.com/bytecodealliance/wasm-micro-runtime/issues/1884 587513f3c6 8bebfe9ad7 59bccdfed8 Signed-off-by: Ricardo Aguilar <ricardoaguilar@siemens.com> Co-authored-by: Chris Woods <chris.woods@siemens.com> Co-authored-by: Rene Ermler <rene.ermler@siemens.com> Co-authored-by: Trenner Thomas <trenner.thomas@siemens.com>	2024-01-31 08:27:17 +08:00
Huang Qi	47993ec72d	Don't launch extra cores in QEMU to save resource (#2867)	2023-12-06 09:46:50 +08:00
Huang Qi	453a29a9d4	Enable spectest on riscv64 (#2843) ... Fix relocation issues on riscv and update test scripts and CI to enable test spec cases on riscv QEMU.	2023-12-04 14:22:47 +08:00
Huang Qi	d7608690c0	Run spec test for classic/fast-interp in NuttX CI (#2817)	2023-11-27 15:24:02 +08:00
Wenyong Huang	e222955f31	Merge branch main into dev/wasi-libc-windows	2023-10-09 09:24:00 +08:00
liang.he	1ef7c1c83d	spec-test-script: Fix NaN comparision between v128 values (#2605)	2023-10-07 15:50:29 +08:00
dongsheng28849455	79b27c1934	Support muti-module for AOT mode (#2482) ... Support muti-module for AOT mode, currently only implement the multi-module's function import feature for AOT, the memory/table/ global import are not implemented yet. And update wamr-test-suites scripts, multi-module sample and some CIs accordingly.	2023-09-28 08:56:11 +08:00
Marcin Kolny	ea763009b7	Enable running spec tests on Windows (#2423) ... Update wamr-test-suites scripts to enable running spec tests on Windows. We don't enable those tests in CI yet as not all of them are passing.	2023-08-09 09:40:59 +08:00
Wenyong Huang	9b9ae0cfac	Update cmake files and wamr-test-suites to support collect code coverage (#1992) ... Support collecting code coverage with wamr-test-suites script by using lcov and genhtml tools, eg.: cd tests/wamr-test-suites ./test_wamr.sh -s spec -b -P -C The default code coverage and html files are generated at: tests/wamr-test-suites/workspace/wamr.lcov tests/wamr-test-suites/workspace/wamr-lcov.zip And update wamr-test-suites scripts to support testing GC spec cases to avoid frequent synchronization conflicts between branch main and dev/gc.	2023-02-28 17:38:18 +08:00
Huang Qi	2c8375ee67	wamr-test-suites: Save .wasm/.aot file to the report dir if test failed (#1937)	2023-02-06 11:04:28 +08:00
Huang Qi	d827315122	Enable XIP in CI daily test (#1793)	2022-12-13 11:32:35 +08:00
Huang Qi	371310fdee	Dump more info when spec test fails with XIP mode (#1779)	2022-12-05 10:00:50 +08:00
Huang Qi	9c5e1cb600	wamr-test-suites: Add support for ARM/RISCV by QEMU (#1704) ... Enhance wamr-test-suites to add QEMU and Firmware options: `./test_wamr.sh -Q <qemu> -F <firmware>`	2022-11-28 10:45:32 +08:00
Huang Qi	810007857b	wamr-test-suites: Update runtest.py to support python3 (#1684) ... Update runtest.py of wamr-test-suites to support both python2 and python3	2022-11-07 14:16:10 +08:00
Christian Clauss	fa736d1ee9	Fix syntax errors and undefined names in Python code (#1515)	2022-09-27 15:57:08 +08:00
Xu Jun	1705ae569b	Update spec test script (#1227)	2022-06-15 11:07:39 +08:00
Wenyong Huang	cb51dbb513	Fix some issues on MacOS platform (#937) ... Fix some issues on MacOS platform - Enable libc-wasi by default - Set target abi to "gnu" if it is not set for wamrc to avoid generating object file of unsupported Mach-O format - Set `<vendor>-<sys>` info according to target abi for wamrc to support generating AOT file for other OSs but not current host - Set cpu name if arch/abi/cpu are not set to avoid checking SIMD capability failed - Set size level to 1 for MacOS/Windows platform to avoid relocation type unsupported warning - Clear posix_memmap.c compiling warning - Fix spec case test script issues, enable test spec cases on MacOS Signed-off-by: Wenyong Huang <wenyong.huang@intel.com>	2022-01-07 09:53:48 +08:00
Wenyong Huang	b490a229f6	Enhance XIP and add XIP document (#863) ... Auto detect whether file is XIP file before loading module in posix like and linux-sgx platforms, and if yes, mmap executable memory automatically to run the XIP file. Add document about XIP feature. Enable test spec cases with XIP feature.	2021-12-06 17:25:10 +08:00
liang.he	1dccf39d16	Enable ref types and bulk memory by default for wamrc (#838) ... Enable ref types feature and bulk memory feature by default for wamrc and provide "--disable-ref-types", "--disable-bulk-memory" to disable them. And remove the ref_type_flag option in wasm_loader.c which is used to control whether to enable ref types or not when ENABLE_REF_TYPES macro is enabled in wamrc. As the wasm binary format with ref types is compatible with the binary format before, we can remove the option. Also update the spec test scripts.	2021-11-18 17:42:49 +08:00
Wenyong Huang	a1ad950ae1	Enable LLVM link time optimization (LTO) for AOT (#831) ... Enable LLVM link time optimization for AOT and enable it by default, and provide "wamrc --disable-llvm-lto" option to disable it. And modify the spec test script, disable it by default when testing spec cases. Signed-off-by: Wenyong Huang <wenyong.huang@intel.com>	2021-11-13 16:59:35 +08:00
liang.he	487072a78e	Speed up the spec case test by parallelism (#819) ... Port spec-test-script/all.sh to spec-test-script/all.py and enable to run spec cases with multiple threads parallelly: - It reduces spec_test.yml from ~14min to ~9min and reduces compilation_on_sgx.yml from ~18min to ~12min - run `./test_wamr.sh` will keep the same experience likes before by default - run `./test_wamr.sh -P` will enable parallelism mode - in parallelism mode, all.py will be in a less-output mode. It only outputs the last words of failed cases and will not output logs for those passed	2021-11-08 12:39:02 +08:00
liang.he	250aba6874	Sync up with wabt latest modification (#296) (#786) ... - Remove "--enable-reference-types" and "--enable-bulk-memory" for wat2wasm to support finished proposals. - Ignore invalid module in the thread spec repo: ``` wast ;; my_elem.wast (module (table $t 10 funcref) (func $f) (elem $t (i32.const 0) 0) (elem $t (i32.const 0) $f $f) (elem $t (offset (i32.const 0)) $f $f) ) ``` run with reference interpreter under spec/interpreter: ``` shell $ ./wasm ../../../my_elem.wast ../../../my_elem.wast:5.9-5.11: syntax error: duplicate elem segment $t ``` - use a specific commit instead of the latest commit on the thread spec repo	2021-10-14 15:48:45 +08:00
Wenyong Huang	b5a67cb91e	Fix several issues of document, spec test script and simd (#767) ... Fix document issues: add ARC to supported targets, fix how to build wamrc for MacOS. Fix spec case test script issue: the latest wabt has enabled simd by default, no need to add "--enable-simd" option for test script. Fix simd LLVM IR compilation issue: using index calculated by opcode to access array element should not be out of array boundary, add bh_assert() for it. Signed-off-by: Wenyong Huang <wenyong.huang@intel.com>	2021-09-29 11:13:38 +08:00
YAMAMOTO Takashi	ea835db54c	Enable wamr-test-suites on MacOS (#740)	2021-09-10 10:11:46 +08:00
Wenyong Huang	00663f0cd5	Import test suites to test spec cases (#736)	2021-09-09 12:49:46 +08:00