diff options
author | David Majnemer <david.majnemer@gmail.com> | 2015-01-27 06:21:43 +0000 |
---|---|---|
committer | David Majnemer <david.majnemer@gmail.com> | 2015-01-27 06:21:43 +0000 |
commit | 4c82daea60cc6f51a0797ae21c0bcc6d38e56853 (patch) | |
tree | 90c49cb84fdc930ba76e41aa9bb4291103f396f5 /llvm/lib/Transforms | |
parent | b9f60c17dcdbc3601ab2575eb17b91be1c8aa071 (diff) | |
download | bcm5719-llvm-4c82daea60cc6f51a0797ae21c0bcc6d38e56853.tar.gz bcm5719-llvm-4c82daea60cc6f51a0797ae21c0bcc6d38e56853.zip |
LoopRotate: Don't walk the uses of a Constant
LoopRotate wanted to avoid live range interference by looking at the
uses of a Value in the loop latch and seeing if any lied outside of the
loop. We would wrongly perform this operation on Constants.
This fixes PR22337.
llvm-svn: 227171
Diffstat (limited to 'llvm/lib/Transforms')
-rw-r--r-- | llvm/lib/Transforms/Scalar/LoopRotation.cpp | 19 |
1 files changed, 8 insertions, 11 deletions
diff --git a/llvm/lib/Transforms/Scalar/LoopRotation.cpp b/llvm/lib/Transforms/Scalar/LoopRotation.cpp index c37cd917ad2..02fb80c0cd5 100644 --- a/llvm/lib/Transforms/Scalar/LoopRotation.cpp +++ b/llvm/lib/Transforms/Scalar/LoopRotation.cpp @@ -229,20 +229,17 @@ static bool shouldSpeculateInstrs(BasicBlock::iterator Begin, case Instruction::Shl: case Instruction::LShr: case Instruction::AShr: { - Value *IVOpnd = nullptr; - if (isa<ConstantInt>(I->getOperand(0))) - IVOpnd = I->getOperand(1); - - if (isa<ConstantInt>(I->getOperand(1))) { - if (IVOpnd) - return false; - - IVOpnd = I->getOperand(0); - } + Value *IVOpnd = !isa<Constant>(I->getOperand(0)) + ? I->getOperand(0) + : !isa<Constant>(I->getOperand(1)) + ? I->getOperand(1) + : nullptr; + if (!IVOpnd) + return false; // If increment operand is used outside of the loop, this speculation // could cause extra live range interference. - if (MultiExitLoop && IVOpnd) { + if (MultiExitLoop) { for (User *UseI : IVOpnd->users()) { auto *UserInst = cast<Instruction>(UseI); if (!L->contains(UserInst)) |