1 %verify "executed" 2 /* const-wide/high16 vAA, #+BBBB000000000000 */ 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_WORD %eax rINST 1 # v[AA+1]<- eax 8 xorl %eax,%eax 9 SET_VREG_WORD %eax rINST 0 # v[AA+0]<- eax 10 GOTO_NEXT_R %ecx 11