1%verify "executed" 2 /* const/16 vAA, #+BBBB */ 3 movswl 2(rPC),%ecx # ecx<- ssssBBBB 4 FETCH_INST_OPCODE 2 %eax 5 ADVANCE_PC 2 6 SET_VREG %ecx rINST # vAA<- ssssBBBB 7 GOTO_NEXT_R %eax 8