When FPU32 is enabled in relaxed floating-point mode, code that calls the RTS functions fmaxf and fminf should use instructions MAXF32 and MINF32, instead of calls to the library functions. You can get these instructions by using __fmax instead off fmaxf and __fmin instead of fminf.