PPCI_SUBFIC      1273 lj_asm_ppc.h   	emit_tai(as, PPCI_SUBFIC, dest, right, k);
PPCI_SUBFIC      1407 lj_asm_ppc.h         emit_tai(as, PPCI_SUBFIC, dest, right, k);
PPCI_SUBFIC      1423 lj_asm_ppc.h     emit_tai(as, PPCI_SUBFIC, dest, left, 0);