1%verify "executed" 2 /* int to long vA, vB */ 3 movzbl rINSTbl,%eax # eax<- +A 4 sarl $$4,%eax # eax<- B 5 GET_VREG_R %eax %eax # eax<- vB 6 andb $$0xf,rINSTbl # rINST<- A 7 SPILL(rIBASE) # cltd trashes rIBASE/edx 8 cltd # rINST:eax<- sssssssBBBBBBBB 9 SET_VREG_WORD rIBASE rINST 1 # v[A+1]<- rIBASE/rPC 10 FETCH_INST_OPCODE 1 %ecx 11 UNSPILL(rIBASE) 12 SET_VREG_WORD %eax rINST 0 # v[A+0]<- %eax 13 ADVANCE_PC 1 14 GOTO_NEXT_R %ecx 15