================
@@ -536,6 +536,21 @@ class FunctionDifferenceEngine {
return true;
}
+ if (L->getNumOperands() == 2 &&
+ Instruction::isAssociative(L->getOpcode())) {
----------------
nikic wrote:
This should be isCommutative(), not isAssociative().
https://github.com/llvm/llvm-project/pull/123314