https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102224
--- Comment #7 from Gabriel Ravier <gabravier at gmail dot com> --- Also, `-ffast-math` seems to "fix" this, since in that case the code is recognized as an ABS_EXPR pattern and as such results in the same code being emitted without the xor. Is there any reason this isn't the case without fast math ? I'd assume the xor wouldn't do anything w.r.t. conformance, personally.