[flang-commits] [flang] [draft][flang] Query backend support for quad-precision compilation decision (PR #182230)

[Shunsuke Watanabe via flang-commits]

https://github.com/s-watanabe314 updated https://github.com/llvm/llvm-project/pull/182230

>From 35dc6ae68b02da85f5597da3ea0d8a78a0a9bc68 Mon Sep 17 00:00:00 2001
From: s-watanabe314 <watanabe.shu-06 at fujitsu.com>
Date: Thu, 12 Feb 2026 17:08:41 +0900
Subject: [PATCH 1/2] [flang] Query backend support for quad-precision
 compilation decision

---
 flang/include/flang/Tools/TargetSetup.h | 59 ++++++++++++++++++++-----
 1 file changed, 48 insertions(+), 11 deletions(-)

diff --git a/flang/include/flang/Tools/TargetSetup.h b/flang/include/flang/Tools/TargetSetup.h
index 002e82aa72484..1e4c1884a362a 100644
--- a/flang/include/flang/Tools/TargetSetup.h
+++ b/flang/include/flang/Tools/TargetSetup.h
@@ -12,6 +12,10 @@
 #include "flang/Common/float128.h"
 #include "flang/Evaluate/target.h"
 #include "flang/Frontend/TargetOptions.h"
+#include "llvm/CodeGen/TargetLowering.h"
+#include "llvm/CodeGen/ValueTypes.h"
+#include "llvm/IR/Function.h"
+#include "llvm/IR/Module.h"
 #include "llvm/Target/TargetMachine.h"
 #include <cfloat>
 
@@ -58,17 +62,50 @@ namespace Fortran::tools {
     break;
   }
 
-  // Check for kind=16 support. See flang/runtime/Float128Math/math-entries.h.
-  // TODO: Take this from TargetInfo::getLongDoubleFormat for cross compilation.
-#ifdef FLANG_RUNTIME_F128_MATH_LIB
-  constexpr bool f128Support = true; // use libquadmath wrappers
-#elif HAS_LDBL128
-  constexpr bool f128Support = true; // use libm wrappers
-#else
-  constexpr bool f128Support = false;
-#endif
-
-  if constexpr (!f128Support) {
+  bool f128Support = false;
+  llvm::LLVMContext ctx;
+  std::unique_ptr<llvm::Module> dummyModule =
+      std::make_unique<llvm::Module>("quad-test", ctx);
+  dummyModule->setTargetTriple(targetMachine.getTargetTriple());
+  dummyModule->setDataLayout(targetMachine.createDataLayout());
+
+  llvm::FunctionType *dummyFTy =
+      llvm::FunctionType::get(llvm::Type::getVoidTy(ctx), false);
+  llvm::Function *dummyF = llvm::Function::Create(dummyFTy,
+      llvm::GlobalValue::ExternalLinkage, "quad-test", dummyModule.get());
+
+  const llvm::TargetLowering *dummyTLI =
+      targetMachine.getSubtargetImpl(*dummyF)->getTargetLowering();
+
+  if (dummyTLI) {
+    llvm::EVT fp128EVT = llvm::EVT::getEVT(llvm::Type::getFP128Ty(ctx));
+
+    // Query for fp128 backend support. Based on this, determine whether
+    // compilation is possible on the frontend.
+    bool isLegal = dummyTLI->isTypeLegal(fp128EVT);
+
+    // We might also be able to determine fp128 backend support based on the
+    // LegalizeAction value. This is likely when the value is "Legal" or
+    // "LibCall". See
+    // https://llvm.org/doxygen/TargetLowering_8h_source.html#l00202.
+    llvm::TargetLowering::LegalizeAction LA =
+        dummyTLI->getOperationAction(llvm::ISD::FADD, fp128EVT);
+
+    // We might also be able to determine fp128 backend support based on the
+    // LegalizeTypeAction value. This is likely when the value is "TypeLegal".
+    // See https://llvm.org/doxygen/TargetLowering_8h_source.html#l00212.
+    llvm::TargetLowering::LegalizeTypeAction LTA =
+        dummyTLI->getTypeConversion(ctx, llvm::MVT::f128).first;
+
+    if (isLegal &&
+        (LA == llvm::TargetLowering::Legal ||
+            LA == llvm::TargetLowering::LibCall) &&
+        (LTA == llvm::TargetLowering::TypeLegal)) {
+      f128Support = true;
+    }
+  }
+
+  if (!f128Support) {
     targetCharacteristics.DisableType(Fortran::common::TypeCategory::Real, 16);
     targetCharacteristics.DisableType(
         Fortran::common::TypeCategory::Complex, 16);

>From ec02d120ddd48d89da8720fa7194ad0c72ca78ed Mon Sep 17 00:00:00 2001
From: s-watanabe314 <watanabe.shu-06 at fujitsu.com>
Date: Wed, 4 Mar 2026 17:39:51 +0900
Subject: [PATCH 2/2] Confirm flang's quad-precision support and set lit config

---
 flang/test/lit.cfg.py         | 22 +++++++++++++++++++++-
 flang/test/lit.site.cfg.py.in |  1 +
 2 files changed, 22 insertions(+), 1 deletion(-)

diff --git a/flang/test/lit.cfg.py b/flang/test/lit.cfg.py
index 3a87f9ea06803..63e0296731d4f 100644
--- a/flang/test/lit.cfg.py
+++ b/flang/test/lit.cfg.py
@@ -205,10 +205,30 @@
         openmp_flags_substitution += f" -J {config.openmp_module_dir}"
 config.substitutions.append(("%openmp_flags", openmp_flags_substitution))
 
+def flang_supports_f128():
+    flang_exe = lit.util.which("flang", config.clang_tools_dir)
+
+    if not flang_exe:
+        return False
+
+    try:
+        testcode = b"real(16) :: x\nend"
+        flang_cmd = subprocess.run(
+            [flang_exe, "-fsyntax-only", "-"],
+            input=testcode,
+            stdout=subprocess.PIPE,
+            stderr=subprocess.PIPE,
+        )
+    except OSError:
+        return False
+
+    if flang_cmd.returncode == 0:
+        return True
+
 # Add features and substitutions to test F128 math support.
 # %f128-lib substitution may be used to generate check prefixes
 # for LIT tests checking for F128 library support.
-if config.flang_runtime_f128_math_lib or config.have_ldbl_mant_dig_113:
+if config.flang_runtime_f128_math_lib or config.have_ldbl_mant_dig_113 or flang_supports_f128():
     config.available_features.add("flang-supports-f128-math")
 if config.flang_runtime_f128_math_lib:
     config.available_features.add(
diff --git a/flang/test/lit.site.cfg.py.in b/flang/test/lit.site.cfg.py.in
index 2b66dd64b8c13..0739fa658057d 100644
--- a/flang/test/lit.site.cfg.py.in
+++ b/flang/test/lit.site.cfg.py.in
@@ -12,6 +12,7 @@ config.llvm_target_triple_env = "@LLVM_TARGET_TRIPLE_ENV@"
 config.lit_tools_dir = "@LLVM_LIT_TOOLS_DIR@"
 config.errc_messages = "@LLVM_LIT_ERRC_MESSAGES@"
 config.flang_obj_root = "@FLANG_BINARY_DIR@"
+config.clang_tools_dir = lit_config.substitute(path(r"@CURRENT_TOOLS_DIR@"))
 config.flang_tools_dir = lit_config.substitute("@FLANG_TOOLS_DIR@")
 config.flang_intrinsic_modules_dir = "@FLANG_INTRINSIC_MODULES_DIR@"
 config.flang_headers_dir = "@HEADER_BINARY_DIR@"