[Mlir-commits] [mlir] [mlir][arith] Fold addi(x, not(x)) -> -1 (PR #212272)

[Max Graey]

MaxGraey wrote:

I think having a specialized fast path for fold makes sense, especially since the canonicalization rewrite rules would likely need a one-use guard. But I'm wondering how often patterns like `~x - x` or `x - ~x` actually occur in realworld code? It seem this quire rare to me.

https://github.com/llvm/llvm-project/pull/212272