purnima-nlp wrote: @FedericoBruzzone Thanks for the suggestion! I updated the implementation to use the checkCommutativeEquivalent callback, so it now handles other binary commutative operations as well. https://github.com/llvm/llvm-project/pull/219665