https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64031
--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> --- -ffast-math lets it vectorize (using min directly). Otherwise, for the first test, ifcvt gives (a<b)?a:b which is vectorized as such, but for the second test, it doesn't unless we pass -fno-trapping-math. That seems a bit inconsistent.