[llvm] [InstCombine] Handle `ICMP_EQ` when flooring by constant two (PR #73706)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Wed Nov 29 00:47:29 PST 2023

Previous message: [llvm] [InstCombine] Handle `ICMP_EQ` when flooring by constant two (PR #73706)
Next message: [llvm] [InstCombine] Handle `ICMP_EQ` when flooring by constant two (PR #73706)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

nikic wrote:

Can you please add an alive2 proof?

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

Previous message: [llvm] [InstCombine] Handle `ICMP_EQ` when flooring by constant two (PR #73706)
Next message: [llvm] [InstCombine] Handle `ICMP_EQ` when flooring by constant two (PR #73706)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list