Wasmtime GitHub notifications bot (May 03 2024 at 10:47): 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/fmaxminstructions 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}minstructions implemented in this PR are pretty much the same as the basefmin/fmaxpresent in the ISA, but they have different NaN behavior, that conveniently matches the semantics of Cranelift'sfmin/fmaxinstructions, allowing for a more efficient lowering.
Wasmtime GitHub notifications bot (May 03 2024 at 10:47):afonso360 requested elliottt for a review on PR #8536.
Wasmtime GitHub notifications bot (May 03 2024 at 10:47):afonso360 requested wasmtime-compiler-reviewers for a review on PR #8536.
Wasmtime GitHub notifications bot (May 03 2024 at 10:51):afonso360 requested wasmtime-default-reviewers for a review on PR #8536.
Wasmtime GitHub notifications bot (May 03 2024 at 10:51):afonso360 updated PR #8536.
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:
- cfallin: isle
- fitzgen: isle
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
Wasmtime GitHub notifications bot (May 03 2024 at 15:25):alexcrichton submitted PR review:
Nice!
Wasmtime GitHub notifications bot (May 03 2024 at 15:49):alexcrichton merged PR #8536.
Last updated: Dec 13 2025 at 19:03 UTC