gcstone/src/vm/mterp/x86/OP_MUL_DOUBLE_2ADDR.S

%verify "executed"
%include "x86/binflop2addr.S" {"instr":"fmull","load":"fldl","store":"fstpl"}