1%verify "executed"
2    /* mul/lit16 vA, vB, #+CCCC */
3    /* Need A in rINST, ssssCCCC in ecx, vB in eax */
4    movzbl   rINSTbl,%eax               # eax<- 000000BA
5    sarl     $$4,%eax                   # eax<- B
6    GET_VREG_R %eax %eax                # eax<- vB
7    movswl   2(rPC),%ecx                # ecx<- ssssCCCC
8    andb     $$0xf,rINSTbl              # rINST<- A
9    SPILL(rIBASE)
10    imull     %ecx,%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