[llvm-branch-commits] [llvm] ValueTracking: Improve frexp known range from dominating conditions (PR #206927)

[Yingwei Zheng via llvm-branch-commits]

================
@@ -835,6 +835,13 @@ KnownFPClass KnownFPClass::ldexp(const KnownFPClass &KnownSrc,
   return Known;
 }
 
+KnownFPClass KnownFPClass::ldexp(const KnownFPClass &KnownSrc,
+                                 const KnownBits &ExpBits,
+                                 const fltSemantics &Flt, DenormalMode Mode) {
+  return ldexp(KnownSrc, ExpBits.getSignedMinValue().getSExtValue(),
----------------
dtcxzyw wrote:

The exp parameter can be an integer wider than i64.
See also https://github.com/llvm/llvm-project/pull/199309

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