[llvm] [DAG][X86]added shrd in combineor for bzhiq+shlq+or (PR #125734)

Simon Pilgrim via llvm-commits llvm-commits at lists.llvm.org
Fri Mar 21 01:56:56 PDT 2025

Previous message: [llvm] [DAG][X86]added shrd in combineor for bzhiq+shlq+or (PR #125734)
Next message: [llvm] [DAG][X86]added shrd in combineor for bzhiq+shlq+or (PR #125734)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

RKSimon wrote:

@shalini-nik have you been able to create an alive2 proof for your solution yet please?

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

Previous message: [llvm] [DAG][X86]added shrd in combineor for bzhiq+shlq+or (PR #125734)
Next message: [llvm] [DAG][X86]added shrd in combineor for bzhiq+shlq+or (PR #125734)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list