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

Daniel Mokeev via llvm-commits llvm-commits at lists.llvm.org
Thu Oct 10 05:57:47 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 ]

damokeev wrote:

> > (sub (shl X, 8 - Y), (srl X, Y)) => (orc.b X)
> 
> Can you provide alive2 proofs?

Sure, let me try that!

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