PPCI_XORIS        410 lj_asm_ppc.h     emit_asi(as, PPCI_XORIS, RID_TMP, dest, 0x8000);
PPCI_XORIS        464 lj_asm_ppc.h         if (st != IRT_U32) emit_asi(as, PPCI_XORIS, RID_TMP, left, 0x8000);
PPCI_XORIS       1051 lj_asm_ppc.h   	emit_asi(as, PPCI_XORIS, tmp, tmp, 0x8000);
PPCI_XORIS       1636 lj_asm_ppc.h       emit_asi(as, PPCI_XORIS, tmp2, right, 0x8000);
PPCI_XORIS       1637 lj_asm_ppc.h       emit_asi(as, PPCI_XORIS, tmp1, left, 0x8000);
PPCI_XORIS       1680 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));