[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