1HANDLE_OPCODE(OP_CONST_HIGH16 /*vAA, #+BBBB0000*/)
2    vdst = INST_AA(inst);
3    vsrc1 = FETCH(1);
4    ILOGV("|const/high16 v%d,#0x%04x0000", vdst, vsrc1);
5    SET_REGISTER(vdst, vsrc1 << 16);
6    FINISH(2);
7OP_END
8