| %verify "executed" | |
| /* int to long vA, vB */ | |
| movzbl rINSTbl,%eax # eax<- +A | |
| sarl $$4,%eax # eax<- B | |
| GET_VREG_R %eax %eax # eax<- vB | |
| andb $$0xf,rINSTbl # rINST<- A | |
| cltd # edx:eax<- sssssssBBBBBBBB | |
| SET_VREG_WORD %edx rINST 1 # v[A+1]<- edx/rPC | |
| FETCH_INST_OPCODE 1 %edx | |
| SET_VREG_WORD %eax rINST 0 # v[A+0]<- %eax | |
| ADVANCE_PC 1 | |
| GOTO_NEXT_R %edx |