[llvm] [RISCV] Combine trunc (srl zext (x), zext (y)) to srl (x, umin (y, scalarsizeinbits(y) - 1)) (PR #69092)

via llvm-commits llvm-commits at lists.llvm.org
Mon Oct 16 10:58:36 PDT 2023


LWenH wrote:

> Specifically I think #65728 is fine because sra has the property that ` ∀ n : nat. (sra x, sew-1) = (sra x, sew-1+n)`, but srl doesn't i.e. `(srl x, sew-1) != (srl x, sew)`

Yeah, still big difference between vsrl and vsra, but through this I think lg2(sew) is still not enough for vsrl, logical right shift can reach the sew bits, that’s interesting.

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


More information about the llvm-commits mailing list