64 Commits

Author	SHA1	Message	Date
TianlongLiang	36d438051e	Support table64 extension in classic-interp and AOT running modes (#3811) ... Add table64 extension(in Memory64 proposal) support in classic-interp and AOT running modes, currently still use uint32 to represent table's initial and maximum size to keep AOT ABI unchanged.	2024-10-11 21:14:56 +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	5744e11916	spec-test-script: Make case_last_words larger (#3651) ... The current size is usually too small to contain useful info for post mortem investigations.	2024-07-23 17:04:16 +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	9f637e6f0a	wamr-test-suites/test_wamr.sh: Add an option to specify wamrc binary (#3635)	2024-07-18 13:32:40 +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
Xenia Lu	f7d2826772	Allow missing imports in wasm loader and report error in wasm instantiation instead (#3539) ... The wasm loader is failing when multi-module support is on and the dependent modules are not found; this enforces the AOT compiler integrations to prepare dependent modules while it isn't necessary. This PR allows allows missing imports in wasm loader and report error in wasm instantiation instead, which enables the integrated AOT compiler to work as if the multi-module support isn't turned on.	2024-06-25 10:04:39 +08:00
liang.he	a4f0a0d0ea	wamr-test-suites: Enable AOT multi-module spec tests (#3450) ... Bypass some cases because: - aot multi-module doesn't support empty modules - aot multi-module doesn't support import globals	2024-05-21 12:10:47 +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	68bd30c6f9	Enhance GC subtyping checks (#3317) ... Enhance the GC subtyping checks: - Fix issues in the type equivalence check - Enable the recursive type subtyping check - Add a equivalence type flag in defined types of aot file, if there is an equivalence type before, just set it true and re-use the previous type - Normalize the defined types for interpreter and AOT - Enable spec test case type-equivalence.wast and type-subtyping.wast, and enable some commented cases - Enable set WAMR_BUILD_SANITIZER from cmake variable	2024-04-18 12:32:01 +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	63cd567b3f	Separate app-manager and app-framework from WAMR (#3129) ... As planned, the app-manager and app-framework are to be migrated to https://github.com/bytecodealliance/wamr-app-framework. ps. https://github.com/bytecodealliance/wasm-micro-runtime/issues/2329 https://github.com/bytecodealliance/wasm-micro-runtime/wiki/TSC-meeting-notes	2024-02-20 18:12:36 +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	20f1a8c86c	Merge branch main into dev/wasi-libc-windows	2023-11-09 10:13:59 +08:00
Wenyong Huang	9d7931e1d2	Fix several typo/warning/unused-code issues (#2655) ... - Fix typo in wamr-test-suites script - Fix compilation warnings in libc-wasi posix.c - Remove unused code fast-jit jit_frontend.c - Remove duplicated exception print in `iwasm -f <function>` - Fix return value in void function wasm_runtime_set_wasi_ctx	2023-10-24 09:19:45 +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
zoraaver	d436e846ab	Add support for running tests on apple M1 macs (#2554)	2023-09-17 13:54:28 +08:00
liang.he	f697244f33	runtest.py: Show accurate case amount in summary (#2549) ... Instead of showing the total case amount under *spec/test/core*, show the accurate number of how many test cases were executed.	2023-09-15 10:01:08 +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	edea32b629	Fix result arity check on select_t opcode (#2406) ... Typed select must have exactly one result. Reported in issue #2402.	2023-07-31 18:20:11 +08:00
YAMAMOTO Takashi	674f229eff	spec-test-script: Disable conversions.wast on i386 (#2269)	2023-06-07 13:23:42 +08:00
Wenyong Huang	f1e9029ebc	Update thread proposal ignore cases (#2246) ... The spec test cases of thread proposal were updated, the `thread` keyword was added in case `atomic_wait_notify.wast`: ```wast (thread $T1 (shared (module $Mem)) ... ) (thread $T2 (shared (module $Mem)) ... ) ``` We disable these cases since parsing keyword `thread` isn't supported in the wamr-test-suites script runtest.py yet.	2023-05-31 13:52:03 +08:00
Wenyong Huang	5a7fbda7ac	Enable to collect code coverage of samples/simple (#2003)	2023-03-07 08:45:03 +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	a29344ae6c	Enable spec test on nuttx and daily run it (#1763) ... - Spec test needs about 15 min - Skip some test cases that cannot pass now, most of which are FP relative (due to potential bugs in NuttX's libc)	2022-12-02 12:39:46 +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
liang.he	c718e76dea	Use wabt binary instead of building from source in spec test (#1700) ... Directly download wabt binary and use it in spec test instead of building it from source to fasten the spec test.	2022-11-14 15:16:22 +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
Xu Jun	826cf4f8e1	Fix threads spec test issues (#1586)	2022-10-13 13:53:09 +08:00