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

[Luke Lau via llvm-commits]

lukel97 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)`

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