[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:

It this valid for y > 7? E.g. `(trunc (srl (zext 128 to i32), (zext 8 to i32)) to i8) = 0`, but if we clip y to `umin(y, scalarsizeinbits(y) - 1)` then we get `(srl 128, 7) = 1`

https://alive2.llvm.org/ce/z/T28oxz

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