diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2023-04-09 07:15:45 -0400 |
|---|---|---|
| committer | Matt Arsenault <arsenm2@gmail.com> | 2023-04-24 14:25:06 -0400 |
| commit | d46f8c6ec98e3965139d055cc27c34e946f74a1d (patch) | |
| tree | ef5dc7610e409447c753d699a94962d0ee7c7639 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | b0aa6d76eb3aa7c1ea4abf509d5177a92bfd72a5 (diff) | |
| download | llvm-d46f8c6ec98e3965139d055cc27c34e946f74a1d.zip llvm-d46f8c6ec98e3965139d055cc27c34e946f74a1d.tar.gz llvm-d46f8c6ec98e3965139d055cc27c34e946f74a1d.tar.bz2 | |
ValueTracking: Handle exp/exp2 in computeKnownFPClass
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index d361bf4..b2d1406 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -4596,6 +4596,22 @@ void computeKnownFPClass(const Value *V, const APInt &DemandedElts, Known.knownNot(fcNan); break; } + case Intrinsic::exp: + case Intrinsic::exp2: { + Known.knownNot(fcNegative); + if ((InterestedClasses & fcNan) == fcNone) + break; + + KnownFPClass KnownSrc; + computeKnownFPClass(II->getArgOperand(0), DemandedElts, + InterestedClasses, KnownSrc, Depth + 1, Q, TLI); + if (KnownSrc.isKnownNeverNaN()) { + Known.knownNot(fcNan); + Known.SignBit = false; + } + + break; + } case Intrinsic::arithmetic_fence: { computeKnownFPClass(II->getArgOperand(0), DemandedElts, InterestedClasses, Known, Depth + 1, Q, TLI); |