You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In HEIR, our mod_arith Dialect, which models arithmetic modulo some (frequently non-power-of-two) modulus, could benefit from similar arithmetization patterns.
The text was updated successfully, but these errors were encountered:
Upstream MLIR defines a whole range of peephole optimizations for operations in the
arith
dialect in the form of canonicalization patterns.In HEIR, our
mod_arith
Dialect, which models arithmetic modulo some (frequently non-power-of-two) modulus, could benefit from similar arithmetization patterns.The text was updated successfully, but these errors were encountered: