[Mlir-commits] [mlir] [MLIR][Arith] Partially fold and / or / xor const tripples (PR #195588)

[Max Graey]

MaxGraey wrote:

> There was some discussion at some point for declarative patterns to be compiled to try to be matching both sides when the op is commutative, maybe we could give it a try again to implement it?

I think we can only do this when at least one operand is const. In the general case this may lead to a combinatorial explosion or infinite permutation loop. I think that’s exactly why Reassociate is a fairly specialized pass which try to avoid this bad stuff

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