diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2024-04-15 12:51:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-15 12:51:29 +0200 |
| commit | f78b3466caa9296b32ec235dee87ace2dea94507 (patch) | |
| tree | 43b38074bdd70988dda104abc88498aab1c0b90b /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 4859a593f4016f0a78e2fadf21722e370560c5e9 (diff) | |
| download | llvm-f78b3466caa9296b32ec235dee87ace2dea94507.zip llvm-f78b3466caa9296b32ec235dee87ace2dea94507.tar.gz llvm-f78b3466caa9296b32ec235dee87ace2dea94507.tar.bz2 | |
ValueTracking: Treat poison more aggressively in computeKnownFPClass (#87990)
Assume no valid values, and the sign bit is 0.
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 5beea61..b3abf016 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -4664,6 +4664,12 @@ void computeKnownFPClass(const Value *V, const APInt &DemandedElts, return; } + if (isa<PoisonValue>(V)) { + Known.KnownFPClasses = fcNone; + Known.SignBit = false; + return; + } + // Try to handle fixed width vector constants auto *VFVTy = dyn_cast<FixedVectorType>(V->getType()); const Constant *CV = dyn_cast<Constant>(V); |