[Mlir-commits] [mlir] [mlir][arith] Fold trivial integer division and remainder (PR #212074)

Jakub Kuderski llvmlistbot at llvm.org
Sat Jul 25 16:53:37 PDT 2026

Previous message: [Mlir-commits] [mlir] [mlir][arith] Fold trivial integer division and remainder (PR #212074)
Next message: [Mlir-commits] [mlir] [mlir][arith] Fold trivial integer division and remainder (PR #212074)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

kuhar wrote:

+1, this needs alive2 proofs

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

Previous message: [Mlir-commits] [mlir] [mlir][arith] Fold trivial integer division and remainder (PR #212074)
Next message: [Mlir-commits] [mlir] [mlir][arith] Fold trivial integer division and remainder (PR #212074)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Mlir-commits mailing list