1%verify "executed" 2 /* const-wide/16 vAA, #+BBBB */ 3 movswl 2(rPC),%eax # eax<- ssssBBBB 4 SPILL(rPC) 5 movzbl rINST_HI,%ecx # ecx<- AA 6 FETCH_INST_WORD(2) 7 cltd # rPC:eax<- ssssssssssssBBBB 8 SET_VREG_WORD(rPC,%ecx,1) # store msw 9 UNSPILL(rPC) 10 SET_VREG_WORD(%eax,%ecx,0) # store lsw 11 ADVANCE_PC(2) 12 GOTO_NEXT 13