[llvm] [InstCombine] Fix the correctness of missing check reassoc attribute (PR #71277)

[Matt Arsenault via llvm-commits]

================
@@ -607,176 +781,9 @@ Instruction *InstCombinerImpl::visitFMul(BinaryOperator &I) {
   if (Value *V = SimplifySelectsFeedingBinaryOp(I, Op0, Op1))
     return replaceInstUsesWith(I, V);
 
-  if (I.hasAllowReassoc()) {
----------------
arsenm wrote:

Oh right, I'm still getting confused by the PR interface. I would just pre-push the first commit 

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