PPCI_ADDIS        482 lj_asm_ppc.h   	emit_tai(as, PPCI_ADDIS, dest, dest, 0x8000);  /* dest += 2^31 */
PPCI_ADDIS        727 lj_asm_ppc.h   	emit_tai(as, PPCI_ADDIS, tmp2, key, (HASH_BIAS + 32768)>>16);
PPCI_ADDIS        771 lj_asm_ppc.h       emit_tai(as, PPCI_ADDIS, dest, dest, (ofs + 32768) >> 16);
PPCI_ADDIS       1240 lj_asm_ppc.h   	emit_tai(as, PPCI_ADDIS, dest, left, (k >> 16));
PPCI_ADDIS       1243 lj_asm_ppc.h   	emit_tai(as, PPCI_ADDIS, dest, dest, (k + 32768) >> 16);
PPCI_ADDIS        226 lj_emit_ppc.h        emit_tai(as, PPCI_ADDIS, r, r, (ofs + 32768) >> 16);