================
@@ -137,6 +137,30 @@ KnownFPClass KnownFPClass::canonicalize(const KnownFPClass
&KnownSrc,
return Known;
}
+KnownFPClass KnownFPClass::exp(const KnownFPClass &KnownSrc) {
+ KnownFPClass Known;
+ Known.knownNot(fcNegative);
+
+ if (KnownSrc.isKnownNeverNaN()) {
+ Known.knownNot(fcNan);
+ Known.signBitMustBeZero();
----------------
dtcxzyw wrote:
knownNot(fcNagative) and knownNot(fcNan) implies this property. It will be
updated in `Known.knownNot(fcNan);`.
https://github.com/llvm/llvm-project/pull/173432
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
