[llvm] [InstCombine] Fold Minimum over Trailing/Leading Bits Counts (PR #90402)

[via llvm-commits]

goldsteinn wrote:

For a PR like this, proofs for just `i8` is sufficient. Also you don't need to declare llvm intrinsics. https://alive2.llvm.org/ce/z/y8Hdb8 would have been sufficient.

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