HANDLE_OPCODE(OP_CONST_WIDE_HIGH16 /*vAA, #+BBBB000000000000*/)
vdst = INST_AA(inst);
vsrc1 = FETCH(1);
ILOGV("|const-wide/high16 v%d,#0x%04x000000000000", vdst, vsrc1);
SET_REGISTER_WIDE(vdst, ((u8) vsrc1) << 48);
FINISH(2);
OP_END