asm_sfpmin_max   1612 lj_asm_arm.h   static void asm_sfpmin_max(ASMState *as, IRIns *ir, int cc)
asm_sfpmin_max   2044 lj_asm_mips.h  static void asm_sfpmin_max(ASMState *as, IRIns *ir)
asm_sfpmin_max   1687 lj_asm_ppc.h   static void asm_sfpmin_max(ASMState *as, IRIns *ir)