| %verify "executed" | |
| /* int to long vA, vB */ | |
| movzbl rINST_HI,%ecx # ecx<- +A | |
| sarl $$12,rINST_FULL # rINST_FULL<- B | |
| GET_VREG(%eax,rINST_FULL) # eax<- vB | |
| SPILL(rPC) # will step on edx later | |
| andb $$0xf,%cl # ecx<- A | |
| cltd # edx:eax<- sssssssBBBBBBBB | |
| SET_VREG_WORD(%edx,%ecx,1) # v[A+1]<- edx/rPC | |
| UNSPILL(rPC) | |
| SET_VREG_WORD(%eax,%ecx,0) # v[A+0]<- %eax | |
| FETCH_INST_WORD(1) | |
| ADVANCE_PC(1) | |
| GOTO_NEXT |