1%verify "executed"
2    /* mul/lit8 vAA, vBB, #+CC */
3    movzbl    2(rPC),%eax              # eax<- BB
4    movsbl    3(rPC),%ecx              # ecx<- ssssssCC
5    GET_VREG_R   %eax %eax             # eax<- rBB
6    SPILL(rIBASE)
7    imull     %ecx,%eax                # trashes rIBASE/edx
8    UNSPILL(rIBASE)
9    FETCH_INST_OPCODE 2 %ecx
10    ADVANCE_PC 2
11    SET_VREG  %eax rINST
12    GOTO_NEXT_R %ecx
13