diff options
| author | Chris Lattner <sabre@nondot.org> | 2011-02-06 21:44:57 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2011-02-06 21:44:57 +0000 |
| commit | 35315d065b74537c1290767d0b8da9ca2036fdea (patch) | |
| tree | e00a09050e0a4552c4a0ecb533c550fea4daa41a /llvm/lib/Transforms/InstCombine | |
| parent | b54605b8e22fa620bb843637cc15bc74aac9aed5 (diff) | |
| download | bcm5719-llvm-35315d065b74537c1290767d0b8da9ca2036fdea.tar.gz bcm5719-llvm-35315d065b74537c1290767d0b8da9ca2036fdea.zip | |
enhance vmcore to know that udiv's can be exact, and add a trivial
instcombine xform to exercise this.
Nothing forms exact udivs yet though. This is progress on PR8862
llvm-svn: 124992
Diffstat (limited to 'llvm/lib/Transforms/InstCombine')
| -rw-r--r-- | llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp b/llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp index 035ee721bfd..559788b4a90 100644 --- a/llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp +++ b/llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp @@ -135,8 +135,8 @@ Instruction *InstCombiner::visitMul(BinaryOperator &I) { BO->getOpcode() == Instruction::SDiv)) { Value *Op0BO = BO->getOperand(0), *Op1BO = BO->getOperand(1); - // If the division is exact, X % Y is zero. - if (SDivOperator *SDiv = dyn_cast<SDivOperator>(BO)) + // If the division is exact, X % Y is zero, so we end up with X or -X. + if (PossiblyExactOperator *SDiv = dyn_cast<PossiblyExactOperator>(BO)) if (SDiv->isExact()) { if (Op1BO == Op1C) return ReplaceInstUsesWith(I, Op0BO); |
