   /*
    * File: OP_MUL_DOUBLE.S
    */

    movzbl   2(rPC),%eax                # eax<- BB
    movzbl   3(rPC),%ecx                # ecx<- CC
    # TODO: movsd?
    movq        (rFP, %eax, 4), %xmm0   # %xmm0<- vBB
    movq        (rFP, %ecx, 4), %xmm1   # %xmm1<- vCC
    FETCH_INST_OPCODE 2 %ecx
    mulsd       %xmm1, %xmm0
    ADVANCE_PC 2
    movq        %xmm0, (rFP, rINST, 4)  # vAA<- vBB * vCC
    GOTO_NEXT_R %ecx
