[llvm] Reland "[InstCombine] Fold (sub nuw X, (Y << nuw Z)) >>u exact Z --> (X >>u exact Z) sub nuw Y" (PR #93571)

[Yingwei Zheng via llvm-commits]

https://github.com/dtcxzyw edited https://github.com/llvm/llvm-project/pull/93571