[llvm] [RISCV] Generalize (sub zext, zext) -> (sext (sub zext, zext)) to add (PR #86248)

via llvm-commits llvm-commits at lists.llvm.org
Fri Mar 22 08:46:39 PDT 2024

Previous message: [llvm] [RISCV] Generalize (sub zext, zext) -> (sext (sub zext, zext)) to add (PR #86248)
Next message: [llvm] [RISCV] Generalize (sub zext, zext) -> (sext (sub zext, zext)) to add (PR #86248)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

sun-jacobi wrote:

Alive2 proof without `--disable-undef-input`: https://alive2.llvm.org/ce/z/CkgjUj

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

Previous message: [llvm] [RISCV] Generalize (sub zext, zext) -> (sext (sub zext, zext)) to add (PR #86248)
Next message: [llvm] [RISCV] Generalize (sub zext, zext) -> (sext (sub zext, zext)) to add (PR #86248)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list