1 %verify "executed" 2 /* mul vA, vB */ 3 movzx rINST_HI,%ecx # ecx<- A+ 4 sarl $$12,rINST_FULL # rINST_FULL<- B 5 GET_VREG(%eax,rINST_FULL) # eax<- vB 6 andb $$0xf,%cl # ecx<- A 7 SPILL(rPC) 8 imull (rFP,%ecx,4),%eax 9 UNSPILL(rPC) 10 SET_VREG(%eax,%ecx) 11 FETCH_INST_WORD(1) 12 ADVANCE_PC(1) 13 GOTO_NEXT 14