[clang] [llvm] Intrinsic: introduce minimumnum and maximumnum (PR #93841)

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Fri May 31 03:05:10 PDT 2024


================
@@ -5005,8 +5007,11 @@ void computeKnownFPClass(const Value *V, const APInt &DemandedElts,
       // If either operand is not NaN, the result is not NaN.
       if (NeverNaN && (IID == Intrinsic::minnum || IID == Intrinsic::maxnum))
         Known.knownNot(fcNan);
+      if (NeverNaN &&
+          (IID == Intrinsic::minimumnum || IID == Intrinsic::maximumnum))
+        Known.knownNot(fcNan);
 
-      if (IID == Intrinsic::maxnum) {
+      if (IID == Intrinsic::maxnum || IID == Intrinsic::maximumnum) {
----------------
arsenm wrote:

Best to keep the value tracking handling in a separate PR. This is missing test coverage 

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


More information about the llvm-commits mailing list