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

[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()) {
----------------
vfdff wrote:

Thanks very much, now it is clear, and I'll try address your previous commit.

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