Merge main to dev zephyr #4384

lum1n0us · 2025-06-18T01:18:11Z

to 64ef369

require Let nightly_run use wabt binary #4385
require Remove unnecessary conversion of __wasi_addr_t to bh_sockaddr_t in sock_recv_from() #4391 🚫
let's merge this PR first.
(update and) merge PR Dev/zephyr file socket #4377
(update and) merge PR Merge dev/zephyr_file_socket into main #4347

…ce#3983) Save memory if the file buffer is always exist before exit. Signed-off-by: Huang Qi <[email protected]>

Signed-off-by: Huang Qi <[email protected]>

Improve error message in the scenario where the runtime was built with ref types disabled but the module uses reference types feature.

…t import count (bytecodealliance#3996)

…ecodealliance#4004)

…ance#3998)

) * Update CMakeLists.txt of fuzzing - enable software bound-check - enable wasi - disable libc builtin and multiple modules * Fix off-by-one error in result offset calculation for function calls

…ytecodealliance#3999) * check whether table has funcref elem in call_indirect * check whether table has funcref elem in call_indirect when gc is enabled

…ets (bytecodealliance#4011) One more corner case: if the `frame_offset` increases and becomes equal to the `frame_offset_boundary` after the last assignment within the for loop.

…oposals (bytecodealliance#3972) Add documentation regarding security issues and the status of Wasm proposals.

…odealliance#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

…dealliance#4021) Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 4.5.0 to 4.6.0. - [Release notes](https://github.com/actions/upload-artifact/releases) - [Commits](actions/upload-artifact@v4.5.0...v4.6.0) --- updated-dependencies: - dependency-name: actions/upload-artifact dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

…ealliance#4020) Bumps [github/codeql-action](https://github.com/github/codeql-action) from 3.28.0 to 3.28.1. - [Release notes](https://github.com/github/codeql-action/releases) - [Commits](github/codeql-action@v3.28.0...v3.28.1) --- updated-dependencies: - dependency-name: github/codeql-action dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

…#4017)

So far, no workflows would attempt to build the shared version of the iwasm library (namely, vmlib). Note that, as opposed to GC_EH_BUILD_OPTIONS and DEFAULT_BUILD_OPTIONS, the actual default options defined by the build system are assumed, for the sake of simplicity and avoiding repeated code.

…lliance#4012) - Refine const offsets in loader for fast-interp - handle const cell num overflow - Use const array, remove list

…ytecodealliance#4022) - Synchronize the GC spec tests to the commit from December 9. 2024. - Revise the error messages to be consistent with the spec test cases. - bypass gc spec test on the nuttx platform as a workaround

correctly report error when datacount section has non-zero data segment count while the data section is not present

…odealliance#4050) - update Rust target from 'wasm32-wasi' to 'wasm32-wasip1' in ci

Bumps [github/codeql-action](https://github.com/github/codeql-action) from 3.28.1 to 3.28.5. - [Release notes](https://github.com/github/codeql-action/releases) - [Commits](github/codeql-action@v3.28.1...v3.28.5) --- updated-dependencies: - dependency-name: github/codeql-action dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]>

Bumps [github/codeql-action](https://github.com/github/codeql-action) from 3.28.5 to 3.28.8. - [Release notes](https://github.com/github/codeql-action/releases) - [Commits](github/codeql-action@v3.28.5...v3.28.8) --- updated-dependencies: - dependency-name: github/codeql-action dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]>

…odealliance#4296) Prevent from value type. https://webassembly.github.io/spec/core/valid/types.html#table-types https://webassembly.github.io/gc/core/syntax/types.html#reference-types

…bytecodealliance#4341) refer to: Bypass wamr_ide-related components from the release process. (bytecodealliance#4268)

…codealliance#4342) Rearrange the content of do_execute_in_running_mode() in alphabetical order. Add an incompatible check for x86_32. Now, all belows will be bypassed: - jit, fast-jit, multi-tier-jit - memory64 - multi-memory - simd

Plus, skip unsupported running mode instead quit during wamr compiler test

…static PGO on the coremark benchmark (bytecodealliance#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

cf. bytecodealliance#4340

…dealliance#4371) Bumps [github/codeql-action](https://github.com/github/codeql-action) from 3.28.19 to 3.29.0. - [Release notes](https://github.com/github/codeql-action/releases) - [Commits](github/codeql-action@v3.28.19...v3.29.0) --- updated-dependencies: - dependency-name: github/codeql-action dependency-version: 3.29.0 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

…iance#4370)

`xml.buf[xml.size]` check is broken because it accesses past the end of the buffer. anyway, openvino doesn't seem to care the NUL termination.

…alliance#4359)

…tecodealliance#4358)

…bytecodealliance#4353) cf. bytecodealliance#4351

Signed-off-by: Su Yihan <[email protected]>

…ytecodealliance#4361) as wasi-nn doesn't have these concepts, the best we can do without risking breaking certain applications here is to pass through tensors as they are. this matches wasmtime's behavior. tested with: * wasmtime classification-example (with this change, this example fails on tensor size mismatch instead of implicitly resizing it.) * license-plate-recognition-barrier-0007, a converted version with non-fp32 output. [1] (with this change, this model outputs integers as expected.) [1] https://github.com/openvinotoolkit/open_model_zoo/tree/cd7ebe313b69372763e76b82e5d24935308fece4/models/public/license-plate-recognition-barrier-0007

an example application with flexible cli options which aims to allow us to perform any wasi-nn operations. eg. ``` --load-graph=file=fixture/model.xml,file=fixture/model.bin,id=graph --init-execution-context=graph-id=graph,id=ctx --set-input=file=fixture/tensor.bgr,context-id=ctx,dim=1,dim=3,dim=224,dim=224 --compute=context-id=ctx --get-output=context-id=ctx,file=output.bin ```

…iance#4374) copied from the linux version. i'm a bit skeptical with this workaround though. it might be simpler to prohibit the use of wamr api in these shared libraries. after all, what these libraries do is nothing specific to wasm.

…4375) cf. bytecodealliance#4339

…ytecodealliance#4389) i keep forgetting this and had to re-investigate it at least twice. hopefully this can be helpful for others too.

…liance#4388) this backend assumes fp32 here and there. it's safer to reject unexpected inputs explicitly.

…ealliance#4385) - remove duplicated options - fix test script - change ci to use binary

…ytecodealliance#4383)

lum1n0us requested review from loganek, no1wudi, wenyongh, xujuntwt95329 and yamt as code owners June 18, 2025 01:18

lum1n0us marked this pull request as draft June 18, 2025 01:42

lum1n0us requested a review from TianlongLiang June 19, 2025 03:06

no1wudi and others added 23 commits June 19, 2025 03:11

Optimize memory initialization handling in AOT loader (bytecodeallian…

26b22ef

…ce#3983) Save memory if the file buffer is always exist before exit. Signed-off-by: Huang Qi <[email protected]>

Break aot_create_comp_data into small functions

69dd9d1

Signed-off-by: Huang Qi <[email protected]>

Handle a new scenario where an item is both exported and imported. (b…

cf54da3

…ytecodealliance#3984)

Error message improvement (bytecodealliance#4000)

4377fd0

Improve error message in the scenario where the runtime was built with ref types disabled but the module uses reference types feature.

Ensure __heap_base and __data_end global indices are validated agains…

4b212e7

…t import count (bytecodealliance#3996)

Fix table index calculations in wasm_loader and wasm_mini_loader (byt…

ae70dbd

…ecodealliance#4004)

Add an example of how to embed WAMR in Zephyr user mode (bytecodealli…

76344d3

…ance#3998)

[fuzzing] Use software bound-check during fuzzing (bytecodealliance#4003

bb930a4

) * Update CMakeLists.txt of fuzzing - enable software bound-check - enable wasi - disable libc builtin and multiple modules * Fix off-by-one error in result offset calculation for function calls

Check whether related table has funcref elem in opcode call_indirect (b…

10b27e8

…ytecodealliance#3999) * check whether table has funcref elem in call_indirect * check whether table has funcref elem in call_indirect when gc is enabled

Improve stack consistency by ensuring sufficient space for dummy offs…

ab92fb1

…ets (bytecodealliance#4011) One more corner case: if the `frame_offset` increases and becomes equal to the `frame_offset_boundary` after the last assignment within the for loop.

Add documentation regarding security issues and the status of Wasm pr…

02d5cf3

…oposals (bytecodealliance#3972) Add documentation regarding security issues and the status of Wasm proposals.

Refine read leb int wasm loader of fast interpreter (bytecodealliance…

539d197

…#4017)

fixes for compiling on windows (bytecodealliance#4026)

6276672

Refine getting const offsets in wasm loader of fast-interp (bytecodea…

3e26320

…lliance#4012) - Refine const offsets in loader for fast-interp - handle const cell num overflow - Use const array, remove list

Fix wasm loader check data segment count (bytecodealliance#4039)

a3ef933

correctly report error when datacount section has non-zero data segment count while the data section is not present

Update Rust target from 'wasm32-wasi' to 'wasm32-wasip1' in CI (bytec…

4eb9ed0

…odealliance#4050) - update Rust target from 'wasm32-wasi' to 'wasm32-wasip1' in ci

lum1n0us and others added 23 commits June 19, 2025 03:12

Update type validation in load_table_import() and load_table() (bytec…

aebc4e5

…odealliance#4296) Prevent from value type. https://webassembly.github.io/spec/core/valid/types.html#table-types https://webassembly.github.io/gc/core/syntax/types.html#reference-types

Follow bytecodealliance#4268 to deprecate wamr_ide-related components (…

6599caa

…bytecodealliance#4341) refer to: Bypass wamr_ide-related components from the release process. (bytecodealliance#4268)

Update WABT downloads URL (bytecodealliance#4357)

d18664f

Plus, skip unsupported running mode instead quit during wamr compiler test

Collective fix for typos and minor bugs (bytecodealliance#4369)

2160d07

wasi-nn: fix backend leak on multiple loads (bytecodealliance#4366)

caf826e

cf. bytecodealliance#4340

add validation for array type in load_init_expr(GC only) (bytecodeall…

7fe7bd9

…iance#4370)

wasi_nn_openvino.c: remove broken xml check (bytecodealliance#4365)

90f9902

`xml.buf[xml.size]` check is broken because it accesses past the end of the buffer. anyway, openvino doesn't seem to care the NUL termination.

wamr-wasi-extensions: add lib-socket things (bytecodealliance#4360)

75c6032

improve installation steps for wasi-sdk and wabt on Windows (bytecode…

2c9554e

…alliance#4359)

wasi_ephemeral_nn.h: prefix identfiers to avoid too generic names (by…

b08052a

…tecodealliance#4358)

wasi_nn_openvino.c: add a missing buffer overflow check in get_output (…

26bde92

…bytecodealliance#4353) cf. bytecodealliance#4351

send an empty/error reply from server (bytecodealliance#4362)

d5a7f01

Signed-off-by: Su Yihan <[email protected]>

wasi-nn: don't try to deinit uninitialized backend (bytecodealliance#…

fa949e3

…4375) cf. bytecodealliance#4339

core/iwasm/libraries/wasi-nn/test/build.sh: add a tip for intel mac (b…

7d5c9c2

…ytecodealliance#4389) i keep forgetting this and had to re-investigate it at least twice. hopefully this can be helpful for others too.

wasi_nn_tensorflowlite.cpp: reject non-fp32 input earlier (bytecodeal…

c4110d3

…liance#4388) this backend assumes fp32 here and there. it's safer to reject unexpected inputs explicitly.

Fix several issues related to night-run CI and test scripts. (bytecod…

9d28a44

…ealliance#4385) - remove duplicated options - fix test script - change ci to use binary

core/iwasm/libraries/wasi-nn/test: use the correct version of keras (b…

64ef369

…ytecodealliance#4383)

lum1n0us force-pushed the merge_main_to_dev_zephyr branch from 7f3d0a9 to 64ef369 Compare June 19, 2025 03:13

lum1n0us changed the title ~~Merge main(cba90017495b41cb66e33ff10abf6d2e110efbb5) to dev zephyr~~ Merge main to dev zephyr Jun 19, 2025

lum1n0us marked this pull request as ready for review June 19, 2025 04:05

TianlongLiang approved these changes Jun 20, 2025

View reviewed changes

TianlongLiang merged commit 3ce5499 into bytecodealliance:dev/zephyr_file_socket Jun 20, 2025
752 of 757 checks passed

TianlongLiang deleted the merge_main_to_dev_zephyr branch June 20, 2025 01:52

lum1n0us mentioned this pull request Jun 20, 2025

Dev/zephyr file socket #4377

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Merge main to dev zephyr #4384

Merge main to dev zephyr #4384

Uh oh!

lum1n0us commented Jun 18, 2025 •

edited

Loading

Uh oh!

Uh oh!

Uh oh!

Merge main to dev zephyr #4384

Merge main to dev zephyr #4384

Uh oh!

Conversation

lum1n0us commented Jun 18, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Uh oh!

Uh oh!

lum1n0us commented Jun 18, 2025 •

edited

Loading