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

[via llvm-commits]

llvmorg-github-actions[bot] wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-llvm-selectiondag

Author: Craig Topper (topperc)

<details>
<summary>Changes</summary>

Assisted-by: Claude

---
Full diff: https://github.com/llvm/llvm-project/pull/228260.diff


1 Files Affected:

- (modified) llvm/lib/CodeGen/SelectionDAG/SDNodeInfo.cpp (+4) 


``````````diff
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;

``````````

</details>


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