[llvm] [RISCV] Add DAG combine to turn (sub (shl X, 8-Y), (shr X, Y)) into orc.b (PR #111828)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Thu Oct 10 05:53:44 PDT 2024

Previous message: [llvm] [RISCV] Add DAG combine to turn (sub (shl X, 8-Y), (shr X, Y)) into orc.b (PR #111828)
Next message: [llvm] [RISCV] Add DAG combine to turn (sub (shl X, 8-Y), (shr X, Y)) into orc.b (PR #111828)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

dtcxzyw wrote:

> (sub (shl X, 8 - Y), (srl X, Y)) => (orc.b X)

Can you provide alive2 proofs?


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

Previous message: [llvm] [RISCV] Add DAG combine to turn (sub (shl X, 8-Y), (shr X, Y)) into orc.b (PR #111828)
Next message: [llvm] [RISCV] Add DAG combine to turn (sub (shl X, 8-Y), (shr X, Y)) into orc.b (PR #111828)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list