[Mlir-commits] [mlir] [mlir][arith] Fold subi(a, subi(a, b)) to b (PR #194134)

[Krzysztof Drewniak]

krzysz00 wrote:

Is this identity still true in the presence of overflow? Can we get an alive2?

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