NaN handling fixes

Author: frederik-h

llvm/lib/CodeGen/ExpandFp.cpp

@@ -262,11 +262,10 @@ class FRemExpander {
     Ret = B.CreateSelect(B.CreateFCmpOEQ(Y, ConstantFP::get(FremTy, 0.0)), Nan,
                          Ret);
     FPClassTest NotNan = FPClassTest::fcInf | FPClassTest::fcFinite;
-    Value *YNotNan = isKnownNeverNaN(Y, /*Depth=*/0, SQ)
-                         ? B.getTrue()
-                         : B.createIsFPClass(Y, NotNan);
+    Value *YNotNan =
+        isKnownNeverNaN(Y, 0, SQ) ? B.getTrue() : B.createIsFPClass(Y, NotNan);
     Value *XFinite = isKnownNeverInfinity(X, 0, SQ)
-                         ? B.getFalse()
+                         ? B.getTrue()
                          : B.createIsFPClass(X, FPClassTest::fcFinite);
     Value *C = B.CreateLogicalAnd(YNotNan, XFinite);
     Ret = B.CreateSelect(C, Ret, Nan);
@@ -300,7 +299,7 @@ class FRemExpander {
 
   // We would return NaN in all corner cases handled here.
   // Hence, if NaNs are excluded, keep the result as it is.
-  if (FMF.noNaNs())
+  if (!FMF.noNaNs())
     Ret = handleInputCornerCases(Ret, X, Y, SQ);
 
   Function *Fun = B.GetInsertBlock()->getParent();