[llvm] Fix non-splat vector SREM expansion when one of the divisors is a power of two. (PR #82706)

[Owen Anderson via llvm-commits]

resistor wrote:

I should add that I have exhaustively tested the new derivation at W=32 for all D=2^K.

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