[llvm] 7f1f916 - [SelectionDAG] Implement SDTCisFP int SDNodeInfo::verifyNode. (#228260)

[via llvm-commits]

Author: Craig Topper
Date: 2026-10-01T22:46:56Z
New Revision: 7f1f916d4a27d2829eeeeabf09cdca64fa872330

URL: https://github.com/llvm/llvm-project/commit/7f1f916d4a27d2829eeeeabf09cdca64fa872330
DIFF: https://github.com/llvm/llvm-project/commit/7f1f916d4a27d2829eeeeabf09cdca64fa872330.diff

LOG: [SelectionDAG] Implement SDTCisFP int SDNodeInfo::verifyNode. (#228260)

Assisted-by: Claude

Added: 
    

Modified: 
    llvm/lib/CodeGen/SelectionDAG/SDNodeInfo.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/CodeGen/SelectionDAG/SDNodeInfo.cpp b/llvm/lib/CodeGen/SelectionDAG/SDNodeInfo.cpp
index da763dfb212f6..ddb73ae0f03f9 100644
--- a/llvm/lib/CodeGen/SelectionDAG/SDNodeInfo.cpp
+++ b/llvm/lib/CodeGen/SelectionDAG/SDNodeInfo.cpp
@@ -208,6 +208,10 @@ void SDNodeInfo::verifyNode(const SelectionDAG &DAG, const SDNode *N) const {
     case SDTCisInt:
       break;
     case SDTCisFP:
+      if (!VT.isFloatingPoint()) {
+        SS << Val << " must have floating-point type, but has type " << VT;
+        reportNodeError(DAG, N, SS.str());
+      }
       break;
     case SDTCisVec:
       break;