diff options
| author | Noah Goldstein <goldstein.w.n@gmail.com> | 2023-05-06 21:04:45 -0500 |
|---|---|---|
| committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2023-05-16 18:58:12 -0500 |
| commit | 124547eae8a610a9a77fe3e219e9cd98a2580cfe (patch) | |
| tree | 57be1df7e4aa3c89e96b3c41456a221bc5708bd8 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 99795afb28af4a93e128597b47579e05da2340b3 (diff) | |
| download | llvm-124547eae8a610a9a77fe3e219e9cd98a2580cfe.zip llvm-124547eae8a610a9a77fe3e219e9cd98a2580cfe.tar.gz llvm-124547eae8a610a9a77fe3e219e9cd98a2580cfe.tar.bz2 | |
[ValueTracking] Use `KnownBits::sdiv` for `sdiv` opcode in `computeKnownBits`
We now of an implementation of `KnownBits::sdiv` so we can implement
this case.
Differential Revision: https://reviews.llvm.org/D150096
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 77b99f9..0368c09 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -1212,6 +1212,13 @@ static void computeKnownBitsFromOperator(const Operator *I, KnownBits::udiv(Known, Known2, Q.IIQ.isExact(cast<BinaryOperator>(I))); break; } + case Instruction::SDiv: { + computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); + computeKnownBits(I->getOperand(1), Known2, Depth + 1, Q); + Known = + KnownBits::sdiv(Known, Known2, Q.IIQ.isExact(cast<BinaryOperator>(I))); + break; + } case Instruction::Select: { const Value *LHS = nullptr, *RHS = nullptr; SelectPatternFlavor SPF = matchSelectPattern(I, LHS, RHS).Flavor; |