PPCI_SUBFIC      1319 lj_asm_ppc.h   	emit_tai(as, PPCI_SUBFIC, dest, right, k);
PPCI_SUBFIC      1471 lj_asm_ppc.h         emit_tai(as, PPCI_SUBFIC, dest, right, k);
PPCI_SUBFIC      1487 lj_asm_ppc.h     emit_tai(as, PPCI_SUBFIC, dest, left, 0);