[llvm] [SDAG] Simplify is-power-of-2 codegen (PR #72275)

Simon Pilgrim via llvm-commits llvm-commits at lists.llvm.org
Tue Nov 14 12:27:44 PST 2023

Previous message: [llvm] [SDAG] Simplify is-power-of-2 codegen (PR #72275)
Next message: [llvm] [SDAG] Simplify is-power-of-2 codegen (PR #72275)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

RKSimon wrote:

Do you have an alive2 proof please?

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

Previous message: [llvm] [SDAG] Simplify is-power-of-2 codegen (PR #72275)
Next message: [llvm] [SDAG] Simplify is-power-of-2 codegen (PR #72275)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list