6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-13 04:30:23 +00:00
Code Issues Projects Releases Wiki Activity

Teach ValueTracking to look at the dividend when determining the sign bit of an

Browse Source 
srem instruction.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126637 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nick Lewycky 2011-02-28 06:52:12 +00:00
parent f71720231f
commit 346018bbe7
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
lib/Analysis/ValueTracking.cpp
View File

@ -460,6 +460,18 @@ void llvm::ComputeMaskedBits(Value *V, const APInt &Mask,
assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?");
}
}
if (Mask.isNegative()) { // We're looking for the sign bit.
APInt Mask2 = APInt::getSignBit(BitWidth);
KnownZero2 = 0;
KnownOne2 = 0;
ComputeMaskedBits(I->getOperand(0), Mask2, KnownZero2, KnownOne2, TD,
Depth+1);
if (KnownOne2[BitWidth-1])
KnownOne |= Mask2;
if (KnownZero2[BitWidth-1])
KnownZero |= Mask2;
assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?");
}
break;
case Instruction::URem: {
if (ConstantInt *Rem = dyn_cast<ConstantInt>(I->getOperand(1))) {