Stream: git-wasmtime

Topic: wasmtime / PR #8536 riscv64: Add minimal support for the ...


view this post on Zulip Wasmtime GitHub notifications bot (May 03 2024 at 10:47):

afonso360 opened PR #8536 from afonso360:riscv-zfa to bytecodealliance:main:

:wave: Hey,

This PR adds initial support for the Zfa extension and implements the fminm/fmaxm instructions and lowerings.

The Zfa extension provides additional floating point related instructions not included in either F/D extensions. Here's a link to version 1 of the extension if anyone feels up to some light reading.

The f{min,max}m instructions implemented in this PR are pretty much the same as the base fmin/fmax present in the ISA, but they have different NaN behavior, that conveniently matches the semantics of Cranelift's fmin/fmax instructions, allowing for a more efficient lowering.

view this post on Zulip Wasmtime GitHub notifications bot (May 03 2024 at 10:47):

afonso360 requested elliottt for a review on PR #8536.

view this post on Zulip Wasmtime GitHub notifications bot (May 03 2024 at 10:47):

afonso360 requested wasmtime-compiler-reviewers for a review on PR #8536.

view this post on Zulip Wasmtime GitHub notifications bot (May 03 2024 at 10:51):

afonso360 requested wasmtime-default-reviewers for a review on PR #8536.

view this post on Zulip Wasmtime GitHub notifications bot (May 03 2024 at 10:51):

afonso360 updated PR #8536.

view this post on Zulip Wasmtime GitHub notifications bot (May 03 2024 at 13:44):

github-actions[bot] commented on PR #8536:

Subscribe to Label Action

cc @cfallin, @fitzgen

<details>
This issue or pull request has been labeled: "cranelift", "cranelift:area:riscv64", "cranelift:meta", "isle"

Thus the following users have been cc'd because of the following labels:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (May 03 2024 at 15:25):

alexcrichton submitted PR review:

Nice!

view this post on Zulip Wasmtime GitHub notifications bot (May 03 2024 at 15:49):

alexcrichton merged PR #8536.


Last updated: Nov 22 2024 at 16:03 UTC