[llvm] [FunctionAttrs] Don't infer noundef when return has nofpclass (PR #191822)

Shonie Caplan via llvm-commits llvm-commits at lists.llvm.org
Thu Apr 16 03:27:39 PDT 2026


================
@@ -1742,6 +1743,11 @@ static void addNoUndefAttrs(const SCCNodeSet &SCCNodes,
                 !Attr.getRange().contains(
                     computeConstantRange(RetVal, /*ForSigned=*/false)))
               return false;
+
+            FPClassTest AttrFPClass = Attrs.getRetNoFPClass();
+            KnownFPClass ComputedFPClass = computeKnownFPClass(RetVal, DL);
+            if (!ComputedFPClass.isKnownNever(AttrFPClass))
+              return false;
----------------
shoniecaplan wrote:

thank you!

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


More information about the llvm-commits mailing list