[llvm-branch-commits] [llvm] DAG: Handle AssertNoFPClass in computeKnownBits (PR #167289)

Simon Pilgrim via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Mon Nov 10 05:18:55 PST 2025


================
@@ -4121,6 +4121,27 @@ KnownBits SelectionDAG::computeKnownBits(SDValue Op, const APInt &DemandedElts,
     Known.One.clearLowBits(LogOfAlign);
     break;
   }
+  case ISD::AssertNoFPClass: {
+    Known = computeKnownBits(Op.getOperand(0), DemandedElts, Depth + 1);
----------------
RKSimon wrote:

Mainly just through bitcasts to wrapped integer logic etc. But X86 does successfully use it for some of its FP node types

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


More information about the llvm-branch-commits mailing list