| %verify "executed" | |
| /* mul/lit8 vAA, vBB, #+CC */ | |
| movzbl 2(rPC),%eax # eax<- BB | |
| movsbl 3(rPC),%ecx # ecx<- ssssssCC | |
| GET_VREG_R %eax %eax # eax<- rBB | |
| SPILL(rIBASE) | |
| imull %ecx,%eax # trashes rIBASE/edx | |
| UNSPILL(rIBASE) | |
| FETCH_INST_OPCODE 2 %ecx | |
| ADVANCE_PC 2 | |
| SET_VREG %eax rINST | |
| GOTO_NEXT_R %ecx |