================ @@ -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