PPCI_ADDIS        483 lj_asm_ppc.h   	emit_tai(as, PPCI_ADDIS, dest, dest, 0x8000);  /* dest += 2^31 */
PPCI_ADDIS        741 lj_asm_ppc.h   	emit_tai(as, PPCI_ADDIS, tmp2, key, (HASH_BIAS + 32768)>>16);
PPCI_ADDIS        785 lj_asm_ppc.h       emit_tai(as, PPCI_ADDIS, dest, dest, (ofs + 32768) >> 16);
PPCI_ADDIS       1283 lj_asm_ppc.h   	emit_tai(as, PPCI_ADDIS, dest, left, (k >> 16));
PPCI_ADDIS       1286 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);