PPCI_FADD         428 lj_asm_ppc.h     emit_fab(as, PPCI_FADD, tmp, left, right);
PPCI_FADD        1222 lj_asm_ppc.h         asm_fparith(as, ir, PPCI_FADD);