1%verify "executed"
2    /* const-wide/16 vAA, #+BBBB */
3    movswl    2(rPC),%eax               # eax<- ssssBBBB
4    SPILL(rIBASE)                       # preserve rIBASE (cltd trashes it)
5    cltd                                # rIBASE:eax<- ssssssssssssBBBB
6    SET_VREG_WORD rIBASE rINST 1        # store msw
7    FETCH_INST_OPCODE 2 %ecx
8    UNSPILL(rIBASE)                     # restore rIBASE
9    SET_VREG_WORD %eax rINST 0          # store lsw
10    ADVANCE_PC 2
11    GOTO_NEXT_R %ecx
12