Hi! On Thu, Sep 22, 2022 at 05:59:07PM +0800, HAO CHEN GUI wrote: > >> I still think we should get RTL codes for this, to have access to proper > >> floating point min/max semantics always and everywhere. "fmin" and > >> "fmax" seem to be good names :-) > > > > It would be good, especially if we have observed some uses of these bifs > > and further opportunities around them. :) > > > Shall we submit a PR to add fmin/fmax to RTL codes?
Yes, please do. If we have fmin/fmax RTL codes that describe the standard semantics, we can generate code for that with -ffast-math as well, since the code generated is optimal in either case; it's just the *generic* optimisations that fall behind. Segher
