[llvm] InstCombine: improve optimizations for ceiling division with no overflow (PR #142869)

via llvm-commits llvm-commits at lists.llvm.org
Sat Jun 7 13:58:24 PDT 2025

Previous message: [llvm] InstCombine: improve optimizations for ceiling division with no overflow (PR #142869)
Next message: [llvm] InstCombine: improve optimizations for ceiling division with no overflow (PR #142869)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

gaynor-anthropic wrote:

thanks for your help on the generalized proof!

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

Previous message: [llvm] InstCombine: improve optimizations for ceiling division with no overflow (PR #142869)
Next message: [llvm] InstCombine: improve optimizations for ceiling division with no overflow (PR #142869)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list