diff options
author | Noah Goldstein <goldstein.w.n@gmail.com> | 2023-04-30 09:33:10 -0500 |
---|---|---|
committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2023-04-30 10:06:46 -0500 |
commit | 167ecdaa2cc34e942b99c567c0b076923ea220c3 (patch) | |
tree | ae243ee94b54f17f38a38c52314d4b3289edd2e9 /llvm/lib/Analysis/ValueTracking.cpp | |
parent | 461ded4631074c7636edd5985ce15b3748f6a9e2 (diff) | |
download | llvm-167ecdaa2cc34e942b99c567c0b076923ea220c3.zip llvm-167ecdaa2cc34e942b99c567c0b076923ea220c3.tar.gz llvm-167ecdaa2cc34e942b99c567c0b076923ea220c3.tar.bz2 |
[ValueTracking] Add logic for `isKnownNonZero(sadd.sat X, Y)`
The logic here is the same for `add` so reuse the existing helper
`isNonZeroAdd`
Alive2 Link:
https://alive2.llvm.org/ce/z/mhKvC5
Reviewed By: nikic
Differential Revision: https://reviews.llvm.org/D149414
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
-rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 052b1aed..72b89a2 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -2932,6 +2932,10 @@ bool isKnownNonZero(const Value *V, const APInt &DemandedElts, unsigned Depth, case Intrinsic::ssub_sat: return isNonZeroSub(DemandedElts, Depth, Q, BitWidth, II->getArgOperand(0), II->getArgOperand(1)); + case Intrinsic::sadd_sat: + return isNonZeroAdd(DemandedElts, Depth, Q, BitWidth, + II->getArgOperand(0), II->getArgOperand(1), + /*NSW*/ true); case Intrinsic::uadd_sat: if (isKnownNonZero(II->getArgOperand(0), DemandedElts, Depth, Q) || isKnownNonZero(II->getArgOperand(1), DemandedElts, Depth, Q)) |