https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63387
--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> --- Thanks. The simplify pattern probably needs an extra test that the types of @0 and @1 are compatible, so we don't try to produce unord(float,double). In that case, it isn't as obvious that converting the first argument to double then using unord would be better than 2 isnan, but it may still be worth it. Now we have to wait until the branch that handles those patterns gets merged.
