1%verify "executed" 2 /* const-wide/32 vAA, #+BBBBbbbb */ 3 movl 2(rPC),%eax # eax<- BBBBbbbb 4 SPILL(rPC) 5 movzbl rINST_HI,%ecx # ecx<- AA 6 FETCH_INST_WORD(3) 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(3) 12 GOTO_NEXT 13