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

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Wed Jun 5 12:01:53 PDT 2024

Previous message: [llvm] 1d87433 - [x86] Add tan intrinsic part 4 (#90503)
Next message: [llvm] [InstCombine] Simplify fractions when there is no overflow (PR #92949)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

nikic wrote:

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

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

Previous message: [llvm] 1d87433 - [x86] Add tan intrinsic part 4 (#90503)
Next message: [llvm] [InstCombine] Simplify fractions when there is no overflow (PR #92949)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list