1%verify "executed"
2    /*
3     * 32-bit binary multiplication.
4     */
5    /* mul vAA, vBB, vCC */
6    movzbl   2(rPC),%eax            # eax<- BB
7    movzbl   3(rPC),%ecx            # ecx<- CC
8    GET_VREG_R %eax %eax            # eax<- vBB
9    SPILL(rIBASE)
10    imull    (rFP,%ecx,4),%eax      # trashes rIBASE/edx
11    UNSPILL(rIBASE)
12    FETCH_INST_OPCODE 2 %ecx
13    ADVANCE_PC 2
14    SET_VREG %eax rINST
15    GOTO_NEXT_R %ecx
16