1%verify "executed" 2 /* mul/lit8 vAA, vBB, #+CC */ 3 movzbl 2(rPC),%eax # eax<- BB 4 movsbl 3(rPC),%ecx # ecx<- ssssssCC 5 SPILL(rPC) 6 movzx rINST_HI,rINST_FULL # rINST_FULL<- AA 7 GET_VREG (%eax,%eax) # eax<- rBB 8 imull %ecx,%eax # trashes rPC 9 UNSPILL(rPC) 10 SET_VREG (%eax,rINST_FULL) 11 FETCH_INST_WORD(2) 12 ADVANCE_PC(2) 13 GOTO_NEXT 14 15