A64_MOVK
emit(A64_MOVK(is64, reg, lo, 0), ctx);
emit(A64_MOVK(is64, reg, hi, 16), ctx);
emit(A64_MOVK(1, reg, (nrm_tmp >> shift) & 0xffff, shift), ctx);
emit(A64_MOVK(1, reg, tmp & 0xffff, shift), ctx);