RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 03:02:36 +01:00
Code Issues Projects Releases Wiki Activity

Revert "[InstCombine] reduce indentation; NFC"

Browse Source 
This reverts commit 8bf8ef7116bd0daec570b35480ca969b74e66c6e.
At least 1 of these supposedly NFC commits wasn't - sanitizer bot is angry.
This commit is contained in:
Sanjay Patel 2019-12-06 14:19:02 -05:00
parent 1b1de7caca
commit 80f01f20d0
1 changed files with 23 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
lib/Transforms/InstCombine/InstCombineCasts.cpp
View File

@ -926,31 +926,34 @@ Instruction *InstCombiner::transformZExtICmp(ICmpInst *Cmp, ZExtInst &Zext,
// icmp ne A, B is equal to xor A, B when A and B only really have one bit.
// It is also profitable to transform icmp eq into not(xor(A, B)) because that
// may lead to additional simplifications.
if (!isa<IntegerType>(ZType) || !Cmp->isEquality() || ZType != CmpOpType)
return nullptr;
if (Cmp->isEquality() && ZType == CmpOpType) {
if (IntegerType *ITy = dyn_cast<IntegerType>(ZType)) {
KnownBits KnownOp0 = computeKnownBits(Op0, 0, &Zext);
KnownBits KnownOp1 = computeKnownBits(Op1, 0, &Zext);
KnownBits KnownOp0 = computeKnownBits(Op0, 0, &Zext);
KnownBits KnownOp1 = computeKnownBits(Op1, 0, &Zext);
if (KnownOp0.Zero == KnownOp1.Zero && KnownOp0.One == KnownOp1.One) {
APInt KnownBits = KnownOp0.Zero | KnownOp0.One;
APInt UnknownBit = ~KnownBits;
if (UnknownBit.countPopulation() == 1) {
if (!DoTransform) return Cmp;
if (KnownOp0.Zero == KnownOp1.Zero && KnownOp0.One == KnownOp1.One) {
APInt KnownBits = KnownOp0.Zero | KnownOp0.One;
APInt UnknownBit = ~KnownBits;
if (UnknownBit.countPopulation() == 1) {
if (!DoTransform) return Cmp;
Value *Result = Builder.CreateXor(Op0, Op1);
Value *Result = Builder.CreateXor(Op0, Op1);
// Mask off any bits that are set and won't be shifted away.
if (KnownOp0.One.uge(UnknownBit))
Result = Builder.CreateAnd(Result, ConstantInt::get(ZType, UnknownBit));
// Mask off any bits that are set and won't be shifted away.
if (KnownOp0.One.uge(UnknownBit))
Result = Builder.CreateAnd(Result,
ConstantInt::get(ITy, UnknownBit));
// Shift the bit we're testing down to the lsb.
Result = Builder.CreateLShr(
Result, ConstantInt::get(ZType, UnknownBit.countTrailingZeros()));
// Shift the bit we're testing down to the lsb.
Result = Builder.CreateLShr(
Result, ConstantInt::get(ITy, UnknownBit.countTrailingZeros()));
if (Pred == ICmpInst::ICMP_EQ)
Result = Builder.CreateXor(Result, ConstantInt::get(ZType, 1));
Result->takeName(Cmp);
return replaceInstUsesWith(Zext, Result);
if (Pred == ICmpInst::ICMP_EQ)
Result = Builder.CreateXor(Result, ConstantInt::get(ITy, 1));
Result->takeName(Cmp);
return replaceInstUsesWith(Zext, Result);
}
}
}
}