diff options
| author | David Green <david.green@arm.com> | 2022-06-23 15:25:24 +0100 |
|---|---|---|
| committer | David Green <david.green@arm.com> | 2022-06-23 15:25:24 +0100 |
| commit | bd1a4c8565ac7a48a5dc1e18b8ea07b29b93d213 (patch) | |
| tree | f0181b6f9a066cfff894b46ba70b474914515e31 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 342e64979afe0b3859462397c4a8abba6faa9de0 (diff) | |
| download | llvm-bd1a4c8565ac7a48a5dc1e18b8ea07b29b93d213.zip llvm-bd1a4c8565ac7a48a5dc1e18b8ea07b29b93d213.tar.gz llvm-bd1a4c8565ac7a48a5dc1e18b8ea07b29b93d213.tar.bz2 | |
[ValueTracking] Teach isKnownNonZero that a vscale is never 0.
A llvm.vscale will always be at least 1, never zero. Teaching that to
isKnownNonZero can help fold away some statically known compares.
Differential Revision: https://reviews.llvm.org/D128217
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 17bebe1..801167f 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -2698,6 +2698,9 @@ bool isKnownNonZero(const Value *V, const APInt &DemandedElts, unsigned Depth, if (isKnownNonZero(Op, Depth, Q) && isGuaranteedNotToBePoison(Op, Q.AC, Q.CxtI, Q.DT, Depth)) return true; + } else if (const auto *II = dyn_cast<IntrinsicInst>(V)) { + if (II->getIntrinsicID() == Intrinsic::vscale) + return true; } KnownBits Known(BitWidth); |