[llvm] Missing opt with ctlz and shifts of power of 2 constants (#41333) (PR #74175)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Fri Dec 1 21:53:44 PST 2023

Previous message: [llvm] Missing opt with ctlz and shifts of power of 2 constants (#41333) (PR #74175)
Next message: [llvm] Missing opt with ctlz and shifts of power of 2 constants (#41333) (PR #74175)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

dtcxzyw wrote:

Could you please add the alive2 proof to the PR description? 


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

Previous message: [llvm] Missing opt with ctlz and shifts of power of 2 constants (#41333) (PR #74175)
Next message: [llvm] Missing opt with ctlz and shifts of power of 2 constants (#41333) (PR #74175)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list