scottmcm opened PR #7710 from scottmcm:opt-extend-maybe
to bytecodealliance:main
:
Working on something else, I noticed that the
(x < y) != 0
opt was written in a way that only works for Cwhereas in Rust, which doesn't have the "usual arithmetic conversions", the result of the comparison stays as
I8
and thus without the extension it didn't match that pattern.This picks up a suggestion that alex had made in a previous PR (https://github.com/bytecodealliance/wasmtime/pull/7636#discussion_r1416208525) to make something like lowering ISLE's
maybe_uextend
extractor for optimization ISLE.They're then used to improve the mentioned icmp-of-icmp pattern
as well as simplify some of the duplication in the
<=>
patterns.
scottmcm requested elliottt for a review on PR #7710.
scottmcm requested wasmtime-compiler-reviewers for a review on PR #7710.
github-actions[bot] commented on PR #7710:
Subscribe to Label Action
cc @cfallin, @fitzgen
<details>
This issue or pull request has been labeled: "cranelift", "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>
fitzgen submitted PR review:
Nice!
fitzgen merged PR #7710.
Last updated: Dec 23 2024 at 12:05 UTC