DefUseInterpreter binaryOperation() for xALOAD