diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2023-04-13 10:25:18 -0400 |
|---|---|---|
| committer | Matt Arsenault <arsenm2@gmail.com> | 2023-05-24 08:49:04 +0100 |
| commit | 7738db3afaaa980821d34bf42f3ce34f57f8e49d (patch) | |
| tree | 2fe3429c3ecee1ca5e083f12e1a1792faebb9250 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 0fe83eb5c37b632d1b7e545d6e108f9b1852050a (diff) | |
| download | llvm-7738db3afaaa980821d34bf42f3ce34f57f8e49d.zip llvm-7738db3afaaa980821d34bf42f3ce34f57f8e49d.tar.gz llvm-7738db3afaaa980821d34bf42f3ce34f57f8e49d.tar.bz2 | |
ValueTracking: Handle constrained_sqrt in computeKnownFPClass
With this, the body of CannotBeNegativeZero can be dropped.
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index ee6c39b..5439419 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -4523,7 +4523,8 @@ void computeKnownFPClass(const Value *V, const APInt &DemandedElts, Known.knownNot(fcNegative); break; } - case Intrinsic::sqrt: { + case Intrinsic::sqrt: + case Intrinsic::experimental_constrained_sqrt: { KnownFPClass KnownSrc; FPClassTest InterestedSrcs = InterestedClasses; if (InterestedClasses & fcNan) |