diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2020-09-06 23:14:05 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-09-06 23:16:38 +0200 |
| commit | b536cbaac5f85a3a1ab8c971c300cd27e5603fda (patch) | |
| tree | 2d0c763a071537162a52a5ab62b8b41342a8c765 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 8542dab909f895a8b6812428bb5e1acf7ea15305 (diff) | |
| download | llvm-b536cbaac5f85a3a1ab8c971c300cd27e5603fda.zip llvm-b536cbaac5f85a3a1ab8c971c300cd27e5603fda.tar.gz llvm-b536cbaac5f85a3a1ab8c971c300cd27e5603fda.tar.bz2 | |
[ValueTracking] Avoid known bits fallback for non-zero get check (NFCI)
The known bits fall back will never be able to infer a non-null
value here, so don't bother.
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 3f7cf29..3a6ee35 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -2413,8 +2413,7 @@ bool isKnownNonZero(const Value *V, const APInt &DemandedElts, unsigned Depth, // truncating casts, e.g., int2ptr/ptr2int with appropriate sizes, as well // as casts that can alter the value, e.g., AddrSpaceCasts. if (const GEPOperator *GEP = dyn_cast<GEPOperator>(V)) - if (isGEPKnownNonNull(GEP, Depth, Q)) - return true; + return isGEPKnownNonNull(GEP, Depth, Q); if (auto *BCO = dyn_cast<BitCastOperator>(V)) return isKnownNonZero(BCO->getOperand(0), Depth, Q); |