DefUseInterpreter binaryOperation() for IF_xCMPxx