Stream: git-wasmtime

Topic: wasmtime / issue #5709 Add egraph rules to generate `bnot...

Wasmtime GitHub notifications bot (Feb 04 2023 at 01:22):

alexcrichton commented on issue #5709:

Alternatively instead of modifying clif one possibility would be to split apart band_not during either legalization or during egraph optimizations and then have the backend pattern match both band_not and (band (bnot ..))

Wasmtime GitHub notifications bot (Feb 04 2023 at 01:28):

cfallin commented on issue #5709:

The general tack we've taken is to decompose ops, so yes, removing the _not variants and making backends match when able to use andn instructions seems like the better approach here. In general the more "normalized" our IR is, the easier it'll be to write rules that apply appropriately. cc @elliottt -- something we can think about next week...

Last updated: Oct 23 2024 at 20:03 UTC