[llvm] [SelectionDAG] Use `KnownBits` to determine if an operand may be NaN. (PR #188606)

via llvm-commits llvm-commits at lists.llvm.org
Tue Mar 31 07:17:52 PDT 2026


================
@@ -6112,6 +6112,16 @@ KnownFPClass SelectionDAG::computeKnownFPClass(SDValue Op,
     }
     break;
   }
+  case ISD::BITCAST: {
+    // Try to infer NaN from known bits, but only for detecting signaling or
+    // nonsignaling NaNs
+    EVT VT = Op.getValueType();
+    if (VT.isFloatingPoint()) {
----------------
zGoldthorpe wrote:

It seems such an assertion would throw on a handful of test cases.

https://github.com/llvm/llvm-project/pull/188606


More information about the llvm-commits mailing list