https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77644
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Well, even generally sqrt (X) CMP sqrt (Y) -> X CMP Y at least if there are no NaNs and with -funsafe-math-optimization (because rounding effects could make sqrt (X) == sqrt (Y) when X != Y).