[llvm] [InstCombine] Simplify fractions when there is no overflow (PR #92949)

via llvm-commits llvm-commits at lists.llvm.org
Wed Jun 5 12:48:19 PDT 2024

Previous message: [llvm] [InstCombine] Simplify fractions when there is no overflow (PR #92949)
Next message: [llvm] 3ac6a64 - [RISCV][test] Precommit LSR test that partially motivates #89927
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

AtariDreams wrote:

> Could you please update the alive2 proofs in the way @goldsteinn suggested?

Done!

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

Previous message: [llvm] [InstCombine] Simplify fractions when there is no overflow (PR #92949)
Next message: [llvm] 3ac6a64 - [RISCV][test] Precommit LSR test that partially motivates #89927
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list