[llvm] [InstCombine] Simplification for (-a * b) / (a * b) and (a - b) / (b - a). (PR #71768)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Wed Nov 8 21:39:13 PST 2023

Previous message: [llvm] [InstCombine] Simplification for (-a * b) / (a * b) and (a - b) / (b - a). (PR #71768)
Next message: [llvm] [InstCombine] Simplification for (-a * b) / (a * b) and (a - b) / (b - a). (PR #71768)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

dtcxzyw wrote:

Alive2 proof: https://alive2.llvm.org/ce/z/AYRxRU

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

Previous message: [llvm] [InstCombine] Simplification for (-a * b) / (a * b) and (a - b) / (b - a). (PR #71768)
Next message: [llvm] [InstCombine] Simplification for (-a * b) / (a * b) and (a - b) / (b - a). (PR #71768)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list