PPCI_XORIS        406 lj_asm_ppc.h     emit_asi(as, PPCI_XORIS, RID_TMP, dest, 0x8000);
PPCI_XORIS        465 lj_asm_ppc.h         if (st != IRT_U32) emit_asi(as, PPCI_XORIS, RID_TMP, left, 0x8000);
PPCI_XORIS       1086 lj_asm_ppc.h   	emit_asi(as, PPCI_XORIS, tmp, tmp, 0x8000);
PPCI_XORIS       1742 lj_asm_ppc.h       emit_asi(as, PPCI_XORIS, tmp2, right, 0x8000);
PPCI_XORIS       1743 lj_asm_ppc.h       emit_asi(as, PPCI_XORIS, tmp1, left, 0x8000);
PPCI_XORIS       1789 lj_asm_ppc.h   	  emit_asi(as, PPCI_XORIS, RID_TMP, left, (k >> 16));
PPCI_XORIS        216 lj_emit_ppc.h      emit_asi(as, PPCI_XORIS, RID_TMP, r, (k >> 16));