[llvm] [InstCombine] Support division of numbers that can be converted to a shift (PR #88220)

[Yingwei Zheng via llvm-commits]

================
@@ -1638,6 +1638,30 @@ define i32 @sdiv_mul_sub_nsw(i32 %x, i32 %y) {
   ret i32 %d
 }
 
+  define i32 @mul_by_150_udiv_by_100 (i32 %0) {
----------------
dtcxzyw wrote:

Can you provide the generalized proof?


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