[llvm] [RFC][SPIR-V] Add intrinsics to convert to/from ap.float (PR #164252)

Marcos Maronas via llvm-commits llvm-commits at lists.llvm.org
Tue Nov 11 02:59:22 PST 2025


================
@@ -5848,6 +5849,39 @@ void Verifier::visitIntrinsicCall(Intrinsic::ID ID, CallBase &Call) {
           "unsupported rounding mode argument", Call);
     break;
   }
+  case Intrinsic::convert_to_arbitrary_fp:
+  case Intrinsic::convert_from_arbitrary_fp: {
+    // Check interpretation metadata (argoperand 1)
+    auto *InterpMAV = dyn_cast<MetadataAsValue>(Call.getArgOperand(1));
+    Check(InterpMAV, "missing interpretation metadata operand", Call);
+    auto *InterpStr = dyn_cast<MDString>(InterpMAV->getMetadata());
+    Check(InterpStr, "interpretation metadata operand must be a string", Call);
+    StringRef Interp = InterpStr->getString();
+
+    Check(!Interp.empty(), "interpretation metadata string must not be empty",
+          Call);
+
+    // Valid interpretation strings: mini-float format names
----------------
maarquitos14 wrote:

```suggestion
    // Valid interpretation strings: mini-float format names.
```

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


More information about the llvm-commits mailing list