1%verify "executed" 2 /* const/high16 vAA, #+BBBB0000 */ 3 movzwl 2(rPC),%eax # eax<- 0000BBBB 4 FETCH_INST_OPCODE 2 %ecx 5 ADVANCE_PC 2 6 sall $$16,%eax # eax<- BBBB0000 7 SET_VREG %eax rINST # vAA<- eax 8 GOTO_NEXT_R %ecx 9