[llvm] [LLVM] Improve the DemandedBits Analysis (PR #148880)

[Yingwei Zheng via llvm-commits]

https://github.com/dtcxzyw commented:

Please provide the alive2 proof. See also my previous comment https://github.com/llvm/llvm-project/pull/148853#pullrequestreview-3021204187

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