1%verify "executed" 2 /* mul/lit16 vA, vB, #+CCCC */ 3 /* Need A in rINST_FULL, ssssCCCC in ecx, vB in eax */ 4 movzbl rINST_HI,%eax # eax<- 000000BA 5 sarl $$4,%eax # eax<- B 6 GET_VREG(%eax,%eax) # eax<- vB 7 movswl 2(rPC),%ecx # ecx<- ssssCCCC 8 SPILL(rPC) 9 movzbl rINST_HI,rINST_FULL # rINST_FULL<- BA 10 andb $$0xf,rINST_LO # rINST_FULL<- A 11 imull %ecx,%eax # trashes rPC 12 UNSPILL(rPC) 13 SET_VREG(%eax,rINST_FULL) 14 FETCH_INST_WORD(2) 15 ADVANCE_PC(2) 16 GOTO_NEXT 17