[llvm] [DemandedBits] Support non-constant shift amounts (PR #148880)

[Panagiotis Karouzakis via llvm-commits]

karouzakisp wrote:

I just updated all the proofs. Making changes in the code now, to reduce the complexity to L times log(L)

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