1%verify "executed" 2 /* int to long vA, vB */ 3 movzbl rINST_HI,%ecx # ecx<- +A 4 sarl $$12,rINST_FULL # rINST_FULL<- B 5 GET_VREG(%eax,rINST_FULL) # eax<- vB 6 SPILL(rPC) # will step on edx later 7 andb $$0xf,%cl # ecx<- A 8 cltd # edx:eax<- sssssssBBBBBBBB 9 SET_VREG_WORD(%edx,%ecx,1) # v[A+1]<- edx/rPC 10 UNSPILL(rPC) 11 SET_VREG_WORD(%eax,%ecx,0) # v[A+0]<- %eax 12 FETCH_INST_WORD(1) 13 ADVANCE_PC(1) 14 GOTO_NEXT 15