Stream: git-wasmtime

Topic: wasmtime / PR #11824 Manually implement libcalls in crane...


view this post on Zulip Wasmtime GitHub notifications bot (Oct 08 2025 at 21:24):

alexcrichton requested fitzgen for a review on PR #11824.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 08 2025 at 21:24):

alexcrichton requested wasmtime-compiler-reviewers for a review on PR #11824.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 08 2025 at 21:24):

alexcrichton opened PR #11824 from alexcrichton:fiz-cranelift-fuzzgen-fuzz to bytecodealliance:main:

Instead of relying on the system libm to provide the implementation of these libcalls through dlopen this commit instead changes cranelift-filetests to use handwritten implementations of various libcalls. This has the primary benefit of ensuring that the same implementation is used in both the interpreter and compiled code when libcalls are made. This ensure that during differential fuzzing explicit invocations of libcalls will produce the same result, even with respect to NaN bits, since the implementation is the same (whatever the Rust standard library does).

<!--
Please make sure you include the following information:

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

view this post on Zulip Wasmtime GitHub notifications bot (Oct 13 2025 at 17:26):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 13 2025 at 18:14):

alexcrichton updated PR #11824.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 13 2025 at 18:15):

alexcrichton has enabled auto merge for PR #11824.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 13 2025 at 18:57):

alexcrichton updated PR #11824.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 13 2025 at 18:57):

alexcrichton requested rvolosatovs for a review on PR #11824.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 13 2025 at 18:57):

alexcrichton requested wasmtime-default-reviewers for a review on PR #11824.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 13 2025 at 18:58):

alexcrichton updated PR #11824.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 13 2025 at 18:58):

alexcrichton has enabled auto merge for PR #11824.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 13 2025 at 19:58):

alexcrichton updated PR #11824.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 13 2025 at 19:59):

alexcrichton has enabled auto merge for PR #11824.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 13 2025 at 20:39):

alexcrichton merged PR #11824.


Last updated: Dec 06 2025 at 06:05 UTC