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

Craig Topper via llvm-commits llvm-commits at lists.llvm.org
Thu Oct 1 15:01:01 PDT 2026


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

Assisted-by: Claude

>From d805d0d4eecb7d47dac012cfcf2ef137cc8f1955 Mon Sep 17 00:00:00 2001
From: Craig Topper <craig.topper at sifive.com>
Date: Thu, 1 Oct 2026 14:50:20 -0700
Subject: [PATCH] [SelectionDAG] Implement SDTCisFP int SDNodeInfo::verifyNode.

Assisted-by: Claude
---
 llvm/lib/CodeGen/SelectionDAG/SDNodeInfo.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/llvm/lib/CodeGen/SelectionDAG/SDNodeInfo.cpp b/llvm/lib/CodeGen/SelectionDAG/SDNodeInfo.cpp
index da763dfb212f662..ddb73ae0f03f9fd 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;



More information about the llvm-commits mailing list