PPCI_FADD         423 lj_asm_ppc.h     emit_fab(as, PPCI_FADD, tmp, left, right);
PPCI_FADD        1263 lj_asm_ppc.h         asm_fparith(as, ir, PPCI_FADD);