[Bug target/96793] __builtin_floor produces wrong result when rounding direction is FE_DOWNWARD

[ubizjak at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96793

--- Comment #9 from Uroš Bizjak <ubizjak at gmail dot com> ---
(In reply to Paweł Bylica from comment #8)
> Did you consider fixing the __builtin_floor() implementation?

No, because you can use -msse4 to generate ROUNDxx instructions.