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 SPILL(rPC) 9 GET_VREG(%eax,%eax) # eax<- vBB 10 imull (rFP,%ecx,4),%eax # trashes rPC/edx 11 UNSPILL(rPC) 12 movzbl rINST_HI,%ecx # ecx<- AA 13 FETCH_INST_WORD(2) 14 ADVANCE_PC(2) 15 SET_VREG(%eax,%ecx) 16 GOTO_NEXT 17