118 Commits

Author	SHA1	Message	Date
liang.he	8acce563b4	Merge branch main into dev/instantiate_linking (#4100) ... - fix: when load aot init expr,no type_idx set. (#4094) - Cmake improvements (#4076) - fix(aot_emit_aot_file): prevent buffer emission for zero byte_count (#4095) - fix(unit-test): libc_builtin_test issues (#4073) - feat: add support for EXTERNREF value type and enable AOT validator in fuzz tests (#4083) - [gc] Subtyping fix (#4075) - Add a conditional check for the macro __STDC_VERSION__ (#4080) - Unit test:type matching issue and code redundancy (#4079) - build(deps): Bump github/codeql-action from 3.28.8 to 3.28.9 (#4074) - fix(aot): ensure value_cmp does not exceed br_count in branch table compilation (#4065) - In wasm32, fix potential conversion overflow when enlarging 65536 pages (#4064) - [fuzzing] execute every exported function (#3959) - Update memory allocation functions to use allocator user data (#4043) - Show wasm proposals status during compilation and execution (#3989) - add a validator for aot module (#3995) - Use wasm32-wasip1 instead of wasm32-wasi target for rust code (#4057) - Update Rust target from 'wasm32-wasi' to 'wasm32-wasip1' in CI (#4050) - Fix wasm loader check data segment count (#4039) - Synchronize the GC spec tests to the commit from December 9. 2024. (#4022) - Refine getting const offsets in wasm loader of fast-interp (#4012) - fixes for compiling on windows (#4026) - .github: Add shared lib builds (#3975) - Refine read leb int wasm loader of fast interpreter (#4017) - build(deps): Bump github/codeql-action from 3.28.0 to 3.28.1 (#4020) - build(deps): Bump actions/upload-artifact from 4.5.0 to 4.6.0 (#4021) - Enable shrunk memory by default and add related configurations (#4008) - Add documentation regarding security issues and the status of Wasm proposals (#3972) - Improve stack consistency by ensuring sufficient space for dummy offsets (#4011) - Check whether related table has funcref elem in opcode call_indirect (#3999) - [fuzzing] Use software bound-check during fuzzing (#4003) - Add an example of how to embed WAMR in Zephyr user mode (#3998) - Fix table index calculations in wasm_loader and wasm_mini_loader (#4004) - Ensure __heap_base and __data_end global indices are validated against import count (#3996) - Error message improvement (#4000) - Handle a new scenario where an item is both exported and imported. (#3984) - Optimize memory initialization handling in AOT loader (#3983) - build(deps): Bump actions/upload-artifact from 4.4.3 to 4.5.0 (#3981) - build(deps): Bump github/codeql-action from 3.27.9 to 3.28.0 (#3982) - Add Tianlong into code owners (#3970) - Set thread information earlier in exec_env creation (#3967) - top-level cmake: link llvm libraries to our shared library (#3973) - add reference type support by default for darwin to support WASI-SDK-25 (#3978) - CMakeLists.txt: Do not require C++ (#3956) - [fuzzing] Enable instantiation (#3958) - use a random secret key (#3971) - top-level cmakefile: fix macOS build (#3968) - Only access Zephyr thread stats info when it's available (#3962) - build(deps): Bump github/codeql-action from 3.27.6 to 3.27.9 (#3960) - wasm_export.h: Use "default" visibility for gcc and clang (#3957) - set alignment 4 when loading multi return value (#3955) - Fix aot table instantiate (#3946) - Consume the placeholders that were put when emitting table info (#3940) - Refactor SConscript and add file checks in iwasm.c (#3945) - Improvements for platform thread APIs on Windows and Zephyr (#3941) - Fix incorrect assignment in win_file.c (#3939) - don't return an uninitialized trap if argv_to_results fails (#3935) - support WASM_FUNCREF return type in argv_to_results (#3936) - add thread cpu time for zephyr (#3937) - build(deps): bump github/codeql-action from 3.27.4 to 3.27.5 (#3931) - Update README.md to clarify Windows toolchain support and ESP-IDF reference (#3917) - Enable ref types by default (#3894) - Fix loader small bug (#3928) - add testcases for shared heap and fix POP_MEM_OFFSET of memory64 (#3916) - Use plain assignment rather than bh_memcpy_s (#3924) - Fix WASI Path Mapping Processing (#3923) - Drop declarative elements on module instantiation (#3922) - Check possible integer overflow in aot memory boundary check (#3920) - Fix CI wamr-ide error (#3913) - Support external toolchain on Windows for aot compiler (#3911) - build(deps): bump github/codeql-action from 3.27.1 to 3.27.4 (#3912) - Correct the table index calculation in aot_instantiation (#3903) - Fix a leak in wasm_loader_emit_br_info (#3900) - GlobalValueSet was moved to IRPartitionLayer recently, but we have a local definition anyway (#3899) - build(deps): bump github/codeql-action from 3.27.0 to 3.27.1 (#3902) - Fix linked global initialization in multimodule (#3905) - Wasm loader enhancement: check code size in code entry (#3892) - Refactor AOT loader to support compatible versions (#3891) - Fix out of bounds issue in is_native_addr_in_shared_heap function (#3886) - Fix mmap flags for AOT loader on non-Linux SGX platforms (#3890) - Bump AOT_CURRENT_VERSION for WAMR 2.x (gc, memory64) (#3880) - Refine looking up aot function with index (#3882) - build(deps): bump github/codeql-action from 3.26.13 to 3.27.0 (#3888) - fix(ios): Remove `float-abi` flag (#3889) - Fix out of bounds issues after memory.grow on non-aot non-threads builds (#3872) - Exclude fuzz test python and npm packages in scoreboard scan (#3871) Author: Chris Woods <6069113+woodsmc@users.noreply.github.com> Author: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Author: Dylan Johnston <18252447+dpjohnst@users.noreply.github.com> Author: edoardo <48774736+xdoardo@users.noreply.github.com> Author: eric <chenliuyang_1989@163.com> Author: Fadumina Barre <bafadumi@amazon.com> Author: Huang Qi <huangqi3@xiaomi.com> Author: James Ring <sjr@jdns.org> Author: Jérôme Vouillon <jerome.vouillon@gmail.com> Author: kk <zhkag@foxmail.com> Author: liang.he@intel.com <liang.he@intel.com> Author: liang.he <liang.he@intel.com> Author: Maks Litskevich <makslit@amazon.com> Author: Marcin Kolny <mkolny@amazon.com> Author: peter-tatrai <peter.tatrai.ext@siemens.com> Author: TianlongLiang <111852609+TianlongLiang@users.noreply.github.com> Author: Tomáš Malý <malytomas@users.noreply.github.com> Author: Viacheslav Palchikov <palchikov@gmail.com> Author: WenLY1 <130950131+WenLY1@users.noreply.github.com> Author: Wenyong Huang <wenyong.huang@intel.com> Author: Xavier Del Campo <90845888+midokura-xavi92@users.noreply.github.com> Author: YAMAMOTO Takashi <yamamoto@midokura.com> Author: yangkun27 <yangkun27@xiaomi.com>	2025-03-03 14:07:14 +08:00
liang.he	b18cb3b2cb	[instantiation linking] Create and import WASMGlobalInstance (#3914)	2024-12-19 16:52:29 +08:00
liang.he	ee2d60bf62	[instantiation linking] Create and import WASMTableInstance (#3898) ... - Implement import table and table creation - Enhance memory de-instantiation checks and adjust stack size for wasm execution environment - Improve shared memory reference handling and enhance table de-instantiation checks	2024-12-06 10:13:53 +08:00
liang.he	e030350bd7	[instantiation linking] create and import WASMMemoryInstance for interp (#3845) ... APIs to create and import WASMMemoryInstance for Interp - add a demo (sample/linking/raw) for APIs test - new APIs for instances of spawned threads to build imports list from parents'	2024-11-04 15:38:20 +08:00
Wenyong Huang	327374cfee	Fix some compile warnings and typos (#3854) ... - Clear some compile warnings - Fix some typos - Fix llvm LICENSE link error - Remove unused aot file and binarydump bin - Add checks when loading AOT exports	2024-10-15 16:04:58 +08:00
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
Marcin Kolny	0b62cc8921	Update ref to the multi-memory tests (#3764) ... The specific commit has been deleted, I am pointing to the same commit in the main branch though.	2024-09-03 10:39:03 +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
Wenyong Huang	cce48a0943	test_wamr.sh: Fix build wabt tool (#3703) ... And fix a typo in ATTRIBUTIONS.md.	2024-08-14 16:20:32 +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	2879e67aa9	wamr-test-suites: Remove dead code (wasi_test) (#3634)	2024-07-18 12:22: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
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
Zhang, Yi	16e70f99aa	Add standalone cases (#3536)	2024-06-19 16:40:37 +08:00
Zhang, Yi	591a20b917	Add malformed test cases (#3459)	2024-05-21 16:38:34 +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
Zhang, Yi	f729da7656	Add test cases for the requirements of "gc-aot" feature (#3399)	2024-05-09 16:15:44 +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
zoraaver	92bd3ba17d	Implement the remaining Windows filesystem functions (#3166) ... Now that the filesystem implementation is now complete, the previous test filters on Windows can be removed. Some of the tests only pass when certain environment variables have been set on Windows so an extra step has been added in the wasi test runner script to modify the test config files before the tests begin.	2024-02-28 11:02:42 +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
Enrico Loparco	170ae35131	test_wamr.sh: Allow using test script on different platforms (#3098) ... The `^^` for uppercase is not widely supported, e.g. not working on some MacOS M1.	2024-01-30 11:02:40 +08:00
Maks Litskevich	63696ba603	Fix typo in CI config and suppress STORE_U8 in TSAN (#2802) ... This typo prevented sanitizers to work in the CI.	2023-12-11 09:16:30 +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
YAMAMOTO Takashi	fbd9a760e7	test_wamr.sh: Don't bother to build shared library (#2844) ... This script only uses the iwasm command.	2023-12-01 18:12:55 +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	1ba4acd1c7	Fix wamr-test-suites script for macos (#2819) ... Update the wabt release binary name for macos and fix a syntax error: ```bash ./test_wamr.sh: line 356: syntax error near unexpected token `;' ./test_wamr.sh: line 356: ` ;&' ```	2023-11-24 16:21:05 +08:00
Wenyong Huang	71340b79a6	Merge pull request #2740 from bytecodealliance/dev/wasi-libc-windows ... The implementation is already in a stage where it's possible to compile WAMR with wasi libc enabled and run wasi modules without errors.	2023-11-10 16:58:31 +08:00
Enrico Loparco	68b317c686	Remove TSAN suppression for execute_post_instantiate_functions (#2741) ... The problem has been fixed: #2680.	2023-11-10 08:25:01 +08:00
Wenyong Huang	20f1a8c86c	Merge branch main into dev/wasi-libc-windows	2023-11-09 10:13:59 +08:00
zoraaver	13875f43c6	Enable WASI tests on Windows CI (#2699) ... Most of the WASI filesystem tests require at least creating/deleting a file to test filesystem functionality so some additional filesystem APIs have been implemented on Windows so we can test what has been implemented so far. For those WASI functions which haven't been implemented, we skip the tests. These will be implemented in a future PR after which we can remove the relevant filters. Additionally, in order to run the WASI socket and thread tests, we need to install the wasi-sdk in CI and build the test source code prior to running the tests.	2023-11-06 19:24:06 +08:00
Maks Litskevich	0b2313f6f8	Add tsan for fast interp and aot (#2679) ... To run it locally: ```bash export TSAN_OPTIONS=suppressions=<path_to_tsan_suppressions.txt> ./test_wamr.sh <your flags> -T tsan ``` An example for wasi-threads would look like: ```bash export TSAN_OPTIONS=suppressions=<path_to_tsan_suppressions.txt> ./test_wamr.sh -w -s wasi_certification -t fast-interp -T tsan ```	2023-11-01 18:30:25 +08:00