[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 @arsenm for your idea,  I already split it into 2 commit, so do you mean it is better to try them with 2 independent PRs ?

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