[llvm] [ValueTracking][KnownFPClass] Cover known no-infinity cases for powi (PR #191736)

Tim Gymnich via llvm-commits llvm-commits at lists.llvm.org
Tue Apr 14 05:08:00 PDT 2026


================
@@ -880,6 +879,39 @@ KnownFPClass KnownFPClass::powi(const KnownFPClass &KnownSrc,
     return Known;
   }
 
+  // powi(x, exp) --> inf
+  // when:
+  //   * powi(inf, exp), exp > 0
+  //   * powi(+/-0, exp), exp < 0
----------------
tgymnich wrote:

```suggestion
  //   * powi(inf, exp), exp < 0
  //   * powi(+/-0, exp), exp > 0
```

Shouldn't this be the other way arround?

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


More information about the llvm-commits mailing list