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

[Longsheng Mou]

CoTinker wrote:

Alive2 output like this? https://alive2.llvm.org/ce/z/CzTW_9

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