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

[via llvm-commits]

================
@@ -177,6 +177,15 @@ void Instruction::setNonNeg(bool b) {
                          (b * PossiblyNonNegInst::NonNeg);
 }
 
+bool Instruction::hasAllowReassocOfAllOperand() const {
----------------
vfdff wrote:

Thank you for your confirmation, so I'll continue to try to fix it as discussed earlier.

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