[PATCH] D149112: InstCombine: Try to turn is.fpclass sign checks to fcmp with 0

[Jay Foad via Phabricator via llvm-commits]

foad added inline comments.


================
Comment at: llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp:826
+
 /// \returns true if the test performed by llvm.is.fpclass(x, \p Mask) is
+/// equivalent to fcmp o__ x, 0.0 with the floating-point environment assumed
----------------
"returns true" needs updating.


================
Comment at: llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp:848-851
+  case fcPosSubnormal | fcPosNormal | fcPosInf:
+    if (inputDenormalIsIEEE(F, Ty))
+      return FCmpInst::FCMP_OGT;
+    break;
----------------
Any reason not to add the DAZ counterpart of this case, i.e. `fcPosNormal | fcPosInf`? And the same for OLT.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D149112/new/

https://reviews.llvm.org/D149112