diff options
| author | Jonas Paulsson <paulsson@linux.vnet.ibm.com> | 2020-02-06 19:27:50 +0100 |
|---|---|---|
| committer | Jonas Paulsson <paulsson@linux.vnet.ibm.com> | 2020-02-19 09:35:36 -0800 |
| commit | 0eddeeab29a1cce8f9169b270c9fdd484534d91b (patch) | |
| tree | ba2fa74b18084201296d126f8ed6bf4368895649 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 187204cd746f537405d11ee27d60d8ab59c9192d (diff) | |
| download | llvm-0eddeeab29a1cce8f9169b270c9fdd484534d91b.zip llvm-0eddeeab29a1cce8f9169b270c9fdd484534d91b.tar.gz llvm-0eddeeab29a1cce8f9169b270c9fdd484534d91b.tar.bz2 | |
[ValueTracking] Improve isKnownNonNaN() to recognize zero splats.
isKnownNonNaN() could not recognize a zero splat because that is a
ConstantAggregateZero which is-a ConstantData but not a ConstantDataVector.
Patch makes a ConstantAggregateZero return true.
Review: Thomas Lively
Differential Revision: https://reviews.llvm.org/D74263
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 3a76a69..0520ce5 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -4787,6 +4787,9 @@ static bool isKnownNonNaN(const Value *V, FastMathFlags FMF) { return true; } + if (isa<ConstantAggregateZero>(V)) + return true; + return false; } |