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

[Matt Arsenault via llvm-commits]

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

This seems overly broad for what most checks want, which need to consider a specific operand 

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