From aa69e15c6909c3b162b15f5326f0a72ba9bb7163 Mon Sep 17 00:00:00 2001
From: Richard-Qin-X <richard.qin.001@gmail.com>
Date: Thu, 13 Aug 2026 23:55:38 +0800
Subject: [CodeGen] Unify scalar low-level types

---
 backend/lib/CodeGen/MIRPrinter.cpp | 50 ++++----------------------------------
 1 file changed, 5 insertions(+), 45 deletions(-)

(limited to 'backend/lib/CodeGen/MIRPrinter.cpp')

diff --git a/backend/lib/CodeGen/MIRPrinter.cpp b/backend/lib/CodeGen/MIRPrinter.cpp
index d2cc8eb..1ba8ac1 100644
--- a/backend/lib/CodeGen/MIRPrinter.cpp
+++ b/backend/lib/CodeGen/MIRPrinter.cpp
@@ -1647,13 +1647,11 @@ namespace {
   return {};
 }
 
-[[nodiscard]] Expected<std::string> llvmMIRScalarLowLevelType(LLT Type) {
+[[nodiscard]] Expected<std::string> llvmMIRScalarLowLevelType(LowLevelType Type) {
   if (Type.isToken())
     return "s0";
-  if (Type.isAnyScalar())
+  if (Type.isCategoryNeutralScalar())
     return "s" + std::to_string(Type.scalarBitWidth());
-  if (Type.isInteger())
-    return "i" + std::to_string(Type.scalarBitWidth());
   if (Type.isPointer()) {
     const auto AddressSpace = Type.addressSpace();
     if (!AddressSpace) {
@@ -1662,49 +1660,11 @@ namespace {
     }
     return "p" + std::to_string(*AddressSpace);
   }
-  if (!Type.isFloat()) {
-    return makeUnexpected(ErrorCode::VerificationError,
-                          "invalid scalar low-level type cannot be printed as LLVM MIR");
-  }
-
-  const auto Semantics = Type.floatSemantics();
-  if (!Semantics) {
-    return makeUnexpected(ErrorCode::VerificationError,
-                          "floating low-level type has no floating-point semantics");
-  }
-  switch (*Semantics) {
-  case FloatSemantics::IEEEHalf:
-    return "f16";
-  case FloatSemantics::BFloat:
-    return "bf16";
-  case FloatSemantics::IEEESingle:
-    return "f32";
-  case FloatSemantics::IEEEDouble:
-    return "f64";
-  case FloatSemantics::IEEEQuad:
-    return "f128";
-  case FloatSemantics::PPCDoubleDouble:
-  case FloatSemantics::Float8E5M2:
-  case FloatSemantics::Float8E5M2FNUZ:
-  case FloatSemantics::Float8E4M3:
-  case FloatSemantics::Float8E4M3FN:
-  case FloatSemantics::Float8E4M3FNUZ:
-  case FloatSemantics::Float8E4M3B11FNUZ:
-  case FloatSemantics::Float8E3M4:
-  case FloatSemantics::FloatTF32:
-  case FloatSemantics::Float8E8M0FNU:
-  case FloatSemantics::Float6E3M2FN:
-  case FloatSemantics::Float6E2M3FN:
-  case FloatSemantics::Float4E2M1FN:
-  case FloatSemantics::X87DoubleExtended:
-  case FloatSemantics::Count:
-    return makeUnexpected(ErrorCode::Unsupported,
-                          "fixed LLVM MIR cannot spell this floating low-level type");
-  }
-  return makeUnexpected(ErrorCode::InternalError, "floating low-level type is unhandled");
+  return makeUnexpected(ErrorCode::VerificationError,
+                        "invalid scalar low-level type cannot be printed as LLVM MIR");
 }
 
-[[nodiscard]] Expected<std::string> llvmMIRLowLevelType(LLT Type) {
+[[nodiscard]] Expected<std::string> llvmMIRLowLevelType(LowLevelType Type) {
   if (!Type.isValid()) {
     return makeUnexpected(ErrorCode::VerificationError,
                           "invalid low-level type cannot be printed as LLVM MIR");
-- 
cgit v1.2.3