[clang] [llvm] [InstCombine] Combine ((ext(A) * ext(B)) >> N) -> ext(mulh(A, B)). (PR #224311)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> Are there any optimizations on these intrinsics we should implement before we start canonicalizing to them?

I don't find any regressions in the diff. Surprisingly vectorization also seems unaffected.
I am fine with merging this if the backend is ready.


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