https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94427
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Jan Hubicka from comment #4) > It is the same loop - it was float only in my mind (since the function > return float value :) > > With loop splitting we no longer have the last iteration check, but we still > have the underflow checks that are indeed likely predictable well and in > unvectorized version may make sense to be not if converted. > > So I guess in unvectorized loop the 100% predictable conditonal should be > still a win but vectorization should likely outweight that? I think so.
