[llvm] [KnownFPClass] Correct denormal handling for `KnownFPClass::roundToIntegral` (PR #219700)

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Sun Sep 13 13:26:57 PDT 2026


================
@@ -467,10 +467,12 @@ struct KnownFPClass {
 
   /// Propagate known class for rounding intrinsics (trunc, floor, ceil, rint,
   /// nearbyint, round, roundeven). This is trunc if \p IsTrunc. \p
-  /// IsMultiUnitFPType if this is for a multi-unit floating-point type.
-  LLVM_ABI static KnownFPClass roundToIntegral(const KnownFPClass &Src,
-                                               bool IsTrunc,
-                                               bool IsMultiUnitFPType);
+  /// IsKnownNeverMultiUnitFPType if this is known to never be for a multi-unit
+  /// floating-point type.
+  LLVM_ABI static KnownFPClass
+  roundToIntegral(const KnownFPClass &Src, bool IsTrunc,
+                  bool IsKnownNeverMultiUnitFPType,
----------------
arsenm wrote:

I don't see why invert IsMultiUnitFPType; this isn't an analysis, the type is always known 

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


More information about the llvm-commits mailing list